大型线性瞬态系统周期响应的多分裂波形松弛方法

将波形松弛与多分裂技术结合对大型周期线性瞬态系统进行处理，通过建立多分裂周期波形松弛算子谱的表达式，给出算法的一个收敛性条件为对应多分裂周期波形算子的谱半径小于1，该方法对周期波形松弛算法进行了推广，数值实验结果验证了理论分析结果，同时表明多分裂波形松弛方法可以有效加速周期波形松弛解耦算法的收敛性能。     

对流扩散方程特征线修正交替方向差分格式

特征线修正技术是解对流扩散方程的有效数值方法．将特征线修正技术与算子分裂技术相结合,把每个时间步上的高维空间问题化为若干个一维问题求解,构造了特征线修正交替方向差分格式,严格给出了稳定性和收敛性分析     

对流扩散方程特征线修正交替方向差分格式

特征线修正技术是解对流扩散方程的有效数值方法。将特征线修正技术与算子分裂技术相结合，把每个时间步上的高维空间问题化为若干个一维问题求解，构造了特征线修正交替方向差分格式，严格给出了稳定性和收敛性分析。     

改进的基于特征线理论的流体力学有限元法

通过沿特征线求解动量方程,并运用局部泰勒级数展开对方程的离散进行简化,在传统的基于特征线离散的分裂算法的基础上,推导了一种精确的显式离散方法,详细给出了基于局部泰勒级数展开的特征线离散过程,并推导了有限元控制方程.通过自主研发的空间结构自动分析设计系统(简称AADS)流体模块中的三维算例计算,表明文中的分析是正确的,提出的改进方法具有较高的计算精度.     

图像分割的算子分裂模型及算法

将AOS、MOS算子分裂思想引入IMS图像分割模型,提出了基于AOS、AOS-MOS算子分裂思想的图像分割模型及算法,不仅提高了分割速度,对于初值、参数的选择更加灵活,而且具有一定的抗噪性,达到了好的分割效果.仿真实验验证了模型与算法的优越性.     

基于贝叶斯统计推理的复杂场景边缘检测

复杂场景图像存在大量的噪声和纹理干扰,传统边缘算子的检测效果不理想.为此,文中提出一种基于贝叶斯统计推理理论的多信息融合边缘检测算法.该算法融合了梯度算子、拉普拉斯算子以及两级均值比率(ROA)算子的输出响应;通过最大类间属性互信息对特征属性进行最优离散化;利用非参数直方图方法估计类概率密度函数;并通过贝叶斯风险最小化原则实现边缘检测.试验中该方法的Bhattacharyya误差界为0.093,工作特性曲线下的面积(AUC)达到0.958,证明了该算法的有效性.与经典算子检测结果的比较也表明,该算法能够有效地克服图像中的噪声和纹理干扰.     

解决图着色问题的膜进化算法

图着色问题是图论中比较热门的NP难问题之一。针对该问题,有许多启发式求解算法,但都存在求解的质量不高,计算时间较长等问题。近些年提出的膜进化算法,在处理NP难问题中展现出了独特的优势。基于膜进化算法框架,提出了解决图着色问题的膜进化算法,把图着色问题和膜结合,设计了复制、融合、分裂、溶解、融合分裂、禁忌搜索6种膜进化算子。这些算子在演变的过程中使膜和膜结构发生进化,从而找到更优解,最后求得解决方案。在DIMACS的40个挑战数据集上面进行了实验,与3个最新的图着色算法比较的结果表明：在保证解的质量的情况下,文中提出的膜进化算法能有效降低求解的时间,其中有58%的实例占优。     

希尔伯特空间广义分裂等式问题的强收敛定理

对于解决在无穷维希尔伯特空间的集合里的广义分裂等式问题,提出和研究了一个新的迭代算法.证明了通过提出的算法产生的序列强收敛到广义分裂等式问题的一个解和一族方向算子的不动点.作为应用,考虑了广义分裂等式问题的一些例子.对于广义分裂等式问题给出了数值结果并且演示了提出算法的效率.     

基于谱特征的图像匹配算法

