饲用微生态制剂的研究进展及应用

近年来,随着“限抗令”的实施,更多的饲用替抗产品被研发并投入使用,微生态制剂即为其中之一。饲用微生态制剂以其维持肠道菌群平衡、提高免疫力等功效跻身饲用替抗产品行列。文中着重论述了微生态制剂的分类、作用机理和在养殖业的应用,为今后的饲料添加剂的研发应用提供理论基础。     

DNA编码的模型分析

提出了适应DNA计算的DNA编码问题.对等码长的DNA编码问题的数学模型进行分析.以优化码长作为目标,分析了约束条件.以杂交反应为核心将约束条件分为基本约束和控制生化实验的约束,而控制生化实验的约束包含组合约束和热力学约束.控制移动不匹配的下值才能控制杂交反应,由此改进了移动距离.引入窗口距离解决了错配总量和分布的控制问题.     

位势法在交通优化问题中的应用

研究了单源多汇交通优化问题及其重要性质,提出了单源多汇交通优化问题的位势法,该算法以关于费用的最短路程为初始势,以非零流的最小费用流为初始流;用标号法找可行的增广链,在标号过程中若某点不满足平衡要求则由到达该点的可行的增广链增广最小费用流的流量;以弧割为工具,计算最小费用流的势的最大调整量,并修改最小费用流的势.算例证明了算法的正确性和复杂性及算法的有效性.     

质粒DNA计算模型的计算体系

首先从具体实例入手抽象和归纳出质粒DNA计算模型的概念,并对质粒DNA计算模型计算体系的2个基本要素———计算物质和计算手段进行研究,由此形成了质粒DNA计算模型完备的计算体系;然后针对质粒DNA计算模型计算体系的应用,分析和解决了经常出现的关键问题.讨论了初始质粒DNA重新合成的重要性,并给出了重新合成的方法;接着对计算体系的2个基本实验(酶切和酶连实验)的成功率问题进行了分析,并提出了解决的方案;最后对检测实验进行了分析,提出了检测多种DNA序列的检测方法.对这些问题的分析和解决有利于质粒DNA计算模型理论的完善和应用的拓广.     

最大权匹配问题的闭环DNA算法

给出并证明了在DNA计算中处理实数问题的策略,即首先在误差限范围内用有理数集合代替实数集合;再取出与有理数集合一一对应的最小的整数集合.针对赋权匹配问题,给出了基于闭环DNA计算模型的赋权匹配问题算法.该算法首先按边进行三组编码并合成初始闭环DNA;再以相邻两条边为约束条件用删除实验获得所有匹配,并用电泳实验得到所有最大权匹配,最后用检测实验输出最优解.证明了算法的正确性,讨论了算法复杂度,并以一个例子说明了算法的有效性.     

0-1规划问题的闭环DNA算法

提出了闭环DNA分子的结构灵活性的两个方面,即DNA分子链长的可控性和DNA分子之间的相互转化。针对非负整数系数的0-1规划问题,提出了闭环DNA算法。该算法首先对0-1变量按照0和1的取值、对应的各项系数和检测标记进行五组DNA编码并形成所有可能解;再利用接入实验、电泳实验和删除实验筛选出可行解,进而得到所有最优解;最后通过检测实验输出实验结果。给出了算法的正确性的证明并讨论了算法复杂性,给出一个算例说明了算法的有效性。对算法进行了改进,改进后的算法适用于可以含有负数的实数系数0-1规划问题。     

DNA计算在电路设计中的应用

讨论了DNA计算的机理,给出了DNA计算的基本生化实验.对电路布线问题,提出了DNA算法,即首先对导线的顺序进行DNA编码,其次通过杂交反应产生所有可行解,最后通过电泳实验得到最优解.对所得结果进行检测时采用了DNA芯片和分子信标技术,对探针进行生物素标记解读出最优解.该算法的核心运算是杂交反应,算法总的操作次数为n 3,其中n为电路布线问题的规模.最后,通过6对接线柱的例子说明了DNA算法的有效性和正确性.     

基于不变因子的传递函数矩阵的最小实现

基于传递函数矩阵的斯密斯-马克米兰（Smith-McMillan）标准型,讨论了以严真有理分式矩阵描述的传递函数矩阵的一个最小实现,其中每一个不变因子的最小实现对应一循环系统.如果斯密斯-马克米兰的秩为ｒ,那么最小实现对应于ｒ个循环系统的直和.特别地,当传递函数以行向量或列向量形式给出时和当系统矩阵以分块循环矩阵表示时,分别得到了能控或能观型实现,它们都是现有算法的改进.