1) Refinement calculus
精化演算
1.
The advantage of COOZ (complete object oriented Z) is to specify large scale software, but it does not support refinement calculus.
COOZ本身的结构不支持精化演算 ,这限制了 COOZ的应用能力 ,使 COOZ难以作为完整的方法应用于软件的开发 。
2.
The refinement calculus neatly formalizes the stepwise refinement ideas using the weakest precondition formalism of Dijkstra.
利用精化演算的方法开发软件 ,其过程由巨大数量的小步骤构成 ,由手工完成极其烦琐 ,也极容易出错 ,因此利用机器辅助工具的支持是必要的 。
2) timed refinement calculus
实时精化演算
3) refinement Calculus of Object Systems(rCOS)
对象精化演算系统
1.
This paper proposes refinement Calculus of Object Systems(rCOS)based on Unifying Theories of Programming(UTP)to specify the formal semantic of UML state-chart,which overcomes the limitation in the semantic research.
针对现有关于UML状态图形式化语义研究中存在的不足,该文提出基于统一程序设计理论的对象精化演算系统,用于描述UML状态图的形式化语义,给出与类图、序列图的一致性检验,为模型驱动开发提供了可行性。
4) Evolutionary computation
演化计算
1.
Cryptanalysis for stream cipher based on evolutionary computation;
一种基于演化计算的序列密码分析方法
2.
The status quo and trends of the research on evolutionary computation;
演化计算技术研究现状与发展趋势
3.
A new algorithm for dynamic handwriting signature verification based on evolutionary computation;
一种基于演化计算的在线手写签名验证算法实现
5) evolutionary algorithm
演化算法
1.
Inverse problem of multiple parameters identification for water quality model using evolutionary algorithm;
河流水质多参数识别反问题的演化算法
2.
Displacement back analysis of embankment dam based on neural network and evolutionary algorithm;
基于神经网络和演化算法的土石坝位移反演分析
3.
Application of evolutionary algorithm in nonlinear parameter estimation;
演化算法在非线性参数估计中的应用
6) evolutionary algorithms
演化算法
1.
Survey on automatic structural test data generation using evolutionary algorithms;
基于演化算法的结构测试数据自动生成方法评述
2.
Real factorization based on evolutionary algorithms;
基于演化算法的实因式分解
3.
The result shows that it is better than other existing evolutionary algorithms in search efficiency, range of applications, accuracy and robustness of solutions.
仿真结果表明该算法在搜索效率、应用范围、解的精确性和鲁棒性上都优于其他现存演化算法。
补充资料：公理化方法(见公理化和形式化)
公理化方法(见公理化和形式化)
axiomatical method
gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条