基于抽象原则和模型检测的网络协议安全分析

提出了一种可以缓解状态空间爆炸的抽象原则,对模型设计过程中的辅助变量、报文字段、自动状态机数量进行科学约简,在尽量不影响验证结果准确度的前提下,降低了模型的复杂度.在此基础上,提出了一种半自动化建模框架,只需用户提供少量必须的输入,不需要学习语法,就可以自动生成具有统一规范的模型,方便研究人员查阅和使用.实验结果表明,采用所提的抽象原则和半自动化建模框架创建的模型,可以验证网络协议的相关属性.     

Anycast在移动IP网络中的设计与实现

IPv6具有两个新特性,一个是Anycast服务,另一个是移动IP服务.这两种服务具有广泛的应用前景.提出了一种建立在移动IP网络中的Anycast通信模型,此模型实现了Anycast组成员的动态加入与离开,解决了Anyeast现存的扩展性问题,同时此模型也实现了Anycast树自身信息与请求的分布式维护与处理,从而实现了均衡负载功能.深入分析和讨论了该模型的可行性及其有效性,并通过实验数据论证此模型可以支持在移动IP网络中建设大规模的Anycaat组.     

IPv6中Anycast扩展局限性的分析与讨论

IPv6以两种方式提供Anycast服务,但是,这两种服务方式都存在Anycast可扩展局限性问题.提出了一种建立在Anycast树之上的通信模型,此模型实现了Anycast组成员的动态加入与离开,从真正意义上解决了Anycast现存的扩展性问题,同时此模型也实现了Anycast树自身信息与请求的分布式维护与处理,从而实现了均衡负载功能.深入分析和讨论了该模型的可行性及其有效性,并论证它可以支持大规模的Anycast组的建设.     

纳米碳/水泥基复合材料研究进展

纳米碳材料以其独特的结构及微观形貌,优异的力学、电学特性等,在信息、材料、能源、生物制药等领域引发了革命性创新。近年来,纳米碳材料以极低的掺量,表现出对水泥基复合材料微观结构、宏观力学性能的改善,同时赋予传统水泥基材料导电性、压阻性等功能特性。本文结合纳米碳材料自身形貌及表面化学特性等,综述了近年来纳米碳材料对水泥水化及微观结构的影响,纳米碳/水泥基复合材料的力学性能及压阻性等,并指出当前存在的问题及未来可能的研究方向。     

工业企业计划成本核算系统的开发与应用

计划成本核算系统的开发环境为Visual Foxpro6．0。整个系统分为前台、后台和接口三部分。前台主要是用户界面的设计，其中，在某些触发事件中运用了内嵌式SQL语言；后台主要是数据库的设计；接口部分为表单与数据库的连接。设计经过调试和测试阶段后，取得了预期的效果。文中还剖析了应用软件的优点及不足。软件在马钢耐火材料公司财务部门应用结果表明：性能稳定，运行可靠，提高了财务人员的工作效率。     

MVC的设计和实现

本文根据个人的经验和实践,详细讨论并分析了如何设计和实现MVC结构.     

全自动洗衣机溢水故障研究

本文介绍了一种全自动洗衣机溢水报警故障的排查、排除方法,理论分析并结合实验室实际测试结果,通过对软、硬件分析确认故障原因,最终对溢水故障控制逻辑及液位传感器入厂检验方法进行优化的解决方案.     

如何加强森林火灾控制

森林火灾是一种突发性强、破坏性大、扑灭救助较为困难的自然灾害,被认为是当今世界上最严重的灾害之一,是危害森林生态环境和资源的首要天敌。由于引发森林火灾的因素较多,起初不易察觉,但是一旦燃烧起来就迅速蔓延,不易扑灭,危害性极大,因此在日常森林管理中加强对森林火灾的控制具有非常重要的现实意义。本文首先分析了森林火灾的危害性,然后介绍了日常工作中对森林火灾的预防和管理,通过这些内容来浅析如何加强森林火灾控制。     

配电网负荷分区及其规划研究

随着新型城镇化建设进程的加快及配电网的迅速发展,单纯对现有配电网进行改造已经无法满足新型城镇化建设对用电的需求,需对新型城镇配电网重新规划。分析并借鉴了国外大都市的配电网典型接线模式,阐述了负荷分区方法、配电网接线模式的选取方法及可靠性指标的计算方法。在以负荷密度为供电区域划分原则的基础上,将负荷区域按照功能性和可靠性等其他属性再次划分,并对每一小区域选取合理的接线模式,以满足新型城镇化建设对用电的需求。通过河北南部某地级市电网实际算例,分析并验证了改方法的合理性和可行性。结果表明,所提的负荷分区的方法更能满足新型城镇化建设的对用电的需求。