基本信息科学研究教育教学招生招聘论文专著
基本信息


黄荷姣，女，汉族，1974年生。教授，博士生导师，深圳市高层次人才（地方级）；哈尔滨工业大学深圳研究生院计算机学院全职教师。

先后主持承担国家自然科学基金（青年基金）项目1项、面上项目1项、深港创新圈重点项目1项、中国博士后基金1项、深圳市科技计划项目多项；重点参与国家863重点项目1项、国家重大科技专项1项、深圳市科技计划、产业专项，重点实验室等重大项目多项。

工作经历
时间工作经历
1999.3--2001.2香港城市大学助理研究员
2004.12-2006.12哈尔滨工业大学博士后
2006.12至今哈尔滨工业大学深圳研究生院教师



教育经历
1992. 9- 1999.7, 就读于陕西师范大学数学系, 学士、硕士2001.2-2004.6, 香港城市大学计算机系，博士


主要任职
IEEE、ACM 会员

中国计算机学会会员、Petri网专委会委员
WSN, COCOA, SAPSE,SMC,ICMLC 等国际会议PC委员
IEEE TSE, IEEE TPDS, IEEE TKDE, IEEE TDSC,TCS,《中国科学》等国内外知名期刊审稿人

荣誉称号


奖励名称

时间

排名
市科研创新奖

2008

第三
院精品课程

2006

第一
院精品课程

2007

第一
院优秀教学奖

2008

第一
校三八红旗手

2008

第一
教学观摩一等奖

2010

第一
教学观摩二等奖

2011

第一


科研项目

项目名称多域交互环境下RBAC安全策略形式化设计

项目来源国家自然科学基金面上项目

开始时间2011-01-01

结束时间2013-12-01

项目经费32万

担任角色负责
项目类别横向项目
项目状态完成


项目名称大规模车间调度系统设计、优化与应用

项目来源国家自然科学基金项目（青年基金）

开始时间2008-01-01

结束时间2010-12-01

项目经费18

担任角色负责
项目类别纵向项目
项目状态完成


项目名称基于Mesh 网和无线传感器网络的实时事件监测系统研究

项目来源深圳市深港创新圈重点项目

开始时间2011-09-01

结束时间2012-12-01

项目经费60

担任角色负责
项目类别横向项目
项目状态完成


项目名称基于构件Petri网过程代数（应用于智能信息检索系统设计）

项目来源中国博士后基金项目

开始时间2005-01-01

结束时间2006-12-01

项目经费3

担任角色负责
项目类别纵向项目
项目状态完成


项目名称无线网络安全协议设计与形式化验证

项目来源深圳市基础研究项目

开始时间2012-11-01

结束时间2014-09-01

项目经费10

担任角色负责
项目类别横向项目
项目状态完成


项目名称大规模协作平台关键技术

项目来源华为技术有限公司

开始时间2012-11-01

结束时间2013-11-01

项目经费58

担任角色负责
项目类别横向项目
项目状态进行中


项目名称基于NLP的智能搜索引擎

项目来源 国家863重点项目

开始时间2006-12-01

结束时间2008-12-01

项目经费292

担任角色参与
项目类别横向项目
项目状态完成


项目名称移动互联网应用安全产业公共服务平台

项目来源深圳市新一代信息技术产业专项

开始时间2012-05-01

结束时间2014-04-01

项目经费400

担任角色参与
项目类别横向项目
项目状态完成


项目名称网络信息处理公共平台2010.1--2012.12. 排名第5.

项目来源深圳市科技计划项目

开始时间2010-01-01

结束时间2012-12-01

项目经费300

担任角色参与
项目类别横向项目
项目状态完成


研究领域
1、无线网络

Mesh 网，传感器网，自组网，下一代网络等


2、可信计算

软件形式化方法，安全策略设计，安全协议验证等


3、云计算

云资源管理，存储安全与隐私保护，虚拟能效计算等


4、智慧供应链

智能库存，动态配货，多目标路径规划等


5、Petri网理论，组合优化

团队成员
全职教师

