气动力星座保持的闭环控制研究

本文研究了利用气动力进行星座保持的闭环控制问题。提出了一种改进的半全局指数收敛闭环控制律，对于指定的任意大的有界域，利用不变集定理论上证明了该控制律的稳定性和抗干扰性，又提出了双ε法以提高响应速度。     

基于粗集的调度Agent知识库建模研究

首先通过相识集、招标集、投标集和中标者的概念，描述了车间调度系统中的调度Agent与资源Agent间任务分配的招投标关系；运用粗集理论，基于任务的属性和资源Agent完全任务的成本、质量、负荷和时间等属性构造决策表；在分析了决策表的特征基础上，生成调度规则集，即调度知识库；最后给出车间调度Agent的调度过程算法。     

网络最大流与最小割集的矩阵算法

本文给出了解决运输问题为中心的一类特殊的线性规划问题的新的、简便的算法。网络最大流与最小割集的矩阵算法,不仅能解决许多这类问题,而且能使最小费用流、分配问题和运输问题容易通过计算机来实现。     

The effect of small vibrations on Marangoni convection and the free surface of a liquid bridge

The effects of small vibrations on Marangoni convection were investigated experimentally using a liquid bridge of 5 cSt silicone oil with a disk diameter of 7.0 mm, and an aspect ratio close to 0.5. Experiments were performed to determine the critical temperature difference data for no vibration case and with small vibrations applied. The experimental results have shown that the effect of small vibrations on the onset of oscillatory flow is small since the critical temperature difference data for different aspect ratios were not affected by the vibrations. To clarify the surface oscillation phenomena induced by external vibrations, a 3-D numerical simulation model was also developed using a level set algorithm to predict the surface oscillations of isothermal silicone oil bridges. By subjecting the liquid bridge to small vibrations, the surface oscillation characteristics were predicted numerically, and the numerical results compared well with the predictions of an analytical model proposed previously. Furthermore, the effect of small vibrations on the surface vibration amplitude of the liquid bridge is also discussed.     

Sun 3/4专用协处理器PLC系统中Common Lisp编译器的代码优化措施

在简单介绍Sun3/4专用协处理器PLC系统及Common Lisp编译器后,着重讨论了Common Lisp编译器中的代码优化措施,包括优化无用代码、优化程序结构、优化转移指令、优化函数调用环境保存及恢复指令、优化寄存器分配、优化尾递归函数调用等。实例编译结果和模拟运行结果表明:与不经优化指令相比,经过优化后的指令代码长度平均减少25％,运行速度平均提高20％,为提高PLC系统的整体性能提供了一守的保证。     

智能CAI中学生模型库的设计

智能CAI以现代教育理论为基础,利用人工智能、心理学、认知科学等学科的最新成果,通过计算机向学生传授各种知识和技能,以达到真正的个性化教学的目的。在建造智能CAI系统时,学生模型库的建立是智能CAI系统的核心问题。设计建构学生模型库有多种不同的方法,可以采取覆盖法、差错法、规划法和学习历史法等方法。对学生模型库的逻辑结构进行了分析,探讨了智能CAI系统中建立学生模型库的方法,包括作业模型配对、错误编辑法和模型推导法和结构内化法。     

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

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

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

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

危害性分析中的模糊数学方法

利用模糊集合理论对影响故障模式危害性的各因素进行了模糊化处理，建立了故障模式危害性评定的模糊评判模型，并阐述了模糊评判方法的基本步骤。     

航空二冲程活塞发动机与定距螺旋桨的匹配研究

以长航时无人机的工作特点为基础,结合二冲程发动机的功率输出特性和定距螺旋桨的功率吸收特性,以及发动机的外特性曲线和螺旋桨的推进特性曲线,得出了在地面飞行状态下二冲程活塞发动机匹配定距螺旋桨所采用的方法,并通过为某型二冲程发动机匹配最优定距螺旋桨的试验,证明了该方法可以应用于在地面及低空状态下,为已知发动机匹配合适的定距螺旋桨.