更多




黄志球，男，博士，教授，博士生导师，国家教育部计算机基础教学(理工类)指导委员会委员，国防科技工业质量专家委员会委员 ，中国计算机学会“系统软件”、“软件工程”专业委员会委员 ，IEEE计算机学会南京分会副主席，CCF南京主席，江苏省计算机学会常务理事，江苏省软件人才基金会理事，《数据采集与处理》常务副主编。主要研究方向为软件工程、形式化方法和数据库技术等。
长期从事软件系统的研究与开发工作，主持完成中航总科技攻关项目“干线飞机试飞软件系统”并获部科技进步二等奖，主持的国家“火炬”项目“活植物圃信息管理系统”获国际植物学大会特别奖，作为技术负责，与Epson Medical Systems合作开发的国际合作项目“日本药局医药保险支持系统EM RECEPTY”日本市场占有率排名第一，另外，还主持或参加了863高技术项目、自然科学基金、航空基金以及各类国防科技型号项目二十余项，在高可信软件系统构造、软件工程与质量保证、软件度量与测试，基于模型的软件开发与验证，工程数据管理等方面具有研究成果和开发经验。获得教育部自然科学奖二等奖1项，省部级科技进步二等奖1项，三等奖2项，省部级教学成果二等奖2项；主编出版著作《数据库应用技术基础》，发表SCI、EI和核心期刊论文80余篇；已培养博士11名，硕士40余名。

暂无内容
[1] 2014.4-至今
 南航 
[2] 2010.11-2014.12
 南航 
[3] 2006.8-2010.11
 南航 
[4] 2005.4-2006.8
 南航 
[5] 2000.9-2005.4
 南航 
[6] 1990.4-2000.9
 南航信息部 

[1]江苏省软件人才基金会理事
[2]江苏省计算机学会常务理事
[3]CCF南京主席
[4]IEEE计算机学会南京分会副主席
[5]中国计算机学会“软件工程”专业委员会委员
[6]中国计算机学会“系统软件”专业委员会委员
[7]国防科技工业质量专家委员会委员
[8]国家教育部计算机基础教学(理工类)指导委员会委员

[1] WEB服务与隐私
[2] 软件安全性分析与验证
[3] 无人驾驶与智能辅助安全系统
[4] 基于模型的软件开发与验证
[5] 软件度量与测试
[6] 软件工程与质量保证
[7] 高可信软件系统构造
[8] 形式化验证


办公室电话 : 2f11133c2fba530ad74dec6a104f3bc0d9891ef8f894a1b34b285c9b38b782b8e24c44b9beba9794fbfdd4e**d9b07a831bc326fe3ac022dfc7c756bdab279a15529b586a702094dbe179d33e3cd54495b98eddde**ce9d333ba80c71d3e7b46fe1f9c743980c**c6684b8d1e6fefa93fc93
邮箱 : 6af04a237c0f3bacfb1778b64fa413f3150a07b26e85cd3390a8d9050e6ca9775e6fb195e101d9d83d87bbafc5696d13d2c3ba2e33c1d**dd73a6f41ff**ba813273bf5a2894f3ae830c3ddf89fc0ac1b9b150a052c4f98b0f74eb5b6af9b5c40b47f5a7a755d920342a4fef84c071ced1f7494e793

暂无内容

访问量：本月访问：今日访问量：最后更新时间：--

个人简介：Personal profile
教育经历Education experience
工作经历Work experience
社会兼职Social Affiliations
研究方向Research Direction
其他联系方式Other contact information
团队成员Team Member

---

更多




中文主页 > 科学研究
论文成果
MORE+
黄志球. TRFIoT: Trust and reputation model for fog-based IoT
黄志球. Static Analysis Method of Secure Privacy Information Flow for Service Composition
黄志球. 状态不可观测的信息物理融合系统运行时验证
黄志球. 一种基于GO图的故障树自动生成方法
黄志球. A topology-aware access control model for collaborative cyber-physical spaces: Specification and verification

科研项目
MORE+
面向军事领域的智能化软件开发技术研究,NMA, 2019/01/01
高安全系统的软件开发与验证技术工业和信息化部重点实 验室,XCA, 2019/01/01
校准装置,01, 2009/06/30
软件适航方法与软件质量评估方法研究,04, 2014/11/12
通信模拟器,02, 2010/05/24


访问量：本月访问：今日访问量：最后更新时间：--

---

更多




中文主页 > 科学研究 > 研究领域






访问量：本月访问：今日访问量：最后更新时间：--

---

更多




中文主页 > 科学研究 > 论文成果
[1]黄志球,黄志球,黄志球等.TRFIoT: Trust and reputation model for fog-based IoT
[2]黄志球,黄志球,黄志球等.Static Analysis Method of Secure Privacy Information Flow for Service Composition
[3]黄志球,黄志球,黄志球等.状态不可观测的信息物理融合系统运行时验证
[4]黄志球,黄志球,黄志球等.一种基于GO图的故障树自动生成方法
[5]黄志球,黄志球,黄志球等.A topology-aware access control model for collaborative cyber-physical spaces: Specification and verification
[6]黄志球,黄志球,黄志球等.Specification and verification of a topology-aware access control model for cyber-physical space
[7]黄志球,黄志球,黄志球等.Heterogeneous graphene oxide membrane for rectified ion transport
[8]黄志球,黄志球,黄志球等.Using information flow analysis to detect implicit information leaks for web service composition
[9]黄志球,黄志球,黄志球等.Preserving privacy information flow security in composite service evolution
[10]黄志球,黄志球,黄志球等.位置约束的访问控制模型及验证方法

共26条1/3 首页上页下页尾页页



访问量：本月访问：今日访问量：最后更新时间：--

---

更多




中文主页 > 科学研究 > 专利

共0条0/0



访问量：本月访问：今日访问量：最后更新时间：--

---

更多




中文主页 > 科学研究 > 著作成果

共0条0/0



访问量：本月访问：今日访问量：最后更新时间：--

---

更多




中文主页 > 科学研究 > 科研项目
[1] 面向军事领域的智能化软件开发技术研究
[2] 高安全系统的软件开发与验证技术工业和信息化部重点实 验室
[3] 校准装置
[4] 软件适航方法与软件质量评估方法研究
[5] 通信模拟器
[6] 软件需求形式化建模技术研究
[7] 综合航电软件配置信息分析与检查方法研究
[8] 环境信号模拟器
[9] 高安全系统的软件开发与验证技术工业和信息化部重点实验室
[10] 面向三航的两化深度融合的关键技术研究

共42条1/5 首页上页下页尾页页



访问量：本月访问：今日访问量：最后更新时间：--

---

更多




中文主页 > 教学研究
授课信息
编译原理Ⅰ /2020-2021 /春学期 /56课时 /0.0学分 /**.01


访问量：本月访问：今日访问量：最后更新时间：--

---

更多




中文主页 > 教学研究 > 教学资源

共0条0/0



访问量：本月访问：今日访问量：最后更新时间：--

---

更多




中文主页 > 教学研究 > 授课信息
本科生课程
课程名称： 学年： 学期： 学时： 学分： 课程号：
编译原理Ⅰ 2020-2021 春学期 56 - **.01

访问量：本月访问：今日访问量：最后更新时间：--

---

更多




中文主页 > 教学研究 > 教学成果

共0条0/0



访问量：本月访问：今日访问量：最后更新时间：--

---

更多




中文主页 > 获奖信息

共0条0/0



访问量：本月访问：今日访问量：最后更新时间：--