关于两个矩阵不等式的注记

证明了一个矩阵Schur补不等式,由此推广了一个包含Hadamard积的众所周知的矩阵不等式,并且这个不等式等号成立的充要条件同时被获得.     

基于数据采样插补的加减速控制的研究

加减速控制是数控系统开发的关键技术之一.文中系统地研究了加减速的方式及算法,对其特点及应用进行了比较,并提出用迭代法代替指数法,降低算法的复杂程度.     

BKX-Ⅰ型变轴数控机床的建模与控制

针对所研制的基于Stewart机构的变轴数控机床原型样机BKX-Ⅰ,对其数学建模过程及插补控制过程进行了详细分析.提出由轨迹规划中刀具位姿表示动平台位姿的有效方法,并结合变轴数控机床的结构特点,提出粗、精插补相结合的插补策略与离、在线控制相结合的控制策略,最后通过试验对上述方法进行了验证.     

极大π-商群与正规π-补

通过对焦点子群性质的讨论 ,获得了有关π_商群的若干结果。特别获得了若干极大π_商群的同构定理 ,并且作为这些同构定理的应用 ,得到了一个正规π_补的充分条件。     

Stewart平台机构的减振控制插补策略

为满足大射电望远镜FAST(five-hundred-meteraperturesphericaltelescope)馈源指向跟踪系统的减振控制要求,在通用Stewart平台机构上,利用速度差分预测控制算法获得了控制轨迹;研究了操作空间和关节空间的插补实现,推导了具体公式;根据关节空间插补计算简单以及易于控制动态特性的特点,提出了减振控制中在关节空间插补的策略;进一步结合运动学正逆解,给出了关节空间插补精度的分析流程。仿真计算及实验结果表明,关节空间插补能够满足FAST的控制要求。     

环的半格和与补半格和的弱正则性

给出了环的半格和及补半格和的弱正则性的刻画 ,即若环 R是其弱正则子环 Rα(α∈Γ)的半格和 ,那么 R也是弱正则环 ;若弱正则环 R是其子环 Rα(α∈Γ)的补半格和 ,则 Ra(α∈Γ)都是弱正则环 .     

关于有限群的相关正规补子群

本文所论群均为有限群,π为素数之集合,π′为其余集,π(G)表示群G的阶的素因数集合。     

用于32位高性能数控车床系统的插补算法

分析和推导了用时间分割法实现直线和圆弧插补的一种高速、高精算法,并运用于32位机的数控车床系统中.该算法用迭代算法替代开方运算,取消了过象限判别,大大缩短了插补时间.文中给出了详细的误差分析,证明该算法的轨迹误差和算法误差小于一个当量,且舍入误差是不扩散的;提出了该算法的边界条件与加工工艺参数的关系.运用该算法编制的程序,整个插补任务(包括自动加减速、插补)在16MHz80386CPU下运行占用机时小于1ms.     

广义变分不等式和隐补问题

本文利用作者得到的极小极大不等式,在具有充分多连续线性泛函的Hausdorff拓扑矢量空间内证明了一类广义变分不等式和广义隐补问题解的存在性定理.我们的定理改进和推广了Isac,Allen和Karamadian等人的相应结果,此外我们还将Thera关于补问题解的存在定理推广到了隐补问题.