基于TAIO变异的CTCS-3列控系统测试案例生成方法

为了研究高覆盖已知故障集的中国列车运行控制系统三级(CTCS-3)测试案例生成方法,提出了一种基于输入输出时间自动机(TAIO)变异分析的测试案例生成方法.结合列控系统模式转换的故障特点,设计了包含模式转换已知故障的8种变异算子(改变行为、改变目标位置、改变源位置等),形成了15106个变异体;利用输入输出一致性关系(tioco)和k-Bounded模型检验方法生成了10843个测试案例;应用一致性关系分数(CRS)、平均一致性关系分数(ACRS)和加权一致性关系分数(WCRS)进行了故障覆盖度的分析.研究结果表明:该方法设计和生成的测试案例能够有效覆盖改变行为、改变不变量和增加sink位置3种故障模式,而对于约束取反和复位取反的故障模式覆盖度不高,需通过额外的观测信息来检测故障.

基于Laasraoui-Jonas位错密度理论的TA10钛合金微观组织演变模拟

为模拟TA10钛合金的微观组织演变,采用Gleeble-1500D热/力模拟试验机,在变形温度为800~1050℃,应变速率为0.01~5 s^（-1）的条件下,对TA10钛合金做了热模拟压缩实验。通过处理实验数据,得到不同变形条件下的动态回复软化率系数r,分析了变形温度和应变速率对r值的影响;建立了TA10钛合金的Laasraoui-Jonas（L-J）位错密度模型,结合元胞自动机法（Cellular Automata,CA）对TA10钛合金的微观组织演变进行模拟,并将模拟结果与实验结果进行对比。结果表明：TA10钛合金动态回复软化率系数r的值随应变速率的增加而减小,随温度的升高而增大;模拟结果与实验结果基本吻合,所构建的L-J位错密度模型能够准确预测TA10钛合金在热压缩过程中的微观组织演变。

TA10钛合金板材的热处理工艺研究

为了使热轧TA10钛合金板材的塑性指标能够满足后续爆炸复合工艺的要求,对3 mm厚热轧TA10钛合金板材进行了不同温度和不同保温时间的退火热处理,研究退火温度和保温时间对其组织和力学性能的影响。结果表明,热轧态TA10钛合金板材经（700~750）℃×（30~60）min/AC热处理后可以得到较为均匀的等轴α相组织和较好的综合力学性能,满足爆炸复合用钛板的使用要求。

癌症患者转铁蛋白与总抗氧化状态的关系探讨

分析癌症患者血清中转铁蛋白与总抗氧化状态的关系,以探索转铁蛋白与总抗氧化状态在肿瘤形成过程中可能的作用。方法 在实验测定了102例癌症病人和86例健康对照血清中转铁蛋白、总抗氧化力的浓度。结果 癌症组转铁蛋白浓度(3.79±0.63)明显高于对照组(3.39±0.59),癌症组总抗氧化力(4.34±0.83)明显低于对照组(5.87±0.98)。结论 转铁蛋白与总抗氧化能力之间存在明显正相关,说明有效的铁结合力赋予转铁蛋白有力的抗氧化作用。

TA10钛合金的高温拉伸断裂极限

为了研究TAIO钛合金的高温拉伸断裂极限值，采用GFL（Gleeble FractureLimit）方法在Gleeble-1500D热模拟试验机上进行高温拉伸试验，以测得TAIO钛合金不同温度下的真应力．应变曲线，基于NormalizedCockcroft＆Latham损伤模型，通过公式运算得到不同变形条件下的断裂极限值，并对温度以及应变速率对该值的影响进行了分析。结果表明：TAl0钛合金的断裂极限值的变化受到温度以及应变速率的影响较大，变形温度的不断升高能够引起断裂极限值的逐渐增大，在1s。下，随着温度从800cc升高到1050℃，断裂极限值从0．638升高到1．132；应变速率升高使断裂极限值逐渐减小，在900℃下，随着应变速率从0．01s^-1增加到5s^-1，断裂极限值从1．089降低到0．770。