高校女生体育课“锈锁”现象探析

依据客观事实并结合笔者的教学体会，通过查阅文献资料，对高校女生体育课“锈锁”现象的成因和对策进行了初步探讨。     

强模态归结

研究了命题模态逻辑Ｋ,Ｋ４,Ｄ,Ｄ４,Ｔ,Ｓ４的“”型模态逻辑结果的自动推理．提出了证明“”型模态逻辑结果的归结推理方法─—强模态归结．证明了强模态归结的可靠性与完备性．     

一种基于语法扩展的自动互斥锁实现机制

针对多道程序开发过程中存在的互斥锁标准不统一、使用复杂、易造成死锁等不足,提出扩展C/C++标准语法,增加临界资源定义及操作关键字的方案,通过隐藏互斥锁的概念及实现从而降低开发复杂度、实现平台无关.在扩展语法基础上,提出采用分支栈检查算法在代码进行临界资源访问顺序合法化及配对完整性检查,可有效地减少死锁隐患、增强系统的可靠性.     

C/S模式下跨平台文件共享管理的设计与实现

传统方式下在保证跨平台共享文件的访问安全性采用的是文件加锁机制。但锁机制在多客户和第三方软件并发访问共享文件时的安全性以及文件访问权限调度方面有很大的局限性。本文讨论了一种跨平台文件共享管理系统的实现机制。该系统能够保证多个客户进程与第三方软件进程安全、有效地使用服务器上的共享文件,并为客户进程提供通知机制以实现文件访问权限调度。     

锁骨钩钢板治疗Ⅲ型新鲜肩锁关节脱位21例

肩锁关节脱位多由直接损伤造成,治疗方法很多。我院自2002年8月～2005年10月对21例完全陛肩锁关节脱位患者应用AO锁骨钩钢板内固定治疗,疗效满意,报告如下。     

正色散掺铒光纤激光器耗散孤子共振脉冲特性研究

报道了一种工作在正色散区的耗散孤子共振脉冲锁模光纤激光器.详细研究了泵浦功率及偏振控制器状态对输出脉冲特性的影响.耗散孤子共振脉冲中心波长1 575nm,光谱宽度约6.66nm.当泵浦功率从220mW升高到554mW时,脉冲宽度从0.78ns增加到3.16ns,脉冲能量变化范围为3.5nJ至16.9nJ.泵浦功率409mW时,改变偏振控制器状态,脉冲宽度在1.6ns至3.2ns范围之间变化.实验中还研究了获得的耗散孤子共振纳秒矩形脉冲的啁啾特性,脉冲经过25m单模光纤传输,脉冲宽度无明显变化,脉冲为非线性啁啾.     

微创钢板内固定与交锁髓内钉治疗尺骨骨折效果分析

目的探讨微创钢板内固定与交锁髓内钉治疗尺骨骨折效果.方法选取85例尺骨骨折患者,51例行微创钢板内固定术(微创组),34例行交锁髓内钉术(髓内钉组),比较两组手术效果、术后恢复情况及术后并发症发生率.术后3个月、末次随访时均采用Gartland-Werley腕关节评分系统、前臂旋转角度、握力评估腕关节功能.结果微创组手术时间、住院时间、骨折愈合时间均短于髓内钉组(P0.05);微创组术后3个月Gartland-Werley腕关节评分的优良率为74.51%,高于髓内钉组(50.0%),前臂旋转角度、握力均高于髓内钉组,差异具有统计学意义(P0.05),但末次随访比较差异无统计学意义(P0.05);微创组并发症发生率为5.88%,低于髓内钉组(23.53%),差异具有统计学意义(P0.05).结论与交锁髓内钉相比,微创钢板内固定治疗尺骨骨折可缩短手术时间及骨折愈合时间,短时间内可恢复腕关节功能,术后并发症发生率低.     

一种基于锁角环路的DOA估计定位跟踪

为了解决传统移动目标波达方向估计定位跟踪过程中,实时性差、精度低、计算复杂度高的问题,提出一种基于锁角环路的DOA估计定位跟踪算法.该算法采用锁角环路(DiLL)结构实现信号的波达方向(DOA)估计和定位,并实时随信号角度变化自动调整方向,以实现信号方位的跟踪.为了减小非线性和噪声对定位跟踪性能的影响,通过UKF滤波将估计目标信号的干扰消除,以提高信号方位定位跟踪的精度及系统的稳定性.仿真结果表明:该算法能够得到较高分辨率的DOA估计信号,能够对多个移动目标的方位进行有效定位跟踪,系统的精度、效率和稳定性也较高.