Static extracting method of software intended behavior based on API functions invoking

The method of extracting and describing the intended behavior of software precisely has become one of the key points in the fields of software behavior＇s dynamic and trusted authentication. In this paper, the author proposes a specified measure of extracting SIBDS （software intended behaviors describing sets） statically from the binary executable using the software＇s API functions invoking, and also introduces the definition of the structure used to store the SIBDS in detail. Experimental results demonstrate that the extracting method and the storage structure definition offers three strong properties： （i） it can describe the software＇s intended behavior accurately; （ii） it demands a small storage expense; （iii） it provides strong capability to defend against mimicry attack.     

Comparison of Drought-Resistance about Three Wild Rocky-Grasses

In this experiment, using the methods of drought-stress in the pot and PEG simulative drought-stress, three native rocky-slope grasses Pogonatherum panideum（Lam.） Hack, Erioophorum comosum nees and Cynodon dactylon cultivated in the pots were selected as materials to study their drought-resistance by analyzing the indexes such as the leaf area index, the drying roots accumulation, the holding water ability of leaf, the relative conductance of leaf, the soluble protein, chlorophyll. At the same time, by comparing with membership function value of each index, the order of each grass drought-resistance was decided. The results showed that the drought-resistance of Erioophorum comosum nees was stronger than Cynodon dactylon and drought-resistance of Cynodon dactylon was stronger than Pogonatherum panideum （Lam.） Hack. The purpose of the experimental results was to find theoretical foundations for selecting and cultivating native protecting-slope vegetations to adapt to rocky slopes.     

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

GFMIMU/GPS组合导航系统信息融合技术研究

GFMIMU/GPS(Gyroscope Free Micro Inertial Measurement Unit/Global Positioning System)组合导航系统具有抗高g值冲击、低成本、长寿命、较高精度等优点,在低成本精确制导武器和微小型无人机具有广阔的应用前景。针对工程应用中信息融合的精度和实时性两方面的要求,运用基于模型误差预测的扩展卡尔曼滤波MEP-EKF(Extended Kalman Filter base on Model Error Predictive)方法,将MEMS(Micro Electromechanical Systems)加速度计的误差作为模型误差来考虑,对GFMIMU/GPS组合导航系统进行建模仿真,将其与EKF和UKF(Unscented Kalman Filter)方法进行了仿真比较,在方位误差角的估计上取得了比他们精度高的仿真结果,而且MEP-EKF所需时间是UKF的10%.     

反渗透系统的设计思路探讨

反渗透作为一种重要的水处理技术,越来越广泛地应用到各种领域,其处理水源也变得复杂多样化,因此要求在反渗透系统和反渗透预处理设计时予以高度关注。本文主要讨论针对不同水源时反渗透系统的设计思路。     

基于VB的课件制作研究与实践

介绍课件及其特点,通过对各类课件制作工具的比较与讨论, 阐述了使用VB制作课件的优势,并介绍了使用VB制作课件的基本方法.     

基于隐式梯度模型的混凝土损伤的数值模拟

分析了局部损伤模型在进行混凝土应变软化模拟时存在的问题:网络依赖性和零能量损耗问题;分别应用隐式梯度模型和局部模型对混凝土应变软化进行了模拟。计算表明该隐式梯度模型可较好避免有限元在应变软化模拟时的网络依赖性,预测出的荷载-位移响应与实际情况吻合较好。     

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.     

浅析供热计量收费计算原理与方法

介绍了热量计量的基本原理和热费确定的基本原则,阐述了供热总费用的构成与计算原理以及用户热费的构成与计算原理。     

关于树的逆对偶度一个猜想的证明

关于树的逆对偶度有下列猜想:Ivd≥R,本文证明,当R>0时,Ivd≥R+1/3