胡军研究生导师介绍
姓名胡军 性 别:  行政职务 :
专业技术职务副教授 办公电话+86-25-84896481 导师类别硕士生导师
最后学历博士毕业 最后学位博士 最后毕业学校南京大学
电子邮件hujun@nuaa.edu.cn  
工作单位计算机科学与技术学院    
学科研究方向一:
专业名称计算机科学与技术 (招收硕士研究生)                                                                  学科代码11081200
面向先进系统的智能计算与分析;
基于模型的系统工程;
系统安全性建模与分析
学科研究方向二:
专业名称软件工程 (招收硕士研究生) 学科代码083500
面向先进系统的智能计算与分析;
基于模型的系统工程;
系统安全性建模与分析
学科研究方向三:
专业名称网络空间安全 (招收硕士研究生) 学科代码083900
面向先进系统的智能计算与分析;
基于模型的系统工程;
系统安全性建模与分析
个人简历(学历、学术经历及社会兼职):

 



发表学术论文,出版专著情况:

[3] Hu Jun*, Shi Jiaojie, Cheng Zhen. “A model-transformation framework from SCR to Altarica models for system specification and designs”. In: 35th IEEE/AIAA Digital Avinoics System Conference 2016 (Abstract accepted).
[4] 胡军*,仵志鹏,陈松等,“面向AltaRica模型的嵌入式系统安全性验证方法”. 《计算机科学与探索》,2016年(已录用).
[5] 胡军*,石皎洁,程桢等,“一种基于四变量模型的系统安全性建模与分析方法”.《计算机科学》,2016年(已录用)
[6] Hu Jun*, Cheng Zhen, Shi Jiaojie, Ma Jingjing. “A modelling and test case generation method for UAV flight control software”. In: Journal of Computational Information System. 11:23(2015), 8595-8606.
[7] 胡军*,程桢,石皎洁等.“基于模型转换的IMA可调度性验证方法”,《南京航空航天大学学报》,2015,(3):403-411。
[8] 胡军*,马金晶,刘雪等. “模型驱动的安全关键系统重配置信息验证方法”,《计算机科学与探索》,2015(4):385-402.
[9] 徐丙凤、黄志球、胡军*. “一种状态事件故障树的时间特性分析方法”, 《软件学报》, 2015,26(2):427-446.
[10] 胡军*,袁翔,马金晶,等. “一种基于AADL的IMA系统配置信息的正确性检测方法”《南京航空航天大学学报》, 2014,46(6):920-930.
[11] 黄志球, 徐丙凤,阚双龙,胡军*,陈哲. “嵌入式机载软件安全性分析标准、方法及工具研究综述”.《软件学报》,2014,25(2):200-218.
[12] 曲长亮, 胡军*, 徐丙凤, 黄志球. “一种基于操作表达式模型的关键软件安全性验证方法研究”, 《小型微型计算机系统》,2014. No.7:1578-1584.
[13] 徐丙凤,胡军*,黄志球,魏欧. “一种状态事件故障树的定量分析方法”,《电子学报》, 2013,41(8):1480-1486.
[14] 徐丙凤、黄志球、胡军*. “面向适航认证的模型驱动机载软件构件的安全性验证”,《航空学报》, 2012,No.5, Vol.33 .796-808.
[15] Xu Bingfeng, Huang Zhiqiu, Hu Jun, Wei Ou, Zhou Yu.。 “Minimal Cut Sequence Generation for State Event Fault Trees”, in: Middleware doctoral symposium 2013。 2013:1-6.
[16] 刘万凤,胡军*. “陆空通话标准用语(英语)的语音指令识别技术研究”,《计算机科学》, 2013, 40(7):131-137.
[17] 张剑、胡军*、郭丽娟.“多核处理器架构下面向监控的软件运行时验证方法研究”,《小型微型计算机》,2012,No.1, Vol.33, pp.102-109.
[18] 郭丽娟、胡军*、张剑.“基于即时验证方法的T-CBESD工具扩展设计与实现”,《计算机科学》,2011, No.8,Vol.10, pp.145-151.
[19] 吴黎明、胡军*、徐丙凤. “无人机飞控软件系统建模与测试用例生成”,《计算机科学》,2012, No.7, Vol.39, pp. 112-118.
[20] 郑军、胡军*、黄志球、柯昌博. “综合模块化航电软件系统测试方法研究综述”,《计算机应用与软件》, 2012,No.5, Vol.29, pp. 163-168.
[21] Fangxiong Xiao, Zhiqiu Huang, Zining Cao, Jun Hu*, Min Yuan: Unified Modelling Functional and Non-Functional Aspect of Web Services Composition Using PTCCS. In: Int. Journal of Web Services Res. (JWSR) 8(4):47-80, 2011.
[22] 徐丙凤、胡军*、曹东、黄志球. “T-CBESD:一个构件化嵌入式软件设计模型验证工具”. 《小型微型计算机系统》, 2010 ,Vol.31,No(11),pp. 78-85.
[23] 徐丙凤、胡军*、曹东、黄志球. “构件化嵌入式软件设计模型非功能性质验证的工具实现”. 《计算机科学》, 2010,Vol.37,No.8,pp.156-163.
[24] 胡军*、黄志球、曹东、徐丙凤. “网构软件的资源自适应性的形式化分析与验证”. 《软件学报》, 2008, 19(5): 1186-1200.
[25] 胡军*、于笑丰、张岩、李宣东 、郑国梁. “构件式实时软件系统设计与场景式规约的一致性检验”.《软件学报》, Vol.17, No.1, 2006, pp.0048-0058.
[26] 胡军*、于笑丰、张岩、王林章 等. “检验基于场景规约的构件式设计”.《计算机学报》, Vol.29, No.4, 2006, pp. 1-14.
[27] Jun Hu*, Xuandong Li, Guoliang Zheng, Chenghua Wang. “Modelling and Analysis of Power Consumption for Component-Based Embedded Software”. In: Proceedings of 2005 IFIP International Conference on Embedded and Ubiquitous Computing (EUC-06), pp795-804,LNCS 3824,Springer, 2006, Korean.
[28] Hu Jun*, Yu Xiaofeng, Zhang Yan, Zhang Tian. “Scenario-based Verification for Component-based Embedded Software Designs.” In:Proceeding of 34th International Conference on Parallel Processing Workshops , (ICPP 2005 Workshops), pp 240-247. IEEE CS Press, June 2005, Oslo, Norway.
[29] Hu Jun*, Yu Xiaofeng, Zhang Yan, Zhang Tian . “Scenario-based Verification for Real-time Component-based Embedded Software Designs. ”In: Proceedings of 2005 IFIP International Conference on Embedded and Ubiquitous Computing (EUC-05), pp395-404,LNCS 3824,Springer, Dec.2005.


科研成果获奖及专利:
201610144032.8-一种基于四变量模型的系统安全分析方法;
201610154796.5-一 种基于模型驱动的IMA系统时间资源配置验证方法;
201610159046.7-面向AltaRica模型的系统安全性设计验证 方法

承担的科研项目情况:
(1)2016.11-2019.11(已获批):工信部“十三五”重点项目
(2)2014.1-2019.1:国家重点基础研究发展计划项目(973)
(3)2012.1-2014.12 :国家自然科学基金
(4)2011.10-2015.12:“十二五”国防预研项目
(5)2015.11-2017.11: 工信部民机适航能力建设 专项
(6)2007.10-2009.10:航空基金(自由探索类)
(8)2007.9-2010.9: 教育部博士点基金项目
指导研究生情况:

从2007年开始,每年指导并毕业两到三名硕士研究生,其中多位研究生获得校级奖学金,并毕业后进入华为、中兴、百度以及霍尼韦尔等国内外知名企业公司工作,如:获得校优秀硕士毕业生并获得航天奖学金的徐丙凤(后继续攻读博士学位并于2013年毕业)等。
备注:

homepage: http://hujun.nuaa.edu.cn/Index.html