期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
过程控制软件标准接口剖析(3)——COM组件开发方法
被引量：
3
1
作者
陆会明
刘禾
+1 位作者
柳亦兵
罗毅
《现代电力》
2002年第2期56-63,共8页
COM应用主要是 Server/Client (客户 /服务器 )模式 ,开发 COM组件既可以使用 MFC,也可以使用 ATL,由于使用基于模板库的 ATL 框架开发 COM组件应用具有独特的优势 ,因此本文以一个简单例子详细介绍了如何利用 ATL创建 COM组件与 COM客...
COM应用主要是 Server/Client (客户 /服务器 )模式 ,开发 COM组件既可以使用 MFC,也可以使用 ATL,由于使用基于模板库的 ATL 框架开发 COM组件应用具有独特的优势 ,因此本文以一个简单例子详细介绍了如何利用 ATL创建 COM组件与 COM客户 ,进一步阐明了 COM服务器组件的二进制兼容性。
展开更多
关键词
组件开发方法
过程控制软件
标准接口
COM
组件
在线阅读
下载PDF
职称材料
信息物理系统中组件的时间行为可组合研究综述
被引量：
2
2
作者
陈博
刘翀
+2 位作者
陈辉
陈香兰
李曦
《小型微型计算机系统》
CSCD
北大核心
2022年第12期2657-2666,共10页
组件的可组合性是组件化软件开发方法中的关键核心问题,尤其在针对具有安全关键属性的信息物理系统(Cyber Physical Systems,CPS)的开发过程中,如何建模、分析及验证系统中组件在时间行为上的可组合性,已成为保证系统正确性、安全性的...
组件的可组合性是组件化软件开发方法中的关键核心问题,尤其在针对具有安全关键属性的信息物理系统(Cyber Physical Systems,CPS)的开发过程中,如何建模、分析及验证系统中组件在时间行为上的可组合性,已成为保证系统正确性、安全性的的关键.本文首先介绍了传统组件化软件开发的基本思想,包括组件定义、组件的组合操作,以及组件可组合性的形式化定义等内容.进一步的,重点阐述在具有安全关键的信息物理系统中组件时间行为建模与分析的主要研究进展,对时间行为可组合的形式化定义进行归纳,讨论几种典型的系统组件模型,并分析了3种可以提升组件时间行为可组合性、可预测性的编程范式.最后,探讨了组件在时间行为可组合问题上存在的挑战,并对未来发展方向做出了展望.
展开更多
关键词
安全攸关系统
信息物理系统
组件
化
开发方法
(CBD)
时间行为
时间可组合
在线阅读
下载PDF
职称材料
题名
过程控制软件标准接口剖析(3)——COM组件开发方法
被引量：
3
1
作者
陆会明
刘禾
柳亦兵
罗毅
机构
华北电力大学(北京)自动化系
出处
《现代电力》
2002年第2期56-63,共8页
文摘
COM应用主要是 Server/Client (客户 /服务器 )模式 ,开发 COM组件既可以使用 MFC,也可以使用 ATL,由于使用基于模板库的 ATL 框架开发 COM组件应用具有独特的优势 ,因此本文以一个简单例子详细介绍了如何利用 ATL创建 COM组件与 COM客户 ,进一步阐明了 COM服务器组件的二进制兼容性。
关键词
组件开发方法
过程控制软件
标准接口
COM
组件
Keywords
COM
COM client
Visual C++
ATL
分类号
TP273 [自动化与计算机技术—检测技术与自动化装置]
TP311.52 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
信息物理系统中组件的时间行为可组合研究综述
被引量：
2
2
作者
陈博
刘翀
陈辉
陈香兰
李曦
机构
中国科学技术大学软件学院
华为信息技术有限公司
中国科学技术大学计算机科学与技术学院
出处
《小型微型计算机系统》
CSCD
北大核心
2022年第12期2657-2666,共10页
基金
国家自然科学基金项目(61772482)资助
苏州市科技计划项目(SYG201731)资助。
文摘
组件的可组合性是组件化软件开发方法中的关键核心问题,尤其在针对具有安全关键属性的信息物理系统(Cyber Physical Systems,CPS)的开发过程中,如何建模、分析及验证系统中组件在时间行为上的可组合性,已成为保证系统正确性、安全性的的关键.本文首先介绍了传统组件化软件开发的基本思想,包括组件定义、组件的组合操作,以及组件可组合性的形式化定义等内容.进一步的,重点阐述在具有安全关键的信息物理系统中组件时间行为建模与分析的主要研究进展,对时间行为可组合的形式化定义进行归纳,讨论几种典型的系统组件模型,并分析了3种可以提升组件时间行为可组合性、可预测性的编程范式.最后,探讨了组件在时间行为可组合问题上存在的挑战,并对未来发展方向做出了展望.
关键词
安全攸关系统
信息物理系统
组件
化
开发方法
(CBD)
时间行为
时间可组合
Keywords
safety-critical systems
cyber physical systems
component-based design
timing behavior
timing composability
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
过程控制软件标准接口剖析(3)——COM组件开发方法
陆会明
刘禾
柳亦兵
罗毅
《现代电力》
2002
3
在线阅读
下载PDF
职称材料
2
信息物理系统中组件的时间行为可组合研究综述
陈博
刘翀
陈辉
陈香兰
李曦
《小型微型计算机系统》
CSCD
北大核心
2022
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
