The virtual prototype was founded according to the structure's characteristics, and the static state verification was finished.
根据该定位机构的特点,建立了虚拟样机模型并完成静态校核。
As a result of stringent regulations and state verification measures, suppliers from OECD countries are initially allocated a low supplier risk (risk class 1).
由于严格的法规和国家验证措施,供应商来自经济合作与发展组织国家的最初分配较低的供应商风险(风险类1)。
The values for partial factors for materials for serviceability limit state verification should be taken as those given in the particular clauses of this Eurocode.
正常使用极限状态验证的材料分项系数值必须采纳本欧洲标准特别条款中的规定。
The model presented here is proved to overcome the problem of credibility in costly state verification(CSV) model and some related research in the theory of incentive.
而这种基于 博弈论的契约可以克服有成本的状态验证模型(CSV)及经典激励理论中承诺的可信性问题。
The State, through the National IHR Focal Point is required to cooperate in the verification process.
要求该国通过国家国际卫生条例归口单位在核实过程中进行合作。
In this way, you avoid having to run the test manually to the appropriate state before recording the verification point.
这样就避免了在记录这个验证点之前手工运行测试到适当的状态。
Also, during playback, if the same object state is not ensured, then the verification point will fail.
同样,在回放期间,如果并不能确保相同的对象状态,那么确认点将会失败。
Before beginning to create a verification point, the application needs to be in the state that is required.
在开始创建确认点之前,程序需要在需要的状态之中。
After a test executes, you can use the Verification Point Comparator to analyze differences, or to update the baseline (expected object state) if the behavior of the object changes.
在执行测试之后,您可以利用VerificationPoint Comparator来分析区别,或者如果对象性能改变了,就更新基线(期望的对象状态)。
Rose Gottemoeller was sworn in as the Assistant Secretary of State for the Bureau of Arms Control, Verification and Compliance, on April 6, 2009.
罗斯.高特莫勒在2009年4月6号,宣誓就职美国助理国务卿,负责军备控制、核查和执行。
A verification theorem for general stochastic optimal control with the state following a jump_diffusion process is showed.
证明了一个状态为跳跃扩散过程的一般最优控制问题的验证性定理。
Verification of the clue can be implemented by way of clue investigation, mainly examining its source, reality and causality before being processed by means of static and dynamic state.
对线索的查证可以采取立线查证的方法,主要查证其来源、真实性和因果关系,然后进行静态和动态处理。
Every formal verification approaches have their advantages and disadvantages, the main advantage of model checking is automation, its main drawback is the state explosion problem.
各种形式化方法都有它的优缺点,模型检测的优点是完全自动化,但存在空间开销大的问题。
The verification of throughness of workflow logic is very expensive both in time and space. The state ex- plosion is the main difficulty.
工作流的畅通性验证无论在时间上还是空间上代价都是非常高的,状态空间爆炸是验证的主要困难所在。
Model checking is a formal verification by exhaustive search to finite state automata.
模型检测是基于对有穷状态自动机进行穷尽搜索的一种形式化验证方法。
These keys, called the Software Publishing State keys, control the behavior of the certificate verification process.
这些被称为“软件发布状态密钥”的公钥控制证书验证过程的行为。
Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.
模型检验是一种针对有限状态系统的形式化验证技术,以其简洁明了和自动化程度高而引人注目。
Model checking and refinement checking are two approaches to formal verification, whose difficulties are due to the state explosion problem.
组合可达性分析是对并发系统模型分析验证的基础和关键,但是难于解决验证中的所谓的状态爆炸问题。
When we build the verification platform, we study the state-of-art commercial verification platform, raise the unified verification environment, and put it into practice.
在搭建验证系统时,仔细分析现有商业验证平台,结合它们的设计优点,我们提出了自己的统一验证环境的指导思想。
The result of the theoretic calculation has got test verification so that it may be used in dynamic state design and analysis of internal trimming sound absorbing of motor vehicle passenger housing.
理论计算结果得到了试验结果的验证,可用于车辆乘坐室内饰吸声的动态设计与分析。
In this article, we give the scheme of the relay box's computer auxiliary test, and state the test system's study and its verification.
本文运用计算机辅助测试技术,提出了飞机继电器盒计算机辅助测试设计方案,并对测试系统的研制及验证情况进行了说明。
Verification of the clue can be implemented by way of clue investigation, mainly examining its source, reality and causality before being processed by means of static and dynamic state. Ca...
对线索的查证可以采取立线查证的方法,主要查证其来源、真实性和因果关系,然后进行静态和动态处理。
Article 27 People's policemen must, as prescribed by the State, be recruited according to qualifications from among those who have passed public examination and strict verification.
第二十七条录用人民警察,必须按照国家规定,公开考试,严格考核,择优选用。
Article 27 People's policemen must, as prescribed by the State, be recruited according to qualifications from among those who have passed public examination and strict verification.
第二十七条录用人民警察,必须按照国家规定,公开考试,严格考核,择优选用。
应用推荐