堵宏伟: 副教授, 研究方向: 无线多跳网络 (无线 ad-hoc, 传感器网络和mesh网络等), 移动计算和近似算法分析与设计.
个人主页：http://cs.hitsz.edu.cn/teachers/t1/**.html

兼职教授

贾小华：http://www.cs.cityu.edu.hk/~jia/

万鹏俊：http://www.cs.iit.edu/~wan/

堵丁柱：http://www.utdallas.edu/~dxd056000/

学生



2012 级：
顾崇林（博士） 宋亮（博士）芦浩 史鹏宙 谷浩 彭屾屾 王会会 石帅 程楹楹 陈理仕 罗海铭 张婧
2011 级：
刘春颜（博士） 胡志恒 刘星明 王长城 蔚清琴 周成宇 杨鹏
吕静 包宁
2010 级：
戴佳 原晋谦 方伯军 吴少梅 杨玲 黄伟 蒲承燕
2009 级：
何体喜 周强 商峰 徐毛喆 吴倩倩 刘金玲 刘春颜
2008 级：
黄跃龙 赵国利 季念星 白起琛 姜华 梁栋
2007 级：
卢太萍 刘松云 付博 刘旭东 何道敬 闫研 齐大伟
2006 级：
周维生 李婧 李洪磊 彭云 Farooq Ahmad(留学生)


教学项目


《组合数学》教学方法研究，校级课程建设项目

讲授课程
1. 组合数学

硕士课程，双语教学，36学时，2学分。

课程主要内容：

Introduction (2 hours)Pigeonhole Principle (2hour)Permutations and combinations (2 hours)Generating Permutations and Combinations (2hours)The Inclusion-Exclusion Principle and Applications (4 hours)Recurrence Relations and Generating functions (4 hours)Special Counting Sequences (2 hours)Matchings in bipartite graphs(6 hours)Combinatorial designs(6 hours)Polya counting (6 hours) 2. 网络流规划

博士生课程，全英文教学，36学时，2学生。

课程主要内容：

Network flow theoryAlgorithm complexity analysisgraph search algorithms (includes breadth first search, depth first search, topological sorting)flow decomposition and transformation algorithmsshortest path algorithms (Dijkstra’s Algorithm and its application, The Label Correcting Algorithm)max flow problemsmin global cut problemsmin cost flow problemsminimum cost spanning tree problemsmulti commodity flows3. 计算机应用数学

工程硕士课程，双语教学，36学时，2学分。

招聘信息
博士后招聘2名

欢迎专业方向相近的博士加入研究团队从事博士后研究工作。待遇参照深圳市相关政策和研究生院相关规定：http://www.hitsz.edu.cn/site/main/body/part5/p5-2.php

招生信息
硕士招生:
每年将招收 6-10 名硕士研究生，

优先录取条件：推免生；学习成绩优秀；计算机、数学专业；有项目经验等


博士招生:
每年招收2名博士研究生

优先录取条件：硕士期间有成果发表，计算机、数学专业，本科、硕士期间学习成绩优秀等

出版物

出版物名称Property-preserving Petri Net Process Algebra in Software Engineering

作者Hejiao Huang, Li Jiao, To-yat Cheung，and Wai Ming Mak

出版时间,完成时间2012-03-01

出版社World Scientific Publishing

简单介绍In a component-based approach for system design, one of the difficult problems is how to prove the correctness of the created components. Usually, the constituent components are supposed to be correct, i.e., possessing the desirable properties and being free from undesirable ones. However, the operators may destroy these properties or create new ones, resulting in an undesirable new component. Hence, every created component has to go through a new process of verification. This indeed involves a tremendous amount of effort! This book presents a component-based methodology for the creation and verification of design specifications. The methodology is formally presented as an algebra called Property-Preserving Petri Net Process Algebra (PPPA). Briefly, PPPA includes five classes of operators. The authors show that every operator of PPPA can preserve a large number of basic system properties. Hence, if the initial set of primitive components satisfies some of these properties, the created components will also “automatically” satisfy them without the need of further verification. This greatly saves the efforts spent in verification.


出版物名称“Job Shop Scheduling with Petri nets”, Handbook of Combinatorics Optimization

作者Hejiao Huang, Hongwei (David) Du, Farooq Ahmad

