基于Petri网的Web服务组合模型描述和验证

Web服务及其组合的形式化描述和验证是Web服务中一个重要的研究方向.分析了基于Petri网建模的优势,给出基于Petri网的Web服务的形式化定义和描述,对Web服务组合进行建模及元素映射,给出Petri网模型生成算法并对组合服务模型的可达性、安全性、有界性与活性等特性进行验证分析.最后是对一个具体的业务流程的建模和验证分析.由分析可知,该建模方法具有一定的表达和验证Web服务组合模型的能力.     

雷达预警探测系统组合建模研究

针对雷达预警探测系统具备"系统的系统"特性,对其可组合化建模研究已成为当前研究其内在规律的最新热点发展区.在对雷达预警探测系统问题域和仿真域中组合建模需求进行分析的基础上,重点提出了以MDA、UML、Web Servers,XML、形式化表示等建模技术为核心,由语言维和模型维构成的栅格状跨层次组合建模技术参考视图;并结合实例,详细讨论了模型维各层次如何使用语言维各要素进行组合建模的形式化描述,以及层次间模型如何相互映射与转换,进而保持了从系统建模到仿真建模全过程模型语用语义的一致性.     

定性组合建模技术研究与实现

自动建模是定性仿真领域新的研究方向，其目标是寻求自动创建定性模型的有效方法。针对这一目标，提出了面向对象的组合建模技术思想，使用对象描述模型知识；提出模型饭设的分层描述机制，并建立了模型片断库的结构模型；在模型假设研究的基础上，提出基于关联推理的组合建模算法；此外，建立了组合建模与仿真的框架模型，实现了相关的建模与仿真算法。     

基于ExSpect领域模型库的装备维修机构仿真环境构建

应用可执行规格说明语言及工具Exspect,建立了支持维修机构建模仿真分析的领域模型库.该环境支持下,通过可重用组件的安装和实例化,可显著提高维修机构的建模效率.在模型仿真环境中,可自动运行模型,直观分析系统运行特性,并可进行定量分析,为维修保障建模、仿真提供了实用、高效的技术手段.     

语义Web服务自动组合的有色网验证模型

Web服务组合是面向服务的计算模式下应用构造的主要方式,而现有的组合方法与实施框架缺乏有效的验证机制,从而产生大量无效的组合结果.针对这一问题,提出一种具有正确性分析与验证功能的Web服务自动组合系统框架.其核心是利用有色Petri网对基于OWL-S的服务组合系统进行形式化建模,通过对组合模型的模拟执行及对其动态性能的全面分析,预测组合服务的执行结果,从而提高组合的可靠性.另外,该框架采用智能Agent技术,可有效实现组合过程的自动化.     

组合智能决策支持系统研究及其应用

针对现有决策支持系统存在信息支持不足、专家知识难以获取与表示、从海量数据提取有用信息存在困难等问题,通过对已有的人工神经网络、小波分析、遗传算法的建模方法进行组合利用和加以改进,建立组合智能信息处理器,并将之与传统决策支持系统相结合,产生智能决策支持系统,进行知识自动提取和系统智能建模,并基于GIS平台利用组件技术搭建智能决策支持系统集成结构.最后以灌区水资源管理决策支持系统的径流预报为例,进行仿真试验,验证方案的可行性和有效性.     

具有2-空间缓冲模块的多组合设备的优化调度

随着半导体晶圆生产加工变得越来越复杂,多组合设备也越来越频繁的被采用.多组合设备的调度关键在于怎么协调好相邻机械手的操作.针对拥有2-空间缓冲模块的单臂多组合设备,同时它的瓶颈设备被假设为处于加工-边界,首先运用面向资源的Petri Net对系统进行建模,然后在分析系统调度特性的基础上提出了此多组合设备的周期时间一定可以达到下界,并给出了有效的调度算法.最后,用实例证明了该调度方法的可操作性.     

武器装备效能仿真的可组合建模框架研究

武器装备效能仿真不同于一般的复杂系统仿真, 具备很大的组合建模潜力和迫切的组合仿真需求. 当前的统一仿真协议、统一建模方法、统一模型规范等组合仿真途径主要还是从技术角度出发的, 没有充分结合应用领域的实际, 难以真正实现组合仿真. 提出了基于模型框架实现组合仿真的思路, 通过将领域共性不变知识(DIK)固化为可组合的模型框架, 而应用可变知识(AVK)则可在模型框架基础上通过定制或扩展的方式进行描述. 设计了武器装备效能仿真的可组合建模框架(CMF), 应用实践表明能够明显地提高仿真开发效率, 有力地支持模型级可组合.     

面向空军战役仿真的一个想定自动生成框架

基于想定的方法是处理要解决的问题中不确定性的最有效的手段。对空军战役仿真而言,如何利用丰富的军事原则和复杂的战场环境去构建满足仿真需求的想定,是一个迫切需要解决的问题。通过利用已知的、可被建模的时间、空间和组合关系,对想定生成模型的特性进行分析,提出了一个想定自动生成框架。实验表明,该框架可以较迅速地生成符合需求的空军战役仿真想定。     

基因表达式编程在组合预测建模中的应用

介绍一种利用基因表达式编程的方法来自动生成非线性函数的组合预测模型,并进行误差估计分析, 改变过去只依靠各个子方法的简单线性相加,不能很好地反映非线性真实世界的传统组合预测建模方法.通过对我国CPI的真实历史数据验证, 验证结果表明: 与传统的ARIMA,灰色GM(1,1), BP神经网络和线性组合预测四种方法对比,基因表达式编程建立的组合预测模型所预测的数据准确度明显提高.     

