氢气泡显示流动的跟随性问题

应用湍流中散射粒子的跟随性理论［１］计算、分析了氢气泡显示流动的跟随性问题，得到了氢气泡所能跟随的湍流脉动频率范围。     

Banach空间中微分包含解的存在性

本文在无穷维Ｂａｎａｃｈ空产是中讨论微分包含解的存在性，先给出了几个普通微分包含的比较定理，讨论了近似解与解的关系，然后得到了Ｂａｎａｃｈ空间中微分包含解的存在性定理。     

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

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

区间矩阵MIMO定常系统的可控性与可观性

针对ＭＩＭＯ系统可控性和可观性矩阵的特点，建立了一种区间矩阵ＭＩＭＯ定常系统可控性与可观性的充要条件，并给出了详细的理论推导，最后列举实际的例子。在例中与Ｆｒｏｂｅｎｉｕｓ范数区间作了比较，结果表明，如何扰动仅作用于系数矩阵Ａ，则「△Ａ，△Ｂ」的Ｆｒｏｂｅｒｉｕｓ范数区间地大大受到△Ｂ的限制。     

结构模态能控性和能观测性的度量

利用现代控制理论研究了结构模态的能控性和能观测性问题,给出了模态坐标下结构的能控性和能观测性判据,证明了多输入－多输出（ＭＩＭＯ）试验模态分析技术用于存在重根模态结构的模态试验的必要性,并人出了对激振点和测量点数量的要求。利用奇异值分解技术给出了一种结构查态能控性和能观测性的度量方法,并讨论了其在模记试验激振点和测量点位置选择中的应用。     

面向敏捷制造的产品可制造性评价

首先分析了敏捷制造模式对产品可制造性评价的要求，指出评价结果必须反馈给制造伙伴选择系统。提出了面前敏捷制造的产品可制造性评价系统的一个实现框架，讨论了其中的零件信息描述、知识表达、制造伙伴选择和制造资源建模等若干问题。之后着重讨论了材料与毛坯选择、零件结构工艺性、制造资源匹配和标准化检验等评价内容和评价方法。最后给出了简例。     

关于广义商环和它的实性

提出了乘法正向理想族的概念，研究了广义商环QJ（R）的结构和性质。它分二部分，第一部分考察了广义商环QJ（R）的结构和一般性质，第二部分研究了广义商环QJ（R）的实性，得出了QJ（R）成为实环的几个条件。     

关于微分方程的有理式解的存性问题

许多非线性微分方程一般都是不可积的，例如Ｒｉｃｃａｔｉ方程。本文主要利用在文［４］中得到的一个定理，通过构造微分方程的线性算子的方法，得到了一个关于微分方程的算子矩阵，从这个算子矩阵向量的线性相关性得到了微分方程存在有理式解的充分必要条件，并举例给出求有理式解的具体方法。本文的结果对研究Ｒｉｃｃａｔｉ方程的特解以及可积性等问题具有重要意义，并推广了文［３］中收集的相应结果，且以此为特例     

GH150氩弧焊接头组织和力学不均匀性研究

研究了ＧＨ１５０合金对接氩弧焊接头显微组织和力学性能的不均匀性，用金相分析和微型剪切试验等方法得到了该焊接接头各区域的微观组织和力学性能分布特性。结果表明，该焊接接头中存在着比较严重的微观组织和力学性能不均匀性，其不均匀程度在熔合线附近最为严重。因而认为熔合区是该焊接接头力学性能最薄弱的部位。同时，由微型剪切试验所得到的力学性能梯度曲线还表明，ＧＨ１５０合金是一种高强度材料，其韧塑性却偏低；在焊接接头各区域中的强度指标变化不大，但是焊缝和热影响区的韧塑性比母材降低较多。其中，焊缝的剪切变形率降低２１．８％，剪切功降低２５．５％。     

实时多通道记录仪监控单元的实时可调度性分析

实时多通道记录仪是在实时嵌入式操作系统QNX下实现的多通道语音雷达同步记录仪系统。本通过单调速率分析法(RMA)对该记录仪系统监控单元的实时任务调度进行了分析，验证了系统具有实时可调度性，提高了系统的实时性和可靠性。     

