基于标记逻辑的非单调推理（Ⅰ）

我们把标记逻辑定义在一个特殊双格上,通过比较标记选取结论,从而同时捕捉超协调（容错）推理和非单调推理．本文介绍标记逻辑程序的句法与语义构造,提出诱导序列及其极限的概念,给出极限存在的等价条件,并证明一个重要结果：诱导序列基本定理,它是后续讨论的基础．     

具有圆弧形诱导凹槽薄壁圆管抗撞性分析

为了提高薄壁构件抗撞性,本文采用Hypermesh软件建立圆截面薄壁构件和具有圆弧形诱导凹槽结构的有限元模型,并应用非线性有限元软件Ls-dyna对其抗撞性进行了数值模拟分析.研究在轴向冲击载荷下均匀分布诱导凹槽结构对薄壁构件吸能性和最大峰值冲击载荷的影响,并对两种结构的抗撞性进行了比较,数值计算结果表明设置的诱导凹槽结构在不影响薄壁构件吸能能力的情况下,能够显著降低最大峰值冲击载荷.     

毫秒脉冲激光诱导金属铝等离子体膨胀研究

基于马赫泽德光学干涉法对毫秒脉冲激光诱导铝等离子体膨胀过程进行了研究。利用高速相机获得了铝等离子体膨胀图像,给出了等离子体膨胀距离和膨胀速度随时间以及激光能量的演化曲线。实验结果表明,毫秒脉冲激光诱导铝等离子体膨胀过程伴随着较强材料溅射,激光脉冲能量对等离子体膨胀速度时间演化曲线有一定的影响。在80J激光能量作用下诱导的铝等离子体膨胀速度为141.2m/s,产生了激光支持燃烧波。     

突变型P53特异性活化T细胞的诱导与扩增

采用多种细胞因子诱导外周血单核细胞分化为成熟的树突状细胞（DC,Dentritic Cell）,将成熟DC与初始T细胞共培养,并连续加入DC刺激从而避免活化的T细胞凋亡。将活化的T细胞转入包被有CD3和CD28抗体的板中,使活化T细胞进一步大量扩增。流式检测多因子诱导后DC表型发现,高表达CD83、CD11c、CD11b、CD80、CD86、CCR7、CD54,低表达CD14、CD3、CD33,说明因子成功诱导单核细胞为成熟DC。流式检测扩增的活化T细胞发现高表达CD3、CD8,含有很低量的调节性T细胞（Treg）,分泌大量的IFN-γ,表明扩增出的细胞中活化T的含量很高,为临床研究提供参考。     

可控大粒径硅胶微球的制备

采用种子聚合诱导胶体凝聚法合成了单分散性好,粒径均匀的大粒径硅胶微球。系统研究了制备体系介质性质、种子物料的质量比、扩径物料的加入时间及加入次数等诸因素对硅胶微球粒径及微观结构的影响,确定最佳制备条件。并通过电子显微镜、激光粒度仪等手段对制备出的硅胶微球的粒径、外观形貌、孔容、孔径、比表面等微观形态进行了表征。通过该技术可以制备出可控粒径的硅胶微球,并且孔径约10nm,分布均匀,比表面积大于350m~2·g~(-1),非常适合用于高压色谱分离柱的填料。     

水平井分段压裂多簇裂缝对套管受力的影响分析

针对套管强度设计要求越来越高的现状,建立了多簇裂缝诱导应力套管受力模型,模拟分析分段压裂对套管受力的影响。多簇裂缝间套管受到的径向应力和剪切应力最大。诱导应力叠加加大了套管的径向应力,增加了套管受力非均质性,使得其受到的剪切应力大大增加,增加了套管损坏的风险。水平井分段压裂井套管强度设计中,应特别考虑水力裂缝产生的叠加诱导应力的影响。     

交通拥堵下基于实时交通信息的路径选择模型

针对路段行程时间的估算在交通路径诱导系统中的应用,提出了一种在交通拥堵下基于实时交通信息的路径选择模型.根据目前城市交通的状况,以城市交通系统的基本设施为基础,分析了影响路段行程时间的各种因素和路段行程时间的组成.利用设置在路段上的车辆自动检测装置来搜集实时交通信息,通过行程时间的计算、动态算法的构造和路网模型的建立来对交通路径进行动态规划.实验结果表明,该模型解决了实际交通系统中的时间最短路径问题,具有一定的实用价值.     

干水对瓦斯混合气水合分离动力学影响研究

利用正交实验法研究了干水中NaCl质量分数、气相疏水性二氧化硅质量分数、原料气摩尔分数配比对瓦斯混合气水合分离动力学的影响,结合瓦斯水合物生长速率计算模型,确定出不同反应体系瓦斯水合物形成诱导时间和生长速率.运用极差法和方差法对实验结果进行分析,结果表明:以诱导时间为目标参数,影响因素干水中NaCl质量分数、气相疏水性二氧化硅质量分数、原料气摩尔分数配比的极差值分别为17,5,9;以生长速率为目标参数,上述3个影响因素极差值为1.33,0.26,0.37;研究发现干水中NaCl质量分数是影响瓦斯水合分离动力学的关键因素;干水中NaCl质量分数为2%、气相疏水性二氧化硅质量分数5%、原料气摩尔分数配比G3工艺条件下,瓦斯水合物形成诱导时间最短,水合物生长速率最快.     

微生物加固黏土的影响因素与机理分析

为了在岩土和环境工程中更好推广应用微生物诱导碳酸钙沉淀加固技术,本文开展了微生物加固黏土的试验研究,分析了微生物加固黏土试验的主要影响因素,并通过宏观试验结合微观分析的方法研究其加固机理。试验结果表明:适宜的培养基、接种比例和培养环境(温度、pH值)有利于微生物的生长繁殖;在一定脲酶活性条件下,养护温度、养护时间、胶结液的浓度和比例均对微生物诱导碳酸钙的生成量影响显著;碳酸钙的生成量直接影响微生物加固黏土的加固效果,微生物加固黏土的无侧限抗压强度与碳酸钙生成量成正相关,其养护7d的无侧限抗压强度可提高50%以上,破坏应变可降低约70%;微生物加固黏土表面形成大量晶体,实现了土颗粒间的胶结,填充了颗粒间的孔隙,增加了黏聚力和内摩擦角,从而提高了土体强度。