1) secondary diagonalization
形式公理化方法
2) formula method
公式化方法
1.
The formula method of recursive programming based on solving state;
基于求解状态的递归程序设计公式化方法
2.
This paper names the race matrix problem, and resolves it using the formula method and the companion method presented by us .
本文命名了赛马矩阵问题 ,并利用笔者提出的公式化方法和伴随序列法解决了此问题 。
3) Axiomatic approach
公理化方法
1.
This pa- per defines L-fuzzy rough approximation operator based on residuated lattice in axiomatic approach,and presents the simplest for- mulas of the axiom sets charactering the L-fuzzy rough approximation operators.
公理化方法是粗糙集理论研究的重要组成部分,利用公理化方法定义了基于剩余格的L模糊粗糙近似算子,并给出了描述L模糊粗糙近似算子公理集的极简形式。
2.
To develop a more reliable program, two checking methods about program’s varification of correctness are studied, such as Dijkstra’s weakest pre-predicate transformer and Hoare’s axiomatic approach.
为了使开发出的程序更具有可靠性,研究了两种正确性验证的演算方法,Dijkstra的最弱前置谓词变换法和Hoare的公理化方法。
4) axiomatic method
公理化方法
1.
From the history of the development of geometry,axiomatic method has undergone two stages.
从几何学的发展历史来看,公理化方法曾经历过两个阶段,即古代几何学公理化方法(也称为实体的公理化方法)和近代几何学公理化方法(也称为形式的公理化方法),文章着重探讨近代几何学公理化方法产生的主要因素及形成的历史途径。
2.
In the situation of the enlargement of college students,combining the background of basic educational reform with the research situation of Elementary Geometry Research,the article brings forward guiding ideology and program of integrating this curriculum,of emphasizing the integration of advanced and elementary geometry,emphasizing axiomatic methods and geometric transformation.
其中,强调“高初结合”,突出公理化方法和几何变换的思想。
3.
This paper intends to discuss an axiomatic method for the definition of determinant and prove that the deterninant defined by the aniomatic method and the determinant defined by the tradictional method equivalent,and discuss some teaching problems on the definition of determinant.
给出了行列式定义的公理化方法 ,并证明了行列式的公理化定义与传统的定义是等价的 。
5) formal methods
形式化方法
1.
Research and Design of a Web-based Formal Methods Tool:RRTChecker;
基于Web的形式化方法工具RRTChecker的研究与设计
2.
Technology of Software Development Based on Formal Methods;
基于形式化方法的软件开发技术
3.
Comparison of formal methods:Designware,B.;
形式化方法Designware、B的比较
6) formalization method
形式化方法
1.
An approach is developed to model virtual enterprises using this formalization method which will improve virtual enterprise modelling and implementation.
为开发正确、可靠、基于模型驱动的虚拟企业信息系统 ,满足虚拟企业对于可伸缩性、可重构性、可重用性以及互操作性的要求 ,在虚拟企业建模与开发过程中引入形式化RAISE (工业软件工程严格方法 ) ,分析了在虚拟企业组建中应用形式化方法的优点 ,讨论了 RAISE与有着广泛应用的传统 IDEF(集成计算机辅助制造定义方法 )的结合 ,并给出了运用形式化方法进行虚拟企业建模的方案。
2.
In this paper,a formalization method to symbolize the state space generation process is defined according to the special structure of large complex serial system,based on which the discipline of state space generation for such a system is studied,and then a theorem is stated and proven to fleetly predict the potential scale of state space of that system\'s model.
本文针对复杂串联系统的特殊结构,采用形式化方法分析研究了它的状态空间生成规律,从而达到快速预估模型状态空间规模的目的。
补充资料：非形式公理方法
非形式公理方法
informal axiomatic method
非形式公理方法【inf(用I.la刃“田日血皿灯加d;时咖pMa-月‘.“面皿e”oM绷，ec姗血MeTo八1 一种公理方法。面。皿tic nrt址记)，它不严格固定能应用的语言、因而也不固定对一个对象的有意义的理解的范围，但是需要关于给定研究对象的所有特殊概念的公理化定义.这个术语没有单一的普遍接受的解释. 公理方法的历史发展以不断增加的形式化程度为特征.非形式公理方法是这个过程中的一个阶段.Etlclld的原始的几何学公理结构以表述的演绎性质为其特征，而表述中定义(解释)和公理(明显的论断)处于基础地位.从它们出发，依赖于常识和明显性，演绎出推论.在演绎过程中，有时不言明地用了一些没有放在公理中的几何性质的命题，特别是关于空问中的运动以及线和点的相互配置.结果，几何概念出现了，与公理一样，使它们的应用规则化，它们为Euclid及其追随者不言明地使用.这里产生了问题:是否所有的公理在事实上已被发现?回答这个问题的指导原则曾由D .HUbert阐明:“人们在任何时候都必须能够说:代替点、直线和平面—桌子、椅子和啤酒杯.”如果一个证明在这样的替换后仍使人信服，则事实上用于这个证明的所有特殊命题在公理中是确定的.在这种方法中能够达到的形式化的程度是用来刻画非形式公理方法的形式化水平.这里珊比d的经典工作可以作为一个标准. 非形式公理方法不只是能够应用于对一个特定理论的公理化阐述给予一定的完全性.它是数学研究的一个真正的工具.当在研究一个对象系统时没有用到它们的专门的特征和“性质”，则所证明的命题可扩大到满足问题中公理的任何对象系统.按照非形式公理方法，公理是原始概念的隐式定义(而不是“明显真理”).研究的对象是什么是不重要的.必须知道的有关它们的每一件事都放在公理中.一个公理化理论的研究对象是它的任何一种解释(m化印比扭石。n). 非形式公理方法，除了所有特殊概念的必不可少的公理化定义之外，还有另外一个特征性质.这就是不受公理的约束和根据一种有意义的理解，对观念和概念的自由运用，只要它们能被应用到任何合理的解释而不管其内容.特别地，集合论的和逻辑的概念和原理广泛地被应用，还有与计数思想相联系的概念，以及其他基于有意义的理解和常识，而非基于公理的推理到公理化方法的渗透，来源于用来陈述和证明公理地给定的对象系统的性质的非固定的语言.把语言固定就导致形式公理系统观念(见公理方法(a刀。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条