基于模糊攻防树和熵权法的工控系统脆弱性量化评估方法

为了提高脆弱性量化评估结果的可靠性,提出一种基于模糊攻防树和熵权法的工控系统脆弱性量化评估方法。该方法以攻击防御树为模型,首先将模糊集合理论与专家评价相结合,然后聚合多位专家对同一安全属模糊评价,在模糊聚合过程中利用模糊距离计算专家模糊评价的偏离度以提高模糊聚合的可靠性,并采用熵权法确定叶子节点量化过程中各安全属性的权重。最后计算叶子节点及攻击序列概率。案例分析表明,该方法能有效提高评估结果的可靠性,为工控系统信息安全防护提供重要依据。     

软件脆弱性影响分析模型

软件脆弱性的本质是利用该脆弱性可以影响系统的安全。每个软件脆弱性对系统安全造成的影响及其危害程度是不同的。基于此,在研究软件脆弱性影响相关分类存在的问题的基础上,分析脆弱性的直接影响和最终影响及其关系,指出确定软件脆弱性直接影响的原则,设计出基于影响广度和深度的脆弱性直接影响的分析模型。分析系统级、用户级和文件级的脆弱性直接影响模式,并给出模型在大规模特定域网主动防御系统中的相关设计与实现。     

基于模糊AHP的CDMA网络资源利用率的评价研究

为了确保CDMA网络资源的合理利用,提出一种基于模糊AHP的CDMA无线网络资源利用效率的评价方法.采用yaahp层次分析软件通过对CDMA无线网络资源指标选择建立层次分析模型,确定了各指标的组合权重;利用模糊综合评判（FCA）方法建立模糊评价模型,计算CDMA网络资源利用的综合评价并做出决策.实际案例表明,该方法通过将层次分析法和模糊综合评价方法相结合,有效的对定性指标和定量指标进行综合权衡分析,评价模型科学、合理地反映出实际评价结果,为CDMA无线网络资源及时调配提供合理依据.     

基于物元的协同软件可用性量化评估算法

研究协同软件的可用性,针对协同软件可用性评价中,可用性评价的"状态分界"难以明确地界定,有用与无用没有绝对的衡量标准,存在着很多模糊现象,而模糊评判方法因其存在的缺陷,影响了可用性评价的正确性,进一步导致分布式协同软件系统的低可用性问题.为了准确地确定可用和无用的程度,提出了基于物元分析的协同软件可用性评估算法,分析了面向协同软件的可用性评估指标,将指标作为待评物元,用特征分析法计算各级指标的权重系数,减少人为因素的干扰.利用物元分析方法对协同软件的可用性进行量化评估,通过对比实验证明了方法的有效性,给出了评价的依据.     

一种基于中介真值程度度量的模糊综合评价方法

鉴于现有的综合评价方法大多为刚性的评价,不适用于模糊因素评价,提出了一种基于中介真值程度度量的模糊综合评价方法,对效益型指标、成本型指标和区间型指标3种情况下的真值程度度量过程和参数取值方法进行了设计;并基于真值程度度量结果构造了中介模糊评判矩阵来进行综合评价。 为处理模糊信息创建了中介数学系统。相比传统模糊评价方法,基于中介真值程度度量的模糊综合评价方法更具有客观性,因此能更有效地处理模糊现象。与其他综合评价方法的对比实验表明,所提出的方法是有效的,并具有一定的优越性。     

基于攻击图的工控系统脆弱性量化方法

提出了一种基于攻击图的工控系统脆弱性量化研究方法. 从工控系统中存在的漏洞利用难度和漏洞危害性两个维度出发, 同时结合具体的工业系统中有关防御强度、攻击强度、物理损失、信息损失等方面, 提出了一系列的脆弱性量化指标, 制定了比较全面的等级划分标准. 之后将量化指标与攻击图相结合, 利用攻击过程中每一步的原子攻击期望来对可能存在的所有攻击路径进行脆弱性分析. 最后以典型的锅炉控制系统作为实验背景进行了案例分析. 实验结果表明, 该方法能够较全面地分析工控系统中潜在的隐患威胁, 科学合理地评估各条攻击路径的脆弱性, 由此得到总攻击期望最大的攻击路径.     

基于可靠性理论的分布式系统脆弱性模型

对现有的脆弱性分析方法进行分析和比较,提出基于可靠性理论的分布式系统脆弱性模型.针对影响分布式系统安全性的各项因素进行脆弱性建模,利用模型检验方法构造系统的脆弱性状态图,描述系统脆弱性的完整利用过程,引入可靠性理论对分布式系统的脆弱性进行分析和量化评估,从而为增强分布式系统的安全性提供理论依据.     

基于DEA交叉评价的模糊综合评价模型及其应用

借鉴数据包络分析(DEA)交叉评价的思想,首先将评价系统内的指标分为量化指标和非量化指标,在定义平均交叉效率、最小交叉效率和最大交叉效率概念的基础上,采用交叉评价方法对量化数据进行处理;然后对最小交叉效率值、平均交叉效率值和最大交叉效率值进行模糊化,模糊化之后将其作为模糊综合评价的指标与非量化指标一起进行二次评价,以建立基于DEA交叉评价的模糊综合评价模型;最后通过评价实例验证了所提出的模型在处理客观数据与主观因素并存的多属性决策中的客观性和全面性.     

