完全性

摘要： 模型是研究正规命题模态系统的一个重要工具,系统的可靠性与完全性证明都离不开模型。系统MV的可靠性证明,就是证明它的定理在“所有可能世界要么自身是死点,要么至少可及一个死点的所有模型中”都有效。关于MV的完全性证明,借助了典范模型的方法,典范模型是证明系统完全性的一个十分有效的手段。任何正规系统相对于它的典范模型都是完全的,在MV的典范模型中的所有可能世界要么自身是一个死点,要么至少可及一个死点,由此可得MV相对于所有可能世界要么自身是一个死点,要么至少可及一个死点的模型类是完全的。

摘要： 模型是研究正规命题模态系统的一个重要工具,系统的可靠性与完全性证明都离不开模型。系统MV的可靠性证明,就是证明它的定理在“所有可能世界要么自身是死点,要么至少可及一个死点的所有模型中”都有效。关于MV的完全性证明,借助了典范模型的方法,典范模型是证明系统完全性的一个十分有效的手段。任何正规系统相对于它的典范模型都是完全的,在MV的典范模型中的所有可能世界要么自身是一个死点,要么至少可及一个死点,由此可得MV相对于所有可能世界要么自身是一个死点,要么至少可及一个死点的模型类是完全的。

摘要： 目的探讨超声对妊娠期不同类型子宫破裂的临床诊断价值。方法选取我院产科经手术确诊的子宫破裂患者35例,其中完全性子宫破裂患者16例,不完全性子宫破裂患者19例,比较孕周及发生部位、超声图像特征,分析超声对不同类型子宫破裂的诊断情况。结果子宫破裂均以孕晚期多见(26/35);完全性子宫破裂发生部位比较差异无统计学意义;不完全性子宫破裂以剖宫产瘢痕处多发(89.5%,17/19)。超声对完全性子宫破裂的诊断准确率(81.3%,13/16)明显高于不完全性子宫破裂(31.6%,6/19),差异有统计学意义(P<0.05);其中超声诊断剖宫产瘢痕处完全性子宫破裂的诊断准确率为100%(6/6),而剖宫产瘢痕处不完全性子宫破裂的诊断准确率仅为29.4%(5/17)。超声对孕晚期不完全性子宫破裂的诊断准确率仅23.5%,均较其他孕周低,差异有统计学意义(P<0.05)。结论超声对完全性子宫破裂的诊断价值优于不完全性子宫破裂,尤其对于孕晚期及剖宫产瘢痕处不完全性子宫破裂的诊断价值较低。

摘要： 通过引入取值集合,将Kripke框架推广为多值框架。本文假设取值集Q为逆良序的集合,与之对应的模态语言在Q上的多值框架中得到解释。本文证明了某些Q-框架类的Goldblatt-Thomason定理。本文还引入了正规Q-模态逻辑,并证明了其完全性与Makinson定理。

摘要： 先天性肺气道畸形(congenital pulmonary airway malformation, CPAM)在儿童肺部畸形疾病中发病率较低,占出生活胎的1/72 000~1/35 000,随着产检超声等筛查手段的提高呈现增加态势^([1,2])。先天性心包缺如是一种非常罕见的心脏疾病,大多数是在其他手术及尸检中偶然发现。CPAM合并先天性心包缺如更为罕见,婴儿病例更是鲜有报告。

摘要： 1.忘事经提示想不起。人老健忘一般是部分性的,经提示能回想起来;而阿尔兹海默症的近事记忆障碍是完全性的,经过提示也想不起来,好像没有发生过。2.对记忆下降不着急。健忘老人对记忆力不好常表现为十分着急;而阿尔兹海默症患者没有意识到记忆力下降。3.冷漠无语毫无情绪。健忘老人会保持喜怒哀乐情绪;而阿尔兹海默症患者常变得冷漠无语,缺乏基本情绪表现。

