发表论文
[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).
|