2) computable operator
可计算算子
3) 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.
本文首先对国际生态经济学界围绕“世界生态系统功能价值计量”的方法学论争进行简短的评论 ,接着阐述了生物多样性价值的新的概念框架 ,并据此就生物多样性价值计量中尚未得到关注的问题 (生物多样性价值的可计算性 ,价值计量方法的恰当性 ,价值分量的可加性和可解析性 ,价值误差测算 )提出解决思路。
4) Trusted computing
可信计算
1.
CSCW system access control based on trusted computing;
基于可信计算的CSCW系统访问控制
2.
A sharing model for trusted computing platform;
基于网格环境的可信计算平台共享模型
3.
Research on cryptology mechanism of trusted computing platform module;
可信计算平台模块密码机制研究
5) trusted computation
可信计算
1.
The current research and problems of the trusted computation;
可信计算的研究及存在的问题
2.
Research on How to Measure Trusted Computation Enabled Linux’s Critical Objects;
近几年可信计算方面的研究发展迅速,但在支持可信计算的Linux方面的研究却相对落后,无法对所有可能改变系统可信状态的关键组件进行完整性验证,以至于无法判断系统是否处于可信状态。
6) trust computing
可信计算
1.
Trust management of network service based on trust computing platform;
网络服务中基于可信计算平台的信任管理
2.
The Research and Implementation of Secure Embedded System Client Based on Trust Computing Technology;
基于可信计算技术的嵌入式安全终端的研究与实现
3.
At first,the authors analyze the problems of dynamic characteristic,concurrency and consistency for Multiple Remote Attestation Instance(Multi-RAI) in trust computing environment,and propose a complete dynamic update attestation scheme for Multi-RAI in trust computing environment,which guarantees the trustworthiness of endpoints′ computing environment.
首先分析了可信计算环境下多远程证明实例执行的动态性、并发性、一致性等问题,提出了一个完整的可信计算环境多远程证明实例动态更新证明方案,以保证通信双方终端计算环境的可信。
补充资料：可计算不变量
可计算不变量
computable invariant
可计算不变量[~四助lein拍ri明t;~I.c皿MM泛.卜服伸脱T].给定类型的字之间的二元关系的 可运用于所有该类型的字的且将任意两个相关字处理为一个相同字的算法(alg(’rithm)(在其精确意义下，例如，像在!11，{2]中所使用的正规算法(normal alg-orithm)). 根据A.A.Map‘oB的定义，两个字是由给定关系的不变量不可分的(insePar扭ble)，如果用这个关系的所有可计算不变量处理这些字将产生相同的结果.可以注意到，如果某二元关系是可判定的(见可判定集(deddable set))，则可以构造它的计算不变量使得不相关的两个字上有不同的值.另一方面，若能成功地构造出不相关且由不变量不可分的字，则所讨论的关系是不可判定的. 代数、拓扑中的许多著名算法问题(al即rit micPro-blem)都可表述为研究某些等价关系类的可判定性的问题，且这样一些问题的否定解往往是通过证明在一定类型的等价关系之间存在不可判定关系而得的二M诊KoB找到一个程序加强(如上所述)许多算法问题的否定解(群论中的字相等问题，同胚问题，结合演算和群演算不变性质的可认性问题).在[3]中构造了一个可枚举(见可枚举集(enumerable set))但不可判定的字的等价关系，然而任意两不相关字是由二元关系不变量可分的.现仍未解决(1987)是否类似结果对MaPKoB所研究的关系类也成立.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条