排序方式: 共有30条查询结果,搜索用时 15 毫秒
1.
2.
多级安全系统中机密数据的泄漏本质上是信息的非法流动.广义不可推断属性刻画了不同安全级主体之间合法的信息流动.在系统应用之前,验证其满足广义不可推断属性,可以排除各种隐蔽数据泄漏,保护数据的机密性.传统的广义不可推断属性验证方法——"展开方法"——验证的仅仅是属性成立的一个充分非必要条件,因此是不完备的.基于证伪技术提出一种完备的广义不可推断属性验证方法,该方法通过逐步搜索长度递增的使广义不可推断属性失效的反例来完成验证过程.为确保搜索过程能正确终止,即方法的完备性,提出状态转换系统的双构造运算,并在此基础上基于图结构理论给出最短反例的上近似计算.进一步为提高验证方法的时间效率和降低对内存空间的需求,将反例搜索和上近似计算归约为量化布尔公式满足性求解问题,借助于高效的满足性求解程序完成属性的验证,实现了验证过程的符号化计算.最后通过一个磁臂隐通道的实例说明验证方法在实际的隐通道分析中的应用. 相似文献
3.
北京地铁昌平线高架区间应急疏散平台板首次采用了清水混凝土防滑要求设计,8 000余块清水混凝土疏散平台板具有外形结构复杂、混凝土含钢量大以及尺寸多变化、施工工期短的预制技术特征.通过对疏散平台板预制过程重点和难点的认真分析和把握,采用组合式立模板+机组流水法预制工艺;活动插板、可更换不同宽度的钢模板设计,牢固可靠,操作便利;成功配制高性能混凝土;加强混凝土施工和养护控制、压面控制、成品保护和运输方法的改进;以及采用北京市最新的地方标准控制生产操作质量和验收产品质量;圆满地实现了清水混凝土疏散平台板既定的质量和工期目标.安装后的清水混凝土疏散平台板整体颜色均匀,板面中的防滑点分布均匀,自然流畅,清水效果和使用功能完全达到了设计要求,提升了地铁高架区间用混凝土疏散平台板预制质量和功用品质,取得了良好的社会经济效益. 相似文献
4.
为了研究压水堆因“直接安注”冷水注入压力容器下降环腔而导致的承压热冲击(PTS)热工水力问题,基于1:10比例模型,应用计算流体力学软件FLUENT5.4进行了紊流流动换热的数值模拟分析,同时进行了常压瞬态传热实验研究。针对下降环腔折算流速0.5 m/s,安注流速10m/s的典型工况,研究了安注水开启后下降环腔内的瞬态流动换热特性,数值模拟与实验结果吻合良好。考察了压力容器安注接管出口区环形焊缝区及堆芯段筒体中子强辐照区所承受的热冲击状况,基于稳态流动研究了下降环腔内流体混合特性及流动机理,为热冲击分析提供参考。 相似文献
5.
厚壁三通管件非等温横向射流的数值模拟研究 总被引:1,自引:1,他引:0
为了研究压水堆核电站冷却剂系统中厚壁三通管件的热应力问题,模拟了速度比分别为0.05和0.5条件下的非等温横向射流,并通过固体区域与流体区域的耦合传热计算,获得了厚壁管件的温度分布。计算基于有限容积法,采用κ-ε紊流模型,计算结果与实验吻合良好。通过研究流速比横向射流的流动和传热特性,从流动机理上考察了流动结构对构件温度分布及热应力的影响,指出在实际运行中可能对厚壁三通管件产生热冲击,从而引起构件热疲劳破坏的主要因素。定性地讨论了不同流速比下构件承受的热冲击状况,为运行参数及构件的优化设计提供了理论依据。 相似文献
6.
钢铁表面敏化发黑剂及使用该发黑剂的发黑工艺方法公开号 1 4 53394 申请人 柳州市建筑机械总厂 地址 5450 0 5广西壮族自治区柳州市龙泉路3号 一种常温钢铁表面敏化发黑剂及使用该发黑剂的发黑工艺方法,该发黑剂包括敏化剂及常温发黑液,其配方为:①敏化液:CuSO # -[4]·5H # - [2 ]O :4~1 0g/l,NiSO # - [4]·7H # - [2 ]O :1~5g/l,柠檬酸钠:4~1 0g/l,酒石酸:4~1 0g/l,氨基磺酸:4~1 0g/l,H # - [2 ]O :余量,pH =2~4 ;②常温发黑液:硫化钠:40~1 0 0g/l,乙醇:2 0~50ml/l,H# - [2 ]O :余量,pH =8~1 0。将该发黑剂… 相似文献
7.
用规则微小横肋模拟固体表面粗糙度,数值模拟和分析粗糙元间局部流动和换热特性.结果显示,在粗糙段各粗糙元间流动结构会发生变化,大体上可分为入口区、中间区和出口区.入口区流动变化比较快,不同粗糙元间壁面涡结构显示出很大不同;中间区则出现较稳定的单涡结构;与入口区类似,出口区流动结构又发生比较大的改变.阻力曲线从入口处粗糙元间的“W”形,逐渐演化到出口处正弦曲线形;换热曲线基本呈中间高、边沿低的趋势.研究表明,特定粗糙段各粗糙元间流态变化导致局部阻力和换热特性有所不同. 相似文献
8.
广义无干扰属性规约了多级安全系统中具有传递性质的安全策略,而对于不满足传递性的策略则无法刻画.文中首先对广义无干扰属性进行扩展,提出了非传递广义无干扰属性的概念,进而可以规约无传递性的安全策略.文中提出了一种可符号化实现的非传递广义无干扰属性验证方法.该方法主要基于证伪和证真的基本验证策略,通过集成反例搜索和归纳证明完... 相似文献
9.
传统的语法信息流分析方法均基于实施机密性安全策略的信息流格模型,而格关系的传递特性使得该方法不能用来分析实施无传递性安全策略的系统的安全性。提出一种新的标识隐蔽信息流的语法信息流分析方法,该方法对实施具有传递性和无传递性安全策略的系统均适用。将信息流语义附加在每条语句之后,定义一种称为信息流时序图的图结构来刻画信息流发生的时序关系,给出了基于源程序的信息流时序图的构造方法,提出了一种基于时序图的隐蔽信息流的标识算法。另外,针对并发程序的并发特性,提出了一种简化信息流时序图的方法,在该方法下只要考虑并发进程之间特定的交互次序即可,而不需要考虑所有可能的交互方式。 相似文献
10.
统一扩频测控体制的初步探讨 总被引:3,自引:2,他引:3
分析了我国航天测控面临的新问题、新要求和现行航天测控体制的局限性,对新的统一伪码扩频测控体制进行了初步的描述和设计。 相似文献