Home
管理页面
往届毕业生
学生荣誉
 无标题文档
  

温晋杰


个人简介

温晋杰,山西原平人,2013年6月毕业于石家庄铁道大学计算机科学与技术专业,获工学学士学位。2016年6月毕业于石家庄铁道大学计算机技术专业,获工学硕士学位。2020年6月毕业于石家庄铁道大学交通运输专业,获博士学位。主要研究方向:空天运输环境,形式化Z语言。    QQ:474600137    E-mail:474600137@qq.com


联系方式

电子邮箱: 474600137@qq.com


出版著作

赵正旭,温晋杰,赵卫华.Z规范及其使用方法[M].科学出版社,2015年6月,ISBN 978-7-03-044787-6.


发表论文

[1] 赵正旭, 温晋杰, 赵卫华. Z规格说明的推理与验证[J]. 微型电脑应用, ISSN: 1007-757X, CN: 31-1634/TP, 2016,31(1):12-16 .

[2] Wen Jinjie, Guo Yang, Zhao Zhengxu. Representation of Raspberry PI Practice in Z Notation [J]. British Journal of Applied Science & Technology, ISSN: 2231-0843, 2016, vol.15-16, 1-9.

[3] 赵正旭, 温晋杰, 徐骞.一种Z规格说明测试用例的生成策略[J].计算机应用研究, ISSN 1001-3695 , CN 51-1196/TP,2015,32(增刊), 357-360.

[4] 赵正旭, 温晋杰. Z规格说明自动生成器的研究 [J].计算机系统应用, ISSN 1003-3254, CN 11-2854/TP, 2016, 25(4):148-155.

[5] 温晋杰,赵正旭. OpenGL图形规范的Z形式化描述[J].河北省科学院学报, ISSN 1001-9383, CN 13-1081/N, 2014,31(2):41-48.

[6] 温晋杰, 赵正旭, 赵卫华. 军民融合战略下信息系统的可信度净评估研究[J]. 信息系统工程, 2018, 294(06):162-164.

[7] Wen Jinjie, Zhao Zhengxu, Zhao Weihua, etc. Automated Generation and Visualization of Z Specification, 信息技术融合新进展[C], 武汉大学出版社.

[8] Yuejie Shen, Zhengxu Zhao, Jinjie Wen. Scripting in 3D Simulation Engine: From Interactive Programming to A Paradigm Shift in Exploring Visualization, 信息技术融合新进展[C], 武汉大学出版社.

[9] Chengfang Mei, Zhengxu Zhao, Jinjie Wen. A Case Study: Software Testing Scheme for an Information Push Process in Deep Space Operation, 信息技术融合新进展[C], 武汉大学出版社.

[10] 赵正旭, 徐博贤, 温晋杰. 探月工程遥操作系统的移植研究与实现[J]. 计算机时代, 2018, (11): 27-35.

[11] 申跃杰, 赵正旭, 郭阳, 温晋杰. 大型钢结构的快速建模方法[J]. 现代计算机(专业版), 2018, 636(36):82-86+91.

[12] Jinjie Wen, Zhengxu Zhao, Qian Zhong. Study on Net Assessment of Trustworthy Evidence in Teleoperation System for Interplanetary Transportation [J]. Journal of Information Processing Systems. (accepted, 2019-04-22)

[13] Jinjie Wen, Zhengxu Zhao, Yang Guo, and Qian Zhong. Research into Net Assessment of System Lifecycle for Teleoperation of Deep Space Mission [J]. IAENG International Journal of Computer Science. (accepted, 2019-10-15)

[14] Jinjie WEN, Zhengxu ZHAO, and Yang Guo. Design and Implementation of Teleoperation System for Deep Space Mission [J]. Engineering Letters. (accepted, 2019-08-29)

[15] Wen Jinjie, Zhao Zhengxu, Zhao Weihua and Peng Yugui [c] . Automated Generation and Visualization of Z Specification . 2017 International Symposium on Information Technology Convergence (ISITC 2017) . Shi Jiazhuang, China, 2017(Accepted).


项目情况

2013/09,探月工程北京中心可视化操控关键技术研究及软件研制(国家重点项目)


软件著作权

赵正旭, 温晋杰, 赵卫华, 2016, Z规格说明自动生成器软件V1.0, 登记号: 2015R11L498130.


 Home