查询词典 axiomatic system

"Intuitionists reject ed certain concepts of logic and the notion that the axiomatic method would suffice to explain all of mathematics, instead seeing mathematics as an intellectual activity dealing with mental constructions independent of language and any external reality."

直觉主义否认某些逻辑概念，公理方法的注释已经足够解释数学的全部，而不把数学看作是处理与语言和任何外部现实无关的思想构造的一种智力活动。

Key Words: Axiomatic method; Elements; the idea of all western knowledge originate from China; logic; spread

搜索词汇；公理化；几何原本；西学中源；逻辑；传播

Thus, a new approach was proposed to solve these problems. A case study on alarm icon design for process control systems was used to demonstrate how the axiomatic design method with users' preferences on icon elements as inputs works for measuring the decision objectives, eliminating undesired alternatives, and suggesting the optimal alternative.

因此，本研究尝试以使用者对於图像元件之偏好程为基础，结合公设计方法，以程序控制系统中之警报图像设计为，对图像设计的决策问题提出新的决策方法，使其能明确与有效的衡决策目标，并能控制备选方案的，使决策者能根据此方法所预测的后果选取最好的方案。

Although axiomatic systems and proof method for temporal logic have found so far relatively few applications in the query language modeling of temporal database and that was proved by Gabbay, et al in 1994, the model of time axes still must be built axiomatically, which owns soundness and completeness and depicts the time axes in fine grain.

尽管在1994年，Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的，但是仍需要通过对时间轴的公理化建模，利用公理化系统的可靠和完全等性质对时间轴作"细精度"的语义刻画。

Based on the new theories developed in biology,the basic theoreticalproblems of the genetic algorithm,which are the representation scheme,co-nvergence and convergence rates of the genetic algorithms,etc.,are discussedwith Boolean algebra,group theory,martingale theory and axiomatic method inthe framework of the Markov chain.

本文以生物学发展的新理论为背景，在遗传算法的Markov链框架下运用Boole代数、群、鞅及公理化方法研究遗传算法的表示、收敛性与收敛速度等基本理论问题。

Based on the overview of current researchin thinking science, this paper presents the MT concept and a new design method calledPCIDBMT which is different from the conventional design theories such as axiomatic designtheory, extension design method and TRIZ technique,.etc.

与公理设计、可拓设计、TRIZ等传统设计理论不同，论文根据现有思维科学研究成果提出了复合思维概念和基于复合思维的产品色彩智能设计技术。

It has been proved in [2] that a normal fuzzy set structure is a kind of non-standard model of the axiomatic set theory with urelements.

在文献[2]中我们证明了正规弗晰集合结构是带本元的公理集合论的一类非标准模型。

This paper proposes a formal approach to performance testing using axiomatic methods and set theory.

协议测试就是用测试的方法执行一组目的明确的测试例，进而观察被测实现IUT的输出行为，并分析测试结果，判断IUT的功能或性能是否满足协议或用户的规定。

We have introduced in [1] the concept of the normal fuzzy set structure which is a characterization and generalization of fuzzy set theory and we have proved that any one normal fuzzy set structure is a Boolean-valued model of the axiomatic set theory ZFa with urel...

本文是对文献[1]的一种阐明，详细地阐明了正规弗晰集合结构与弗晰集合论中的一些基本概念之间的联系与转换，同时引进了正规弗晰集合结构的序数、基数等基本概念。

We have introduced in [1] the concept of the normal fuzzy set structure which is a characterization and generalization of fuzzy set theory and we have proved that any one normal fuzzy set structure is a Boolean-valued model of the axiomatic set theory ZFa wit...

本文是对文献[1]的一种阐明，详细地阐明了正规弗晰集合结构与弗晰集合论中的一些基本概念之间的联系与转换，同时引进了正规弗晰集合结构的序数、基数等基本概念。

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数据流的质量检测。