纤维混凝土构件在温缩荷载作用下的非线性随机有限元分析

为研究纤维对混凝土构件的抗温缩能力,利用Moelands-Reinhardt(M-R)软化本构关系,采用非线性随机有限元法,即Monte-Carlo法分别对素混凝土和纤维混凝土构件的温降收缩过程进行分析.分析结果表明:纤维的存在可提高混凝土抗拉极限状态温降值,掺加超细纤维对混凝土的增强效果不明显;超细纤维依靠其韧性提高了混凝土的抗拉极限温降值和构件薄弱区域的抗拉能力,减小了由材料性质不均而造成脆断的可能性,在整体上延缓了构件到达抗拉极限状态的过程.     

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

关于蒲县水土保持工作的探索

文章阐述了蒲县通过多年水土保持工作的治理总结,探索出一些经验,这些经验在实践中产生了强大的能动作用和显著成绩,取得了明显的经济效益、社会效益和生态效益。     

分形集K的不可测性

从自相似集合的性质出发,通过容度研究了一类分形集合K的分形特征:M inkowski不可测性.     

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.     

连续生产精品肝素钠的新工艺

本文首次报道连续生产精品肝素钠的新工艺。猪小肠粘膜的提取液在用离子交换树脂吸附之前,先经过氧化除杂蛋白和脱色过程,既提高了树脂对肝素钠的吸附率,同时也减轻提取液中杂质对树脂的竞争和毒害。肝素钠从树脂上被洗脱后,再连续地进行再氧化、除酸、碱性蛋白和核酸、酒精反复沉淀等工艺过程,生产出精品肝素钠,效价为156±5u/mg,得率为1.092±0.035亿单位/1000kg粘膜,本工艺具有较大的应用价值。     

生料配料系统的回归-校正控制方法研究

针对通常生料配料系统所出现的问题,提出了对生料配料过程进行多目标综合控制的基本思想,在这一基础上,给出了控制生料饱和参数、生料成分的系统控制结构,并着重论述了饱和系数回归分析与回归控制及成分校正控制的原理、模型与方法。