准妈妈应该掌握的16个产科专业词语(下)

八、前置胎盘若胎盘附着于子宫下段,甚至胎盘下缘达到或覆盖子宫颈内口处,其位置低于胎儿先露部位,称为前置胎盘。前置胎盘可分为四种:完全性前置胎盘胎盘完全盖住子宫颈内口。部分性前置胎盘胎盘盖住部分子宫颈内口。边缘性前置胎盘胎盘     

身体权基本范畴研究

对于“身体”的概念，人们通常从语言学、生物学、社会学等维度予以阐释。法律意义上的身体则指自然人的生理组织的物质整体。身体在法律意义上具备“物质基础性”、“完整性与完全性”以及“不可替代性与不可再生性”等特征。身体权则是指自然人维护其身体的完整性与完全性、自由支配其肢体、器官及其他生理组织的人身权利。身体权不隶属于所有权、生命健康权或人格权，是一项独立的民事权利，并与人格权、身份权并列且共同构成完整意义上的人身权制度。规制侵害身体权的行为，应坚持“财产损失全额赔偿”、“精神损害惩罚性赔偿”的双重赔偿原则。     

特征不为2的可线性化域上一类矩阵群的完全性

讨论了一类矩阵群的完全性,给出了特征不为2的可线性化域上的一类矩阵群的完全性的证明。     

关于一个特殊金融市场完全性的讨论

文章通过等价鞅测度的方法 ,讨论一个无磨擦、连续交易的证券市场随机模型的完全性 ,提供了可达未定权益定价公式推导的方法     

经典逻辑的表列方法

表列(tableau)方法是一种形式证明的方法,具有良好的通用性,适用于经典逻辑和非经典逻辑的许多系统。表列方法对于各种逻辑系统的元理论的研究,也是一种有力工具。     

知识蕴涵逻辑系统

使用经典逻辑对海量知识系统进行分析处理和信息挖掘需要解决的关键问题之一就是司各脱法则问题.司各脱定理表明,矛盾蕴涵一切,如果一个知识系统包含着相互矛盾的信息,那么任何命题都将成为这个系统的推论.基于对蕴涵的一般认识,可以对司各脱法则问题提出一种不同于已有逻辑系统的解决策略.在根据这种策略而建立的知识蕴涵逻辑系统D中,(1)蕴涵关系符合直觉:(2)经典逻辑中基本的逻辑规律在该系统中得以保留:(3)不改变经典否定、合取的性质:(4)司各脱法则不成立.本文在给出严格形式语义的基础上,证明了该系统具有可靠性、协调性、完全性和可判定性.知识蕴涵逻辑系统D可以提供一个分析、处理海量知识系统的逻辑工具.利用公理B→(A→(A→B)),可以将知识系统中真知识归为一类,利用公理￢B→(￢A→(A→B)),可以将知识系统中的假知识归为一类,利用公理B→(￢A→(A→B))(其中A和B相关)可以将相互矛盾知识中的相关真知识演绎出来.     

高校校办企业会计核算的完全性探讨

在高校后勤社会化改革的背景下,结合《会计法》、《企业会计制度》的出台,对高校校办企业会计核算的完全性进行了积极的探讨,以便使其逐渐规范和完整。     

关于厄米算符本征函数系的完全性

波函数按力学量算符的本征函数系展开是量子力学的基本问题之一。它要求表示力学量的算符线性、厄米性，且全连续。本文证明了异于零的全连续的线性厄米算符有正交的完全的本征函数系，并就正交函数系的封闭性、完全性及展开的唯一性进行了讨论。     

以目的与背景知识为双条件的逻辑AKC

首先，我们构造以目的和背景知识为双条件的条件句系统AKC，给出它的一些证明论结果。其次，我们引入有序邻域语义，给出描述AKC的特征公理和推理规则的框架条件，证明AKC相对这些框架条件是框架可靠的。最后，我们证明AKC相对这些框架条件也是框架完全的。