论文部分内容阅读
审核是系统安全的关键技术之一。从系统安全性的角度分析对行为的状态实施审核的必要性,为多角度系统审核提供了理论依据,扩大了系统审核对象范围;制定针对不同对象的审核策略描述形式,为审核技术的研究与设计提供了系统的理论分析工具;最后给出了系统实现。
基于行为和状态的多角度系统审核研究
【摘 要】
：
审核是系统安全的关键技术之一。从系统安全性的角度分析对行为的状态实施审核的必要性,为多角度系统审核提供了理论依据,扩大了系统审核对象范围;制定针对不同对象的审核策
【机 构】
：
国防信息学院
【出 处】
：
智能计算机与应用
【发表日期】
：
2012年1期
【基金项目】
：
国家973重点基础研究发展项目（2011CB302301）,国防信息学院重点预研项目（TXZH20110501）
其他文献
目的 分析中西医结合治疗老年难治性高血压的疗效。方法 选取老年难治性高血压患者106例,将其随机均分成治疗组和对照组（n=53）,给予对照组西医治疗,给予治疗组中西医结合治疗,
目的观察苯磺酸氨氯地平对老年原发性高血压的治疗效果。方法选取48例老年原发性高血压患者为研究对象,所有患者均给予苯磺酸氨氯地平,观察治疗前后患者血压水平、左心房容积
摘 要：合作学习是新课程倡导的一种行之有效的教学方式，可以解决通过个人独立无法得到答案的一些疑难问题，提高学习效率，同时能够让所有的学生都能参与到课堂问题的讨论中。本文首先分析了小学数学课堂上合作学习存在的问题，然后以此为基础提出了切实可行的解决对策。 关键词：小学数学;合作学习;问题;对策 通过合作学习能够调动全班所有学生的参与积极性，在合作解决问题的过程中交流思想，增进同窗友谊;能够让不同
目的分析经侧裂-岛叶显微手术清除基底节区脑出血的治疗效果。方法研究对象选取68例高血压基底节区脑出血患者，均接受经侧裂-岛叶显微手术清除血肿。治疗后随访1年，对比分析患
随着素质教育和新课改的推行,高中历史教学不仅要给学生传授历史基础知识,还要培养学生的历史核心素养。 本文探讨基于核心素养培育的高中历史教学模式。
本文采用富里叶分析将潮波分成各个分频率叠加,针对每一个频率,运用边界元技术来数值求解潮波控制方程,最后线性叠加,得到了全场的水位和流速分布,并同买测资料进行了比较,效
目的探讨利尿剂在慢性肺源性心脏病合并右心衰、Ⅱ型呼吸衰竭中的应用时机及治疗效果。方法选取100例慢性肺源性心脏病合并右心衰、Ⅱ型呼吸衰竭患者,随机均分为2组（n=50）,存在
目的设计一种医学检验样本贮存柜在临床样本采集中的应用价值。方法选择我院体检中心健康志愿者捐献的凝血功能样本30份及本院肾内科红细胞、白细胞、管型及亚硝酸盐阳性尿沉
本文研究了湍流底层条带结构，包括条带结构的影响因素和动力特性，条带结构的理论模式和条带结构的控制等三部份。对条带结构的主要影响因素进行了试验，得出了慢速流带无因次间距
本文根据ＰＳＩ－Ｃｅｌｌ模型，用差分法计算，分析了喷嘴内的气固两相流动和喷嘴外的自由射流，不计颗粒间的相互作用，粒子自旋，粒子和固壁间的碰撞模型为非规则模型，并将部分计算结果与实验作了比较