您要查找的是不是：
- This paper analyzes the example of design PLC ladder diagram by predicate logic method,and illuminates relative merits. 使用謂詞邏輯法舉例分析PLC梯形圖的編制過(guò)程,并分析其優(yōu)缺點(diǎn)。
- 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. 給出了一種應用于決策支持系統，基于一階謂詞邏輯的模型表示方法，并分析了此種表示方法的實(shí)用性和推理機制.
- 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. 摘要在二值謂詞邏輯中引入了一階語(yǔ)言的一類(lèi)特殊解釋?zhuān)擃?lèi)解釋中的解釋域取為非空有限集。
- Why are the Experimental Method and Logical Method Unusual Important to Science? 為什么實(shí)驗方法和邏輯方法對科學(xué)特別重要?
- It would be possible to employ a more logical method,but none could be more favourable to tyrants. 人們還可以采取另一種更能自圓其說(shuō)的方法，但也不見(jiàn)得對于暴君更為有利。
- 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. 用基于謂詞邏輯的一階語(yǔ)言表示該元元模型,使不同元模型成為該形式語(yǔ)言的不同解釋。
- 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. 正如其全稱(chēng)所示：如此設計，旨在強調其與謂語(yǔ)邏輯原理的密切關(guān)系和及其堅實(shí)的基礎地位。
- The genius of a man's logical method should be loved and reverenced as his bride, whom he has chosen from all the world. 再往山上去，又陸續看到幾人，形貌大致相似，有上有下，年紀都盡半百，年輕的山里人怕是都早離開(kāi)家鄉，追逐外面的世界去了。
- 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. 能夠公平的審查證據，讓事實(shí)說(shuō)話(huà)－這對于我來(lái)說(shuō)是唯一獲知真相的合乎邏輯的方法。
- On the implementation of LQR in NCS with time-variant delays, a fuzzy logic method is also addressed. 在LQR控制器的具體實(shí)施中，又給出了一種智能模糊邏輯設計的方法。
- 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. 分析了現有可信移動(dòng)平臺安全引導過(guò)程安全漏洞，提出了改進(jìn)的安全引導過(guò)程，并通過(guò)謂詞邏輯對改進(jìn)的引導過(guò)程進(jìn)行了正確性驗證。
- 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. 應用模糊邏輯法對各因素的評判不是直接評價(jià)其重要度，而是將各風(fēng)險因素從概率方面、從影響方面、從不可控制性方面分別進(jìn)行評判。
- 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. 從品牌學(xué)角度,采用文獻分析法和定性分析法,對CUBA品牌的含義、價(jià)值進(jìn)行了分析和探討,為CUBA聯(lián)賽市場(chǎng)開(kāi)發(fā)和持續發(fā)展提供理論參考和實(shí)踐指導。
- 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. 文章摘要: 運用文獻資料法、問(wèn)卷調查法、邏輯分析法，對我國高校社會(huì )體育專(zhuān)業(yè)的發(fā)展速度、布局及規模態(tài)勢進(jìn)行了研究。
- 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. 對人類(lèi)學(xué)中的巫術(shù)研究作一個(gè)大致的評述，這無(wú)論對巫術(shù)的知識譜系梳理，還是對學(xué)科的學(xué)理邏輯方法的理解，都是必要的。
- Resolution Method Using XML in First-order Predicate Logic 使用XML的一階謂詞邏輯歸結原理
