一种基于HITLS的网络安全仿真模型研究

对网络建模环境的三种基本形式进行了形式化描述,并针对网络安全仿真存在的不足,将半实物仿真方法引入网络安全仿真研究中,提出一种基于HITLS的网络安全仿真模型,着重对模型的基本原理和关键技术进行了分析,最后给出了模型在网络安全仿真中的三种基本应用。模型将实际节点映射到虚拟仿真网络中,使实际网络和虚拟网络有效结合起来构建丰富的网络行为和仿真环境,并通过实物仿真方式解决网络安全建模困难的实际问题,从而既避免了建立复杂的实物测试平台,又提高了仿真的可信度。     

基于UML的概念模型的Petri网映射算法研究

概念模型的动态部分由于其复杂性不易通过阅读式的审查实施验证,针对采用统一建模语言(UML)描述的概念模型,通过UML时序图模型向Petri网模型的映射,可建立Petri网可执行模型,再对其进行验证.在深入分析UML时序图特点的基础上,针对已有映射方法存在的缺点,提出了基于消息的模型映射算法,并对时序图中的特殊结构(可选、条件、并行、循环),分别提出了其相应的映射算法,并验证了映射的正确性.方法有利于检查模型映射前后的一致性,同时具有可扩展的优点.     

基于信任评估的安全路由方案设计

分析基于贝叶斯方法的信任评估过程,针对其不能较好反映信任评估的一些重要属性的缺陷,对其信任更新过程进行改进与优化,增强贝叶斯信任评估方法的健壮性和有效性。提出基于贝叶斯方法的信任评估模型和安全路由框架,并实现一种基于AODV的安全可信路由方案TBAODV。仿真实验验证了该方案的有效性。     

信息系统安全技术策略研究

针对信息系统存在的安全威胁,介绍了信息系统的安全层次模型,重点阐述了信息安全保密技术策略和网络安全技术策略,并给出了一个安全服务卡的简单功能说明和逻辑框图。     

DDoS主动防御系统防御能力量化仿真研究

针对防御能力量化模型不符合DDoS主动防御系统特点的问题,分析了影响DDoS主动防御系统防御能力的防御设备指标,从防御收益和防御成本两方面建立DDoS主动防御系统防御能力量化模型。在OMNeT+〖KG-*3〗+中,设置不同的防御设备指标进行仿真实验,探索总结了DDoS主动防御系统设备指标与系统主动防御能力的关系,为提高DDoS主动防御能力提供了参考。     

建筑工程造价预结算审核工作要点研究

在建筑行业不断发展的今天,建筑工程的行业利润巨大,因此越来越多的建筑公司不断涌现,在如今竞争激烈的建筑行业内部,如何建立自身的优势条件,对于建筑公司的发展至关重要。而工程造价对整个建筑工程的成本影响巨大,在竞争激烈的行业内部,许多建筑企业都将目光转向了降低工程造价,提高工程质量这一方面。而本文就是在这种行业的环境下简单的分析了一些预结算审核工作方面的一些要点。     

海安110kV李堡变电站数字化改造

常规变电站数字化改造工作在全国各地开展,改造过程中有不少亟待解决的问题。以110kV李堡变电站数字化改造工程为实例,按IEC61850通信标准实现全站信号采集、传输、处理、控制的标准化,采用电子式互感器实现数字化采样,过程层智能单元实现开关信号采集和控制数字化,应用GOOSE通信方案构建全站网络,实现信号采集数字化、传输网络化、通信标准化等目标,在全站不停电的情况下顺利完成数字化改造,为常规变电站改造为数字化变电站提供了运行、改造经验。     

采动影响下地表渗水防治工程研究

为改善煤矿地表渗水的施工效果,研究了可用于地表预注浆的水性聚氨酯浆料对硬化的聚氨酯浆料拉伸性能,ANSYS/STUCTURAL的模拟结果表明开度对拉伸的影响最大,长度对拉伸的影响最小,聚氨酯浆料具有很好的拉伸性能,用于地表裂隙注浆除了保证当前的注浆效果,在采动影响下也有很好的效果,使地表水不至于流入地下煤层,从而为合理地防治水提供依据。     

采动影响下地表渗水防治工程研究

为改善煤矿地表渗水的施工效果,研究了可用于地表预注浆的水性聚氨酯浆料对硬化的聚氨酯浆料拉伸性能,ANSYS/STUCTURAL的模拟结果表明开度对拉伸的影响最大,长度对拉伸的影响最小,聚氨酯浆料具有很好的拉伸性能,用于地表裂隙注浆除了保证当前的注浆效果,在采动影响下也有很好的效果,使地表水不至于流入地下煤层,从而为合理地防治水提供依据。     

浅谈泵送混凝土施工技术

介绍了泵送混凝土的相关施工知识，就其施工的基本步骤进行了阐述，提出了泵送混凝土施工中应注意的几个方面，以提高混凝土质量。降低施工成本．提高施工水平。