带敏感标签的SELinux安全策略信息流分析方法

针对SELinux操作系统中多安全策略的实现方式,文中在信息流分析方法的基础上引入了多级安全敏感标签,以自动机与线性时态逻辑为理论基础,提出了一种改进的信息流分析方法,对SELinux安全策略的完整性与机密性进行验证.     

借助工具SURF——简单引导，轻松使用——兼评《地震中的父与子》教学设计

这是一堂网络环境下小学高年级精略结合教学模式的探究课.鉴于课文篇幅较长,使用精略结合教学模式可以有效提高教学效率.<地震中的父与子>和<慈母情深>这两篇文章都紧扣"父母之爱"这一单元主题,都抓住了人物的外貌、语言、动作和心理等描写.     

基于DTMB系统的大载波频偏估计方法

针对现有方法在大载波频偏条件下无法工作的问题,提出一种应用于国标数字电视系统DTMB系统的大载波频偏估计方法,利用国标系统中信号帧的结构特点,结合功率检测器,通过3个步骤完成载波频偏估计。与传统DTMB系统载波频偏估计方案相比,该方法具有更大的载波频偏估计范围。仿真结果表明,该方法在AWGN信道下最大可支持±400kHz的载波频偏,在AWGN信道和多径信道下均满足系统要求。     

复杂车辆图像中的车牌快速形态定位算法

针对复杂环境下的车牌定位问题,提出了一种基于形态学的快速车牌定位方法.该方法先对车牌图像进行预处理和二值化,然后用形态学方法对二值化后的图像进行系列形态运算,将车牌图像分割为一个个独立的小区域,根据车牌特性去掉较小的区域,并对保留的连通域进行标记,最后用车牌形状特性进行车牌快速定位.实验结果表明,该方法定位效果好,速度快,适于应用对现实的车牌图像进行定位.     

倒虹吸工程水力学模型试验

为研究大型倒虹吸水力特性,通过新疆北部某倒虹吸工程1∶16的水工模型试验,对不同运行工况下倒虹吸过流能力、水流流态及压力分布等问题进行研究。试验结果表明,水头损失实测值与设计计算值较接近,满足设计要求;在设计流量下管道最大压力位于倒虹吸管最低段末端且小于设计值;但充水过程中,流量由13m3/s增至15m3/s时,发现上游进水口有间歇性立轴漩涡形成。为了保证工程的正常运行,建议对上游沉沙池与消力池之间渠道进行优化。     

基于二维安全防护体系的WAF系统

针对Web攻击,传统防火墙对应用层防护存在不足,而Web应用防火墙可利用其架构的技术优势,应对繁多的攻击方式。给出二维安全防护系统及Web服务器核心内嵌模型,进一步给出Web应用防火墙设计实现方案。实验表明,该系统能够解决Web应用安全问题,具有较高的网络性能,支持策略的定制与扩展。     

小湾水电站地下厂房自然通风研究

小湾水电站属巨型电站,地下厂房,通风极为重要.工程设计使用自然通风方式来满足厂房工作区的环境控制要求,在国内外尚无先例.通过勘测设计、理论计算和模型试验,得到工程可以使用的关键数据.减少了工程开挖量,节约了投资,并可大大降低运行费用.研究成果已通过技术鉴定,达到国际先进、国内领先水平.     

当你安装新软件时

软件安装是使用的第一步,同时也是非常关键的一步,下面几点是软件安装应注意的问题,希望能对大家有所帮助。 1.安装文件的选择,这类文件大多位于安装盘中的1号盘,文件名为In-stall.exe(DOS平台软件大多采用)或Setup·exe(Windows平台软件大多采用),安装时只需键入Install或双击Setup图标即可。 2.对于一些需要从软盘上安装,而     

基于ActiveX的垃圾焚烧炉监控系统的软件设计

本文以环保设备垃圾焚烧装置两级计算机实时监控系统为对象，阐述了系统的组成。运用基于UML的面向对象分析方法，以VC 中基于COM的ActiveX Automation技术设计应用软件，使程序层次化并便于系统扩展应用。实验调试表明系统达到满意效果。     

粮食水分在线检测控制系统

介绍了一种用于颗粒状粮食水分在线检测控制系统。该系统将圆柱型结构的粮食水分检测传感器置于干燥设备的出口、入口处，粮食水分变化导致传感器电容量变化，经过精密的信号采集、转换与处理，完成粮食水分的在线实时检测。该传感器还借助微处理器对测量信号的非线性与温度漂移进行了数字化的修正和补偿。反馈信号输出控制变频器，从而实现控制排粮机构运行转速。根据需要，该系统可以增加打印干燥机的多个工作参量，实现对料位及热风温度的控制等辅助功能以及自动报警功能。