期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
轨道交通联锁领域特定语言的形式化
被引量：
6
1
作者
赵梦瑶
陈小红
+3 位作者
孙海英
刘静
陈良育
周庭梁
《软件学报》
EI
CSCD
北大核心
2020年第6期1638-1653,共16页
作为轨道交通系统的核心子系统之一,对联锁系统进行形式化建模与分析,是保证其安全性的重要手段.形式化建模需要领域知识和形式化知识的结合,由于形式化知识难以掌握,领域专家在建模整个过程中都需要形式化专家的帮助.为了解决这个问题...
作为轨道交通系统的核心子系统之一,对联锁系统进行形式化建模与分析,是保证其安全性的重要手段.形式化建模需要领域知识和形式化知识的结合,由于形式化知识难以掌握,领域专家在建模整个过程中都需要形式化专家的帮助.为了解决这个问题,针对联锁系统的故障随机性、行为实时性、构件可重用的特点,提出设计联锁领域特定语言IS-DSL描述具体的联锁系统的参数,并基于随机混成自动机模板自动生成联锁系统的形式化模型,以进一步在此基础上进行安全分析.首先对联锁系统模型进行分析,根据不同案例设计其领域特定语言;其次,确定联锁系统的系统模型模板,包括环境构件模板和控制器模板,并举例抽取其随机混成自动机模板;在模板基础上定义系统模型生成过程,让领域专家可以通过领域特定语言,输入参数自动生成具体的随机混成自动机系统模型;最后以某站联锁系统为例,展示了基于模板的具体系统模型的生成过程,并通过基于系统模型的事故预测分析,证明了该方法的可行性与有效性.
展开更多
关键词
联锁系统
模板重用
形式化建模
随机混成自动机
领域特定语言
下载PDF
职称材料
基于模板复用的智能变电站系统配置描述文件自动配置方案
被引量：
4
2
作者
朱长银
吕航
丁杰
《电气技术》
2022年第3期77-81,共5页
目前,在智能变电站工程实施中,未充分发挥二次设备模型及回路数字化优势,未重用已有智能变电站工程配置成果,导致智能变电站集成标准化水平偏低,集成效率及质量较差。本文提出一种基于模板复用的智能变电站系统配置描述(SCD)文件自动配...
目前,在智能变电站工程实施中,未充分发挥二次设备模型及回路数字化优势,未重用已有智能变电站工程配置成果,导致智能变电站集成标准化水平偏低,集成效率及质量较差。本文提出一种基于模板复用的智能变电站系统配置描述(SCD)文件自动配置方案,首先建立典型变电站SCD文件模板库,然后根据实际工程情况选取SCD文件模板并导入实际工程的各二次设备模型,再基于标准化虚端子名称更新虚端子连线关系即完成SCD配置。本文分析智能变电站集成的主要配置工作,针对性地提出一种基于模板复用的SCD文件自动配置方案,并结合工程示例说明具体实施过程,该自动配置方案的应用可显著提升智能变电站集成效率及质量。
展开更多
关键词
智能变电站
SCD文件
模板复用
自动配置
下载PDF
职称材料
巨型盖梁装配式建造技术研究
被引量：
1
3
作者
邵志元
《建筑结构》
北大核心
2023年第S02期1836-1840,共5页
针对施工中遇到的在市政繁忙地段多样型巨型盖梁施工难题,采用盖梁薄壳化+工厂分段预制+现场拼装+芯部浇筑+横向张拉的技术方案,成功解决了这一难题。实施中采用模板复用,矢量调整、剪力键设置和短孔预应力固定短管工装等改进措施取得...
针对施工中遇到的在市政繁忙地段多样型巨型盖梁施工难题,采用盖梁薄壳化+工厂分段预制+现场拼装+芯部浇筑+横向张拉的技术方案,成功解决了这一难题。实施中采用模板复用,矢量调整、剪力键设置和短孔预应力固定短管工装等改进措施取得了很好的应用效果,具有一定的经济、社会效益和推广价值。
展开更多
关键词
巨型盖梁
薄壳化
分段预制
芯部浇筑
模板复用
下载PDF
职称材料
题名
轨道交通联锁领域特定语言的形式化
被引量：
6
1
作者
赵梦瑶
陈小红
孙海英
刘静
陈良育
周庭梁
机构
上海市高可信计算重点实验室(华东师范大学)
卡斯柯信号有限公司
出处
《软件学报》
EI
CSCD
北大核心
2020年第6期1638-1653,共16页
基金
国家重点研发计划(2018YFB2101300)
国家自然科学基金(61332008,91418203,61672230,61572195,11471209,61802251)
上海市经济和信息化委员会专项资金(160306)。
文摘
作为轨道交通系统的核心子系统之一,对联锁系统进行形式化建模与分析,是保证其安全性的重要手段.形式化建模需要领域知识和形式化知识的结合,由于形式化知识难以掌握,领域专家在建模整个过程中都需要形式化专家的帮助.为了解决这个问题,针对联锁系统的故障随机性、行为实时性、构件可重用的特点,提出设计联锁领域特定语言IS-DSL描述具体的联锁系统的参数,并基于随机混成自动机模板自动生成联锁系统的形式化模型,以进一步在此基础上进行安全分析.首先对联锁系统模型进行分析,根据不同案例设计其领域特定语言;其次,确定联锁系统的系统模型模板,包括环境构件模板和控制器模板,并举例抽取其随机混成自动机模板;在模板基础上定义系统模型生成过程,让领域专家可以通过领域特定语言,输入参数自动生成具体的随机混成自动机系统模型;最后以某站联锁系统为例,展示了基于模板的具体系统模型的生成过程,并通过基于系统模型的事故预测分析,证明了该方法的可行性与有效性.
关键词
联锁系统
模板重用
形式化建模
随机混成自动机
领域特定语言
Keywords
interlocking
system
template
reuse
formal
modeling
stochastic
hybrid
automata(SHA)
domain
specific
language
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于模板复用的智能变电站系统配置描述文件自动配置方案
被引量：
4
2
作者
朱长银
吕航
丁杰
机构
南京南瑞继保电气有限公司
智能电网保护和运行控制企业国家重点实验室
出处
《电气技术》
2022年第3期77-81,共5页
文摘
目前,在智能变电站工程实施中,未充分发挥二次设备模型及回路数字化优势,未重用已有智能变电站工程配置成果,导致智能变电站集成标准化水平偏低,集成效率及质量较差。本文提出一种基于模板复用的智能变电站系统配置描述(SCD)文件自动配置方案,首先建立典型变电站SCD文件模板库,然后根据实际工程情况选取SCD文件模板并导入实际工程的各二次设备模型,再基于标准化虚端子名称更新虚端子连线关系即完成SCD配置。本文分析智能变电站集成的主要配置工作,针对性地提出一种基于模板复用的SCD文件自动配置方案,并结合工程示例说明具体实施过程,该自动配置方案的应用可显著提升智能变电站集成效率及质量。
关键词
智能变电站
SCD文件
模板复用
自动配置
Keywords
smart
substation
substation
configuration
description(SCD)files
template
reuse
automatic
configuration
分类号
TM63 [电气工程—电力系统及自动化]
下载PDF
职称材料
题名
巨型盖梁装配式建造技术研究
被引量：
1
3
作者
邵志元
机构
中铁十二局集团第四工程有限公司
出处
《建筑结构》
北大核心
2023年第S02期1836-1840,共5页
基金
湖北省交通运输厅科技项目(2016-600-2-3)。
文摘
针对施工中遇到的在市政繁忙地段多样型巨型盖梁施工难题,采用盖梁薄壳化+工厂分段预制+现场拼装+芯部浇筑+横向张拉的技术方案,成功解决了这一难题。实施中采用模板复用,矢量调整、剪力键设置和短孔预应力固定短管工装等改进措施取得了很好的应用效果,具有一定的经济、社会效益和推广价值。
关键词
巨型盖梁
薄壳化
分段预制
芯部浇筑
模板复用
Keywords
giant
pier
cap
shell
beam
sectional
precast
core
pouring
concrete
template
reuse
分类号
TU3338 [建筑科学—结构工程]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
轨道交通联锁领域特定语言的形式化
赵梦瑶
陈小红
孙海英
刘静
陈良育
周庭梁
《软件学报》
EI
CSCD
北大核心
2020
6
下载PDF
职称材料
2
基于模板复用的智能变电站系统配置描述文件自动配置方案
朱长银
吕航
丁杰
《电气技术》
2022
4
下载PDF
职称材料
3
巨型盖梁装配式建造技术研究
邵志元
《建筑结构》
北大核心
2023
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
