基于GM（1，1）模型的混凝土碳化寿命预测

碳化是影响混凝土结构耐久性的一个重要因素。利用灰色理论中GM（1,1）模型,以碳化深度为特征序列,进行老信息、新信息及新陈代谢3种不同模型模拟分析。选择相对平均误差最小的新陈代谢模型预测混凝土碳化寿命。分析表明,该模型原理简单实用,预测精度高,能够反映一般大气环境下混凝土碳化发展规律,可为实际工程混凝土结构耐久性分析提供有效方法。     

价值工程在水利工程施工环境影响评价中的应用研究

水利工程是以防洪、发电、灌溉、供水等为目标的除害兴利的综合性工程,具有显著的经济社会效益和环境效益,但是水利水电工程施工工期长,工程量大,人员多且集中,大型施工机械设备众多,工区面积大,难免对区域原有的自然和生态平衡产生一定的影响。因此,切实加强水利工程施工环境影响评价,对选择合适的施工方案和制定针对     

试论基层企业勘测档案管理的新模式

笔者结合自己档案管理工作的经验,阐述了传统勘测档案管理的缺点和现代勘测档案管理特点和优势,对实施现代勘测档案的管理方式进行了较细致的论述。     

基于最大F距离码的McEliece公钥密码体制

基于F度量,构造了最大F距离码,提出了基于最大F距离码的新McEliece公钥密码系统。合法接收者通过引入一个随机矩阵X作为附加私钥,并把X加入到原始公钥中,从而产生了一个新的公钥,使该密码系统能够有效抗击敌手通过已知的公钥获得私钥的攻击。同时F度量的引入,提高了攻击密钥体积较小的公钥密码系统的复杂度和难度。通过对现有可行攻击方法的分析,说明了基于最大F距离码的新McEliece公钥密码系统是安全可行的。     

一种基于环境约束的异常程序行为模型

在控制流模型中加入影响程序运行的环境因素,结合静态分析方法的优点,建立了程序异常行为分析模型,用以标记函数调用指令,并在动态运行时进行返回值一致性约束,从而解决了一般方法回避函数指针导致的间接调用问题。同时根据程序的局部运行原理,将分析范围限定在函数范围内。实验结果表明模型具有较好的精确性和较低的性能影响。     

双以太环形网络技术研究

本文系统地阐述了双以太环形网络技术,对其核心进行了分析,可作为设备接入双以太环形网络的应用参考.     

一种改进的数据求精证明规则

提出一种改进的数据求精规则,并用关系模式进行描述。引入全局状态来描述程序所有可能的输入和输出,允许非平凡的初始化,允许前向模拟和后向模拟,能应用于消除具体模型的不确定性晚于消除抽象模型的不确定性的情况。并用实例说明了在Isabelle定理证明器中规则的应用方法。     

基于MVC模式的医疗设备信息管理系统的设计与开发

医疗设备信息化管理是提升医院管理水平的重要手段。随着医疗设备的增多,设备管理信息化成为医院信息化的一个新环节。为提高医疗设备管理的现代化、科学化和规范化水平,提出了医疗设备信息管理系统的设计和开发方案.较为详细地分析了基于MVC模式的医疗设备信息管理系统的设计意义、系统构架、系统分析、功能模块。在一年的应用当中,系统提供了准确、及时的设备管理信息,提高了医院医疗设备的管理水平。     

Ad hoc网络PI队列管理鲁棒性分析

鲁棒性是Adhoc网络主动队列管理PI算法的基础.目前的AQM的PI设计、优化大多基于经验和试凑,缺乏鲁棒性的理论分析.针对Adhoc网络的多跳时滞特点,根据鲁棒控制理论,分析了PI算法在时延无线网络中的鲁棒性,推导了PI控制器确定时链路容量、TCP连接数量和时延之间的关系,给出了PI控制参数确定下时延RO的变化范围.通过Matlab和NS2仿真,验证了不确定参数鲁棒稳定的范围.     

RSA公钥密码体制中安全大素数的生成

RSA算法是基于数论的公钥密码体制,是公钥密码体制中最优秀的加密算法。由于RSA算法中大素数的生成对RSA加密算法的安全性有直接的影响,其寻找大素数的实现难度大,运算时间长。文中在研究了密钥生成的一般算法的基础上．即确定性素数产生和概率性素数产生方法．给出了利用Montgomery算法优化的Miller-Rabin算法和Pocldington定理算法实现．构造了大素数的生成算法,以提高RSA算法的安全性和运行速度。