关于模态命题系统P5的协调性

证明模态系统P5的协调性．即：证明了模态系统P5的所有公理的布尔值为1．亦即：V^B(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型．     

自级联式感应电动机控制系统的研制

描述了自级联式感应电动机的数学模型及其控制系统的结构,研制成功该类电机矢量控制系统样机.根据实验结果,分析了其动态和静态品质,得出此种类型电机控制系统完全可以达到与直流电动机控制系统相同性能的结论,提出了自级联式感应电动机进一步的应用前景.     

Technical Notes ：STUDIES ON THE VALUE OF SECONDARY MARKET TO THE SUPPLY CHAIN

This paper investigates the impact of a secondary market, where retailers can buy and sell excessinventories, on the supply chain. We develop a two-period model with a single manufacturer and tworetailers. At the beginning of the first period the retailers order and receive products from themanufacturer, but at the beginning of the second period, they can trade surplus products betweenthemselves in the secondary market. We investigate the impact of the correlated dependence ofretailers' demand on both the quantity effect and the allocation effect under the secondary market.Lastly,we study potential strategies for the manufacturer to increase sales with the existence of thesecondary market.     

向量变分不等式解的存在性

利用广义向量平衡问题解的存在性结论，给出了向量变分不等式解的存在性定理。     

工矿企业能量平衡通用模式的研究

提出了适用于工矿企业能量平衡的一种通用模式，将与ＧＢ３４８４－８３《企业能量平衡通则》再增加“一表两图”──“企业能量平衡表”、“企业能源网络图”和“企业能流图”的效果相一致，能更加科学、合理地反映企业能量平衡的结果。     

自血光量子治疗急性脑梗死112例临床观察

目的　探讨自血光量子照射疗法在治疗急性脑梗死时的应用价值.方法　对112例急性脑梗死患者分组进行单纯药物治疗,及药物治疗合并自血光量子照射治疗,对2组患者进行实验室指标评定.结果　药物治疗合并自血光量子照射治疗的患者神经功能缺损程度治疗前后差异非常显著(P<0.01).治疗前与治疗后实验室指标变化有显著差异.结论　自血光量子治疗可使急性缺血性脑血管病神经缺损恢复速度加快,可作为治疗急性缺血性脑血管病的辅助手段.     

盲信号分离的自稳定算法

在传统盲分离算法的迭代过程中，为了保证分离矩阵的行正交性，都要对其进行反复的正交化，以避免算法的不收敛。针对这个问题，笔者主要研究了在Stiefel Manifold上的盲分离算法，该算法使分离矩阵不需要每一步都进行正交化。仿真表明，本文提出的新算法具有很好的稳定性。     

电气设计中功率因数平衡的实现

通过对电气设计中功率因数不平衡因素约分析，针对主要影响因素，确定了对策及措施，并给出了实现功率功率平衡的途径。     

浅谈软件测试方法

随着软件产业化的发展，软件测试在软件生命周期中扮演着越来越重要的角色，本文利用实例详细介绍了白盒测试和黑盒测试两种方法的工作原理和实现方法。