摘要： 计量经济学模型从广义层面而言并非只是进行检验、无法发现问题,而是可以进行科学化发现的整体研究,通过模型设定的形式、检验的形式等将演绎与归纳相互整合,构建成为较为完整并且具备辩证性特点的模式,从方法论层面而言计量经济学并非属于完全的证伪主义、也并非属于完全性的实证主义,而是两者之间相互之间的结合体,主要的思想和技术路线是从复杂到简单的过程,合理进行数据质量的控制并保证数据检验和技术处理效果是保证模型应用的前提基础。

摘要： 通过比较第一数学归纳法和第二数学归纳法,阐述它们的异同.先将第一数学归纳法的基础步骤中的情形扩展为两种的情形,用这种方法给出命题逻辑中联结词完全性的证明.再用第二数学归纳法给出命题逻辑中联结词完全性的证明.

摘要： 通过比较第一数学归纳法和第二数学归纳法,阐述它们的异同。先将第一数学归纳法的基础步骤中的情形扩展为两种的情形,用这种方法给出命题逻辑中联结词完全性的证明。再用第二数学归纳法给出命题逻辑中联结词完全性的证明。

摘要： 本发明公开了一种基于离散性、交叉性、非完全性的特性字符串匹配方法，其步骤为：A、用户在用户界面中设置或由信息处理设备自动设置离散数、交叉数、非完全数，输入检索词；B、信息处理设备根据用户输入的检索词，对指定的一个文本，以A步设置的离散数、交叉数、非完全数作为匹配约束条件，进行基于该三种特性的字符串匹配运算，输出精确检索、离散检索、交叉检索、交叉离散检索、非完全检索、离散非完全检索、交叉非完全检索、离散交叉非完全检索共八种检索方式中的一种方式的匹配结果。该种方法提供了八种信息检索方式且操作简单、灵活、方便，可进行定性、定量检索，检索功能强，应用领域广。

摘要： 提供了用于选择性地或完全性地对提交给数据库系统的数据库命令的文本进行改写的技术。数据库服务器正常接收命令的明文版本、解析命令并生成执行计划。然而，在向外部可见的任何位置提供命令的文本之前，数据库服务器确定该命令是否符合“敏感”资格。如果该命令符合敏感资格，则生成该命令的改写版本。在选择性改写的情况下，改写版本的部分保留为明文，而选定的部分被替换为加密文本。在完全性改写的情况下，整个命令被替换为加密文本。

摘要： 本发明提供了一种不完全性偏瘫患者专用康复训练设备，解决了康复训练器材结构简单的技术问题。该设备包括架体、腕部训练组件和上臂训练组件，架体的上端设置有装配部，装配部内形成有安装腔，安装腔的轴向两端为敞口端，腕部训练组件或上臂训练组件由敞口端沿轴向插入安装腔内时，均能与装配部可拆卸连接；上臂训练组件均包括第一基座、摇杆和固定于摇杆上的第一手柄，摇杆与第一基座转动连接，且摇杆的长度可调节的设置，进而调节上臂的运动半径。本发明可以满足患者腕关节、肩关节、肘关节的训练需求，功能多样化；使用者可以根据自身实际情况调节摇杆的长度，从而调节肩关节、肘关节最适宜圆周运动半径，更大范围的活动肩、肘关节。

摘要： 本发明公开了一种基于离散性、交叉性、非完全性的特性字符串匹配方法，其步骤为：A.用户在用户界面中设置或由信息处理设备自动设置离散数、交叉数、非完全数，输入检索词；B.信息处理设备根据用户输入的检索词，对指定的一个文本，以A步设置的离散数、交叉数、非完全数作为匹配约束条件，进行基于该三种特性的字符串匹配运算，输出精确检索、离散检索、交叉检索、交叉离散检索、非完全检索、离散非完全检索、交叉非完全检索、离散交叉非完全检索共八种检索方式中的一种方式的匹配结果。该种方法提供了八种信息检索方式且操作简单、灵活、方便，可进行定性、定量检索，检索功能强，应用领域广。

