活动图
活动图的相关文献在1977年到2022年内共计254篇,主要集中在自动化技术、计算机技术、无线电电子学、电信技术、经济计划与管理
等领域,其中期刊论文172篇、会议论文12篇、专利文献81464篇;相关期刊129种,包括中小学实验与装备、佳木斯大学学报(自然科学版)、百科知识等;
相关会议11种,包括2014中国制导、导航与控制学术会议、中国电机工程学会第13届青年学术会议、第九届中国系统建模与仿真技术高层论坛等;活动图的相关文献由476位作者贡献,包括王智学、G·H·M·海斯贝斯、H·B·范登布林克等。
活动图—发文量
专利文献>
论文:81464篇
占比:99.77%
总计:81648篇
活动图
-研究学者
- 王智学
- G·H·M·海斯贝斯
- H·B·范登布林克
- N·奈霍夫
- S·什莱格特
- 张书铭
- 曾一
- 李宣东
- 江明修
- 王平云
- 郑福炯
- 陈建一
- 中川彻
- 伊藤裕康
- 汪永明
- 王林章
- 秋山良太
- 陈铭松
- B·B·吉坦斯坦
- D·迪贾坎普
- G·贾科比
- I·阿齐滋
- J·珀拉斯鲁拉斯奇
- M·罗杰斯
- 一圆亨
- 任传成
- 伊春涛
- 何沁
- 侯亚荣
- 俞磊
- 冈田茂之
- 冯志勇
- 刘书刚
- 刘建华
- 千畺旭
- 卜磊
- 吴国兵
- 吴建锋
- 吴洁明
- 吴鸿基
- 周锦泰
- 唐伟
- 奥木丰
- 孙中涛
- 孙伟瑄
- 孙博
- 安成智子
- 宋秉哲
- 庞启勇
- 张利武
-
-
严海星;
李艳
-
-
摘要:
采用模型驱动架构的自动代码生成技术,研究提取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业务流程可视化的转换及实现方法.
-
-
杨楠;
张清辉;
宋崴;
赵鹏
- 《第九届中国系统建模与仿真技术高层论坛》
| 2014年
-
摘要:
本文对军事训练游戏剧情需求形式化建模进行了研究.针对军事领域专家与游戏设计与开发领域专家之间存在较大的知识壁垒,相互交流困难问题,提出了基于活动图的军事训练游戏剧情需求形式化建模描述方法.首先对军事训练游戏剧情活动图的语法及语义进行了定义,然后提出了基于活动图的军事训练游戏剧情需求建模描述方法,最后通过实例对本文提出的方法进行了应用.应用结果表明通过本文提出的方法对军事训练游戏剧情需求进行建模有效地实现了军事训练游戏剧情需求描述的形式化和规范化,有利于军事训练游戏设计与开发人员的理解,有助于游戏剧情需求提出人员与游戏设计开发人员之间的交流.
-
-
张炜钟;
王智学;
陈剑
- 《第十二届全国petri网理论与应用学术年会》
| 2009年
-
摘要:
UML是软件工程中一种最常用的建模方法。由于UML是半形式化的,许多人致力于将UML转换成形式化方法(如Petri网)的研究。转换之后,对于定性的非功能参数的确认和验证就会更方便。鉴于现实世界中大部分信息的不确定性,系统分析师们提出了模糊UML的概念。尝试将模糊UML活动图转换成Petri网,从而能实现形式化验证以及性能评估。
-
-
-
Ai Jieqing;
艾解清;
Huang Jutao;
黄巨涛;
Wei Lihao;
魏理豪
- 《中国电机工程学会第13届青年学术会议》
| 2014年
-
摘要:
当多个线程未经有效同步同时访问某共享数据,且其中至少有一个线程对数据进行写操作,称该并发系统出现数据竞争.发生数据竞争的系统具有不确定性,即使输入相同也可能表现不同的行为.本文针对Java并发程序,提出了一个基于模型的数据竞争检测方法,并实现了原型工具Toc4j.该方法用扩展了数据访问标记的UML活动图来描述程序的行为模型,并基于活动图插装被测试程序,然后用基于路径分析和随机方法生成的用例来执行插装后的程序.对执行得到的数据访问事件序列进行离线分析.首先,通过检验不同线程进入和退出数据关键区的时间区间是否重合来发现数据竞争.Toc4j的测试报告包含出错的位置和对应测试用例,可以帮助调试人员排错.
-
-
-
-
-
-
-
- 《2008全国软件与应用学术会议(NASAC'08)》
| 2008年
-
摘要:
故障定位是故障诊断的关键环节,直接影响故障维护的效率。提出一种基于软件规约信息的动态定位方法,分析系统实际运行轨迹信息与预期轨迹信息间的差异,实现系统的故障定位。首先给出一种改进的探针植入策略,依据该策略在系统特定位置植入探针,在系统运行时即可获取系统实际运行信息。然后结合软件规约中描述的系统预期状态信息,在分析了可能导致系统实际运行轨迹与预期轨迹间产生不同的差异的原因后,给出相对应的定位方法,主要用于定位控制流异常或数据操作错误导致的系统故障。最后通过实例分析了本方法的可行性。
-
-
-
- 松下电器产业株式会社
- 公开公告日期:2001-05-16
-
摘要:
本发明的目的是不会引起由解码图象数据的修整处理所产生的大的画质恶化,通过该修复处理能够排除由错误引起的画质恶化,而提高解码图象的画质。本发明包括:解码器1,在每个宏块中对输入流进行解码,而生成解码图象数据;传输错误检测器3,检测输入流的传输错误;流错误检测器6,检测输入流的流错误,当传输错误被检测到时,用宏块单位来修整解码图象数据,当流错误被检测到时,用视频分组单位来修整解码图象数据。
-
-
- 日本胜利株式会社
- 公开公告日期:1998-12-09
-
摘要:
本发明编码处理的装置,包括在对隔行扫描图象信号的m(m为大于2的整数)场中将1场变换为扫描线为倍密度的顺次扫描的1帧,而另外的场原样隔行扫描输出的顺次扫描变换装置、对上述顺次扫描帧,通过帧内独立的或从编码后的顺次扫描的帧的单方向的预测进行预测译码的第一译码装置;和对上述顺次扫描帧以外的隔行扫描的场在时间上以其前或后的顺次扫描帧作为参照帧进行预测译码的第二译码装置。
-
-
-
-
-
-
-
- 三洋电机株式会社
- 公开公告日期:2002-04-24
-
摘要:
首部信息获得部(114)从在MPEG视频流中包含的顺序首部中抽出图象的纵向和横向的点尺寸和帧速率等信息。合计处理量估计/重放方式判定部(116)接受在每个显示方式中规定的频道优先顺序和首部信息获得部(114)的输出,来进行合计处理量的估计以及各频道重放方式的判定。MPEG解码器(118)经过首部信息获得部(114)来时分地收取CH1~CH4的编码输入,根据合计处理量估计/重放方式判定部(116)输出的判定信号来进行各频道的图象编码的解码。能够提供一种活动图像解码装置,能够抑制解码器电路规模和存储器使用量,并且高画质地显示多个频道。
-