1) computability
可计算性
1.
Research on Interactive Computability and Its Topological Approaches;
交互可计算性和拓扑方法的研究
2.
These are the computability of value, the validity of valuation methods, the additivity and analyticity of value sectors, and error measurement of the value.
本文首先对国际生态经济学界围绕“世界生态系统功能价值计量”的方法学论争进行简短的评论 ,接着阐述了生物多样性价值的新的概念框架 ,并据此就生物多样性价值计量中尚未得到关注的问题 (生物多样性价值的可计算性 ,价值计量方法的恰当性 ,价值分量的可加性和可解析性 ,价值误差测算 )提出解决思路。
2) Reliability Calculation
可靠性计算
1.
Through comparing and analyzing the technical economic indexes and reliability indexes obtained by production simulation and reliability calculation,the most economical and desirable expansion scheme of peaking units during planning period from all possible schemes,and the arrangement for peaking units expansion of practical p.
针对电力系统中日益突出的调峰问题,提出实用的调峰电源规划优化模型,通过由运行模拟和可靠性计算获得的各类技术经济指标和可靠性指标的比较分析,从拟定的方案中找出规划期内经济合理的调峰电源建设方案,确定系统中调峰电源的合理建设规模和装机进度,指导和安排实际电力系统调峰电源的合理建设。
2.
Through analyzing active states of system and calculating corresponding reliability,reliability calculation method is given for m/n parts which all submits the same exponential distribution.
通过分析系统的工作状态和对应的可靠度值,给出了相同条件下指数分布的m备n部件可靠性计算方法。
4) visibility computation
可见性计算
1.
Two new algorithms of structural volume skeletonization and internal visibility computation are presented to support the virtual endoscope system.
提出了包含距离和拓扑信息的结构化骨架提取方法和骨架指导的内窥可见性计算方法,并将其有机地应用于虚拟漫游系统中。
5) reliability evaluation
可靠性计算
1.
Taken the composite gengerationtransmission system as an example,this paper presents a practical method of power system reliability evaluation by the computer.
探索了利用计算机进行电力系统可靠性计算的实用方法。
6) computational soundness
计算可靠性
1.
Based on this conclusion,a formal system with computational soundness can be cons.
研究在密码协议仅使用数字签名原语时,主动攻击下符号形式化分析系统的计算可靠性。
2.
It establishes extended label symbolic model and extended computational model, proves the computational soundness of the extended label symbolic model, and realizes the extension of MV method.
针对该问题,使用公钥加密和对称加密,建立扩展标记符号模型与扩展计算模型,论证扩展标记符号模型的计算可靠性,实现对MW方法的扩展。
补充资料：可计算性理论
| 可计算性理论 computability theory 研究计算的可行性和函数算法的理论。又称算法理论。它是算法设计与分析的基础，也是计算机科学的理论基础。可计算性是函数的一个特性。设函数f的定义域是D，值域是R ，如果存在一种算法 ，对D中任意给定的x ，都能计算出f（x）的值，则称函数f是可计算的。 算法有不同的直观定义。一般认为，能机械地实现，并总能终止的有穷指令序列称为算法。也有把算法称为“有效过程”的，并把能机械地实现，但不一定终止的有穷指令序列称为一般过程。 在可计算性理论中，算法主要用于计算函数和判定谓词。具有定义域D的谓词P是D中元素的一种特性，D 中每个元素或者具有这种特性，或者不具有这种特性。如果D中x具有特性P，就称P( x )真，否则称P（x）假。如果存在一个算法，对D中任何给的x，该算法总能给出P(x)是否真的明确回答，则称谓词P是可判定的。 函数的可计算性和谓词的可判定性是密切相关的概念 。可以把每个谓词P与一个值域为｛0，1｝的函数f连系起来 ，P和f具有相同的定义域D。对D中任意x，如果P(x )为真，则f（x）＝1；如果P（x）为假，则f（x）＝0。显然，f是可计算的当且仅当P是可判定的。因此 ，只需讨论函数的可计算性即可。 在可计算性理论中讨论的函数都是整函数，它们的定义域和值域都是非负整数集。这种限制的合理性在于：其他类型的函数可以通过G  del算术化，与整函数建立一一对应。为了表示一个函数是可计算的，只需给出一个计算它的算法即可。按照上述定义，对于一个适当的算法，应该能构造一个执行算法指令的机器，这是一种抽象的计算机，算法就是该抽象计算机的程序。只有能由这种机器计算的函数，才可定义为可计算函数。通常用于这种目的的抽象计算机就是所谓的图灵机。因为图灵机有精确的定义，所以可计算出数的概念就变成了一个精确的数学概念。 上述定义可计算函数的方法称为抽象机方法。在可计算性理论中，另一种定义可计算性的方法是函数方法，这种方法的基本出发点是认为可计算函数就是能行可构造函数。所谓“能行性”是指存在切实可行的构造方法，并能在有限步骤内构造出来。基于这种方法的研究在可计算性理论中构成了递归函数论，其主要成果是论证：能行可构造函数就是一般递归函数。 可计算性理论中有一基本论题称为Church-Turing论题，它断言图灵机可计算函数类就是直观可计算的函数类。因为直观可计算函数并不是精确的数学概念，所以Church-Turi-ng论题不能用数学方法加以证明。但是有许多令人信服的论据支持这个论题，人们后来提出许多不同的计算模型都被证明与图灵机等价，即各种模型所定义的可计算函数类都是图灵机可计算函数类。这表明图灵机及其他等价模型确实合理地定义了可计算性。因此，Church-Turing论题得到了计算机科学界和数学界的公认。 给定可计算函数的精确定义之后，既能证明一些具体函数是可计算的，也能证明某些函数是不可计算的。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条