软件工程方法述评

对一些流行的软件工程方法,包括结构化方法、形式化方法、面向对象方法、基于构件的方法、基于Agent的方法、基于净室技术的方法、基于敏捷技术的方法等进行了述评,并对软件工程方法的发展趋势进行了初步探讨.     

人脸检测技术研究及实验

本文论述了人脸检测研究的背景和方法,重点介绍了基于启发式模型的方法和基于统计模型的方法,包括基于知识的方法、基于局部特征的方法、基于特征空间的方法、基于人工神经网络的方法等。最后在VC下实现了一个基于肤色模型的人脸检测算法,并分析和比较了算法结果。     

图像阈值化技术的综述、分类及评价

对图像阈值化方法进行了综述,并对其性能进行了评价和比较·在全面比较和分析的基础上,对其进行综合分类,找出它们的差别和相似之处,归纳总结了阈值化技术的五个分类,它们分别是:基于聚类的方法、基于直方图的方法、基于熵的方法、基于空间方法和基于局部自适应方法·     

基于模型的故障诊断中的模糊建模和推理

分析了基于模型的故障诊断方法的原理和特点以及其他故障诊断方法（基于规则、基于人工神经网、基于案例）的局限性．针对基于模型的故障诊断,提出了运用人工神经网和遗传算法的模糊建模方法,简化了建模复杂性．给出了基于模糊模型的故障诊断推理方法,从而能有效地处理复杂系统的故障诊断     

一种新的时变SISO和MIMO信道仿真方法

回顾了现有的时变Rayleigh信道的仿真实现方法,将空间相关信道实现中基于相关矩阵的方法引入时变信道的仿真实现中,提出了一种新的基于相关矩阵的时变单入单出和多入多出信道仿真实现方法.比较了基于相关矩阵的实现方法和传统常用的基于正弦波叠加的方法的精确性和实现复杂度,指出了基于时间相关矩阵的时变信道仿真实现方法的主要适用范围.     

一种混合的中文分词算法

给出了一种将基于统计与基于词典方法融合而成的混合中文分词方法,利用统计方法进行词典的动态扩展,克服了基于词典算法对"完全词典"的依赖;利用词典对统计的一些参数进行估计,避免了以往靠实验得到这些参数的不确定性,同时将RMM算法与统计算法结合起来.最后通过仿真说明该混合算法比传统的基于词典和基于统计的方法更有效.     

故障诊断理论及其在机电系统中的应用

介绍了故障诊断理论的提出过程和内容;简要地阐述了基于解析模型的故障诊断方法、基于知识的故障诊断方法和基于数据驱动的故障诊断方法;详细介绍了基于观测器的故障诊断方法的步骤,并举例说明了该方法在机电系统中的运用,给出了Matlab的仿真结果。最后,通过对仿真结果的分析,得出了基于观测器的故障诊断方法能够较好地完成系统监控的任务,但对复杂系统的故障定位精确度不够的结论。     

复杂电子装备智能故障诊断方法

介绍了用于复杂电子装备故障诊断的各种方法,主要讨论了基于规则的、基于模型的、基于案例的和基于人工智能的诊断方法及其应用,同时对这些方法的优缺点进行了评述。最后针对已有的故障诊断方法讨论了一些要解决的问题并提出了故障诊断技术的发展趋势。     

认知无线电频谱感知技术研究

对基于发射机检测的频谱感知方法进行了分析,比较了能量检测和基于循环平稳信号检测两种方法,并对这两种检测方法进行了公式推导,给出了实现过程;对能量检测进行了误检测概率分析,得出信道噪声的不确定性将严重影响检测有效性的结论;通过对信号正确检测概率的仿真,验证了基于循环平稳信号的检测门限不是基于噪声能量,而是基于信号的统计分布特性.     

基于小波的图像去噪技术

本文介绍了小波分析去噪的基本原理,研究了基于小波变换的图像去噪方法;考虑到小波相关去噪方法的优缺点,给出了基于尺度乘积与阈值相结合的去噪方法,并进行了试验验证。结果表明,与常用的图像去噪方法相比,基于尺度乘积与阈值相结合的去噪方法可以很好地保留图像的细节信息,性能优于其他方法。最后,基于对小波去噪问题的理解,提出了对小波去噪方法的一些展望。     

