交通信息与安全
交通信息與安全
교통신식여안전
JOURNAL OF TRANSPORT INFORMATION AND SAFETY
2009年
3期
16-19
,共4页
孙宝凤%贾洪飞%韩佳辰%高晶鑫
孫寶鳳%賈洪飛%韓佳辰%高晶鑫
손보봉%가홍비%한가신%고정흠
铁路客运枢纽%设施概念建模%形式化描述%本体
鐵路客運樞紐%設施概唸建模%形式化描述%本體
철로객운추뉴%설시개념건모%형식화묘술%본체
按照设计功能不同,将铁路客运枢纽内部设施分为行人步行设施、交通服务设施和辅助服务设施3类.运用本体建模方法,分析了枢纽内部不同类型设施使用与行人行为之间的关系,建立了设施功能与行人行为关系概念模型,并运用Z语言对其进行了形式化描述.该模型揭示了行人在每一设施内的行为特征以及设施与行人的交互关系,为系统设计、实现和验证提供了准确的、一致的文档依据,为下一步软件结构建模莫定了基础.
按照設計功能不同,將鐵路客運樞紐內部設施分為行人步行設施、交通服務設施和輔助服務設施3類.運用本體建模方法,分析瞭樞紐內部不同類型設施使用與行人行為之間的關繫,建立瞭設施功能與行人行為關繫概唸模型,併運用Z語言對其進行瞭形式化描述.該模型揭示瞭行人在每一設施內的行為特徵以及設施與行人的交互關繫,為繫統設計、實現和驗證提供瞭準確的、一緻的文檔依據,為下一步軟件結構建模莫定瞭基礎.
안조설계공능불동,장철로객운추뉴내부설시분위행인보행설시、교통복무설시화보조복무설시3류.운용본체건모방법,분석료추뉴내부불동류형설시사용여행인행위지간적관계,건립료설시공능여행인행위관계개념모형,병운용Z어언대기진행료형식화묘술.해모형게시료행인재매일설시내적행위특정이급설시여행인적교호관계,위계통설계、실현화험증제공료준학적、일치적문당의거,위하일보연건결구건모막정료기출.