摘要：为探索设计点马赫数为2.5的三波系二元混压式超声速进气道与脉冲爆震燃烧室的匹配工作特性,设计了3种工作方案,采用带有化学反应的非定常数值仿真方法,研究了多循环工作过程。结果表明:燃烧室出口泄压与燃烧室进口机械阀均能抑制反传压缩波向上游的传播,拓宽进气道稳定工作裕度,且能提高循环频率;但前者会损失推力,而后者能大幅增加推力。机械阀会对燃气中的压缩波产生反射作用,增大燃烧室内湍流度,使得在开阀瞬间燃气被卷吸至上游扩张段内,但燃气中的反射压缩波不会影响爆震波波速与形态。在爆震波起爆与传播过程中,燃烧室进口应尽可能扩大物理遮挡物阻塞比,且不应对进气道出口流动造成堵塞,增加流动阻力。

摘要：为了揭示燃烧室构型对旋转爆震波传播特性的影响,设计了不同结构参数的5个燃烧室,包括环形、空桶形和凹腔形3种燃烧室形式。喷注器采用喷孔-环缝设计,燃料和氧化剂分别为乙烯和富氧空气。在相同的供给条件下,实验研究了燃烧室构型对旋转爆震波传播特性和推进性能的影响。结果表明:空桶形燃烧室稳定爆震模态的工作范围最宽且爆震波最为稳定,但推进性能较差;两个凹腔形燃烧室的工作范围介于燃烧室宽度为19 mm和15 mm的两个环形燃烧室之间,但推进性能略高于宽度为19 mm的环形燃烧室;此外,凹腔形燃烧室的工作范围随凹腔长度的增加而增加。

摘要：脉冲爆震燃烧室(pulse detonation combustor,PDC)反压反流的前传是导致脉冲爆震发动机推力损失的主要因素。为抑制PDC反流的传播,采用气动抑制策略,设计出不同结构组合而成的10种隔离段,使用恰当比的乙烯/富氧空气混合物开展了单次脉冲爆震的实验研究。结果表明:当反压传播距离约为0.86倍PDC长度时,相比于基准隔离段,Venturi管(V)与1.5倍PDC直径的直管组合的隔离段由于能够提供更大的膨胀空间,其反压的传播速度与峰值可分别降低约10%与20%;相对于无Tesla阀(T)的隔离段,在安装了Tesla阀的隔离段中,反压传播速度可再降低27.3%以上;相对于无泄压小孔(S)的隔离段,安装了泄压小孔的隔离段可降低25%的反压峰值;中心锥(C)的引入可大幅提高反压传播过程中的平均衰减率。在10种隔离段中,CVST型组合隔离段结构具有最佳的反压抑制能力。相比于基准隔离段,反压在CVST隔离段中的传播速度降低了约50%,峰值降低了约40.5%,平均峰值衰减率提升了1倍左右。

摘要：能耗是设计嵌入式系统不可忽视的一个重要方面.针对嵌入式设备主要能耗来源之一的总线能耗,提出了一种基于总线翻转编码的低功耗指令调度方法.该方法以程序执行频度的profile信息为指导,利用数据随机性增强算法调度指令,获得适应总线翻转编码的指令序列,既减少总线翻转次数,又获得较为平衡的总线使用率,最终达到节约能耗的目的.以MiBench测试用例集为基准进行的对比实验可以看出,该方法能够有效地减少总线翻转次数.相对于未编码优化的arm-linux-gcc的指令序列,平均优化率可达到26%左右.相对于VSI+BI方法,平均优化率也能达到10%以上.

摘要：随着现代社会计算机化程度的提高,与计算机相关的各种系统故障足以造成巨大的经济损失.机械化定理证明能够建立更为严格的正确性,从而奠定系统的高可信性.针对机械化定理证明的逻辑基础和关键技术,详细剖析了一阶逻辑和基于消解的证明技术、自然演绎和类型化的λ演算、3种编程逻辑、基于高阶逻辑的硬件验证技术、程序构造和求精技术之间的联系和发展变迁,其中,3种编程逻辑包括一阶编程逻辑及变体、Floyd-Hoare逻辑和可计算函数逻辑.然后分析、比较了各类主流证明助手的设计特点,阐述了几个具有代表性的证明助手的开发和实现.接下来对它们在数学、编译器验证、操作系统微内核验证、电路设计验证等领域的应用成果进行了细致的分析.最后,对机械化定理证明进行了总结,并提出面临的挑战和未来研究方向.

摘要：对您而言,您觉得中国广告业是否已经回暖？广告业的发展应该是在整个经济发展、企业发展形势之下与之相关的。今年上半年到第三季度,中国的经济还是呈现出一个比较好的势头。我看了一些报道,说中国的货币政策使得房市、车市和股市有一些泡沫．但是总体来讲中国的经济受到的影响不是很大。

摘要：多核系统已经被广泛应用于各行各业,其稳定性和可靠性也越来越受到人们的关注.在分析了现有芯片可靠性模型的基础上,增加温度和工作负载对多核芯片可靠性的影响,建立了对多核系统的可靠性评估模型.该模型以处理器为依托,从指令到任务,逐层构建可靠性评估指标,以便于定量分析影响多核系统可靠性的因素.同时,以该模型为指导,设计了一种面向多核系统可靠性的任务调度方法,该方法通过对评估指标值的计算,选择评估指标值尽可能高的调度策略对多核系统中的任务进行调度,以减少由于芯片本身可靠性而导致的错误.通过模拟实验可以看出,该任务调度算法能有效减少系统的出错率45%左右,为系统的稳定运行提供了可靠的保证.

摘要：为研究吸气式脉冲爆震发动机反压的传播规律,以一种特殊构型的隔离段与长径比为20的爆震室构成的发动机流道作为基准模型,并选取4种构型作为对照组,进行了单次爆震的数值模拟。研究了反压的反传速度、峰值及其衰减率,计算了基准模型的总压恢复系数。结果表明:设计的隔离段能有效降低反压的反传速度和峰值;爆震室的长径比越大,所含的燃料和氧化剂越多,反压越难以抑制;在反压向上游传播的初期,压力峰值的衰减率主要受隔离段结构的影响,之后则主要取决于反传距离;当来流压力一定时,长径比越小的爆震室,排气过程越迅速,反压下降得越快;在海平面大气条件下,当来流马赫数为0.15～0.80时,所设计的隔离段并未造成大的总压损失。

摘要：与雅丽相识不过是几年间的事,没想到她居然要出书了,而且出手不凡,竟是厚厚的一大摞,近20万字。由此可见,她这几年的业余生活是多么的充实,追求是多么的高雅而有创意,同时也可看出她的勤奋与刻苦、灵气与才华在这几年间被挥发得淋漓尽致。

摘要：基于比色测温原理设计了一种红外测温系统,测温前先使用标准黑体对测温系统进行标定,得到标定曲线R(T)—T。在测量目标的温度时,在目标附近放置一个超大面元黑体,通过这种方法来消除环境反射辐射和大辐射等辐射量的影响来提高红外测温系统的精度。