基于安全熵的访问控制模型量化分析方法

针对访问控制模型的量化分析问题,提出基于安全熵的安全性量化分析方法。结合信息论有关知识引入安全熵概念,基于安全熵对模型的安全性进行定义;应用该方法对BLP等经典安全模型进行了量化分析,验证了该方法的实用性,并指出了访问控制模型和BLP模型对非授权间接访问防护方面的不足。实验结果表明,该方法适用于访问控制模型的安全性度量以及系统的访问控制能力评估。     

基于神经网络的城市供水智能管理系统

利用神经网络,为城市供水管理提供科学可靠分析、进行供水负荷预测和优化调度,是有效的城市供水管理的科学依据,此系统基于地理信息系统（ＧＩＳ０和神经网络,做到了良好的动态图形界面和人机对话环境,具有高度的人工智能,为各级供水和政府部门提供了科学参考,有着巨大的社会和经济利益。     

基于双边网格和置信颜色模型的快速图像鲁棒分割方法

为了在提供少量用户交互的情况下快速、准确地处理复杂自然图像的前景提取任务,提出一种基于双边空间和置信颜色模型的快速图像鲁棒分割方法.首先使用分辨率明显低于输入图像的双边网格重采样输入图像,极大地减少待处理的图像数据量;其次基于双边网格顶点构建图并定义图切割能量项,根据高斯分布规律定义未知颜色和二义颜色的辨别准则,以构建鲁棒的颜色模型;最后采用标准的最大流/最小割算法进行全局优化求解,实现高质量的图像前景提取.实验结果表明,该方法不仅能够在1 s内提取出高分辨率图像满足实时性要求的、有意义目标物体,而且还实现了复杂场景下的图像鲁棒分割.     

本原?-LFSR序列距离向量性质研究

根据不同类距离向量的分量大小关系,对本原?-LFSR的距离向量进行分类,每一个距离向量有n!个等价类。通过研究距离向量的基本性质,得到一类Z本原?-LFSR的距离向量的期望为(0, T/2, T/2,…, T/2),在此基础上给出2种Z本原?-LFSR的构造方法。对距离向量和线性复杂度之间的关系进行讨论,得出距离向量到线性复杂度是一个满射的结论。     

一类本原σ-LFSR 序列的构造与计数

有限域GF(2k)上本原σ-LFSR序列的分量序列均是二元域上具有相同极小多项式的m-序列,已知一条GF(2k)上本原σ-LFSR序列的距离向量,就可以用二元域上的m-序列构造它.研究了一类本原σ-LFSR序列——Z本原σ-LFSR序列距离向量的计算问题.给出了一种GF(2k)上n级Z本原σ-LFSR序列距离向量的计算方法,其主要思想是,利用GF(2k)上1级Z本原σ-LFSR序列的距离向量来计算n级Z本原σ-LFSR序列的距离向量.与其他现有方法相比,该方法的效率更高.更有价值的是,该方法也适用于GF(2k)上n级m-序列距离向量的计算.最后给出了GF(2k)上n级Z本原σ-LFSR序列的计数公式,说明其个数比GF(2k)上n级m-序列更多.     

超大型塔式起重机回转总成结构强度分析

针对某超大型塔机过渡节和上下回转支座结构建立两种有限元模型,分别对两者进行强度分析,并根据结构轻量化的设计要求修改了结构参数,优化了结构,提高了结构承载的安全性和稳定性。     

摊铺机熨平板热变形分析及抑制措施

为保障摊铺机摊铺路面的平整度达到施工要求,必须保证熨平板热变形较小。本文针对某一摊铺机的熨平板进行了一系列的热-固耦合分析,针对工作状况下熨平板的热变形过大,提出了一种能大幅提高熨平板刚度、抑制热变形的撑拉杆系统,从而提高熨平板摊铺路面的平整度。     

泗河径流过程连续模拟研究

以各监测站点的降雨数据为基础数据,运用Athys模型进行模拟,以Nash值作为衡量模拟结果的标准。研究结果表明:Athys模型在泗河流域的模拟效果较好,Nash值较高,其模拟效果基本上反映了该地区的降雨径流情况。     

一种基于ANSYS的塔机连接支座的设计方法

基于基本的力学原理,计算出各耳板处的载荷;通过三维软件Creo建立塔机连接支座的三维模型,并导入有限元分析软件Workbench,通过在各耳板处施加相应载荷,从而得到连接支座整体的应力分布情况,找出危险截面,为塔机连接支座的设计计算提供一种方法。     

广州地铁A7型车辅助逆变器并网异常故障分析与处理

针对广州地铁A7型车正线运行过程中出现的辅助逆变器并网异常问题,通过对列车故障现象以及系统日志文件的分析,采用反向论证法排查电路控制系统,得出并网异常故障的原因及提出地铁列车控制电路系统的相关调试建议.