对象式逻辑程序设计语言LKO的说明性语义

本文基于逻辑程序设计语言的良基模型语义，探讨了对象式逻辑程序设计语言ＬＫＯ的说明性语义．该语义由组合迭代的极小不动点定义，具有构造性和组合性，为在ＬＫＯ中进一步引人非单调继承和逻辑理论奠定了基础．

面向对象逻辑语言LKO的类型系统

文中主要介绍面向对象逻辑语言ＬＫＯ中基于声明和推理的有序类型系统．在谓词声明中，类型由有序的构子构造而成．子句中变量类型由类型推理决定．对象类型由方法声明决定，独立于继承，便于代码复用．它可作为基类型参与项类型构造．

类型化面向对象逻辑语言LKO的元级解释

本文介绍类型化面向对象逻辑语言ＬＫＯ的元级解释技术，主要包括对象约束、状态、方法的继承算法，以及子句解释、类型推理和检查的多种合一算法．

对象式逻辑语言LKO的实现技术

本文首先介绍对象式逻辑程序设计语言LKO的基本概念,然后讨论其转换系统的系统结构、主要数据结构及关键算法。

慢病毒载体介导的RNA干扰对HDAC2基因表达的影响

目的:构建组蛋白去乙酰化酶2(HDAC2)基因的慢病毒表达载体,研究HDAC2基因在肝癌Hep G2细胞中的表达。方法:将前期构建并鉴定正确的3条重组表达质粒p LKO.1-HDAC2-shRNA 1组、2组、3组及1条阴性对照p LKO.1-HDAC2-shRNAneg和空载体对照p LKO.1,运用脂质体法分别与包装质粒ps PAX2和包膜质粒p MD2.G共同转染人胚肾细胞293T,制备具有感染能力慢病毒颗粒;收集、纯化含病毒颗粒的上清液并感染人肝癌Hep G2细胞,设未处理Hep G2细胞为空白对照,采用Real time PCR和Western blotting检测感染48 h和72 h后Hep G2细胞中HDAC2基因mRNA和蛋白表达水平,鉴定、分析重组质粒的干扰效果。结果:与空白对照组相比,3条干扰序列转染肝癌Hep G2细胞后均能明显抑制HDAC2 mRNA的表达(P<0.05),其中以p LKO.1-HDAC2-shRNA 1组的抑制率更明显,达到82.09%;3条干扰序列均能明显抑制HDAC2蛋白的表达(P<0.05),以p LKO.1-HDAC2-shRNA 1组和3组的干扰效果最明显,但两者相比较差异无统计学意义(P>0.05)。结论:构建的重组质粒p LKO.1-HDAC2-shRNA能从转录水平和蛋白水平有效抑制HDAC2基因在Hep G2细胞中表达。

英语专业“内容·语言”融合教学整体课程体系改革的教学效果分析

本研究关注的是CBI理论指导下英语专业整体课程体系改革的效果。在开展的准实验研究中,实验组和对照组分别实施了＂内容·语言＂融合教学的课程体系和＂以语言技能训练为导向＂的传统课程体系。前、后测数据对比分析表明：一、二本实验组在前测中的均值落后于一本对照组,且呈现显著差异,但在后测中超越一本对照组;实验组一本学生的前测的均值落后于一本对照组,但在后测中超越一本对照组且呈现显著性差异;实验组的标准差比对照组出现更为积极的变化。＂内容·语言＂融合教学课程体系在英语语言教学和对象国社会文化、文学及语言学知识教学方面呈现更大的优势。研究结果对更新英语专业教育理念、改革英语专业课程体系具有重要启示意义。