基于极性的非循环术语集调试

通过定义公理中概念的极性和极性冲突,用极性冲突模拟非循环ALC术语集中的语义冲突。在计算极小不可满足保持子集的计算过程中,利用极性冲突作为启发信息,选择更可能导致冲突的公理集合进行有效扩张和收缩。经过评测,在一般情况下,加入极性冲突信息的极小不可满足保持子集求解策略有较高的效率。     

重组人Ⅱ型肿瘤坏死因子受体-抗体融合蛋白生物仿制药对大鼠类风湿性关节炎的治疗作用

目的:评价重组人Ⅱ型肿瘤坏死因子受体-抗体融合蛋白(TNFR-Fc)生物仿制药对大鼠佐剂性关节炎的治疗作用.方法:将大鼠随机分成6组:阴性对照组(生理盐水)、阳性药物组(Enbrel)和TNFR-Fc高、中、低质量分数组,空白组(无炎症),每组6只,弗氏完全佐剂(CFA)建立类风湿性关节炎模型.给药13 d后,分别测量大鼠体重、后足足垫厚度,关节炎指数评分,ELISA法测量细胞因子水平.结果:与阴性对照组相比,Enbrel组和TNFR-Fc大、中、小质量分数组的大鼠体质量明显增加(P0.05)、继发性足肿胀减弱(P0.05)、关节炎评分分值、IL-1β、TNF-α、IL-6含量均减小(P0.05),IL-10含量升高(P0.05).结论:TNFR-Fc通过降低炎性细胞因子IL-1β、IL-6、TNF-α水平以及升高IL-10水平来发挥治疗类风湿性关节炎的作用.     

空间圆的圆心、半径及应用

空间圆的方程在柱面、锥面、旋转曲面与二次曲面具有重要的作用,利用空间圆的方程求圆柱面、圆锥面的方程比较繁琐,空间圆的圆心和半径又是它的重要参数,文章主要根据空间圆的方程求出其圆心和半径,再由空间圆的圆心和半径推出圆柱面和圆锥面的方程。     

现代学习技术:学习型城市建设的助推器

当前,技术正在改变学习成为不可争辩的事实。在学习型城市建设的诸多要素中,"推广应用现代学习技术"被看作其构建助推器。为了有效提升现代学习技术在学习型城市建设中的应用,提高电子学习资源的满意度,需要保证高质量学习资源获取的便利性,提高学习技术管理人员的专业化,推广现代学习技术载体的应用性,开发高质量的电子学习资源,创建学习资源开放实践社区等方式充分发挥学习技术的作用。     

添加氯离子对Ni/CeO2催化剂CO选择甲烷化反应催化性能的促进

采用浸渍方法制备NiO(Cl_x)/CeO₂系列样品,经还原后得到Ni(Cl_x)/CeO₂催化剂,用于富氢气体中CO的选择甲烷化反应,考察Cl/Ce原子比(x)对CO选择甲烷化反应活性的影响. 结果表明,添加氯离子能够显著抑制CO₂甲烷化反应,因而可使富氢气体中CO浓度降至10-5以下并且CO甲烷化反应选择性不低于50%,满足质子交换膜燃料电池对燃料的要求. 通过CO和CO₂吸附实验、程序升温还原(TPR)测定以及物相组成和晶粒尺寸分析,揭示添加氯离子的作用.      

基于几何直观和工程应用的向量空间启发式教学研究

对工科线性代数的教学,围绕向量空间及其相关概念,以学生为中心,从几何直观、实际应用的角度讲解抽象知识点的教学模式进行了探讨.提出借助几何图形、工程应用问题来引导学生理解抽象知识点的想法,并给出了若干教学案例,希望藉此提高学生的学习兴趣,培养他们利用数学解决实际问题的能力.     

微波-超声协同快速萃取茶叶中的咖啡因

建立了以微波-超声协同萃取茶叶中咖啡因的样品前处理方法,优化了影响萃取效率的各种因素,包括萃取剂体积、萃取功率、萃取时间、萃取温度等,获得了优化的实验条件,即:三氯甲烷15mL,微波功率400 W,萃取时间10min,萃取温度65℃.在优化的实验条件下,结合紫外可见分光光度法测定了不同茶叶中咖啡因的质量分数,获得满意结果.     

离散事件系统故障的极小观测序列

为了提高可诊断离散事件系统故障的在线诊断效率,本文从判定故障发生的可观测事件的角度,提出了故障极小观测序列方法.文中选取有限状态自动机对离散事件系统进行建模.首先,在离线状态下,建立系统的故障模型,以排除对于判定系统故障无关的路径.然后,根据故障模型进一步建立判定系统故障的极小观测序列模型.当离散事件系统在线诊断时,仅需将逐步增加的在线观测事件序列与故障的极小观测序列模型进行比对.若能找到满足该模型的任何一条路径,则说明路径终止状态上故障标签对应的系统故障发生;否则,说明系统无故障发生.文中对可诊断离散事件系统进行实验对比,通过故障的极小观测序列模型能尽快判定有无故障发生,以及发生了哪些故障.该模型能有效地缩小系统在线诊断的时间,提高系统在线诊断的效率.     

在高能气体压裂工况下井下射孔套管承载能力的有限元分析

目前国内现有的高能气体压裂技术,在1000米以上的浅地层内,能有效地将砂岩地层压裂,提高油气产量．但对于1500米以下的深地层,却不能有效地造缝,其主要原因是对套管的承压能力不明,担心提高压力会将井壁炸塌．为此,本文利用有限元法,确定了1500米井下,在不损坏套管情况下,高能气体的极限压力。     

成岩作用及阶段对碎屑岩储层孔隙演化的控制

碎屑岩储层孔隙演化受有机-无机成岩作用的影响,在埋藏成岩阶段,有机质成熟过程中脱羧作用产生的有机酸对碎屑岩中的方解石、长石等溶蚀所形成的次生扎隙,是深部储层中高孔渗段发育的重要原因,随埋深增加,成岩阶段由早-晚发展,有机质由未成熟-成熟演化,在此期间,储层孔隙经历了消亡与新生的发展过程。在同一盆地中,不同层位储层经历的最大埋深如果相近,所处成岩阶段也相近,其孔隙演化史亦趋于相似;反之,同一层位的储层所处的最大埋深不同,成岩阶段不同,其孔隙特征也就不同。