您要查找的是不是:
- 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的一階謂詞邏輯歸結原理