计算机内网安全管理系统研究

基于内网安全管理的重要性分析,本文在P2DR模型的理论基础上,提出了内部网络安全管理系统的设计方案,对内网安全管理系统所涉及的安全策略、管理支持、策略执行、监控响应、审计共5个环节的内容进行了分析,之后选择了可行的开发工具,对客户端程序以及服务器程序的流程等进行了设计分析,最后分析了通信消息的结构。本文所述内容可为相关的理论分析提供参考。     

谈鹤岗市区水文地质条件

鹤岗市位于黑龙江省的东北部，是我国的重要蝶域，市区南部以阿凌达河与汤原县为界，西部与伊春接壤，东部以梧桐河与所属的萝北县为界。东西相距54公里，南北相距138公里，市区面积4575平方公里，辖区绝大部分地表水和地下水较为缺乏，可以利用的水资源短缺现象不仅影响了当地人民的正常生活。也极大的制约了经济社会的可持续发展。     

基于MAODV无线Mesh网多播路由协议的优化

针对无线Mesh网(WMNs)现有的路由协议不能很好地解决多播视频业务对时延的要求,以Ad hoc网络中多播路由协议MAODV为基础,结合无线网络拓扑的动态变化,在WMN下提出一种基于路径优化的ROMAODV(Routing Optimization-MAODV)路由算法.此算法以很小的优化开销获得延时的大幅度减小,仿...     

电源项目投资财务净现值的多因素敏感性分析及风险防范

单因素分析法是经济决策中常用的敏感性分析方法,存在与实际情况不完全相符的局限性,为此提出了财务净现值的多因素敏感性分析方法。首先分析财务净现值对各因素敏感性系数及多因素变动的临界条件,然后通过具体实例对财务净现值多因素变动的不确定性进行理论计算和探讨,从而为投资主体进行投资决策提供参考,并给出风险防范措施。     

燃煤电厂脱硫废水排放指标限值的计算方法研究

目前我国燃煤电厂脱硫废水标准DL/T997-2006的排放指标与限制内容已不符合社会发展需要,为此,本文提出了燃煤电厂脱硫废水排放指标限值相关计算方法。论文调研了美国和国内的相关规范,对排放指标确定范围的具体数值和算法模型展开深入研究,结合我国行业发展状况和国情给出了具体的修订建议,通过计算模型得出脱硫废水污染物控制参数的直接排放限值,氯化物日最大排放限值≤500mg/L,总溶解固体（TDS）日最大排放限值≤215mg/L,硒≤1.5mg/L,汞≤0.005mg/L等。     

无线Ad hoc网络中的负载平衡广播路由算法

在无线Ad hoc网络中,由于节点的能量有限,如果过分消耗一部分节点的能量使这些节点退出,这样将会影响整个网络的连通性,因而能量的负载平衡成为了一个核心问题,针对该问题提出了一个时间复杂度是O(2)的贪心算法--WMST(weighted minimum spanning tree),该改进算法综合考虑了节点初始能量和通信的能量消耗等因素,随后又提出了一个改进算法,最后通过模拟实验将这2个算法与BIP算法进行了比较,实验表明该算法有效的改善了网络的负载平衡以及网络的生命期,最后,还指出了进一步的研究方向.     

对IEEE 802.11协议多跳传输时的时延性能改进

提出一种新方法来降低IEEE802.11协议中多跳传输的时延,并利用NS2仿真器分析比较了原来的IEEE802.11协议和改进后的协议性能,证明了后者在任何链路负荷的情况下都更加适合多跳传输。     

银行智能决策支持系统

我国的专业银行在国民经济中担当着重要的角色，它所面对的是竞争激烈和瞬息万变的金融市场。传统的银行决策方法已不能完全适合现代化银行的需要。将决策支持技术引入专业银行可在很大程度上改善这种状况。本文对如何将计算机决策支持技术应用到银行高层决策中作了探讨，并给出银行智能决策支持系统的总体结构。另外，本文对银行智能决策支持系统的研究背景、开发目标、研制方法、开发环境等方面也作了阐述。     

基于同步有向图的同步测试序列生成方法

使用多测试单元的测试系统可以对多端口协议实现进行一致性测试，但是在进行这种一致性测试时，测试系统各个端口之间可能会出现同步问题，现在，解决同步问题常用的办法是在测试单元相应端口之间增加同步连接，然后通过此同步连接相互发送同步消息来进行同步，多端口协议和其它类型的分布式系统可以用有限状态机模型来描述，目前，同步问题被分为双端口同步问题，多端口同步问题，紧同步问题等多种类型，该文考虑两种有限状态机测试问题，第一种是面向端口的测试，不考虑有限状态机测试单元之间的通信问题，第二种面向组的测试，有限状态机中的各个端口被分成互不相关的多个组，属于不同组中的测试单元之间互不通信，该文提出了一种基于同步有向图的同步测试序列生成方法，这种生成方法适用于Pair同步，Port同步和组同步问题，并且，这种方法也可以用来判断如何在非同步测试序列中增加同步通信，将非同步测试序列转化为同步测试序列。     

一种描述安全协议的形式化规范语言

安全协议的设计和分析是复杂而且容易出错的。使用形式化的语言有利于安全协议的正确性和完整性。现有的安全协议的描述方法大多很复杂而且容易导致二义，从而导致协议隐含着种种的安全隐患。引入了基于构造类别代数的形式化规范语言来规范安全协议，通过规则集合和公理集合对安全协议进行精确地描述，有利于协议设计地规范化和协议漏洞地发现，同时对Needham-Sehroeder协议进行了形式化规范以进一步说明该形式化语言地使用。