一种基于Rough集理论的多属性综合评价方法

目前诸多的综合测评方法在权重设置等方面的局限性制约了人们对评价对象的科学认识,本文根据Rough 集理论,提出了基于Rough 集的综合评价方法,旨在消除权重设置的主观性,实现完全数据驱动,不需要人为设置权重.通过大学生综合测评实例,验证该方法的实用性、可行性.     

C2P:基于Pi演算的协议C代码形式化抽象方法和工具

形式化方法为安全协议分析提供了理论工具,但经过形式化验证过的协议标准在转换为具体程序实现时,可能无法满足相应的安全属性.为此,提出了一种检测安全协议代码语义逻辑错误的形式化验证方法.通过将协议C源码自动化抽象为Pi演算模型,基于Pi演算模型对协议安全属性形式化验证.最后给出了方案转换的正确性证明,并通过对Kerbero...     

含硫天然气井口橇装LNG装置胺液发泡分析

通过对潼深4井胺液的发泡现象进行分析,分别对新胺液(未使用的胺液)、旧胺液(贫液泵进口的贫液)、压裂液残留物进行发泡试验。得出贫液中的固体颗粒、贫液中的油污、压裂液残留物是造成胺液发泡的原因。提出胺液发泡应对措施和建议。     

大学生增加就业机会的三要素

就业乃民生之本,大学生就业不仅关系着我国从人口大国向人力资源强国转变的历史进程,也关系着家庭和社会的稳定.而大学生实现就业的三个基本条件是信心、技能和信息.信心和技能是内在要求,信息则是外在条件.     

方家山核电厂发电机励磁方案的选择

介绍了方家山核电厂发电机的概况和目前发电机励磁方案的种类,阐述了各种方案的优缺点和使用情况。通过对无刷励磁与自并励静止励磁的比较以及这两种励磁方式目前在国内的应用情况的调研,说明了方家山核电厂励磁方案的选择过程和最终结果。     

福州地区输电线路雷害及其综合治理浅谈

通过对福州电业局所辖输电线路近10年雷害情况的统计、分析、总结,提出了尽量经济合理降低杆塔冲击接地电阻;采用线路避雷器降低跳闸率且进行理论与数值分析;探讨山区输电线路减小保护角对降低跳闸率的影响;采用新式小电流避雷针新技术进行经济技术比较,研究实施方案等一套输电线路雷害治理的有效方法。     

脑电图中央监护系统设计

介绍一个脑电图中央监护的流程以及整个系统的软件设计,该系统由中央监护站和脑电监护仪联网组成.脑电监护仪用于记录、显示脑电图和病人状态信息,中央监护站通过多用户USB接口与医院内床边脑电监护仪联网.该系统实现了脑电图的长程监护、多床位集中监护,对于阵发性异常脑电图的"捕获"带来很大的方便,拓展了传统脑电图的应用范围,可大大提高医生的工作效率,有利于临床诊治水平的提高.     

基于邻域运动一致性的运动矢量快速构建算法

在时移电视应用中,视频快进播放要求视频服务器能够通过跳帧抽取视频序列中的I帧和P帧的方式输出快速播放码流,当所跳帧中含有P帧时,必需对抽取出来的快进码流中的P帧进行重编码.为提高抽取后重编码效率,可利用码流中的原始运动矢量对跳帧后新参考帧条件下的运动矢量进行预测.在FDVS和ADVS算法基础上,提出了一种基于宏块及其相邻宏块运动一致性的算法来修正原始运动矢量,并通过实验将其与现有的FDVS和ADVS算法进行比较.     

UEFI Bootkit模型与分析

分析了UEFI Bootkit的工作原理和关键技术;在Harold木马模型的基础上,给出了UEFI Bootkit的形式化描述;分析了UEFI Bootkit和木马在隐蔽技术方面的差异,建立了UEFI Bootkit协同隐藏的形式化模型;给出了模型的一个应用实例,理论证明了在操作系统内核启动前检测Bootkit比在操作系统启动完成后检测具有更好的效果;开发了一套在操作系统内核加载前就开始检测的UEFI Bootkit检测系统;使用检测系统进行了实际的测试,结果表明,UEFI Bootkit检测系统具有较好的检测效果,有效地验证了模型的准确性。     

主动磁轴承数据采集系统的设计与应用

分析了高速主动磁轴承系统对数据采集系统的基本需求，讨论了基于Windows平台的利用虚拟设备驱动程序捕捉实时硬件中断的技术在高速数据采集方面的应用，具体内容包括：介绍了系统的硬件结构，并利用调用动态链接库的方法编写了相应的数据采集程序。最后通过对AMB的实际测试结果，验证了该系统的可靠性和有效性。