科研成果 科研成果

 

论文发表:

 1.           Huang, Jiaoru; Qian, Fucai; Xie, Guo, Robust adaptive control for dynamic systems with mixed uncertainties, Journal Of Systems Engineering And Electronics, vol. 27, no. 3, pp:656-663, 2016.(SCI: 000379367300017)

2.         谢国,田冰,刘丁,基于数值迭代的两能级封闭量子系统最优控制,西安理工大学学报,vol. 32, no. 1, pp.7-11, 2016.

3.         Guo Xie, Dan Zhang, Xinhong Hei and Fucai Qian, An Online State and Parameter Estimation of Dynamic State Space Model of High Speed Train, International Journal of Control and Automation, vol. 9, no. 9:51-62, 2016.(EI: 20164102894451)

4.         焦尚彬,杨蓉,张青,谢国,α稳定噪声驱动的非对称双稳随机共振现象(Stochastic resonance of asymmetric bistable system with α stable noise),物理学报,vo. l62, No. 2, 2015 (SCI: 000349455100005)

5.         Guo Xie, Ding Liu and Xinhong Hei, Tianhua Xu, Theory and methodology of object-oriented formal modelling, International Journal of Sensor Networks, vol. 16, no. 4, pp: 252-260, 2014.( SCI: WOS:000348707900007)

6.         Guo Xie, Xinhong Hei, Sei Takahashi and Hideo Nakamura: A strategy to formalize specification and its application to an advanced railway system, International Journal of Software Engineering and Knowledge Engineering, pp 465-492, vol. 24, No. 03, 2014. (EI:20143218019241;SCI:WOS:000341842300006)

7.         杨恒占,钱富才,高韵,谢国,随机系统的概率密度函数形状调节,物理学报,63(24)2014. (SCI: 000347610900013)

Yang Heng-Zhan,Qian Fu-Cai,Gao Yun and Guo Xie. The shape regulation of probability density function for stochastic systems. Acta Phys. Sin., 2014, 63(24): 240508. (SCI: 000347610900013)

8.         Guo Xie, Xinhong Hei, Hiroshi Mochizuki, Sei Takahashi and Hideo Nakamura: Safety and Reliability Estimation of Automatic Train Protection and Block System, in Quality and Reliability Engineering International , Vol. 30, Issue 4, pp. 463–472, 2014 (EI:20142217773678; SCI: WOS:000337294700003).

9.         焦尚彬, 任超, 李鹏华, 张青, 谢国,乘性和加性α稳定噪声环境下的过阻尼单稳随机共振现象,物理学报,Vol. 63, No. 7, 2014. (SCI: 000336090000005; EI:20141417548216)

Jiao Shang-Bin, Ren Chao, Li Peng-Hua, Zhang Qing, Xie GuoStochastic resonance in an overdamped monostable system with multiplicative and additive alpha stable noiseActa Physica Sinica, 63(7), 2014/4 (SCI: 000336090000005)

10.     Guo Xie, Xinhong Hei, Fucai Qian, Hiroshi Mochizuki, Sei Takahashi, Hideo Nakamura: Model Based Specification Validation for Automatic Train Protection and Block System, in International Journal of Digital Content Technology and its Applications, Vol. 7, No. 7, pp. 104- 111, 2013.

11.     謝 国、望月 寛、高橋 聖、中村 英夫ATP閉そくシステムにおける安全・信頼なソフトウェアシステムの開発,日本信頼性学会,Vol. 35, No. 1, pp. 59-70, 2013
Guo Xie, Hiroshi Mochizuki, Sei Takahashi and Hideo Nakamura: Research on Development of a Safe  and Reliable Software System for Automatic Train Protection and Block System, in Journal of Reliability Engineering Association of Japan, Vol. 35, No. 1, pp. 59-70, 2013.

12.     Guo Xie, Xinhong Hei, Hiroshi Mochizuki, Sei Takahashi and Hideo Nakamura, Formal Analysis of Automatic Train Protection and Block System for Regional Line Using VDM++, IJR International Journal of Railway, Vol. 5, No. 2, pp. 65-70, 2012.

 

13.     Fucai Qian, Guo Xie, Ding Liu, Wenfang Xie: Optimal control of LQG problem with an explicit trade-off between mean and variance, in International Journal of Systems Science, Vol. 42, No. 12, pp. 1957-1964, 2011. (EI:20114114411466; SCI:WOS:000295464400004)

