A novel contour design technique of super/hypersonic nozzle diverging section with sharing throat

A straightforward technique has been developed to quickly determine the wall contour of super/hypersonic nozzles working at multiply Mach number which share a common throat section.Mach number distribution along the centerline of the nozzle is specified in advance and divided into two sections,both of which are described by the b-spline function.The first section is shared by different exit Mach number nozzles.The nozzle contour is determined by the method of characteristics plus boundary layer correction.An example of this design method is employed to illustrate the technique with a computational fluid dynamics calculation.The simulation results indicate that desired Mach numbers are obtained at the nozzle exit,and the good flow quality is attained for different nozzles within δMa/Ma±0.56% in the flow core region.This technique improves the design precision of the converging-diverging nozzle,cancels waves completely,and achieves nozzles with multiple Mach number exiting which share a common throat section.     

层次性特征的城市避震疏散场所选址研究

城市避震疏散场所是指在城市中规划设计的空旷的开放空间,具有生活必备的设施,是居民为躲避地震灾害暂时栖身与救援部门集中救援的重要场所。层次性设施源于设施等级服务的等级差异性研究。结合南京市城市避震疏散场所的选址,从避震疏散场所的层次性结构特征出发,对地震发生时居民的避难需求进行分析,提出合理的层次性城市避震疏散场所选址方法,为城市的抗震防灾提供可靠的建设保障。     

基于XYZ/SE的软件部分正确性验证

针对软件形式化描述和正确性验证研究中存在的问题,提出了基于XYZ/SE的统一框架研究该问题。在该框架下,基于逐步求精思路对软件进行抽象;对软件整体进行形式化描述和部分正确性验证;对抽象得到的软件各部分进行形式化描述和部分正确性验证;进行调整和验证,即：如果推导结果与预期不一致,则需要重写相关程序或者回溯检查推导过程是否存在错误,直至程序部分正确性得到验证为止。以国库信息处理系统为对象,分析了基于XYZ/SE的统一框架性能。分析表明,基于该框架能够对软件的不同抽象层次进行规范描述,实现从抽象（静态语义）到具体（动态语义）的平滑过渡。同时,基于XYZ/SE的统一框架也可以表示Hoare逻辑推演规则。     

柳军

<正>改革开放第五年我考入哈尔滨工业大学,进入建筑系就读建筑学专业,那时的母校还叫哈尔滨建筑工程学院。1987年毕业后留任本校建筑系民用教研室,从事教研工作6年。1992年工作调入深圳市建筑设计总院,2010年调派深圳市建筑设计研究总院昆明分院,工作至今已32年。哈工大注重理论与实践,建筑系以大跨度体育建筑、博览建筑、商业空间、医疗建筑、工业建筑、居住建筑等类型为主导,并以寒带建筑作为基础研究和实践,成绩喜人。在学校的那个年     

模铸用高铝质流钢砖的显微结构分析

选取市场上模铸用高铝质流钢砖与用后残砖作为研究对象,通过检测不同高铝质流钢砖的理化性能,对比其使用前后的显微结构变化,进一步探讨模铸过程中高铝质流钢砖的显微结构对钢铁产品质量的影响。结果表明:由于显气孔率较大、结构比较疏松、烧结不致密等特性,高铝质流钢砖在经受钢水冲刷时,钢水容易渗透至高铝质流钢砖内部,加速其损毁;其次,高铝质流钢砖与钢水发生物理化学反应后在其表面生成低熔点物,使钢水中产生夹杂物,影响钢铁产品的质量。     

基于乘波技术的高超声速巡航飞行器发展趋势与管理模式

高超声速巡航飞行器设计在航空航天领域是一项庞大的系统工程.在对美国HyTech/HySET项目、HyFly项目、Hyper-X项目、X-51A项目以及HiFire项目研究进展进行阐述的基础上,分析了其在高超声速巡航飞行器研制上的组织管理模式,并针对国情,提出了更加有效的方法和措施.     

高产气井油管用13Cr-L80钢的腐蚀疲劳裂纹扩展行为

用复合磷酸盐完井液对取自13Cr-L80钢油管的紧凑拉伸试样进行预腐蚀处理,再进行疲劳裂纹扩展试验,通过分析疲劳裂纹扩展区形貌,研究了应力比(0.05～0.25)、加载载荷(10～14 kN)和载荷频率(0.6～1.8 Hz)对腐蚀疲劳裂纹扩展行为的影响。结果表明：随应力比增大,疲劳裂纹扩展区二次裂纹数量增多,13Cr-L80钢的裂纹扩展速率增大;随加载载荷增大,疲劳裂纹扩展区二次裂纹数量减少,裂纹扩展速率减小;载荷频率越高,疲劳裂纹扩展区二次裂纹数量越少,但裂纹尖端应变速率增大,裂尖变形更充分,导致裂纹扩展加快,试验中止时的循环次数减少。     

支持复杂事件处理的业务流程建模研究

现有的流程建模语言缺少对复杂事件的支持.通过对BPMN进行扩展,提出一种事件的分层方法来表达业务过程中的基本事件和复杂事件.在此基础上进一步提出CE-BPM建模方法,并给出其形式化定义和图形化表示,增加了复杂事件和复杂事件处理网关的图形表示.最后通过实例来说明用BPMN建模时遇到的问题以及如何用CE-BPM建模解决问题的.     

基于代价的过程动态变更

通过实例说明工作流运作阶段存在多种动态变更途径;并采用矩阵表示过程的数据流和控制流,利用矩阵变换找到所影响范围内所有可能变更途径;最后对它们作代价分析,求出最佳变更途径.