并发程序内部表示及静态切片算法的改进

通过分析Krinke切片算法对程序循环体内嵌套一个或多个线程结构会产生切片不精确现象,得出Krinke算法所基于的程序依赖图对线程间数据的依赖关系定义得过于粗糙,且对并发程序执行行为的合法性约束不够严格的结果.据此,提出一种新的并发程序依赖图,引入跨线程边界循环-承载数据依赖关系,并在此数据结构上改进了切片算法;引入区域化执行证据概念,进一步约束程序执行行为的合法性,并给出了添加跨线程边界循环-承载数据依赖关系的算法及新的并发程序切片算法的伪代码.实例分析与算法性能测试表明,改进的切片算法克服了Krinke算法的不精确现象,降低了时间开销,改善了算法的可伸缩性.     

ELISA法检测乙肝患者血清乙肝病毒前S1蛋白

目的:探讨检测乙型肝炎病毒前S1蛋白(Pre-S1)的临床意义。方法:本文用酶联免疫分析(enzymelinkedimmuno-adsorbedassay,ELISA)法对22例急性乙型肝炎患者及160例慢性乙型肝炎患者进行Pre-S1蛋白及HBV标志物检测,同时用荧光定量PCR法(fluorescencequantitativepolymemsechainreaction,FQ-PCR)检测HBV-DNA。结论:在急性乙型肝炎中,Pre-S1转阴,提示疾病的预后良好;Pre-S1蛋白和HBV-DNA相关较大,能反映HBV复制,有可能作为体内HBV复制的实验室指标。     

具有比率依赖的三种群生态-流行病模型的稳定性研究

建立了捕食者捕获食饵易感者的食饵染病的生态-流行病模型,讨论了系统的非负不变性、解的有界性;得到了系统平衡点局部渐进稳定的充分条件;研究了边界平衡点的全局稳定性,并利用图形进行了模拟.     

集值优化问题ε-强有效元的Lagrange型最优性条件

利用近似锥-次类凸集值映射的性质证明了当序偶集值映射是近似锥-次类凸时,对应的Lagrange函数也是近似锥-次类凸的.利用此结果得到集值优化问题取得ε-强有效元的Lagrange型必要条件,利用ε-强有效元的性质得到Lagrange型充分条件.     

ψ-不可约马氏链中不变测度的存在性

讨论了马氏环境中具有-不可约链的常返性与预解链常返的关系,以及常返链中不变测度的存在性,并构造出了不变测度.     

高速铁路无砟轨道区段轮轨滚动噪声特性分析

为了预测与控制高速铁路无砟轨道区段轮轨表面粗糙度激扰的轮轨滚动噪声,应用车辆-轨道耦合动力学理论和声辐射理论建立了轮轨滚动噪声预测模型,计算分析了无砟轨道结构对轮轨滚动噪声的影响,研究了高速车辆运行于无砟轨道时产生的轮轨滚动噪声的特性,研究结果表明,①在无砟轨道路基区段高速列车运行产生的轮轨滚动噪声中,钢轨辐射的主要是500~2 000Hz的中、高频噪声,车轮辐射的主要是1 600~4 000Hz的高频噪声,轨道板或道床板辐射的主要是125~500Hz频段的噪声;②随着车速增加,轮轨噪声辐射的最大声级相应增加;③轮轨路旁瞬时声压级以钢轨最大,轨道板最小,车轮处于两者之间;④在距线路中心线5~50m范围内,随着水平距离加倍,高速列车轮轨噪声辐射声级相应地衰减3~6dB.     

铜藻膳食纤维提取条件的研究

以铜藻为原料,采用化学与酶解结合的方法,经酶解、碱提取、沉淀、漂白、活化、烘干等工艺处理提取膳食纤维,研究了酶解、碱提取、漂白工艺条件对铜藻膳食纤维提取的影响,用正交设计法筛选出铜藻膳食纤维提取的最优工艺条件。由正交试验结果分析可知,酶解工艺的最优条件为:纤维素酶用量90U/g、木瓜蛋白酶用量5000U/g、酶解时间1.5h;碱提取工艺的最优条件为:20倍的200g/LNa2CO3溶液、处理时间2h、处理温度85℃;漂白工艺的最优条件为:3倍的0.3%Na-ClO溶液、pH7、漂白时间40min。结果表明:在该工艺条件下提取的铜藻膳食纤维的产率为35.4%,颜色较白,总膳食纤维干基含量为78.6%,膨胀力为85.8mL/g,持水力为4220.0%,蛋白质含量0.45%,总灰分含量为18.3%。该方法所提取的铜藻膳食纤维的产率较高。     

基于平板-高斯烟羽模型的海上重气泄漏事故研究

设计海上重气平板-高斯烟羽扩散模型,其中平板模型用在重气沉降阶段,高斯烟羽模型用在重气湍流扩散阶段,并设计虚拟源将两者结合.同时,对海洋环境下的模型参数进行优化,包括风速、泄漏源有效高度以及扩散参数等,将调整后的参数输入模型,对事故区域重气浓度定量可视化.结果表明,事故点处,重气以8 m/s的风速向东北方向扩散;在下风向98 m处等浓度曲线以内为爆炸限度;在转折点31 m处,两模型衔接基本吻合.经专家实地检测,以(100m,0.0025 kg/m~3)为校正点,校正后的模型仿真与当时扩散浓度点基本吻合.因此,该模型可对重气泄漏扩散浓度区域可视化,并为之后应急救援等提供技术支撑.     

充液格栅结构抗射弹冲击数值模拟研究

为研究充液格栅结构抗射弹冲击性能,基于经验证的充液箱体抗射弹冲击动力学建模方法,建立典型充液格栅结构抗射弹冲击有限元模型,分析射弹初速度、充液比例、流体液面压力以及流体黏性等对冲击过程中射弹速度衰减变化规律、形成的空腔形态以及流固耦合作用下格栅结构前、后壁板变形的影响。结果表明:射弹动能损失与充液比例基本没有关系,但与射弹初速度、液面压力和流体黏性与射弹动能损失正相关;后壁板的变形程度大于前壁板的变形,壁板变形程度与充液比例、射弹速度和液面压力正相关;射弹冲击下,充液比例越高、射弹初始速度越高、液面压力越高、流体黏性越大,充液格栅结构越容易发生失效。     

γ-氨基丁酸经由细胞微丝骨架对拟南芥气孔开闭的负调控

为研究γ-氨基丁酸(GABA)信号在气孔开闭中的作用,将标记微丝的质粒35S-talin-GFP导入LBA4404农杆菌中,用浸花法转化哥伦比生态型(Columbia phenotype)拟南芥.通过卡那霉素抗性筛选,分别筛选到5个抗性株系.对T2代转基因幼苗根的荧光观察,证实了抗性株系均为转基因植株,在根的分生组织、伸长区、成熟区和气孔保卫细胞处都有较强的荧光表达.将GFP标记细胞骨架的转基因植株的叶片下表皮放在气孔张开液中充分反应2h,98%的气孔已经完全张开;将完全张开的气孔转移到含有1 mM GABA的溶液反应30 min,80%左右的气孔逐渐关闭,说明GABA信号是引起拟南芥气孔关闭的诱导因素,GABA能显著降低气孔开度,该信号促进气孔关闭是一个快速反应的过程.