嵌入式操作系统虚拟机隔离性的测试方法研究

虚拟机隔离性是实现嵌入式操作系统高可靠性的主要技术手段,但传统的可靠性测试方法对虚拟机隔离性并不适用。针对以上问题,在简述了虚拟机的空间隔离、时间隔离、中断资源隔离、数据耦合隔离等4项测试内容基础上,结合核心虚拟机、应用虚拟机、IDLE虚拟机、时间表调度、优先级调度、虚拟服务、共享内存等概念,详细分析和说明了虚拟机这些隔离的13种具体测试方法,为保证嵌入式操作系统可靠性提供了一种新的尝试。

服务计算模式的耦合性与隔离性

服务计算作为Internet分布式计算的一种高层模式近年受到广泛的关注,但人们对刻画其计算环境特征的耦合性度量的认识仍然停留在词语的层次,针对并发过程正确性的有关隔离性的讨论普遍与服务计算的松耦合性内涵相分离。该文给出了计算模式耦合性的诠释,阐明了聚合服务计算模式的事务处理能力的局限性,探讨了通过在服务计算脚本中拆离或归约并发临界区等途径来寻找保证并发隔离性实现的做法,提出了不期望在松散耦合服务计算环境上得到隔离性保证的聚合原则。

基于弱隔离性的事务内存冲突分析

事务内存是一种扩展性好、易于编程的并行编程模型,其核心技术在于事务冲突的检测和处理.已有研究工作主要关注于冲突检测机制,但缺少对如何减少事务冲突的深入研究.分析表明,冲突概率的增长会严重降低事务内存系统的性能,并且随着处理器核数目的增长,这一问题会变得更加严重.研究发现,事务系统中弱隔离性模型的使用可以系统性地减少事务执行中的冲突,从而提升程序执行效率.基于该研究,提出了弱隔离性冲突检测方法(weak isolation conflict detection,WICD),并在SESC事件驱动模拟器上对WICD进行实现和评估,结果表明,与传统的严格隔离性模型相比,弱隔离性模型下最高可以减少35.7%的事务冲突,提升系统性能最大为31.0%.基于WICD的方法,通过对部分冲突进行立即检测,进而提出了一种改进的弱隔离性冲突检测方法(enhanced WICD,EWICD).实验表明,EWICD对于事务冲突的减少比率和WICD近似,最高达到33.8%,对系统性能的提升优于WICD,最大达到36.8%.

疫情下老年公寓隔离性入口空间设计

为了缓解疫情对高龄老人的生命威胁,降低养老机构老人的感染风险。结合老年公寓空间特性和设计规范,调研并分析老年公寓入口设计现状,针对具体问题参照优秀的设计案例提出优化建议。针对老年公寓入口区域聚集性高、布局不合理、隔离空间和措施缺乏的问题,从布局、功能、流线、设施设备方面提出具体解决措施。入口空间隔离性设计,能够促进疫情下养老公寓隔离的效率,降低老年人的感染风险。

后疫情下养老机构建筑入口空间隔离性设计

为今后老年人居住建筑的常规化预防隔离设计、改造提供参考,从建筑上规避传染性疾病的风险。结合疫情突发期间对于入口空间的隔离应急需求,探讨由入口空间的室外空间与室内空间两部分组成的建筑入口空间。通过分析现有案例发现疫情特殊时期存在的应急及隔离问题,整理出养老机构建筑入口的设计注意事项。养老建筑一般会在入口空间处设置公共活动区域,人流量较大,疫情防控期间的隔离应急措施非常必要,应保留公共空间的灵活性,交通流线的独立性,将疫情防控应急措施纳入常态化建筑设计的考虑范围之内。

基于SDN的网络虚拟化平台及其隔离性研究

随着云计算的高速发展,虚拟化正成为近年来在企业级环境下广泛应用的技术。除服务器及存储虚拟化外,在SDN和Open Flow技术的推动下,网络虚拟化成为热点,基于SDN的网络虚拟化平台也应运而生。在分析基于SDN的网络虚拟化设计目标的基础上,对近年来业界推出的4种典型SDN网络虚拟化平台的系统架构和原理进行了对比,并对其安全和隔离性进行了分析总结。

分组传送网承载电力多业务的隔离性与关联性分析

