一类二阶椭圆型边值问题正解的唯一性

文中讨论了一类二阶椭圆型边值问题正解的唯一性。削弱了文献[1]中主要定理的条件,并将其推广到一般光滑区域,所用方法主要是对格林函数的精细估计。     

一类典型多态关联系统的可靠性定性性质

定义了一种典型的多态关联系统逻辑结构，该类系统在工程实践中有一定的应用范围。由于这类系统的结构比较特殊，因此有比较优良的定性性质，而可靠性分析中，最小路集求解是定性分析最主要的研究内容之一。针对这种结构的系统，研究了相应的最小路集求解方法，这种方法的运算量远小于一般系统最小路集求解方法的运算量。     

多态关联系统结构特性分析

可靠性分析中，系统的结构函数有两方面的作用，一方面是结合部件可靠度求得系统的可靠度，另一方面是由结构函数分析系统的结构特性。本文通过构造结构函数的差分运算，从系统的结构稳定性、状态吸收能力和结构重要度三个方面对后者进行了讨论。     

任意三角域上 C1 有理插值的一种新算法

本文描述了任意三角域上C~1有理插值的一种组合算法,其特点是构造简单,计算方便,插值函数与文[3][4]比较,有着较高的逼近精度。最后给出了插值式的代数精度集和计算实例。     

转换触发器功能的分离变量法

本文选择“转换逻辑”输入变量中的Q~n真作为分离变量来处理,把Q~n分离出来后,只需要通过简单的逻辑推理便可得到与通常使用的图形法及公式法相同的转换结果。     

双调和方程边界加权残值法及其应用

本文证明了可用复变函数的广义多项式逼近解析函数,并给出了用加权残值法解双调和方程的若干可供选择的试函数模式。文章还导出了广义调和函数系,并证明了它在平面边界上是一个完备系,可作为权函数系。将这种方法用于解各类边界板的弯曲问题和弹性平面问题,具有计算量较小、精度较高的特点。     

舰载分布式火控系统功能备份、重组和恢复的一种设计与实现方法

以一个舰载分布式火控模拟系统为背景,给出一种系统功能备份、重组和恢复的设计与实现方法。主要介绍设计要求、备份策略、检测机制和分级实现。实验表明,系统在损失近５０％设备时仍能维持原功能工作,在损失７０％以上时尚能继续运行,从而证明了该方法的正确、可行和有效     

红外搜索跟踪系统的目标截获判据

红外搜索跟踪（ＩＲＳＴ）系统在探测时对潜在目标的判别是系统工作的一个重要环节。通过建立目标的截获判据,提出了判决树多级识别方法和模糊综合评判方法,并为两种方法的融合使用提供了基础,为系统判别一般红外目标以及远距离小目标提供了依据和实现手段。     

以可用度为目标的功能检测模型

依据产品潜在故障的概念,将产品划分为“正常”、“潜在故障”和“功能故障”三种状态,并将产品从“新的”发展到“潜在故障”时间间隔和从“潜在故障”发展到“功能故障”时间间隔分别作为随机变量进行处理,利用可靠性数学的方法,建立了以可用度为目标的功能检测模型,包括基本模型和实际应用中变化时的模型,举例给出了模型输出结果的特征和敏感性。     

MBDS的一种实现方法

给出一种基于模型故障诊断的实现方案——MCIES,着重介绍MCTES所采用的建模方法和推理策略,最后介绍该系统各组成模块的功能。