效应代数上的模糊滤子

进一步研究了效应代数上模糊滤子的性质,并引入了一个新的概念:正规模糊滤子,讨论了正规模糊滤子之集是模糊滤子之集的子格.同时研究了模糊滤子可以诱导出效应代数的同余关系及其相关的性质.     

伪NM代数的正规滤子与素滤子

为建立智能信息处理（近似推理）的数学基础以及逻辑代数自身发展的需要，提出一类新的逻辑代数——伪NM代数．引入了伪NM代数的滤子理论，定义了滤子、生成滤子、正规滤子和素滤子等概念，研究了它们的特征性质，给出了生成滤子的结构，证明了在伪NM代数中素滤子与不可约滤子等价以及极大滤子必是素滤子，建立了伪NM代数的素滤子定理及其推论．它们是NM代数滤子理论相应结果的非交换推广．     

格蕴涵代数中的直觉模糊滤子

本文讨论格蕴涵代数中的直觉模糊滤子的概念及其性质。给出了直觉模糊格滤子与直觉模糊滤子的关系,得到了直觉模糊滤子的几个等价条件,为直觉模糊集在格蕴涵代数中的进一步应用奠定了理论基础。     

可解多项式代数与它在阶滤子下两种分次代数的关系

针对可解多项式代数A，证明了它在阶滤子下两种分次代数grC(A)与A^～均为可解多项式代数．应用Groebner基理论，给出了其左理想L和gr^C(L)与L^～的Groebner基的转换．     

模糊格中滤子的σ—收敛性

在模糊格中建立了滤子的σ－收敛理论,研究了滤子的σ－收敛性与分子网的σ－收敛性之间的关系,给出了滤子的σ－收敛理论的若干应用。     

共轭投影梯度滤子算法及其全局收敛性

提出了一种基于共轭投影梯度思想的SQP-滤子算法,滤子技术的引入使得该算法不需要求解二次规划子问题.借助于共轭投影梯度思想能有效避免常规滤子算法中的恢复算法,简化了算法结构.在一定条件下,证明该算法具有全局收敛性.     

约束非线性优化的二阶段滤子SQP算法

利用了序列二次规划来求解非线性规划问题,并且引进滤子的概念。这样做可避免使用罚函数时选择罚函数参数的困难。在算法中,每次迭代分成可行性阶段和最优化阶段。在可行性阶段中,减小不可行性的某种度量;在最优化阶段中,减小目标函数值。在一些较弱的条件下,证明了算法的全局收敛性。     

网对古典数学分析中四种极限的统一

利用网的概念和网的收敛性，将古典数学分析中四种极限的概念归结为一种统一的形式，并给出了极限唯一性证明。     

模糊格中滤子的σ-收敛性

在模糊格中建立了滤子的σ收敛理论,研究了滤子的σ收敛性与分子网的σ收敛性之间的关系,给出了滤子的σ收敛理论的若干应用     

网对古典数学分析中四种极限的统计

利用网的概念和网的收敛性，将古典数学分析中四种极限的概念归结为一种统计一的形式，并给出了极限唯一性证明 。     

一致结构的单子对Cauchy网的刻画及其应用

在扩大的非标准模型中，利用一致结构的单子对Ｃａｕｃｈｙ网并进而对完备空间进行了离散性刻画，并用这种刻画证明了Ｃａｕｃｈｙ网及完备空间的若干性质，特别给出了完备空间的乘积为完备空间的一个直观简明的证明。     

变异粗集与它的过滤特性

利用变异粗集的概念，提出了变异粗集粒度、过滤度的概念，讨论了变异粗集（X_（a），X^-（a））与Z．Pawlak粗集（R_（X），R^-（X））的粒度、过滤度的关系特征，给出了变异粗集粒度、过滤度的单调性定理。本文的讨论是对变异粗集理论的丰富与发展.     

变异粗集与它的过滤特性

利用变异粗集的概念,提出了变异粗集粒度、过滤度的概念,讨论了变异粗集(X-(α),X-(α))与Z.Pawlak粗集(R-(X),R-(X))的粒度、过滤度的关系特征,给出了变异粗集粒度、过滤度的单调性定理.本文的讨论是对变异粗集理论的丰富与发展.     

开关电容带通滤波器在管网泄漏点定位中的应用

为了研究供水管网系统漏失的检测、定位及处理,根据管网漏点水声波发生原理和水声波信号频率低、带宽窄的特点,提出了一种基于相关分析原理的泄漏点定位系统,介绍了前向通道中开关电容带通滤波器的设计.通过实际测试表明设计的滤波器满足系统要求,具有很好的滤波性能.     

网式滤油器的研制

介绍了一种专为三螺杆泵而研制的网式滤油器，阐明了设计要点、结构特点，讨论了密封、清洗等问题     

网收敛的非标准特征及其应用

通过利用非标准分析中的扩大模型，对拓扑空间中的网进行了讨论，从而得到了网收敛的非标准特征，并进一步利用这一特征证明了拓扑学中的一些相关定理。     

一种扩展Petri网及其应用研究

基于Petri网,提出了离散事件系统建模,分析与控制的一种新模型——控制和数据Petri网(CDPN)．给出了CDPN形式定义,发射规则．研究了基于工业控制计算机和可编程序逻辑控制器的控制系统CDPN模型的设计步骤和方法,为控制系统设计的最终确认提供了形式化的分析手段和依据．最后给出了该方法在立体停车库控制系统设计中的应用．     

动态规则库构造及并行推理的扩展Petri网模型

专家系统技术的不断实用及其具体领域中的深入应用向人们提出在推理机制和效率上的更高要求．本文提出一种基于扩展Ｐｅｔｒｉ网模型描述的动态规则库构造方法，以及在此基础上所支持的并行推理能力．     

基于卡尔曼滤波的无速度传感器矢量控制系统

从卡尔曼滤波器的理论出发，结合感应电机数学模型，设计了获取模型，设计了获取异步电动机转子位置，转子速度和转子磁通的扩展卡尔曼观测器模型，仿真结果表明，该方案能使系统获得良好的动态性能，对负载扰动具有很强的抑制能力，证明了扩展卡尔曼观测器方法的合理性和优越性。     

曝气生物滤池工作性能与滤层高度的相关性

研究了中试规模的上向流曝气生物滤池(UBAF)处理生活污水时,滤层高度与工作性能的相关性.结果表明:当水力负荷超过3.0 m~3/(m~2·h)时,COD_(Cr)、NH_4~+-N 的去除率均与滤层高度呈正相关;当水力负荷低于3.0 m~3/(m~2·h)时,COD_(Cr)的去除率只与滤池下部滤层高度呈正相关,在滤池上部滤层处几乎保持不变,而 NH_4~+-N 的去除率则与滤池上部滤层高度呈正相关.在所有水力负荷工况下,SS 的去除率均与滤层高度无相关性,且80%以上的 SS 被反应器最下部0.9 m 高的滤层所截获.