电力通信网络各安全分区业务通过分组传送网(PTN)进行承载,其隔离效果亟须得到验证。文中围绕电力PTN业务安全,基于标签交换路径(LSP)和端到端的伪线仿真(PWE3)技术,从安全脆弱性角度分析电力业务间的风险关联特性。针对不同安全分区电网业务,建立了伪线业务间的风险关联模型。仿真结果表明,PTN在承载各类安全分区业务时,若发生网络拥塞,PTN承载的安全Ⅱ区(高等级)业务丢包率变化几乎为零,时延稳定性较高,展现了PTN良好的隔离性;PTN承载的安全Ⅲ区和Ⅳ区(低等级)业务则会受到不同程度的影响(丢包变化百分比分别小于1%和10%),Ⅲ区业务存在一定的时延抖动,而Ⅳ区业务时延稳定性较差。此外,文中研究了电力弹性业务间的影响传播过程。结果表明,随着业务邻居阶数增加,丢包率和时延稳定受影响程度逐渐降低,且各阶邻居受到的影响呈现正负交替特性。总体来看,在合理设置安全分区业务的服务等级和服务质量(QoS)配置的情况下,PTN具有良好的通道隔离效果,可保障电力信息的安全可靠传输。

肢体隔离性灌注的兔实验模型研究

目的 建立近似生理状态的肢体隔离灌注兔模型。方法 超声测算兔股动脉平均血流速度 :以小型膜式氧合器及蠕动泵建立体外肢体隔离循环 ;观察不同氧流交换速度引起的灌注前、中及后的血气值的改变 ;不同的循环流速产生循环障碍的时间、发生概率 ;灌注的不同时间血糖值变化及补充血糖与未补血糖的差异 ;灌注前后肢体围径的改变。结果 超声测量结果 :左右股动脉各参数无差异 ,对于分组实验结果无影响 ,总平均流速为 (12 .0± 1.8)ml/min。血气分析 :无氧灌注 pH值低于灌注前及生理值下降 ,PCO2 值高于灌注前及生理上限值 ,PO2 值低于灌注前及生理下降值 ;10 0ml/min氧流组灌注前后 pH值 ,PCO2 值相接近 ,PO2 值灌注后虽高于灌注前 ,但在生理范围值内 ;2 0 0ml/min氧流组 pH值及PO2 值明显高于灌注前 ,也超出生理正常值范围。第 30分钟血糖值低于生理正常值 ,补充血糖后与灌注前血糖无差异 ,补充血糖组与未补血糖组有差异。循环流速在 10～ 12ml/min之间 ,循环障碍为零。灌注前后肢体围径无差异。结论 根据超声提供的流速参考 ,灌注中适当调整 ;10 0ml/min氧流交换结合灌注中补充血糖 。

虚拟化性能隔离性分析与研究

虚拟化和云计算的运用,给虚拟化仪器测量带来了新的发展方向。性能隔离性是虚拟化评估的一个重要指标,尤其是对商业虚拟平台,虚拟机监视器如何将计算资源隔离,让每个虚拟机公平且充分地利用物理资源非常重要。VMware ESXi和XenServer是2个出名的商业虚拟化软件,已经被很多企业数据中心或云计算中心所采用。通过单一虚拟机和多虚拟机之间的性能测试比较来分析2款虚拟软件的隔离性能,并根据不同的企业服务需求给出相应的虚拟化方案选择建议,从而对虚拟机开发者和企业使用者给予有用的参考。

松弛隔离性下的事务性网构应用并发控制研究(英文)

网构软件是指导Internet环境下协作式软件开发的一种新的软件范型,网构应用可以通过组合Internet上已有的web服务来方便地进行构造。事务机制是保障网构应用可靠性的重要技术。web服务的自治性及网构应用的长时间运行特性使得事务间的隔离性必须被放松,因而必须研究如何保障事务性网构应用在松弛隔离性下并发执行时的正确性。针对这一问题,提出了一种新的并发控制方法TSCM-CC(事务性服务复合模型-并发控制)来协调并发事务的相互影响。首先,根据依赖双方服务的事务特征对事务间依赖的类型进行细分;然后,提出了一系列的规则来限制依赖的动态形成,并证明了这些规则的正确性;最后,给出了这些规则的一个分布式的协调协议的实现机制。此方法的最大特色在于能够在保持各个事务性网构应用松弛原子性的同时保证松弛隔离性下并发执行的正确性。

基于Docker技术的容器隔离性研究

Docker的核心思想是利用扩展的LXC(Linux Container)方案实现一种轻量级的虚拟化解决方案。Docker主要利用kernel namespace来实现容器的虚拟化隔离性,保证每个虚拟机中服务的运行环境的隔离。Docker的隔离机制降低了内存开销,保证了虚拟化实例密度。本文从Docker的工作原理出发,详细分析了Docker的虚拟化隔离技术和容器隔离方案的实现。

基于Docker技术的容器隔离性分析

Docker技术是一种基于Linux操作系统内核的虚拟化技术,其主要在于借助对LXC(Linux Container)的扩展而达到一种虚拟化的解决方案。其能够保障每一个容器中服务的运行环境是保持隔离的,这主要是通过内核命名空间的特性来完成。由于Docker隔离机制的独特性,运行资源的开销较低,能够很好地保障虚拟化的密度。文章基于Docker的工作原理展开研究,对Docker的虚拟化隔离技术及容器隔离方案做出了详尽的分析与讨论。

