查询词典 axiomatization

This project has focused on the decidability problem and the axiomatization problem for LTLC, and the formal verification methods for real-time systems.

本项目研究了LTLC的可判定性、公理化及实时系统的形式验证等相关问题： 1。

The theory of quantum logic, which has developed during the course of themathematical axiomatization of the quantum theory, is copious, with a historyof 80 years.

伴随着量子理论的数学公理化而发展起来的量子逻辑理论，已有八十年历史和丰富内容。

However, Grassmanns system is so abstract and far away from the tradition as not to be understood. Its influence on the foundation of modern vector analysis is not as it should have impacted although it does affect on the axiomatization of vector theory.

遗憾的是，由于格拉斯曼的系统内容过于抽象和偏离传统而难为时人理解，它对现代向量理论的创立没有起到应有的作用，但格拉斯曼的工作却对向量的公理化具有较大影响。

There is at least one alternative axiomatization of probability theory by means of expectations on C-star algebras of random variables . In this case the method goes by the name of Gelfand-Naimark-Segal construction.

这是类似于两种方法来衡量和一体化，在这里，可以选择建造措施的规定和界定积分第一后，或构建积分第一，并确定一套措施，积分特性的功能。

Therefore,an attempt was made to describe the essence,signification and the correct application conditions of measurement parameters of PAM chlorophyll fluoremeter in this paper,as well as the derivation of relative measurement formula from perspective of axiomatization.

为此，本文尝试从其本质、意义及其正确的使用条件等方面对调制叶绿素荧光仪的测量参量进行阐述，并对应用中的相关计量公式从公理化的角度进行了演释推导。

However, Grassmann's system is so abstract and far away from the tradition as not to be understood. Its influence on the foundation of modern vector analysis is not as it should have impacted although it does affect on the axiomatization of vector theory.

遗憾的是，由于格拉斯曼的系统内容过于抽象和偏离传统而难为时人理解，它对现代向量理论的创立没有起到应有的作用，但格拉斯曼的工作却对向量的公理化具有较大影响。

This paper discussed a kind of transferable utility game with restricted coalition and gave a solution of this game- marginal contribution value for games with restricted coalition by the means of axiomatization.

讨论了一类有限制结盟的效用可转移对策，利用公理化方法刻画出这类对策的一个解———有限制结盟的边际贡献

To verify the properties of the concurrent and reactive systems based on the theorem proving approach, an axiomatization is formulized for the first order projection temporal logic.

为了采用定理证明的方法对并发及交互式系统进行验证，提出了一阶投影时序逻辑的公理系统。

LK affirms that logic is a universal method.If logic can be amathematical method,it can surely be used as a way to identify knowledge concept,atool of deduction and the method of knowledge system axiomatization.

知识逻辑主义"断言逻辑是一种普遍的方法，逻辑既然能成为数学的方法，就必然能为任何知识系统提供方法论，可以成为定义知识概念的方法、知识，推演的工具和知识体系公理化的方法。"

Water shutoff profile control agent technology in oilfield application for success, produce benefit, in addition to have good plugging agent, must also be thorough research and treatment technology, reservoir axiomatization, cooperate with each other.

堵水调剖剂技求要在油田应用中获得成功，产生效益，除有好的堵剂外，还必须深入研究油藏及处理工艺，三者互相配合，不可偏废。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。