一种基于无干扰的软件动态行为可信性分析方法

软件动态行为度量是可信计算必须要解决的核心问题之一。解决这个问题有两个关键步骤:第一,对软件动态行为进行行为建模;第二,对建模后的软件动态行为进行行为可信性分析。针对第二步,即建模完成后的行为可信性分析问题进行了研究,提出一种基于无干扰的软件动态行为可信性分析方法,并从理论上给出了行为可信性判定定理。     

20KHZ IGBT PWM 型高效大功率超声波发生器

本文论述２０ＫＨＺＰＷＭ（脉冲宽度调制）型大功率超声波发生器的原理和电路组成。ＰＷＭ信号是由性能优越的ＴＬ４９４集成电路产生，高频逆变器采用国际先进的磁性材料和ＩＧＢＴ功率器件构成。逆变器将输出的高频电压送入超声波换能器，从而辐射出超声波。该系统具有电路简单，工作可靠，体积小，成本低，输出功率调节方便，效率高，实用性强等特点。     

大功率激光窗口ZnSe的制备原理及方法

比较了四种适用于作CO2激光器窗口的材料,Ge、KCl、GaAs和ZnSe,指出ZnSe是大功率激光器最理想的窗口材料,并列举了3种ZnSe的制备原理及方法,阐述了CVD方法制备多晶ZnSe的过程.     

PIII技术在制备c-BN硬化层中的应用

采用一种新型的等离子体浸没式离子注入技术 (PIII)在渗硼后的 5 0Mn钢试样上制备出了厚度为 0 .15～ 0 .2mm的立方氮化硼 (c BN)表面硬化层。经X射线电子能谱 (XPS)和X射线衍射分析 (XRD) ,发现硬化层中的组织有立方氮化硼 (c BN)、六方氮化硼 (h BN)、B2 O3,FeB和Fe2 B。在表层 60nm的深度范围内 ,c BN的含量较高。采用球盘式无润滑滑动摩擦实验和维氏显微硬度实验分别对渗硼 PIII复合处理以及单独渗硼的 5 0Mn钢试样的性能进行了对比实验。结果表明 :与单独渗硼的试样相比 ,经渗硼 PIII复合处理的试样具有高得多的硬度 (高达HV0 .1N44GPa)和耐磨性     

基于分布式压缩感知的微震数据压缩与重构

针对分布式微震监测环境下微震数据量大的问题,引入分布式压缩感知理论对微震数据进行压缩以减小数据传输量.首先分析微震信号的稀疏性,其次模拟分布式场景,分析了分布式微震传感器节点的空间相关性及其编码与压缩处理过程.基于广义正交匹配追踪算法及稀疏度自适应匹配追踪算法,提出了一种改进的分布式稀疏度自适应正交匹配追踪重构算法,并分析了改进算法的性能.基于MATLAB仿真平台,用改进的算法重构稀疏测量后的分布式微震信号,仿真结果表明:改进后的算法在数据量减少了将近7/10时,依然可以快速精确的重构出原始微震信号.     

2011年国外甜菜品种引进试验品种评价

通过对2011年国外甜菜品种引进试验结果的统计分析,求得品种平均数(X)、高稳系数( HSC),并据此对参试品种进行了高产性、高糖性和稳定性评价.结果表明:品种kws9147、Beta064、kws9146、kws0109、kws0113产糖量高产稳产综合表现较好,有较大的使用价值,可以在较大范围推广使用.品种kws9149、kws0120、kws1479、kws7156、kws1478、kws0469产糖量高产稳产综合表现一般,应结合各地生产条件选择使用.品种kws9442、kws9440、Beta464、kws1480、kws0468产糖量高产稳产综合表现较差,生产上应用优势较小,在个别表现好的地点可以选择使用.     

多功能空调热水器最佳制冷剂充注量的实验与分析

本文提出了一种新型双节流储液器,该装置可以自动调节系统的制冷剂循环量,使得多功能空调热水器能够在多种模式下稳定运行。依据于COP最大的原则,通过实验确定了多功能空调热水器在夏天单独制冷和制冷兼制热水两种模式下制冷剂的最佳充注量,实验结果表明本装置在室外环境温度为32±1℃时,夏季单独制冷、制冷兼制热水两种模式下的最佳充注量分别为6.5 kg、7.5 kg,相应的最大COP分别为3.80、5.88。当制冷剂充注量发生变化时,通过调节系统的节流阀,能够使系统的COP接近于制冷剂最佳充注量所能达到的效果。另外,考察了最佳充注量下节流阀开度对COP、过冷度及过热度的影响,当制冷剂充注量相同,制冷兼制热水模式的COP和制冷量与单独制冷模式的相比,前者更大些。实验结果显示了双节流储液器对制冷剂循环量具有调节作用,达到了节能的效果。     

夹支扁球壳自由振动问题的准Green函数方法EI北大核心CSCD

将准Green函数方法应用于求解夹支任意形状底扁球壳的自由振动问题。即利用问题的基本解和边界方程构造一个准Green函数,这个函数满足了问题的齐次边界条件。采用Green公式将夹支任意形状底扁球壳自由振动问题的振型控制微分方程化为第二类Fredholm积分方程。通过边界方程的适当选择,克服了积分方程核的奇异性。最后通过离散化方程求得数值结果。数值算例表明:该方法具有较高的精度、计算量小、收敛速度快,是一种新型有效的数学方法。     

中庭对建筑空调冷负荷的影响

以各层有回廊与中庭相通的建筑为研究对象,采用多区域模型的方法对建筑内部进行了区域划分,应用EnergyPlus软件对不同建筑朝向和不同中庭高度建筑模型的空调冷负荷进行了逐时模拟,分析了中庭的存在对建筑总冷负荷和各层冷负荷的影响.结果表明,各层冷负荷随楼层升高而增大,顶部两层增加幅度最大;中庭的存在仅对各层回廊区域的空调冷负荷有影响,较远的走廊区域所受影响可以忽略;东西朝向中庭建筑的总冷负荷大于南北朝向中庭建筑.