排序方式: 共有12条查询结果,搜索用时 15 毫秒
1.
随着互联网的发展以及网络空间地位的上升,信息的重要性与日俱增。为确保信息安全,对非法信息流的控制显得尤为重要。文中分析了信息流格模型中信息流动的安全性,为更好地对模型内部的信息流进行分类,首先,对信息流格模型进行线性化分析,使得模型被线性化表述,并将其称为线性信息流格模型。接着,引入马尔科夫链,并利用马尔科夫链的常返态属性和瞬时态属性的概率变化,来量化表示模型中主体和客体之间的转换状态,从而检测出模型内部的各个信息流。进一步地,根据模型内部的主体和客体分别对应的常返态与瞬时态的概率对比,分析每个信息流的安全状态,即:当模型检测中同时出现两个常返态时,违反了安全模型,从而导致非法信息流的出现。由于概率变化存在同一性,该方法会产生误差并影响其检测结果。为弥补这一不足,介绍了SPA语言,然后对线性信息流格模型进行了SPA语言的描述,并采用形式化中的无干扰方法对马尔科夫链模型内概率同一性的不足进行补充说明。最后,检测出其中隐藏的非法信息流,判断出含误差下各个信息流的安全状态,并得出结论:符合安全模型但违反安全策略的信息流不满足无干扰属性。这对信息流安全检测软件的设计及硬件应用具有重要意义。 相似文献
2.
为确保铝液水平连铸5流中间包控流的稳定性,利用数值模拟结合水模型试验,优化设计了中间包控流装置,以期获得更为均一的流场和温度场。结果表明,设计的优化控流方案,中间包内铝液流速在各出坯口处分布均匀,且整体接近于拉速;中间包内铝液最大温差由原始方案的15K下降至9K,降低了40%;各流口最大温差由7K降至2K,下降了71.4%。设计的5流中间包控流方案,有利于提高铸坯质量和稳定生产工艺。 相似文献
3.
4.
5.
6.
7.
在电气工程设计中,按照保护用电流互感器的10%误差曲线进行校验是一项必不可少的内容,但是大部分的手册和书籍只是泛泛罗列了一下公式,而缺少计算实例。在工程设计中进行校验时选取的相关数值差别也很大。本文结合实例,谈谈对这个问题的认识。 相似文献
8.
9.
芳烃生产中,抽提剂环丁砜在较高温度会发生劣化导致pH的下降,产生酸性物质,并影响抽提效果,随着劣化程度的加深对抽提设备的腐蚀也越加严重,也会影响芳烃产品的生产效率和质量。为解决这一问题,一般采用加入热稳剂的方法减缓环丁砜的劣化情况,增加芳烃抽提剂环丁砜的使用寿命。本文对环丁砜受热劣化的情况进行了考查,选用了三种不同有机胺化合物及其复配物作为减缓环丁砜劣化程度的热稳剂,利用检测热分解产生的SO2量来衡量劣化程度和热稳效果。实验结果发现复配热稳剂效果最佳,其中以乙醇胺与不饱和多元胺A的复配比例在2:1,添加量在400mg/L时的热稳效果最好,热稳率超过最好单一热稳剂10%以上。 相似文献
10.
路基路面的排水对于道路的运行质量有重要的影响,如果排水系统设计的不够科学,那么在路面上就会淤积大量的水,渗漏到路面后,会对道路产生严重的破损。良好的路基排水系统,可以保证路基常年处于干燥的状态,保证路基的湿度处于一个合理的范围内,在强度以及稳定性方面具有良好的性能,保证道路的使用质量,为行车安全提供基础的条件。 相似文献