关于右Serial环是Goldie环的几个结果

本文主要证明了下列结果：1设R是半素右Serial环，且满足下列条件之一：1）R是右非奇异环;2）R是Duo环;则R是右Goldie环。2、设R是右Serial环，若R又是VonNeumann正则环，则R是右Goldie环。3、设R是右Serical环，且是右非奇异的，若任意单在R-模是P-内射模，则R是右Goldie环。     

L-双拓扑空间中的B-配仿紧性

在L-双拓扑空间中引入B-配仿紧性,证明这种仿紧性是B-配紧性的推广,并且具有一些好的性质.比如,对双闭子集遗传,在双强同胚映射下保持不变,在一定条件下B-配紧集与B-配仿紧集的乘积是B-配仿紧集,同时证明了B-配仿紧的双T2-空间既是双正则空间也是配正则空间.     

关于左∧半群

本文引入左∧，右∧半群并讨论其基本蛋白质，并给出∧半群的基本类型，文中证明完全单半群是左∧半群仅当它是矩形群，则该半群必是∧半群，同时证明了正则的左、右∧半群必是纯正半群，最后，证明左Ｃ半群是左∧半群并证明强左Ｃ半群是∧半群当且仅当它的幂等元带是∧半群。     

关于序列覆盖K映射的注记

利用sn覆盖和cs覆盖概念,以及度量空间的序列覆盖k-映象和1序列覆盖k-映象的内部特征,证明了度量空间上的序列覆盖k-映射是1序列覆盖映射,并构造例子说明度量空间上的序列商k-映射不是序列覆盖映射．     

Morphic环的一些研究

主要刻画了在一定条件下的morphic环与其他一些环的关系,证明了如下的主要结果:1.若R是左拟duo环,且R是GP-V-环,则R是morphic环.2.若R是GP-V-环,则以下等价:(1)R是强正则环(2)R是约化的morphic环(3)R是半交换的morphic环(4)R是2-素的morphic环.     

完备格中的超因子

给出了超因子元的概念,然后讨论了完备格中超因子的性质,得到了一个超因子元是连续并既约元的一些等价条件.运用超因子刻画了有补模格的部分结构,并得到了一个完备格L是Boole格的充要条件是格L是下连续的分配格,且任意非零元只有零超因子.     

N-环的强正则性

设R为环,本文中主要证明了如下条件是等价的：（1）R是强正则环;（2）R是半交换的,广义MERT,右GP-V-环;（3）R是N-,广义MERT,右GP-V-环;（4）R是N-,约化的右pm-（GP-）内射环;（5）R是N-,右非奇异的右pm-（GP-）内射环;（6）R是N-,半本原的右pm-（GP-）内射环;（7）R是N-,半素的右pm-（GP-）内射环;（8）R是N-,正则的右pm-（GP-）内射环,因此推广了文献[1]的主要结果。     

冠状系统R-旋转图连通的充要条件

六角系统的R-旋转图是1棵有向根树,但冠状系统的R-旋转图是一个有向森林.其底图不一定连通.如果冠状系统是基本的,已经证明其R-旋转图至少包含2棵有向根树.利用有向根树问的一种乘法运算,证明了一个冠状系统的R-旋转图为1棵有向根树当且仅当该冠状系统的每个基本分支都是六角系统.     

有限群是E．R．群的两个充分条件

设G是有限群，文章中给出了G是E．R．群的两个充分条件。证明了若G的一个Sylow—P群P是循环群，且G’≤P，则G是E．R．群。研究结果推广了著名的定理。     

The design of a novel parallel haptic device

A novel haptic device which is characterized by large workspace, high rigidity, simple kinematics and easy construction is presented. This device is a parallel mechanism which is composed of a base plate, three sub-chains, and a mobile plate. Each sub-chain is attached to the base plate through a pin joint and to the top plate through a spherical joint. The sub-chain is derived from and kinematically equivalent to a pantograph linkage but is redesigned to solve the difficult problem of motor-fitting. The spherical joint is of the ball-in-socket type, but has much larger workspace than its regular counterpart. The kinematics is analyzed, and the inverse kinematics analysis is performed with a geometric approach. The complete workspace is readily obtained with the spherical coordinate system searching method. The optimal value of the cone angle of the spherical joint is shown to be 100°.