铝锂合金的钎焊性研究

通过试验研究,探讨了铝锂合金的钎焊性。试验结果表明,铝锂合金具有良好的高温软钎焊性和硬钎焊性,在钎料中添加微量稀土,可进一步提高钎焊接头的性能。     

语篇象似性及其文体功能

象似性是认知语言学的一项重要的内容.近三十年来,象似性研究在句法层面取得了丰硕的成果.本文回顾象似性研究的发展历程,讨论语篇象似性及其实现的文体功能.     

一类拟线性椭圆型方程分歧点的存在性

本文讨论了下面问题的分歧点的存在性：－ｐｘｉ〔（１＋｜ｕ｜２）ｐ２－１ｕｘｉ〕＝μｕ＋ｆ（ｘ，ｕ），ｘ∈ＲＮｕ（ｘ）→０，当｜ｘ｜→＋∞时，ｕ０，μ∈Ｒ１，Ｎ＞ｐ≥２｛证明了μ＝０是上述问题的分歧点。     

边界层稳定性的非平行性问题研究

采用抛物化稳定性方程的新方法研究稳定性的非平行问题，其控制方程从涡量形式的N－S方程导出，为提高计算精度和收敛速度，在法向采用高精度的高阶谱方法，结合边界层特征安排边界条件的方程，以及对无限区域数值问题作高效的代数变换处理，通过对预估校正迭代过程中推进步长有效的控制，以满足正规化条件，研究了不同类型压力梯度对稳定性的作用，由系列算例得到的增长率变化曲线和扰动中性曲线等，精确地给出了非平行性对流动稳定性的影响，计算的结果与相关数据符合甚好。     

基于信息流电路可测试性的度量

准确地度量电路的可测试性是数字系统测试的重要问题之一。本文提出了一种基于信息流度量电路可测试性的方法,它表明可以将一个数字电路看成是一个信息处理系统。因此,电路的可测试性的度量值定义为电路输出的平均信息量与输入的平均信息量的最大值之比。文中给出了如何应用逻辑模拟软件来计算电路可测试性的度量值。对于由模块组成的电路,可以通过模块之间的一些特殊操作求得整个电路可测试性的度量值,本文也给出了方法及实例。文中还给出了应用本文提出的方法进行电路可测试性度量的实例,并与文[1,5]的方法得到的结果进行了比较,从而说明了本文方法的特点。     

拟线性广义极小曲面方程非平凡解的存在性

给出了相应的拟线性广义极小曲面方程的定解问题的集中列紧引理，利用这一结果得到了方程在无界区域中非平凡解的存在性。     

关于多项式系数二阶线性微分方程的可积性问题

主要探讨了实域上当ｇ（ｘ），ｈ（ｘ）是多基式，二阶变系数线性微分方程ｙ″＋ｇ（ｘ）ｙ‘＋ｈ（ｘ）ｙ＝０的可积性问题，沿袭了文」１「中算子矩阵理论的思想，得到了该方程要积的充分必要条件，且给出可积时的通解公式，并举例指出了文中「５，６」中收集的许多可积的二阶线性微分方程，其中相应的多项式系数的部分均是本文的特例。     

变分不等方程解的存在性

本文研究自反Ｂａｎａｃｈ空间中的变分不等方程解的存在性,得到了存在性的几个结果。     

基于适坠性的轻型飞机结构设计改进方案

适坠性是对轻型飞机设计提出的新要求.空间、约束、环境、能量控制和坠机后的因素是适坠性设计的主要要求.为了提高飞机的适坠性,必须对飞机结构进行相应的改进.本文在介绍飞机适坠性的本质和基本要求的基础上,列举了当前一些结构设计在适坠性方面存在的不足,总结了在轻型飞机上采用低置的发动机架、去除直角的防火墙、吸能地板、柔性座椅和加强的前机身等改进方案对提高飞机适坠性的效果和原理.     

广义多目标规划有效解的存在性

本文利用（１）中的半局部星状集和向量函数的广义凸性,讨论了一类广义多目标规划有效解的存在性。