传统基于谱图的图像匹配算法大多利用特征点集中点的位置关系进行匹配,并未充分利用特征点周围的灰度信息,为此,文中提出了一种基于谱特征的图像匹配算法,该算法利用线图谱来反映特征点周围灰度的变化,对特征点周围的邻域点进行分层,并对每层中的点构造线图,通过线图谱获取特征点的谱特征;理论分析表明,该谱特征具有旋转不变性、亮度线性变化不变性及对噪声的较高鲁棒性.最后,利用匈牙利算法求解匹配问题,输出匹配结果.实验结果表明,文中算法具有较高的匹配精度,在待匹配图像间存在较大形变时,也可以获得较好的匹配结果.     

非局部守恒Allen-Cahn方程的高效算子分裂格式

研究带有拉格朗日乘子的非局部守恒Allen-Cahn方程的高效算子分裂格式.基于算子分裂思想,将原方程分解为非线性方程、非局部方程和拉格朗日乘子方程;然后,利用非线性方程解析求解,非局部方程结合矩形公式及Crank-Nicolson格式建立二阶差分格式,利用拉格朗日乘子方程进行数值积分离散.理论分析表明:数值格式满足质量守恒.最后,通过数值算例验证算法的有效性,包括收敛阶、能量递减及质量守恒.     

基于显式时间离散CBS有限元法的流场数值模拟

基于全微分形式,采用动量特征线实施坐标转换,提出沿动量特征线方程的显式时间离散CBS有限元法,其保持了CBS格式的属性且具有时间的二阶精度.运用该算法进行低雷诺数下圆柱和正方体的瞬态绕流模拟,对比了升力系数和阻力系数的数值计算结果与相关文献的实验结果,数值分析了单柱和并排双柱情形下的流场绕流.结果表明,所提出的CBS有限元法在低雷诺数下的流场模拟中具有较好的可靠性.     

具有运动边界不可压缩黏性流动的CBS有限元解法

基于特征分裂(CBS)算法,提出了一种适用于具有运动边界的不可压缩黏性流动问题的有限元解法,给出了不可压缩黏性流动问题的控制方程,并推导了其无量纲形式.将传统CBS算法与动网格技术相结合,提出了一种动边界流动问题的求解流程,并对所采用的基于弹簧近似的动网格方法进行了说明.采用该方法对静水和均匀来流中的简谐振动圆柱绕流问题进行了求解,计算所得圆柱受力、圆柱表面压力和涡量分布以及流场速度分布等结果均与已有数值或实验结果相吻合,初步验证了所提方法的可行性.     

Clapping and Broadcasting Synchronization in Wireless Sensor Networks

The Clapping and Broadcasting Synchronization (CBS) algorithm,which is specifically designed for large-scale sensor networks with low communication overhead and high synchronization accuracy,is introduced.The CBS protocol uses broadcasting rather than pairwise communication to accomplish synchronization.In the CBS scheme,the initial offset of local clocks can be successfully eliminated by the operation of clapping nodes,which leads to significant improvement in synchronization accuracy.The CBS protocol was implemented on the TelosB platform and its performance was evaluated in a variety of experiments.The results demonstrate that the CBS protocol outperforms the current state-of-the-art approach,the Flooding Time Synchronization Protocol (FTSP),in both single-hop and multi-hop scenarios in terms of synchronous precision and energy consumption.In multi-hop scenarios,the CBS algorithm keeps about 50% of its synchronization errors within 1 ms.In comparison,the FTSP keeps less than 7% of its synchronization errors within this range.In both single-hop and multi-hop scenarios,the CBS protocol is over 3.2 times more energy-efficient than the FTSP.     

基于Anytime算法的模型预测控制器的优化反馈调度

模型预测控制器可以实现为具有Anytime算法特征的模型预测控制（MPC）任务,它允许在执行时间和控制性能之间进行折衷．文中针对一组MPC任务,提出一种优化反馈调度算法（FS-CBS）,在有限处理器时间约束范围内使全局控制性能最大化．该算法为每个MPC任务分配了一个恒定带宽服务器（CBS）,并对CBS所预定的处理器时间进行动态调节,同时通过约束条件保证整个任务集的可调度性和各组分的稳定性．仿真结果表明,该算法对MPC运行时的执行时间变化不敏感,明显优于基本的CBS算法．     

