用于虚拟化环境的进程隔离方法研究与实现

针对虚拟化环境中用户进程运行安全问题,提出一种适用于虚拟化环境的进程隔离方法.该方法引入安全域作为进程隔离保护的基本单元,安全域是进程以及进程运行过程中依赖的环境构成的整体,通过建立安全域之间的依赖关系和安全域之间信息的交换规则,确保进程初始安全和运行过程中的隔离性.给出了安全域的相关概念和形式化描述,以及安全域之间信息流交换和依赖关系的建立方法和相关证明.以Xen虚拟化系统为基础,给出了该保护方法的具体实现以及实验结果,实验结果分析表明:该方法在虚拟化环境中能够抵御多种攻击手段,额外执行开销不超过10%.     

采用全数字接收机的航管二次雷达系统研究

全数字接收机技术的应用越来越广泛,本文给出了一种采用全数字接收机技术的航管二次雷达系统方案,对系统中全数字接收机部分进行了重点论述.经实际使用,证明了全数字接收机技术应用于航管二次雷达系统中是可行的.     

基于全生命周期成本的聚丙烯纤维增强水泥基建材成本分析

采用聚丙烯纤维增强水泥基建材不仅能够提高废聚酯的回收利用率，还能减少建材生产成本.将全生命周期理论纳入水泥基建材生产过程的成本分析，对材料生产的全过程费用进行拆分，梳理生命周期成本分析清单，以聚丙烯纤维增强水泥基建材为实际算例，通过对比分析玻璃纤维水泥基建材和聚丙烯纤维水泥基建材，测算出较为经济的绿色建材生产技术，为绿色建材生产打下坚实基础.结果表明，聚丙烯纤维水泥基复合材料相对降低了材料成本和环境治理成本，采用聚丙烯纤维作为增强剂，使产品生产过程的成本降低了13%.     

离子基团分布对阴离子交换膜扩散渗析的影响

为揭示离子基团结构及其分布对阴离子交换膜(AEM)扩散渗析行为的影响,设计并制备了3种侧链型离子结构和1种主链型离子结构的聚芳醚砜阴离子交换膜.对所制备的膜的结构以及基础性能、耐酸性、机械性能、扩散渗析性能等进行了系统表征,发现对称离子结构有利于提高膜的离子渗透选择性,且主链型对称离子结构有利于形成更为紧致的聚集态结构,进而增强离子渗透选择性.基础性能、耐酸性及机械性能测试结果表明,所制备的膜满足扩散渗析工艺的要求.模拟废酸扩散渗析实验结果表明,所制备的AEM的扩散渗析性能优于商业膜TWDDA1,尤其是主链型QMPAES膜的酸渗析系数达0.025m/h,分离因子达42.49,在废酸回收领域具有很好的应用前景.     

基于全尾砂级配的膏体新定义

基于全尾砂特性的不同,提出定量化具有普遍性和工程应用性的膏体新定义。运用八因素十水平均匀设计方案研究不同尾砂粒级组成对浆体泌水率的影响。研究结果表明:当全尾砂颗粒半径超过70μm时,颗粒基本不具有保水性能;粒度为20~98μm的尾砂颗粒对浆体的泌水性能影响较大,尤其是粒度为20~37μm的尾砂颗粒;膏体新定义的提出使不同矿山不同特性全尾砂所能配制的膏体得到了统一规范化和定量化。     

碘化N-正丁基氟哌啶醇对大鼠缺氧复氧心肌细胞钠钙交换体电流的抑制作用

碘化N-正丁基氟哌啶醇(N-n-butyl haloperidol iodide,F2)为本研究室改造合成的新化合物。前期研究发现F2作为L-型钙通道拮抗剂,能剂量依赖地拮抗缺血再灌注所导致的大鼠心脏损伤。研究F2对缺氧复氧(hypoxia/reoxygenation,H/R)大鼠心肌细胞钠钙交换体电流的作用并探讨其保护机制。采用Langendorff灌流系统灌流SD大鼠心脏,标准酶解法消化分离得到单个心室肌细胞。正常台式液灌流5min,立即灌流充90%N2-10%CO2的缺氧液,建立体外心肌细胞H/R模型,采用全细胞膜片钳技术记录对照、模型以及不同浓度F2(0.1、1、10μmol/L)对心肌细胞钠钙交换体电流,观察H/R状态F2对心肌细胞钠钙交换体电流的影响。结果显示:缺氧抑制钠钙交换体电流主要是抑制外向电流;H/R引起钠钙交换体电流增大,尤其是外向电流的增大。F2呈浓度依赖地抑制钠钙交换体电流,钠钙交换体电流I-V曲线上移。以上表明:F2能抑制钠钙交换体电流,尤其是外向电流,防止H/R时心肌细胞的钙超载,保护心肌细胞。     

初等交换群凯莱图的完备码与完全图的正则覆盖

LEE证明了超立方体图Q_n存在完备码当且仅当n=2~m-1(m≥2是自然数),当且仅当它是完全图K_(n+1)的正则覆盖.本文中,给出了这个结论的一个简单证明,并把这个结论推广到了初等交换群的凯莱图中.证明了初等交换p-群Z_p~n(这里p是奇素数)的凯莱图有完备码当且仅当n=(p~m-1)/2 (这里m是自然数且n≥2),当且仅当它是完全图K_(2n+1)的正则覆盖.     

平原城市隧道洞外环境比实测及洞外亮度研究

隧道洞外亮度L20(S)是隧道照明设计所考虑的一个最重要的基本参数。只有准确掌握了洞外亮度情况,才能结合隧道土建参数进行科学的照明设计。我国公路隧道洞外亮度L20(S)选取时,天空面积百分比一般为0。平原城市隧道由于其自身特点,隧道洞外环境比例与公路隧道有所差别,天空比也不一定为0,因此设计阶段很难准确确定洞外亮度。结合郑州某城市隧道洞外环境实测数据,研究隧道洞外天空、墙面、绿化及洞内等各环境要素比例,并采用查表法和环境简图法验证原设计洞外亮度取值与相关规范的贴合度,同时给其他城市隧道照明设计提供指导意见和基础数据。     

求解聚合组播问题的多种群蚁群优化算法

传统的IP组播技术使用树状结构传递组播分组,要求树上的路由器为每个组保存一个转发状态,这样当网络上并发的组播组过多时会面临着组播状态扩展性问题。最近提出的聚合组播技术强迫多个组播组使用一棵共享的组播树来解决这个问题,这是一个NPC问题。提出一种基于多种群的蚁群优化算法来求解聚合组播问题。每个种群根据使用模型的不同使用不同的适应度函数、不同的启发式信息和不同的解构建过程,也就产生了不同的搜索轨迹和特点。算法设计了种群之间的交换整个信息素表和交换最优迭代解的两种信息交换方式。仿真结果显示,两种方法都能够取得比任何一种单独算法更好的优化效果,提高了算法的收敛时间。     

τ-奇异子模的若干性质

本文讨论了τ-奇异子模的若干性质,当M是τ-FI-extending模时,证明了Z_τ~2(M)是M的直和因子且是τ-FIextending模.进而,研究了N≤-(τ-e)M与M/N是τ-奇异的等价条件.