高压电机起动的饱和电抗器设计

介绍高压电机起动用饱和电抗器参数的选择及设计方法，并给出了具体例子。     

关于计量经济学学习的几点思考

计量经济学是一门独特的学科,它的学科基础十分广泛,学习的方法与思维有别于其他的学科,并且实际的操作性很强,从宏观的角度把握了它的一些特点,有利于从总体上理解并学好计量经济学。     

三型聚丙烯管材挤出工艺探讨

文章结合PP－R成型设备的特点和PP－R原料的性能，对管材的挤出工艺进行了比较详细的分析，通过对挤出成型中重要的工艺参数的影响进行了研究。     

基于时间Petri网的密码协议分析

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径,但是密码协议的形式化分析研究目前还不够深入.在文中首先对四类常见的密码协议形式化分析方法作了一些比较,阐述了各自的特点,然后用时间Petri网来表示和分析密码协议.该方法不但能够反映协议的静态和动态的特性,而且能够对密码协议进行时间、空间上的性能评估.作为实例,对Aziz-Diffie无线协议作了详细的形式分析和性能评估,验证了已知的、存在的漏洞,并且给出了该协议的改进方案.     

平方损失下区间有界的位置参数函数极小极大估计

给出了位置参数θ区间有界时，函数ｈ（θ的极小极大估计存在的一个充分条件，并据此对一些分布的参数估计进行了讨论。     

非形式逻辑视野下的论证评价理论

论证可分为形式论证(人工语言论证)与非形式论证(自然语言论证)。前者是形式逻辑的研究对象,后者是非形式逻辑的研究对象。我们从几个代表性逻辑学定义出发,分析了非形式逻辑产生的背景,讨论了形式逻辑与非形式逻辑的区别,并从非形式逻辑角度探讨了自然语言论证评价的标准。     

磁致伸缩换能器的编、查表计算法

本文简述定义两个新系数对Camp公式进行变换,以编制磁致伸缩换能器谐振尺寸和频率设计计算用表的方法,分别举例说明利用该表进行考虑修正和不考虑修正的换能器计算的方法。     

基于F-B函数的牛顿法解一般约束优化规划问题

文章给出了一个解决一般约束最优化问题的含调节参数型的牛顿算法.算法有两个重要特征,首先,算法借助Lagrange函数和NcP中的F-B函数,通过构造等价于点条件的线性方程组采处理一般约束优化问题,其次,利用F-B函数的光滑性质,定义了调节参数,从而弱化了K-T点条件.文章在适当的条件下,证明了该算法具有全局收敛性.数值实验表明算法有效.     

PMSM的高精度感应电势状态观测器与位置估计

提出了永磁同步电动机考虑参数变化时精确的感应电势关系式新模型,建立了微分型和非微分型两种高精度感应电势观测器,证明了感应电势观测器的稳定性和收敛性,分析了参数变动对位置估计的影响.针对无位置传感器矢量控制系统,以内埋式永磁同步电动机为例进行了仿真实验研究,结果表明设计的感应电势状态观测器具有优良的性能.