活动图

摘要： 采用模型驱动架构的自动代码生成技术,研究提取UML活动图中的关键信息的方法,并提出活动图模型转成JAVA代码的转换算法,最后,开发自动转换工具Mdl2Java,实现活动图自动转换成JAVA代码.

摘要： 基于模型的系统工程(Model-Based System Engineering,MBSE)作为复杂系统设计和验证的手段受到学术界和工业界的广泛关注。建模和仿真作为MBSE理论中复杂系统的设计过程最重要的两个步骤,其重要性不言而喻。文章先对活动图建模软件需要解决的问题进行了详细的拆解,提出了在底层模型、模型可视化、语义和功能扩展等方面的实现方法;然后设计一套用于模型仿真中模型执行的操作语义,保证仿真引擎的轻量化,并在原有元模型的基础上扩充了运行时概念并定义了动态语义;最后给出实例,验证了个该方法的可行性。

摘要： 增量开发作为软件开发过程中一种常见的方法,精化是其中主要的操作之一。本文以增量开发为背景,通过UML中的活动图对软件系统进行可视化建模并对其精化过程进行了研究。首先,本文给出了活动图的形式语义,并基于该语义,给出了活动图间精化操作的形式化表达,定义了精化关系,最后讨论了精化关系的一些性质。

摘要： 随着人们生活水平的提高以及工作节奏的加快,在闲暇时间喝一杯下午茶已经成为人们一种短暂的休息方式.在信息时代,互联网已经遍布各种领域,因此人们获取饮品的方式有了更方便的选择,可以到店用餐,也可以选择外卖配送方式.本文就饮品点餐系统的功能设计进行了讨论,并基于UML建模技术完成了整个饮品点餐系统的需求分析,用例建模和活动图建模.

摘要： 增量开发作为软件开发过程中一种常见的方法,精化是其中主要的操作之一.本文以增量开发为背景,通过UML中的活动图对软件系统进行可视化建模并对其精化过程进行了研究.首先,本文给出了活动图的形式语义,并基于该语义,给出了活动图间精化操作的形式化表达,定义了精化关系,最后讨论了精化关系的一些性质.

摘要： 为了降低建筑工程的总成本和缩短施工工期,兼顾建筑工程施工过程的安全,设计了基于活动图的施工规划和调度方法.该方法首先从初始活动图中提取候选施工计划,然后将计划从活动图转换为离散事件模拟模型.接下来使用现有的移动规划计划算法生成无障碍的安全移动轨迹,并根据移动设备的轨迹计算安全评分.通过结合影响施工计划的不同指标(即成本、资源和期限),选择合适的施工计划.最后,采用案例研究来展示本方法的实用性.结果证明,此施工规划与调度方法不仅实际适用,而且能为项目经理提供方便有效的工作方式.

摘要： 目前对于C4 ISR系统互操作性评估的方法通常是通过建模与仿真实验来完成,但现有的方法由于缺少对系统内各成员要素性能指标、敌方威胁性能指标、环境影响因素指标等可变变量的描述形式,导致无法对处在瞬息万变的对抗环境中的系统进行准确评估.针对上述问题,基于SysML语言提出了一种能够反映处于对抗环境下的C4 ISR系统特征的建模方法,并实现了对系统作战进程互操作能力的评估.通过对具体案例的分析表明,该方法能够较好地描述、评估处于对抗环境中的C4 ISR系统,为系统建设、组织运用和改进提供决策依据.

摘要： 企业信息系统大都采用UML分析与设计,经常会出现业务流程实现的信息不一致性,缺少一种无缝的业务流程实现,WF提供了业务过程自动化的可视化编程模型.对比分析WF Flowchart和UML活动图的基础上,研究从UML活动图到WF Flowchart业务流程映射关系,选取UML中典型活动图,依据一定的命名转换规则,探索一种从UML活动图分析设计到基于WF Flowchart业务流程可视化的转换及实现方法.

摘要： 本文对军事训练游戏剧情需求形式化建模进行了研究.针对军事领域专家与游戏设计与开发领域专家之间存在较大的知识壁垒,相互交流困难问题,提出了基于活动图的军事训练游戏剧情需求形式化建模描述方法.首先对军事训练游戏剧情活动图的语法及语义进行了定义,然后提出了基于活动图的军事训练游戏剧情需求建模描述方法,最后通过实例对本文提出的方法进行了应用.应用结果表明通过本文提出的方法对军事训练游戏剧情需求进行建模有效地实现了军事训练游戏剧情需求描述的形式化和规范化,有利于军事训练游戏设计与开发人员的理解,有助于游戏剧情需求提出人员与游戏设计开发人员之间的交流.

摘要： UML是软件工程中一种最常用的建模方法。由于UML是半形式化的,许多人致力于将UML转换成形式化方法(如Petri网)的研究。转换之后,对于定性的非功能参数的确认和验证就会更方便。鉴于现实世界中大部分信息的不确定性,系统分析师们提出了模糊UML的概念。尝试将模糊UML活动图转换成Petri网,从而能实现形式化验证以及性能评估。