出版时间,完成时间2012-03-01

出版社Springer



论文期刊

论文标题Formal Specification and Verification of Modular Security Policy based on Colored Petri Nets

作者Hejiao Huang, Helene Kirchner

期刊名称IEEE Transactions on Dependable and Secure Computing

期卷8(6)



论文标题Secure Interoperation Design in Multi-domain Environments based on Colored Petri Nets

作者Hejiao Huang, Helene Kirchner

期刊名称 Information Sciences

期卷221



论文标题Analysis of the Petri net model of parallel manufacturing processes with shared resources

作者Farooq Ahmad, Hejiao Huang, and Xiaolong Wang

期刊名称Inform. Sci.

期卷vol.181(23



论文标题Solving a Multi-objective Flexible Job Shop Scheduling Problem with Timed Petri Nets and Genetic Algorithm

作者Hejiao Huang, Taiping Lu

期刊名称Discrete Mathematics, Algorithms, and Applications

期卷Volume: 2



论文标题Analysis of Parallel Manufacturing Processes with Resource Sharing

作者Farooq Ahmad, Hejiao Huang, and Xiaolong Wang

期刊名称International Journal of Computer Theory and Engineering

期卷vol. 2



论文标题Petri net modeling and deadlock analysis of parallel manufacturing processes with shared resources

作者Farooq Ahmad, Hejiao Huang, and Xiaolong Wang

期刊名称Journal of Software and Systems

期卷vol. 83(4)



论文标题A Support Vector Machine Based MSM Model for Financial Short-Term Volatility Forecasting Neural Computing and Applications

作者Baohua Wang, Hejiao Huang, Xiaolong Wang

期刊名称Neural Computing & Applications

期卷14 October



论文标题A Novel Text Mining Approach to Financial Time Series Forecasting. Neurocomputing

作者Baohua Wang, Hejiang Huang, Xiaolong Wang

期刊名称Neurocomputing

期卷vol 83



论文标题ARSSearch: a Semantic Search Engine for the Annual Reports

作者Baohua Wang, Hejiang Huang, Xiaolong Wang

期刊名称Journal of Computational Information Systems

期卷2009,6(5)



论文标题An Ontology-Based NLP Approach to Semantic Annotation of Annual Report

作者Baohua Wang, Hejiao Huang, Xiaolong Wang, Wensheng Chen

期刊名称In 2009 International Conference on Computational Intelligence and Security(CIS)

期卷2009,1:180



论文标题Handling Inheritance Violation for Secure Interoperation of Heterogeneous Systems

作者Hejiao Huang, Helene Kirchner, Songyun Liu and Weili Wu

期刊名称International Journal of Security and Networks

期卷vol. 4



论文标题Channel Assignment using Block Design in Wireless Mesh Networks

作者Hejiao Huang, Xiaolu Cao, Xiaohua Jia, and Xiaolong Wang

期刊名称Computer Communications

期卷Volume 32



论文标题Component-based Design and Optimization for Job-shop Scheduling Systems

作者Hejiao Huang

期刊名称International Journal of Advanced Manufacturing Technology

期卷vol. 45



论文标题Design and Verification of Enhanced Secure Localization Scheme in Wireless Sensor Networks

作者D. He, L. Cui, H. Huang, M. Ma

期刊名称IEEE Transactions on Parallel and Distributed Systems (TPDS)

期卷vol. 20



论文标题Secure and Efficient Localization Scheme in Ultra-Wideband Sensor Networks

作者D. He, L. Cui, H. Huang, M. Ma

期刊名称International Journal on Wireless Personal Communications

期卷vol. 50



论文标题A Technique for Reachability Graph Generation for the Petri Net Models of Parallel Processes

作者Farooq Ahmad, Hejiao Huang, and Xiaolong Wang

期刊名称International Journal of Computer Science and Engineering

期卷3(1)



论文标题A technique for generating the reachability graph for parallel processes

作者Farooq Ahmad, Hejiao Huang, and Xiaolong Wang

期刊名称International Journal of Electrical and Electronics Engineering (IJEEE)

期卷Issue 5, V



论文标题Handling Resource Sharing Problem Using Property-Preserving Place Fusions of Petri Nets

作者Li Jiao, Hejiao Huang, To-Yat Cheung

期刊名称Journal of Circuits, Systems, and Computers

期卷17(3)



论文标题Analysis of Structure properties of Petri Nets Using Transition Vectors

作者Farooq，Hejiao Huang and Xiaolong Wang

期刊名称Information Technology Journal

期卷vol. 7(2)



论文标题Applications of Property-Preserving Algebras to Manufacturing System Design

作者Hejiao Huang，To-yat Cheung and Xiaolong Wang

期刊名称Journal of Information Science and Engineering

期卷Vol. 23



论文标题Property-preserving Composition by Place Merging

作者Li Jiao, Hejiao Huang and To-yat Cheung

期刊名称Journal of Circuits, Systems and Computers

期卷vol. 14



论文标题Property-Preserving Subnet Reductions for Designing Manufacturing Systems with Shared Resources

作者Hejiao Huang, Li Jiao and To-yat Cheung

期刊名称Theoretical Computer Science

期卷vol. 332



论文标题Structure and Behaviour Preservation by Petri-net-based Refinements in System Design

作者Hejiao Huang, To-Yat Cheung and Wai Ming Mak

期刊名称Theoretical Computer Science

期卷vol. 328



论文标题On the Optimal Placement of Wavelength Converters in WDM Networks

作者X. Jia, D. Du, X. Hu, H. Huang and D. Li

期刊名称Computer Communications

期卷vol. 26



论文标题Optimal Placement of Wavelength Converters for Guaranteed Wavelength Assignment in WDM Networks

作者X. Jia, D. Du, X. Hu, H. Huang, and D. Li

期刊名称IEICE Trans

期卷vol. E85-B



论文标题Placement of Data Replicas for Optimal Data Availability in Ring Networks

作者X. Hu, X. Jia, D. Du, D. Li, and H. Huang

期刊名称Journal of Parallel and Distributed Computing

期卷vol. 61



论文标题Optimal Placement of Wavelength Converters in WDM Networks with Special Topologies

作者X. Jia, D. Du, X. Hu, H. Huang, and D. Li

期刊名称Optical Networks- Recent Advances

期卷book chapt



论文标题Petri-net-based Modeling and Verification of Black Hole Attack in WMN

作者Hejiao Huang，Qiang Zhou

期刊名称Proceedings of COMPSAC



论文标题Approximation Algorithms for Minimizing the Number of Roles and Administrative Assignments in RBAC

作者Hejiao Huang, Feng Shang, Jiangtao Zhang

期刊名称Proceedings of COMPSAC



论文标题Greedy Algorithm for Least Priviledge in RBAC Model

作者Jinling Liu, Hejiao Huang, Hongwei Du

期刊名称Proceedings ofCOCOA



论文标题Security Analysis of GTRBAC Models Using Colored Timed Petri Nets

作者Guoli Zhao，Hejiao Huang

期刊名称Proceedings of the 2010 International Conference on Information Security and Artificial Intelligence



论文标题Role-Based Access Control for Distributed Cooperation Environment

作者Songyun Liu and Hejiao Huang

期刊名称International Conference on Computational Intelligence and Security



论文标题Policy Composition based on Petri Nets

作者Hejiao Huang, Helene Kirchner

期刊名称Proceedings of 33rd Annual IEEE International Computer Software and Applications Conference



论文标题Component-based Security Policy Design with Colored Petri Nets

作者Hejiao Huang, Helene Kirchner

期刊名称Festschrift for Peter Mosses



论文标题A QoS Framework with Traffic Request in Wireless Mesh Network

作者Bo Fu, Hejiao Huang

期刊名称Proceedings of International Conference on Wireless Algorithms, Systems, and Applications



论文标题Deadlock-free Design of JSP with Multi-resource Sharing

作者Hejiao Huang, Jing Li, Weisheng Zhou

期刊名称Proceedings of the International Conference on Computer and Electrical Engineering



论文标题Throughput Maximization with Traffic Profile in Wireless Mesh Network

作者Hejiao Huang and Yun Peng

期刊名称Proceedings of the 14th Annual International Computing and Combinatorics Conference



论文标题Jointing Routing and Channel Assignment Based on Extended Petri Nets

作者Hejiao Huang, Yun Peng and Jing Li

期刊名称Proceedings of the 28th International Conference on Distributed Computing Systems Workshops



论文标题Minimizing Transmission Period in Multi-radio Wireless Mesh Networks

作者Hejiao Huang, Yun Peng, Xiaolu Cao, and Xiaolong Wang

期刊名称Proceedings of IEEE ICMLC 2008



论文标题Topology Simplification and Channel Assignment in Multi-radio Wireless Mesh Networks

作者Hejiao Huang, Xiaolu Cao and Xiaolong Wang

期刊名称Proceedings of IEEE International Conference on SMC



论文标题Sequential and Concurrent Behavior Analysis of Petri Nets Using Transition Vectors

作者Farooq，Hejiao Huang and Xiaolong Wang

期刊名称Proceedings of IEEE International Conference on SMC



论文标题Verification of Petri Net Models Based on Transition Vectors

作者Farooq，Hejiao Huang and Xiaolong Wang

期刊名称Proceedings of IEEE ICMLC 2008



论文标题混合遗传算法在柔性作业车间调度中的应用

作者周维生，黄荷姣，李婧

期刊名称计算机应用研究



论文标题A BIBD-based Channel Assignment Algorithm for Multi-radio Wireless Mesh Networks

作者Hejiao Huang, Xiaolu Cao, Xiaohua Jia and Xiaolong Wang

期刊名称Proceedings of the 5th International Conference on Machine Learning and Cybernetics



论文标题Evaluation for Liaison of Spoken English: A Sugeno Integration Approach

作者Qingcai Chen, Pengfei Su, Hejiao Huang and Xiaolong Wang

期刊名称Proceedings of the 5th International Conference on Machine Learning and Cybernetics



论文标题An Inner Contour Based Lip Moving Feature Extraction Method for Chinese Speech

作者Qingcai Chen, Guanghong Deng, Xiaolong Wang and Hejiao Huang

期刊名称Proceedings of the 5th International Conference on Machine Learning and Cybernetics



论文标题pecification and Verification of Multi-agent Systems with a Property-preserving Component-based Methodology

作者Hejiao Huang, Xuan Wang, Qingcai Chen and Xiaolong Wang

期刊名称Proceedings of the 4th International Conference on Machine Learning and Cybernetics



论文标题Optimal Data Replica Placements in Linear Bus Networks

作者D. Frank Hsu, X.-D. Hu, H.-J. Huang and X.-H. Jia

期刊名称proceedings of the 7th International Symposium on Parallel Architectures, Algorithms and Networks



论文标题Property-preserving Composition of Augmented Marked Graphs that Share Common Resources

作者H. Huang, L. Jiao and T. Y. Cheung

期刊名称Proc. of the IEEE ICRA2003



论文标题Preservation of Nineteen Properties under Reductions

作者H. Huang, T. Y Cheung and W. M. Mak

期刊名称Proc. of the 9th Bellman Continuum: International Workshop on Uncertain Systems and Soft Computing



论文标题Placement of Wavelength Converters for Minimal Wavelength Usage in WDM Networks

作者. Jia, D. Du, X. Hu, H. Huang, and D. Li

期刊名称IEEE INFOCOM@#%02, New York



论文标题Optimal Placement of Proxies of Replicated Web Servers in the Internet

作者X. Jia, D. Li, X. Hu, H. Huang, and D. Du

期刊名称Proc. of the 1st International Conf. on Web Information Systems Engineering



论文标题A New Wavelength Assignment Method for Minimal Wavelength Conversions in WDM Networks

作者X. Jia, D. Du, X. Hu, H. Huang, and D. Li

期刊名称Proc. of the 9th IEEE International Conf. on Computer Communications and Network



论文标题Optimal Placement of Wavelength Converters in WDM Networks for Parallel and Distributed Computing Systems

作者X. Jia, D. Du, X. Hu, H. Huang, and D. Li

期刊名称Proc. of the 4th International Conf. on Algorithms and Architectures for Parallel Processing (ICA3PP)