W离子注入奥氏体不锈钢的微动磨损性能

采用金属蒸气真空弧离子源，在奥氏体不锈钢上注入金属W离子，研究了W离子注入对奥氏体不锈钢微动磨损性能的影响．结果表明，W离子注入后不锈钢的表面硬度提高了3倍；W离子注入能够显著改善奥氏体不锈钢的微动磨损性能，降低微动磨损面积．这主要归因于离子注入造成的表面强化，以及离子注入在基体表面产生的压应力．     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．     

面向自主机器人的实时彩色视觉系统

设计开发了一种新型的机器人实时彩色视觉系统，以及基于颜色的实时分割和识别软件系统，采用即插即用型的USB接口数字摄像头，简化了系统的使用和维护，首先把输入的彩色图像从RGB空间转换到YIQ颜色空间，提取出和颜色有关的IQ平面的信息；然后根据目标颜色在IQ平面里分割图像，再对图像进行游程编码，并从游程编码中提取出有效的图像信息；最后通过TCP／IP接口将视觉信息发送给机器人控制系统，为了抑制光强变化的影响，采用了一种阈值学习方法，实验结果表明，整套系统具有很高的实时性和较好的识别效果。     

基于力信息的机器人接触状态下作业的技能学习

为实现机器人接触状态下作业的演示编程，使机器人获得人的基于力信息的作业技能，首先提出了描述接触状态的元素接触形式，用元素接触形式序列建立技能模型，根据不同的接触形式具有的不同腕力分布，利用支持向量机(SVM)对不同的元素接触形式进行辨识，在此基础上机器人获得人在接触状态下的作业技能，实现了演示编程方法中最关键的一步。     

柔性多体系统接触碰撞动力学研究

用有限元方法对柔性系统的接触碰撞问题进行了数值仿真计算．以柔性杆与刚块纵向碰撞为例，建立了接触碰撞动力学模型，利用有限元方法建立了接触碰撞期间的动力学方程．通过对不同的参数进行大量的数值仿真，结果表明，有限元方法能够仿真在接触碰撞期间的柔性杆纵向振动的弹性波，碰撞力时间响应的数值解与解析解吻合较好．     

Y^3＋,La^3＋对CaSO4：Eu^2＋发光性质的影响

用沉淀法合成了掺杂Y~(3 ),La~(3 )的CaSO_4:Eu~(2 )稀土发光材料,研究了材料的晶体结构和荧光光谱,根据实验结果,所制样品基本上属正交晶系、C_(2v)空间群,Eu离子在CaSO_4中的激发峰为基态到4f~65d(E_g),(T_(2g))激发态的跃迁;样品发射主峰位于383um,属于Eu~(2 )的~5P_(7/2)→~8S_(2/7)跃迁,说明样品中Eu离子主要以Eu~(2 )的形式存在。CaSO_4:RE(La,Y)本身没有荧光,Y~(3 ),La~(3 )掺入CaSO_4:Eu中未改变基质的晶型结构,但可增强CaSO_4:Eu中Eu~(2 )的荧光强度。     

反馈式并行干扰抵消接收机在DS-CDMA系统中的应用

多用户检测技术是抑制DS—CDMA系统中多址干扰的有效手段．作者分析了在实际的DS—CDMA系统中合适的多用户检测方法的选择依据，重点讨论了用反馈结构改进并行干扰抵消接收机性能的方法。     

无损耗电阻器的设计方法

利用超导线圈的纯电感器可以模拟成无损耗电阻器，这种新型器件在性能上与电阻器相似，但不产生功率损耗。本文提出了一种用双线性变换法设计无损耗电阻器的方法，并对无损耗电阻器的实现与控制进行了论述。     

基于JAVA 3D技术的参数化三维图形设计方法

研究了 JAVA及其三维图形编程技术 .以机构为例介绍了 JAVA语言在参数化三维图形设计方面的应用 ,实现了曲柄摇杆、曲柄滑块、导杆三个机构的参数化三维图形设计     

1,3-二芳基-2-甲基-2-碘甲基-1,3-丙二酮的合成

以1,3 二芳基 1,3 丙二酮为原料,经过二次烷基化反应合成了1,3 二芳基 2 甲基 2 碘甲基 1,3 丙二酮.产物结构经红外光谱、核磁共振光谱和质谱得到了证实.