期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
模拟与混合信号电路的形式化验证
被引量：
1
1
作者
杨世瀚
吴尽昭
+1 位作者
丁广泓
秦董洪
《计算机工程》
CAS
CSCD
北大核心
2016年第8期34-38,45,共6页
针对模拟与混合信号(AMS)电路形式化建模逼真度低和描述不规范的问题,提出一种基于基尔霍夫电流定律节点分析的形式化建模方法。通过扩展计算树逻辑公式,在保留电路更多物理特性的前提下综合描述和验证AMS电路的离散事件和动态行为,保...
针对模拟与混合信号(AMS)电路形式化建模逼真度低和描述不规范的问题,提出一种基于基尔霍夫电流定律节点分析的形式化建模方法。通过扩展计算树逻辑公式,在保留电路更多物理特性的前提下综合描述和验证AMS电路的离散事件和动态行为,保证性质验证的精确性和可信性。以环形振荡器为例,给出该方法的实现过程,并通过Coho工具对振荡器电路进行验证。实验结果表明该方法正确、有效。
展开更多
关键词
形式化验证
模拟与混合信号电路
混杂系统
基尔霍夫电流定律
计算树逻辑
在线阅读
下载PDF
职称材料
基于电流分析的高压直流输电MRTB并联振荡装置故障诊断方法
被引量：
4
2
作者
袁虎强
程建登
+2 位作者
刘文泽
曾金灿
邓焱
《高压电器》
CAS
CSCD
北大核心
2018年第4期81-86,共6页
针对特高压直流输电系统接线方式从单极大地回线转为金属回线时,MRTB并联震荡装置是否出现故障,提出了一种基于电流分析的MRTB并联震荡装置的在线故障诊断方法。该方法首先通过在MRTB过零震荡装置进线侧和出线侧划定计算电流的闭合面,...
针对特高压直流输电系统接线方式从单极大地回线转为金属回线时,MRTB并联震荡装置是否出现故障,提出了一种基于电流分析的MRTB并联震荡装置的在线故障诊断方法。该方法首先通过在MRTB过零震荡装置进线侧和出线侧划定计算电流的闭合面,并在闭合面上运用基尔霍夫电流定律(KCL),设计出一种计算MRTB并联震荡装置回路电流的方法,然后根据计算所得的MRTB并联震荡装置两侧电流特征,对并联谐振装置是否故障与故障类型进行诊断。最后,在±800 kV楚穗特高压直流极Ⅱ大地回线转为金属回线的2个实例中进行验证,验证结果证明文中所提方法的正确性和有效性。
展开更多
关键词
高压直流输电
金属回线转换开关
并联振荡装置
基尔霍夫电流定律
在线阅读
下载PDF
职称材料
题名
模拟与混合信号电路的形式化验证
被引量：
1
1
作者
杨世瀚
吴尽昭
丁广泓
秦董洪
机构
广西混杂计算与集成电路设计分析重点实验室
广西民族大学信息科学与工程学院
出处
《计算机工程》
CAS
CSCD
北大核心
2016年第8期34-38,45,共6页
基金
国家自然科学基金资助项目(11371003
11461006
+2 种基金
61420009)
广西自然科学基金资助项目(2014GXNSFAA118359
2014G XNSFAA118358)
文摘
针对模拟与混合信号(AMS)电路形式化建模逼真度低和描述不规范的问题,提出一种基于基尔霍夫电流定律节点分析的形式化建模方法。通过扩展计算树逻辑公式,在保留电路更多物理特性的前提下综合描述和验证AMS电路的离散事件和动态行为,保证性质验证的精确性和可信性。以环形振荡器为例,给出该方法的实现过程,并通过Coho工具对振荡器电路进行验证。实验结果表明该方法正确、有效。
关键词
形式化验证
模拟与混合信号电路
混杂系统
基尔霍夫电流定律
计算树逻辑
Keywords
formal verification
Analog and Mixed
s
ignal （AM
s
） circuit
hybrid
s
y
s
tem
kirchhoff＇ s current law （kcl）
Computation Tree Logic （CTL）
分类号
TP302.7 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于电流分析的高压直流输电MRTB并联振荡装置故障诊断方法
被引量：
4
2
作者
袁虎强
程建登
刘文泽
曾金灿
邓焱
机构
中国南方电网有限责任公司超高压输电公司昆明局
华南理工大学
出处
《高压电器》
CAS
CSCD
北大核心
2018年第4期81-86,共6页
基金
国家自然科学基金资助项目(51577073)
南网电网有限责任公司科技项目(K-GY2013-089)~~
文摘
针对特高压直流输电系统接线方式从单极大地回线转为金属回线时,MRTB并联震荡装置是否出现故障,提出了一种基于电流分析的MRTB并联震荡装置的在线故障诊断方法。该方法首先通过在MRTB过零震荡装置进线侧和出线侧划定计算电流的闭合面,并在闭合面上运用基尔霍夫电流定律(KCL),设计出一种计算MRTB并联震荡装置回路电流的方法,然后根据计算所得的MRTB并联震荡装置两侧电流特征,对并联谐振装置是否故障与故障类型进行诊断。最后,在±800 kV楚穗特高压直流极Ⅱ大地回线转为金属回线的2个实例中进行验证,验证结果证明文中所提方法的正确性和有效性。
关键词
高压直流输电
金属回线转换开关
并联振荡装置
基尔霍夫电流定律
Keywords
HVDC
MRTB
parallel o
s
cillating device
kirchhoff＇
s
current
law
分类号
TM721.1 [电气工程—电力系统及自动化]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
模拟与混合信号电路的形式化验证
杨世瀚
吴尽昭
丁广泓
秦董洪
《计算机工程》
CAS
CSCD
北大核心
2016
1
在线阅读
下载PDF
职称材料
2
基于电流分析的高压直流输电MRTB并联振荡装置故障诊断方法
袁虎强
程建登
刘文泽
曾金灿
邓焱
《高压电器》
CAS
CSCD
北大核心
2018
4
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