摘要： 模型驱动的业务生成技术提高了电信业务的重用性、可移植性和开发效率，业务过程模型在该技术中起着关键作用。通过分析电信业务过程中涉及的动作和事件的关键概念，提出了一种基于扩展UML活动图，采用事件驱动机制将动作和事件进行组合，从而表达一个业务逻辑的方法，满足了对电信业务过程的建模需求。

摘要： 当多个线程未经有效同步同时访问某共享数据,且其中至少有一个线程对数据进行写操作,称该并发系统出现数据竞争.发生数据竞争的系统具有不确定性,即使输入相同也可能表现不同的行为.本文针对Java并发程序,提出了一个基于模型的数据竞争检测方法,并实现了原型工具Toc4j.该方法用扩展了数据访问标记的UML活动图来描述程序的行为模型,并基于活动图插装被测试程序,然后用基于路径分析和随机方法生成的用例来执行插装后的程序.对执行得到的数据访问事件序列进行离线分析.首先,通过检验不同线程进入和退出数据关键区的时间区间是否重合来发现数据竞争.Toc4j的测试报告包含出错的位置和对应测试用例,可以帮助调试人员排错.

摘要： 现代航空飞行器电传飞行控制系统毫无例外地采用了多余度配置方式,余度系统除具有硬件/软件重复配置的特点之外,还必须具备行之有效的余度管理功能.本文提出了一种基于SysML活动图的余度管理建模新方法.详细介绍了SysML活动图的组成,对信号的余度管理进行了建模,并以三余度飞控计算机为例,对信号的余度管理算法建模方法的有效性进行了验证.结果表明利用SysML的活动图对信号余度管理算图法建模，由于采用图形化的方式表现余度算法的逻辑过程，从而能够直观的了解到出现故障的支路以及验证算法的准确性。同时SysML是基于模刑驱动的，减少了复杂的编程，从而也提高了建模的效率。

摘要： 基于场景,研究了C4ISR系统的需求获取方法.针对C41SR系统需求获取的难点,比较几种常用的需求获取方法的优缺点,最终采用基于场景的方法.在介绍基于场景的方法后,讨论了基于场景的C4ISR系统需求获取方法的优缺点以及如何弥补不足之处.最后本文分别采用了上下文场景法、活动图和用例图等基于场景的方法,对C4ISR子系统—"战术导弹拦截"系统进行研究讨论.

摘要： 以UML活动图为例介绍了一种UML模型的行为语义检查方法,将活动图的行为语义分为静态语义和动态语义两部分,用OWL DL本体表示静态语义,用DL-Safe规则表示动态语义,并设计了构建活动图的OWL DL本体的算法,同时研究分析了活动图中存在的一致性问题,并为检查这些一致性问题设计了SPARQL查询语句.

摘要： 在形式语义的支持下提出了一种动态工作流建模方法。该方法在扩展UML的基础上给出了两种建模机制，利用UML活动图和状态图对动态工作流过程进行建模。最后，本文给出一个汽车企业产品研发的建模实例说明了本方法对动态工作流建模的有效性。

摘要： 测试用例自动生成是软件可靠性测试过程一种运行剖面建模方法,并在此基础上收集相关测试数据,完成可靠性测试用例的生成,提高软件可靠性测试的效率.

摘要： 故障定位是故障诊断的关键环节,直接影响故障维护的效率。提出一种基于软件规约信息的动态定位方法,分析系统实际运行轨迹信息与预期轨迹信息间的差异,实现系统的故障定位。首先给出一种改进的探针植入策略,依据该策略在系统特定位置植入探针,在系统运行时即可获取系统实际运行信息。然后结合软件规约中描述的系统预期状态信息,在分析了可能导致系统实际运行轨迹与预期轨迹间产生不同的差异的原因后,给出相对应的定位方法,主要用于定位控制流异常或数据操作错误导致的系统故障。最后通过实例分析了本方法的可行性。

摘要： 本发明的目的是不会引起由解码图象数据的修整处理所产生的大的画质恶化，通过该修复处理能够排除由错误引起的画质恶化，而提高解码图象的画质。本发明包括：解码器1，在每个宏块中对输入流进行解码，而生成解码图象数据；传输错误检测器3，检测输入流的传输错误；流错误检测器6，检测输入流的流错误，当传输错误被检测到时，用宏块单位来修整解码图象数据，当流错误被检测到时，用视频分组单位来修整解码图象数据。

摘要： 本发明的目的是不会引起由解码图象数据的修整处理所产生的大的画质恶化,通过该修复处理能够排除由错误引起的画质恶化,而提高解码图象的画质。本发明包括:解码器1,在每个宏块中对输入流进行解码,而生成解码图象数据;传输错误检测器3,检测输入流的传输错误;流错误检测器6,检测输入流的流错误,当传输错误被检测到时,用宏块单位来修整解码图象数据,当流错误被检测到时,用视频分组单位来修整解码图象数据。

