公理

提出安全第一公理；

The generally acknowledged truth of putting safety first is put forward .

条件部分的REASON决定程序下一步执行所选择的公理；

The condition of the REASON decide the axiom decide the next step of the program running .

他们的外交政策遵循“强权即公理”的原则。

Their foreign policy is based on the principle that ' might is right ' .

强权即公理--这是帝国主义的逻辑。

Might is right -- that is the logic of imperialism .

公理胜于强权。

Right prevails over might .

“雪克隆”指的是把一些陈词滥调、公理、流行文化名言改编成现代版本的行为。通过替换原文的几个关键词就可以旧瓶装新酒。

The term " snowclone " describes the practice of transforming cliches , axioms and pop culture catchphrases into modern analogies . By replacing a few key words from the original saying , a writer can put a new context using the old formula .

目标是将公理与定理联合起来证明特性P为真。

The goal is to link together axioms and theorems in such as way as to prove property P true .

从公理语义看UNITY模型和GAMMA模型的关系

Studying the Relationship Between GAMMA and UNITY Model Based on Axiomatic Semantics

提出了基于公理化的产品CAD模型验证方法及实现技术，建立了基于公理化的产品CAD模型验证过程模型。

The verification method and implementing technology of product CAD model based on Axiomatic Design are put forward .

本文利用动态模糊逻辑对Agent的心智状态进行刻画，给出了Agent的心智模型及其相关公理。

This paper describes Agent 's mental state with dynamic fuzzy logic , and proposes Agent 's mental model and its related truths .

中介逻辑演算ML与中介公理集合论MS的纯数学意义及其应用前景

The pure mathematical significance and applied perspective of the medium logical calculus and medium axiomatic set theory

在中介公理集合论系统（MS）中重新定义了良集的概念，讨论了它的性质。

Defines the concept of well sets in MS ( axiomatic medium set theory ) and discusses its characters .

PL公理体系的广义演绎定理

Generalized Deduction Theory of the Formal Deductive System PL

基于公理设计理论的FMS优化配置研究

Optimal configuration of FMS based on axiomatic design theory

Martin公理的一个推广

A generalization of martin 's axiom

在公理化设计（Axiomaticdesign）理论的基础上，研究了机械产品概念设计方案生成的几个关键技术。

On the basis of Axiomatic design ( AD ) theory , several key techniques for generating conceptual design schemes of mechanical products are studied .

面向对象软件系统的公理法设计（ADo-oSS）是将公理法设计（AD）原理用于大型系统软件设计的一种新方法。

The axiomatic design of object-oriented software system ( AD O-OSS ) is a new design method that adapts to design large software system .

Liu提出的模糊熵、距离测度、相似测度的公理化定义，我们给出了一类新的相似测度及由相似测度、距离测度引导的模糊熵。

Liu ~ [ 4 ] , we offer some new similarity measure and fuzzy entropy caused by distance measure , similarity measure .

本文从公理化定义出发。提出了（m，n）&行列式的新概念，进而建立了它的基本理论。

In this paper , we put forward the new concept of ( m , n ) - determinant by means of axiom method , and establish its foundational theory .

第一部份给出一个各组公理相对于C而自足的古典逻辑公理系统。

In the first section an axiom system for the classic two-valued logic M is given such that each group of axioms ( including predicate calculus ) is self-sufficient with respect to the connective C.

分析了格值逻辑系统Kp中选取公理集合和推理规则的条件；

The condition of choosing axioms and inference rule in ^ fvp was analyzed .

一年后，1889年，意大利数学家G.皮亚诺对此给出了标准化的公理。

A year later , in 1889 , the Italian mathematician G. Peano gave the axioms in what became the standard form .

词汇项在HDS中作为公理。

Lexical entries are actually axioms in HDS .

分离公理，尤其是T2公理的无点刻划是无点拓扑理论中没有统一结果的问题。

The pointless description of axioms of separation , especially T2 axiom is a question without final result in pointless topology .

Parikh（1999）用公理P刻画局部信念更新，本文给出了它成立的充要条件，获得了公理P的特性并扩充到无限语言。

· Parikh ( 1999 ) depicted local belief change by axiom P. This paper shows its sufficient and necessary conditions and extends it to an infinite language .

阐述了这两种逻辑能在Rough集公理化基础上被统一起来，并且随着不同性质的关系R，能得到与模态逻辑相平行的各种Rough逻辑模型。

It describes the uniformity of two logic on the basis of rough set axiomatization . And we have various similar deductive models of rough logic to modal logic according to different properties of relation R.

为了使科学效应更好地启迪设计人员进行创新设计，给出了基于公理设计和功能行为结构的概念设计过程，提出了基于Web的科学效应库系统模型。

To inspire designers to do creative design more effectively , a conceptual design process was proposed based on Axiomatic Design ( AD ) and Function-Behavior-Structure ( FBS ) framework , and a model of Web-based scientific effect base system was presented .

关于BCK／BCI－代数的几个等价公理系

Several Equivalent Axiom Systems on BCK / BEI-Algebra

公理设计的优势在于流程分解，TRIZ的优势在于冲突解决。

Moreover , the advantage of AD involves process decomposition , whereas TRIZ aims at confliction resolving .

现代金融（ModernFinance）承袭主流经济学（特别是新古典经济学）的分析方法与数理分析技术，经过近40年的努力，建立起了一套从公理假设到应用理论都很完善的理论体系。

After 40 ' year endeavor , modern finance ( MF ) has been established a suit of integrity theory system ( from axiom theories to application theories ), which inherit the mainstream economic ( especialy Neoclassic Economic ) approach and mathematical analysis technology .