[1] 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)