子句型缺省理论的推理算法

1 引言缺省理论自1980年Reiter提出之后,已成为非单调推理的热点。在缺省逻辑中,扩张的概念至为重要。Reiter对特殊的缺省理论——正规缺省理论做了许多研究,并得出了一些漂亮的结果。Etherington给出了生成任意有穷有序半正规缺省理论的扩张的程序。张明义提出缺省的一种子类——自相容缺省理     

缺省逻辑的累积性变种的扩张特征

Ｇｉｏｒｄａｎｏ提出了Ｒｅｉｔｅｒ的缺省逻辑（ＤＬ）的两个新变种：ＣＡＤＬ（ＣｏｍｍｉｔｍｅｎｔｔｏＡｓｓｕｐｔｉｏｎｓＤｅｆａｕｌｔＬｏｇｉｃ）ＱＤＬ（Ｑｕｓａｓｉ－ＤｅｆａｕｌｔＬｏｇｉｃ）它们都具有累积性，但不再具半单调性，ＱＤＬ甚于不再承诺预设（Ｃｏｍｍｉｔｔｏａｓｓｕｍｐｔｉｏｎｓ）本文基于我们已经导出的ＣＤＬ（ＣｕｍｍｕｌａｔｉｖｅＤｅｆａｕｌｔＬｏｇｉｃ）与ＤＬ扩张的特征，通过建立Ｃ     

Ni75Al7.5V17.5相变过程中L12相合金元素占位几率演化的微观相场模拟（英文）

基于微观相场模型,研究Ni75Al7.5V17.5合金在相变过程中L12相内合金元素演化与DO22相生长之间的关系。研究表明,在L12相向DO22相转变的过程中,DO22相的长大可以分为两阶段。在早期,L12相内合金元素的成分基本不变,DO22相的长大主要受L12相间有序畴界的减少所控制。在后期,DO22相长大所需的V一部分来自L12相内部,一部分来自L12相体积的减少,其中,相内部为DO22相长大所提供的V则主要来自Al格点位置,由于L12相体积减少而富余的Al向L12相内部扩散迁移并主要占据Al格点位置,富余的Ni则同时向L12相内部和DO22相内部扩散,主要占据L12相的Ni位置。DO22相长大的后期主要受L12相内反位缺陷和第三组元的演化所控制。     

饱和多孔介质流-固耦合的数值模型及工程应用

基于计算流体力学和岩土力学,考虑渗流场和应力场的相互作用,推导介质的平衡方程和饱和孔隙流体的连续性方程,建立流-固耦合模型。结合Galerkin法,对平衡方程进行有限元离散,同时,采用向后差分格式和二阶精度Warming-Beam差分格式,对连续性方程进行有限差分离散,从而对模型进行数值求解。最后,以一富水双向隧道为例,进行施工数值仿真,得到不同施工阶段隧道围岩的孔隙水压力、位移场、应力场的分布及其支护锚杆的受力特性,并将计算结果与相关现场监测得到的一般性规律进行对比,为类似隧道工程的设计和施工提供参考。     

夹持式封装低温敏FBG应变传感器的设计

设计了一种两端夹持式封装的低温敏FBG应变传感器.利用金属内、外管产生的膨胀差值引起的光栅波长变化量,与热膨胀和热光效应引起的光栅波长变化量抵消,实现温度补偿,金属内、外管隔及隔温套管与夹持支座内部均采用粘结剂连接后实现对光纤光栅的封装.标定试验表明:该传感器的温度灵敏度为0.78 pm/ ℃,是裸光纤光栅温度灵敏度的7.2%,大大降低了对温度的灵敏性,应变灵敏度系数为1.377 pm/ ℃.     

静压桩贯入试验增敏型FBG传感器的研制及应用

介绍了光纤光栅的基本原理及优点,设计了基于光纤光栅技术的增敏型应变传感器,并对其工作特性进行了分析。应用增敏型光纤光栅传感器,测试了静压桩贯入过程中模型桩的桩身应力变化。试验结果表明,使用光纤光栅传感器对模型试验中静压桩贯入过程桩身应力监测时需进行增敏。增敏型光纤光栅传感器为模型试验中静压桩贯入过程监测及分析提供了一种新的工具,是监测模型桩静压贯入过程的理想器件。     

基于硅压阻式传感器与光纤传感的静压桩贯入模型试验应用研究

将微型硅压阻式土压力传感器、孔隙水压力传感器及增敏微 型光纤光栅(fiber Bragg grating,FBG)应变传感器应用于静压桩贯入模型试验中,很好地测试了静 压桩贯入过程桩端 阻力、桩身轴力、桩土界面土压力和孔隙水压力。初步试验表明,微型硅压阻式土压力传感 器、孔隙水压 力传感器及增敏微型FBG应变传感器应用在静压模型桩贯入过程中,实现了贯入过程的桩端 阻力、桩身轴 力、桩土界面土压力和孔隙水压力的实时监测;桩身轴力和桩土界面有效侧向压力均随贯入 深度的增加而 增加,但同一深度处侧向压力逐渐减小。为静压桩贯入测试方法提供了参考依据,对进一步 研发室内试验微型传感器具有参考价值。     

悬移质模型沙级配的模拟计算方法探讨

对于研究泥沙问题的动床模型试验，模型沙的选择是模型设计的关键。模型沙的选择是指综合考虑所研究问题的性质，已知条件，模型几何比尺，以满足模型与原型的水沙运动相似为目的，选定，设计模型沙的材料，比重和粒径级配，作者主要阐述悬移质模型沙级配的模拟方法，并提出利用沙玉清公式计算，设计模型沙级配的另一种方法，以尽可能严格满足模型相似条件。克服老方法的不足和缺陷。