1) readable proof
可读证明
1.
The problem of the inequality s readable proof is still unsolved, within which the proving of triangular inequality is one of the most difficult.
作者设计并实现了一个将三角函数转化为有理分式的高效算法,从而可将三角不等式化为有理不等式来证明,并保证了其可读证明的自动生成。
2) elementary and readable proof
初等可读证明
3) Readable machine-proof
可读机器证明
4) vindicability
[英][,vindikə'biliti] [美][,vɪndəkə'bɪlətɪ]
可证明性
5) provable
[英]['pru:vəbl] [美]['pruvəbḷ]
可证明的
6) Attestation
[英][,ætes'teiʃən] [美][,ætɛs'teʃən]
可信证明
1.
Secondly,this paper presents a computing platform attestation module:Identity and Policy Based Attestation(IPBA),based on the IPBA,network access contro
其次是基于可信证明技术,采用基于设备身份和安全策略的综合接入设备可信证明方法(Identity and Policy Based Attestation,IPBA)对远程综合接入设备实施网络准入控制,从而提高综合接入系统的安全。
2.
Trustworthiness attestation of computing platform is a focus research work in Trusted Computing.
计算平台状态可信证明是可信计算研究的热点问题。
补充资料：不等式证明
不等式的证明，基本方法有
比较法：比较两个式子的大小，求差或求商。是最基本最常用的方法
综合法：用到了均值不等式的知识，一定要注意的是何时等号才成立。
分析法：当无法从条件入手时，就用分析法去思考，但还是要用综合法去证明。两个方法是密不可分的。
换元法：把不等式想象成三角函数，方便思考
反证法：假设不成立，但是不成立时又无法解出本题，于是成立
放缩法：
用柯西不等式证。等等……
高考不是重点，但是难点。
大学数学也会讲到柯西不等式。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条