But the formal logic analysis system can validate it in a credible and strict way before protocol was applied, it is one of the most promising way for protocol checking.
而形式化逻辑分析方法可以在协议实施之前就用严格可靠的方法对其进行分析验证,是一个最有前途的研究方法。
Sequence diagrams model the flow of logic within your system in a visual manner, enabling you to both document and validate your logic, and are commonly used for both analysis and design purposes.
序列图以可视方式为系统中逻辑的流程建模,能够让您记载和验证逻辑,这通常用于分析和设计目的。
Current search of hydraulic system failure of traditional method is logic analysis to approach the diagnosis.
目前查找液压系统故障的传统方法是逻辑分析逐步逼近诊断。
Then studies the requirement analysis and object design, defines the logic structure model and function of product credit management information system base on product credit information integration.
然后对系统展开需求分析和目标设计,确定了基于产品信用信息集成的产品信用管理信息系统的逻辑结构模型及功能。
This paper introduces the automatic control and modal analysis diagnostic system of a large horizontal snail machine. It includes the realization of control logic, data monitor and alarm functions.
介绍了大型卧螺机自动控制及模态分析诊断系统,它包括了控制逻辑的实现、完备的数据监测和报警等功能。
In this paper, we used literature research, theoretic logic analysis and concept modeling and system design application as the basic research methods.
本文在研究方法上采用了文献现状研究、理论逻辑分析与概念模型建模和系统设计应用实践。
For internal logic between assessment and financial analysis, Du Pont financial analysis system can be used, as reference, to analyze the taxation assessment system.
纳税评估分析与财务分析的内在联系,可以参考运用杜邦财务分析系统对纳税评估系统的分析。
First, according to medium the small scaled library manage need analysis and total design of system, building up the logic model of system.
首先,根据中小型图书馆管理系统的需求分析和总体设计,建立了系统的逻辑模型。
The logic of the system encapsulated all of the reverse analysis process. It separated the handle logic and the language making the system's logic would apply to any language.
系统的逻辑处理层封装了对遗留系统进行逆向分析和抽象的所有处理过程,将处理逻辑与语言相关的部分分离开来。
This paper is focus on the building and analysis of the workflow system, the logic design of the workflow system and the developing system modeling.
本文的研究集中于对工作流系统的模型建立及分析,以及工作流系统的逻辑设计与系统原型的开发。
Grey assessing and predicting safety in dynamic index system is raised. A method concerning the system is developed via the grey prediction model GM (1, 1) and based on the grey logic analysis.
本文提出定量安全评价与预测的动态安全指标,灰色逻辑代数,然后使用GM(1,1)给出了系统动态安全评价与预测的新方法。
Specifically including the new Intelligent Call key technology analysis, technical feasibility, functional module analysis, system architecture and logic structure of the program;
具体包括该新型呼叫系统的关键技术分析、技术可行性分析、功能模块分析、系统整体架构与逻辑架构方案探讨;
To special geometry text, exhaust from logic expression, physical expression and the realization of the system, while to attribute data mainly from the format and analysis.
对空间几何数据本文分别从逻辑表达、物理表达和系统实现加以阐述,而对属性数据则着重描述了数据格式和解析。
Develop the basic step of this system: Need analysis, system concept design, system logic with physics design, the system realizes with support.
开发本毕业设计的基本步骤:需求分析、系统概念设计、系统逻辑和物理设计、系统实现和维护。
Develop the basic step of this system: Need analysis, system concept design, system logic with physics design, the system realizes with support.
开发本毕业设计的基本步骤:需求分析、系统概念设计、系统逻辑和物理设计、系统实现和维护。
应用推荐