用构造基证明归纳定理

在测试集方法的基础，引入一个新的概念－构造基，用于产生完全的但非冗余的不可归的约基项；提出构造基归纳原理，将显式归纳证明和隐式归纳证明有机地结合在一起。对测试集方法做出了改进，实验表明：这种方法提高了归纳定理的证明效率。     

受控Lorenz系统的一些结果及其应用

首先考虑受控的Lorenz系统，利用Jacobin矩阵和平衡点的定义，给出了系统的控制项；再利用广义Lyapunov函数簇。给出了此系统的全局吸引集和正向不变集估计的方法和结果，并分析了此系统的稳定性；利用此系统简化椭球公式的证明，从而讧明了Leonov公式，将估计式统一在一个公式之中，新公式还可以派生出一系列其他的估计式；然后，利用几何学的交集的思想，获得全局吸引集和正向不变集的更佳结果；最后，采用线性反馈的方法构造了一个同步系统，在Matlab上进行了数值仿真，给出了系统的同步误差图，结果表明此方法是可行有效的．     

基于Web2.0的协作式学习系统的研究与实现

基于网络的协作式学习是网络教育领域的一个重要研究方向。首先分析了现有基于网络的协作学习系统及Web2.0与协作学习相结合的可行性,然后以Web2.0的理念与技术为依托,建立了螺旋上升式的基于Web2.0的协作式学习系统模型,引入了大众评审机制,革新了异质分组的实现方法,开发出了一个全新的基于网络的协作式学习系统并在教学实践中进行了应用。教学应用表明该系统在提高学生学习成绩和培养学生综合素质,如:表达能力、协作能力、集体意识等方面都有一定的作用。     

公路网智能化交通安全管理系统研究

道路交通安全问题已经成为一个世界性问题，分步实施交通安全管理的信息化工程，建立并不断完善计算机安全管理系统，是提高交通安全管理的关键手段之一。建立了公路网智能化交通安全管理系统，分析了该系统的总体框架、系统主要功能，对于交通安全管理的分析及预测可以起到辅助决策和支持的作用。     

重写系统中的显式归纳方法

提出了重写系统中的显式归纳方法，设计了一个新的归纳定理证明系统，实例表明，显式归纳方法要比无归纳的归纳方法来得简单直观。     

Burger‘s方程的逆风型组显格式

以求解Ｂｕｒｇｅｒ’ｓ方程的显式逆风格式为基础，构造一个逆同型分组显式格式，并讨论其线性化的稳定性。数值结果表明，本方法倨于Ｅｖａｎｓ的分组显式格式。     

开源项目下探讨式教学法在Java课程中的应用

分析了以往Java课程教学存在的如下问题：课程教学内容以书本知识为主心轴；教学方法侧重于知识的传授；缺乏理论与实践一体化的教学环境和工具．为提高教学质量和效果，将探讨式教学引入其中．从学生分组探讨、逐层分解开源项目和鼓励学生探讨新知识三个方面，详细介绍了在Java技术开源项目下探讨式教学法的应用．实践表明，这种方法教学效果良好，有利于培养学生的综合素质能力．     

基于全国周培源大学生力学竞赛材料力学新教学模式的实践

针对学生在学习材料力学课程中存在的内容多、不容易掌握的特点，将力学竞赛辅导采用的科学方法论的逻辑方法（比较-分类法、归纳-演绎法、分析-综合法），引入到材料力学的课程教学中，形成一种以这几种逻辑方法为基础的新教学模式。实践证明，这种新教学模式不仅提高材料力学课程的教学质量，激发学生的学习兴趣；而且学生也很容易掌握各章的知识点，并将它们熟练地应用于分析和解决综合问题。     

对高速公路安全管理的思考

高速公路安全管理体系：高速公路交通安全是一个由人、车、路、管理组成的系统问题,这四个因素相互协调、相互作用,任何因素出现问题,都将影响到交通安全。本文将对些进行分析。     

机动车微机检测与管理系统

机动车的安全检测与管理对交通安全及环境保护有重要意义。本文从工程角度介绍和比较集中控制式、分级分布式、分组控制式等几种微机控制系统的结构、布置和软件功能，探讨不同使用条件如何选择较合理的微机检测与管理系统。     

自主水下航行器事件触发自适应神经渐近深度跟踪控制