一种基于模型检测的二进制程序脆弱性分析框架

针对二进制程序脆弱性分析的实际需求,提出了一种基于模型检测的二进制程序脆弱性分析框架。首先定义了二进制程序的抽象模型,描述了基于有限状态自动机的软件脆弱性形式化表示和基于事件系统的软件安全属性表示方法。在此基础上,提出了基于模型检测的脆弱性分析过程和算法。根据该分析框架,设计并实现了二进制程序脆弱性分析工具原型。通过脆弱性分析实验,详细说明了该框架的工作原理,验证了该分析方法的有效性。     

基于分层模糊决策的航天电子产品模块寻优评价方法

针对航天电子产品模块多方案选择,提出了基于分层模糊决策的方案量化寻优评价方法;建立了分层寻优评价模型,并提出了技术指标、产品化指标和经济指标等多维度寻优评价指标、确定了各指标的寻优方向;针对航天产品评价指标不易量化的特点,采用量化计算和专家评价方式统计数据;结合航天产品关注重点分配评价指标不同权重,突出经济性、通用性等指标;应用该方法对工程中功能模块多方案量化寻优评价的结果与实际工程选择一致,该评价方法应用简单、结果清晰,符合认识、理解的过程,是一种有效的快速评价方法。     

机车空调逆变电源设计

本文讨论的是机车空调逆变电源系统的设计与研究。该电源系统主要是由DC/DC的BOOST升压部分和DC/AC三相逆变部分两部分组成。DC/DC部分所得直流电压通过DC/AC部分逆变成三相交流电,供给空调机组工作。同时,为使电源系统能更可靠的运行,也设计了相应的故障检测、保护等辅助电路。     

桥面损坏状态评估专家系统探讨

介绍关于桥梁结构损坏状态评估专家系统，在讨论状态评估方法的基础上，重点介绍损坏状态评估因素关系树的建立及各因素状态的模糊表达式等，最后以桥面诊断过程为例介绍系统的构成及诊断流程图，知识表达方式，系统推理过程及工作流程。     

联合收割机脱粒滚筒恒速智能控制器设计

研究了轴流式联合收割机的控制问题,给出了联合收割机脱粒滚筒的数学模型,介绍了基于模式识别的智能控制原理,建立了联合收割机脱粒滚筒恒速控制模型,设计了基于模式识别的智能恒速控制器.应用Matlab/Simulink进行了控制器仿真,其结果表明,将基于模式识别的智能控制应用于联合收割机脱粒滚筒的恒速控制,其过渡过程平稳、响应速度快、无超调、无振荡并且无稳态误差.     

计算机辅助课表编排技术的研究

讨论了几种实用的计算机辅助课表编排技术及在实际编排中的应用。应用分析表明，采用分批与或图搜索和分批优化的匈牙利算法相结合的方法，在计算机辅助课表编排中是行之有效的。     

课程表自动编排系统的再开发

根据课程表自动编排系统运行过程中的需求变化，应用敏捷软件开发思想重构系统，对系统再分析。     

汇集点的计算方法研究

利用图像坐标计算交比,就可能出现计算故障或者引起计算精度的下降,采用N矢量表示视平面上的点和直线,建立交比的N矢量计算公式;在此基础上,研究了纯平移运动汇集点的N矢量计算方法,该公式只需要知道纯平移运动一个空间点在3个时刻t1、t2、t3的投影点或者该点的N矢量m、N速度 ()tm 以及加速度 ()tm ,都可求出动点的汇集点。最后,通过举例分析和实验验证,证明该算法实用、可靠。     

Complexity of approximation of 3-edge-coloring of graphs

The problem to find a 4-edge-coloring of a 3-regular graph is solvable in polynomial time but an analogous problem for 3-edge-coloring is NP-hard. To make the gap more precise, we study complexity of approximation algorithms for invariants measuring how far is a 3-regular graph from having a 3-edge-coloring. We show that it is an NP-hard problem to approximate such invariants with an error O(n1−ε), where n denotes the order of the graph and 0<ε<1 is a constant.     

基于离散度函数的DNA序列的相似性分析

用一种新的信息离散性量度法分析DNA序列的相似性。该法用DNA序列的子序列分布来描述DNA序列,从而充分考虑了DNA序列的信息。对不同的子序列长度,分析了11类不同生物的β-globin基因的第一个外显子的编码序列的相似性,结果表明,该法是分析DNA序列相似性的简单而有效的工具。     

发热量测定仪系统设计

本文介绍了发热量测定仪的结构、工作原理、硬件系统功能,阐述了应用铂电阻进行高精度温度测量的方法,系统用AT89C52单片机作为处理和控制芯片,该发热量测定仪性能符合水泥企业应用要求。     

变电站一次设备喷涂PRTV用量的分析

对国网宁夏电力检修公司宁安运维站近2年来一次设备喷涂PRTV用量的统计数据进行分析整理,得出各类一次设备按照标准要求喷涂PRTV时的用量估算值,并针对现存作业中存在的问题,提出相应解决方案。