基于有色Petri网的SELinux安全策略自动化分析

SELinux是嵌入到Linux内核中并得到推广应用的安全增强模块。由于其安全策略配置复杂且工作量较大,故而研究相关的安全策略辅助配置手段及SELinux安全策略的自动化分析方法与技术很有必要。本文基于有色Petri网建立了SELinux安全策略的自动化分析模型,给出了原型实现和测试结果。相关结果表明,有色Petri网分析方法和对应原型能较好地完成SELinux安全策略的有效性分析,并可实现带有中间过滤类型的信息流查询且更加方便简洁。     

代码相似性检测技术:研究综述

程序代码的相似性检测是使用一定的检测手段度量程序代码间的相似程度,其对于提升高等教育中计算机课程教学效果和保护软件知识产权都有着重要的意义.介绍了代码相似性检测技术的研究意义和发展历程,阐述了本领域研究过程中的概念模型,深入分析了已有的几类代码相似性检测技术,总结了这几类技术各自的特点,同时探讨了一些相关研究,最后归纳了目前研究中的问题并展望了本领域研究的发展趋势.     

基于空间矢量复合判断指标的变电站动力电缆漏电检测算法

为提高变电站长段动力电缆漏电监测水平,提出了一种基于空间矢量复合判据的变电站长段动力电缆漏电检测算法。首先对现有方法中无法检测三相漏电故障的问题进行了分析。然后,引入空间矢量的概念,将剩余电流数据转换为空间矢量圆,提出了剩余电流差流、A相漏电流以及空间矢量圆半径变化率3个漏电状态判断指标。并建立了针对电缆不平衡漏电及三相漏电故障的类型判断机制,实现了对长段动力电缆漏电状态及类型的准确检测。最后,通过仿真及江苏电网某500 kV变电站实际数据对所提方法的有效性与优越性进行验证。结果表明,该方法能够准确实现对不平衡漏电故障、故障演变过程以及三相漏电故障的判断,丰富了电缆漏电故障的诊断信息,有效提高了对变电站漏电问题的分析处理效率。     

ZigBee在网域遥控系统中的优化设计研究

为了准确检测和定位网域内基于ZigBee节点的各种监测信息,从无线电遥控的功能和应用出发,分析和比较了现有无线电遥控的基本功能,提出了一种基于ZigBee遥控系统优化处理方法.研究了无线通信系统和子设备节点间的通信协议和数据格式,并利用无线传感器网络技术,GPS定位及系统安全控制技术,设计出改进的ZigBee遥控系统体系结构,然后通过软件实现.实验结果表明,该方法提高了网域控制的灵活性和复用率,降低了制作成本,提高了工作效率.     

论吡咯与双卤分子间的卤键

运用量子化学微扰理论MP2方法,采用6-311++G(d,p)基组,对吡咯与双卤分子XY(XY=ClF,BrF,BrCl)形成的卤键复合物进行构型全优化,得到各分子的稳定几何构型和分子间相互作用能.利用电子密度拓扑分析方法分析卤键复合物的拓扑性质,探讨了该类分子间卤键的作用本质.证明吡咯与双卤分子间存在Y-X...N和Y-X...π2类相互作用,且后者比前者强.复合物中的卤键介于共价键与离子键之间,偏于静电作用成分为主.形成卤键后,2种类型卤键复合物中的电子受体X-Y键伸长,其振动频率发生红移.用电子密度拓扑分析程序GTA-2000,将π型卤键体系中π电子与σ电子分开处理,绘制出π电子密度等值线图和Laplacian量等值线图,更加形象地说明π型卤键的存在和作用本质.利用AIM程序计算了卤键复合物中各原子电子积分的性质,原子积分性质随着卤键形成发生了改变.     

飞机逃逸控制系统电磁兼容设计

飞机逃逸系统对可靠性有非常高的要求,但由于飞机内复杂的电磁环境,逃逸系统的电磁兼容性设计便尤为重要。本文给出从元器件布局与布线、电磁屏蔽、隔离技术以及双绞线应用在内的完整电磁兼容解决方案,实际应用说明电磁兼容性能达到设计要求,系统运行可靠。     

PhotoShop换头术详解

电脑已经普及到越来越多的家庭,随着科技的飞速发展,拥有数码相机、摄像头、扫描仪已经不再是曾经的奢望了。将自己的照片通过电脑好好修改一番,变得更漂亮,是不是很有趣呢? 用电脑对照片进行再加工,可以作出各种各样的效果,不过最有意思的要算是移花接木了。下面我就向大家介绍一下如何通过Photoshop软件进行人物之间的换头术: 第一步:首先我们要找到两张欲作修改的照片(如图1、图2),这没有什么限制,只要自己喜欢就好。     

八梁硅微加速度传感器横向灵敏度的研究

一般的压阻式硅微加速度传感器结构多采用悬臂梁加质量块的形式,这种结构的传感器有很高的灵敏度,但它会产生很高的横向效应.文中介绍一种八梁结构的三轴加速度传感器,通过用ANSYS有限元分析软件仿真计算,说明该结构的加速度传感器具有很小的横向效应.     

太原市河道防洪规划简析

太原市河道防洪规划涉及跨区域河流、市区河流沟渠、郊区县（市）河流共58条。分别以潇河太原段、杨兴河、南川河、白石河为例,就防洪工程现状及问题,拟定规划设计及近远期目标,并为确保防洪工程的设计质量和正常运行,提出合理性建议。     

浅谈下坂地水电站水轮机的安装

1 水轮机的技术特性 以新疆下坂地水利枢纽工程下坂地水电站安装水轮机的实际情况为例子,进一步说明水轮机的安装情况和工程操作,水电站的具体情况是,下坂地水电站有3台150MW混流式水轮机,水轮机为立式,含有微机调速器,转轮为上拆式,底环及尾水锥管为埋入式,新疆下坂地水利枢纽工程混流式水电站水轮机主要由转轮、导水机构、主轴密封、水导轴承、受油器等构成.水轮机为轴流转桨式,钢里衬混凝土蜗壳,T型断面,弯肘型尾水管,通过水、发大轴与发电机直接连接.