摘要： 本发明编码处理的装置,包括在对隔行扫描图象信号的m(m为大于2的整数)场中将1场变换为扫描线为倍密度的顺次扫描的1帧,而另外的场原样隔行扫描输出的顺次扫描变换装置、对上述顺次扫描帧,通过帧内独立的或从编码后的顺次扫描的帧的单方向的预测进行预测译码的第一译码装置;和对上述顺次扫描帧以外的隔行扫描的场在时间上以其前或后的顺次扫描帧作为参照帧进行预测译码的第二译码装置。

摘要： 标题信息获得部(114)从在MPEG视频流中包含的顺序标题中抽出图象的纵向和横向的点尺寸和帧速率等信息。合计处理量估计/重放方式判定部(116)接受在每个显示方式中规定的频道优先顺序和标题信息获得部(114)的输出，来进行合计处理量的估计以及各频道重放方式的判定。MPEG解码器(118)经过标题信息获得部(114)来时分地收取CH1～CH4的编码输入，根据合计处理量估计/重放方式判定部(116)输出的判定信号来进行各频道的图象编码的解码。能够提供一种活动图像解码装置，能够抑制解码器电路规模和存储器使用量，并且高画质地显示多个频道。

摘要： 一种活动图象定住设定装置，具有：帧确定部，通过构成输入的活动图象的多个帧，确定应设定定住的设定对象期间的开始帧及结束帧；定住设定部，当在设定对象期间采取的多个帧中指定区域时，对指定该区域的帧设定把该指定的区域作为定住区域的定住信息；定住推定部，在以上述定住设定部设定定住信息的帧为基准帧时，推定在设定对象期间内的帧中的基准帧以外的非基准帧的定住信息；和定位信息编辑部，对非基准帧推定的定住信息加以修正；上述定位推定部把该非基准帧升级为基准帧，通过将在该升级的基准帧和与其邻接的基准帧分别设定的定住信息插补，而推定在升级基准帧和与其邻接的基准帧之间的非基准帧的定住信息。

摘要： 一边预测由多个不同的视点的活动图像构成的多视点活动图像一边进行编码/解码的活动图像编码/解码装置具备：对应区域设定部，针对编码/解码对象区域设定深度图上的对应区域；区域分割部，设定作为对编码/解码对象区域进行分割后的区域的预测区域；视差矢量生成部，按照每个预测区域，使用对应区域内的该预测区域所对应的区域中的深度信息来生成针对参照视点的视差矢量；运动信息生成部，基于针对参照视点的视差矢量，根据参照视点运动信息来生成预测区域中的运动信息；以及预测图像生成部，使用预测区域中的运动信息来生成针对预测区域的预测图像。

摘要： 为了提供以更高速度和提高的效率来编码活动图象的处理，本发明提供了用于通过包括运动估算处理的预定处理来编码处理对象的活动图象的活动图象编码方法，根据有关在该块与在编码时要参考的帧(即，在进行运动矢量检测时要参考的帧)的参考块之间的差信息、和在该活动图象的量化处理中使用的量化参量，确定对于处理对象的块的预定处理(例如，DCT处理和量化处理)是否可被省略，如果确定该预定处理不能被省略则执行该预定处理，以及如果确定该预定处理可被省略则省略该预定处理，并且使得一组规定的数值成为对于该块的该预定处理的结果。

摘要： 一种活动图象定住设定装置，具有存储这些数据的数据存储部2，控制显示的显示部3，输入编辑指令的用户操作部4。若在定住设定部11仅对最初和最后帧设定定住，则定住推定部12经插补计算推定其他帧的定住信息。因此大大减轻定住设定工作量。

摘要： 首部信息获得部(114)从在MPEG视频流中包含的顺序首部中抽出图象的纵向和横向的点尺寸和帧速率等信息。合计处理量估计/重放方式判定部(116)接受在每个显示方式中规定的频道优先顺序和首部信息获得部(114)的输出,来进行合计处理量的估计以及各频道重放方式的判定。MPEG解码器(118)经过首部信息获得部(114)来时分地收取CH1～CH4的编码输入,根据合计处理量估计/重放方式判定部(116)输出的判定信号来进行各频道的图象编码的解码。能够提供一种活动图像解码装置,能够抑制解码器电路规模和存储器使用量,并且高画质地显示多个频道。

摘要： 一边预测由多个不同的视点的活动图像构成的多视点活动图像一边进行编码/解码的活动图像编码/解码装置具备：对应区域设定部，针对编码/解码对象区域设定深度图上的对应区域；区域分割部，设定作为对编码/解码对象区域进行分割后的区域的预测区域；视差矢量生成部，按照每个预测区域，使用对应区域内的该预测区域所对应的区域中的深度信息来生成针对参照视点的视差矢量；运动信息生成部，基于针对参照视点的视差矢量，根据参照视点运动信息来生成预测区域中的运动信息；以及预测图像生成部，使用预测区域中的运动信息来生成针对预测区域的预测图像。