连续选择和聚合不动点定理

得到了定义域为非紧、非仿紧，值域为拓扑空间的集值映象的连续选择定理，并且集值映象的连续选择映象的定义域为整个空间而非拓扑空间的一个紧子集，应用连续选择定理，得到了聚合不动点定理，推广了最近一些文献上的相关结论。     

循环码纠错在编译码中的应用

分析了循环码的数学原理，探讨了具有较强检、纠错能力的循环码实现方法，结合实例讨论了其在编码、译码中的具体应用．     

克拉申二语习得理论与大学英语听力分级教学

针对英语听力教学费时低效的现状,分级教学是解决问题的有效途径,也是符合大学英语课程教学要求.本文尝试性地将克拉中的输入假设和情感过滤假设与大学英语听力分级教学结合加以研究,论证了该理论是大学英语分级教学的理论根据和理论框架,并进而提出克拉申理论对大学英语听力教学的启示意义.     

结合图的导出匹配可扩性

简单图G和H的结合图G[H]的顶点集为V(G)×V(H),其中(u,v)和(u′,v′)相邻的充分必要条件是:或者uu′∈E(G)或者u＝u′并且vv′∈E(H).研究了结合图G[H]的导出匹配可扩性,证明了若G和H是非平凡图,G是连通图,且G和H满足下列条件之一,则G[H]是导出匹配可扩的:(1) G和H中有一个是导出匹配可扩的;(2) G和H都有完美匹配;(3) G和H中一个有完美匹配,另一个有几乎完美匹配.     

基于语义可串行性的锁协议并发控制算法

为实现语义可串行性调度而提出的基于两段锁协议的并发控制算法无法保证所得到的历史具有可恢复性，为解决该算法的可用性问题，利用并发控制和恢复的统一模型给出一种基于两段锁协议的并发控制算法。     

Banach空间中的各种K可微性

引入了K -Gateaux可微、K -Fr啨ｃｈｅｔ可微、Ｋ -一致Gateaux可微、K -一致Fr啨ｃｈｅｔ可微等概念 ,并讨论了各种K可微性与对应的K光滑性的关系 ,给出一些等价条件。     

广义Burgers方程族的一类扩展可积模型

首先构造了loop代数A1的一个新的子代数,再将其扩展为一个高维的loop代数G,利用G设计了一个新的等谱问题,应用屠格式求出了名的Burgers方程族的一类扩展可积模型。     

Lebesgue积分与广义积分的关系

利用Lebesgue积分与Riemann积分的关系，给出了Lebesgue积分与广义积分之间的关系，并且具体展示了所得结果在计算函数的Lebesgue积分值和判别函数的Lebesgue可积性两方面的实用性。     

可拓神经网络在可拓专家系统中的研究与应用

将可拓学理论、人工神经网络和专家系统技术有效地组合与集成,建立了基于可拓分析与神经网络的空中目标识别专家系统,并将其应用于防空作战指挥信息系统空中目标识别。着重阐述了基于物元的知识表示方法以及空中目标识别专家系统的设计思路、总体结构和工作原理。     

船用平台式INS光学标校初始对准方法研究

为了解决航海型平台式惯性导航系统（INS）非自主式初始对准问题，建立了不同观测量条件下统一的INS初始对准方程。通过系统可观测性分析，得出增加外部姿态角的观测信息将有效提高INS平台失准角和惯性元件误差的估计能力的结论。设计出一种独特的可测量低动态载体两维姿态的高精度光学测量系统（OCS）用以提高航海型平台式INS初始对准精度。建立OCS／GPS／计程仪（LOG）／INS初始对准卡尔曼滤波器，并进行了基于部分试验数据的数字仿真，与传统的基于位置和速度的GPS／LOG／INS初始对准方法相比，基于OCS的系统不仅缩短了对准时间，还有效改善了系统惯性元件的误差估计精度。