您要查找的是不是:
- The paper explores the conditions of reasoning rules for predication logic based on logic relationship associating with employing counter-examples. 摘要基于一阶逻辑相关概念的内涵,结合恰当的反例,探析了一阶逻辑推理规则成立的条件。
- These works indicate that the ATL logic based on game is more suitable to describe and analyze cryptographic protocols than traditional CTL. 工作表明基于博弈的ATL逻辑比传统的CTL更适合于描述和分析密码协议。
- A control can set its own custom properties and carry out additional internal logic based on the values contained in the personalization dictionary. 控件可以设置自己的自定义属性,并基于个性化字典中包含的值执行其他内部逻辑。
- In this application note, we use an example of an inverted pendulum to provide details on all aspects of fuzzy logic based system design. 在这应用笔记中,我们可以用一个倒立摆的例子来提供模糊逻辑基础系统设计的所有方面的细节。
- They are not sequency based like C or ASM.Instead, they are 100% logic based and that can make it very hard to learn, as least to me. C语言才是智慧的精华.;汇编语言别去太在意
- As base thinking mode, philosophy offers logic base in the theory for education.Philosophy affects education in the cognitive frame and worth appulse. 哲学作为基底的思维方式,为教育提供了理论上的逻辑支撑点,表现为从认知框架和价值趋向两方面对教育产生的影响。
- Several years ago, professor Ju Shi-er advanced that reasoning could proceed based on an open world, proposing an assumption of a3- valued propositional logic based on an open world. 鞠实儿教授在研究开放世界的逻辑过程中给出了一个开放世界的命题逻辑。
- The paper proposed agile scheduling general work logic based on agile rules, and based on which, emphasized on the research of constructing logistics scheduling optimization model and hierarchically solving algorithm with high performance. 摘要在提出基于敏捷性准则的敏捷调运总体工作逻辑的基础上,重点研究了基于该准则的物流调运优化模型的构建及其高性能的递阶求解算法。
- From simulation graph,slip rate was controlled between 0.1~0.2 and speed of wheels with speed of the vehicle was reduced to zero. It shows that the ABS control logic based on this model is reasonable. 仿真图形显示;具有ABS的制动模型;滑移率被控制在0.;1~0
- A proof theoretical abduction method for first order classical logic based on the sequent calculus and a dual one, based on semantic tableaux (analytic tableaux) have been proposed. 信念修正,由于新信息而调整信仰的过程,是应用溯因法的另一个领域。
- Several years ago, professor Ju Shi-er advanced that reasoning could proceed based on an open world, proposing an assumption of a 3-valued propositional logic based on an open world. 鞠实儿教授在研究开放世界的逻辑过程中给出了一个开放世界的命题逻辑。
- Su Jin-dian,Guo He-qing,Liu Miao.Extended subjective logic based on dirichlet distribution[J].Journal of South China University of Technology:Natural Science Edition,2006,34(6):108-111. [8]苏锦钿;郭荷清;刘淼.;基于Dirichlet分布的扩展主观逻辑[J]
- At this point your logic is at fault. 在这一点上你的推理是错误的。
- Any deep multi declarations will be ``amplified into all the shallow operators that can be logically based on it. 任何一个深层多重声明都会被“扩大”到所有逻辑上基于它的浅层运算符。
- The car has been modified for racing. 这辆汽车已改装为赛车。
- As a basic method in understanding the objective world, analogy is also the logical base for metaphorical thinking. 阳明学能得以在日本得到传播和发展,很大程度上归功于中江藤树。
- The machine has been extensively modified. 这机器已被大规模地改造过。
- After all, what is a more logical base instinct for a gene than to ensure its own reproduction? 那么,对于基因来说,什么是比保证自身复制更为重要的逻辑上的基本本能呢?
- Loosely, a mathematical or logic operator. 不严格地说,一种数学或逻辑运算符。
- The rationale for selecting limits of carry over of product residues, cleaning agents and microbial contamination should be logically based on the materials involved. 对于产品残留物清除、清洁剂和微生物污染的限度选择,理论上应该以相关原料为基础。