囚禁在光格中的波色-爱因斯坦凝聚体孤子

利用数值模拟解Gross-Pitaevskii方程来研究囚禁在光格中的波色-爱因斯坦凝聚体明孤子，发现周期性光格可被用作为可控的物质波分裂器，其分裂效果与孤子在光格中的初始位置、势阱中的原子数、以及光格电势的幅度、波矢有关。     

关于Meyer—Konig—Zeller算子

本文给出了Ｍｅｙｅｒ－Ｋｏｎｉｇ－Ｚｅｌｌｅｒ算子的一个新的逼近阶估计，推广了文〔１〕中的结果。     

C─余模和有理C~＊─模

众所周知，余模和有理模在Ｈｏｐｆ代数理论的研究中发挥着重要的作用。本文将给出余模与有理模之间的关系，论证在特殊条件下Ｍ＊的最大有理Ｃ＊─子模的刻划问题。     

有穷长半模偏序集上的一个定理

本文是对参考文献[1]第二章定理14证明的补充和改进。该定理乃指: 定理14.在任何上(或下)半模的有穷长的偏序集内,Jordan-Dedekind链条件成立。 文献[1]中,考虑上半模情形,谈到已知一个连接链:γ∶a=x_0相似文献   

类乘法半模和类余乘法半模

作为类乘法模和类余乘法模的真推广,引入了类乘法半模和类余乘法半模的概念.设S是交换半环,M是S-半模.若对M的任意非零子半模N,有Ann_S(M)?Ann_S(M/N),则称M是类乘法S-半模;若对任意真subtractive子半模N,有Ann_S(M)?Ann_S(N),则称M是类余乘法S-半模.讨论了类乘法半模与类余乘法半模的性质;证明了M是次S-半模当且仅当对M的任意真subtractive子半模N,Ann_S(M/N)=Ann_S(M)当且仅当P=Ann_S(M)是S的素理想且M是可除S/P-半模;证明了类乘法半模是semi-hopfian半模且类余乘法半模是semicohopfian半模.     

机器人主动柔顺恒力打磨控制方法

为了解决打磨过程中打磨控制系统存在扰动问题,设计了一种机器人力控末端执行器,并提出了一种机器人主动柔顺恒力打磨自抗扰模糊变阻抗控制方法.所提方法的内环控制采用模糊变阻抗控制器,外环控制采用自抗扰打磨控制器.采用Lyapunov稳定性理论证明了所提方法的跟踪误差收敛为零.通过仿真和实验,验证了所提方法的有效性和适用性.研究结果表明：在内环控制相同情况下,与外环控制为PID控制器相比,所提出的机器人主动柔顺恒力打磨自抗扰模糊变阻抗控制方法减小了打磨过程中的力跟踪误差和位置超调量,提高了机器人打磨力控制系统的控制效果和鲁棒性,实现机器人柔顺恒力控制.     

虚拟GDB远程调试技术及其在硬件仿真器中的应用

为了解决当前硬件仿真器采用测试激励与探针采样调试方法导致的额外硬件资源需求增加以及调试方法复杂死板的问题,研究出一种虚拟GDB远程调试技术提高硬件仿真器的调试能力。首先,使用JTAG的消息代理器与事务处理器进行软件与硬件的信息交互,实现计算机与硬件仿真器的通信;然后,通过VPI接口实现GDB与JTAG代理器的软件信息交互,完成虚拟GDB调试;最后,在硬件仿真器中进行应用实验。结果表明,虚拟GDB远程调试系统可支持断点插入、单步运行、寄存器读写等功能,与插入探针的调试方法相比,使用虚拟GDB调试提速近百倍。虚拟GDB远程调试技术丰富了硬件仿真器的软件调试手段,增强了硬件仿真器的调试能力,提升了芯片设计验证效率。     

单位分数跨集中阻尼弦本征解的结构及其性质

针对斜拉索-阻尼（器）系统,推导出阻尼（器）位于任意单位分数跨时（拉索1/n跨位置）系统超越频率方程的代数形式,根据代数基本定理讨论了系统本征解的结构,并结合4个算例分析解的性质. 结果表明：1）本征解可归为n-1个解支. 2）对于同一解支,各阶本征值实部（其相反数即单位时间对数衰减率）均相同,各阶本征值虚部（即频率）构成等差数列. 3）根据频率随阻尼系数变化的特点,解支可分为三类：第一类解支的频率均依赖于阻尼;第二类解支的频率均不受阻尼影响;第三类解支的频率随阻尼系数的不同,具有第一类解支或第二类解支的特点,即随阻尼系数的增大,频率先随阻尼系数变化,到达某一临界值后为常数.     

数控仿形系统中的数字化技术

利用仿形仪扫描模型表面,自动生成描述模型表面的数控指令,实时转存到软磁 盘中。利用上述的数字化结果在数控功能支持下进行数字化加工,可以加工出各轴独 立改变比例的工件和镜像的工件,也可以实现阴阳模工件的配对加工。数字化技术在 模具及复杂表面加工中有童要意义。