用图学造型方法开发新型填料

在化工填料的研究开发工作中，笔者运用图学造型设计方法，应用面材成成理论对化工填料结构形状进行了深入的分析研究，开发出多种断续波纹填料，并已在炼油和化工等域得到了广泛应用，经济效益显著。     

IRP/DSM对电力产业可持续发展的影响

IRP／DSM把电力供应侧和需求侧各种形式的资源都作为规划的整体内容来进行未来电力供需规划,是一种非常有效的资源经济规划方法。介绍IRP／DSM的发展以及有关国家的实施效果,提出了对目前我国实施IRP／DSM的建议。     

基于双种群入侵性杂草算法的服务型城市综合资源规划

针对服务型城市的产业特性及其相应的电力负荷特点,论述了加快建设以蓄冷蓄热技术为主的移峰填谷类能效电厂的必要性。为解决服务型城市峰谷差大的问题,引入调峰能力约束,建立了同时考虑供应侧传统机组与需求侧能效电厂,以规划期内综合成本最小为目标函数的综合资源规划模型。并且提出了一种改进双种群IWO算法进行优化求解,通过算例验证了模型和算法的有效性。应用该模型可以实现系统总成本最小、减少污染物排放及有效调峰等效果。     

基于IRP的高校教育信息管理系统集成研究*

IRP新技术是对信息从采集、处理、传输到使用的全面规划。把其应用于高校教育信息管理系统中并与实践相结合,解决信息孤岛,实现信息共享。本文从IRP的理论体系入手,分析了IRP应用技术,基于IRP技术规划了高校教育信息管理系统的实施步骤,初步提出了数据的整合集成等方案,为现有系统的集成改造提供了新的方法。     

满足对应性属性的平台配置证明

针对完整性报告协议（IRP）存在局部和全局攻击的安全隐患,对StatVerif进行语法扩展,增加了与完整性度量相关的构造算子和析构算子,通过对平台配置证明（PCA）安全进行分析,发现其存在的局部攻击和全局攻击,包括通过未授权命令对平台配置寄存器和存储度量日志进行篡改。对攻击者能力进行了建模,详细说明了攻击者如何通过构造子和析构子形成知识,进而对平台配置证明进行攻击。最后,在平台配置证明不满足对应性属性的情况下,从理论上证明了攻击序列的存在,并给出了平台配置证明满足局部可靠和全局可靠的条件,通过形式化验证工具Proverif证明了命题的合理性。     

一种基于系统驱动的文件透明加密系统的实现

计算机网络普及和发展的同时,文件信息安全问题正成为当今信息安全领域中最受关注的问题之一。本文首先分析了当前文件加密方法的不足,在探讨了透明加密和系统过滤驱动原理的基础上,提出一种基于系统过滤驱动的文件透明加密系统的设计和实现过程;同时分析了本系统设计中的难点与不足之处。     

在Windows NT中实现对PCI配置空间的访问

本文着重研究NT驱动程序结构框架,以及PCI配置空间的访问机制和方法。     

工程管理信息系统集成的基础-IRP

建筑企业由于分散开发与引进局部应用系统 ,从而造成企业“信息孤岛”的客观存在。如何实现企业应用系统间的无缝集成 ,使它们像一个整体一样进行业务处理和信息共享 ,实现建筑企业对整体业务运作和流程管理的全面控制 ,成为人们普遍关心的问题。本文首先讨论工程管理信息系统 (PMIS)集成的必要性和重要性 ,然后详细地介绍了采用IRP技术来实现工程管理信息系统集成的方法     

基于适配器驱动层次实现的可扩展并行I／O研究

本文首先简要介绍了Windows存储设备驱动程序层次模型，然后基于一种EIDE扩展卡详细描述了在适配器驱动程序层次实现并行I／O的方法和原理，并给出了一个软阵列的实例，最后结合I／O测试结果对软阵列性能特点进行了评价。     

基于Windows98/2000平台的USB驱动程序开发

本文介绍了USB及其相关驱动程序的基本知识,总结了在Windows 98/2000平台下开发USB驱动程序的一般方法和步骤.最后利用USB驱动程序的开发工具DriverStudio在Windows98/2000平台上实现了一个USB键盘过滤驱动程序的开发设计.