计算

Computability theory

(可计算性理论)

4.本计画拟以可计算性理论(Computability Theory)为基础,建立数位仪控系统软体故障行为数学模式,结果可应用在软体可靠度、风险分析等安全分析工作,将有助於建立具共识基础、可为各方接受的安全/风险分析技术.

computable function

可计算函数

5)实现可计算函数(comPutable function)的算 子算法. 对一个建模对象,它的特征是任一控制系统U完 全由其模式(结构)艺及功能必所定义,亦即由二元组 (X,O)所定义.这里U=(艺,中).另一方面,对任一建 模对象类U,都存在一个函数小使得中=职(Z),

partially computable function

部分可计算的函数

partially adjoint operator 部分伴随算子 | partially computable function 部分可计算的函数 | partially differentiable function 可偏微函数

effectively computable function

能行可计算函数

effective variance of error 有效误差方差 | effectively computable function 能行可计算函数 | efficiency 效率

predictably computable function

预测可计算性函数

predictable interrupt 可预测中断 | predictably computable function 预测可计算性函数 | predicted and corrected altitude 修正的提前高度

quintuple Turing computable function

五元组图灵可计算函数

quintuple space 五维空间 | quintuple Turing computable function 五元组图灵可计算函数 | quintuple Turing machine 五元组图灵机

partially computable

部分可计算的

partially completed tree 部分完成树 | partially computable 部分可计算的 | partially computable function 部分可算函数

Digital Computation

数值计算

1005. 数值分析 Numerical Analysis | 1006. 数值计算 Digital Computation | 1007. 数字测量技术 Digital Measuring Technique

Digital Computation

数字计算

digital communication 数字通信 | digital computation 数字计算 | digital computer 数字计算机

Digital Computation

数值计算迪西欧代写论文

数值分析 Numerical Analysis | 数值计算迪西欧代写论文 Digital Computation | 数字测量技术 Digital Measuring Technique

Anopheles candidiensis：日月潭疟蚊

\\"疟蚊属\\",\\"Anopheles\\" | \\"日月潭疟蚊\\",\\"Anopheles candidiensis\\" | \\"中华疟蚊\\",\\"Anopheles hyrcanus var. sinensis\\"

Gnome Milnes:GNOME：下的扫雷

2. Games:游戏软件 | 1) Gnome Milnes:GNOME下的扫雷; | 2) Gnibbles:贪吃蛇游戏;