...oring) 增添代理子目标 ( Addition of Surrogate Subgoals ) 第十二章可证性形式体系 正确表达性(CorrectRepresentability) ..
基于12个网页-相关网页
不仅验证对象以保证DI依赖(通过Guice及内建的Guice Servlet)的正确性,而且还对页面中的表达式进行静态的类型检查使之符合相应的页面类。
Not only are your objects validated for di dependencies (with Guice and Guice Servlet built-in), but expressions inside pages are statically type-checked against their corresponding page classes.
我们对孩子的反应和对他人的反应一样,都是基于表达的信息内容,而不是表达的语法正确性。
We respond to our kids like we respond to each other based on the message that's conveyed, not the grammaticality of the utterances.
本文给出多层媒质中水平和垂直电、磁偶极子的谱域标量位和矢量位格林函数的一般表达式,并验证了其正确性。
The spectral domain Green's functions of scalar and vector potentials for vertical and horizontal electric as well as magnetic dipoles in multi-layered medium are presented and verified.
应用推荐