1) semantics reliability
语义可靠
2) trustable semantic interoperation
可靠的语义互操作
1.
This paper presents an approach to ensure trustable semantic interoperation.
提出了一个支持可靠的语义互操作的方法,详细介绍了该方法的基本思想,包含的信息模型,以及实现平台的基本架构。
4) reliabilism
可靠主义
1.
It has been changing since its starting point,and can be easily seen that the present reliabilism has departed from the traditional Externalism,diverting to the integration of Internalism and Externalism or even leaning to an obvious Internalism.
可靠主义是当代知识论中的一个重要范畴,经过数十年的发展,仍是当前讨论知识与确证的最主要对象和运用的最基本概念之一。
2.
During the development of reliabilism on theories of knowledge and justification, Alvin I.
可靠主义作为一个关键的理论,自二十纪六十、七十年代以来,一直在当代知识论中占据突出的位置,具有极大的影响,成为学术界探究知识与确证时运用的重要语汇。
3.
The paper,through expanding the relative concepts,explaining reliabilism and the epistemic practice holds that the ostensible contrary does not mean the mere predicament,but the choice of integration.
论文通过概念的扩展、可靠主义解释,以及认识实践进路的消解尝试,认为两者的表面对立中并非只有困境,更有融合的选择。
5) generalized reliability
广义可靠性
1.
In this paper, the panel production system in low seam is analysed by the generalized reliability theory.
应用广义可靠性理论分析了溥煤层采区生产系统，介绍了顺拉工作面和对拉工作面能力有效度的计算方法，认为能力有效度能更全面反映采区生产系统的运行状况。
2.
They include: the expression of generalized reliability, the expression of reliability and MTTF of cold and warm-redundancy system, the Bayesian marginal distribution of discrete random variable, and the integral expression of the cdf of the generalized noncentral t-distribution.
本文讨论了条件均值在可靠性工程中的某些简单应用,包括:广义可靠性的表达式,冷与温贮备系统可靠性与MTTF的表达式,离散随机变量的Rayes边缘分布,广义非中心t分布的分布函数的积分表达式。
3.
The state of study on the failuredependence and generalized reliability theory for engineering structures and systems is discussed.
讨论了工程结构与系统失效相关性和广义可靠性理论的研究现状,分析了应用研究中凸现的局限性。
6) generalized reliability
广义可靠度
1.
The concepts of fuzzy trouble, fuzzy function, fuzzy operation state and generalized reliability are proposed.
文中提出了模糊故障、模糊功能、系统模糊运营状态和广义可靠度等概念，并在此基础上提出了求单元及串联系统的生产能力、营运费用、应急维修费用、修理时间和广义可靠度等指标的方法，建立了使系统平均生产能力最大的系统最优运营策略的数学模型。
2.
the uncertainty of parameters should be fully reflected, the defect due to human errors should be well considered and the concept of generalized reliability should be introduced.
通过分析目前水工结构可靠度理论中的不足之处 ,提出了若干改进意见 ,即可靠度理论要全面体现参数的不确定性、要充分考虑人误影响 ,要引进广义可靠度的概念
补充资料：操作语义
操作语义
operational semantics
式求值的抽象机器的模型，这个机器的存储区分成三部分:栈区st(用作工作区)，环境区:(保存数据向量等)，控制区。(保存程序)。整个存储区记作(、t，:，。)，称为抽象机器的一个大状态。这个抽象机器具有识别符号、完成算术和逻辑运算、转储信息、实现大状态之间的转移等基本功能。 这个机器的大状态转移规则分为四类: (l)(st，s，(el叩eZ)/c)”(st，s，。;/。2/甲/。) (2)(st，:，碑/‘)冷(n/:t，:，。) (3)(st，s，x、/e)”(x、/sr，s，e) (4)(n/m/st，s，叩/e)=>(k/st，s，c)(k=m opn) 第一类规则表示，当控制区中待执行的程序要求完成表达式(。1叩eZ)的求值时，抽象机就转移自己的大状态，准备先求子表达式。l和e2的值，然后再按照相应的运算叩(+，一，X或其它算子)，求出整个表达式的值，符号“/”用于分割存放的信息。第二类规则表示，当求值的表达式是一个常量时，则其值就是抽象机中表示这个常量的相应的量(粗体用来区别语言中的符号和在抽象机中的相应表示)，表达式的值暂存于栈区。第三类规则表示，当表达式是一个变量时，其值就是环境区中相应单元的当前值，即第i个变量x‘的值就是数据向量s的第i个分量:、的值。第四类规则表示，当运算叩的两个操作数已经求得，则可按照抽象机中的相应运算求出op作用于操作数的结果。 在这个抽象机中，表达式(x:X xZ)+l(在xl，xZ值为2和3时)的求值是由下述大状态的转移序列完成的，转移符号冷的上方标有实现这一转移依 0、，产、，声据的转移规则号，设:=(2，3，s((x;XxZ)+i)/。(s(1)冷(:t，、(x;XxZ)/1/+/。)岑(、‘，:，(二，/二2)又1/+/。)里(2/st，、，二2/又1/+/。)缪(3/2/st，:，x/1/、/。)军(6/、‘，、，l/+/。)里(l/6/::，:，+，/。) (4) 冷(7/:t，s，e) 这个抽象机正确刻画出算术表达式求值的全过程，故可作为算术表达式的操作语义。 为定义赋值语句(x‘:二e)的操作语义，可在上述抽象机中添加如下转移规则: (5)(st，s，(x、:=e);/c)今(:t，s，e/x*:=/。) (6)(n/:t，:，吞:=/。)=>(st，:}in，。) 第五类规则表示，当抽象机执行(x‘:=。)时，先求出表达式仑的值，然后再给x*赋值。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条