自适应系统的体系结构模型与分析

当前计算机软件已深入应用到国民经济各个领域,然而其性能的衰退使得软件系统无法满足用户的需求,因此研究一种新的具有自适应功能的系统已成为十分迫切的需求。该文针对此问题,采用C2风格描述了一个自适应系统,并通过Petri网对其进行形式化建模和分析。

自适应网格计算模型与分析

传统的网格计算框架不能满足计算系统资源多样性和动态性的日益增加。该文构建一个基于Agent的自适应网格计算框架,利用Agent的自治性、主动性,增加系统的自恢复能力,给出一个基于该文描述框架的实例,并且利用时间颜色Petri网建模,通过时间颜色Petri网的仿真工具对其进行仿真,仿真结果证明了自适应网格计算模型的有效性和可行性。

基于协同效益的任务与资源匹配优化方法

在围绕任务目标聚合栅格网上各种资源按需生成系统能力过程中,针对根据任务需求从栅格网中选择最优资源组合形成任务共同体的问题,提出了一种基于资源总体协同效益的任务与资源匹配优化方法。建立了军事领域的典型任务与资源映射模板库,从资源协同角度对资源进行分类,结合领域知识建立了资源参数化表征模型。建立了综合考虑整个任务流程的基于协同效益函数的优化模型,并给出了任务与资源匹配的基本约束条件,为形成任务共同体提供满足任务要求的最优资源组合。

一种自适应系统的体系结构建模方法

当前计算机软件已深入应用到国民经济各个领域中,然而其性能的衰退使得软件系统无法满足用户的需求,因此研究一种新的具有自适应功能的系统已十分迫切。针对这个问题,采用C2体系结构风格描述一个自适应系统,并利用统一建模语言UML对其进行建模。

自恢复容错系统的模型和分析

容错系统不仅会产生硬件故障,而且连续长时间的运行,系统的性能还会逐渐下降或失效,即老化现象。本文综合考虑容错系统中的硬件故障和老化现象,提出了将传统的冗余策略和软件抗衰策略相结合,并给出了该系统的时间颜色Petri网(ti med-CPN)模型,并结合实例进行了分析。

多Agent自主体系结构的建模与分析

结合多Agent架构设计方法,提出一种基于多Agent的自主计算系统的设计方案。利用扩展的G网对其进行形式化建模和分析。通过仿真实验证实,该设计方案能有效稳定系统性能。

自恢复容错系统的建模与分析

容错系统不仅会产生硬件故障,由于连续长时间的运行,系统的性能也会逐渐下降或失效,即老化现象。综合考虑容错系统中的硬件故障和老化现象,提出了将传统的冗余技术和软件抗衰技术相结合的策略,并给出了该系统的非马尔可夫随机Petri网模型,随之对基于该模型的系统进行了定量分析。

神经网络在计算系统软件抗衰重启技术中的应用研究

将神经网络应用于计算系统的抗衰重启技术中,以实现细粒度的软件抗衰,可以更大程度地增强软件抗衰的智能化,提高抗衰效率及准确性,进一步降低抗衰开销,提高软件可靠性.判定模块重启相关性及模块可达集是实施细粒度软件抗衰策略的关键环节.文中结合神经网络工作原理,构建了判定模块间重启相关度及模块可达集的神经网络结构模型.该模型根据软件系统中模块间的控制、调用及数据访问关系,通过分析模块间的耦合程度和重启相关性的相关理论及其之间的关系,制定模块重启相关度和模块可达集的判定算法,最终完成系统模块间重启相关度及模块可达集的判定任务,从而为实现智能化细粒度软件抗衰提供支持.

支持QoS和用户需求的Web服务选择模糊算法

基于QoS的Web服务选择能为用户提供更好的服务质量,而基于用户对QoS的需求和偏好的模糊性来进行Web服务选择是其中的一种方法。针对如何通过这种方法合理地获得最优候选服务集,是Web服务架构待解决的一个问题,提出了一种支持QoS和用户需求的Web服务选择模糊算法。该算法将用户对QoS的需求及偏好的语言描述进行去模糊化,然后选择出最符合用户需求的服务集。通过对模拟的服务质量数据进行实验,验证了该算法的优越性和有效性。

基于形状参数均匀B样条的曲线拟合方法研究

分析了带形状参数的均匀B样条模型,将带形状参数的均匀B样条曲线应用于离散数据点的拟合。归纳并给出了形状参数的取值策略,采用迭代线性最近点的方式来优化修正数据点的参数,以上方法提高了拟合的精度和速度。通过实验分析,证明了该方法的有效性。

未来指挥控制系统暨信息处理系统架构