针对自主水下航行器(AUVs)在未知模型动力学和环境干扰作用下的高精度深度跟踪控制问题，设计一种事件触发自适应神经渐近跟踪控制器。采用径向基神经网络(RBF NNs)逼近模型中的非线性不确定项，将积分有界函数融入控制律和自适应律中，以实现跟踪误差的渐近收敛；采用最小学习参数(MLPs)技术压缩神经网络权重，构造单参数自适应律；在控制器至执行器通道上应用事件触发机制，构造变量式事件触发条件，避免“Zeno”现象；应用径向基函数的不等式关系，解决“代数环”问题；采用Laypunov直接法和Barbalat引理对闭环系统的稳定性进行分析，证明跟踪误差的渐近收敛。仿真试验验证本文控制策略可实现高精度深度跟踪。     

移动网络分组业务服务质量分析系统的设计与实现

服务质量是指网络提供更高优先服务的一种能力。为保障移动网络分组业务服务质量的要求,从分析移动网络分组业务服务质量相关问题入手,设计了一个移动网络分组业务服务质量分析系统,并以B/S结构的形式实现了该系统。该系统可以对业务进行综合分析评价,并对SLA进行监控,进而将结果以策略的形式下发到网络实施调整。实践表明,该系统可以有效地保障移动网络分组业务的服务质量,对现有的运维工作有很好的指导意义。     

类型系统的构造、实现及其在程序设计语言中的应用

类型系统是一种设计和研究程序设计语言的形式化方法和工具，既可在语言设计之初构造，便于严格、准确、正确地设计实现语言；也可在语言实现后构造，为研究语言的语义及其它性质建立模型。详细讨论了类型系统的基本构造和实现，通过基于图重写的函数式语言SClean的类型系统，提出一种实用的类型系统的构造和实现方法。     

模糊关系系统解耦方法

针对模糊关系系统的解耦问题，提出了可解耦的充分条件及构造模糊串联补偿解耦器的具体方法；在此基础上，进一步讨论了在一类拓扑变换下模糊关系系统的解耦方法．本研究可为多变量模糊控制系统的分析与综合提供一种有效的工具．     

渤海湾盆地新生代构造演化

渤海湾新生代盆地经历了早第三纪裂陷沉降和晚期第三纪－第四纪后裂陷热沉降两个阶段。基本完成了一个完整的裂陷作用旋回。早第三纪裂陷作用包括三个裂陷伸展期，它们分别相当于孔店级－沙四段、沙三段、沙二段－沙一段－东营组等三套地层的发育时期，各裂陷伸展期的构造运动学特征有一定的差异，反映在伸展构造样式的变化上，大致可归纳为由多米诺式正断层系统向铲式正断层系统、坡坪式正断层系统的演化序列及由非旋转平面式正断层系统向铲式正断层系统、坡坪式正断层系统的演化序列两个演化模式。     

对偶线性规划问题的一类解法

通过线性互补问题(LCP)的一个等价系统——Pang函数的区间斜率的构造，得到了LCP问题的Krawczyk区间算子的迭代算法，证明了该算法是可以在计算机上得以确认的一种检验方法；同时阐述了如何将对偶线性规划问题转化为LCP问题的方法，由此获得计算对偶线性规划问题的区间迭代算法，由算例可知，其数值结果是很好的。     

海上交通系统安全定量评价方法

基于控制理论与模糊推理系统的思想与方法，建立了海上交通安全评价FIS模型，综合考虑海上交通安全系统中人的因素操船危险度，船舶因素操船危险度，交通环境船危险度的相互影响，对人船环境系统安全进行了综合评价，所得的评价结果与实际情况基本相符。     

Newton-Leipnik系统的线性反馈控制与同步研究

构造一个简单的线性控制器，通过对控制参数的适当选取，将Newton-Leipnik系统分别控制到稳定的周期轨道和稳定的不动点，利用Mathematics软件进行数值模拟证明这种控制达到预期的目标；同时，基于线性系统的稳定性理论，构造一个混沌同步系统，研究了Newton-Leipnik(N-L)系统的完全同步问题，数据模拟结果也证实本文构造的同步混沌系统的可行性与有效性．     

分组链密码系统的研究与实现

在ＤＥＳ密码算法和背包公开密钥算法的基础上，提出了一新的分组接密码算法，并依据此算法构造了一个分组链接密码的系统。同时，还对系统的性能进行了分析，证明了该系统保密强度较高，实现简单，加、解密速度很快，能够保障数据的真实性，可以用于数字签名。     

用Skipjack算法构造跳频码的实现

跳频码序列的性质直接影响着跳频通信的性能，计数式跳历ToD(Time of Day)跳频码序列的产生算法是对计数式ToD的分组加密变换。基于这种认识，提出了用分组加密Skipjack算法来构成跳频码序列的产生算法，分析和测试表明所得的跳频码序列在均匀性、相关性、复杂性、游程和频隙滞留等方面都能满足跳频码序列的要求；在FPGA上综合的结果说明，该算法是一个便于芯片实现的、可实用的跳频码发生器方案。