一种高效的虚拟桌面可信保证机制

虚拟桌面系统与传统PC桌面系统结构的不同,导致其在保证安全机制自身可信的同时,也会带来“语义差别”和效率降低等问题。本文提出了一种安全虚拟机完整性监控机制SVMIM（Security Virtual Machine Integrity Monitor）。SVMIM采用混杂模式的安全结构,基于可信计算技术对虚拟桌面系统的代码加载过程进行监视和控制,有效克服“语义差别”问题,并保证安全机制自身的可信;同时,SVMIM基于虚拟桌面网络引导机制,在网络存储端使用存储克隆技术,最大程度地降低安全机制对系统性能的影响。系统性能分析和基于SVMIM原型系统进行的实验表明该技术是可行的,并且相对于传统的虚拟桌面安全保障方案具有较大的性能优势。     

基于表面反应和扩散迁移控制的灰岩单裂隙渗流—溶解模型及其数值模拟

针对碳酸盐类可溶岩地区水电站坝址流场、化学场以及固相介质属性等随时间发生改变,从而对工程安全运行造成不利影响等问题,研究了灰岩地区地下水运移过程中各物理场间的相互作用,分析了影响灰岩溶解速率的两个因素,即表面反应控制和扩散迁移控制。在此基础上,建立了单裂隙中的渗流—溶解耦合模型,并进行数值求解。模拟结果表明,在垂直裂隙延伸方向,其溶蚀锋面为非齐整平面,而是呈似“虫洞”状非均一变化,而沿裂隙延伸方向即自上游侧向下游方向溶蚀程度逐渐减轻;而通过裂隙的流量呈现随时间逐渐增大的趋势,但变幅不大;根据流量求得的等效水力隙宽,其增幅和增长速率均小于实际平均隙宽;同时,化学场中Ca2+浓度的分布与裂隙开度变化具有相似性,不同时刻下上游侧反应速率R均大于下游侧。就反应机制而言,在初期均受表面反应控制,而随反应进行,位于上游补给区部位转为受扩散迁移控制,但在下游位置仍受表面反应控制。     

板坯连铸结晶器Co基合金涂层抗冷热疲劳性能研究

采用HVOF对板坯连铸结晶器窄边CrZrCu板喷涂C0基合金涂层，与电镀Co—Ni镀层进行对比分析。结果表明：450℃下进行冷热疲劳试验，Co基合金涂层经过113次后，涂层还保持完好无损，未出现任何缺陷，而电镀镀层只能承受37．8次；800℃时，Co基合金涂层经过29．4次冷热疲劳后，有3l％的涂层剥落，而电镀层只能承受21．4次。这说明HVOF涂层具有非常高的抗冷热疲劳性能。     

High Temperature Creep Deformation Mechanisms of a Hot Corrosion-Resistant Nickel-based Superalloy

Creep properties of the experimental superalloy were investigated in the temperature range 1073–1223 K and stress range 110–550 MPa. The observations of dislocation structures during different creep conditions reveal that in the high stress region, particle-shearing mechanisms including stacking fault formation and antiphase boundary creation are operative and in the low stress region, the dislocation climb mechanism is dominant. From the plot of minimum creep rate versus applied stress, a very low stress region with exponent n < 2, which is related to diffusional creep, is found. Based on the experimental results, a stress–temperature creep deformation mechanism map for the alloy is constructed. On the basis of particle hardening theories and various dislocation-creep theories, the dislocation-creep transitions in terms of internal stress are discussed and calculated threshold stresses of various creep deformation mechanisms indicates that the particle shearing is easier to operate than Orowan looping at high stresses, and general climb is easy to happen at low stresses.     

Improving the fatigue performance of longitudinal welded joints by low transformation temperature electrodes

0　IntroductionAfatigueisoneofthemainfailurescausesofweldedstructures.Manyexperimentshaveshownthatfatiguestrengthsofweldedjointsaremuchlowerthanthoseofbasemetal.Thefatiguecrackmainlyinitiatesatweldtoe ,becausetherearetensileresidualstressesandstressconcentrationinthisregion ,sothatthefatiguestrengthcanbeincreasedbybothmodifyingstressdistributionatweldtoeanddecreasingstressconcentration .Therearemanymethodstoimprovethefatiguestrengthsofweldedjoints[1,2 ] ,forexample ,TIGdress ing,hammerpeenin…     

本钢浦项冷轧薄板机组的工艺特点

介绍了本钢浦项冷轧薄板有限责任公司的概况及主要机组的工艺技术特点。该项目的工艺和装备达到了国际先进水平，具备了生产汽车板和高档家电板的能力。     

超音速微粒高能轰击16MnR钢表面纳米化的研究

采用冷气动力超音速微粒高能轰击技术对16MnR低合金钢表面进行处理,利用扫描电镜、透射电镜和X衍射方法对基体表面的微观形貌和结构进行分析.试验结果表明:试样经过超音速微粒轰击处理后可以使表层晶粒细化至纳米量级,平均晶粒的尺寸为14.2 nm;处理后表层主要产生压应力;处理后表层的显微硬度增加.     

多方向显著性权值学习的行人再识别

目的 针对当前行人再识别匹配块的显著性外观特征不一致的问题,提出一种对视角和背景变化具有较强鲁棒性的基于多向显著性相似度融合学习的行人再识别算法。方法 首先用流形排序估计目标的内在显著性,并融合类间显著性得到图像块的显著性;然后根据匹配块的4种显著性分布情况,通过多向显著性加权融合建立二者的视觉相似度,同时采用基于结构支持向量机排序的度量学习方法获得各方向显著性权重值,形成图像对之间全面的相似度度量。结果 在两个公共数据库进行再识别实验,本文算法较同类方法能获取更为全面的相似度度量,具有较高的行人再识别率,且不受背景变化的影响。对VIPeR数据库测试集大小为316对行人图像的再识别结果进行了定量统计,本文算法的第1识别率(排名第1的搜索结果即为待查询人的比率)为30%,第15识别率(排名前15的搜索结果中包含待查询人的比率)为72%,具有实际应用价值。结论 多方向显著性加权融合能对图像对的显著性分布进行较为全面的描述,进而得到较为全面的相似度度量。本文算法能够实现大场景非重叠多摄像机下的行人再识别,具有较高的识别力和识别精度,且对背景变化具有较强的鲁棒性。     

Trajectory linearization control for a miniature unmanned helicopter

Trajectory linearization control (TLC) approach is applied to design a nonlinear trajectory tracking controller for a miniature unmanned helicopter. The controller is based on nonlinear model derived from Newton-Euler equations, with collective and cyclic pitches being regarded as actual controls. Via model simplifications, the nonlinear helicopter model can be transformed into a cascaded form including four subsystems. Corresponding with the simplified cascaded structure, the proposed controller is constructed by synthesizing TLC designs for subsystems. Each of them includes designs of a pseudo-inversion and an error regulator. A summarized TLC algorithm for the unmanned helicopter is listed briefly after the detailed controller design process. Simulation results are provided to demonstrate performances of the closed-loop system.