期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
海运物流自动订舱系统的EFSM建模与实现
1
作者
朱学俊
段成华
《计算机应用》
CSCD
北大核心
2003年第1期66-69,共4页
自动订舱系统是一类控制条件复杂的状态变化自动处理系统,精确的系统建模是系统成功的关键。文中首先介绍了海运物流自动订舱系统的特征及相关建模技术,提出了一种扩展有限状态机(EFSM)的建模方法,分析了该建模技术的方法、图素、语义...
自动订舱系统是一类控制条件复杂的状态变化自动处理系统,精确的系统建模是系统成功的关键。文中首先介绍了海运物流自动订舱系统的特征及相关建模技术,提出了一种扩展有限状态机(EFSM)的建模方法,分析了该建模技术的方法、图素、语义以及模型到算法的一种映射关系。最后利用这种形式化建模技术实现了海运物流自动定舱系统,给出的系统建模和实现方法可以运用到各类电子化申请/答复的系统设计中。
展开更多
关键词
海运物流自动订舱系统
EFSM
建模
扩展有限状态机
系统
建模
集装箱运输
在线阅读
下载PDF
职称材料
题名
海运物流自动订舱系统的EFSM建模与实现
1
作者
朱学俊
段成华
机构
中国科技大学研究生院
出处
《计算机应用》
CSCD
北大核心
2003年第1期66-69,共4页
文摘
自动订舱系统是一类控制条件复杂的状态变化自动处理系统,精确的系统建模是系统成功的关键。文中首先介绍了海运物流自动订舱系统的特征及相关建模技术,提出了一种扩展有限状态机(EFSM)的建模方法,分析了该建模技术的方法、图素、语义以及模型到算法的一种映射关系。最后利用这种形式化建模技术实现了海运物流自动定舱系统,给出的系统建模和实现方法可以运用到各类电子化申请/答复的系统设计中。
关键词
海运物流自动订舱系统
EFSM
建模
扩展有限状态机
系统
建模
集装箱运输
Keywords
logistics
Auto-booking
EFSM
system modeling
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
U695.22 [交通运输工程—港口、海岸及近海工程]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
海运物流自动订舱系统的EFSM建模与实现
朱学俊
段成华
《计算机应用》
CSCD
北大核心
2003
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
