突扩后突缩的三维流场计算

根据有关固体火箭发动机装药后端到喷管间的空间特征,对三维突扩后突缩内部流场计算进行了探索和研究。计算中成功地应用了SIMPLE算法解决复杂的三维流场计算问题,并在初场构成、源项离散及松弛系数的选取等方面都进行了调试改进。通过建立计算模型、划分网格、对方程及边界条件离散化和非线性处理,以及线性方程组求解等,计算得到了符合物理规律的数值解,指出了空间涡及二次涡的存在。     

基于UML的CITIS建模分析

该文对‘恃续采办与寿命周期保障”(Continuous Acquisition and Life-cycle Support,CAL5) 战略的核心组成部分——承包商综合信息服务(Contractor Integrated Technology Information Service,CITIS)进行了建模分析。根据承包商综合信息服务在实现‘特续采办与寿命周期保障”中的作用提出了CITIS的参考结构,并采用面向对象的分析方法,从分析CITIS系统需求、静态结构模型和动态模型三个方面提出了一种基于标准化建模语言(UML)的CITIS建模方案, 对于采用C++、Java等面向对象语言编程构建系统有重要的参考价值。     

三维侧面突扩燃烧室冷态气流场的数值模拟

本文对四侧30°进气并带有进气管道和尾喷口的突扩燃烧室冷态气流场进行了数值模拟.对这种复杂非规则边界的计算区域,首次采用分段算法进行计算.结果表明:分段算法可以提高网络利用率,缩短机时,消除虚假扩散,提高计算准确度,计算结果与试验结果基本符合.     

大攻角非对称流动的非定常弱扰动控制

 研制了一种新的大攻角细长旋成体非对称涡的主动控制技术, 即在细长旋成体头部施加非定常弱扰动来控制头部非对称背涡。应用七孔探针测量的空间截面流场揭示了非定常控制下非对称涡变成对称涡的流态特征。测力试验研究结果表明该方法不仅能完全消除背涡的非对称性及其产生的侧向力, 并且有效控制攻角范围从30b直到80b。     

无穷观问题的研究(Ⅲ)——‘每一''与‘所有''

本组系列论文（I）－（Ⅴ）从数学和认识论的角度系统地研究了无穷观问题的历史发展和现状，确立了无穷观背景世界的三分法原则，指出了两种穷观相互排斥的局限性，形成了统一两种无穷于同一框架中的基本观点，并建立了一个统一实无限与潜无限于同一框架中的公理集合论系统APAS。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.     

空天飞机的边界层转捩

本文概述了边界层转捩对空天飞机性能的影响。在介绍确定边界层转捩起始点的线性稳定性理论和简单关联公式之后，又从噪声影响、头部钝头影响和钝锥飞行试验结果等几方面，讨论了线性稳定性理论的应用。接着介绍了采用转捩函数来确定转捩区的方法。从飞行试验、理论计算和风洞试验等三方面，探讨了进一步研究高超声速边界层转捩的途径。重点介绍了ＮＡＳＡＬａｎｇｌｅｙ研究中心的超声速、高超声速静风洞技术的发展。最后，对今后空天飞机边界层转捩的研究工作提出了建议。     

控制面临的任务和问题——美国控制界“高峰会议”观点摘编

美国国家科学基金会与 IEEE 控制系统学会联合召开了一次控制界“高峰会议”。由全美控制界最著名的约50位专家学者参加,对于控制学科当前的发展趋势和面临的问题以及对于控制的每一挑战和其中重要的研究课题都进行了认真讨论,最后形成了《控制面临的任务和问题》这份报告。对于我国控制界的同仁,这无疑是一份可惜鉴的重要材料。     

求解最小费用流的复合标号法

本文在求最短路和求最大流标号法的基础上,提出了求解最小费用流的复合标号法。利用这种方法可以在一次标号的过程中找到具有最小费用的增广链。该算法具有简单、易行、迭代次数少,而且易于理解的特点。