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

电脑刺绣机针杆及挑线机构设计

以电脑刺绣机原始针杆机构和挑线机构为研究对象,在保持原有针杆运动规律和挑线杆运动规律的前提下,运用机构创新设计理论,分析电脑刺绣机针杆机构和挑线机构的可能选型.为研制新型电脑刺绣机针杆机构和挑线机构奠定了理论基础.     

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.     

由莰烯一步合成E型ω—乙酰基莰烯

该文报道了由莰烯直接ω－乙酰化一步合成Ｅ型ω－乙酰基莰烯，产率达３０％，产品香气良好，与文献报道的合成方法相比，路线缩短、操作简化、成本降低，本法为合成其它的ω－酰基莰烯开辟了一条可行的途径。     

对西方数学直观的评析

本文从数学方法论的角度,具体论述和评析了西方数学直观随数学发展的不同阶段所表现出的特点和演变方式。     

One modified method of characteristics used to analyze the multiconductor transmission lines

1.INTRODUCTIONThe analysis of electromagnetic compatibility becomesmorei mportant in the analysis of the multiconductortransmissionlines(MTLs).It provides the effectivemethod for designing the MTLs.Several methodsbased on frequency domain and ti me domain tech-niques have beenrecently proposed[1,2].Thefrequen-cy method should performthe inverse Fourier trans-formation,so it is not more accurate than ti memethod to some degree.The method of characteris-ticsis based ontheti me domain met…