摘要：针对每个划分子集要求至少满足一定数量点的k-means问题,设计了该问题的随机近似算法。给出一个样本子集,证明了该样本子集至少以1/2的概率包含每个最优子集中至少一个点,进一步设计近似度为2的随机算法。设计了该问题的(1+ε)随机近似算法,算法的成功概率至少为3/2k+2。利用取样技术,设计了k-means问题的局部搜索随机算法。

摘要：权编码方法是DNA计算中一个重要且有挑战性的问题.设计了一种新的用于表示赋权图中边权的DNA编码方案,给出了用该方案求解中国邮递员问题的DNA算法,并利用Markov链分析了DNA算法中生成各种路径的随机过程.对于任一赋权图G=(V,E),首先通过边到点映射把它转换为广义边图G′=(V′,E′).图G的每条边ei被分别映射为图G′的一个顶点v′i.若G中ei与ej邻接,则连接G′中v′i和v′j.若G中vi为奇顶点,则在与vi关联的边对应的G′的顶点上添加自环.用于编码顶点v′i的DNA串si的长度等于边ei的权值.用于编码边v′iv′j的DNA串sij为si的后半部分与sj的前半部分并置后的逆补.所提出的DNA编码方案具有易于编码、易于推广且错误率低的特点.该工作可提高DNA计算中表示和处理数值的能力,扩展DNA计算求解最优化问题的范围.

摘要：设施定位问题即UFL问题是NP-hard的组合优化问题,是聚类问题领域的热点问题之一,在数据挖掘和分类识别方面有着重要应用.多年来其近似算法研究一直是计算机科学工作者关注的焦点,然而现有研究结果大多关于Metric空间,一般距离空间中该问题结果始终未见.针对最大连接费用至多是最小连接费用ω>1倍的一般距离空间中设施定位问题,简称一般设施定位问题,借助集合覆盖问题,利用问题归约方法证明其不存在近似性能比小于1.243+0.316ln(ω-1)的多项式时间近似算法,除非NPDTIME(nO(loglogn));设计了一般设施定位问题的局部搜索算法,证明算法近似性能比是(1+ω)/α,ω>1,1≤α≤2.仿真实验表明,一般设施定位问题局部搜索算法的求解质量极高;通过实验进一步研究了该算法并给出了改进方法.

摘要：超椭圆曲线密码体制与椭圆曲线密码体制相比，具有安全性高、密钥短的特点．标量乘计算是这两个密码体制中最为核心和重要的计算，其中，Montgomery阶梯算法是计算标量乘的一种重要算法，且因为其可以抵抗简单的边带信道攻击，而被广泛研究和应用．近几年，椭圆曲线上的Montgomery阶梯算法和相应的点运算公式一直在不断改进，但是在超椭圆曲线上，直接设计快速运算公式来提高Montgomery阶梯算法的速度，却一直没有太大的进展．Lange曾经探讨过这种快速公式存在的可能性，但却并没有得到一个实用、有效的计算公式．在特征为2的域上，通过改进超椭圆曲线上的除子类加法公式来提高超椭圆曲线上的Montgomery阶梯标量乘计算，提出了一种新的思路来改进多种坐标系下的加法公式．分析和仿真结果表明，在特征为2的域上，新的运算公式的运行速度比之前的标准公式均有所提高．在某类常用曲线上，新的公式比之前的公式快了4％～8．3％．这说明，直接设计快速除子运算公式来提高Montgomery阶梯算法的速度是可行的．同时，使用新的公式实现的Montgomery阶梯算法可以抵抗简单边带信道攻击．

摘要：计算具有较小度的生成树是算法与复杂性研究的一个基本问题,同时在网络设计等领域具有重要应用.给定具有n个顶点的有向无环图G=(V,E)和根顶点r∈V,最小度生成树问题欲求一棵以r为根的生成树T,使得在G的所有以r为根的生成树中T的最大度最小.给出该问题的一种迭代的多项式时间近似算法.该算法所求树的度不超过Δ*+1,其中Δ*为某一最优树的度.算法的时间复杂度为O(n2logn),其中n为顶点数目.算法没有运用过多的枚举,其实际运行时间要快得多.

