基于命题逻辑的组件约束检测

针对组件约束数量大、复杂度高的问题，提出了一种基于命题逻辑的组件约束检测算法．通过命题符号化的过程，即通过5个联结词将日常语言中的命题转化成数理逻辑中的形式命题．该算法首次使用受限真值表的概念来描述组件约束，清楚、准确地揭示了软件组织结构、动态行为以及组件之间的转换，通过包含、否定和插入等规则来合并真值表，以解决检测组件约束时存在的冗余与冲突问题，并获得期望行为的最小组件集合，从而保证了组件约束之间相互一致．与基于规则模式表方法相比，所提算法克服了人工检测的不确定性，改善了检测的时间性能，并可将冲突错判率降低大约10％，平均处理时间降低大约33％．     

基于FIB和TEM的纳米材料中界面分层破坏的实验方法研究与应用

本文针对三维尺寸均处于纳米量级的材料与结构中常见的界面分层破坏问题,利用聚焦离子束技术(FIB)和透射电子显微镜(TEM)开发设计了一套研究纳米材料中界面端部裂纹启裂行为的实验方法.采用FIB成功从宏观多层薄膜材料(硅/铜/氮化硅,Si/Cu/SiN)中切割制备出了由硅基体(Si)和200 nm厚铜薄膜(Cu)及1000 nm厚氮化硅层(SiN)构成的纳米悬臂梁试样.利用高精度微小材料加载装置,在TEM中对该试样进行加载实验,并原位观测了不同试样中Cu/Si界面端部裂纹启裂的行为.通过对启裂瞬时Cu/Si界面上临界应力分布的有限元分析发现,不同尺寸试样中的界面上法向应力与剪切应力均集中在距界面端部100 nm的范围内,且临界法向应力远大于剪切应力.对应力分布的进一步分析则发现,距界面端部5 nm区域内的法向应力场控制着Cu/Si界面的分层破坏过程,可用于表征界面分层破坏的局部控制准则.     

压水堆棒状燃料组件弥散型可燃毒物燃耗特性研究

长寿期小型压水堆需要更合适的可燃毒物进行反应性控制来延长堆芯寿期,针对这一需要开展了压水堆棒状燃料组件弥散型可燃毒物燃耗特性研究,从可燃毒物的消耗与燃耗过程匹配的角度出发,选择了B、Gd、Ho、Sm、Dy、Er、Gd、Eu作为研究对象,使用基于确定论的组件计算程序Dragon对这些核素进行燃耗特性研究。计算结果表明可燃毒物Eu、Er适合作为候选可燃毒物开展下一步研究。     

粗糙度对FRP-混凝土界面黏结性能的影响

为了揭示混凝土表面粗糙度对FRP-混凝土界面黏结性能的影响,以灌砂法实现混凝土表面的粗糙度量化评定,完成了6种界面粗糙程度的FRP-混凝土试件界面的单剪试验,探讨了混凝土表面粗糙度对FRP-混凝土界面极限黏结力、黏结强度以及黏结滑移曲线的影响规律.研究结果表明:粗糙度为0.44的试件界面黏结性能最好,极限黏结力和黏结强度较粗糙度为0.25的试件分别提高36%～51%和124%～221%.文中还建立了基于粗糙度参数的界面有效黏结长度计算模型,发现有效黏结长度在6种界面上随粗糙度的增加总体呈降低的趋势;粗糙度小于0.56时,试件界面黏结滑移曲线在脆性区间的刚度相差无几,界面越粗糙,脆性区间越窄,而在塑性阶段,6种界面试件的黏结滑移曲线以不同斜率下降,最终发生剥离破坏时的滑移值为0.04～0.37 mm.     

界面处理和冷却条件对玻璃纤维与聚丙烯界面结合的影响 I.不同界面处理对界面剪切强度的影响

通过测定,得出马来酸酐改性聚丙烯（ＭＰＰ）是提高玻璃纤维与聚丙烯树脂界面剪切强度的关键因素,而偶联剂的变化对体系界面剪切强度的影响较少,用仪器分析证实了酸酐基团与玻璃纤维表面发生化学反应的实质,以及当界面存在改性聚丙烯时,应选择Ａ－１７４ＴＭ硅烷偶联剂处理增强聚丙烯的玻璃纤维,而不是传统的Ａ－１１００ＴＭ硅烷偶联剂。     

温度与载荷对GH4169/5CrMnMo界面接触换热的影响

基于传热学基本原理建立合理简化的热接触模犁.应用稳态法,通过自制的实验设备埘GH4169高温合金与5CrMnMo模具钢的界面接触换热系数进行测量.根据实验数据归纳出接触换热系数的经验计算关系式,比较计算结果和实验结果.研究结果表明:接触界面温度变化范围为240-560℃,接触载荷能够达到15.68 MPa;接触换热系数随界面温度和接触载荷的增加呈现增大趋势,但在320℃和470℃附近出现换热系数的极小值,温度与载荷的作用是通过改变材料热物性及力学性能间接实现的;经验计算关系式满足幂律关系,引入修正系数a和δ后,能够合理地预测接触换热系数,计算结果与实验结果较吻合.     

气液两相流界面波非线性稳定性分析研究

通过对双流体模型方程进行简化，得到了双曲型两相流非线性控制方程组．进而导出了该方程组的特征线方程，利用有限差分及特征线方法求解了特征线方程，考察了界面扰动随时间在空间的发展状况，并与实验和线性稳定性分析结果进行了比较．     

声发射信号通过螺栓紧固联接界面的试验研究

在声发射的实际应用中,采集的声发射信号很多都是经过不同界面传输的,其传播特性也受到不同程度的影响,其中通过螺栓紧固联接平面界面传播是最常见的一种。分析了引起声发射信号衰减的各种原因,采用成都动科信号采集卡及其相应的分析系统,模拟设计几组螺栓紧固联接平面试件来进行声发射信号传播特性研究。初步分析研究了在表面粗糙度、压力、接合面介质等不同条件下声发射信号通过螺栓紧固联接平面界面传播后的衰减情况,为声发射检测复杂结构设备具有重大参考意义。     

黄河中游水质化学研究进展

综述了黄河中游水质化学若干问题的研究动态,例如,表观络合容量,条件稳定常数,液-固分配作用,离子交换pH范围和等温线.阐述了作者的一些观点及对近期研究方向的看法.     

气液界面传质过程Rayleigh对流模拟的格子Boltzmann方法

浓度梯度导致的Rayleigh对流是一种通常在传质过程中观察到的界面现象.为了模拟乙醇吸收CO2气液传质过程中界面传质引发的Rayleigh对流现象,提出了描述界面扰动的随机扰动模型,并建立了带有双分布模型的二维格子Boltzmann方法(LBM).模拟二维液相Rayleigh对流过程中,假设界面上CO2浓度为常数.通过模拟研究,确定了随机扰动模型的2个参数:局部扰动概率P和浓度扰动大小ρD.模拟结果表明,当0<ρD≤10-9,kg/m3、10-6≤P≤10-1时,平均液相传质系数存在一个稳定值:(1.09±0.02)×10-5,m/s.通过考察浓度分布结构,分析了Rayleigh对流的时空演化过程.根据模拟结果定义并计算了传质增强因子,其证明了Rayleigh对流能够有效地强化界面传质.