格蕴涵代数中的扩张滤子

在格蕴涵代数中提出了扩张滤子的概念,讨论了扩张滤子与滤子,扩张滤子与素滤子,扩张滤子与滤子的根,扩张滤子与准素滤子,扩张滤子与最大滤子之间的关系.得到了扩张滤子的一些性质.最后,证明了在格H蕴涵代数中,扩张滤子与扩张滤子的根相等.     

一种免装配微惯性测量单元的研制与开发

以柔性材料和高精度六面体作为惯性传感器的安装载体和基准,设计了一种免装配、安装误差小、体积小、功耗低且便于标定的微惯性测量单元。给出了安装误差小角度前提下的传感器的测量方程和标定方法;利用微控制器的并行工作机制,提出了一种快速有效的基于均值滤波和FIR滤波的组合滤波方案。实验结果表明:MIMU可以100 Hz的频率更新测量输出,加速度测量噪声小于2.5 mg、测量误差小于0.8 mg,旋转角速度测量噪声小于0.15 o/s、测量误差小于0.2 o/s,可满足微小型惯性导航系统的功耗、体积、测量精度和响应速度的应用需求。     

等式约束优化非单调信赖域算法

设计了一个新的求解等式约束优化问题的非单调信赖域算法.该算法不需要罚函数也无需滤子.在每次迭代过程中只需求解满足下降条件的拟法向步及切向步.新算法产生的迭代步比滤子方法更易接受,计算量比单调算法小.在一般条件下,算法具有全局收敛性.     

解非线性规划问题的不精确线性搜索SQP滤子方法

本文用序列二次规划方法(SQP)结合Wolfe-Powell不精确线性搜索准则求解非线性规划问题.Wolfe-Powell准则是一种能够使目标函数获得充分下降而运行时间较省的确定步长方法.不精确线性搜索滤子方法比较其它结合精确线性搜索和信赖域方法求解问题的滤子方法更灵活更易实现.如果目标函数的预测下降量为负,我们的工作将主要利用可行恢复项改善可行性.一般条件下,本文提出的算法较易实现,且具有全局收敛性.数值试验显示了算法的有效性.     

关于BL-代数的模糊滤子与模糊理想

在BL-代数中引入模糊超滤子和模糊固执滤子的概念,证明了如下条件对于BL-代数的非常数模糊滤子f来说是等价的:(1)f是布尔的和素的,(2)f是蕴涵的和素的,(3)f是超的,(4)f是固执的。应用模糊正蕴涵滤子给出G-代数的若干特征性质。提出BL-代数模糊理想的概念,给出一些重要例子,并通过例子说明在BL-代数中模糊理想一般不能由模糊滤子导出。同时,从模糊理想出发构造了商BL-代数,并建立了相应的同态基本定理。最后,研究了BL-代数的几类模糊理想及其相互关系,给出模糊布尔理想、模糊素理想、模糊超理想的特征性质。     

分配格的分式扩张

首先借助整数扩充为有理数的办法构作一个分配格对它的滤子的分式扩张,然后用泛映射性质来刻画由任意分配格所构作的分式扩张,最后讨论了这种扩张的理想结构。     

偏序集上的滤子极大理想

在偏序集上引入并考察了滤子极大理想的概念,证明了相应的存在性定理。引入并考察了伪极大元和伪既约元的概念,利用图表的形式对连续格中各种类型的既约元和素元之间的关系进行了归纳总结,完善了文献《Continuous Lattices and Domains》(作者:G.Gierz,et al)中的一个图表的相关内容,填补了在分配的连续格情形该图表的一个未知内容,部分地回答了该文献中的一个问题。     

模糊拓扑空间的m—收敛理论

本文在模糊拓扑空间中引进了模糊网和模糊滤子的ｍ－收敛概念，探讨了模糊网的ｍ－收敛与模糊滤子的ｍ－收敛之间的关系，得到了Ｈａｕｓｄｏｒｆｆ拓扑与模糊网的ｍ－收敛和模糊滤子的ｍ－收敛之间的关系以及刻画Ｈａｕｓｄｏｒｆｆ拓扑几何特征的定理。     

由格蕴涵代数诱导的伴随半群

给出由格蕴涵代数诱导出的伴随半群及有关概念 ,详细讨论伴随半群中的元素即格蕴涵代数的左映射的性质 ,得到它们的几个等价条件。最后讨论由格蕴涵代数诱导的两个双格半群与伴随半群之间的关系 ,并证明这些半群是幂等的当且仅当它们是由格 H蕴涵代数所诱导