带机器准备时间的同类机在线与半在线排序问题

研究带机器准备时间的m台同类机(uniform machines)在线和半在线排序问题，目标函数为极小化最大机器(工件)完工时间。对于在线情形，证明了LS算法的最坏情况为ρ=｛（1 √5）/2，m=2,1 √2m-2/2,m≥3，并且当m=2，LS算法是最好的近似算法；当m=2，3，…，6时界是紧的，特别地，当s1=s2=…=sm-1,sm≥l时，证明了LS算法的最坏情况界为ρ=｛（1 √5）/2，m=2,3-4/m 1,m≥3，而且界是紧的；对于已知加工时间递减的半在线排序问题，证明了LS算法的最坏情况界为2—2/(m 1)。     

高维Neuberg-Pedoe不等式的再推广

用初等简洁的方法证明了一个比已有结果更加广泛的分析不等式：设k，n∈N，μ>0，xi>0，i=1，…，n，且∑^i=1^nxi=λ，则当k≤n-μ+1时有，Ek(λ/x1-μ，…，λ/xn-μ)≥(k^n)(n-μ)^k，等号成立当且仅当x1=…=xn=λ/n．     

应用独立分量分析提取机器的状态特征

以大型轧钢机和滚动轴承试验台为研究对象，应用独立分量分析方法分离机器的声音信号，并提取其状态特征，同时指出，对信号进行自相关预处理，可以突出信号的非高斯成分，较好地满足独立分量分析的前提条件，即源信号统计独立，因此，采用基于峭度的快速独立分量分析（ICA）算法，成功地分离出了信号的一些独立成分及对应的发声零部件，研究结果表明，根据信号结构选择预处理的方法十分重要，正确的预处理可以使独立分量分析有效地提取机械信号中的特征。     

公诉证明标准的重塑——从证明标准的概念谈起

廓清了证明标准与证明要求的关系,在"案件事实清楚,证据确实、充分"这一证明要求的旗帜下,从两个层次上对公诉证明标准进行了阐述,提出了"有足够证据"这一表述方式,并对如何具体把握作了进一步的探讨,以期从庞杂的证明标准体系中理出一点头绪。     

三相电压不对称与异步电动机负序阻抗

本借助三相对称分量原理，分析了三相异步电动机在不对称的三相电压作用下，三相电流的不对称度与三相电压不对称度之间的关系．由此结果证明了无论从节约电能上，还是提高三相异步电动机输出功率方面，提高三相电压的对称度都是非常有利的．     

一类Reinhardt域的全纯自同构最大群

本文给出了一类Reinhardt域的一个变换群并用初等的复分析方法证明了该群就是此类Reinhardt域的全纯自同构最大群．     

关于《半单Hopf代数》中某些定理的讨论

指出了R.G．Larson和D.E.Radford等人之文《半单Hoof代数》中定理2．9和定理2．11的证明中的一些错误，并给出了正确的证明     

基于机器视觉的脱绒棉种外观质量检测装置的研究

为实现基于脱绒棉种外观特性对红种、破碎棉种的分选，搭建了脱绒棉种外观质量检测的硬件装置，并基于Visual C＋＋6．0开发了检测的软件系统。提取了适合脱绒棉种分级的3个关键的特征参数：颜色、圆形度、粒型；基于BP神经网络实现了脱绒棉种的分级，通过试验验证，该神经网络的拟合性较好。     

Singularities Analysis of Paradoxical Mechanism and Parallel Manipulators

Parallel manipulator is associated with a set of functions defined by its closure constraints. In this paper, using Lie algebra method, we provide a study on the singularities of parallel manipulators, their relations with the second order of the closure functions, and the tangent space of the configuration space of the manipulator. The transverse condition criterion is applied to analyze the behavior of the singularities. This gives a downright explication why the 6R paradoxical mechanisms work in their singular configurations, and allows to gain insight on configuration space singularities and to choose the adequate design parameters for the parallel manipulator.     

最大线性正形置换及其性质

根据最大线性正形置换可以用于密码体制中非线性置换的构造，利用有限域上的多项式理论以及矩阵理论，研究了最大线性正形置换T的性质．给出了T的幂仍就是最大线性正形置换的充分条件，证明了T的特征多项式为F2上的本原多项式，进一步证明了F2^n为T的不可约空间．