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

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

石录铜矿岩溶区地下水运动特性与地面初探塌陷

岩溶地区表面塌陷是一种环境灾害，明显发生在疏干排水采矿的（厂）矿区，它的产生与多种环境因素有关，本文以石录铜矿岩溶为例，从地下水运动角度，探讨其产生原因及其初步防治的办法。     

椎间孔周围封闭治疗坐骨神经痛

<正>坐骨神经痛是神经系统的一种常见疾病,病人痛苦大,而用一般常用方法治疗疗效差.自85年以来,我们用椎间孔周围封闭的方法治疗坐骨神经痛9例,取得良好疗效,现报告如下:一、一般资料9例病人,男7例,女2例;年龄:最大48岁,最小30岁,平均36岁;发病到就诊时间:最长58天,最短5天,平均31.5天;患病侧:左侧6例,右侧3例;其中,根性痛5例,干性痛4例.全部病例拉塞格阳性.     

晋西北全新世古土壤研究初报

古土壤是古环境的产物，它的形成和发育无不打上环境的烙印，众所周知，晋西北目前是干旱草原气候带．然而，地质历史时期，此地发育着多层古土壤层，1994年我们在晋西北考察中曾发现在地表以下3米以内至少发现有三层黑垆土，现将一小部分剖面简介如下。     

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

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

社会结构视域中的社会失范--一种系统自组织理论方法的分析

本文认为特定的社会结构既是特定文明类型的存在，又是特定社会的客观规范。当代中国存在着的社会失范现象，从根本上说是由于社会从农业文明向工业文明、前现代化向现代化转型而引起的结构性失范。所以，当代中国克服普遍社会失范现象的根本途径，是建立健全适合社会主义市场经济发展的现代化社会结构体系。     

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

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

盲信号分离的自稳定算法

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

浅谈软件测试方法

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