摘要：目的 了解某综合性医院医务人员手卫生依从性现状,分析其影响因素,找出有利对策以提高执行率,减少交叉感染,确保医疗安全。方法 由统一培训的调查员,按照统一设计的调查表,对某综合性医院8个科室医务人员共计1501人（医生、护士、技师与保洁员）,每科随机抽取10~15人,进行医务人员某月洗手行为抽样调查,并对洗手正确性进行考核,将调查数据输入计算机进行统计分析,率的比较采用χ~2检验,检验水准α=0.05。结果 各类人员手卫生依从性平均为40.97%,其中护理人员依从性最高为45.97%,类别之间有差异性（P〈0.05）;科室人员手卫生依从性与正确率最高值分别为75.00%与66.67%,最低分别为30.56%与45.45%;手卫生时机各项操作前后有显著差异性（P〈0.05）。结论 医务人员手卫生依从性不高,要制定改进措施,加大医务人员相关知识培训与考核,增强预防医院感染思想意识,不断提高手卫生依从性。

摘要：在麦克尔焓差理论的基础上,结合效能-传热单元数法,建立了有利于空调水系统整体节能优化的逆流式冷却塔的简化换热器模型,并将它的模拟结果与某生产厂家冷却塔的样本实验数据进行了比较。结果表明:冷却塔的模拟结果与样本值吻合得很好,从而验证了该模型的正确性和可行性。该模型可以作为冷却塔的设计、选型和运行的参考依据。

摘要：为了保证起搏器程控与遥测数据的正确性,采用软件完成CRC校验。介绍了3种适合于微处理器应用的算法,并在PIC单片机上实现计算多字节信息码的CRC校验码的功能,比较了3种算法在运行时间、耗费系统资源等方面的不同之处。

摘要：在复合材料胶接修补中 ,补片的尺寸对胶接强度的影响非常关键。本文针对单面胶接修理结构建立了“三板模型” ,并且 ,通过试验来验证该有限元模型的正确性 ,然后 ,利用该模型来分析补片尺寸对胶接质量的影响。对计算结果的分析发现 :补片的直径为孔直径的 2～ 3倍 ,厚度为孔深的 4 5 %～ 6 0 %时 ,修补结构的强度恢复能达到最大值。

摘要：同步语言Lustre所描述的反应系统通常应用在航空航天、国防建设等领域,对系统的正确性和安全性都要求很高。如果系统在运行时出现了正确性问题,很可能会导致系统崩溃,产生非常严重的后果。系统中的任何一个词法错误或者语法错误都应该受到重视,而且应该被及时纠正。因此,对Lustre语言进行正确的编译是十分重要的。传统的Lustre语言的编译器都采用OCaml语言描述,无法保证所有人员都能够很容易地理解和使用,而且,需要耗费开发人员大量的时间和精力。基于上述问题,提出了一种新型的Lustre语言编译器。新型的Lustre语言编译器前端主要采用C++语言进行描述,并对生成的抽象语法树的结构进行重新定义,简化了编译的过程。该编译前端会对一个经典的Lustre语言模型进行检测,通过对检测的结果进行分析,验证了该编译前端的可行性。

摘要：地质灾害危险性评价是对地质灾害破坏效应和危险程度的综合评价,对防灾减灾具有重要意义。该文在此基础上系统地构建了地质灾害危险性综合区划框架,同时结合GIS的空间分析技术使结果图形化,以验证该方法的可操作性和正确性。

摘要：长期投资是企业主要的投资方式,在投资实施之前,必须运用科学的方法进行有效的分析判 断。本文比较分析了非折现的现金流量法和折现的现金流量法两类投资决策分析的运算过程,以及两种方法 的利弊,并介绍了投资决策敏感性分析的方法。在实际工作中,应该运用多种分析方法进行比较分析,才能保 证投资决策的正确性。

摘要：从导航电文中及时、准确地计算出电文参数,是导航接收机的核心功能,不同电文参数解算软件由于设计差异,解算电文参数质量也存在差异,电文数据质量也会影响电文参数结果;针对此问题,在传统数据质量模型的基础上,引入质量树分析方法,建立了评估导航电文质量的质量树模型;模型从电文完整性、电文一致性、电文正确性以及电文时效性等4个特性出发,每个质量特性均建立了专属子特性,以及量化子特性的数据指标;在此基础上,以GPS电文质量评估为例,开发了GPS电文质量评估软件,采用GPS接收机的实测数据对模型和软件进行了验证;结果表明,该软件能够发现GPS电文的异常数据,包括数据不完整、数据不一致、数据不正确、数据超时等,处理结果可用于改进电文参数解算算法,提高电文参数解算软件的可靠性。

摘要：南昌市似大地水准面精化建模项目是南昌市现代测绘基准体系建设的主要内容,它综合利用了包含空间定位、精密水准测量、精密重力测量等多种大地测量技术手段,将在技术理念、实现方式、服务领域等多个方面,促使现行测绘基准体系产生深刻变革。从南昌市似大地水准面精化模型成果的实际应用出发,对其进行了实测数据的处理分析及模型验证,结果表明,该模型完全能够在南昌市域范围内代替普通水准测量,极大地提高作业效率。

摘要：网上证券交易系统的成功实施是电子商务领域的重要应用之一。由于网上证券交易系统具有更好的实时性和安全性，当前绝大多数证券交易所，如纽约证券交易所、美国证券交易所、上海证券交易所等，均采用了电子证券交易。然而，网上证券交易系统的设计是一项相当复杂而繁重的任务，为确保系统在运行中的正确性和一致性，系统的活性、安全性、公平性等重要性质必须得到形式上的分析与验证。因此，形式化方法在软件系统设计、开发和运行中都起着十分重要的作用。