实验小鼠遗传工程进展

<正> 遗传工程是七十年代兴起的一门崭新的科学技术。它使人类进入了定向控制生物遗传性状的新阶段。所谓遗传工程也就是根据人们的意愿,采用工程建筑的手法,按照予先设计的方案,借助于实验室手段将一个生物体的遗传物质定向地转移到另一个生物体中去,使后者获得人类希     

形式系统的语义完全性与语法完全性之间的一些关系

形式系统的完全性体现了形式系统的整体性能,它包括语义完全性和语法完全性两个方面,两者没有直接关系。通过强完全性概念研究两种完全性之间的关系,证明了以下结果:一个强完全的形式系统,若具有可靠性,则形式系统一定语义完全;若一个扩张系统是强完全的,则原系统一定强完全;若形式系统是古典完全的则必定强完全。     

80486极小指令集及其构造性证明

指令集是计算机系统结构的重要研究内容之一,众多学者对指令完全性进行了描述,但至今未见极小指令集的报道。在文中,寻找既具有基本功能,又无法由其它指令编程实现的计算机基本指令,研究计算机现有的最基本的计算行为。提出了指令的功能完全性和独立性概念,并在此基础上定义了极小指令集,这为计算机指令集的优化设计建立了理论基础。还从Intel 80486指令集中选定了一个子集I9,并构造性地证明了I9是IA-32处理器指令集的极小指令集。     

分子生物计算机层次结构及分子计算基本概念的讨论

分子生物计算是当今世界科学前沿的研究热点。由于分子生物计算领域研究者的兴趣已从验证性的算法阶段开始走向实际应用,所以研究通用分子生物计算机是一件重要且有趣的事。针对报道中频繁出现的分子生物计算机、分子生物计算机的硬件和软件等基本术语,文中继承性地提出了新观点,对这些概念的讨论有益于分子生物计算机的研究与发展。文中还设计了面向不同用户的分子生物计算机逻辑层次结构,并描述了各层的作用和对各类用户的知识要求。该文认为,在分子生物计算机中,至少应有面向用户和面向专家的程序设计语言,并以求解有向Ham ilton路径为例,分别描述了这两种语言的模式。此外,在建立了一种分子生物计算机物理模型之后,还对分子生物计算机结构和组成进行了较详细的讨论。这些工作使研究分子生物计算机,有了不同的方向和途径。     

基于Gdel配数的程序结构研究

用自然数研究程序结构的特点是文章的写作目的。在提出同构程序概念和程序G del数概念后,讨论了静态同构程序与动态同构程序之间的关系,证明了同构程序可数;在文中建立的程序积的概念下,从结构化程序设计角度,继承性地对一般程序结构进行了定义,并对它们的特点进行了较详细的讨论,从而指出循环结构和子程序结构都是分枝结构的特殊形式;利用同一程序的静态结构与动态结构G del数、程序积之间的关系找出了程序中存在子程序结构、分枝结构和循环结构的条件。讨论的结果表明用G del配数研究程序设计理论是一种行之有效的方法。最后,提出了进一步研究的目标。     

基于Gödel配数的程序结构研究

用自然数研究程序结构的特点是文章的写作目的.在提出同构程序概念和程序Gödel数概念后,讨论了静态同构程序与动态同构程序之间的关系,证明了同构程序可数;在文中建立的程序积的概念下,从结构化程序设计角度,继承性地对一般程序结构进行了定义,并对它们的特点进行了较详细的讨论,从而指出循环结构和子程序结构都是分枝结构的特殊形式;利用同一程序的静态结构与动态结构Gödel数、程序积之间的关系找出了程序中存在子程序结构、分枝结构和循环结构的条件.讨论的结果表明用Gödel配数研究程序设计理论是一种行之有效的方法.最后,提出了进一步研究的目标.     

数据挖掘中基于密度的聚类结构及算法设计

聚类分析是数据挖掘的主要技术之一。其中基于密度的聚类可以得到任意形状的聚类结果,从而可以观察到一个并发的、完整的聚类结构。对聚类、数据对象、簇的密度、基于密度的方法和OP TICS中的基本概念进行了描述,在此基础上,明确定义了簇的密度,建立了关于ζ的基于密度的簇、密度度量函数等概念,并设计了获得聚类结构的相应算法且对其进行了复杂性分析。     

免疫学在近交系小鼠遗传监察中的运用

<正> 按照国际小鼠标准化术语委员会的规定,近交系是指兄妹交配20代或20代以上,并且继续进行兄妹交配的品系(Staats,1976)。由于生物医学发展的需要,已登记的各类小鼠品系的总数已超过500种。由于种种原因,例如突变和由于管理不善造成的不同品系间的杂交等,小鼠近交系的遗传特性不是永久不变的。这些保留着原有品系名     

直觉主义的数学观与计算机科学

剖析了直觉主义学派的数学观、无穷观和逻辑观 ,从而论证了构造性是直觉主义学派在数学工作中的最基本出发点 ,同时叙述了构造性观点于计算机科学中的体现和对计算机科学的影响。     

用于识别不同细胞蛋白质组的噬菌体抗体芯片

将4个鼠源噬菌体抗体克隆和1个人源噬菌体抗体克隆偶联到羧基终止的硅片表面,制成分析型模型芯片.挑选健康人体淋巴细胞为正常细胞的代表, HeLa细胞为肿瘤细胞的代表,提取细胞的全部蛋白质并用荧光染料Cy3标记,与制成的分析芯片反应,得到了不同的结合图谱.实验结果表明,以噬菌体抗体为分子感受器的分析芯片可用于识别不同细胞的蛋白质组.