Component-based software reliability analysis incorporating imperfect debugging and change-point

Against the deficiencies of component-based software （CBS） reliability modeling and analysis,for instance,importing too many assumptions,paying less attention to debugging process without considering imperfect debugging and change-point （CP） problems adequately,an approach of CBS reliability process analysis is proposed which incorporates the imperfect debugging and CP.First,perfect/imperfect debugging and CP are reviewed.Based on the queuing theory,a multi-queue multichannel and infinite server queuing model （MMISQM） is presented to sketch the integration test process of CBS.Meanwhile,considering the effects of imperfect debugging and CP,expressions for fault detection and correction are derived based on MMISQM.Numerical results demonstrate that the proposed model can sketch the integration test process of CBS with preferable performance which outperforms other models.     

带减函数的连续型软件可靠性验证方案

针对连续型安全关键软件可靠性验证测试（SRDT）所需测试时间较长的问题,在现有的基于贝叶斯理论的SRDT方案的基础上,提出结合先验信息的基于减函数法的连续型软件可靠性验证测试方案（CBSDF）：首先选取连续型软件可靠性参数（如失效率）的典型减函数作为失效率的先验分布密度函数(先验分布);然后根据增长测试阶段后期的失效时间数据（先验信息）计算出先验分布超参数的估计值,进而给出相应的后验分布密度函数,在此基础上得到CBSDF的具体形式;最后,将两组真实失效数据集作为先验信息的来源,将CBSDF与已有的无先验信息（CBS1）与有先验信息（CBS2）的贝叶斯验证方案进行实例对比研究,计算结果表明：在SRDT方案参数相同时,相对于CBS1与CBS2,本论文提出的CBSDF可以更为显著地降低所需的验证测试时间,且更适用于高可靠的安全关键连续型软件。     

解非埃尔米特线性方程组的外推迭代法的收敛性

为探讨非埃尔米特线性方程组的迭代算法,考虑非埃尔米特线性方程组的外推迭代法,讨论其收敛性,得到了两类外推算法的收敛性结果,该结果表明,在一定的参数范围内,外推算法是收敛的.并通过数值算例验证了理论结果的正确性.     

中国蜜环菌生物种E与其它种的相互关系

中国蜜环菌生物种Ｅ（ＣＢＳ Ｅ）建立时仅包括２个菌株，尚未建立起完整的交配型交配菌株体系，与其它中国蜜环菌生物种的相互关系也不清晰。依据交配试验结果，将原ＣＢＳ Ｅ中的９２０１８归属ＣＢＳ Ｃ，将９２０１１归属于ＣＢＳ Ｄ，即把ＣＢＳ Ｅ合并为奥氏蜜环菌ＣＢＳ Ｄ，Ａｒｍｉｌｌａｒｉａ ｏｓｔｏｙａｅ（Ｒｏｍａｇｎ．）Ｈｅｒｉｎｋ。     

非等温流动问题的无网格CBS方法模拟

将特征线分步(Characteristic-based Split,CBS)法拓展到无网格方法中,提出了无网格CBS方法,并用其模拟了非等温流动问题.由于该方法采用了分步算法,所以能避开BB条件,使速度-压力采用等低阶基近似;另外由于在离散过程中采用了特征Galerkin(Characteristic Galerkin,CG)方法,其又能对对流占优问题起到很好的稳定作用,且不含任何依赖于网格的稳定化参数.最后,本文用其模拟了方腔自然对流问题,数值结果表明无网格CBS方法在求解非等温流动问题时能有效地消除对流占优引起的速度场、温度场振荡和速度与压力失耦现象,且具有很高的计算精度和较好的稳定性.     

基于构件的软件测试模型及方法

采用基于构件的软件设计方法是软件设计的新趋势.介绍了构件及基于构件的软件（CBS）的概念、特点以及由此引发的测试问题.概述了构件软件测试方法的现状,阐述了基于构件的软件黑盒测试方法及模型、白盒测试方法及模型,讨论并比较了两种方法的使用场合和异同之处.在此基础上,列举并比较了几种常见的自动测试方法和工具的基本原理.对构件软件的集成测试和性能测试等问题进行了讨论和分析,给出了构件软件测试的存在问题和研究方向.