说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 一致性定价
1)  consistency pricing
一致性定价
2)  Uniformly-stable
一致价稳定
3)  consistency evaluation
一致性评价
4)  consistent suitability
一致适定性
1.
By studying the Cauchy problem of the high-dimensional linear partial differential equation system with variable coefficient on the base of Reference-,We obtain two new practical algebraic criteria for its consistent suitability.
基于文献 [1]- [3],研究高维变系数线性偏微大系统的Cauchy问题 ,得到该问题一致适定性的两个新的、实用的代数判
5)  definition of consistency
一致性定义
1.
In the consistency checking and inconsistency management of viewpoints,the definition of consistency between viewpoints is very important.
介绍视点一致性定义的相关研究,从形式上将视点一致性的定义分为3种类型。
6)  uniform stability
一致稳定性
1.
By using these theorems, one can assert the uniform stability, uniform asymptotic stability, uniform boundedness and uniform ultimate boundedness of the delay difference systems if the corresponding properties of the solution of the relevant ordinary difference equation are known.
利用这些定理,由无时滞差分方程的一致稳定性、一致渐近稳定性、一致有界性及一致最终有界性等性质可以判定有限时滞差分系统的相应的性质。
2.
This paper deals with the problem on the stability and uniform stability of perturbing n-dimensional Volterra integral and differential equation(t)=A(t)x(t)+∫t0C(t,s)x(s)ds+f(t,x(t)) f(t,0)≡0.
x=A(x)x(t)+∫t0C(t,s)x(s)ds+f(t,x(t))零解的稳定性及一致稳定性,得到零解稳定和一致稳定的若干充分判据。
3.
The sufficient conditions for the uniform stability of the zero solution of this equation are obtained.
应用不等式估值法讨论了非线性脉冲时滞差分方程解的性质,并得到它的解的一致稳定性的一些充分条件。
补充资料:一致性


一致性
consistency

  y一zh ix一ng一致性(~istency)理论的无矛盾性。如果一个理论不会同时承认一对相互矛盾的陈述,则该理论是一致的。形式地说,如果理论r可推得某一合适公式P及其否定,P,则r是不一致的;如果r不是不一致的,那么它是一致的,或说r满足一致性。 一致性是对“好的”理论最起码的要求。不一致的理论自相矛盾,因而不能对其行为作出合理的解释。而且只要这个理论的推理系统满足归谬律,那么系统中任一命题及其否定都能被该理论所承认,显得十分荒谬。一致性可以保证理论合理解释的存在性,即可以构造出该理论的模型。 软件规约的一致性要求从软件规约出发不会导出自相矛盾的结论。如果一软件规约中申明f是以正整数为值域的函数,而在另一处断言f需回送一1,则该规约不一致。 只有当一个软件规约满足一致性时,才有可能实现满足该规约的程序(它的模型)。如果规约的一致性不能保证,那么可能花费了大量人力物力去设计实现它的程序而最终一无所获。这就是研究软件规约一致性的重要性之所在。 对软件规约作一致性检查相当困难,通常只能发现不一致而不能保证一致。对不同形式的软件规约常采取不同的检查方法。对非形式的软件规约所能做的主要是对软件规约作字面上的检查以保证没有名冲突,以及保证没有直接矛盾之处。如果软件规约是用形式化语言书写,那么除名冲突外,还可以检查出其它一些不一致,如类型不一致、数量关系不一致等。但没有一般的形式方法可判定软件规约的一致性。 研究软件规约的一致性实际上就是对特定的形式化语言研究哪些不一致性可以检查以及给出检查的形式方法。‘伊波)
  
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条