您要查找的是不是:
- This paper analyzes the example of design PLC ladder diagram by predicate logic method,and illuminates relative merits. 使用谓词逻辑法举例分析PLC梯形图的编制过程,并分析其优缺点。
- Model representation method based on first order predicate logic is proposed. This method is applied in DSS. Finally, its utility and inference mechanism are analyzed. 给出了一种应用于决策支持系统,基于一阶谓词逻辑的模型表示方法,并分析了此种表示方法的实用性和推理机制.
- Method of resolution under predicate logic 谓词逻辑描述下的归结推理方法
- They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic. 它们对应一元谓词逻辑,而布尔代数对应于命题逻辑,而 多元代数 对应于一阶逻辑。
- In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced. 摘要在二值谓词逻辑中引入了一阶语言的一类特殊解释,该类解释中的解释域取为非空有限集。
- Why are the Experimental Method and Logical Method Unusual Important to Science? 为什么实验方法和逻辑方法对科学特别重要?
- It would be possible to employ a more logical method,but none could be more favourable to tyrants. 人们还可以采取另一种更能自圆其说的方法,但也不见得对于暴君更为有利。
- Representing the meta-meta model with a first order language based on predicate logic, the meta-model turns out to be the interpretation of that formal language. 用基于谓词逻辑的一阶语言表示该元元模型,使不同元模型成为该形式语言的不同解释。
- As this expanded name suggests, it is designed in such a way as to emphasize its close relationship to, and solid foundation in, the discipline of predicate logic, q.v. 正如其全称所示:如此设计,旨在强调其与谓语逻辑原理的密切关系和及其坚实的基础地位。
- The genius of a man's logical method should be loved and reverenced as his bride, whom he has chosen from all the world. 再往山上去,又陆续看到几人,形貌大致相似,有上有下,年纪都尽半百,年轻的山里人怕是都早离开家乡,追逐外面的世界去了。
- To be able to sift evidence impartially, to take the facts and look at them as facts - that seems to me the only logical method of arriving at the truth. 能够公平的审查证据,让事实说话-这对于我来说是唯一获知真相的合乎逻辑的方法。
- On the implementation of LQR in NCS with time-variant delays, a fuzzy logic method is also addressed. 在LQR控制器的具体实施中,又给出了一种智能模糊逻辑设计的方法。
- Analyzing the vulnerabilities of security bootstrapping procedures in existing trusted mobile platforms, an improved procedure is proposed and it is verified according to predicate logic. 分析了现有可信移动平台安全引导过程安全漏洞,提出了改进的安全引导过程,并通过谓词逻辑对改进的引导过程进行了正确性验证。
- Applying Fuzzy logical method, the important degree of each actor is judged in the aspects of the probability, the influence and uncontrollability, not judged immediately. 应用模糊逻辑法对各因素的评判不是直接评价其重要度,而是将各风险因素从概率方面、从影响方面、从不可控制性方面分别进行评判。
- A MODEL REPRESENTATION METHOD BASED ON FIRST ORDER PREDICATE LOGIC 一种基于一阶谓词逻辑的模型表示方法
- This article adopts document and logic method to view the CUBA from brand angle, and analyses the brand value, refer to the market develop and sustained growth of CUBA. 从品牌学角度,采用文献分析法和定性分析法,对CUBA品牌的含义、价值进行了分析和探讨,为CUBA联赛市场开发和持续发展提供理论参考和实践指导。
- The Decidability of Proof Method in the Predicate Logic Inference 谓词逻辑推理中证明方法的判定
- Abstract: Using literature analysis, questionary and logic method, the authors studied the developing speed, composition and scope trend in social sports speciality d our country. 文章摘要: 运用文献资料法、问卷调查法、逻辑分析法,对我国高校社会体育专业的发展速度、布局及规模态势进行了研究。
- It is necessary to make a review to anthropologic witchcraft study, no matter whether to review knowledge of witchcraft or to understand the logic method of the discipline. 对人类学中的巫术研究作一个大致的评述,这无论对巫术的知识谱系梳理,还是对学科的学理逻辑方法的理解,都是必要的。
- Resolution Method Using XML in First-order Predicate Logic 使用XML的一阶谓词逻辑归结原理