攻击活动目标的一种最优弹道估计

 为分析活动目标的随机飞行状态和减小导弹的脱靶量,提出了数学模拟打靶的一种新方法。其中包括卡尔曼滤波理论结合最大似然法的应用,以及建立相对运动的离散化模型和灵敏度矩阵。为改善飞行状态的估计精度,论述了确立飞行弹道修正协方差矩阵的概念。除此之外,还讨论了导引敏感器静态误差影响脱靶量的估计问题。     

上证指数"百点效应"实证研究——基于前景理论的分析

通过研究上证指数落在百点附近区间的频率和日K线图的表现，揭示了其分布规律和运行特征。实证结果表明，从市场总体看，百点区间内样本较大时上证指数落在百点附近区间的频率接近均匀分布时的概率，上涨行情时，越过大多数百点位比较困难，而下跌行情时比较容易，百点位在某段行情的稳定性与上证指数在该百点附近区间的横盘整理时间有关。     

离散事件系统的Petri网图仿真

1.前言 离散事件动态系统DEDS(Discrete Event Dynamic System)的传统分析方法——应用排队论和随机过程理论为离散事件动态系统建立排队网络模型,在很多情况下已不适用。新的理论和研究方法相继提出。其中之一是“皮特里网”(Petri Nets)理论。另一种比较成熟的方法是仿真法,但是,仿真法要以高昂的计算机设备的大量计算时间为代     

三维可压缩混合层中扰动演化的研究

为了利用被动控制增强可压缩混合层中混合效率,本文用数值模拟的方法研究了三维可压缩混合层中扰动向下游的演化.通过在入口处引入不同的不稳定T-S波,给出了扰动随空间的演化过程,及马赫数对扰动演化的影响.计算结果表明在马赫数较小时,扰动波增长很快,当马赫数增大时,扰动所形成的流向涡的强度会减弱.这一结论与流动稳定性分析结果是一致的.     

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

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

基于被动复制方式的容错CORBA模型

容错CORBA(Common object request broker architecture,公共对象请求代理体系结构)是OMG(Objectmanagement group,对象管理组织)为了给分布式系统带来容错特性而对通用CORBA所作的一个扩展。文中首先介绍了基于被动复制方式的容错CORBA模型——PFORBUS,针对其中主服务器的重要性,该模型提出了一个主服务器选择算法,该算法基于三角模糊数对不同服务器的可靠性进行评价,从而找出可靠性评价值最高的服务器作为主服务器。然后详细介绍了PFORBUS模型在该算法支持下的相关工作,包括系统初始化、正常工作流程及主服务器失效后的处理等。最后对该模型采用不同主服务器选择算法的情况进行了仿真,并取得了较好的效果。     

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

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

空天飞机的边界层转捩

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

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

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