1) Proof Obligations
证明义务
1.
This paper presents the processes of hierarchical development and proof of method B,depicts its type checking and proof obligations from the construction of abstract machine to refinement and implementation in detail.
本文介绍了B方法的分层开发与证明过程,针对构造AM以及对他进行精化和实现过程中的类型检查、证明义务进行了重点分析,最后通过具体应用说明了B方法的证明技术在实践中的有效性。
2) proof obligation
证明义务
1.
This paper analyses the structure of B-method specification systematically,demonstrates the procedure of writing specification with B-method by an example,gives the proof obligation of specification simply,and at the same time refines the specification.
本文比较系统地分析了B方法规格说明的构造结构,并结合所设计的实例演示了用B方法编写规格说明的过程,简略地给出了其规格说明的证明义务,并对其规格说明进行了一次精化。
3) justificationism
证明主义
4) informed consent
说明义务
1.
As a basic medical-ethnics principle all over the world"informed consent"has its origin in common law .
作为医学领域的一个基本伦理原则,医师的说明义务起源于英美法系的"Informed Consent"理论。
2.
As a basic medical-ethnics principle all over the world,"Informed Consent" has its origin in common law.
作为医学领域的一个基本伦理原则,医师的说明义务起源于英美法系的"Inform ed Consent"理论,并且主要是在美国的判例中形成的。
5) illustration obligation
解明义务
1.
In order to resolve the dilemma, the distribution pattern that consisted of the burden translation and illustration obligation should be adopted.
医疗纠纷诉讼中证明责任分配是一个很有争议的问题,针对我国目前证明责任分配中存在的问题,提出了证明责任转换与医疗方的解明义务相结合的分配方法。
6) explanation obligation
说明义务
1.
Whether the insurer should implement explanation obligation is always a focus in insurance disputes due to the lack of relevant standards.
由于相关标准的缺失,保险人是否履行说明义务一直是保险纠纷中的争议焦点。
补充资料：不等式证明
不等式的证明，基本方法有
比较法：比较两个式子的大小，求差或求商。是最基本最常用的方法
综合法：用到了均值不等式的知识，一定要注意的是何时等号才成立。
分析法：当无法从条件入手时，就用分析法去思考，但还是要用综合法去证明。两个方法是密不可分的。
换元法：把不等式想象成三角函数，方便思考
反证法：假设不成立，但是不成立时又无法解出本题，于是成立
放缩法：
用柯西不等式证。等等……
高考不是重点，但是难点。
大学数学也会讲到柯西不等式。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条