L(Q)逻辑的完全理论

对一种附加量词L(Q)逻辑的一些模型论性质进行了讨论 ,用构造性证明方法证明了完全理论T和模型完全的一些等价条件 ,还给出了完全理论T的一种判定定理 ,为今后对L(Q)逻辑模型论做进一步研究提供了理论基础     

4p4阶群的差集

设G是具有二面体群同态象D_4p²的4p⁴阶群,通过考察其相交数得到如下结论：当p是素数且p≥5时,G上的差集不存在。     

浅谈对实验动物全价颗粒饲料生产的认识

全面总结了实验动物全价颗粒饲料生产的经验体会,比较详细介绍了小型干进干出型饲料颗粒机的技术操作与维修保养要点,并分析了影响实验动物全价颗粒饲料质量的因素。     

概率论中有关概念及计算公式的推广

通过对概率论中有关公式的研究,给出了条件独立的定义、推广了全概率公式和贝叶斯公式,并给出了n维随机变量函数的密度函数的简化计算公式.     

凡纳滨对虾(Litopenaeus vannamei)Hsp70基因PCR扩增及序列分析

目的：为获得凡纳滨对虾的热休克蛋白70（Hsp70）基因并分析其基因序列．方法：根据GenBank中斑节对虾（Penaeus monodon）Hsp70基因的cDNA序列,设计引物,对经高盐法提取的凡纳滨对虾（Litopenaeus vannamei）基因组DNA,采用优化的降落PCR（Touch Downeca）程序,扩增凡纳滨对虾Hsp70基因的全长序列．结果：PCR扩增得到一条长1983bp的目的DNA片段,回收纯化该片段并测定其核酸序列．用DNAman软件分析发现,该核酸序列中不含内含子,编码区全长为1959bp;经BLASTn和BLASTx软件分析发现,该编码区核苷酸序列与斑节对虾、罗氏沼虾（Macrobrachium rosenbergii）的Hsp70基因序列的相似性分别为97％和62．2％．根据核苷酸序列所推导出的Hsp70氨基酸序列,其与斑节对虾、罗氏沼虾的相似性分别为99．9％和92．6％．结论：成功地从凡纳滨对虾基因组DNA中直接扩增出Hsp70基因的全长编码区序列。     

广义连续格的子格与直接和

基于上、下同态,引进和研究广义连续格的上、下子格以及直接和诸概念,其目的是用它们取代传统的同余格作为研究结构问题的新工具。     

笛卡尔乘积图的k-路点覆盖

对于一个图G和一个正整数k,若图G中任意一条阶数为k的路都至少包含集合S?V(G)中的一个顶点,那么集合S就为图G的一个k-路点覆盖。最小的k-路点覆盖基数记为ψ_k(G),为图G的k-路点覆盖数。研究圈图分别与圈图、完全图及完全二部图做笛卡尔乘积图的k-路点覆盖,得到ψ_k(G)相关的精确值和上下界。     

论无标度网的增长和择优

增长和择优机制是无标度网络中两种重要的演化机制,已发现比较重要的择优机制有度择优和秩次择优,比较重要的增长方式有星形图增长和完全图增长.该文首先分析了秩次择优机制对网络度指数的影响,指出可以利用秩次择优来构造度指数在较大范围内变化的模型. 接下来分析了星形图增长和完全图增长的优缺点,并提出了更符合实际情况的模体增长方式,然后结合秩次择优机制和模体增长方式提出了一个新模型——模体增长秩次择优模型,该模型除了具有较宽的度指数范围外,还在度指数大于2.5时具有独立于网络规模的群集系数.     

广义渐近拟非扩张映射不动点的收敛性

在凸度量空间中,引入一类比渐近拟非扩张映射更加广泛的广义渐近拟非扩张型映射,并在完备凸度量空间给出修改的Ishikawa迭代序列收敛于广义渐近拟非扩张型映射不动点的充要条件。     

预拓扑与网族的预收敛类

引入了网族及预收敛类的概念,给出了从T(X)(即X上的预拓扑的全体)到S(X)(即X上的预收敛类的全体)的单射,证明了当X是有限集时该映射是双射.