The model and program were proved right through theory analysis and examples proving.
通过理论研究和实例验证，证明了模型和程序是正确的。
The concept is based on the idea of a cooperative community - a model that is proving increasingly popular, with similar recent examples in Belgium, the UK and Germany.
这个概念基于“合作团体”的想法——最近在比利时、德国和英国都有类似案例，它是一个越来越受欢迎的社区模式。
To check consistency of UML model, the consistency checking is converted to a problem of theorem proving.
在检验u ML模型一致性时，把一致性检验问题转化为逻辑定理证明问题。
Part three will use a model of efficiency-pay to discuss how the real contract forms are determined, thus proving that a distribution result of an economy doesn't lie in social system.
第三部分引入效率工资模型说明现实合约形式的决定，从而证明一个经济的分配结果不取决于社会制度。
Rigid-Elastic Coupled Model of full vehicle, Acoustical-Structure Interaction Model of car body and Irregularity model of road are built using the technique of Virtual Proving Ground.
借助于虚拟试验场技术建立了用于车内噪声评价的整车刚弹耦合模型、声固耦合车身模型和不平路面模型。
Simulating the model with the testing data, analysis the network performance, proving the feasibility of modeling and the model has the feature of high-precision and fitting.
用测试样本对所建模型进行外推性能测试，对结果进行分析，证明建模具有可行性以及所建模型具有良好的拟合性能和外推性能。
Proving the feasibility of the model through the application of the nuclear power project management maturity evaluation model.
并通过核电工程项目管理成熟度评价模型的应用，证明了模型的可行性。
A program generated from this model has yielded results agreeing better with test data collected from some proving ground tests.
利用该模型编制的软件的计算结果与某基地的试验数据吻合得较好。
Moreover, for the sake of proving the generalization of the tree model, we modify the ALMI protocol, and design the T-ALMI (topology-aware ALMI) overlay construction algorithms.
考虑到网络结构模型的通用性，在新协议设计的同时，本文对已有的almi协议的重叠网构建过程进行了改进，设计了T - ALMI重叠网构建算法。
Chapter iv of this paper is empirical analysis, and comparative analysis between the non-arbitrage model and the arbitrage model, proving a good arbitrage effect.
第四章为实证分析，对比分析了本文建立的模型与未套利的模型，证明了良好的套利效果。
Analytical results of elastoplastic time history analysis correlated very well with the experimental results of the shaking table test, proving the validity of the proposed model.
利用所提分析模型对振动台试验模型进行了弹塑性时程分析，计算结果与试验结果吻合良好，验证了分析模型的正确性。
The links are creating environment---proving hypothesis---summarizing and including---obtaining conclusion---removing. the active subject teaching is finishing by inquiring questions model.
归纳探究式教学模式通过创设问题情境---提出问题---收集事实和材料---得出结论---表达和交流等环节来进行概念教学；
Finally, with deeply analyzing and studying the instance of m power supply enterprise, proving the beneficence and feasibility of the model of supplier synthetically evaluation and selection.
最后，应用供应商评价指标体系模型进行实例分析计算，验证了本文提出的供应商评价指标体系模型的有效性和可行性。
After validated, the proposed model obtained a high degree of explanation of E-book use intention, especially, proving SD as a significant factor to influence college students?
特别地，验证了屏幕设计这个因素对高校学生使用电子图书有非常显著的影响。
In view of our existing system, we design the structure model of related valve, proving the effect in which the high hydraulic pressure could improve the miniaturization of this structure.
针对我国有关制动系统工况，讨论了气液制动阀结构型式，初步分析了系统油压力与结构轻。
In view of our existing system, we design the structure model of related valve, proving the effect in which the high hydraulic pressure could improve the miniaturization of this structure.
针对我国有关制动系统工况，讨论了气液制动阀结构型式，初步分析了系统油压力与结构轻。
应用推荐