中心语驱动短语结构语法的形式化研究

简要评述了中心语驱动短语结构语法所采用的语言理论形式化方法。中心语驱动短语结构语法的形式化模型包含两个层面 :一个层面采用模块化的 ,陈叙性的 ,基于归一的语言理论对语言现象和规律进行形式化描写 ;另一个层面则以类型化的特征结构为基础 ,对描写语言现象的语言原理论本身进行形式化。而对模型后一层面的理解 ,是深入了解该语法的运行机制以及正确有效地在计算机上实现该语法的基础。

无线传感器网络的一种双簇头设计的拓扑控制算法

文章提出了一种双簇头设计的方法,它在同一个簇中选择两个簇头:一个为正式簇头,负责收集和融合簇内的数据;另一个为辅助簇头,负责路由簇间的数据。仿真结果证明,该方法在不增加算法复杂性的基础上,有效的实现了网络的负载均衡,延长了网络的生存时间。

基于STPA-Bayes模型的机载平视显示系统安全性分析与评价

机载平视显示(head-up display,HUD)系统可以大幅提高恶劣天气下的飞机起降成功率,已成为我国民航重点推广的安全提升技术。构建低能见度下飞机使用HUD系统进行特殊Ⅰ/Ⅱ进近场景,利用系统理论过程分析(system-theoretic process analysis,STPA)方法识别该场景下潜在的不安全控制行为,通过严格的形式化语言对其进行验证与致因分析,并给出了包含21条通用因素的致因场景分析框架。同时,为弥补STPA方法缺少定量分析的缺点,引入贝叶斯网络计算不安全控制行为发生概率,提出了STPA-Bayes安全性分析与评价模型。结果表明,该方法能有效地识别并分析系统潜在的危险,减少人为因素对分析结果的影响,为机载显示系统的安全性分析提供支持。

人工关节置换术治疗骨质疏松性不稳定股骨粗隆间骨折临床观察

目的:探讨人工关节置换术治疗骨质疏松性不稳定股骨粗隆间骨折(FIF)临床效果。方法:选择2015年2月~2018年4月就诊于我院的82例骨质疏松性FIF患者,随机分为对照组和研究组,各41例。对照组行股骨近端髓内钉术(PFNA),研究组行人工关节置换术(FHR),对比两组围术期相关指标、髋关节功能、术后并发症发生情况。结果:两组术中失血量、手术用时对比,差异无统计学意义(P>0.05);研究组住院时间短于对照组,差异有统计学意义(P<0.05);研究组髋关节功能恢复优良率高于对照组,并发症发生率低于对照组,差异有统计学意义(P<0.05)。结论:FHR治疗骨质疏松性FIF患者可有效缩短住院时间,促进髋关节功能恢复,减少术后并发症的发生。

基于概率模型检验的民机平视显示系统建模与安全性分析

民机平视显示系统(HUD)作为安全关键系统,由于其高度复杂且与其他机载系统结合使用,使得传统系统安全性评估方法难以满足定量安全性分析需求。因此,需要开发基于形式化模型的安全性评估(MBSA)方法,在明确概率模型检验原理及系统高层建模规范基础上,研究平显系统概率模型分层建模方法,建立平显系统概率模型,并描述系统定量安全性属性,展开自动概率模型检验,得出定量安全性分析结论,提高安全性分析效率与运算结果精确度。

火柴头药胶粘剂的研究

本文报道了火柴头药用水溶性聚乙烯酸缩甲醛（PVF）胶粘剂，研究了PVF缩甲醛度、添加剂重铬酸钾、酒精、及其干燥条件对火柴头药的影响。

中药治疗股骨头缺血性坏死临床疗效的Meta分析

目的应用循证医学原理系统评价中医药治疗股骨头缺血性坏死的疗效和安全性。方法检索1994-2010年中国全文期刊数据库、维普期刊数据库和万方数据库已发表的中医药治疗股骨头缺血性坏死临床试验的相关文献，采用Revman4．2软件进行统计分析。结果共有11个随机对照试验1490例患者满足纳入条件，与对照组相比中药治疗股骨头缺血性坏死的有效率合并检验分析结果为：Z=2．89，P〈0．05，合并后的RR值为2．00，95％的可信区间为（1．25，3．19）；所有试验均未报道有明显不良反应。结论中药治疗股骨头缺血性坏死具有较好的疗效和安全性。

汉语名-名组合的形式语义探析

不论是在人类智能领域还是人工智能领域,名词都起着非常重要的认知作用。名词与名词的组合(简称“名-名组合”)在心理学、语言学、认知科学、逻辑学等领域备受关注。而如何选用恰当的工具刻画名-名组合,对揭示名词的句法和语义功能起着至关重要的作用。以集合论为工具,以最直观的方式刻画不同类型的名-名组合的本质特征,进而明确不同语境下名词的形式语义,这有助于机器正确理解和分析不同文本中名词的准确涵义。