期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
软件组件组装行为兼容性检查研究
被引量：
1
1
作者
张驰
褚楚
《计算机工程与应用》
CSCD
北大核心
2016年第11期30-33,共4页
在开放环境下,仅包含了语法层信息的组件接口不足以刻画组件交互的行为信息,从而不能对组装后的系统进行兼容性验证。提出了既包含组件接口调用方法又包含内部逻辑行为的组件视图,采用LTS表示组件行为协议,将组件交互过程表示为多个LTS...
在开放环境下,仅包含了语法层信息的组件接口不足以刻画组件交互的行为信息,从而不能对组装后的系统进行兼容性验证。提出了既包含组件接口调用方法又包含内部逻辑行为的组件视图,采用LTS表示组件行为协议,将组件交互过程表示为多个LTS之间的同步变迁;借助LTS操作语义,通过LTS同步积模拟组合系统交互的动态行为,以此为基础,检查同步积中是否出现死锁状态来进行兼容性判定,并设计了判定算法以实现兼容性的自动判定,通过一个典型的电子商务应用检验该方法的有效性。
展开更多
关键词
接口
组件视图
行为兼容性
标签转换系统(LTS)
在线阅读
下载PDF
职称材料
Modelica动态组件建模与仿真
被引量：
2
2
作者
温劲
龚雄
《计算机应用与软件》
CSCD
北大核心
2012年第9期199-202,共4页
Modelica模型中,组件视图表达了模型的内部组成及组件之间的关系,是Modelica模型不可或缺的重要部分。介绍组件视图的内容与Modelica表达,并提出一种在组件视图进行动态仿真的方法,通过水箱的建模与仿真过程,直观地演示模型中状态变量...
Modelica模型中,组件视图表达了模型的内部组成及组件之间的关系,是Modelica模型不可或缺的重要部分。介绍组件视图的内容与Modelica表达,并提出一种在组件视图进行动态仿真的方法,通过水箱的建模与仿真过程,直观地演示模型中状态变量在仿真过程中的动态变化,并在MWorks平台中实现动态组件库中定义的图形动态属性annotation字段和常用动态组件,展示准确的组件视图动态仿真效果。
展开更多
关键词
多领域建模
组件视图
动画
在线阅读
下载PDF
职称材料
基于Qt组件的仿真智能车辆二维地图系统的设计与实现
被引量：
2
3
作者
陈蕾
吴春明
《计算机应用与软件》
CSCD
北大核心
2004年第12期113-115,共3页
本文介绍了自主式智能车辆仿真测试系统中的二维地图系统的基本设计思想与实现方法。在基于Qt组件的Linux环境下 ,本系统共设计了与地图相关的三类组件 :地图组件、地图视图组件和地图符号组件 ,通过Qt提供的signals和slots机制实现组...
本文介绍了自主式智能车辆仿真测试系统中的二维地图系统的基本设计思想与实现方法。在基于Qt组件的Linux环境下 ,本系统共设计了与地图相关的三类组件 :地图组件、地图视图组件和地图符号组件 ,通过Qt提供的signals和slots机制实现组件间的通信。同时对基于对象的地图存储方式进行了介绍。
展开更多
关键词
自主式智能车辆
Qt
组件
二维地图系统
设计
仿真测试系统
地图
视图
组件
黑板调度系统
在线阅读
下载PDF
职称材料
题名
软件组件组装行为兼容性检查研究
被引量：
1
1
作者
张驰
褚楚
机构
江西财经大学软件与通信工程学院
出处
《计算机工程与应用》
CSCD
北大核心
2016年第11期30-33,共4页
基金
国家自然科学基金(No.61262012)
江西省自然科学基金(No.2008GZS0017)
文摘
在开放环境下,仅包含了语法层信息的组件接口不足以刻画组件交互的行为信息,从而不能对组装后的系统进行兼容性验证。提出了既包含组件接口调用方法又包含内部逻辑行为的组件视图,采用LTS表示组件行为协议,将组件交互过程表示为多个LTS之间的同步变迁;借助LTS操作语义,通过LTS同步积模拟组合系统交互的动态行为,以此为基础,检查同步积中是否出现死锁状态来进行兼容性判定,并设计了判定算法以实现兼容性的自动判定,通过一个典型的电子商务应用检验该方法的有效性。
关键词
接口
组件视图
行为兼容性
标签转换系统(LTS)
Keywords
interface
component view
behavioral compatibility
Labeled Transition System（LTS）
分类号
TP311.1 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
Modelica动态组件建模与仿真
被引量：
2
2
作者
温劲
龚雄
机构
苏州同元软控信息技术有限公司
出处
《计算机应用与软件》
CSCD
北大核心
2012年第9期199-202,共4页
文摘
Modelica模型中,组件视图表达了模型的内部组成及组件之间的关系,是Modelica模型不可或缺的重要部分。介绍组件视图的内容与Modelica表达,并提出一种在组件视图进行动态仿真的方法,通过水箱的建模与仿真过程,直观地演示模型中状态变量在仿真过程中的动态变化,并在MWorks平台中实现动态组件库中定义的图形动态属性annotation字段和常用动态组件,展示准确的组件视图动态仿真效果。
关键词
多领域建模
组件视图
动画
Keywords
Multi-domain modelling ,Component view, Animation
分类号
TP391.52 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
基于Qt组件的仿真智能车辆二维地图系统的设计与实现
被引量：
2
3
作者
陈蕾
吴春明
机构
浙江大学计算机科学学院
出处
《计算机应用与软件》
CSCD
北大核心
2004年第12期113-115,共3页
文摘
本文介绍了自主式智能车辆仿真测试系统中的二维地图系统的基本设计思想与实现方法。在基于Qt组件的Linux环境下 ,本系统共设计了与地图相关的三类组件 :地图组件、地图视图组件和地图符号组件 ,通过Qt提供的signals和slots机制实现组件间的通信。同时对基于对象的地图存储方式进行了介绍。
关键词
自主式智能车辆
Qt
组件
二维地图系统
设计
仿真测试系统
地图
视图
组件
黑板调度系统
Keywords
Map Autonomous intelligent vehicle Component programming Qt Signal Slot
分类号
U492.22 [交通运输工程—交通运输规划与管理]
TP391.9 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
软件组件组装行为兼容性检查研究
张驰
褚楚
《计算机工程与应用》
CSCD
北大核心
2016
1
在线阅读
下载PDF
职称材料
2
Modelica动态组件建模与仿真
温劲
龚雄
《计算机应用与软件》
CSCD
北大核心
2012
2
在线阅读
下载PDF
职称材料
3
基于Qt组件的仿真智能车辆二维地图系统的设计与实现
陈蕾
吴春明
《计算机应用与软件》
CSCD
北大核心
2004
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
