有限扩域上的Fuzzy子域

在文[3]中,引入了更一般的Fuzzy理想等概念,使Fuzzy代数结构的研究进一步深入进行。本文作为Fuzzy结构理论中的又一课题,引入了Fuzzy子域等概念,对有限扩域上的Fuzzy子域的构造问题进行了比较详细的讨论,得到了几个类似于[2]中的表示定理。尔后,引入了诱导Fuzzy子域,对单纯代数扩域上的诱导Fuzzy子域进行了研究。     

高精度GPS观测数据的实时仿真研究

针对高精度GPS观测数据实时仿真的需求,研究了观测数据仿真的基本原理、系统功能组成及适用于实时仿真的数学模型.考虑到模型实现的时间约束特性,将仿真系统结构划分为非实时层、弱实时层和强实时层,并采用分布式仿真结构建立了卫星导航观测数据实时仿真系统.算例结果表明:系统满足强实时性要求,观测数据仿真具有较高精度.     

延迟型泛函微分方程的一般理论

本文在引进Schauder 不动点定理的基础上讨论了具有延迟因子的泛函微分方程的一般理论,包括解的存在性、唯一性、连续依赖性以及解的延拓性质,并对文献[1]中的某些定理作了补充和推广。     

作战协同关系超图模型

在分析超图和作战协同相关概念基础上,采用形式化方式对抽象化的作战协同关系进行了描述,定义了协同关系矩阵,创新性地根据超图相关概念构建了作战协同超图模型,并根据模型定义了顶点度和关联系数等支持作战协同关系分析的特征参数。通过实验建立了某想定数据中的火力协同关系超图模型,并进行了度和关联系数的分析,实验结果证明了作战协同关系超图模型的可用性。     

中立型泛函微分方程的周期解

综合利用D算子的性质及Horn不动点定理[8],研究了有限时滞中立型泛函微分方程的周期解的存在性问题,证明了解的一致最终有界性蕴含周期解的存在性,从而推广了著名的Yoshizawa周期解定理[3],同时推广了[1]和[2]的主要结果.     

卫星通信系统抗干扰计算机仿真系统总体设计

本文在简述卫星通信所面临的电磁干扰环境和卫星通信系统在空间段和地面段可以采取的抗干扰技术措施基础上,提出了卫星通信抗干扰计算机仿真系统总体设计要求,设计了一个卫星通信抗干扰计算机仿真系统总体结构,并就系统结构内的卫星链路仿真和抗干扰性能评估这两个关键部分的总体设计进行了详细讨论。     

复自治微分系统(E)的奇点量计算公式

文献[1]对(E)引入奇点量和 Lie 不变量概念,实现了实自治微分系统焦点量和鞍点量概念的统一,并得到奇点量的结构定理。文献[1]还对三次系统(E_3)找到了全部120个基本 Lie 不变量并具体计算了二次系统(E_2)和缺二次项的三次系统(E_3~((3)))的奇点量。文献[2]还计算了一类特殊三次系统(4)的奇点量。但是,对于计算(E_3)的奇点量的工作,仍有很大困难,甚至前几个奇点量也得不到,况且对(E)找到全部基本Lie 不变量亦非常困难。本文利用规范形理论讨论(E)的奇点量的计算问题,得到了计算公式。该公式对一些特殊系统可直接得到前几个奇点量。作为公式的应用及验证,我们给出(E_3)的前两个奇点量,至于 M(3)=?的问题将另文讨论。     

基于智能诊断方法的摩托车发动机故障检测系统研究

针对摩托车发动机故障检测问题,结合其结构特点,采用传统专家系统与神经网络融合方式与策略,提出了一种故障检测混合专家系统方法。对以此方法为核心的智能故障诊断系统结构、组成及工作过程等问题进行了研究与讨论,并给出了系统的应用实例。     

具有总线结构的分布型微处理机基系统的分析

本文首先讨论了计算机的发展对系统设计思想的影响,分析比较了集中型和联合型结构与分布型结构的优缺点。以舰艇系统为代表,分析了系统运行的环境模型,研究了算法功能的分部、反应时间的约束和吞吐量的分配模型。进一步分析了分布型系统结构模型,讨论和研究了互连拓扑、组成、功能执行分层、操作和控制模型。最后提出了系统实现和今后研究工作的几个问题,并指出了研制分布型系统的义意。     

多分辨率建模在战役推演仿真系统中的应用

