系统安全状态控制基础技术研究

针对基于状态控制的系统安全相关研究欠缺的问题,首先从访问控制的缺陷、状态控制的优势等方面讨论了研究的必要性和可行性;其次,通过引入粗粒度文件、程序及具动态特征的函数等状态,扩展了安全状态的定义;最后从信息流控制和状态对象控制的角度,提出状态取值空间、开放空间和操作空间的概念,并以此为出发点提出了状态的转换、操作、控制及检测等特征的分析方法.在此基础上,从以状态控制为目标和手段两个角度给出了其在系统安全增强及安全检测方面的应用思路.     

基于格网GIS的县域生态安全空间评价——以湖北省曾都区为例

以30m×30m栅格为基础评价单元,借助PSR模型选取16个指标构建县域生态安全评价指标体系,并采用层次分析法确定指标权重.在各项评价指标空间化和标准化的基础上,使用生态安全综合评价模型进行图层运算得到生态安全状况空间分布数据,并对研究区生态系统状态进行分级评析.从整体上来看,曾都区生态安全状况良好.生态安全评价值的空间分异明显,大致以市区为中心呈环状格局,由内到外递增.研究表明:基于格网GIS的空间评价,既能提高评价精度,又能实现评价结果可视化,具有重要的理论和实践意义.     

终端状态受限的广义系统奇异二次指标最优控制问题

研究了终端状态受限的广义系统的奇异二次指标最优控制问题，在一定条件下把此问题转化为终端状态受限的正常状态空间系统非奇异二次指标最优控制问题，给出了问题完全解的充要条件及解的表示。     

配电网运行状态空间的安全性分布：特征及应用

随着智能电网建设，我国城市配电网的调度运行将变得更精细，深入研究配电网运行的状态空间十分必要，特别是调度部门关心的安全性问题．本文研究了配电网运行状态空间的安全性分布．首先，为建立系统状态(工作点)和安全性结果间的映射关系，设计了两种计及主变容量约束的安全函数，用来量化系统的安全程度．其次，提出了运行状态空间安全性分布的概念，状态空间内所有工作点及其安全函数值构成了安全性分布．然后，在IEEERBTS-Bus4扩展算例中验证了所提概念和方法，并绘制了算例配电网的状态空间安全性分布图．研究发现，在状态空间中，安全性分布形成了一种类似自然界电场、磁场的“安全性场”，其分布特征如下：以空载点为中心呈“等安全线”形式分布，并且具有单调减的自然特性，即距离中心越远，等安全线值越低．等安全线的法线方向是安全性变化最快方向，也是安全性提高的最优控制方向．     

基于GIS的徐州市生态安全评价

生态安全是区域可持续发展的核心问题,是国家安全和社会稳定的一个重要组成部分.以徐州市为例,采用压力-状态-响应模型,选取18个评价指标,构建了生态安全评价体系;然后运用相关数学方法得到安全指数,并运用多层次分析法,确定各个指标的权重,对徐州市的各个县市进行了分区综合评价.研究表明:新沂市生态处于较安全状态,丰县生态处于危险状态,其他县市处于预警状态.     

信息系统安全工程概念与方法研究

首先介绍了信息系统安全工程的概念,然后从信息系统安全工程方法论、安全需求定义、风险评估、安全控制策略和安全评价及标准等5个方面,综合分析了当前国内外信息系统安全工程理论与方法的研究进展,并对今后可开展研究的领域进行了展望.     

串空间理论在网络安全协议形式化分析中应用

网络通信的普及和发展使得对网络协议尤其是安全协议的需求日益增长.同时由于安全要求的多样化以及攻击方式的层出不穷使得对于网络安全协议的形式化分析的效率和准确性提出了更高的要求.原有的形式化分析方法通常不可避免地出现状态空间爆炸问题,这使得对于日益增长的网络通信规模下的复杂协议的分析变得十分困难.串空间理论(strand space theory)的出现提供了避免状态爆炸问题、提高协议形式化分析效率的有效方法.用几个简单协议为例说明了如何利用串空间理论有效地进行协议的形式化分析.     

基于通信的列车控制系统数据安全影响分析

为在设计阶段验证交互数据在系统中的安全特性，基于有色Petri网与失效传播模型提出了一种对系统模型自动分析得到输入数据失效最小割集的安全影响分析方法。首先，建立系统的有色Petri网模型，通过对库所数值离散化处理得到用例，对变迁进行单元测试得出失效行为函数，获得具有失效行为变迁的失效传播有色Petri网；然后基于有色Petri网模型的状态空间，通过失效空间生成算法与变迁回溯法，实现由模型状态空间到失效状态空间，再到失效状态树的转换，并通过失效状态树的合并与计算，获得系统失效最小割集。最后通过实验，比较不同数据安全保障措施下系统的失效最小割集变化，验证了安全保障措施对系统安全的作用，实验结果证明了该分析方法的正确性与有效性。     

煤矿救护指战员不安全行为的心理特征指标值的测量与分析

本文根据煤矿救护指战员所处的极端环境条件和特殊的工作模式,提出救护指战员不安全行为的四种心理状态特征指标,并在实验室模拟高温高湿环境,对来自全国各地的煤矿救护队指战员进行体能模拟训练,通过对比常态下和高温高湿环境下指战员体能训练后的协调能力指标、暗适应能力指标、反应时指标和注意力指标的测量数值,得出心理活动特征随环境以及体能消耗的变化情况。     

基于状态空间的桥梁颤振分析

针对基于Scanlan自激力模型的桥梁颤振分析方法不能直接以风速作为参数对颤振临界风速进行自动无迭代搜索的缺陷,采用现代控制理论中对动态系统的状态空间描述方式,将结构和气流作为一个动态系统,在状态空间内对自激力进行表达,建立桥梁颤振运动方程并实现了桥梁颤振临界风速的直接求解.通过对系统状态空间中的气动状态进行优化处理,减小了系统状态空间的维数,并结合模态跟踪技术解决了基于状态空间颤振分析中关于结构固有模态根识别的问题.以具有理论解的理想平板截面的简支梁为例验证了算法的正确性,并将其应用于润扬长江大桥的颤振分析中,分析结果和风洞试验结果基本一致.