摘要：提出了一种适应于可信计算平台系统设计的抽象模型,该模型借鉴信息流的基本无干扰理论,利用进程代数和逻辑推理方法,将系统抽象为进程、动作、状态和输出,形式化地定义了进程运行可信,给出进程运行可信的条件和性质,推出进程运行可信隔离定理,在进程运行可信基础上给出系统运行可信的定义,并证明了系统运行可信判定定理。该模型建立在逻辑推理基础上,不依赖于特定的安全机制和实现方法,任何一种符合这个模型的实现方法,都可以达到系统运行可信的目标。

摘要：基于信息流的安全模型较访问控制模型优势在于更本质的描述了什么是安全,自提出信息流的无干扰概念以来信息流模型就成为安全研究的中心之一,并提出了很多种无干扰模型。针对现存几种安全模型存在建模工具与分析工具不一致、不支持多级安全系统等问题。在广义无干扰模型以及聚合属性的基础上提出一种支持多级安全系统、多等级信息流策略状态转换且包含聚合属性的信息流安全模型,并给出了信息流策略的正式语义。

摘要：安全模型是网络空间安全研究的基础和起点.以机密性为例,历史上研究人员率先提出了BLP(Bell-LaPudula)模型,BLP从思想上精确把握了机密性“不上读,不下写”的本质,但在设计上存在不足,这导致BLP自身存在隐通道等缺陷.为此,研究人员基于信息流提出了无干扰的思想.无干扰通过研究“攻击者在系统内信息流动的过程中,能否通过观察系统所到达的不同状态之间的差异以非法获取机密信息”,来分析系统的安全性.目前,无干扰模型已成为事实上机密性领域的基础模型.当前无干扰分析主流(甚至唯一)的方法是Rushby所提出的视图分区(view-partition)方法.但是,视图分区方法的3条规则难以转化为可机械计算的递归形式,且缺少直观的数学解释,这使得无干扰模型的属性验证和实践应用长久以来一直难以取得进展.近年来,随着无干扰模型在可信计算、云计算和机密计算等新型计算领域获得广泛应用,上述问题进一步凸显.针对无干扰模型的分析和验证问题,提出了一种称为伙伴状态机(buddy state machines)的无干扰分析改进方法.该方法通过分析真实(real)和理想(ideal)两个状态机在同步运行过程中的状态等价关系,实现对无干扰属性的分析和验证.基于伙伴状态机,建立了一种新的无干扰模型形式分析框架;给出了可靠和完备的无干扰成立条件;提出了O(|S|^(2))时间复杂度的无干扰属性验证算法,为无干扰模型的分析、验证和应用提供了一种可参考的改进方法.

摘要：无干扰晶闸管调动器王德明（牡丹江师范学院物理系１６７４２２）为了解决晶闸管调压器在实际应用中产生射频干扰的问题，我在“家用电器”实验教学中，设计制作了一台与晶闸管调压器功能相似的、无射频干扰、体积小、重量轻、功率大、成本低的功率调解器，简称为调功器．...

摘要：干扰问题是列控车载设备中,监测系统和其他安全系统交互时面对的关键问题。基于对现有无干扰技术和模型的研究,运用无干扰的终端安全模型原理,结合车载在线无扰实时监测系统的设计方案进行分析,详细地探讨无干扰技术在车载在线无扰监测系统的实际应用,明确无干扰技术对列控车载监测设备的保障意义。

摘要：任何直流稳压电源其输出端都避免不了带入滤波不干净的交流分量和干扰杂波成分,在电台接收机中表现为背景噪声。开关电源特别的工作方式,其内部电路非线性元器件工作时产生大量谐波干扰信号。专业为通信设备使用的电源从电路设计和整机结构均特别采取了减少和消除这种干扰的措施。非专业通信电源，由于受经济成本的限制或采取的消除干扰措施不当，仍然会存在明显的干扰现象。

摘要：工程设计需要根据项目现有的有限资源,以节约造价及选用运行费用较低的系统方案为前提。本文从实际工程出发,介绍了地岩热这种清洁可再生能源的有效应用,并对项目的初投资和后期运行费进行了分析。

摘要：针对在煤层气开发中各区块都没有考虑井况参数不同、区块地层能量不同就直接并输导致气井产量减少问题,提出了采用无干扰并网集输技术,利用高压井能量输送低压井,并建立了一套无干扰并网集输装置的设计方法。介绍了无干扰并网集输装置的工作原理及结构,确定了以无干扰并网集输装置的喷射系数作为设计指标和计算依据,给出了计算无干扰并网集输装置结构尺寸的公式,通过该方法设计了无干扰并网集输装置。采用Fluent数值模拟方法对无干扰并网集输装置进行流场仿真,通过仿真模拟,揭示了装置内部的流动规律,验证了利用无干扰并网集输装置将低压井从0.14 MPa增压至0.19 MPa,实现利用高压井带动低压井增压输送目的。仿真结果表明,当喷嘴直径在42~46 mm时,为喷嘴直径最佳参数范围;当喉管直径在54~56 mm时,为喉管直径最佳参数范围。

摘要：美国Ｂａｋｅｒ石油工具公司新近研制出ＨＣＭ型遥控液压滑套。该装置是将ＣＭ型滑套与大斜度、延伸的侧钻井中无干扰流量控制的Ｔ系列安全阀的保护和遥控性能相结合而设计的 ,被驱动的遥控液压滑套能够在几分钟内消除复杂油田环境中的干扰及其相关联险情。使用能够重复活动的双液压控制线便可在地面开 /关这个滑套 ,而且该装置还可适用于小井眼井和具有复杂油管、套管配置的注入井。因为它能在井底关闭 ,所以使不稳定试井期间的井筒储存效应减至最低限度 ,并缩短试井的关井时间。复合滑套可用于目的层或混合层的开 /关控制。高强度热塑扩散器环和一组高强度密封件能保持密封的完整性。无干扰流量控制技术@刘志庆美国《JPT》

摘要：可信计算规范要求可信计算平台上运行的所有组件均要保证可信,这一机制严重制约了可信计算平台的应用.本文提出一种容忍非信任组件的可信终端模型,与现有可信计算平台相比,该模型允许非信任组件的存在,但同时能保证安全结果可预测和可控性.模型分为可信域和容忍非信任组件的不可信域.基于信息流无干扰理论和域间无干扰思想,给出非信任组件容忍机制并推导出可信终端应满足的充分条件.在此基础上给出具体的物理模型设计,并证明该模型为可信终端模型.