MA Zong-min, ZHANG Fu, YAN Li, et al. Representing and reasoning on fuzzy UML models: a description logic approach[J]. Expert Systems with Applications, 2011, 38(3): 2536-2549.
[2]
LEES M, LOGAN B, THEODOROPOULOS G. Distributed simulation of agent-based systems with HLA[J]. ACM Transactions on Modeling and Computer Simulation, 2007, 17(3): 1-25.
[3]
DISTEFANO S, SCARPA M, PULIAFITO A. From UML to Petri nets: the PCM-based methodology[J]. IEEE Transactions on Software Engineering, 2011, 37(1): 65-79.
[4]
王 帅,吉吟东,杨士元.一种基于场景的CTCS-3列车控制系统建模方法研究[J].铁道学报,2011,33(9):55-61. WANG Shuai, JI Yin-dong, YANG Shi-yuan. A kind of modeling method for CTCS-3 based on operation scenario[J]. Journal of the China Railway Society, 2011, 33(9): 55-61.(in Chinese)
[5]
王 悉,唐 涛.基于UML的列控系统车载人机界面设计和实现[J].系统仿真学报,2006,18(2):338-342,361. WANG Xi, TANG Tao. Design and realization of train operation control system onboard MMI based on UML[J]. Journal of System Simulation, 2006, 18(2): 338-342, 361.(in Chinese)
[6]
韩 胤,张 勇.CTCS3级仿真系统中无线闭塞中心的仿真[J].铁路计算机应用,2007,16(3):43-45. HAN Yin, ZHANG Yong. Computer simulation of radio block center in CTCS level 3[J]. Railway Computer Application, 2007, 16(3): 43-45.(in Chinese)
[7]
卢衍丹,唐 涛.面向对象的列车自动驾驶仿真系统建模[J].系统仿真学报,2002,14(1):8-10. LU Yan-dan, TANG Tao. Object-oriented modeling of automatic train operation simulation system[J]. Journal of System Simulation, 2002, 14(1): 8-10.(in Chinese)
[8]
邵维忠,蒋严冰,麻志毅.UML现存的问题和发展道路[J].计算机研究与发展,2003,40(4):509-516. SHAO Wei-zhong, JIANG Yan-bing, MA Zhi-yi. The present problems and roadmap of UML[J]. Journal of Computer Research and Development, 2003, 40(4): 509-516.(in Chinese)
[9]
上官伟,蔡伯根,刘振国,等.基于HLA的列控系统多车仿真策略研究[J].铁道学报,2012,34(8):57-63. SHANGGUAN Wei, CAI Bai-gen, LIU Zhen-guo, et al. Research of HLA-based simulation strategy for multi-train simulation of train control system[J]. Journal of the China Railway Society, 2012, 34(8): 57-63.(in Chinese)
[10]
郭 宁,杨 巍,吴 亮.CTCS2级列车运行控制系统超速防护仿真研究[J].交通运输工程与信息学报,2007,5(4):122-126. GUO Ning, YANG Wei, WU Liang. Simulation of the automatic train protection based on Chinese train control system-2[J]. Journal of Transportation Engineering and Information, 2007, 5(4): 122-126.(in Chinese)
[11]
张宇宏,胡亚海,彭晓源,等.基于HLA的防空导弹武器系统仿真平台研究[J].北京航空航天大学学报,2003,29(1):1-4. ZHANG Yu-hong, HU Ya-hai, PENG Xiao-yuan, et al. Simulation platform based on HLA for air defense missile weapon system[J]. Journal of Beijing University of Aeronautics and Astronautics, 2003, 29(1): 1-4.(in Chinese)
[12]
黄 健,冯润明,黄柯棣.HLA联邦运行管理的分析与设计[J].系统工程与电子技术,2000,22(5):83-86. HUANG Jian, FENG Run-ming, HUANG Ke-di. Analysis and design on the runtime management of HLA federation[J]. Systems Engineering and Electronics, 2000, 22(5): 83-86.(in Chinese)
[13]
宋恒杰,杨 明,王子才.基于高级体系结构的联邦集成测试平台的研究[J].北京邮电大学学报,2005,28(4):32-36. SONG Heng-jie, YANG Ming, WANG Zi-cai. Research on federation integrated test rlatform based on HLA[J]. Journal of Beijing University of Posts and Telecommunications, 2005, 28(4): 32-36.(in Chinese)
[14]
王宏刚,张一军,张 琦,等.基于UML的列车运行调度系统软件模型[J].中国铁道科学,2005,26(5):107-111. WANG Hong-gang, ZHANG Yi-jun, ZHANG Qi, et al. UML based software model of train traffic control system[J]. China Railway Science, 2005, 26(5): 107-111.(in Chinese)
[15]
赵志？,盛秋戬,史忠植.UML活动图描述工作流模型的执行语义[J].计算机研究与发展,2005,42(2):300-307. ZHAO Zhi-kun, SHENG Qiu-jian, SHI Zhong-zhi. An execution semantics of UML activity view for workflow modeling[J]. Journal of Computer Research and Development, 2005, 42(2): 300-307.(in Chinese)
[16]
刘金涛,唐 涛,徐天华,等.基于UML的CTCS -3级列控系统需求规范形式化验证方法[J].中国铁道科学,2011,32(3):93-99. LIU Jin-tao, TANG Tao, XU Tian-hua, et al. Formal verification of CTCS -3 system requirements specification based UML model[J]. China Railway Science, 2011, 32(3): 93-99.(in Chinese)
