粗糙集代数与BR0代数

讨论粗糙集代数与BR₀代数的关系,以及由粗糙集代数构造BR₀代数的方法。借助近似代数的原子及同余关系,证明了在适当选取蕴涵算子及余运算之后,粗糙集代数就成为BR₀代数。     

BR_0代数中的次极大滤子

首先在BR0代数M中引入滤子,然后又给出了M中次极大滤子的概念,并讨论了它的性质,得到了BR0代数中的每个滤子都可表示为一些次极大滤子的交的结果。特别地,在满足滤子降链条件的BR0代数中,每个滤子都可表示为有限个次极大滤子的交。     

非交换BR0-代数与其上的Quantale

提出非交换BR₀-代数的概念,然后讨论了在完备非交换BR₀-代数和完备BR₀-代数上的Quantale性质,最后得出完备Boole代数、完备MV代数、完备R₀-代数以及完备BR₀-代数都是可换的Girard quantales的结论。     

BR0代数的关联MP滤子和布尔MP滤子

引入BR0代数的关联胛滤子。研究它的特征,证明如下主要结果：F是关联脚滤子,当且仅当F是布尔仰滤子。从而BR0代数成为Boole代数的充要条件是每个胛滤子均为布尔胛滤子或关联肿滤子。     

BR0代数的关联MP滤子和布尔MP滤子

引入BR₀代数的关联MP滤子。研究它的特征,证明如下主要结果：F是关联MP滤子,当且仅当F是布尔MP滤子。从而BR₀代数成为Boole代数的充要条件是每个MP滤子均为布尔MP滤子或关联MP滤子。     

R0代数中的模糊正规滤子

在R₀代数中引入模糊正规滤子的概念,给出其充要条件,得到了模糊正规滤子的扩张性质,讨论了模糊正规滤子与模糊滤子、截集之间的关系,最后,用模糊正规滤子刻画了正规R₀代数M和正规商R₀代数M/f。     

WBR0-代数的∧-半格表示及其实例

对WBR0-代数进行了再研究。给出WBR0-代数的一种∧-半格结构表示的简化形式,并根据这一简化形式构造了一个非BR0-代数的WBR0-代数的实例,进一步说明了WBR0-代数提出的合理性。     

R0代数中的正蕴涵MP滤子和固执MP滤子

在R0代数中,给出布尔MP滤子的几种性质特征。提出正蕴涵MP滤子和固执MP滤子的概念,讨论了它们的一些性质定理。证明正蕴涵MP滤子与布尔MP滤子等价,固执MP滤子与MP超滤等价,同时也讨论了正蕴涵MP滤子和固执MP滤子的关系。     

BR0代数的犹豫模糊滤子与理想

将犹豫模糊集应用于[BR0]代数的滤子和理想理论中,初步建立[BR0]代数的犹豫模糊滤子与理想理论。引入了[BR0]代数的犹豫模糊滤子、犹豫模糊理想和犹豫模糊素理想的概念,研究它们的基本性质,给出了[BR0]代数的犹豫模糊集成为犹豫模糊滤子（犹豫模糊理想）的条件,证明了[BR0]代数的犹豫模糊滤子、犹豫模糊理想和犹豫模糊素理想关于交运算具有封闭性,指出了犹豫模糊滤子、犹豫模糊理想和犹豫模糊素理想在[BR0]代数同构下的不变性。     

基础R0_代数的正规MP-滤子和布尔MP-滤子

BR0-代数是MV-代数和R0-代数的共同基础,论文引入了BR0-代数的正规MP-滤子和布尔MP-滤子,讨论了他们之间的关系,给出它们的特征性质,并且给出了刻画正规BR0-代数的特征定理。     

BR_0代数的模糊理想与直觉模糊理想

引入BR0代数的Fuzzy理想与素Fuzzy理想的概念;给出了Fuzzy理想与素Fuzzy理想的等价形式;在(素)Fuzzy理想基础之上又进一步引入了(素)直觉Fuzzy理想,并通过Fuzzy理想找到了它们与(素)理想之间的关系。     

ARM Cortex—MO／MO＋单片机的指针变量替换方法

32位ARMCortex—M0／M0＋内核定位于“全面替代”各类8／16位微控制器（MCU）内核,其硬件设计支持使用16位短指针变量。目前主流的ARM编译器仅使用32位长指针变量,这对于资源有限的MCU来说十分浪费。为了优化指针变量的使用方式、节约RAM资源,本文给出一种替换长指针的方法,并以运行μC／OS—II为例,说明替换效果。     

基于cubature Kalman filter的INS/GPS组合导航滤波算法

INS/GPS组合导航系统的本质是非线性的,为改善非线性下INS/GPS组合导航精度,提出将一种新的非线性滤波cubature Kalman filter（CKF）应用于INS/GPS组合导航中.为此,建立了基于平台失准角的非线性状态模型和以速度误差及位置误差描述的观测模型,分析了CKF滤波原理,设计了INS/GPS组合滤波器,对组合导航非线性模型进行了仿真.仿真结果显示,相对于扩展卡尔曼滤波（EKF）,CKF降低了姿态、位置和速度估计误差,CKF更适合于处理组合导航的状态估计问题.     

一种利用人眼视觉特性的B样条中值滤波研究

论文提出了一种新的利用人眼视觉特性的B样条中值滤波,该技术充分考虑了利用人眼视觉特性确定噪声点,根据窗口内噪声点个数自适应选择合适的滤波窗口大小,采用B样条函数和中值滤波方法对噪声点进行逐点滤除。论文最后给出模拟实验和分析,结果表明该技术是有效的,既能有效地去除图像噪声点,又能较好地保持图像细节部分,为去除图像中的噪声提供了一种新的方法。     

发布/订阅系统中多级索引匹配过滤器

发布/订阅过滤器采用计数器算法匹配影响系统的匹配时间,一种优化思想是考虑订阅集合的多级索引,层层筛选,避免重复匹配,提出了支持订阅覆盖的多级索引匹配过滤器设计思想,讨论了支持订阅覆盖的多级索引匹配过滤器的构造原理。采用多级索引搜索,可以快速找到与订阅消息符合的事件,大大减少了重复匹配,有效地提高系统性能。