This paper introduces a Decision Information System for Financial Analysis, with its organized functions, designing ideas, the model specification language and the now chart of the model calculation, also presents an application of this system. 本文介绍了一种财务分析决策信息系统的功能组成和设计思想,论述了系统提供的模型描述语言以及模型计算流程,并阐述了该系统在实际工作中的应用。
The model development mode with three components : formal framework, model specification language and component models, is figured out. 构建了三位一体的模型开发模式:形式架构、策略规范语言及分量策略模型。
A founded constraint model, namely a constraint specification language, is studied in detail, and is extended. 对已有的角色授权约束模型,即约束描述语言进行了深入研究,并进行了相应的扩展。
XML can be used to design model specification on the WEB : Model Visualization Language ( MVL ) and Model eXtensible Language ( MXL ). 该文利用XML技术,设计了Web仿真系统建模的模型规范:建模可视化规范(MVL)和模型的可扩展标志语言(MXL)。
The main ideas and backgrounds of the research work on automatic algorithm design is described. A specific model for automatic algorithm design and its formal specification language representation are given. The implementation techniques for some well-known algorithm design methods are discussed in detail. 本文介绍了算法自动设计的研究背景与设计思想,提出了一种算法设计自动化模型及其形式化的软件规格说明语言表示,并详细讨论了一些常用算法设计方法的自动实现技术。