摘要：合取范式最大可满足问题是理论计算机科学的核心问题.局部搜索被许多求解实践证明是解答合取范式最大可满足问题十分有效的方法,但未见关于局部搜索算法解答该问题性能分析的结果.文中讨论最大3可满足问题(Max-(3)-Sat)的局部搜索算法并分析算法性能.证明Max-(3)-Sat问题的一位跳变局部搜索算法的近似性能比为4/3;证明一位跳变局部搜索后跟有条件全体跳变算法,解答Max-(3)-Sat问题的近似性能比为5/4.设计一位跳变加全体跳变的新局部搜索算法,证明新算法解答Max-(3)-Sat问题的近似性能比为8/7.将8/7-近似局部搜索算法推广为解答Max-(k)-Sat问题的局部搜索算法,证明算法的近似性能比为(2k+2)/(2k+1),k4.设计解答Max-(k)-Sat问题的两位跳变局部搜索算法,证明两位跳变局部搜索算法的近似性能比为1+1/(2k+1+k(k-1)/(n-k)),k4.局部搜索算法经多次运行可进一步提高求解性能.文中结果显示,局部搜索算法在合取范式最大可满足问题求解实践中表现出高性能,有其必然性.

摘要：近20年来,计算生物学领域一直试图用基因组重组事件来追溯物种进化的规律,因此基因组排列的重组排序问题被广泛而深入地研究.基因组重组包含翻转、移位、转位等多种形式.Bulteau等人证明排列的转位排序问题是NP-完全的.一次转位操作也称为一次块移动,短块移动是最常见的一种块移动.一次短块移动是将一个元素从排列中某个位置移动到最多偏离原来2个位置的块移动,因此也称为3-bounded转位.针对排列短块移动排序距离问题,给出了一类特殊排列(称之为双递增排列)的短块移动排序次数的下界.以此为依据,分析原始排列中的所有最大双递增子排列,从而给出了任意排列短块移动排序次数的下界,改进了Heath和Vergara的负面结果,并为更好的近似算法的设计打下基础.

摘要：提出了一种在欧氏平面上设计多项式时间近似方案的新技术 .应用该技术设计多项式近似方案分为两步 :( 1)对欧氏平面进行随机分割 ;( 2 )对随机分割的结果利用动态规划技术计算近似最优解 .近年来Arora利用该技术获得了TSP ,Steiner树 ,K median三个著名NP hard问题的多项式近似方案 .经验表明 ,该技术适用于欧氏平面上对“距离和”优化的NP hard问题 ,并可十分容易地推广到多维欧氏空间 .

摘要：RTDBMS是为大型实时系统设计并实现的数据库管理系统,以往的分析表明,已有的商用DBMS不能满足实时系统运行指标要求。本文介绍了RTD-BMS的设计与实现,采用的数据库词典技术、内层数据组织以及为改善性能而使用的缓冲技术、访问路经预定义、超时读延迟写等方法,还讨论了在双机系统中实现的数据库一致性和可恢复性,本系统巳成功的应用于大型实时系统——电力调度自动化系统中。

摘要：　　1引言　　热动力学最小自由能量方法预测RNA二级结构起始于Tinoco等人[1].1975年Pipas与Mcmahom首先进行了最小化自由能量的计算方法的研究[2],其时间复杂度为O(2n),且仅用于小于200个核苷酸的短序列.Studnicka等进一步定义了折叠RNA分子的精密的拓朴规则[3],其算法的时间复杂度为O(n5),该算法需要人为干预,对较长序列的解一般是次最优的.Nussinov首次引入动态规划算法[5],算法只考虑临近碱基的相互作用,其时间复杂度为O(n3).Zuker首次将动态规划算法用于复杂的Tinoco自由能量模型,设计了mfold算法,算法的时间复杂度为O(n3)[6].Sankoff对mfold算法的性质进行了严格的理论分析[7].……