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

上环的若干性质在其对偶中的推广

在Brzezinski T(2002)A-上环的基础上介绍了C-环的基本概念,C是一个余代数.分析了C-环及其模范畴的结构,并构造了C-环的例子.研究了C-环中的两个主要函子:忘却函子F:MA→MC和导出函子-□CA:MC→MA.并且讨论了两个函子可分的条件以及这两个函子的伴随情况.其次结合伽罗华理论将上环的一些主要性质推广到C-环,进而得到了C-环中的一些有意义的结论.     

Therapeutic applications of bone marrow-derived stem cells in liver transplantation for end-stage liver diseases

Today, liver transplantation (LT) is the only established treatment for end-stage liver diseases. The de- velopment of LT, including OLT, cadaveric LT, split LT, living donor LT (LDLT), brings hopes to patients with these diseases. However, increasing donor shortage, rejection and life-long immunosuppression with its side effects are the major limitations of this therapy strategy. Bone marrow-derived stem cells (BMDSCs) are capable of differentiating into hepatocyte-like cells and contribute to liver injury repair. The microenvironment of liver injury caused by rejection, ischemia/reperfusion, loss of liver mass, recurrence of HCV and "small-for-size syndrome" after LT can attract a variety of bone marrow-derived stem cell population to the peripheral circulation and then migration to the injury liver to promote the hepatic function restoration. Additionally, BMDSCs can also take part in the functional regeneration of living donor liver after LDLT. This participation in liver regeneration may be associated to the interac- tion between SDF-1and its receptor CXCR4, involving HGF, IL-8, MMP9, and VEGF/VEGFR-2. BMDSC with its bio-characteristics could maintain the allograft tolerance from different angles and in different ways. In conclusion, BMDSCs transplantation, as a new assistant therapeutic method for LT, will ex- pand the space of LT, and provide more survival opportunities for the patients suffering liver diseases in the future.     

Finding finer functions for partially characterized proteins by protein-protein interaction networks

Based on high-throughput data, numerous algorithms have been designed to find functions of novel proteins. However, the effectiveness of such algorithms is currently limited by some fundamental factors, including (1) the low a-priori probability of novel proteins participating in a detailed function; (2) the huge false data present in high-throughput datasets; (3) the incomplete data coverage of functional classes; (4) the abundant but heterogeneous negative samples for training the algorithms; and (5) the lack of detailed functional knowledge for training algorithms. Here, for partially characterized proteins, we suggest an approach to finding their finer functions based on protein interaction sub-networks or gene expression patterns, defined in function-specific subspaces. The proposed approach can lessen the above-mentioned problems by properly defining the prediction range and functionally filtering the noisy data, and thus can efficiently find proteins’ novel functions. For thousands of yeast and human proteins partially characterized, it is able to reliably find their finer functions (e.g., the translational functions) with more than 90% precision. The predicted finer functions are highly valuable both for guiding the follow-up wet-lab validation and for providing the necessary data for training algorithms to learn other proteins.     

PVC基活性炭的制备及其吸附性能的研究Ⅰ——PVC沥青的制备及其预氧化

以PVC树脂为原料,采用两个恒温段的程序升温方法加热脱氯制备PVC沥青,并通过空气预氧化法,对所制备的PVC沥青进行了预氧化处理.实验结果表明,PVC树脂在流速为100 mL/min氮气气氛中,以10℃/min速率程序升温至270℃,恒温脱氯150 min后再程序升温至410℃并恒温芳化120 min,可以制备出脱氯率和得率均较高的PVC沥青.该PVC沥青在300℃温度下,采用空气预氧化法预氧化120min,可获得增重率约为11%,氧化交联度较高、耐热性能较好的预氧化PVC沥青.FT-IR光谱分析结果表明,PVC沥青在预氧化的过程中,主要发生了氧化脱氢、脱水、CO2缩聚交联反应,使沥青形成耐热型的氧桥结构,从而达到预氧化目的.     

代数方法在C语言图形打印问题中的应用

介绍了C语言程序设计中的难点问题——图形打印问题的解决方案，详细论述了如何利用代数方法来解决这一双重循环问题的具体措施。     

C~3I系统理论评述

本文综述了C~3I系统研究中的主要问题与现状,讨论了该系统的建模、效能分析以及影响理论研究的几个因素,并对未来C~3I系统理论的主要问题、难点以及解决手段等进行了探讨。     

边界拟合坐标系中的流动方程

本文提出了流体力学解析边界拟合坐标系方法，及建立在这种坐标系基础上对流动方程进行摄动处理的方法，并列举几种流动建立了解析边界拟合坐标系中的方程。