模式驱动的系统安全性设计的验证

随着万维网和移动计算技术的广泛应用,系统安全性得到了越来越多的关注,使用安全模式对系统安全解决方案进行设计并验证是提升系统安全性的一种有效途径。现有方法根据系统安全需求选择适用的安全模式,在此基础上将模式组合为系统的安全解决方案,并通过模型检测方法验证其安全性。但是,这些方法往往将方案看作整体进行验证,忽略了内部安全模式的组合细节,难以在包含大量模式的复杂系统中定位缺陷。提出一种模式驱动的系统安全性设计的验证方法,首先使用代数规约语言SOFIA描述安全模式及其组合,以构建系统安全解决方案的形式化模型;然后将SOFIA规约转换为Alloy规约后,使用模型检测工具验证模式组合的正确性和系统的安全性。案例研究表明,该方法能够有效地验证系统安全解决方案的正确性。     

汽轮发电机组轴系扭振预防与抑制技术研究进展

综述汽轮发电机组轴系扭振产生的原因及轴系扭振抑制方法与技术的研究进展,重点介绍次同步谐振引起的扭振抑制技术的研究现状。结合当前研究探讨了磁极表面加装阻尼绕组、加装滤波装置及混合串联补偿装置等抑制扭振的方法并指出其现存的不足之处。最后,就这些问题对本领域的研究发展趋势进行了展望。     

精馏技术的原理及在化工生产中的应用

在化学工业、石油化工生产工作中,精馏是主要的耗能领域,但是由于其设备较为简单、投资成本低,因而目前仍然被广泛采用。随着能源价格的逐步攀升,传统的工业精馏装置在化工生产中面临着极大的挑战。本文对热泵精馏技术的工作原理以及在化工生产中的应用进行了简单的分析。     

浅析水泥稳定粒料基层施工中的质控点

水泥稳定粒料是以粒料为主体,水泥作为粘结性材料,通过碾压成型为整体结构层,水泥稳定粒料基层成型并达到养生期后,具有强度高等很多优点,在进行水泥稳定粒料基层施工时,有一些问题是一定要引起公路建设者们高度重视的,否则就会出现各种质量问题,这些需要注意质量控制点,这些质量控制点是需要我们严格进行控制的。不能有半点马虎的。     

光谱预处理结合模拟退火算法的小麦粉面筋含量检测

为得到可靠的小麦粉中面筋含量定量分析模型,基于光谱预处理及模拟退火算法（simulated annealing algorithm,SAA）对近红外光谱（near infrared spectroscopy,NIR）进行优化处理。偏最小二乘（partial least squares,PLS）回归用于建立预测模型,以决定系数R2、校正均方根误差（root mean square error of calibration,RMSEC）、预测均方根误差（root mean square error of prediction,RMSEP）为指标,对比在不同光谱预处理条件下建立的回归模型与光谱预处理结合模拟退火算法优化处理条件下的回归模型。结果表明光谱预处理结合SAA-PLS模型能够有效提高模型的稳定性和预测能力,将R2从0.763?7提高到0.949?1、RMSEC从1.371?2降低到0.589?8、RMSEP从1.450?2降低到0.534?1。结果说明,光谱预处理结合模拟退火算法对光谱进行优化处理是可行的,模型预测能力和稳定性均优于未处理模型和仅进行光谱预处理的模型。     

基于磁偶极子的磁信标标定方法

针对磁信标产生的超低频磁场定位中磁信标磁场中心难以标定的问题,提出了一种基于磁偶极子磁感应强度分布特征的高精度磁信标标定方法。为描述磁信标在空间中任意位置产生的磁场分布情况,建立磁信标的等效磁偶极子模型,通过磁感应强度不同方向的分量与位置关系解算出磁信标线圈磁场的中心位置,利用自适应指数平滑算法减弱自身波动对磁感应信号的影响,实现对磁信标磁场中心的高精度标定。对标定方法进行有限元仿真,仿真结果显示,使用磁感应强度分布特征对磁场中心的标定精度在毫米级别,通过对标定前后定位精度的对比发现,标定后的磁信标定位精度得到有效提高。     

公路工程土方路基填筑施工技术探讨

所谓万丈高楼平地起，可见不管是什么建筑，基础都是非常重要的，公路工程也不例外，路基在公路工程各结构层中占据着绝对重要的地位，所以，我们在进行公路工程施工时，一定要对路基工程的施工质量进行严格的控制，路基施工质量必须满足公路路基施工技术规范以及设计文件的要求，文章从施工的角度对填方路基施工的程序及其控制方法进行阐述。     

高压套管外绝缘用硫化硅橡胶性能改进方法

为了提升高压套管外绝缘用硫化硅橡胶的性能,采用Geant4蒙特卡洛方法获取了电子束在硅橡胶片的最大有效穿透深度约为9.75 mm.实验分析了电子束补充硫化改性的效果,结果表明电子束补充硫化方法可以改变硅橡胶形貌结构,使其表面呈现斑纹状,在一定程度上提高硅橡胶的疏水性能,在120 kGy辐照剂量下,其接触角从97°增大为111°,可以显著提升硅橡胶的拉伸强度,拉伸强度增大了约0.5 MPa,直接降低硅橡胶的玻璃化转变温度,并且显著提高硅橡胶的热解温度,起始热解温度提升约20℃,从而一定程度改善了硅橡胶的热稳定性.相关数据可以为改进高压套管外绝缘性能提供技术支撑.     

紧急求助模块系统的分析设计与实现

随着近年来意外事故越来越多,如何在遇到意外事故时紧急求助,成为了许多人关心的问题.虽然现在手机上已经推出了许多紧急求助的App,但是当人们出现意外时,有可能行动不便无法及时拿出手机,或者是手机第一时间就被犯罪分子给没收,导致受害者无法及时的与外界联络.     

甲苯甲基化反应体系热力学分析

对生成二甲苯的甲苯与甲醇和甲苯与碳酸二甲酯反应体系进行了热力学分析,确定了二甲苯3种异构体选择性与其反应平衡常数或标准生成吉布斯自由能变的关系式。结果表明,在400~1000 K范围内,甲醇自身脱水、甲苯与甲醇甲基化、碳酸二甲酯(DMC)分解和甲苯与DMC甲基化反应都是自发进行的放热反应。从热力学角度比较,DMC甲基化选择性高于甲醇。反应达到平衡态时,间二甲苯(m-X)选择性最高;随着温度升高,间二甲苯选择性降低,邻二甲苯(o-X)选择性有所升高,对二甲苯(p-X)选择性稳定在22%左右。二甲苯3种异构体的选择性与反应物种类及其他产物种类无关。二甲苯异构体选择性的热力学计算结果与文献实验结果基本一致。