线性调节器时域强壮性(鲁棒性)分析

这篇论文提出了有关在时域内线性调节器的强壮性的见解。首先,提出了在时域内(用特征值表示)稳定强壮性条件。论文指出,提出的强壮性条件与对应的频率域条件以及新近提出的另一个时域条件(用奇异值表示)相比保守性较少。而后,提出的方法理一步减少了提出的这个条件的保守性。最后,提出了把稳定强状性和性能强壮性同时编入程序的一个设计计算方法。为了说明提出的概念,举了一个简单的例子。     

对数字仿真方法的研究

本文提出并证明了一个定理,指出单步离散化数字仿真方法只能达到二阶精度。考虑到数字仿真离散化方法中现有方法是二阶的情况,提出了一类两步四阶精度的方法。在时域内对提出的方法的稳定性提出了分析,提出了稳定性的约束条件,给出了绝对稳定区间。最后给出了计算实例结果。     

压缩SOAP改善XML Web Service性能的研究

本文首先提出了SOAP的有关概念；再提出了SOAP压缩的原理；接着提出改进的压缩方案。     

一种新的改进口令认证协议

口令认证作为一种简单易用的认证方式,被广泛应用于各种认证场合。最近几年,很多口令认证协议被提出来。2004年Kim和Choi提出一种经典的PAP口令认证协议,这种协议被引入802.11标准之中。随后这种协议被证明不能够抵抗离线字典攻击和重放攻击。2006年Ma等人提出这种协议的改进,随后Yoon等人证明Ma等人提出的协议仍然不能够抵抗离线字典攻击,并提出了改进。对Yoon等人提出的协议进行了分析,指出Yoon等人提出的协议仍然不能够抵抗离线字典攻击,提出了攻击模式。并对Yoon等人提出的协议进行了改进,提出一种T-PAP协议,能够抵抗离线字典和重放攻击。     

基于数据流的程序验证方法

本文针对编程时不能被编译系统检测出来的语义错误，提出了基于数据流的语义检测方发，提出了一个具体的实例，并提出了一般方法。     

食品药品监管行业信息化建设初探

本文对食品药品监管行业信息化建设的任务进行了概述，并阐述了信息化建设现状，提出食品药品监管行业信息化建设存在的问题．并针对存在问题提出了最后提出了推进信息化建设的对策探究。     

对数字仿真方法的研究

本文提出并证明了一个定理,指出单步离散化数字仿真方法只能达到二阶精度。考虑到数字仿真离散化方法中现有方法是二阶的情况,提出了一类两步四阶精度的方法。在时域内对提出的方法的稳定性进行了分析,提出了稳定性的约束条件,给出了绝对稳定区间,最后给出了计算实例结果。     

基于模块化的思想部署高校机房的研究

论文首先分析了高校机房普遍存在的问题及发展状况;其次,根据存在的问题提出了模块化思想,并分析了采用模块化部署的优势;再次,提出了各模块的详细设计方案;最后对本论文做总结,并评估了部署,提出了展望.     

网络可靠性优化分析

随着网络的快速发展,对网络可靠性也提出了更高的要求,因此,网络设计者对网络可靠性的研究也越来越多。本文首先提出了影响网络可靠性的因素,就此接着提出了网络可靠性优化设计。     

浅谈对新媒体应用下的VB教学改革的思考

随着新媒体的不断发展,势必对传统教学提出了挑战,使得教学改革列入了思考行列.新媒体的应用对教学提出了新的要求,也对教师提出了新的要求,但新媒体是把双刃剑,需要谨慎应用.     

方程的求根公式和根的展开式及其算法

本文获得了方程的求根公式及其根的级数展开式，并得到了求根的算法，同时，建立了求根问题的一个新方法——函数零点和方程根公式表示法。     

弧焊机器人TCF参数的标定

本文介绍了一种利用机器人正运动学方程和空间坐标变换关系来求解机器人的末端 执行器参数的方法．通过应用于本实验室的九自由度弧焊机器人的操作机（６DOF）对此方 法进行了验证,并给出了实验结果,而且分析了此标定方法的优点及不足之处．     

"Dempster_Shafer"证据理论在智能化遥感分类中应用研究

论述了Dempster_Shafer理论表示不确定性的理论与方法，指出不同的专业领域对不确定性问题的求解更多地依赖于专家的经验与常识。同时，给出基于一种特殊的概率分配函数的Dempster_Shafer理论的推理方法，并依此推理方法在智能化遥感分类系统中作了应用性验证；最后指出时态Dempster_Shafer理论是今后智能化遥感动态监测领域的一个重要研究方向。     

独立边界自增强方法

提出了独立边界的自增强算法.使用反复随机搜索获得各种可能的独立边界轨迹;使 用搜索轨迹的自增强代替过去的固定点的领域增强方法;采用搜索轨迹的积累技术代替过去的 迭代操作.实验证明:该方法克服了过去的方法对噪声和局部错误极度敏感的缺点,能够在进行 边缘增强的同时有效地抑制噪声.     

植物冠层三维结构获取技术的研究进展

随着农业信息化的迅速发展,植物数字化再现技术已成为国内外的研究热点。其中,利用植物三维冠层结构提取的方法来重构数字化植物成为近年来关注的焦点,且该方法得到了进一步的推广。主要从双目视觉、光度立体视觉、激光扫描、超声波等技术手段对植物三维冠层立体图像获取展开阐述,并对各自的优缺点进行归纳总结和对比分析,最后对植物三维冠层结构提取的发展前景作出展望。     

肺泡显微切片的三维重建

本文讨论了对肺泡类软组织切片图象进行三维重建的方法，重点分析了显微切片图象各类噪声的去除方法及灰度校正、几何位置校正、形态校正的方法．其中几何位置技正一直是序列显微切片重建的难点．本文提出的金字塔异或指数自动配难方法大大缩短了几何位置技正时间．从利用体无绘制技术重建的肺泡组织的三维形态来看，该配难方法具有较高的精度．实验证明该重建方法也适用于其他空腔组织、软组织的重建．     

EIGENPAIRS OF SYMMETRIC MATRICES USING THE QUADRATIC METHOD AND THE METHOD OF SUBDEFINITE CALCULATIONS

This paper is concerned with the calculation of the eigenpairs of real symmetric matrices. A new method based on using the quadratic method along with the method of subdefinite calculations is presented. The quadratic method consists on solving a quadratic system whose solutions are obtained using the method of subdefinite calculations. Both methods are presented and numerical results are given.     

机器人运动分析的一组新等式推证及应用

本文推证了一组刚体旋转矩阵与角速度矢的新等式，以该组等式为基础，文中提出并讨论了一种利用旋转矩阵的导数矩阵分析机器人运动的方法，所提方法在文中的运用表明，它可以取代以往过于繁琐的图解法和递推法，成为一种简明有效的机器人运动分析方法，作为该法应用结果，文中给出了由ｎ个杆件构成的ｎ个自由度机器人雅可比矩阵的一种简明封闭式，具有一定实和价值，这里的方法可作为一般刚体运动分析理论的补充。     

机械图消隐方法一探

本文探讨应用集合论来判别、消除下层图形隐藏线以及应用图论来判定图形轮廓线的方法。     

一种面向服务的制造资源间协作方法的研究

本文把ａｇｅｎｔ技术引入制造系统,使制造资源ａｇｅｎｔ化,提出一种基于自由经济理论的面向服务的制造资源ａｇｅｎｔ间的协商协议,并给出了其基于会话的实现方法。