An approach of model checking uml statecharts is presented in this paper 本文提出了对umlstatecharts进行模型检验的方法。
The object of this paper is to verify security protocols with model checking tools 本课题的研究目的是采用模型检验工具对安全协议进行验证。
The researchers developed a mathematical model to examine the effects of a two - month treatment plan 研究制定了数学模型检验两个月治疗方案的效果。
The method of model checking has shown its advantage in the verification of security protocols 模型检验方法在对安全协议的验证中体现出了巨大的优越性。
Cylindrical gears - code of inspection practice - recommendations relative to surface texture and tooth contact pattern checking 圆柱齿轮.检验实施规程.第4部分:表面特征和齿轮齿接触模型检验的推荐规程
Furthermore , model checking technology has been introduced into the verification of the models . based on the researches , the quality of the models can be better ensured 在此基础上本文将模型检验技术引入工作流模型校核,进一步确保了工作流模型质量。
This paper examines the optimal tax rate , or equivalently the optimal size of government spending , in an endogenous growth model with asymmetric information and self - financing 摘要本文设置一个具有消息不对称与自我融资情形的内生成长模型检验最适政府支出比例。
Because of state explosion and the complexity of semantics , model checking uml statecharts is restricted by the software scale and the refinement degree of design specification 由于空间爆炸和语义的复杂性，对statecharts进行模型检验受到软件规模和设计精化程度的制约。
The second part reviews the relevant literatures . the third part analyze the features of the chinese ipo market and impact of the underpricing to the evolution of the chinese securities markets 第2部分回顾了中外的相关文献，并归纳出抑价理论的三种主要流派，以便后文分别对其进行模型检验。
This reduces the signification of artificial neural network on directing policy . fourth , there are also many deficiencies in artificial neural network . it has n ' t a perfect test system or an accepted criterion 人工神经网络仍有其不完善的地方，它在模型建立过程和模型检验过程中，检验方法仍不够系统，许多方面也没有统一的标准。
