模糊可拓子集及其性质

本文在模糊子集,可拓子集的基础上,提出一个新的概念——模糊可拓子集,并研究其有关性质。     

可拓集合的可拓运算

本文在可拓集合上定义了一种运算——可拓运算,提出了描述事物转化的一种形式。     

Z-子集系统的一些性质

主要研究了Ｚ－子集系统,得到了下列性质：１）Ｚ－连续偏序集和Ｚ－拟连续偏序集的刻划定理;２）关于Ｚ－子格,Ｚ－子代数和Ｚ－代数的性质;３）一定条件下（强）Ｚ－连续偏序集的映象仍是（强）Ｚ－连续的     

一种能实现弱T范数簇运算的模糊神经元模型

基于T／S范数提出了一种新神经元模型，它实际代表了一个神经元数，对文献[3]神经元模型的推广，且能实现广义的“与、或和平均”运算，通过适当地选择T－范围和S－范数，该模型能实现T／S范数簇运算，本文也讨论了该模型对某些运算的封闭能力，以便对由这种神经元构成的网络进行简化时提供依据。     

可拓Fuzzy数及其可拓Fuzzy运算

以模糊数的结构特征为基础，引入了弱模糊数，可拓变换及可拓模糊数等概念，建立了可拓模糊数的模糊运算，讨论了这种运算的一些基本性质。     

关于算子的不变子集

讨论了一类非线性算子—仿射算子的不变子集的存在性问题,获得了几个仿射算子具有非平凡的闭凸不变子集的判别准则.     

错误集的可拓运算

本文在文[1],文[2]的基础上,为了研究错误的传递,转化的方法和规律,对错误集的可拓运算的定义进行分析,研究后指出,错误集的可拓运算不只是研只研针对错误集的元素,而是包括对错误集有关的论域,规则、元素和二元关系,同时也讨论了错误集的么算子,置换算子,分解算子,组合算子,毁灭算子和增加算子,并讨论了它们的几个基本规律。     

向量范数、矩阵范数的应用——线性方程组解的误差估计的推广

本文对[1]中线性方程组解的误差估计的定理作了推广,即证明了下面的定理: 定理设1)矩阵A=(a_(ij))∈C~(n×n)的摄动矩阵为δ=(δ_(ij))∈C~(n×n),向量B=(b_1,b_2,…,b_n)~T∈C~n的摄动向量为δ~*=(δ_1,δ_2,…,δ_n)~T∈C~n; 2)||A||_a是与某向量范数||X||_a相容的算子范数; 3)A可逆,B≠(O,O,…,O)~T; 4)||A~(-1)δ||_a<1,如果X,X~*分别满足 AX=B(x δ)X~*=B δ~*=B~*     

随机区域落影的分市

模糊数学有着十分广泛的应用,但任何应用都以模糊集的隶属函数为基础。因此模糊集的隶属函数的确定无疑是十分重要的。文献给出了一维模糊集的隶属函数计算公式。本文给出了二维模糊集的定义及其隶属函数的计算公式。     

一类含无界时滞微分系统的渐近稳定性

时滞微分系统的稳定性在控制理论和应用中极为重要,通过构造Lyapunov泛函,利用范数的定义和矩阵不等式的性质来判定矩阵的正定性和负定性,再根据泛函微分方程的稳定性理论,证明了一类具有部分时滞的导数小于1,部分时滞的导数大于1的微分系统的渐近稳定性,同时得到该系统零解的渐近稳定性的充分条件,扩大了系统的适用范围,使系统具有更加广泛的现实意义和在实际模型中研究系统的稳定性,同时可以将1看作问题一临界值,通过时滞来对系统的稳定性进行控制。     

一个极小不可满足公式子集的构造

对于极小不可满足公式和它的子类的研究是近年来兴起的一个热门方向。极小不可满足公式通过分裂得到的公式保持了极小不可满足性,它的子类的某些性质对于建立在分裂上的归纳证明是很有用的。找到了一个能递归构造的极小不可满足公式的子类MAX+,并证明这种递归构造方法具有可靠性和完备性,最后给出了一个构造实例。     

电子蓝军装备综合演练运筹分析及其平行系统构建

阐述了电子蓝军装备综合演练自身训练和对抗应用的2种模式。从电子蓝军建设论证、综合演练需求分析、综合演练方案优化、导调与指挥决策辅助、综合演练效果评估5个方面分析了电子蓝军装备综合演练运筹分析要解决的主要问题及其特点。提出了基于ACP方法的电子蓝军装备综合演练运筹分析框架,初步构建了电子蓝军装备综合演练运筹分析平行系统。运筹分析平行系统的提出,为电子蓝军装备综合演练总体设计、组织实施和评估研究提供了新的手段。     

Fuzzy多判据决策

在多判据情况下，对几个备选方案作排序选优，较典型的模糊决策方法有模糊关系法、模糊评价法等．本文将这两种方法结合起来，先分别在单判据情况下，对方案作模糊评价，建立优于关系，然后再综合．本方法便于作灵敏度分析，便于在计算机上实现，使决策能在交互式过程中反复进行，从而得到较符合实际，满足决策者意愿的最佳方案．     

一类不确定性Lurie控制系统的鲁棒绝对稳定判据

为了探讨具有不确定参数Lurie控制系统的鲁棒绝对稳定性问题,针对一类具有范数有界不确定性系统,利用Lyapunov函数方法,结合矩阵不等式,给出了系统基于线性矩阵不等式的鲁棒绝对稳定性判别条件,并通过算例给予验证。     

电子信息装备体系及基本问题研究

体系发展是武器装备建设的必然趋势。结合我军电子信息装备实际,分析电子信息装备体系的由来,提出电子信息装备体系的概念、内涵和外延,描述电子信息装备体系的基本构成,并对电子信息装备体系研究的基本问题进行了初步探讨。     

逻辑设计基本运算的汇编语言程序实现

本文阐述了采用Intel 8086/8088指令序列实现计算机辅助逻辑设计的基本运算,出程序流程图。     

基于效能仿真的航天装备体系效能评估方法

体系效能评估是航天装备体系发展的一项重要工作。首先分析了航天装备体系效能评估逻辑；然后运用多Agent建模思路，讨论了航天装备体系效能仿真框架；接着基于体系效能仿真建立了仿真统计信息表，并采用粗糙集方法处理仿真统计信息，获得效能评估规则；最后基于效能规则建立了基于模糊系统的航天装备体系效能评估方法，为体系效能评估提出了一个新方法。     

离散模糊时滞系统的多目标控制

基于离散时滞Takagi-Sugeno（T-S）模糊模型的多目标控制问题.设计了一个不仅满足稳定性要求,而且同时满足H2和H∞性能指标的模糊控制器.由线性矩阵不等式方法（LMI）给出了一类离散时滞模糊系统并满足该性能指标的控制器存在的充分条件,期望控制器可通过求解给定的LMI而获得.