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.
除了具有直观易见的特点之外，图文法在计算机上的精确建模和验证能力，为设计可视化语言提供了一个坚实的理论基础。
Propese a real-time workflow time modeling and verification method based on timed automata.
提出一种基于时间自动机的实时工作流时间建模与验证方法。
The modeling and verification prove that the interation protocol can satisfy the requirement no matter the network is in normal or abnormal circumstances.
通过对联动协议进行建模和验证，证明联动协议无论在网络正常的情况下还是网络故障时都能满足需求。
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控制系统，并对其进行了建模及仿真分析、模拟加载验证。
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服务器被用户选中的概率分布并不服从伯努利分布。
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建模和构件封装工具、支持模型存储和管理的模型库和模拟验证环境。
Then, a verification of the function of the model is given according to the modeling and implement in event correlation analysis system.
通过该模型在实际的事件关联性分析系统中的建模和实现情况，对该模型的作用作出了验证。
CDFG (control data flow graph) can be used in system modeling, software and hardware partition, synthesis and verification.
控制数据流图可用于系统建模、软硬件功能划分、系统综合与验证等多个环节。
Modeling, verification of system, and validation of system design are important issues of designs or developments of the complicated distributed systems.
系统建模、验证和系统设计方案的确认是复杂分布式系统工程设计与建设中的重要研究议题。
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结构方程模型分析工具进行验证。
The verification of assembly modeling system by taking example for piston and connecting rod indicates the feasibility and validity of the system.
本文原型系统通过发动机部件活塞连杆装配体加以验证，表明了系统的可行性和有效性。
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模型实现了对用户的建模和识别。
It is important to study the efficient modeling and verification methods in system testing, feasibility analysis and so on.
研究有效的形式化分析和验证方法对系统测试和可行性分析等方面具有重要意义。
It is important to study the efficient modeling and verification methods in system testing, feasibility analysis and so on.
研究有效的形式化分析和验证方法对系统测试和可行性分析等方面具有重要意义。
应用推荐