基于 Spin/Promela 的 Woo-Lam 协议安全性质高效验证磁

形式化方法是分析验证安全协议的重要技术之一。模型检测是用在形式化方法中实现形式化自动验证的重要手段。基于 Promela 语言,将 P ．Maggi 和 R ．Sisto 提出的建模方法扩展到建立包含三个合法主体和一个攻击者的复杂模型,枚举法和打表法同时被运用在求解攻击者模型需要表示的知识项过程中,提高了协议建模效率,保证了建模准确性。以Woo-Lam 协议为例,运用 Spin 工具成功发现一个已知著名攻击。此通用方法适用于类似复杂协议形式化分析与验证。     

计算机信息化在电力企业中的应用研究

十八大报告部署提出了2020年要大幅提升信息化、工业化,这是我国第一次将信息化列入到国家发展目标,充分体现了国家对信息化工作的高度重视。信息化将成为我国转变经济增长方式、提升国家竞争力的重要手段。随着城镇化和工业化的快速发展,电力市场也呈现出了高速发展状态。电力企业规模、管理级别不断扩展和提升,计算机信息化程度在电力企业中的应用越来越受到重视。该文首先介绍了传统电力企业信息化存在的问题,其次针对电力企业信息化的实际需要,介绍了各项信息化管理的应用,通过信息化系统管理各项工作流程,产生的各项待处理事务,通过短信及时将待处理业务信息发送给待办人员,将日常管理与现代计算机技术有机结合,提升了电力企业管理效率和整体集成管理控制水平。     

注塑参数对聚碳酸酯成型收缩率的影响研究

研究了注塑参数对聚碳酸酯(PC)成型收缩率的影响，从理论上探讨了注塑参数—制品结构—收缩率之间的关系。试验结果表明，对PC成型收缩率影响最大的注塑参数是料温，其次是模具温度、注塑压力和注射速率，而保压时间、冷却时间、预塑速率在实验范围内对PC成型收缩率影响较小。     

地高辛标记HBV DNA探针的应用

按随机引物法以地高辛标记HBV DNA探针,与按缺口翻译法以~(32)P标记的探针进行了比较。这两种探针与乙肝血源疫苗及患者血清标本中HBV DNA进行杂交,结果两种探针均可要出1pg同源序列DNA,而地高辛标记的探针,在0.1Pg水平仍可呈现弱着色反应。该探针在一20℃储存6个月,其敏感性不减弱。这种探针在常规诊断实验室更易推广使用。     

浅析混凝土收缩裂缝的产生机理及预防

本文简要分析了混凝土出现收缩裂缝的原因，从混凝土的构成方面提出了预防混凝土收缩裂缝的一些具体措施。     

新型磷系阻燃剂的制备及应用性能研究

以亚磷酸二甲酯、丙烯酰胺、环氧氯丙烷为原料合成了一种新型无甲醛耐久阻燃整理剂，并应用于粘胶纤维。重点研究了阻燃整理时的接枝反应原理，接枝反应对纤维纤度的影响及纤维晶区的变化，系统地探讨了影响纤维力学性能的各种因素。同时还探讨了纤维的热稳定性能及氧指数变化。     

利用波形分析技术预测塔河油田碳酸盐岩储层

针对塔河油田盐体覆盖区下奥陶统碳酸盐岩埋深大,储层非均质性强的特征,利用地震波形变化特征半定量识别和预测优质储层分布。波形分析法是根据碳酸盐岩储层裂缝和孔洞结构特有的非均质性,建立地质模型,结合地震波形分析和反射机理研究,确定储层与地震响应之间的对应关系,根据建立的碳酸盐储集层地震识别模式,进而对未知区域作储层预测。     

各向异性多层砂岩油藏矢量化井网研究

基于同一层系内部不同方向性的纵向多层组合,将数值模拟技术与矢量化井网概念相结合,研究不同渗透率方向性组合下同一层系的五点法和反七点法的部署模式。结果表明,适当的井网方向性能够改善此类开发层系的注水开发效果。     

基于粒子群优化灰色模型的电力系统负荷预测

在分析灰色GM(1,1)模型局限性的基础上,应用粒子群优化算法的非线性全局寻优能力来求解灰色模型参数值,提出了基于粒子群优化算法的灰色模型,并给出了负荷预测的实例.预测结果表明基于粒子群优化算法的灰色模型具有较高的预测精度和较广泛的应用范围.     

基于BP网络的指纹识别系统

针对指纹数据库规模不断增大的情况,为了提高指纹识别的速度和准确度,采用BP神经网络先对指纹进行分类,把指纹分成左环、右环、拱、涡、棚状拱和不辨型6种类型,然后在相应的子类库中根据特征提取进行识别。设计并实现了一个指纹识别系统,该系统能够自动地进行指纹分类,而且还能实时地将结果与指纹数据库进行比对。实验结果表明,该系统能迅速地获得被识别人员的身份信息。