探讨了这种工作流程模型正确性分析、性能评价及优化方法。
And the correctness analyses, performance appraisement and optimization methods of such a model are discussed.
在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
The correctness of relationships among use case descriptions and semantic equivalence between use case descriptions can be analyzed based on the formal definition.
在形式化定义基础上，可进行用例描述间关联的正确性分析及语义等价分析。
The correctness of relationships among use case descriptions and semantic equivalence between use case des...
这些关键分析特征都与核心"正确性"问题无关："是否能够运行？"
These key analysis features are all separate from the core "correctness" question: "Does it work?
所有信息都显示在一个表中，所以很容易看出不同之处，并且可以将更多的时间花在分析信息的正确性方面，从而使之同步。
All the information is displayed in a table so you can easily see what the differences are and better spend your time analyzing what information is correct, so you can keep it synchronized.
过程流的静态分析和复杂组合应用的正确性证明也是热门主题，有些代表性主题被留给了厂商特定的产品(即使不是全部)。
Static analysis of process flows and correctness proofs of complex composite applications were also popular themes, something that is typically left to vendor specific products (if at all).
使用schedulability分析的注解，来指定设计是否满足时间限制并验证时间的正确性。
Use the annotations for schedulability analysis to predict whether the design will meet timing constraints and to validate correctness of the timing.
对于精神分析，通过在治疗心理疾病方面获得的巨大成功，证明了其理论的正确性，这个观点当然也是不对的。
And the claim that psychoanalysis proves itself by being - by its tremendous success in curing mental illness is also almost certainly not true.
商业分析师，测试员，基至客户时常被叫去，通过和系统的实际交互，验证系统操作的正确性，他们没有观察到任何东西。
Business analysts, testers, and even customers are often called upon to validate proper system operation by physically interacting with that system and noting their observations.
这一切都证明了他分析的正确性。
可以肯定的是，弗洛伊德的理论无法得到验证,因为精神分析理论的内容,太过模糊又太易变通,你无法通过任何可靠的方式,去验证它的正确性。
Arguably, Freud fails the test because Freudian theory is often so vague and flexible that it can't really be tested in any reliable way.
通过分析和比较，证实了本文模型和方法的正确性和可行性。
Through analysis and comparison, the correctness and feasibility of the present model and method were validated.
形式化分析、例证和实验结果表明GKCP 的正确性和可行性。
The formalization analysis, exemplification and experimentation result prove that GKCP is correct and feasible.
而且现有的工作流模型普遍缺乏严密的定义，很难支持对流程正确性、有效性的分析验证。
Most of present workflow models lack formal definitions. So it is difficult to support the analysis on correctness and validity of process.
实验结果证明了分析的正确性和改进方案的可行性。
The experimental result proofs the correctness of the analysis and the feasibility of the improved methods.
在对事务安全性分析的基础上提出了安全事务模型和安全事务正确性标准-安全冲突可串行化(SCSR)。
Based on analysis of transaction security, a secure transaction model is given. Moreover, a correctness criterion for secure transactions, secure conflict serializability (SCSR) is proposed.
方法首先依据病案内容判断主要诊断的正确性，然后进行医疗质量及单病种费用的统计和分析。
Methods Research on the correctness of main diagnosis in medical record archives and its relationship with medical cost by statistics and analysis.
由此证明了沉降机理分析的正确性。
Thus, the validity of analysis of settling mechanism was verified.
当面对变更时，分析师很难指出需求的演进，设计师很难实现系统需求所需要的正确性。
It is not easy for analysts to specify the evolution of the requirements when facing changes, and for designers to implement the required corrections to the systems supporting those requirements.
给出LEACH- ZMH的正确性证明和复杂性分析。
The correctness proof and complexity analysis of LEACH - ZMH are given.
UML缺乏准确的语义，难以支持对复杂系统的模型进行严格的语义分析和正确性验证。
The lack of precise semantics of UML makes it difficult to support the rigorous semantic analysis and accuracy verification of the models of complex systems.
通过实验验证了该理论分析的正确性。
Relevant experiments show that the said theoretical analysis is correct.
关于FIFO设计方法的报道有很多，但我们很难分析其正确性。
Many FIFO design approaches have been reported but it is very difficult for us to analyze their correctness.
除了数据监察和统计分析，Fiddler也支持设置断点，修改请求和响应的数据。这一点在安全性和数据正确性的测试上非常有用。
Beyond inspection and analysis, Fiddler also offers the ability to set breakpoints and tamper with data in requests and responses, especially useful for security and input sanitation testing.
通过加工实验，验证了三种刀位计算方法的有效性和误差分析方法的正确性。
The validity of three methods and the correctness of the error calculation were proved in the machining experiments.
详细地介绍了系统的硬件设计和软件设计，并在仿真的基础上通过对方波信号的试验分析，验证了系统设计的可行性和正确性。
Hardware and software designs are amply introduced in the paper and through the test analysis using square wave 'the feasibility and validity of this design are affirmed.
给出了该协议的正确性证明和复杂性分析。
In this paper, the proof of correctness and the complexity analysis of the MRPMQ are also given.
最后分析了这种方案的正确性。
最后分析了这种方案的正确性。
应用推荐