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-Ⅱ.     

我国廉租房建设中存在的问题及对策分析

廉租房作为解决城镇低收入家庭住房问题的一种主要渠道,其建设的进展情况并不乐观,在建设模式、资金供应、分配标准等方面仍存在不少问题。为此,需要加强认识、采取多元化融资方式、完善廉租房相关制度,使廉租房建设真正落实到位,从而促进我国住房保障体系乃至整个房地产市场的健康发展。     

System Identification Models of the Equivalent Permittivity for Rain Medium

The dielectric constant for rain medium is investigated by utilizing the system identification method. The rain rate model and frequency model of permittivity in millimeter waves band for rain medium are presented. The results obtained with models are in very good agreement with references in calculating the attenuation of electromagnetic waves induced by rain, which Shows that the obtained models are valid and practicable. The cross-polar discrimination gotten with rain rate model is in agreement with references.     

具体和抽象统一的原则

学生学习知识,一般来说,是从生动的具体的直观开始的,生动的直观能使学生获得关于事物生动而具体的感性认识。但是,感性认识并没有揭露事物的本质,人们对事物本质的认识要通过一系列的抽象来完成。     

关于新时期实验物理教学的几点思考

本文结合我校实际，对新时期实验物理教学中出现的一些问题和现象作了分析讨论。提出相应的措施和方法。     

The asymptotic behaviors of a stage-structured autonomous predator-prey system with time delay

In this paper, we consider an autonomous predator-prey Lotka-Volterra system in which individuals in the population may belong to one of two classes: the immatures and the matures, the age to maturity is represented by a time delay. By using eigenvalue analysis, principal term analyze method, reduction to absurdity, and iterative method, we obtain some simple conditions for global asymptotic stability of the unique positive equilibrium point. Moreover, a condition that the prey population in the system get extinction and the predator population in the system get permanence will be obtained. Meanwhile the theorems extend the corresponding conclusions in which there have no two stage structures.     

Anti-BZ-Structure in Effect Algebras

The definitions of sharply approximating effect algebras, anti-BZ-effect algebras, central approximating effect algebras, and S-anti-BZ-effect algebras are given, the relationships between sharply approximating effect algebras and anti-BZ-effect algebras, between central approximating effect algebras and anti-BZ-effect algebras are established, and the set of anti-BZ-sharp elements in S-anti-BZ-effect algebras is proved to be an orthomodular lattice.     

基于MMD算法的HMM参数重估计的矩阵表示

本文提出的MMD算法用于提高模型区别错误信息和正确信息的能力．利用该算法在对模型的参数进行重估计时．涉及到复杂的目标函数的梯度运算．击运用矩阵运算使得梯度运算变得简单明了，因此本文给出了MMD算法下的HMM参数重估计的矩阵表示形式并给出了证明．     

Towards a realistic Einstein-Gauge cosmology

We present the cosmological solutions in the six-dimensional Einstein-gauge theory to which is added a matter term. The general behavior of the scale factors of the ordinary (R₃) and extra (R₂) dimensions can be depicted in four stages. Stage 1: Both R₃ and R₂ expand. Stage 2: R₂ is a constant and R₃ is an inflationary solution. Stage 3: R₂ recollapses towards its minimum value, R₃ will continue to increase monotonically. Stage 4: R₂ stabilizes at R_KK and R₃ expands in the usual FRW way, while the four-dimensional cosmological constant becomes zero.