1) provable degree
可证度
1.
Based on the concept of provable degree of formula on theories in propositional fuzzy logic systems,the calculating formula provable degree of formula on theories was given in the propositional fuzzy logic system,and its properties were shown.
基于命题模糊逻辑系统中公式的理论可证度的概念,探讨了命题模糊逻辑系统Gd中公式的理论可证度的计算公式,并研究了它的一系列性质。
2.
First,the conception of provable degree of formula on theories Γ is introduced,which is an index to an extent of theories Γ that infer formula Β;Second,its property is studied,the formula calculating provable degree of foumula on theories is given in propositional fuzzy logic system Luk.
首先引入了刻画理论Γ推出公式Β的程度的一种指标——称为公式Β的理论Γ可证度,然后研究了它的性质。
3) the degree of falsifiability
可否证度
4) Credibility Proofing
可信度验证
1.
This paper introduces the method of Multi-frame Block Matching and its Credibility Proofing,and also indicates the advantages and disadvantages of this method.
本文着重介绍了分级块匹配的方法极其可信度验证,并将其优缺点做了简单对比。
5) authentication trustworthiness
认证可信度
1.
This paper extends the concepts of authentication trustworthiness,and describes how to combine authenti-cation and authorization with authentication trustworthiness under the condition that authentication and authorization are disjointed in current systems.
该文扩展认证可信度的相关概念,描述当前系统中认证和授权相脱节的情况下如何将两者通过认证可信度结合起来,提出认证可信度与BLP相结合的模型:基于认证可信度的BLP模型,要求主体对客体的访问必须经过可信度安全特性和BLP模型安全策略的双重判定。
2.
A new model,role access control model based on authentication trustworthiness (AT-RBAC) is proposed in the paper.
提出一种基于认证可信度的角色访问控制模型(AT-RBAC)。
补充资料：采矿许可证的发证机关
采矿许可证的发证机关:国务院地质矿产主管部门以及其授权的省、自治区、直辖市人民政府地质矿产主管部门是采矿许可证的发证机关。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条