查询词典 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.

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

You can snipe the second and third union leaders from this position.

您可以鹬第二和第三工会领袖从这一立场出发。

Aiming at the currently shortage of XML streams quality detecting, this paper proposes a new forecasting method of XML streams quality by least squares support vector machines, which is used the method of XML keys' vector matrix as windows, and vector product wavelet transform to multilevel decompose and refactor the XML streams series, that can fulfill real-time checking demand of XML quality, and ensure constraint, consist- ency and integrality. For even more adapting net load, it proposes a control strategy by weight and adaptive adjustment to ensure XML streams quality.

针对当前XML数据流质量检测存在的不足，提出构建XML键的矢量矩阵作为窗口，利用矢量积小波变换多级分解与重构XML数据流，再结合最小二乘支持向量机对XML数据流质量进行预测的一种方法，满足XML数据流质量重构时实时检测的要求，保证XML数据的约束性、一致性与完整性；为了更好的适应网络负载，采取加权与自适应窗口调整等调度策略充分保证XML数据流的质量检测。