BL-代数的n-重模糊蕴涵滤子

引入BL-代数的n-重模糊蕴涵滤子概念,讨论了n-重模糊蕴涵滤子的性质,给出若干等价刻画,给出了验证n-重模糊蕴涵滤子的一个简单条件。用n-重模糊蕴涵滤子对n-重蕴涵BL-代数进行了刻画,证明了一个模糊滤子是一个n-重模糊蕴涵滤子当且仅当对应的商代数是一个n-重蕴涵BL-代数。     

BL-代数上的几种直觉模糊滤子

结合直觉模糊集和滤子理论,对BL-代数上的直觉模糊滤子进行了研究。首先回顾了BL-代数和直觉模糊集的有关基础知识。然后引入BL-代数上的直觉模糊滤子、直觉模糊格滤子、直觉模糊布尔滤子和直觉模糊蕴涵滤子的概念,讨论了它们的一系列重要性质,证明了直觉模糊滤子与直觉模糊格滤子、直觉模糊布尔滤子和直觉模糊蕴涵滤子是等价的,并用实例进行了验证。最后探讨了直觉模糊滤子和模糊滤子的关系。     

伪BL-代数的犹豫模糊滤子

提出了伪BL-代数的犹豫模糊滤子的概念，给出它的几个等价刻画，并研究了它的一些性质。进一步，引入了伪BL-代数的几种犹豫模糊滤子，如犹豫模糊Boolean滤子、犹豫模糊正规滤子、犹豫模糊超滤子和犹豫模糊固执滤子，讨论了它们的一些刻画，给出了其间的一些关系。通过研究伪BL-代数中犹豫模糊Boolean滤子与犹豫模糊正规滤子的关系，解决了伪BL-代数中是否每个Boolean滤子都是正规滤子这样一个开问题。     

布尔函数的低次零化子研究

对布尔函数零化子的计数问题进行研究,在布尔函数系数矩阵的基础上给出线性独立零化子的一种新计数方式。提出布尔函数低次零化子概念,并在线性独立零化子新计数方式的基础上找到一种寻找布尔函数低次零化子的方法。对利用布尔函数低次零化子建立低错方程组实施攻击的思想进行了阐述。     

布尔函数零化子次数的一个错误证明的更正

指出了张文英等人关于零点集包含一个k维子空间的n元布尔函数一定存在[n-k]次零化子的证明,存在明显错误。利用线性空间笛卡儿积的思想,给出了关于上述结论的简洁、严密的逻辑证明。     

伪MTL代数的性质及其滤子

介绍了伪MTL代数的一些重要性质,引入了伪MTL代数的滤子、素滤子以及极大滤子的概念,研究了它们的性质以及它们之间的关系。     

FI代数上的一致拓扑空间

拓扑结构是逻辑代数中一个重要的研究内容。为描述Fuzzy蕴涵代数的拓扑结构,利用滤子诱导的同余关系在FI代数上构造一致结构和一致拓扑,证明了导出的一致拓扑空间是不连通的、零维的、局部紧的、完全正则的第一可数空间,是[T0]空间当且仅当诱导它的滤子为{1},且FI代数中的蕴涵运算关于导出的一致拓扑是连续的。此外,讨论了商空间的性质。这对从拓扑层面去揭示FI代数的内部结构具有促进作用。     

NML代数的滤子及其结构

首先在NML代数上引入MP-滤子与素滤子的概念,进而讨论了滤子和素滤子的基本性质,最后在全体素滤子之集上建立了拓扑结构。     

一类低频重零化子的推导及频谱分析

针对序列密码实现有效的离散傅里叶频谱攻击,前提条件是寻找到序列的低频重乘积关系或低频重零化子。利用周期序列的离散傅里叶变换,得到满足乘积关系序列的一个充要条件,并以此为基础,定义频谱循环差分,推导出一类低频重乘积关系和低频重零化子。同时研究了m序列的频谱性质,给出了m序列的频谱空间快速计算方法以及计算实例。     

IMTL-代数的零化算子和⊕理想及其相互关系

主要对IMTL-代数中的零化算子和⊕理想的性质及其相互关系进行了研究。首先,将零化算子的概念引入到IMTL-代数中,在IMTL-代数中分别讨论了单点零化算子,多点零化算子的性质;其次,将⊕理想的概念引入IMTL-代数中,并对⊕理想的基本性质进行了讨论;最后,给出了IMTL-代数上零化子和⊕理想之间的相互依赖的关系和相互决定的方法。     

