面向路径的测试数据自动生成工具设计与实现

面向路径的测试数据生成问题是软件测试中一个基本问题.采用遗传算法作为数据优化搜索策略,设计并实现了一个而向路径的测试数据自动生成工具PTDAG,同时对实现过程中的程序插装及驱动程序的编写规则等关键技术进行了分析.实验结果表明,PTDAG在源代码进行捕装后,通过模拟对方法的实际调用产生了一组测试数据,完成一组目标路径的测试数据的自动生成,还可以针对某一条具体的日标路径,得到一个相虚的优化测试数据.     

高温胁迫对岷江百合幼苗耐热指数和理化特性的影响

为了探明岷江百合幼苗在高温胁迫下的生理反应,以离体扩繁的岷江百合幼苗为研究材料,对其进行了不同高温(37 ℃/30 ℃、42 ℃/37 ℃)和不同时间(0、4、8、16、32、48 h)处理,研究了高温胁迫对其耐热指数和有关生理生化指标(叶绿素、丙二醛、游离脯氨酸、可溶性蛋白含量和SOD活性)的影响.结果表明:随着温度的升高和处理时间的延长,植株的耐热指数不断下降,叶绿素含量减少,丙二醛(MDA)含量增加;42 ℃胁迫32 h后,游离脯氨酸、可溶性蛋白含量、SOD活性均达到最大值,分别比对照增加了0.66倍、1.77倍和9.78倍.但胁迫48 h后,指标显著下降,这说明,42 ℃间断胁迫48 h对植株产生了不可逆的的热伤害作用.     

模拟微重力对人骨髓间充质干细胞向成骨细胞分化中细胞信号通路影响的分析

通过模拟来研究微重力对hMSC向成骨细胞分化的影响,并利用相关信号通路的激活剂或抑制剂来调节这一分化过程.研究结果表明,在成骨细胞分化诱导条件下,微重力降低了hMSC向成骨细胞定向分化的能力,并且成骨细胞标记性基因的表达明显降低, Runt相关转录因子2(Ruax2)的表达受到抑制.相反,过氧化物酶体增殖激活受体γ(PPARγ2)的表达则增加.同时,微重力也降低了ERK的磷酸化水平,而增加了p38MAPK的磷酸化水平.使用p38MAPK的抑制剂SB203580能够抑制p38MAPK的磷酸化,但不能降低PPARγ2的表达水平.骨形态发生蛋白(BMP)能增加Runx2的表达水平.成纤维细胞生长因子2(FGF2)增加了ERK的磷酸化水平,但也不能显著增加成骨细胞标记性基因的表达水平.采用BMP,FGF2和SB203580三种因子组合来调控微重力下的成骨细胞分化能力,结果表明三者的协同作用能显著逆转微重力对成骨细胞定向分化的生物学效应.研究结果还说明,模拟微重力应该是通过不同的细胞信号通路来抑制成骨细胞分化和提升脂肪细胞分化的.      

嵌入式处理器P2020机器码程序到C语言源程序的溯源方法

处理器PowerPC P2020在航空航天等嵌入式领域被广泛应用,以RTCA/DO-178C中A级软件的适航要求作为研究的出发点,提出了从文件、函数声明、函数体代码3层次实现P2020机器码程序到C源程序的溯源方法。在获取C语言源程序与PowerPC P2020机器码程序文件名列表的基础上,实现PowerPC P2020机器码文件主名的溯源;通过遍历C源程序抽象语法树和PowerPC P2020机器码获取函数名列表,实现PowerPC P2020机器码函数声明的溯源;通过定义C语言程序抽象语法树节点生成期望汇编指令序列的规则,实现PowerPC P2020机器码函数体的溯源。通过设计245个C源程序文件与345个PowerPC P2020机器码程序文件,1 111个C语言函数声明与1 273个PowerPC P2020机器码函数声明,以及覆盖C语言程序23类语法结构的460个测试用例,验证了PowerPC P2020机器码程序到C源程序的自动化溯源方法的有效性。结果表明：文件溯源和函数声明溯源的追溯匹配率达100%,程序函数体代码的平均溯源匹配率达97.22%。溯源匹配结果可以检查PowerPC P2020机器码程序是否在编译过程插入例外异常代码,以防止其带来的安全隐患,保证航空航天嵌入式安全关键软件机器码的安全性和可靠性。     

金属水基清洗工艺和设备

就水基清洗剂的应用及水基清洗工艺和设备作了介绍。     

熔纺中喷丝孔结构对中空酚醛纤维截面形貌的影响

设计了几种不同喷丝孔结构的圆弧狭缝式喷丝板,用于酚醛树脂的熔融纺丝,对纺出纤维的截面形貌进行研究.结果表明,喷丝孔的孔形、圆弧狭缝宽度、圆弧缺口宽度和长径比等结构参数对纤维截面形貌有着重要影响,在适当熔纺条件下,只有使用结构尺寸在一定范围的喷丝板才能得到中空酚醛纤维,否则,就会得到C形和实心截面形貌的酚醛纤维.