智能搜索算法设计和分析

提出了人工智能博弈树搜索ＳＳＳ＊算法的两种改进算法ＢＳ＊和ＤＳ＊算法，给出了ＢＳ＊和ＤＳ＊搜索博弈树端结点的充分必要条件，由此证明了，如果能估计一个合适的上界，则ＢＳ＊算法优于ＳＳＳ＊算法．同时还证明了ＤＳ＊算法优于α－β算法．论述了ＤＳ＊算法搜索深度为奇数的博弈树时，在一般情况下也优于ＳＳＳ＊算法，且这两种算法都降低了存储开销．     

一类捕食者－食饵系统的Hopf分枝

考虑一类具有偏食习惯的捕食者与被捕食者模型。分析了该系统的奇点类型及稳定性。利用中心流形定理和Ｈｏｐｆ分枝理论证明了该系统在一定条件下产生Ｈｏｐｆ分枝，得到了中心流形的具体表达式。     

n个零件在m台机器上加工有停歇时间的计划排序问题

本文就n个零件在m台机器上加工且在每两台机器加工时段之间存在停歇时段,以总加工时间最小为目标的排序问题当零件加工同顺序时进行讨论,给出了m=3时的分支——定界算法,是文[1]方法的推广。     

混合整数分式多目标规划及其在企业计划管理中的应用

本文将修正的Dakin分枝定界法用于求解带有线性分式目标的混合整数多目标规划问题,提出了“弹性约束”的概念及其处理方法和交互型分枝定界的两步算法,并将其应用于实际问题中。     

福建丽藻属二新种

本文报导了丽藻属的二新种。分别定名为异分枝丽藻(Nitella heterofurcata和穗枝丽藻(Nitella spicata),前者采自福建邵武下沙乡,后者采自福建尤溪双鲤乡。     

关于同顺序m×n排序问题中总工时下界的一种简便算法

本文对越民义、韩继业《同顺序m×n排序问题的一个新方法》(见《科学通报》1979,18,pp.821~824)一文关于下界B(S…S″)的算法中需大量反复计算的t_m-1m(R_m.)给出了一种简便算法,同时,又对其所提出的下界B(S…S′)的算法作了改进.从而提高了B(s…s′)的估值精度.     

整数线性规划的一种混合算法

本文是将分支定界法与改进的割平面法、隐枚举法相结合,提出一种解决整数线性规划的混合型方法。用这种方法解决整数规划问题,能节省较多的计算量。     

一类二次系统存在Poincaré分枝的条件

本文研究所论系统在二次自治扰动下产生两个或一个极限环的条件,并研究当参数变化时极限环的极限性质,从而否定了二次微分系统大概不存在Poincare分枝的猜测.     

利用软件故障注入提高软件测试覆盖率

软件测试过程是软件生命周期中提高软件质量的重要阶段，但无论结构测试还是接收测试（AT），都很难测试程序的所有分枝，对于容错软件的异常处理和故障恢复代码的测试尤其困难。使得这些代码中可能包含软件故障，反而成为软件质量的隐患，为此采用程序变异的方法对被测软件进行故障注入，用强制的方法执行被测分支，从而提高软件的测试覆盖率。     

k倍调控分枝过程成员总数的概率分布

设{Zn|n∈N0}为线性调控分枝过程，yn为到第n代为止（含第n代）的所有成员总数。给出了（zn,yn）的联合概率母函数，并由此得到了k倍调控分枝过程的成员总数yn的矩母函数ψn(s)以及ψ(s)=limn→∞ψn(s）所满足的方程。