针对云计算IaaS隔离性的测试系统

为解决IaaS云计算隔离性的测试问题,通过分析和总结已有的隔离性的测试方法,设计并实现了针对云计算IaaS基于消息中间件的分布式测试系统.实现时,采用基于消息中间件的分布式架构,并将控制端与测试端独立,降低了耦合性,增强了可扩展性.在OpenStack云计算环境中进行测试,验证了系统设计的可行性.该测试系统适用于云服务安全的其他能力测试.

GCL对铜离子吸附和隔离性能试验研究

采用蒸馏水和0.01 mol/L铜离子溶液分别水化钠基膨润土防水毯(以下简称GCL)进行渗透试验,并用0.01 mol/L铜离子溶液代替蒸馏水测试GCL渗透系数和渗滤液中铜离子浓度;分析了不同水化处理对GCL吸附铜离子和防渗性能的影响。结果表明:不同水化方式预水化的GCL对铜离子都具有优异过滤效果,两种水化方法对铜离子过滤能力都达到99%以上;相比于0.01 mol/L铜离子溶液直接水化,蒸馏水预水化后GCL吸附性能较好,但防渗性能随着时间的增加而变差。

具有电隔离性能的可关断可控硅门极电路

本文针对目前常采用的门极电路进行了分析,提出了具有电隔离性能的可关断可控硅门极电路。经过严格的试验证明,该门极电路性能优异,应用在逆变器上可使其可靠性大为提高。

劳动生产率冲击、汇率隔离性与汇率制度选择——来自于中国的证据

对外来冲击的隔离能力大小是影响一国汇率制度选择的重要因素。作为处于赶超中的新兴发展中国家,我国汇率受到劳动生产率增长速度差异这一实际变量的冲击,汇率制度又经历了从钉住美元向管理浮动汇率制度的重大变革,研究不同汇率制度下外来冲击对我国经济的影响程度对于丰富汇率制度选择理论具有重要意义。开放经济下,汇率的隔离性具体表现在两个方面,一是实际汇率的稳定性;二是汇率波动对贸易的影响程度。本文假设我国汇率所受外来冲击来自于劳动生产率增长速度差异,通过对比分析钉住美元和管理浮动汇率制度下实际有效汇率波动的特点,发现管理浮动汇率制度下(下文简称浮动汇率制)虽然名义汇率波动较大,但由于工资、价格调整幅度较小,实际有效汇率的稳定性并不弱于钉住美元汇率制(下文简称钉住汇率制);进一步分析实际有效汇率对我国出口的影响,发现无论短期或是长期,管理浮动汇率制度下实际有效汇率变化对我国出口的影响程度小于钉住美元汇率制,影响时滞也相对缩短。研究结果表明,管理浮动汇率制度的实施,加快了我国汇率调整速度,削弱了汇率对贸易影响,增强了汇率隔离性。

欧洲玉米螟E系和Z系性隔离性状的基因定位

目前已知，欧洲玉米螟Ostrinia nubilalis（Htibner）性通讯系统的性信息素组分在雌雄交配识别和交配选择中发挥着重要的作用，且其E系和Z系雌性信息素产生比例和雄性行为反应的不同是由2个主效摹因控制的，故欧洲玉米螟足一个研究性隔离遗传基础的独特模式系统。尽管欧洲玉米螟的各个系在外部形态上是不能区分的。

云计算中心多用户网络隔离性安全检测研究

为提高云计算中心网络安全性,提出云计算中心多用户网络隔离性安全检测方法。采用相空间分布式重构法构建样本序列分布结构模型,建立了云计算中心多用户网络隔离性安全特征量,结合信息融合方法进行多用户网络隔离特征模糊关联规则分布集重组,提取了安全信息的谱特征量,采用机器学习寻优法进行云计算中心多维信息搜索和模糊聚类处理,实现多用户网络隔离性安全检测和特征识别。仿真对比实验表明,该方法对入侵的检测结果与实际结果基本一致,误差识别率低,更具实用性。

一个与隔离性定理等价的定理

在讨论集合与集合的位置关系时,有 定理、设F1,F2是二有界闭集,F1∩F2=（?）,则有开集G1,G2使G2F2,G1nG+2=（?）. 这个定理叫做隔离性定理,它与下述定理等价。 定理1、设F1,F2是二闭集,其一有界且F1∩F+2=则有闭集E1F1,E2F2,且p（E1,E2）>0.

消除犬隔离性焦虑的训练方法

不分年龄、性别或血型，任何犬都有可能患上隔离性焦虑。宾西法尼亚大学的教授伊丽莎白研究发现，患有隔离性焦虑的犬过度依赖主人。它们常跳向主人，全天都跟着他们并像象皮糖一样粘着他们。有趣的是，她发现让犬跟你一起睡，让它在餐桌上吃饭，带它出差对于“治愈”隔离性焦虑毫无用处。