1) calculable judgement
可计算判定
1.
Based on the statistics,from the angle of calculability,the collaborative work with importing the method of SVM and kernel function are discussed,and primarily forms the calculable judgement theory of likeness relation,and gets the verification through the experimentation of literature classification.
从可计算角度研究协作问题,以统计学理论为基础,将支持向量机与核函数方法引入到协同工作研究,初步建构了相似关系可计算判定的理论与算法,并通过文献分类判定实验得到了验证。
2) computability(decidability)
可计算性(可判定性)
4) Computer-Assisted Verification
计算机辅助判定
1.
Computer-Assisted Verification of Behavior Complexity of Dynamical Systems;
系统动力学行为复杂性的计算机辅助判定
5) decision element
计算元件，判定元件
6) decidability
可判定性
1.
A Definition Framework of Spatial Logic and Decidability;
空间逻辑的一个定义框架及其可判定性
2.
Further more,he clarified the significance of the undecidability and the antinomies with his conclusion that mathematics does not have crisis.
以批判数学存在基础的各种哲学学派为逻辑起点,普特南围绕数学基础中出现危机的根源进行了深刻剖析,重解了数学上存在不可判定性命题的意义及二律背反的意义,从而得出了数学中不存在危机的结论。
补充资料：洪水调节计算(见水库调洪计算)
洪水调节计算(见水库调洪计算)
hongshui tiaojie洪水调节计算J ISUan 见水库调洪计算。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条