超穷序集及超穷论法

给出了序集Ｗ为半整序集的充要条件是Ｗ的非空真前段有形Ａ（ｘ０）及Ａ「ｘ０」。在半整序集上建立了超穷归纳不原理：设Ｗ是一个半整序集，Ｐ是一个性质，如果下列例题成立，则Ｗ的所有元素均具有性质Ｐ。（１）若α〈ｘ〈β具有性质，则，α，β具有性质Ｐ；（２）一串不具有性质Ｐ的点 极限点亦不具有性质Ｐ。     

关于宇宙拓扑结构的进一步探索

本文应用宇宙的拓扑模型对宇宙进行分解，从而更进一步地揭示和描述了宇宙的结构：Ｖ＝∪Ｔａ∪Ｑ。     

任意等分角的原理及任意等分角器

本文通过把任意等分解的平面问题转化为空间问题的方法及平行截割任意等分直线段的原理解决了任意等分角的问题，并设计出了相应的任意等分角仪器。     

BANACH空间中集值测度的勒贝格分解

本文主要是在Ｂａｎａｃｈ空间中建立了集值测度的勒贝格分解定理，把文［２］在有限维向量空间中集值测度的勒贝格分解定理，推广到了无穷维空间．     

连续参数集值拟鞅及Rao分解

给出了连续参数集值拟鞅的定义及连续参数集值拟鞅与实值拟鞅之间关系，并给出了连续参数集值拟鞅的Ｒａｏ分解定理     

L—fuzzySRN—聚点

在Ｌ－ｆｕｚｚｙ拓扑空间中引入ＳＲＮ－聚点及导集的概念，系统地研究了ＳＲＮ－导集的性质。     

捕钒剂对不同FCC分子筛催化剂的钝钒效果

研究了在ＲＥＹ、ＲＥＨＹ、ＵＳＹ三类常用的ＦＣＣ分子筛催化剂中加入捕钒剂组分（对催化剂基体进行化学改性）对钝化重金属钒污染的作用效果。结果表明，碱土金属类捕钒剂ＡＢＯ３对ＲＥＹ、ＵＳＹ类ＦＣＣ催化剂有良好的钝化效果，属于酸碱反应的钝化机理。但碱土金属类捕钒剂，如ＡＢＯ３、ＭｇＴｉＯ３、ＭｇＯ和ＣａＳｎＯ３等，与ＲＥＨＹ分子筛不匹配，非但没有钝化重金属，反而对ＲＥＨＹ分子筛的质子酸中心有破坏作用，使     

基于H∞控制的Smith预估器及其在Wood-Berry精馏塔设计中的应用

设计了对象具有加性不确定性时基于H∞控制的Smith预估器，将具有多个时间滞后系统的跟踪问题转化为标准H∞控制器设计问题。利用Smith预估器，可以有效地处理大时间滞后系统的跟踪问题，所设计的H∞控制器适用于多输人多输出系统。采用动态输出反馈方法，通过解两个Riccati不等式完成控制器的综合。将基于H∞控制论的Smith预估器应用于Wood—Berry精馏塔的设计，仿真结果表明了控制器的有效性和鲁棒性。     

可执行代码级优化器生成框架

编译基础设施生成的编译器对与目标机特征相关的优化支持不足 ,同时嵌入式应用系统的发展要求高质量的目标代码 ,为此 ,提出一种可执行代码级优化器生成框架EOGF (executable optimizer generation framework) ,以及该框架的关键支撑技术。与现有的编译器生成工具相结合 ,如 GCC(GNU com piler collection) ,可以实现高质量编译器的快速开发 ,并可以方便地充分利用目标机特点进行相关优化 ,提高目标代码质量。实验结果证明 ,EOGF是一个简便、灵活且有效的可执行代码级优化器生成工具     

光纤去偏器及其研究现状

光纤传感器作为光电子技术中的一个应用领域．广泛受到人们的重视。特别是具有高灵敏度的干涉型光纤传感技术得到了迅速的发展，并在军事、医学、电力和航空领域有着重要的应用。例如，基于Sagnac干涉效应的光纤陀螺仪已成为惯性导航系统中最重要的新兴器件；在高电压系统的测量中．光纤电流传感器已经逐步取代传统电磁型电流传感器。