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

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

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

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

空天飞机的边界层转捩

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

高超声速小钝锥尾流转捩规律与光电特性

显式有限差分方法用于求解小钝锥高超声速化学非平衡尾流的轴对称边界层方程。该方法既适用于层流也适用于湍流。应用 Goldburg 转捩准则确定转捩初始位置。详细地计算了小钝锥尺寸、飞行速度、高度对尾流转捩和光电特性的影响。从计算中得到转捩和光电特性变化的一些有用规律。对湍流亚密部分的雷达散射截面进行了规律性分析。计算结果具有实用参考价值。     

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

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

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

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

灰色系统理论中二维数据序列均值生成的讨论

灰色系统理论中非等时序序列或含有空穴的序列,通常可以用均值生成方法来填补,生成等时序序列。本文研究发现,用非紧邻均值生成方法生成的内点与实际存在有明显的误差,为此讨论了均值生成和有偏生成算法。利用数据序列点的局部凹凸特性来表示数据序列点的特征,提出了采用数据序列点连线的状态选取生成系数的方法。通过对一维数据序列传统均值生成方法的比较,给出了二维数据序列的定义,讨论了在二维数据序列下的均值生成方法,提出了有偏生成算法中生成系数分解的选取方法。     

经营者股票期权激励制度的经济学分析

经营者股票期权激励制度是一种对经营者实施有效激励的制度创新，它蕴涵着深刻的经济学理论。以往的经济学者从不同的角度对其进行了解说，但这些理论解说缺乏内在统一性，因而对该制度的经济学理论进行系统地分析成为文章的宗旨。     

中介公理集合论系统与经典公理集合论系统的关系——形式证明部分

在中介公理集合论系统（ＭＳ）中重新定义了良集的概念，讨论了它的性质。证明良集完全满足经典公理集合论系统（ＺＦＣ－：ＺＦＣ系统中去掉正则公理）的全部公理，且其配套的逻辑系统恰为中介逻辑的二值子系统ＦＩ＊ＭＬ，说明整个经典数学也能奠基于ＭＳ之上，从而最终回答了中介数学与经典数学的包含关系问题。     

用电离层特性参量提取等效风场信息

导出了利用中低纬电离层特性参量获取电离层F层峰区高度上等效风场（包含电场和风场信息在内）的基本方程，并尝试用该方法从电离层特性参量（峰高和临频）提取等效风场信息，利用武汉站DGS-256电离层数字测高仪数据及由美国Massachusetts Lowell大学最新版的剖面反演程序换算得到F层峰高，获得了武汉地区夏季至日点附近，冬季至日点附近，冬季地磁特别宁静的九天和冬季平均等效风场的初步特征，并利用Fejer经验电场模式计算冬季电场引起的垂直漂移，估计电场和风场对武汉地区的垂直等效风场的贡献大小，结果表明：等效风场呈现出白天与夜晚幅度和方向的差异。至日点附近冬季与夏季白天的幅度差异以及明显的凌晨凹陷现象；平均情况下，垂直等效风场幅度和方向的变化主要是由中性风引起，受电场的影响不大。