说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 依赖性判定
1)  dependence evaluation
依赖性判定
1.
A concept of dependence evaluation function and MMDE (Multidimensional Medicine Dependence Evaluation) algorithm were proposed to determine the dependence relationship of multidimensional medicines aiming at mining the compatibility law of multidimensional medicines.
针对多维组方药物之间配伍规律挖掘问题,提出了依赖性判定函数和多维组方药物依赖性判定算法MM-DE(Multidimensional Medicine Dependence Evaluation),作为组方药物依赖性判定的依据,利用差异函数确定药物分布的离散度,提出了基于可调差异函数求解缺剂量药物用量的新方法。
2)  stability dependency
稳定性依赖
3)  delay-dependent stability criteria
依赖于延时的稳定性判据
4)  generation dependency theorem
生成依赖性定理
1.
This paper gives the generation of knowledge and [R] knowledge,gives the grain connection of knowledge and [R] knowledge;by the use of these concepts,this paper puts forward the generation dependency theorem of knowledge and [R] knowledge,the invariance principle of knowledge grain of knowledge plane and the invariance principle of the dependent direction of generation dependence.
给出[α/R]知识与[R]知识的生成,给出[α/R]知识与[R]知识的颗粒关系;利用这些概念,提出[α/R]知识与[R]知识生成依赖性定理,知识平面π上知识颗粒不变性原理和生成依赖方向不变性原理。
5)  delay-dependent stability
延迟依赖稳定性
1.
This paper is concerned with the study of the delay-dependent stability of linear multistep methods for delay differential equations with real coefficients.
讨论实系数延迟微分方程线性多步法的延迟依赖稳定性。
2.
One of the important problems is to study the delay-dependent stability of numerical methods for DDEs.
因此,数值方法的稳定性分析近年来一直受到学者的广泛关注,其中的重要问题之一就是研究数值方法的延迟依赖稳定性。
6)  delay-dependent stability
时滞依赖稳定性
补充资料:不可判定性


不可判定性
IndecidalHlity

  不可判定性【1”‘cida城勿;一epa3pe“HMocT‘1【补注】一个算法(日即riUllll)的不存在性,或者在一个形式系统(forn以1 systeTn)中证明或否证一个命题的不可能性.下面分别予以讨论.解决某一给定问题的算法的不存在性常常称为该问题的不可解性(un-solvabiljty).有时“不可判定性”和“不可解性”看作是同义词.(见不可解性(unsolvability).) 在一切数学领域中都可得到判定性结果,它们可能以算法的直观概念为依据.由构造一个算法证明一个问题是可判定的,该算法在接收该问题一个例子的数据后产生对于这个例子的回答.一个经典例子是求两个自然数的最大公因子的Euelid算法. 算法的概念必须形式化才能证明某个问题是不可判定的.一个问题的不可判定性是指算法原则上不可能存在,—不仅仅是至今还不知道这样的算法. 在这些形式化中最普通的是1物由犯机(T以角glna-chjne).然而,应该强调,所有提出的形式化发现都是等价的,此外,不可判定问题的存在性是不依赖所用的形式化.下面将简要阐述这一点. 这样,必须说明算法这个直观概念的任何形式化如何导致算法不可判定问题.考虑任何一个这样的形式化.对任何算法A和A的任何输人字x,存在两种可能性:或者A对于x停止(llah),即当A作用于x时得出一个停止的计算;或者A对于x不停止.在后一种情况下,就说A对于x循环(loop).停机问题(回t叱problelll)是对于任何对(A,x),判定A对于义是停止还是循环. 停机问题的一个特例是可自应用性问题(seif一app-licability problem),定义如下.每个算法A是由它的Godel字(Gi记el word)g(A)所完全决定的.例如,抓A)可定义为A中所有指令按顺序的集合.一个算法A称为可自应用的(se】f一applicable),只有当A对于夕(A)停止.自应用问题是判定任一算法是否可自应用的.自应用问题是停机问题的子问题;因此,如果前者是不可判定的,则后者也是不可判定的. 假设存在一个自应用问题的算法A。.这样,对所有形为g(A)的输人,A。都停机,且根据A是否可自应用产生回答yes或no.现在修改A。
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条