急倾斜厚煤层掩护支架采煤法机械化问题的探讨

掩护支架采煤法是开采急倾斜厚煤层的有效方法之一,但回采工艺大多使用炮采。为进一步扩大急倾斜厚煤层掩护支架采煤法的适用范固,大幅度地提高技术经济效果,必须实现掩护支架下的采煤机械化。本文在总结分析国内外有关经验、资料的基础上,对掩护支架结构型式的改进和采煤机械化问题进行了初步的探讨,提出了设想方案。     

潮流计算中的数学方法——牛顿—拉夫逊法

本文介绍了一种解非线性代数方程组的数学方法——牛顿-拉夫逊法,并将其应用于电力系统潮流计算中。采用本文方法的计算结果表明该教学方法在电力系统潮流问题中是收敛的;同时计算结果与电力专业软件的计算结果保持了一致,从而验证了结果的正确性。     

Homology Priority Task Scheduling in μC/OS-Ⅱ Real-Time Kernel

μC/OS-Ⅱ is an open source real-time kernel adopting priority preemptive schedule strategy. Aiming at the problem of μC/OS-Ⅱ failing to support homology priority tasks scheduling, an approach for solution is proposed. The basic idea is adding round-robin scheduling strategy in its original scheduler in order to schedule homology priority tasks through time slice roundrobin. Implementation approach is given in detail. Firstly, the Task Control Block （TCB） is extended. And then, a new priority index table is created, in which each index pointer points to a set of homology priority tasks. Eventually, on the basis of reconstructing μC/OS-Ⅱ real-time kernel, task scheduling module is rewritten. Otherwise, schedulability of homology task supported by modified kernel had been analyzed, and deadline formula of created homology tasks is given. By theoretical analysis and experiment verification, the modified kernel can support homology priority tasks scheduling, meanwhile, it also remains preemptive property of original μC/OS-Ⅱ.     

足球裁判员控制比赛气氛的探讨

足球裁判员有效地控制比赛气氛是圆满完成裁判工作的重要课题,我们对比赛气氛的变化规律进行分析研究后,制订的控制对策与方法经临场实践取得了较好的效果.     

单片机在数控机床上的应用研究

本文研究将ＭＣＳ－５１型单片机用于普通数控机床，通过监控程序设计，进一步完善机床性能，使该系统具有显示功能，快速点动、自动四零、自动升降频率、自动换刀、自动齿隙补偿、刀具磨损补偿，暂停等多种功能．     

SYNTHESIS AND CHARACTERIZATION OF MONOVALENT AND MIXED-VALENCE COMPLEXES OF COPPER WITH 2-THIOURACIL

Five polynuclear monovalent and mixed-valence complexes of copper with 2-thiouracil were synthesized. They were characterized by the molar conductivity, electromc spectra, infrared spectroscopy, thermogravimetric and magnetic susceptibility measurements. Their coordination properties and tentative structures were discussed.     

处理优化约束条件的微分方程法

在文[1]中,作者曾提出求解一般约束优化问题的一种新方法。本文利用微分方程对约束条件做进一步的讨论,证明了从一可行点的某邻域出发的该微分方程组的解关于部分变元总收敛到问题(1.1)的可行点。     

透射和反射组合系统的基点基面

本文研究了由透射和反射系统构成的组合系统的基点基面,推导出了其位置公式,结果表明这样的组合系统等效于一个反射镜,等效反射镜就是反射系统经透射系统所成的象,最后对其性质进行了讨论.     

不可压缩非牛顿粘性流体二维定常流动的第一边值问题

讨论不可压缩非牛顿粘性流体二维定常流动的第一边值问题,在比以往较弱的假设条件下证明了解的存在性和唯一性。