会议:

  1. Guo Xie, Dan Zhang, Xinhong Hei and Fucai Qian, A feasible control strategy for LQG control problem with parameter and structure uncertainties, International Conference on Computational Intelligence and Security (CIS2014), pp. 548-552, Nov. Kunmin, 2014. (EI: 20150800546557)

  2. Guo Xie, Yanmin Liang, Fucai Qian, Xinhong Hei, Reliability Methodology and Theory for Development of Novel Railway Signalling Systems, the 33rd Chinese Control Conference (CCC2014), pp.6461 - 6464, Nanjing, July 2014. (EI: 20144300119568)

  3. Zhurong Wang, Yang Liu, Xinhong Hei, Guo Xie, The design and implementation of the metro driving simulation system based on virtual reality, 2013 IEEE International Conf. on Intelligent Rail Transportation (IEEE ICIRT 2013), pp. 90-93, Xi’an, China. (EI: 20140717303271)

  4. Guo Xie, Fucai Qian, Xinhong Hei: A strategy to improve the reliability of object-oriented formal models, International Conference on Computational Intelligence and Security (CIS2013), pp. 688-691, Leshan, December 14-15, 2013. (EI: 20141217490384)

  5. Kai Zhao, Weigang Ma, Guo Xie, Lei Wang, A real-time model of railway interlocking system based on UML extension mechanism, Proceedings of 2013 IEEE 4th International Conference on Software Engineering and Service Science, pp: 19 - 22, 2013. (EI:20135117099658)

  6. Guo Xie, Hiroshi Mochizuki, Sei Takahashi, Hideo Nakamura, Model Based Specification Validation for Automatic Train Protection and Block System, 7th International Conference on Computing and Convergence Technology (ICCCT), pp.: 485- 488, Seoul, South Korea, 2012. (WOS:000324412800095; EI: 20133316602576)

  7. Guo Xie, Xinhong Hei, Hiroshi Mochizuki, Sei Takahashi and Hideo Nakamura: Formalizing and Analyzing the Train-to- Wayside Network System for CBTC, in PRDC2012, pp.15-22, Niigata, Japan, 2012. (WOS:000324478800003, EI: 20133316618514)

  8. Guo Xie, Hiroshi Mochizuki, Sei Takahashi, Hideo Nakamura: Research on the Software System Safety and Reliability for ATPB, in ITC-CSCC, CD-ROM: ISBN 0-9756976-0-9, Sapporo, Japan, 2012.

  9. Fucai Qian, Guo Xie, Ding Liu, Wenfang Xie: Nonlinear optimal trade-off control for LQG problem, in American Control Conference (ACC), pp.1931-1936, USA, 2010.

  10. Guo Xie, Xinhong Hei, Akira Asano, Hiroshi Mochizuki, Sei Takahashi, Hideo Nakamura: Formal Verification of Communication Based Train Control System, in ICQR2MSE2011, pp.394-399, Xi'an, China, 2011. (EI: 20113614309105)

  11. Guo Xie, Akira Asano, Sei Takahashi, Hideo Nakamura: Study on Formal Specification of Automatic Train Protection and Block System for Local Line, in SSIRI, pp. 35-40, South Korea, 2011. (EI: 20113914362188)

  12. 謝国、望月寛、高橋聖、中村英夫:ATP閉そくシステムにおける形式化と分析の検討、ディペンダブルコンピューティング研究会,福井 日本,2012年。

  13. Guo Xie, Hiroshi Mochizuki, Sei Takahashi, Hideo Nakamura: Research on Formalization and Analysis of Automatic Train Protection and Block System, in IEICE Tech. DC2012, Fukui, Japan, 2012.

  14. Xinhong Hei, Lining Chang, Weigang Ma, Guo Xie: Using uml and petri nets for the design and verification of a railway interlocking system, ICIC Express Letters, Vol.5, No.8B, 2011.

  15. Xinhong Hei, Lining Chang, Weigang Ma, Jinli Gao, Guo Xie: Automatic Transformation from UML Statechart to Petri Nets for Safety Analysis and Verification, in ICQR2MSE-2011, pp.948- 951, Xi'an, China 2011.

  16. Xinhong Hei, Lining Chang, Weigang Ma, Guo Xie, A Safety Framework and Alarming Model for Train Operation Environment Based on CPS, in CIS 2011, pp.1418-1421, Qingdao, China 2011.

  17. Xinhong Hei, Weigang Ma, Jinli Gao, Guo Xie: A Concurrent Scheduling Model of Distributed Train Control System, in ICIRT 2011\& IEEE SOLI2011, Beijing, 2011.

  18. Guo Xie, Tomoya Kuroda, Hiroshi Mochizuki, Sei Takahashi, Hideo Nakamura: Validating the Specification of Automatic Train Protection and Block System, in J-RAIL2012, Tokyo, Japan, 2012.

  19. Guo Xie, Sei Takahashi, Hideo Nakamura: Formal Analysis of Automatic Train Protection and Block System for Local Line Using VDM++ and UML, in IEEJ TER-11, No.23, pp. 15-20, Aomori, Japan, 2011.

  20. 謝 国, 望月 寛, 高橋 聖, 中村 英夫: UMLと形式的手法によるATP閉そくシステムの評価, DC-ディペンダブルコンピューティング 111(362), 13-16, 2011.

  21. Guo Xie, Hiroshi Mochizuki, Sei Takahashi and Hideo Nakamura: A Safety Estimation of the ATPB System using UML and Formal Method, in IEICE Tech. Rep., vol. 111, no. 362, DC2011-70, pp. 13-16, Japan, 2011.

  22. Guo Xie, Tomoya Kuroda, Hiroshi Mochizuki, Sei Takahashi, Hideo Nakamura: Model Based Specification Validation for a Novel Railway Signalling System, in IEICE Tech. Rep., Vol. 112, No. 52, SSS2012-4, pp. 17-20, Tokyo, Japan, 2012.

  23. Guo Xie, Tomoya Kuroda, Hiroshi Mochizuki, Sei Takahashi, Hideo Nakamura: Formalising Railway Communication system, in IEEJ annual meeting 2011, No. 4, Osaka, pp: 406, Japan, 2011.

  24. Guo Xie, Tomoya Kuroda, Hiroshi Mochizuki, Sei Takahashi, Hideo Nakamura: Specification of Receiving-Departure for Automatic Train Protection and Block System, in J-RAIL2011, pp.247-248, Tokyo, Japan, 2011.

  25. Guo Xie, Hiroshi Mochizuki, Sei Takahashi and Hideo Nakamura: Formal Analysis and Simulation of ATPB System, in Proceedings of the 24th Autumn Symposium of Reliability Engineering Association of Japan, vol. 24, pp. 49-52, Tokyo, Japan, 2011.

  26. Guo Xie, Hiroshi Mochizuki, Sei Takahashi and Hideo Nakamura: Formalising Real-time and Concurrency Control in ATPB system, in Annual Conference of Electronics, Information and Systems, GS9-4, Toyama, Japan, 2011.

  27. 堅田悠也, 謝国, 中村英夫, 黒田智也: 形式的手法による鉄道保安システムの信頼性向上, 第18回日本鉄道技術連合シンポジウム(J-RAIL2011), pp. 307-308, 2011.12.

  28. Yuya Katada, Guo Xie, Hideo Nakamura, Tomoya Kuroda: Improvement of the reliability of ATP system using formal method, in J-RAIL2011, pp. 307-308, Tokyo, Japan, 2011.

  29. 黒田智也, 謝国, 中村英夫, 高橋聖形式的手法を用いたATP閉塞システムの仕様の信頼性向上, 日本大学理工学部学術講演会, 巻:54th頁:ROMBUNNO.G-20, 2010, ISSN: 1346-9754.

  30. Tomoya Kuroda, Guo Xie, Hideo Nakamura, Sei Takahashi: Reliability improvement of specification of the ATP confinement system using formal method, in the 54th Academic Lectures of CST of Nihon University, Tokyo, Japan, 2010

  31. Hei Xinhong, Chang Linin, Guo Xie, 中村英夫: 中国高速鉄道における保守の課題と対策の検討, 第17回日本鉄道技術連合シンポジウム, pp.137-138, 2010.12.

  32. Xinhong Hei, Lining Chang, Weigang Ma, Guo Xie: Design and Verification of a Railway Interlocking System with UML and Petri Nets, in ISAIIS 2011, pp.47-52, China, 2011.

 

 

Copyright © 2010 西安理工大学网络中心版权所有 地址:陕西省西安金花南路5号教六楼十层西侧 电话:82312022-802