-
题名UML时间顺序图的自动验证技术
- 1
-
-
作者
陈江
陈建国
陆慧娟
唐文彬
-
机构
中国计量学院信息工程学院
浙江网新恒天软件技术有限公司
-
出处
《中国计量学院学报》
2010年第2期124-129,共6页
-
基金
浙江省科技厅重大科技专项(No.2007C13091)
-
文摘
UML顺序图反映对象之间的消息交互顺序,在系统建模中应用十分广泛.对顺序图进行时间扩展得到UML时间顺序图,使其具备对实时系统建模的能力.在此基础上研究了UML建模工具和模型验证工具UPPAAL的接口信息,将UML时间顺序图模型转化为时间自动机模型,并对该系统模型进行形式化验证.设计和实现了基于XML的UML时间顺序图自动验证工具.
-
关键词
UML时间顺序图
自动验证
系统建模
-
Keywords
UML time sequence diagram
automatic verification
system modelin
-
分类号
TP302.7
[自动化与计算机技术—计算机系统结构]
-
-
题名特高压与超高压交流输电能力及经济比较研究
被引量：2
- 2
-
-
作者
黄东启
姚文峰
董楠
徐梅梅
赵睿
-
机构
南方电网科学研究院有限责任公司
贵州电网有限责任公司电力科学研究院
-
出处
《电力大数据》
2018年第4期45-52,共8页
-
文摘
自我国交流特高压工程规划和建设以来,国内对特高压交流输电的输电能力、经济性、实施效果等方面存在较大的争议。本文通过建立特高压交流与超高压交流点对网和网对网的输电系统仿真模型,采用理论分析和仿真计算相结合的技术手段,针对不同输电距离和系统强度情况,从热稳极限、暂稳极限角度对比分析了特高压交流与超高压交流输电线路的送电能力,并以送受端同样系统强度下相同输电距离输送同等容量电力为例,对比分析了特高压交流输电与超高压交流输电的经济性,从而研究特高压与超高压交流输电在输电能力和经济性方面的优劣。研究表明,在相同的输电距离情况下,特高压交流的最大输电能力是超高压交流输电的2~4倍;相同输电容量下中短距离输电时,超高压交流输电经济性优于交流特高压输电。
-
关键词
特高压交流输电
超高压交流输电
系统仿真建模
PSD-BPA仿真分析
经济比较
-
Keywords
UHV AC tran smission
EHV AC tran smission
system simulation modelin g
PSD - BPA simulation analysis
economical comparison
-
分类号
TM86
[电气工程—高电压与绝缘技术]
-
