海运物流自动订舱系统的EFSM建模与实现

朱学俊; 段成华

首页> 中文期刊> 《计算机应用》 >海运物流自动订舱系统的EFSM建模与实现

海运物流自动订舱系统的EFSM建模与实现

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

自动订舱系统是一类控制条件复杂的状态变化自动处理系统,精确的系统建模是系统成功的关键.文中首先介绍了海运物流自动订舱系统的特征及相关建模技术,提出了一种扩展有限状态机( EFSM )的建模方法,分析了该建模技术的方法、图素、语义以及模型到算法的一种映射关系.最后利用这种形式化建模技术实现了海运物流自动定舱系统,给出的系统建模和实现方法可以运用到各类电子化申请/答复的系统设计中.

著录项

来源
《计算机应用》 |2003年第1期|66-69|共4页
作者
朱学俊; 段成华;
展开▼
作者单位

中国科技大学;

研究生院;

北京;

100039;

中国科技大学;

研究生院;

北京;

100039;

展开▼
原文格式 PDF
正文语种 chi
中图分类软件工程;
关键词
物流; 自动订舱; 扩展有限状态机; 系统建模;

相似文献

中文文献
外文文献
专利

1. 基于视觉定位的服务机器人回舱系统设计和建模实现 [J] . 孙尧 ,李汉挺 . 电子技术与软件工程 . 2014,第020期
2. 干散货自动清舱监控系统的信息平台设计与实现 [J] . 徐青 . 上海船舶运输科学研究所学报 . 2013,第002期
3. 基于自动建模的室内实景三维展示系统设计与实现 [J] . 魏曦 ,孙艳芝 . 科技视界 . 2019,第012期
4. 发电厂继电保护整定系统自动建模技术的研究与实现 [J] . 李青青 . 电子技术与软件工程 . 2016,第008期
5. 三维适形放疗计划系统中照射射束自动建模方法的研究和实现 [J] . 李佳 ,祝庆军 ,刘松林 . 中国科学技术大学学报 . 2015,第009期
6. 基于EFSM模型的舰船装备软件任务分析与建模方法 [C] . 黄贝贝 ,何伟 ,韩新宇 . 第二十六届测试与故障诊断技术研讨会 . 2017
7. 形式化技术在物流信息系统建模中的应用研究—EFSM建模与实现 [A] . 朱学俊 . 2002

海运物流自动订舱系统的EFSM建模与实现

摘要

著录项

相似文献

相关主题

期刊订阅