紫外荧光蚕丝的添食育蚕法制备及结构性能研究

本文以蚕腺体为生物反应器,通过喂食法将稀土紫外长波长荧光粉(BAM)引入蚕丝。利用扫描电子显微镜、荧光显微镜、红外光谱仪、广角X射线衍射及材料试验机等对纤维的形貌、结构及性能进行了表征。结果表明,BAM进入了蚕丝,纤维在紫外光激发下发蓝色荧光;BAM的导入影响了蚕丝的表面形貌,限制了丝素蛋白的结晶,降低了蚕丝的力学性能。     

雅克拉气田单井集输管道腐蚀及检测

雅克拉气田部分单井集输管线腐蚀及穿孔严重,受超声波壁厚检测方法局限性的影响,不能有效地捕获管线腐蚀隐患部位内壁点蚀。通过分析管道输送介质、管道材质、介质运行状态的腐蚀性,优选出针对雅克拉气田单井集输管线的内腐蚀检测方法及检测范围,最终确定雅克拉气田单井管道腐蚀主要介质为Cl-和CO2,其他影响因素为焊缝和流体冲刷等,造成气田单井管道腐蚀减薄的主要原因为CO2电化学腐蚀及冲刷腐蚀。文章通过全面分析,指明各种防腐措施的不足,提出了系统的腐蚀检测方法,为油田类似的腐蚀提供了治理依据。     

基于增强条件公式的主动规则集可终止性判定

主动规则集的可终止性判定是一个研究热点问题,现有的基于触发图和活化图的方法没有考虑触发环所有所属规则能否在同一次执行中执行;现有的条件公式判定方法只能包含不可更新或有限次更新变量,当主动规则集只包含可有限次循环执行的触发环时,现有方法不能准确判定它是可终止的。为此,提出了触发环的执行序列的概念和建立包含可更新变量的增强条件公式的方法,新的判定方法将触发环和执行语义有机地结合在一起,较现有方法可以发现更多的可终止性情形,同时给出了新算法的可终止性和正确性证明。