2) consistency evaluation technique
一致性评判技术
1.
This paper concentrates on the application research of consistency evaluation technique for the structural test and analysis used in composite material of helicopter.
本文主要进行了一致性评判技术在直升机复合材料结构试验与分析中的应用研究。
2.
The test and analysis consistency evaluation technique is a key technique.
而试验与分析一致性评判技术是其中的关键技术。
3) uniformization technique
一致化技术
1.
We derive the optimal input and service feedback control policy by using the uniformization technique and stochastic dynamic programming.
对于具有随机输入和随机需求的一类不可靠柔性制造系统 ,利用转移率一致化技术和随机动态规划方法 ,给出了输入率和服务率分配的最优反馈控制策略 ,指出系统的最优控制具有bang bang形式的开关结构 ,数值例子验证了文中的结
2.
The optimal input and service feedback control policy are derived by using the uniformization technique and stochastic dynamic programming.
对于具有随机输入和随机需求的一类串行生产线系统 ,利用转移率一致化技术和随机动态规划方法 ,给出了输入率和服务率分配的最优反馈控制策略 ,指出系统的最优控制具有邦—邦形式的开关结构。
4) Dynamic consistency enforcing techniques
动态一致性增强技术
5) disaster causing technology
致毁性技术
1.
Thesis analyses deeply the above mentioned four sources and their characteristics respectively from the aspects of cost distribution, human egoism, scientific and technological alienation and the accelerating role of politics for the use of disaster causing technology.
主要从市场的成本分摊性、人类中心论、科技异化以及政治对致毁性技术应用的加速作用分别对上述四种根源及特征进行了深入分析。
6) induced technical transformation
诱致性技术变迁
1.
Using the induced technical transformation theory and the transaction costs theory,this paper tries to explain three problems based on the case of the new rural construction in the Bazhong city:1) The peasants are the corpus in the new rural construction.
本文试图运用新制度经济学诱致性技术变迁、交易费用理论并通过一个案例来说明三个问题: (1)新农村建设中农民是主体,但当农民面对较高的交易费用时农民是不会自发进行技术创新(或引进)的(2)农民是主体,并不意味着办任何事情就该农民出钱、出力;(3)加大农民人力资本投入是新农村建设的关键。
补充资料：一致性
一致性
consistency
y一zh ix一ng一致性(~istency)理论的无矛盾性。如果一个理论不会同时承认一对相互矛盾的陈述，则该理论是一致的。形式地说，如果理论r可推得某一合适公式P及其否定，P，则r是不一致的;如果r不是不一致的，那么它是一致的，或说r满足一致性。 一致性是对“好的”理论最起码的要求。不一致的理论自相矛盾，因而不能对其行为作出合理的解释。而且只要这个理论的推理系统满足归谬律，那么系统中任一命题及其否定都能被该理论所承认，显得十分荒谬。一致性可以保证理论合理解释的存在性，即可以构造出该理论的模型。 软件规约的一致性要求从软件规约出发不会导出自相矛盾的结论。如果一软件规约中申明f是以正整数为值域的函数，而在另一处断言f需回送一1，则该规约不一致。 只有当一个软件规约满足一致性时，才有可能实现满足该规约的程序(它的模型)。如果规约的一致性不能保证，那么可能花费了大量人力物力去设计实现它的程序而最终一无所获。这就是研究软件规约一致性的重要性之所在。 对软件规约作一致性检查相当困难，通常只能发现不一致而不能保证一致。对不同形式的软件规约常采取不同的检查方法。对非形式的软件规约所能做的主要是对软件规约作字面上的检查以保证没有名冲突，以及保证没有直接矛盾之处。如果软件规约是用形式化语言书写，那么除名冲突外，还可以检查出其它一些不一致，如类型不一致、数量关系不一致等。但没有一般的形式方法可判定软件规约的一致性。 研究软件规约的一致性实际上就是对特定的形式化语言研究哪些不一致性可以检查以及给出检查的形式方法。‘伊波)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条