期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
无穷状态系统可覆盖性分析算法
1
作者
张龙
屈婉霞
+1 位作者
郭阳
李思昆
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2018年第6期1145-1151,共7页
针对良序结构迁移系统可覆盖性分析计算成本高的问题,提出一种运用有限状态模型检验技术解决无穷状态系统可覆盖性问题的算法.首先将良序结构迁移系统划分为不同权值限定下的一系列有限状态机模型;然后采用最新的模型检验技术增量式地...
针对良序结构迁移系统可覆盖性分析计算成本高的问题,提出一种运用有限状态模型检验技术解决无穷状态系统可覆盖性问题的算法.首先将良序结构迁移系统划分为不同权值限定下的一系列有限状态机模型;然后采用最新的模型检验技术增量式地计算不同权值下模型的可达状态空间上逼近,得到可覆盖的反例路径或证明该系统不可覆盖.实验结果表明,该算法在同等计算时间限制下能够解决更多的测试样例;在1 GB内存限制下,可以解决97.2%的测试样例,超过同类算法的2倍.
展开更多
关键词
良序结构迁移
系统
无穷状态系统
可覆盖性分析
PETRI网
IC3
在线阅读
下载PDF
职称材料
基于全状态直流模型的交直流系统稳定域相图分析
2
作者
屠竞哲
甘德强
+1 位作者
辛焕海
曹军
《电力系统保护与控制》
EI
CSCD
北大核心
2012年第21期58-66,共9页
交直流系统是一个切换系统,其稳定域非常复杂,相关研究几乎空白。提出包含完整直流运行状态的全状态直流模型,很好地模拟了交直流系统固有的切换特性。计算了单机无穷交直流全状态系统在不同直流运行方式下的相图,分析了单机无穷交直流...
交直流系统是一个切换系统,其稳定域非常复杂,相关研究几乎空白。提出包含完整直流运行状态的全状态直流模型,很好地模拟了交直流系统固有的切换特性。计算了单机无穷交直流全状态系统在不同直流运行方式下的相图,分析了单机无穷交直流全状态系统的稳定域特性以及子系统切换规律,并与单机无穷纯交流系统以及单机无穷交直流简化系统的特性作对应比较。结果表明,完整的直流运行状态以及子系统的切换特性使得单机无穷交直流全状态系统具有非常复杂的稳定域特性,研究成果可以为交直流系统稳定域研究提供一定参考,但仍需进一步的深入分析。
展开更多
关键词
稳定域
切换
系统
相图
全
状态
直流模型
单机
无穷
交直流全
状态
系统
在线阅读
下载PDF
职称材料
题名
无穷状态系统可覆盖性分析算法
1
作者
张龙
屈婉霞
郭阳
李思昆
机构
国防科技大学计算机学院
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2018年第6期1145-1151,共7页
基金
国家自然科学基金重点项目(61133007)
文摘
针对良序结构迁移系统可覆盖性分析计算成本高的问题,提出一种运用有限状态模型检验技术解决无穷状态系统可覆盖性问题的算法.首先将良序结构迁移系统划分为不同权值限定下的一系列有限状态机模型;然后采用最新的模型检验技术增量式地计算不同权值下模型的可达状态空间上逼近,得到可覆盖的反例路径或证明该系统不可覆盖.实验结果表明,该算法在同等计算时间限制下能够解决更多的测试样例;在1 GB内存限制下,可以解决97.2%的测试样例,超过同类算法的2倍.
关键词
良序结构迁移
系统
无穷状态系统
可覆盖性分析
PETRI网
IC3
Keywords
well-structured transition systems
infinite-state systems
coverability analysis
Petri nets
IC3
分类号
TP302 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于全状态直流模型的交直流系统稳定域相图分析
2
作者
屠竞哲
甘德强
辛焕海
曹军
机构
浙江大学电气工程学院
贝尔法斯特女王大学电子电气工程和计算机科学学院
出处
《电力系统保护与控制》
EI
CSCD
北大核心
2012年第21期58-66,共9页
基金
国家重点基础研究发展计划(973计划)资助项目(2004CB217902)
国家自然科学基金重大项目(50595411)~~
文摘
交直流系统是一个切换系统,其稳定域非常复杂,相关研究几乎空白。提出包含完整直流运行状态的全状态直流模型,很好地模拟了交直流系统固有的切换特性。计算了单机无穷交直流全状态系统在不同直流运行方式下的相图,分析了单机无穷交直流全状态系统的稳定域特性以及子系统切换规律,并与单机无穷纯交流系统以及单机无穷交直流简化系统的特性作对应比较。结果表明,完整的直流运行状态以及子系统的切换特性使得单机无穷交直流全状态系统具有非常复杂的稳定域特性,研究成果可以为交直流系统稳定域研究提供一定参考,但仍需进一步的深入分析。
关键词
稳定域
切换
系统
相图
全
状态
直流模型
单机
无穷
交直流全
状态
系统
Keywords
stability region
switched system
phase portrait
full state DC model
SMIB AC/DC full state system
分类号
TM712 [电气工程—电力系统及自动化]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
无穷状态系统可覆盖性分析算法
张龙
屈婉霞
郭阳
李思昆
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2018
0
在线阅读
下载PDF
职称材料
2
基于全状态直流模型的交直流系统稳定域相图分析
屠竞哲
甘德强
辛焕海
曹军
《电力系统保护与控制》
EI
CSCD
北大核心
2012
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
