实时仿真系统可信性验证

实时仿真系统可信性验证是实时仿真理论研究及工程应用的重要内容。主要研究了实时仿真系统可信性验证，给出了验证的基本步骤，提出了从实时性、逻辑计算正确性及稳定性三个方面验证实时仿真系统可信性的观点；然后提出了三个指标来验证实时性，给出了各指标的定量计算模型；并研究了实时仿真系统逻辑计算正确性的相关问题，给出了逻辑计算正确性验证的基本步骤；最后分析了实时仿真系统稳定性验证。     

分布式实时仿真系统的实时性验证

实时仿真系统满足实时性要求是仿真结果可信的前提条件，要验证实时仿真系统的可信性首先要分析、验证实时仿真系统的实时性。由于分布式实时仿真系统组成复杂、类型多样，并且位置分散，其实时性分析更加复杂。重点分析了影响分布式实时仿真系统实时性的主要因素，提出了六个指标来分析其实时性，同时给出了各指标的定量计算模型，所提出的指标结合综合评估模型，可以判断具体系统是否满足实时性要求及满足实时性要求的程度。     

辨识一类抛物型系统时的传感器定位

该文研究了辨识一类抛物型系统ｕｔ＝ａｕｘｘ＋ｂｕｘ＋ｃｕ所用点测量传感器的定位问题。利用广义正交多项式将该系统近似成一有限维系统；根据集中参数系统理论讨论了近似系统的可辨识性，导出了传感器的区域定位策略，并给邮屯在局部优性条件下基于单点测量数据同时估计未知参数ａ，ｂ，ｃ的最小二乘算法，且用仿真实例说明了系统似误差对辨识结果的影响。     

软件失信的根源因素:失信因子

如何保证软件可信性是目前软件工程研究领域的热点话题之一. 从逆向思维的角度围绕软件失信展开三方面的研究.基于软件可信性的概念,分析软件失信及失效、故障、缺陷、错误之间的关系, 进而提出“失信因子"这一新的概念;通过分析失信因子与软件风险因素内涵的差异,指出了失信因子概念提出的基础性和重要性, 并给出软件失信链,延伸了传统的失效链;通过构建一种基于WBS-RBS的识别框架探讨了对失信因子收集、识别和分类的方法.结合示例,验证了所提概念的合理性.特别强调,在软件开发过程中,软件可信性的保障应着眼于控制、 改善失信因子这一根源性的因素,而非缺陷和故障等表征现象.     

决策粗糙集模型研究综述

主要对决策粗糙集（decision-theoretic rough sets,DTRS）理论的内容与发展概况作综述性回顾。介绍了决策粗糙集的基本理论,包括决策粗糙集产生的背景、决策粗糙集的Bayes决策理论基础、概率粗糙集模型、决策粗糙集模型与经典Pawlak代数粗糙集模型以及一般概率粗糙集模型之间的关系等;讨论了决策粗糙集意义下的三值决策语义以及约简定义,并回顾了决策粗糙集在实际问题中的应用。     

一种限制搜索区域的最短路径改进算法

最短路径算法效率是许多应用领域普遍关注和迫切需要解决的问题。该文在深入分析经典Dijkstra最短路径算法优化途径的基础上,从控制路网规模入手,提出了矩形限制搜索区域的最短路径算法。根据路网分布的特点,采取比值系数分段取值的方法,进一步提高了算法效率。原型系统实验显示了改进算法的高效性和可行性。     

基于直觉模糊相似度的直觉模糊三支决策方法

针对现有直觉模糊相似度未考虑其隶属度和非隶属度的实践语义且在一些情形下可能出现"违反直觉"等问题,本文提出一种新直觉模糊相似测度,并将其引入直觉模糊决策系统中,定义了直觉模糊相似度下(α,β)-水平截集等概念,并给出相关性质.以粗糙隶属度为评价函数导出目标集的(α,β)-下、上近似集及其三个域.考虑到决策者不同风险态度,基于贝叶斯理论构建一种具有多风险偏好的直觉模糊三支决策模型,并获得决策规则,进而提出一种基于直觉模糊相似度的直觉模糊三支决策方法.最后,通过算例说明该方法的可行性和有效性.     

基于改进层级任务网络规划的Web服务自动组合

为了在单一Web服务无法满足问题求解需求时可以自动地组合多个Web服务以解决复杂问题,利用服务本体描述语言OWL-S对常规Web服务进行语义封装,并选用层级任务网络(HTN)规划作为技术手段.在分析了OWL-S与HTN的相似性后,对HTN的操作算子(operator)和方法(method)定义进行改写,并对常规HTN规划算法进行扩展,使之成为具有领域知识的HTN规划,更适用于解决领域相关的服务组合问题.最后提出了一种基于改进HTN规划的服务自动组合规划器框架并搭建了试验系统.案例研究结果表明,这种改进的HTN规划算法在领域本体的配合下可以有效支持Web服务的自动组合.     

多无人平台持续作业调度问题北大核心CSCDCSSCI

针对单无人平台因电池或燃料有限而不能完成持续时间超过其最大续航时间的问题,提出通过地理上分散的自动补给站支持的多无人平台持续作业,从而可完成长期或不间断任务的思想;提出混合整数线性规划模型形式化多无人平台系统的调度问题,使每个任务均有无人平台执行,而多无人平台的总距离及出行总成本最小化;最后,在Matlab 2014a下验证了模型的有效性,模型在优化目标目标函数的同时保证了无人平台的安全性。     

建模与仿真中验证与确认的测试与评估实现

M＆S的可信性问题是M＆S理论研究及工程应用的重要内容，VV＆A和T＆E都是为了提高和保证M＆S的置信度，降低仿真系统在实际工程应用中由于仿真结果不可信而带来的风险。首先深入分析了VV＆A与T＆E的关系，认为VV＆A更强调确保M＆S可信性的工作内容，T＆E更强调具体的实现方法，T＆E是V＆V的主要技术和方法，V＆V可以通过T＆E来实现；然后分析了M＆S中T＆E面临的挑战，研究了M＆S开发全生命周期中V＆V的T＆E实现，最后简要介绍了T＆E的充分性判定方法。