两多模相干态的叠加态光场的等幂N次Y压缩

根据量子力学态叠加原理,构造了由多模复共轭相干态|{zj(a)}>q和多模复共轭相干态的相反态等幂次|{-zj(b)}>q的线性叠加所组成的振幅不等的非对称两态叠加多模叠加态光场|Ψn(2)>q(j=1,2,3,…,q),利用多模压缩态理论研究了态|Ψn(2)>q的等幂次N次方Y压缩特性。结果表明:在各模的平均光子数不相等而对应模的初始相位相等亦即Rj(a)≠Rj(b)且ψj(a)=ψj(b)=ψj的条件下,如果各模的初始相位ψj和态间的初始相位差θpq(R)-θnq(R)=△θ满足一定取值关系,则无论压缩次数N为奇数还是偶数,态|Ψn(2)>q的两个正交相位分量均可分别呈现周期性变化的等幂次N次方Y压缩效应,但N是奇数时的压缩深度大于N是偶数时的压缩深度。     

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

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

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

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

一类基于非线性状态反馈的机器人操作手的鲁棒控制

考查了一类具有非匹配不确定性的非线性系统的全局稳定性及其在机器人鲁棒控制中的应用,针对机器人系统存在参数不确定性以及外界干扰的情况，利用非线性鲁棒控制理论给出了连续状态反馈控制器．考虑不确定性存在情况下跟踪误差的渐近收敛性．最后给出了两连杆刚性机器人的仿真例子，验证了其控制效果．     

空间矢量PWM算法及波形分析

对空间矢量PWM算法进行了分析，提出了比较直观且适于操作的具体计算公式。同时，从中央处理器DSP功能模块易于实现的目的出发，进一步转化为用时间常数表达的形式。最后，通过对不同调制比下的PWM波形品质进行对比，得出调制比为奇数或偶数不是唯一影响波形质量因素的结论。     

马尔可夫链及其在经济预测中的应用

研究了马尔可夫链及其在经济预测中的应用，目的在于，在产品销售过程中，如何才能投入最小、收益最大。     

二能级二粒子一般态的概率传输

研究了用4个粒子的非最大纠缠纯态传输二能级二粒子的一般态。传输方案没有利用Bell基测量，而是利用么正变换和局域进行了测量。在经典通讯的帮助下，通过做适当的么正变换和对辅助量子位的测量，这个二粒子一般态可以一定的成功几率从发送者处传输到接收者处。     

一类非谐振子的相干态描述

利用相干态和正规乘积对一类微扰项为^↑H^1=λ^↑X^1的非谐振子进行了讨论，得到了^↑H^1矩阵元的精确解和^↑H^1对非谐振了能级的一级修正值，为处理非谐振子的微扰问题提供了一种新的方法。     

固相反应制备磷酸锌纳米晶体

用 Zn SO4 · 7H2 O与加有表面活性剂的 Na H2 PO4 · H2 O室温下进行固相反应 ,合成得到前驱体和可溶性无机盐 ,用水洗去可溶性盐 ,烘干 ,将前驱体微波辐射晶化 ,生成磷酸锌晶体 .用均匀设计法对实验条件进行优化 ,按上述方法制备得到的磷酸锌 ,经 XRD和 TEM表征为纳米级晶体     

一种基于类数据流的软件测试技术

提出了一种类数据流测试技术，通过类的数据流分析计算出实例变量的定义-使用对信息及成员函数的前置条件和后置条件，匹配函数的前置条件和后置条件为每一定义-使用对产生函数激活序列(即测试用例)．这样产生的测试用例能够发现成员函数与实例变量之间交互作用时发生的错误，并且弥补了传统数据流测试技术的不足，减少了重复测试，提高了测试效率．