摘要： 本发明公开了一种基于离散性、交叉性、非完全性的字符串模式匹配方法，其步骤为：A.用户在用户界面中设置离散数、交叉数、非完全数，输入检索词；B.信息处理设备根据用户输入的检索词，对指定的一个文本，以A步设置的离散数、交叉数、非完全数作为匹配约束条件，进行基于该三种特性的字符串匹配运算，输出精确检索、离散检索、交叉检索、交叉离散检索、非完全检索、离散非完全检索、交叉非完全检索、离散交叉非完全检索共八种检索方式中的一种方式的匹配结果。该种方法提供了多种信息检索方式且操作简单、灵活、方便，可进行定性、定量检索，检索功能强大。

摘要： 提供了用于选择性地或完全性地对提交给数据库系统的数据库命令的文本进行改写的技术。数据库服务器正常接收命令的明文版本、解析命令并生成执行计划。然而，在向外部可见的任何位置提供命令的文本之前，数据库服务器确定该命令是否符合“敏感”资格。如果该命令符合敏感资格，则生成该命令的改写版本。在选择性改写的情况下，改写版本的部分保留为明文，而选定的部分被替换为加密文本。在完全性改写的情况下，整个命令被替换为加密文本。

摘要： 本发明公开了一种含铝炸药爆炸铝粉反应完全性评价方法，用于表征爆炸过程中不同类型含铝炸药铝粉反应完全性。本发明利用一种由固体产物收集系统、起爆系统、排水系统、密封门和排气系统构成的铝粉反应完全性评价装置，收集并分析含铝炸药爆炸后固体产物，计算获得铝粉反应完全性程度，精确定量的评价含铝炸药爆炸铝粉反应完全性，该方法适用于不同炸药体系，不同铝粉含量，不同铝粉粒径等各类含铝炸药爆炸铝粉反应完全性的定量评价，具有简单，准确，直接等特点。

摘要： 本发明涉及一种具有数据传输系统(1)的医疗设备，所述数据传输系统(1)具有：发射器设备(2)，所述发射器设备(2)被设计来发送数据流(3)；至少一个接收器设备(4)，所述接收器设备(4)被设计来接收所述数据流(3)；以及至少一个传输设备(5)，所述至少一个传输设备(5)被设计来将所述数据流(3)从所述发射器设备(2)传输到所述接收器设备(4)，发射器设备(2)意图并且被设计来将所述数据流(3)拆分成具有预定格式的单独数据分组(6)，并且所述接收器设备(4)设计有完全性检查机制，所述完全性检查机制意图并且被设计来接收呈所述预定格式的所述单独数据分组(6)并且确保传输的所述数据流(3)的完整性。

摘要： 本发明提供了一种不完全性偏瘫患者专用康复训练设备，解决了康复训练器材结构简单的技术问题。该设备包括架体、腕部训练组件和上臂训练组件，架体的上端设置有装配部，装配部内形成有安装腔，安装腔的轴向两端为敞口端，腕部训练组件或上臂训练组件由敞口端沿轴向插入安装腔内时，均能与装配部可拆卸连接；上臂训练组件均包括第一基座、摇杆和固定于摇杆上的第一手柄，摇杆与第一基座转动连接，且摇杆的长度可调节的设置，进而调节上臂的运动半径。本发明可以满足患者腕关节、肩关节、肘关节的训练需求，功能多样化；使用者可以根据自身实际情况调节摇杆的长度，从而调节肩关节、肘关节最适宜圆周运动半径，更大范围的活动肩、肘关节。

摘要： 本实用新型公开了一种方便拼接的完全性高位脊髓损伤患者转移板，包括第一固定板、第二固定板、滑轨及滑动座，本实用新型通过设置拼接组件，能够对患者进行长距离或者短距离的转移，比较的方便；本实用新型通过设置滑动组件，能够让患者在转移时坐在滑动座上进行滑动，避免了患者在普通长板上滑动转移时易造成臀部皮肤擦伤的问题的发生，减少了患者在转移时皮肤擦伤的风险，对患者起到保护的作用；本实用新型通过设置第二防滑垫，能够增大患者与滑动座之间的摩擦力，防止患者在进行移动时从滑动座上滑落下去；本实用新型通过设置第一防滑垫，能够增大装置与轮椅或者床板之间的摩擦力，防止装置从轮椅或者床板上滑落，对患者起到的保护的作用，适用于广泛推广。