Three challenges to the complementarity of the logic and the pragmatics of science

The bipartite metatheory thesis attributes to Rudolf Carnap, Philipp Frank and Otto Neurath a conception of the nature of post-metaphysical philosophy of science that sees the purely formal-logical analyses of the logic of science as complemented by empirical inquiries into the psychology, sociology and history of science. Three challenges to this thesis are considered in this paper: that Carnap did not share this conception of the nature of philosophy of science even on a programmatic level, that Carnap's detailed analysis of the language of science is incompatible with one developed by Neurath for the pursuit of empirical studies of science, and, finally, that Neurath himself was confused about the programme of which the bipartite metatheory thesis makes him a representative. I argue that all three challenges can be met and refuted.     

知识库系统的知识表示方法及其在移动学习领域的应用

本文主要讨论的问题是知识表示,探讨关于不同知识类型、知识表示发展的不同阶段,所运用的知识表示方式.以及联系现在与计算机技术相关的无线通讯技术,来探讨知识库系统在教育领域发展趋势.     

密码子优化的植酸酶基因appA-P在毕赤酵母中的高效表达

根据毕赤酵母(Pichia pastoris)密码子使用偏爱性,对Escherichia coli来源的高比活植酸酶基因(appA)全面地进行密码子优化,人工合成了植酸酶基因(appA-P),并将该基因克隆到毕赤酵母诱导型分泌表达载体pHBM905A上,获得重组质粒pHBM905A-appA-P,通过PEG1000转化法将线性化的重组质粒转化毕赤酵母GS115菌株,筛选得到一个高效表达植酸酶的重组菌株GS115-appA-P,在25℃摇瓶培养168 h后酶活力达到422 U/mL,该植酸酶最适反应温度为60℃,最适反应pH为4.5,在20~50℃、pH1.0~6.0范围内较稳定.     

用于蛋白亚细胞定位研究的烟草愈伤组织培养条件优化

使用绿色荧光蛋白作为报告基因来研究目的蛋白的亚细胞定位得到广泛应用.使用稳定表达系统研究蛋白的亚细胞定位比较耗时,但可以先选择愈伤组织进行观察以确保构建的载体能够表达.优化了愈伤组织的培养条件,得到了质地疏松柔软的白色愈伤,不受叶绿体的荧光干扰,便于进行荧光观察.     

人胰高血糖素样肽-1串联体的克隆及其表达

为大量获取人胰高血糖素样肽-1,利用基因串联的方法构建了人胰高血糖素样肽-1的一组串联体.将化学合成的人胰高血糖素样肽-1（human glucagon like peptide-1, hGLP-1）cDNA基因插入质粒载体pET-32a(⁺)中,构建成硫氧还蛋白（thioredoxin）及六聚组氨酸（hexahistidine）与rhGLP-1的融合表达载体pET32-GLP-1.在此基础上将该融合基因序列进行同向串联,获得二串和三串的表达载体pET32-GLP-1-2 和pET32-GLP-1-3.将该三种表达载体转化大肠杆菌BLR(DE3)后获得相应的基因工程菌.结果表明：三种基因工程菌经发酵和IPTG诱导后均正确表达目的蛋白,目的蛋白表达量随着基因串数的增加而得到一定提高,重组蛋白经分离纯化后进行生物学活性测试具有明显的降低血糖浓度作用.     

一类Lagrange插值多项式的两个结论

讨论以xk=coskπ/n(k=0,1,...,n)为节点的Lagrange插值多项式逼近[-1,1]上的光滑函数f(x)时的逼近度.若f(x)是高阶多项式时,误差公式中出现一类三角函数的和数,本文给出此类和数的代数表达式.     

蜘蛛拖牵丝蛋白基因转家蚕表达质粒的构建

利用DNA重组技术对络新妇蛛(Nephila clavipes)拖牵丝蛋白基因MaSp1高度重复序列进行多次重组,人工构建成1.6 kb的蜘蛛拖牵丝蛋白人工基因Sil-E,DNA序列分析证明了人工基因序列的正确性.将家蚕L链基因启动子片段、L链cDNA、L链基因终止子融合在一起,构建成丝腺特异性表达单元.再与Sil-E融合构建成蜘蛛拖牵丝蛋白基因家蚕丝腺特异表达单元.将该表达单元克隆到转座子piggyBac的转基因载体中,获得了蜘蛛拖牵丝蛋白转基因表达载体.采用显微注射法将其与辅助质粒共导入到家蚕蚕卵中.筛选转基因阳性个体,经PCR和Southern杂交鉴定,结果表明目的基因整合到家蚕基因组中,为进一步研究家蚕作为生物反应器表达蜘蛛拖牵丝蛋白基因奠定了基础.     

BioStarM-140s芯片基因信息查询系统的构建及应用

应用生物信息学数据库查询的方法,对B ioS tarM-140s小鼠基因表达芯片上的14 112个基因进行相应注释信息的查询和所对应蛋白质功能的分类.首先参照人类综合型芯片上基因的功能分类,设定了14个蛋白质类别,然后采用V isual C 编程语言,构建了基因信息查询系统.应用该查询系统,进行了网络生物学数据库信息资源的自动直接查询,共搜索到有注释信息的基因12 070个;进一步按照所设定的14个蛋白质类别对12 070个基因进行分类查询,搜索到了与这14个分类相符合的、具有详细蛋白质功能注释信息的基因共1 606个.     

枯草芽孢杆菌的ade基因在大肠杆菌中的MBP融合表达及活性鉴定

扩增了枯草芽孢杆菌的ade基因, 重组入载体pMal-c2x中, 构建了麦芽糖结合蛋白（MBP）融合蛋白的表达体系. 通过IPTG诱导表达, 用MBP亲和层析法, 纯化该融合蛋白（104 700）, 并通过SDS-PAGE对表达及纯化结果进行检验, 对其酶学性质进行了初步研 究. 分析结果表明: 该融合酶蛋白具有显著的腺嘌呤脱氨酶活性, 证明了ade基因是枯草芽孢杆菌中编码腺嘌呤脱氨酶的基因.     

一种Web信息抽取规则的优化方法

提出一种Web信息抽取规则的优化方法,用于提高信息抽取的效率.采用分级制的思想,将原有规则中的限制条件分为粗规则和细规则两部分.粗规则面向网页中所有的信息片断,用于信息的初步过滤;细规则面向过滤后的信息片断,用于抽取最终的信息.由此,避免了将规则中的限制条件应用于网页中的所有信息片断,达到了减少计算量、提高抽取速度的目的.