姓名: 胡军性 别: 男行政职务 : 专业技术职务: 副教授办公电话:导师类别: 硕士生导师 最后学历:最后学位:最后毕业学校: 电子邮件: 工作单位: 计算机科学与技术学院 ◇主学科研究方向: 二级学科名称(主): 计算机科学与技术 (招收硕士研究生)学科代码11: 081200 软件工程: 模型驱动的软件分析与验证; 软件可靠性...
胡军.Formal verification for AltaRica3.0 models based on SPIN 胡军.A Model-Based Transformation from SCR Specification Models into Altatica3.0 Design Models 胡军.安全关键系统需求形式化建模分析实例研究 胡军.An ANTLR-based flattening framework for AltaRica 3.0 model 胡军.面向需求的安全关键系统形式化建模...
南京航空航天大学胡军 2 4.1计算机网络的起源 计算机网络的发展过程:从简单到复杂、从单机到多机、由终端与计算机之间的通信、演变到计算机与计算机之间的直接通信。计算机网络的发展经历了四个阶段:联机系统阶段、网络互联阶段、标准化网络阶段、网 络互连与高速网络阶段。2018年8月21日3 南京航空航天...
102873211604677 程桢 计算机科学与技术 胡军 全额奖学金 102873211602067 陈鹤文 计算机科学与技术 周勇 全额奖学金 102873211605344 李文 计算机科学与技术 郑吉平 全额奖学金 102873211602138 赵兴方 计算机科学与技术 袁家斌 全额奖学金 102873211602075 范璧健 计算机科学与技术 曹子宁 全额奖学金 102873211605755 孙茂鑫...
102873211604677 程桢 计算机科学与技术 胡军 全额奖学金 102873211602067 陈鹤文 计算机科学与技术 周勇 全额奖学金 102873211605344 李文 计算机科学与技术 郑吉平 全额奖学金 102873211602138 赵兴方 计算机科学与技术 袁家斌 全额奖学金 102873211602075 范璧健 计算机科学与技术 曹子宁 全额奖学金 102873211605755 孙茂鑫...
1 2531 王心一 135 125 86 电路与系统 非定向 王成华 三等奖 2 253...
九三学社南医大委员会秘书长,南京医科大学教授、博导,南京医科大学第一附属医院骨科主任医师 胡军 在江西方志敏干部学院的四天学习,让我深刻感受到方志敏精神的力量。方志敏同志用他的一生,诠释了什么是坚定的信仰和无私的奉献。他曾说过:“清...
导师姓名:胡军性别:男人气指数:73所属院校:南京航空航天大学所属院系:计算机科学与技术学院职称:副教授导师类型:硕导招生专业:软件工程、计算机科学与技术、网络空间安全通讯方式:办公电话:=86-**电子邮件:hujun@nuaa.edu.cn个人简述:?科研工作:发表学术论文,出版专著情况:[3] ... ...
四院2008年硕士研究生拟录取名单 序号 准考证号 姓名 性别 复试专业 录取导师 奖学...
王鹏飞刘杰黄强郑海洋胡军锋辛秋和赵小峰 张堂海夏志彦夏宏涛刘敏李会娜耿苗夏齐 廖闰原季益斌谢文希刘婷江琳郑晓晓林煜佳 谢海军易振兴郑勇李艳亮邓枫毛君峰孙健彬 吕其明刘建付钟伟王刚 二院(共97人,计67500元): 一等:8×2000=16000元 李秋华杜红军陈毅殷艺云陈秋华谭蕾林安 朱彬 二等:14×1000=14000元 张艳慧杨荣...