从指挥控制系统与信息处理系统定义出发,给出其核心业务功能与工作环境.通过研究和分析系统架构的常用模式,提出适应任务需要的不同规模、不同应用场景的指挥控制系统与信息处理系统的架构集合.为适应未来信息系统泛在化、智能化的发展趋势,提出根据任务可组态的、韧性的系统架构,旨在为未来指挥控制系统与信息处理系统的架构设计与分析提供参考.

带形状参数的指数均匀B样条模型

本文给出了k(k≥2)阶带形状参数指数多项式的均匀B样条模型。该类模型具有很多与B样条模型相同的性质,并且具有一个可调节的形状参数。由该模型构造的曲线,通过改变形状参数的取值,可以调整曲线接近其控制多边形的程度。该模型可以应用于CAD/CAM领域,作为几何造型一种新的有效模型。

分布式系统4级嵌套的软件抗衰策略及模型分析

将软件抗衰重启合理地应用于分布式系统,实现细粒度软件抗衰,可以提高抗衰适用性,降低抗衰开销,提高软件可靠性。确定系统重启层级别,查询各层模块的直接耦合模块,进而构建出各重启层的重启链是实施细粒度软件抗衰策略的关键。针对分布式系统各级模块间控制、调用及数据访问的关系,可以制定出系统重启层标准,给出判定各级直接耦合模块和模块重启群的方法,同时定义重启优先级,进而得出各级重启链的构建规则,由此制定重启实施策略。同时综合随机Petri网及确定的有限自动机两种形式化描述方法,构建易于理解分析的4级嵌套抗衰重启模型,为实现分布式系统细粒度软件抗衰提供支持。

基于BSC和三次样条曲线的两种自由曲线重建方法

提出了两种空间不规则物体的重建方法。在仿射相机模型的假设下,采用BSC样条曲线和三次样条曲线作为重建基元,利用曲线的仿射不变性,重建空间的自由曲线。试验结果证明,相对于传统方法,两种方法在重建精度和复杂度上均有很大改进。

网络中心化C^4ISR系统自适应模型与方法

为了适应未来复杂、多变和强对抗的信息化战争,网络中心化C4ISR系统应具备自适应特性。针对系统自适应研究难点,提出了网络中心化C4ISR系统自适应概念,分析了其特征,建立了感知—决策—执行(ADE)自适应概念模型,并从系统结构、系统功能和信息服务3方面提出了自适应实现方法。试验结果表明,网络中心化C4ISR系统具备自适应机制后,结构、功能和信息服务等方面效能提升显著。

基于CB样条曲线的空间物体三维重建

本文提出一种基于 CB 样条曲线重建空间不规则物体的方法。在仿射相机模型的假设下,利用 CB 样条曲线仿射不变性,以 CB 样条曲线为基元来重建空间物体。试验结果证明,与传统方法比较,该方法重建精度更高,算法复杂度也有较大改进。

基于系统资源协同机制的C^4ISR系统网络化运作方法

针对各类系统资源如何高效协同运作以适应战场变化问题,建立了系统资源主体模型,提出了一种基于工作流和自主协商相结合的系统资源主体动态协同机制,并建立了4种系统资源主体间协同策略,实现了系统资源主体动态协同。最后通过仿真试验分析,验证了协同框架与协同策略的有效性。

基于Agent的BPEL服务组合技术

业务流程执行语言(BPEL)利用服务间执行顺序、交互关系及工作流方式组合,形成具有一定业务功能的大粒度服务。在服务质量(QoS)及非功能属性变化很快的网络环境中,传统BPEL服务组合方式的灵活性和自适应性均显得不足。鉴于此,利用智能体(Agent)的自主性和社会性等特点,将Agent服务选择改为开放服务,通过BPEL组合Agent服务。流程执行中,使得Agent实现了服务动态协商与选择。最后,利用指挥控制系统平台分析了基于Agent的BPEL服务组合构架优点。

改进的本体概念语义相似度计算方法

本体概念语义相似度计算被广泛应用于本体映射、语义Web服务本体匹配等领域,以往的概念语义相似度计算方式存在计算粒度大,计算方法单一等缺陷。文中提出一种改进的基于概念子图的概念语义相似度计算方法,该方法考虑了本体概念的深度、密度对语义距离的影响,细化了计算粒度,并将语义距离与信息量方法相结合。试验表明,改进的方法优于传统方法。

基于作战任务优先级的容器云弹性伸缩系统

当前军事指挥信息系统一般采用基于预置规则的控制策略,在运行过程中很难根据环境变化快速进行动态调整;商用的容器云编排管理系统存在调度算法单一、弹性伸缩策略简单不宜扩展等问题。为此,提出了一种基于作战任务优先级的容器云弹性伸缩系统方案。对任务和资源进行建模描述,提出了一种基于作战任务优先级的资源调度算法和自适应弹性伸缩策略,并对该系统进行了设计与实现。最后,通过构建演示环境进行系统测试,验证了该策略与算法的有效性。