涡扇发动机模块化模型库及其应用

设计开发新的涡扇发动机是一项复杂耗时的工程,而计算机仿真是一种有效的解决办法。因此开发比较通用的计算机仿真模型已经成为一种发展趋势。本文以面向对象技术为基础提出了建立通用化的发动机模块化模型库的思路,并依据该指导思想在新的面向对象的仿真工具—Modelica语言基础上最终开发出一个包含涡扇发动机各部件在内的模型库,详述了模型库构建流程及其结构。在此基础上进一步建立了一个带开关磁阻电机的混合排气涡扇发动机模型。最后通过对其进行仿真来验证该模型库的实际效能并获得满意结果。     

基于eM-Plant的参数化虚拟组合设备

由于大直径晶圆的加工具有严格的逗留时间约束和时间波动, 使得组合设备的调度及其可行性的验证存在很大的困难, 而仿真是一个有效的方法. 如果组合设备的调度存在可行性, 那么, 通过仿真能够找到系统的可行调度. 利用eM-Plant建立了虚拟的单臂组合设备, 该系统是可重配置的. 不同类型的晶圆加工具有不同的晶圆流模式和加工时间, 该虚拟组合设备能够模拟不同的晶圆加工, 而参数化的虚拟组合设备实现了可重用性. 为了实现可视化, 建立了三维模型的虚拟组合设备. 对于操作组合设备的工程人员来说, 该系统是直观和有效的. 最后,通过例子验证了虚拟组合设备是可行的.     

一种异构机群系统管理软件模型及其关键技术

机群系统管理软件是机群系统管理员管理和监控整个机群状态的有力工具,给出了异构机群系统管理软件(HCSMS)的一种构建模型,分析该模型的组织结构,以及实现技术路线。提出了系统管理虚拟命令的统一和远程管理两项异构机群系统管理关键技术的解决方案。通过实用性能测试,表明该方案对异构机群管理有效。     

投影寻踪动态聚类模型

投影寻踪聚类模型在多因素聚类分析中被广泛应用并取得了满意的效果,然而,该模型还存在诸如密度窗宽参数取值经验确定等不足,有待改进提高.本文针对投影寻踪聚类模型的不足,首次把投影寻踪的思想和动态聚类方法结合起来构造投影指标,基于免疫进化算法,建立了投影寻踪动态聚类新模型.新模型一方面在整个运算过程中毋需人为给定参数,聚类结果客观、明确,另一方面,它还具有稳定性好、操作简便等特点.洪水分类的实际应用表明,投影寻踪动态聚类模型切实可行,取得了很好的效果,在多因素聚类分析领域具有广阔的应用前景.     

基于SG/Simulink无刷直流电机混合建模与仿真研究

System Generator(SG)为基于FPGA的硬件平台开发提供了便捷的设计方式和灵活的编程手段，Matlab／Simulik是通用性的离线仿真工具，其模块化的建模方法具有高效、直观的特点。结合两者的优点，提出了SG／Simulink混合建模新方法，利用SG建立无刷直流电机(BLDCM)控制系统部分，Simulink仿真BLDCM本体，通过SG中的Gateway模块，实现两者的无缝连接。仿真结果符合理论分析，证明了该方法的有效性和可行性。     

无人飞行器集群协同行为建模技术综述

无人飞行器集群协同作为一种全新的任务执行形态, 正逐渐成为生成体系作战能力的有效途径, 而自组织集群行为建模技术是实现集群高效率协同的关键所在。基于无人飞行器集群协同特点梳理总结了关键技术问题, 从复杂系统图形化建模、集群多编队协同、集群队形变换、集群决策控制等4个方面, 对无人飞行器集群协同行为建模技术现状和存在难点进行了全面总结, 提出了基本框架和实现途径, 展望了当前无人飞行器集群协同行为建模技术研究应当关注的若干发展方向和可预见的显著效益, 为无人飞行器集群协同行为建模技术发展提供了参考与依据。     

缓冲区容量为2的单臂树形多组合设备的建模与调度

在半导体制造中,多组合设备被广泛应用于晶圆加工.对于缓冲区容量为2的单臂树形多组合设备,当机械手的移动时间远远小于晶圆加工时间时,它是否存在一个1-晶圆最优周期调度仍是个有待解决的问题.针对此问题,本文首先运用Petri网对系统进行建模,经过对单组合设备调度和相邻设备协调运作的分析,证明系统的1-晶圆周期达到下界值时总是可调度的,并给出相应的调度算法.最后通过实例验证了算法的有效性以及实用性.     

黄灯期间信号交叉口的驾驶员行为

交叉口安全评价、信号方案设计等工作中必须考虑黄灯期间驾驶员的行为特性,为此需要构建合理的驾驶员行为模型。针对黄灯期间信号交叉口的驾驶员行为模型进行研究,利用视频采集驾驶员在黄灯期间的行为数据,经数据预处理后,考虑黄灯启亮时刻车辆位置、车速两个因素,运用Logistic回归构建了驾驶员行为模型,并利用受试者工作特征曲线(ROC曲线)等检验了模型的准确性。     

基于GARCH模型的风险价值蒙特卡罗模拟

讨论用蒙特卡罗模拟（MC）方法计算风险价值（VAR）。分别用样本标准差和广义自回归条件异方差（GARCH）作为参数代入几何布朗运动方程中，并把计算结果进行比较，得出各模型的适用范围。