In particular, the specification of the semantics (or meaning) of the UML modeling concepts remained inadequate for such MDD-oriented activities as automatic code generation or formal verification.
特别是，UML建模概念的语义(或含义)的规范，对这些作为自动代码生成或正式确认的基于MDD的活动仍旧是不适当的。
In addition to an intuitive appearance, graph grammars provide a well-established foundation for defining visual languages with the power of precise modeling and verification on computers.
除了具有直观易见的特点之外，图文法在计算机上的精确建模和验证能力，为设计可视化语言提供了一个坚实的理论基础。
The process modeling is described for the model-based verification method. The performance of the method is demonstrated by experiment.
还描述了这种基于模型的验证方法的过程建模，实例说明这种方法的性能。
Propese a real-time workflow time modeling and verification method based on timed automata.
提出一种基于时间自动机的实时工作流时间建模与验证方法。
By analyzing wrapper roll's AJC action and control, the AJC system is designed and its mathematic modeling, emulation analysis and analogue loading verification are conducted.
通过对卷取机助卷辊的AJC动作及控制的分析，设计出了AJC控制系统，并对其进行了建模及仿真分析、模拟加载验证。
The modeling and verification prove that the interation protocol can satisfy the requirement no matter the network is in normal or abnormal circumstances.
通过对联动协议进行建模和验证，证明联动协议无论在网络正常的情况下还是网络故障时都能满足需求。
The environment mainly composes three parts: EHCPN modeling and components wrapping studio, a library for saving and managing models, and a simulation and verification environment.
环境主要包括EHCPN建模和构件封装工具、支持模型存储和管理的模型库和模拟验证环境。
Modeling, verification of system, and validation of system design are important issues of designs or developments of the complicated distributed systems.
系统建模、验证和系统设计方案的确认是复杂分布式系统工程设计与建设中的重要研究议题。
CDFG (control data flow graph) can be used in system modeling, software and hardware partition, synthesis and verification.
控制数据流图可用于系统建模、软硬件功能划分、系统综合与验证等多个环节。
Through the mathematical modeling and verification of the way QQ users selecting servers, we find that the probability distribution isn't Bernoulli.
对QQ用户挑选QQ服务器的方式进行了数学建模和验证，发现QQ服务器被用户选中的概率分布并不服从伯努利分布。
Then, a verification of the function of the model is given according to the modeling and implement in event correlation analysis system.
通过该模型在实际的事件关联性分析系统中的建模和实现情况，对该模型的作用作出了验证。
The modeling results show high accuracy based on the model verification and validation.
通过模型的验证达到较高的精度。
We collect required sample data through a questionnaire and using SPSS13.0 statistic software and AMOS7.0 structural equation modeling analysis tool for verification.
通过大量的问卷调查，获得了实证分析所需的样本数据，利用SPSS13.0统计软件和AMOS7.0结构方程模型分析工具进行验证。
Moreover, the workflow modeling tool provides grammar verification for workflow model.
另外，本文还支持工作流模型的基本语法校验。
The verification of assembly modeling system by taking example for piston and connecting rod indicates the feasibility and validity of the system.
本文原型系统通过发动机部件活塞连杆装配体加以验证，表明了系统的可行性和有效性。
It is important to study the efficient modeling and verification methods in system testing, feasibility analysis and so on.
研究有效的形式化分析和验证方法对系统测试和可行性分析等方面具有重要意义。
In user-customized speaker verification system, we focused on building whole utterance model for every speaker and DTW, HMM and GMM modeling methods were adopted.
在用户定制密码的说话人认证系统中重点研究了为语音密码建立整句模型的方法，使用了DTW，HMM和GMM模型实现了对用户的建模和识别。
In user-customized speaker verification system, we focused on building whole utterance model for every speaker and DTW, HMM and GMM modeling methods were adopted.
在用户定制密码的说话人认证系统中重点研究了为语音密码建立整句模型的方法，使用了DTW，HMM和GMM模型实现了对用户的建模和识别。
应用推荐