不断增长的软件系统复杂性要求系统本身能够实时对资源变化、故障错误进行响应。虽然现在也发表了一些有关自恢复软件系统方面的文章,然而关于这类系统软件体系结构形式化的研究尚属起步;首先分析了自恢复功能软件的运行机制,给出了自...不断增长的软件系统复杂性要求系统本身能够实时对资源变化、故障错误进行响应。虽然现在也发表了一些有关自恢复软件系统方面的文章,然而关于这类系统软件体系结构形式化的研究尚属起步;首先分析了自恢复功能软件的运行机制,给出了自恢复软件系统的形式化模型描述;在此基础上,对指挥控制系统(command and control system,简称 c2)软件体系结构进行了形式化定义和分析。结果显示所设计的自恢复模型能够满足软件系统的约束条件,提高了系统的可用性。展开更多
背景:种子细胞的数量和质量是制约血管组织工程研究的重要瓶颈,而如何获取干细胞源内皮细胞是解决该瓶颈问题的关键。目的:探讨添加血管内皮生长因子联合低氧环境是否能够协同高效诱导胚胎干细胞向内皮细胞定向分化。方法:采用无血清培...背景:种子细胞的数量和质量是制约血管组织工程研究的重要瓶颈,而如何获取干细胞源内皮细胞是解决该瓶颈问题的关键。目的:探讨添加血管内皮生长因子联合低氧环境是否能够协同高效诱导胚胎干细胞向内皮细胞定向分化。方法:采用无血清培养基m Te SR1维持培养人胚胎干细胞H9。通过添加血管内皮生长因子(50μg/L)联合低氧条件(体积分数为5%O2)诱导H9细胞向内皮细胞分化。采用免疫荧光染色技术、定量RT-PCR以及低密度脂蛋白摄取实验对人胚胎干细胞源内皮细胞进行表型和功能评价。结果与结论:添加血管内皮生长因子联合低氧培养条件可促进H9细胞向内皮细胞方向分化。该胚胎干细胞源内皮细胞不但高水平表达内皮细胞的标志基因(kdr,pecam)和标记蛋白D31,而且还能够摄取低密度脂蛋白,形成类似微血管结构。提示血管内皮生长因子与低氧在诱导干细胞向内皮细胞分化过程中存在协同效应,可高效获得具有理想表型和功能活性的干细胞源内皮细胞。展开更多
文摘不断增长的软件系统复杂性要求系统本身能够实时对资源变化、故障错误进行响应。虽然现在也发表了一些有关自恢复软件系统方面的文章,然而关于这类系统软件体系结构形式化的研究尚属起步;首先分析了自恢复功能软件的运行机制,给出了自恢复软件系统的形式化模型描述;在此基础上,对指挥控制系统(command and control system,简称 c2)软件体系结构进行了形式化定义和分析。结果显示所设计的自恢复模型能够满足软件系统的约束条件,提高了系统的可用性。
文摘背景:种子细胞的数量和质量是制约血管组织工程研究的重要瓶颈,而如何获取干细胞源内皮细胞是解决该瓶颈问题的关键。目的:探讨添加血管内皮生长因子联合低氧环境是否能够协同高效诱导胚胎干细胞向内皮细胞定向分化。方法:采用无血清培养基m Te SR1维持培养人胚胎干细胞H9。通过添加血管内皮生长因子(50μg/L)联合低氧条件(体积分数为5%O2)诱导H9细胞向内皮细胞分化。采用免疫荧光染色技术、定量RT-PCR以及低密度脂蛋白摄取实验对人胚胎干细胞源内皮细胞进行表型和功能评价。结果与结论:添加血管内皮生长因子联合低氧培养条件可促进H9细胞向内皮细胞方向分化。该胚胎干细胞源内皮细胞不但高水平表达内皮细胞的标志基因(kdr,pecam)和标记蛋白D31,而且还能够摄取低密度脂蛋白,形成类似微血管结构。提示血管内皮生长因子与低氧在诱导干细胞向内皮细胞分化过程中存在协同效应,可高效获得具有理想表型和功能活性的干细胞源内皮细胞。