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

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

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

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

RSC卷级码中的自结尾序列和最小码重

对自结尾输入序列进行了研究 ,证明了自结尾输入序列的若干性质 ,揭示了自结尾输入序列与RSC码的最小码重关系。指出较短的自结尾输入序列通常产生较轻的输出码重。尤其对一类重量为 2的自结尾序列给予了特别关注 ,并进行了深入研究。最后给出了RSC码最小码重的一个上限 ,并通过例子说明这个上限是很紧的 ,很多情况下就是最小码重。     

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

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

盲信号分离的自稳定算法

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

浅谈软件测试方法

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

语言符号任意性和象似性的辨证关系

文章运用自组织理论和原型理论对语言符号任意性和象似性的关系进行分析,指出语言符号的任意性和象似性的关系是辨证的,两者看似相对,实则相辅,它们存在于一个整体之中。对语言符号任意性和象似性辨证关系的认识,在英语教学中有着重要的实用价值。     

基于自相似性的网络信息流延时特性仿真

网络控制系统中由于网络的介入，使得状态信息和参考信息的传输延时具有随机性．本研究网络控制系统中信息流的延时和丢包特性，从网络中信息流的本质属性——自相似性出发，给出了产生自相似信息流的方法，借助于通用系统仿真语言GPSS研究了一类网络控制系统的延时特性，指出网络中信息流的延时和自相似程度以及采样速率之间的定性关系．     

co—H空间上自同伦等价群的若干结果

研究有关co H 空间上的自同伦等价.当co H 空间X是1 连通的有限CW 复形时,εSP(SX)是有限生成的群.另外本文还得到εco H(X)是有限群的一个充分条件.