摘要：解空间搜索是约束求解的关键环节.目前较为常用的搜索算法一般是基于二元约束或单一搜索策略设计的.本文设计了六个基于多元约束的混合搜索算法(BM_GASBJ,BM_GBJ,BM_CBJ,FC_GASBJ,FC_GBJ,FC_CBJ),它们分别混合同一类搜索策略中不同算法或不同类搜索策略;分析并给出了不同混合算法的性能差异.系统测试结果表明混合搜索算法明显提高了解搜索效率和约束求解系统的性能.

摘要：运用约束程序设计(CP)思想和技术来调度正成为一个新兴的研究领域。文章首先对CP和调度的相关领域知识进行了简要介绍;然后按照CP所倡导的问题建模和问题求解相分离的思想,建立起一般理论调度问题的约束模型,并设计实现了一个基于约束的调度求解算法CBS-1;并对一些典型问题进行了实验,实验结果表明算法提高了约束调度求解的效率和通用性。

摘要：很多实际调度问题是半在线的．尝试运用人工智能方法来求解半在线调度问题,首先简要介绍了半在线调度问题并对其约束模型进行了分类,通过引入单调性约束扩展的相关概念,从约束建模角度形式化描述了一类动态约束扩展,并在此基础上设计了一个完备动态约束求解算法,最后给出该算法在半在线离散资源约束调度求解的应用算例．测试结果表明,该算法是可行有效的．

摘要：航天嵌入式软件的可信性是确保型号任务成功的重要因素.目前对航天嵌入式软件可信性评价均采用定性的方法,还没有针对航天嵌入式软件可信性的定量度量方法和模型.本文采用主观和客观相结合的方法,提出了一种面向航天型号软件的可信性度量模型及分级评价方法,通过航天软件的可信属性来研究软件的可信度和定量分析评价.基于该度量模型和方法对月地高速再入返回飞行器软件的可信性进行了度量评估,应用情况表明,航天嵌入式软件可信性度量模型及分级评价方法是合理的,科学的,能够有效评价软件的可信性并发现软件产品研制过程中需要加强的部分,对于航天型号软件研制水平的提高有重要的意义.