水平连铸5流中间包控流装置优化

为确保铝液水平连铸5流中间包控流的稳定性,利用数值模拟结合水模型试验,优化设计了中间包控流装置,以期获得更为均一的流场和温度场。结果表明,设计的优化控流方案,中间包内铝液流速在各出坯口处分布均匀,且整体接近于拉速;中间包内铝液最大温差由原始方案的15K下降至9K,降低了40%;各流口最大温差由7K降至2K,下降了71.4%。设计的5流中间包控流方案,有利于提高铸坯质量和稳定生产工艺。     

信息流格模型的非法流分析

随着互联网的发展以及网络空间地位的上升,信息的重要性与日俱增。为确保信息安全,对非法信息流的控制显得尤为重要。文中分析了信息流格模型中信息流动的安全性,为更好地对模型内部的信息流进行分类,首先,对信息流格模型进行线性化分析,使得模型被线性化表述,并将其称为线性信息流格模型。接着,引入马尔科夫链,并利用马尔科夫链的常返态属性和瞬时态属性的概率变化,来量化表示模型中主体和客体之间的转换状态,从而检测出模型内部的各个信息流。进一步地,根据模型内部的主体和客体分别对应的常返态与瞬时态的概率对比,分析每个信息流的安全状态,即:当模型检测中同时出现两个常返态时,违反了安全模型,从而导致非法信息流的出现。由于概率变化存在同一性,该方法会产生误差并影响其检测结果。为弥补这一不足,介绍了SPA语言,然后对线性信息流格模型进行了SPA语言的描述,并采用形式化中的无干扰方法对马尔科夫链模型内概率同一性的不足进行补充说明。最后,检测出其中隐藏的非法信息流,判断出含误差下各个信息流的安全状态,并得出结论:符合安全模型但违反安全策略的信息流不满足无干扰属性。这对信息流安全检测软件的设计及硬件应用具有重要意义。     

一种机载电源掉电检测电路设计

针对传统机载电源掉电检测电路抗干扰能力差、易误触发的缺点，提出了一种抗干扰能力强、安全性更好的掉电检测电路。首先，在传统掉电检测电路的基础上引入正反馈电路组成滞回电压比较器，提高抗干扰能力；其次，为提高安全性，通过控制电容的充放电，使检测电路延时发送正常信号而在掉电情况下迅速发出掉电信号；最后，设计掉电激励电路，能够在维护状态时通过外加激励测试掉电检测电路的功能正常与否，获得更好的测试性。     

单向网络安全设备的分析与证明

单向网络安全设备是不同密级间网络信息传输的主要安全设备。为保证单向网络安全设备内部的安全性和通信系统的安全性，分析了单向网络安全设备的安全需求，提出无干扰模型形式化建模，用数学归纳法证明单向网络安全设备安全需求与形式化策略规约的一致性；并针对单向网络安全设备存在的安全隐患进行分析与讨论，总结出更加完善安全策略，确保信息安全。这为单向网络安全设备的安全性设计提供了一定的借鉴意义。     

水泥混凝土路面设计初探

水泥混凝土路面是当前高等级公路的一种主要结构形式,本文对其具体设计中的几个问题作一探讨,供大家参考。     

典型安全网关的形式化设计与证明

传统上依靠经验设计的安全网关侧重于功能实现,缺少严格的安全模型。对此,针对一种典型安全网关,首先根据其安全需求给出相应的安全策略,然后利用BLP模型对给出的安全策略进行形式化建模并对安全模型的内部一致性进行证明,最后对安全网关的功能规约和安全模型的一致性进行验证。为保证推理过程的正确性,使用定理证明器Isabelle/HOL对上述过程进行描述和推理,保证了安全网关顶层设计的安全性。研究结果为安全网关的形式化设计 提供了一定的借鉴意义。     

保护用电流互感器10％误差校验

在电气工程设计中，按照保护用电流互感器的10％误差曲线进行校验是一项必不可少的内容，但是大部分的手册和书籍只是泛泛罗列了一下公式，而缺少计算实例。在工程设计中进行校验时选取的相关数值差别也很大。本文结合实例，谈谈对这个问题的认识。     

路基路面变形破坏规律与演化分析

近些年来,我国的公路工程得到了快速的发展,建设范围逐渐增加。在长期的运行过程中,由于受到外界自然环境的影响以及行车的荷载,对公路造成了很大的破坏,致使路基路面出现变形,严重的影响到行车的安全。文章对于路基路面的变形破坏规律进行了分析,然后提出了解决的对策,对于道路的保护具有重要的意义。     

路基路面排水设计分析

路基路面的排水对于道路的运行质量有重要的影响,如果排水系统设计的不够科学,那么在路面上就会淤积大量的水,渗漏到路面后,会对道路产生严重的破损。良好的路基排水系统,可以保证路基常年处于干燥的状态,保证路基的湿度处于一个合理的范围内,在强度以及稳定性方面具有良好的性能,保证道路的使用质量,为行车安全提供基础的条件。