电力系统状态估计的分布式并行处理

基于传统的状态估计算法，结合等式约束优化问题，提出了在计算速度、数值精度上显著提高的分布式并行算法，且以PVM为软件平台对验证系统进行了模拟计算。结果表明了该算法的有效性。     

基于事务形式验证(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表征为纳米级晶体