Commuting functions with annihilator elements

Commuting is an important property in any two-step information aggregation process where the results should not depend on the order in which the single steps are carried out. In case of aggregation functions with the neutral elements, Saminger et al. (IEEEs Transactions on Fuzzy Systems, 2007, 15, 1032–1045) already reduced characterization of commuting functions to resolving the functional equation of a unary function. In this paper, we will investigate the commuting functions with the annihilator elements, especially, the nullnorms. A characterization of the commuting aggregation functions with the annihilator elements will be obtained in this case.     

基于C8051单片机的微弱信号检测装置的设计

设计并制作一套微弱信号检测装置,用以检测在强噪声背景下的频率500Hz～2kHz、幅度值20mV～2V的微弱正弦波信号的幅度值,并通过单片机显示出来该幅度值.当把微弱信号和噪声组成的混合信号输入由MAX262组成的可编程开关电容滤波器时,通过单片机控制该滤波器的中心频率和Q值,从而使该系统适合不同频率的信号输入.通过窄带滤波后可基本恢复原信号,把该信号经过检波和信号调理后输入A/D转换器进行采样,之后将其在LCD 1602上进行显示.     

基于弱形式解的粒子流滤波器

针对粒子流滤波器中粒子速度场计算复杂,难以滤波求解的问题,提出一种基于弱形式解的粒子流滤波器.通过将粒子速度场等效为势函数的梯度,推导该速度场所满足的偏微分方程的弱形式;应用Galerkin有限元法和蒙特卡罗积分法,推导出一个易于计算的弱形式常数近似解. 仿真算例表明,在一定初始条件下,多峰型后验分布会使高斯假设滤波器局部收敛,而粒子流滤波器是有效的,且具有较高的跟踪精度和较好的鲁棒性.     

Metrizability on (semi)topological BL-algebras

In this paper we define the notion of quasifilter neighborhoods on (semi)topological BL-algebras and state and prove some of their properties. Finally, using the concept of quasifilter, we find some conditions under which a BL-algebra will become metrizable.     

基于粒子滤波的弱目标检测前跟踪算法

针对低信噪比条件下机动目标的检测跟踪问题,提出了一种改进型的基于多模型的粒子滤波检测前跟踪算法.由于粒子退化问题,在目标信号微弱、目标发生机动或者信号幅值波动较强势,粒子滤波的TBD算法的检测概率和跟踪精度将会下降.本算法在粒子滤波的基础之上改进,即在每次循环之前加入新粒子,新粒子的分布是由平均法和前一时刻的目标估计结果进行确定.给出了粒子滤波的TBD算法推导以及数值计算过程.仿真实验表明:基于改进型粒子滤波检测前跟踪算法能够检测低信噪比的目标.     

Separation axioms in (semi)topological quotient BL-algebras

In this paper, we study the relationship between separation axioms and (semi)topological quotient BL-algebras. We bring some conditions under which a (semi)topological quotient BL-algebra becomes a T ₁-space or Hausdorff or regular or normal. Also, we use maximum condition to get a Hausdorff or regular or normal (semi)topological quotien BL-algebra.     

光幕测速法中微弱光信号的分析与检测

构建了弹丸通过光幕的几何模型,提出了用于检测微弱光信号的边沿提取法,设计了由预处理电路、级联滤波放大电路和整流电路三部分组成的模拟电路,通过滤波的方式可有效滤除自然光和蚊虫噪声的干扰,实现微弱信号提取。该方法还可有效克服弹丸属性对测量的影响,增强检测系统的适应性。仿真实验表明,电路可以有效提取放大微弱的光信号,信噪比达到20 dB以上,满足探测的要求。     

模型参考自适应控制系统（MRACS）设计的一种方法

只根据对象的输入输出值，而不利用各阶导数设计ＭＲＡＣＳ是易于实现的设计方法。本文在现有只适用对象模型分母与分子阶数差不大于１的成熟简便设计方法基础上，推广出模型为任意相对阶数的ＭＲＡＣＳ设计方法。此方法对该问题设计比现有的其它方法大为简单。