發表論文
[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).
|