發(fā)表論文
[1] 趙正旭, 溫晉杰, 趙衛(wèi)華. Z規(guī)格說明的推理與驗(yàn)證[J]. 微型電腦應(yīng)用, 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規(guī)格說明測試用例的生成策略[J].計(jì)算機(jī)應(yīng)用研究, ISSN 1001-3695 , CN 51-1196/TP,2015,32(增刊), 357-360.
[4] 趙正旭, 溫晉杰. Z規(guī)格說明自動生成器的研究 [J].計(jì)算機(jī)系統(tǒng)應(yīng)用, ISSN 1003-3254, CN 11-2854/TP, 2016, 25(4):148-155.
[5] 溫晉杰，趙正旭. OpenGL圖形規(guī)范的Z形式化描述[J].河北省科學(xué)院學(xué)報(bào), ISSN 1001-9383, CN 13-1081/N, 2014,31（2）:41-48.
[6] 溫晉杰, 趙正旭, 趙衛(wèi)華. 軍民融合戰(zhàn)略下信息系統(tǒng)的可信度凈評估研究[J]. 信息系統(tǒng)工程, 2018, 294(06):162-164.
[7] Wen Jinjie, Zhao Zhengxu, Zhao Weihua, etc. Automated Generation and Visualization of Z Specification, 信息技術(shù)融合新進(jìn)展[C], 武漢大學(xué)出版社.
[8] Yuejie Shen, Zhengxu Zhao, Jinjie Wen. Scripting in 3D Simulation Engine: From Interactive Programming to A Paradigm Shift in Exploring Visualization, 信息技術(shù)融合新進(jìn)展[C], 武漢大學(xué)出版社.
[9] Chengfang Mei, Zhengxu Zhao, Jinjie Wen. A Case Study: Software Testing Scheme for an Information Push Process in Deep Space Operation, 信息技術(shù)融合新進(jìn)展[C], 武漢大學(xué)出版社.
[10] 趙正旭, 徐博賢, 溫晉杰. 探月工程遙操作系統(tǒng)的移植研究與實(shí)現(xiàn)[J]. 計(jì)算機(jī)時(shí)代, 2018, (11): 27-35.
[11] 申躍杰, 趙正旭, 郭陽, 溫晉杰. 大型鋼結(jié)構(gòu)的快速建模方法[J]. 現(xiàn)代計(jì)算機(jī)(專業(yè)版), 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).
|