战役推演仿真系统中存在大量分布在不同层次上的实体,为了使这些实体高效运行,同时保证相关信息能正确交互,研究了几种典型的多分辨率建模方法,并在分析战役推演仿真系统结构的基础上提出了一种面向多分辨率建模的仿真模块体系结构,建立了层次关系表、运行实体关系表、参数映射类和聚合解聚触发事件列表来保证多分辨率模型之间运行数据的一致性,同时避免链式解聚的问题.通过实验,按该体系结构建立的仿真系统能正确运行多分辨率模型,该框架为建立基于多分辨率建模的仿真系统提供了一定的技术支撑.     

舰长战术训练模拟系统

探讨了舰长战术训练模拟系统 (SSCTT)的设计方法 ,按照“建立军事模型——设计系统功能流程——设计系统结构”的思路 ,提出了一种可用于训练舰长决策能力的战术训练模拟系统的总体框架与实现途径 ,并初步分析了该系统的应用前景。     

遗传σ-有界亚紧空间的Tychonoff乘积

讨论了较仿紧空间更弱的遗传σ 有界亚紧空间,给出了遗传σ 有界亚紧空间的三个等价刻划,并得到了遗传σ 有界亚紧空间的两个乘积定理:若空间Y 有一个σ 点有界基,则 X×Y是遗传σ 有界亚紧的当且仅当X 是遗传σ 有界亚紧的;X=∏i∈ωXi 是遗传σ 有界亚紧的当且仅当 α∈[ω]<ω,∏i∈αXi 是遗传σ 有界亚紧的.     

二阶中立型含逐段常滞量微分方程的伪概周期解的存在性

讨论下列中立型含逐段常滞量微分方程的伪概周期解d2dt2(x(t)+p(t)x(t-1))=qx(2[t+12])+g(t,x(t),x[t])采用不动点定理和构造伪概周期序列的方法,得到了此方程的伪概周期解的存在性,并推广了文献[5～8]中的有关结果。     

浅论IC~3系统方法论

“哲学是其他一切学科的母亲”[1]。技术科学一点也不例外。本文试图从系统的思想、原则、原理和方法的发展上,综述IC~3系统的七大原理,最后探讨了它与其他学科的关系。     

面向对象技术的分布式防空C3I系统仿真研究

通过把分布式防空C3I系统分为三级：系统级、子系统级和工作站级,建立了系统的结构模型。在此基础上,把分布式防空C3I系统分为指挥所子系统、防空火力单元子系统、情报子系统和通信网络子系统,并分别建立了这些子系统的子系统类。并利用建立的公共类：信息类,实现了各个子系统间的信息交互。采用该种类结构设计,体现了分布式防空C3I系统的系统结构和信息交互关系,突出了信息在系统内的重要性。     

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

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

决策支持系统新技术的研究

分析了传统决策支持系统开发中存在的问题 ,探讨数据仓库技术在决策支持系统建立中的应用 ,提出基于决策支持系统的基本结构 ,讨论系统建立中数据仓库的数据组织与设计、数据开采层次空间的建立等技术关键 ;将界面智能体、移动智能体和信息智能体应用于决策支持系统中 ,分析了各种智能体的工作原理 ,并讨论了基于网络上的系统实现方法     

基于HLA的卫星探测能力仿真评估系统研究

根据卫星探测舰船目标的特点以及高层体系结构(HLA)的原理,研充卫星探测能力仿真评估问题.提出了分布式、模块化、易扩展的卫星探测能力仿真评估系统结构,并根据该系统的功能结构进行了对象类和交互类的设计开发,并具体介绍了联邦成员的实现过程.仿真结果充分验证了模型和方法的有效性.仿真系统的研究开发可以为整个卫星应用系统作战效能的分析评估提供平台和依据.     

椭圆型方程 Galerkin方法的研究

本文考察一类二阶椭圆型方程的Galerkin方法,首先,借助于(-Δ)~(-1),将方法置于算子框架中,然后,应用算子方程的近似理论,研究了方法的收敛性,如同往常那样,有限元近似的误差估计是同时,得到了Aubin-Nitsche技巧的一种易于应用的形式(定理2)。文献[1]及[2]中的方法和文献[3]及[5]中的一些结果得到了推广。     

数据融合在防空C~3I系统中的应用

首先介绍数据融合的基本理论、一般处理模型、实现技术以及防空C3I系统中数据融合的具体任务,然后对数据融合体系结构的设计和融合算法的选择作了具体分析,利用多传感器数据融合方法建立了一种防空C3I系统结构模型,并对MSPDAF数据融合算法进行了详细描述.最后以探测某型巡航导弹为例,应用MSPDAF数据融合算法对防空C3I系统数据融合结构模型进行数学仿真,并给出仿真结果.