个人简历

姚爱红，女，1972年生，工学博士，博士后，CCF会员、ACM会员、电子学会高级会员、《小型微型计算机系统》等多家学术期刊审稿专家。现从事嵌入式及物联网技术及应用、数字信号处理及应用、生物信息学等方向的研究工作及计算机组成原理、嵌入式系统设计等课程的教学工作。主持和参与国家自然科学基金等各类研究项目多项，发表学术论文约30篇、教学研究论文5篇，出版编译著和教材5部，获各类奖项和荣誉称号5项。
教育经历
2000/04-2005/10，哈尔滨工程大学，水声工程学院，博士
1997/09-2000/03，哈尔滨理工大学，计算机科学与技术学院，硕士
1991/09-1995/07，哈尔滨工业大学，计算机科学与技术系，学士
工作经历
2007/09－2008/02，（美国）马里兰大学，电子与计算机工程系，高级访问学者
2006/09－至今，哈尔滨工程大学，计算机科学与技术学院，副教授
2006/04－2009/03，哈尔滨工程大学检测与自动化装置博士后科研流动站，博士后
2003/02－2006/08，哈尔滨工程大学，计算机科学与技术学院，讲师
2000/07－2003/01，哈尔滨理工大学，计算机科学与技术学院，讲师
1995/07－2000/06，哈尔滨理工大学，计算机科学与技术学院，助教
承担项目
（1） “十一五”国家科技支撑计划重大项目“高速列车网络控制系统”子课题“列车通信网络控制器功能及可靠性验证与测试”，2009/06-2012/11，140万元，已结题，主持
（2） 黑龙江省自然科学基金面上项目“面向SoC功能验证的理论与方法”，2011/01-2012/12，5万元，已结题，主持
（3） 教育部中央高校基本科研业务费重大项目培育计划项目“基于VMM的超大规模数字集成电路功能验证技术研究”，2009/04-2010/12，20万元，已结题，主持
（4） 中央高校自由探索项目“嵌入式系统可靠性设计、验证及面向物联网的应用研究”，2010/1-2012/12，22.4万元，已结题，主持
（5） 黑龙江省博士后基金项目“基于自适应无线传感器网络的突发性环保事件监测系统的研究”，2006/09-2008/10,2万元，已结题，主持
（6） 江苏省自动化研究所合作项目“安全隔离与弹性应对技术研究”，2005/06-2006/10,10万元，已结题，技术负责人
（7） 江苏省自动化研究所合作项目“嵌入式安全实时操作系统体系结构研究”，2006/11-2008/12，5万元，已结题，技术负责人
（8） 黑龙江省发展信息产业专项资金项目“基于国产CPU的嵌入式系统教学实验平台研究”，2004/11-2008/12，60万元，已结题，参加
招生信息
每年招收以下学科领域硕士研究生两名：
（1） 计算机科学与技术学科硕士
（2） 计算机科学与技术学科硕士留学生
本科生授课课程
计算机组成原理
研究生授课课程
嵌入式系统设计
Embedded System Design (for international students)
实践性教学
（1） 本科生导师
（2） 指导本科生毕业设计和大学生科技创新活动
教学研究课题
计算机硬件课程实践教学研究，哈尔滨工程大学校级教学改革研究项目，2010年，负责人
专利成果
姚爱红，闫健，周文彬，雷磊，张建国，一种流水线化的组合式伪随机数发生器，2017.2.1，授权号：ZL201310296057.6
出版著作
编著
[1] 姚爱红. 计算机组成原理知识要点与习题解析. 哈尔滨工程大学出版社, 2006.6，ISBN：7-81073-848-8
[2] 姚爱红，张国印，武俊鹏. 基于FPGA的硬件实验与实践教程. 清华大学出版社, 2011.6，ISBN：978-7-302-24537-7
[3] 武俊鹏，张国印，姚爱红，赵国冬. 基于ARM的嵌入式系统设计实验与实践教程. 清华大学出版社，2011.9，ISBN：978-7-302-26140-7
译著
[1] 姚爱红，张国印，李健利. Big C++中文版. 电子工业出版社.2008.6，ISBN：978-7-121-02655-3
[2] 李健利，张国印，姚爱红. Big Java（第二版）中文版. 电子工业出版社，2008.6，ISBN：978-7-121-02654-6
荣誉
[1] 哈尔滨工程大学2015年本科教学优秀主讲教师三等奖
[2] 哈尔滨工程大学2010年本科教学优秀主讲教师三等奖
[3] 哈尔滨工程大学本科毕业设计优秀论文指导教师，2016.
奖励
[1] 黑龙江省高等教育教学成果一等奖 “计算机系统结构——立体化教学内容和课程体系改革与研究”，2007.（排名第三）
[2] 黑龙江省高等教育教学成果二等奖 “以嵌入式技术为核心，建立三化结合的计算机硬件实验教学体系”，2009.（排名第四）

研究领域

（1） 嵌入式系统及物联网技术及应用
（2） 数字信号处理及应用
（3） 生物信息学""

近期论文

[1] 姚爱红，孙盟哲，张智钧，袁丽娜，基于断言的Compact PCI 总线 IP 核功能验证，小型微型计算机系统， 2014，3（35）：676~680
[2] 姚爱红，孙盟哲，袁丽娜，基于模拟的 SoC 功能验证研究综述，微电子学与计算机，2013，5（30）：1~9
[3] 姚爱红, 张智钧, 刘铭, “覆盖率导向的WTB控制器功能验证方法,” 小型微型计算机系统, vol. 32, no. 3, pp. 531-535, 2010.
[4] 姚爱红, 吴剑, 张智钧, “功能覆盖率驱动的TAU/MVBC模块验证,” 计算机应用研究, vol. 28, no. 4, pp. 1352-1355, 2011.
[5] 姚爱红, 孙盟哲, 吴剑, “16位嵌入式微处理器核的设计及验证,” 计算机工程, vol. 36, no. 23, pp. 234-236, 2010.
[6] 姚爱红, 张国印, 关琳, “基于动态可重构FPGA的自演化硬件概述,” 智能系统学报, vol. 3, no. 5, pp. 436-442, 2008. (EI: 10591546)
[7] Aihong Yao, Jian Wu, Zhijun Zhang, “Functional coverage driven verification for TAU-MVBC,” in Proc. Fifth International Conference on Internet Computing for Science and Engineering, 2010, pp. 89-92. (EI: 20115014592547)
[8] Aihong Yao, Ling Li, Mengzhe Sun, “Design of pipeline multiplier based on modified booth's algorithm and Wallace tree,” in Proc. Communications in Computer and Information Science, 2011, PART 1, pp. 67-73. (EI: 20111313881039)
[9] Aihong Yao, Junjun Gu, Gang Qu, Bhattacharyya Shuvra, “Energy efficient implementation of G.729 for wireless VoIP applications,” in Proc. International Conference on Advanced Infocomm Technology, 2008, art. no. 133. (EI： 20102012943148)
[10] Sun Mengzhe, Yao Aihong, “TAU-MVBC Verification Directed by Functional Coverage,” Haifa Verification Conference 2011, Haifa, Iseral.
[11] 张国印, 刘铭, 姚爱红, “一种基于SoPC技术的iLBC语音编解码器设计实现,” 小型微型计算机系统, vol. 31, no. 5, pp. 1016-1020, 2010.
[12] Guoyin Zhang, Ming Liu, Aihong Yao, “A coloured Petri Net based rormal verification methodology of MVB-TCN device,” in Proc. IEEE International Conference on Intelligent Computation Technology and Automation, 2010, pp. 46-49. (EI: 20103413182787)
[13] Guoyin Zhang, Ming Liu, Aihong Yao, “A formal approach for modeling and verification of bus bridge based on Petri Net and model checking,” in Proc. 3rd IEEE International Conference on Computer Science and Information Technology, 2010, pp. 335-339. (EI: 11518054)
[14] Guoyin Zhang, Guodong Zhao, Aihong Yao, Ruhua Liu, “Research of mechanism to system scheduling flexibility based on embedded real-time system,” in Proc. International Conference on Machine Vision and Human-Machine Interface, 2010, pp. 369-372. (EI: 20103713228195)
[15] 刘铭, 张国印, 姚爱红, 门朝光, “基于层次实时有色Petri网的实时系统建模与分析方法研究,” 电子与信息学报, vol. 33, no. 3, pp. 580-586, 2011.
[16] 刘铭, 张国印, 姚爱红, 门朝光, “列车通信网络控制器的功能验证,” 铁道学报, vol. 34, no. 3 pp. 68-74.
[17] 刘铭, 张国印, 姚爱红, 门朝光, “基于扩展Petri网的系统建模及形式化验证方法,” 计算机应用研究, vol. 27, no. 12, pp. 4587-4590, 2010.
[18] 张宏烈, 张国印, 姚爱红, “Hardware/software partitioning based on dynamic combination of maximum entropy and chaos optimization algorithm,” Journal of Harbin Institute of Technology, vol. 17, no. 4, pp. 548-551, 2010. (EI: 20104313323662)
[19] Ming Liu, Guoyin Zhang, Aihong Yao, “Extended Petri Net based formal modeling and verification of WTB-TCN device,” in Proc. IEEE ICCSIT 2010, Chengdu China, 2010. IEEE Press, 2010, 8, 110-114P (EI: 11517953)
[20] Honglie Zhang, Guoyin Zhang, Aihong Yao, Ling Li, “A novel structure of FPGA-based Viterbi decoder,” ICIC Express Letters, vol. 5, no. 1, pp. 163-168, 2010. (EI: 20110213564055)
[21] Junjun Gu, Gang Qu, Aihong Yao, Ahmed Bouridane, “Minimizing point-to-point transmission energy with error correction coding and transmission power control,” in Proc. International Conference on Advanced Infocomm Technology, 2008, art. no. 132. (EI: 20102012943147)
[22] Guodong Zhao, Guoyin Zhang, Aihong Yao, “Research of mechanism to system flexibility based on embedded real-time system,” in Proc. International Conference on Advanced Measurement and Test, 2010, pp. 789-794. (EI: 20102713054634)
[23] 孙建国, 门朝光, 姚爱红, 张国印, 林锰, “基于量子纠错理论的数字水印技术,” 高技术通讯, vol. 20, no. 6, pp. 585-589, 2010. (EI: 20102913085766)
[24] 孙建国, 张国印, 姚爱红, 武俊鹏, “一种矢量地图无损数字水印技术,” 电子学报, vol. 38, no. 12, pp. 2786-2790, 2010.
[25] 孙建国, 张国印, 门朝光, 姚爱红, “基于分形理论的小波域水印模型,” 吉林大学学报（工学版）, vol. 41, no. 1, pp. 203-208, 2011. (EI: 20110813693185)
[26] 孙建国, 张国印, 武俊鹏, 姚爱红, “基于集对分析的数字矢量地图水印性能验证技术,” 通信学报, vol. 9A, pp. 239-244, 2010. (EI: 20104613391366)
[27] 张国印, 李璐, 姚爱红, 王向辉, 唐滨, “基于网络编码的混合式P2P内容分发机制,” 计算机应用研究, vol. 28, no. 12, pp. 4718-4725, 2011.
[28] 张国印, 程慧杰, 刘咏梅, 姚爱红, “一种新算法在基因表达谱聚类重点应用,” 计算机工程与应用, vol. 45, no. 36, pp. 216-218, 2009.

代表性教学研究论文
[1] 姚爱红，武俊鹏，李丽洁，李静梅，张国印. “计算机组成原理”教学改革实践,计算机教育，2013(2): 9-13.
[2] 姚爱红，张国印，武俊鹏. “计算机专业硬件课程实践教学研究”，计算机教育，2007， (12): 31-33.
[3] 姚爱红，刘咏梅. “嵌入式系统设计”课程考核方式改革探索，哈尔滨工程大学学报（教育科学版），2014(2).
[4] 刘咏梅，姚爱红. 从诺贝尔奖获得者看卓越人才的成才之路，哈尔滨工程大学学报（教育科学版），2014(2).
[5] 丁忠东，姚爱红，吴良杰，郭江鸿. 从“大学计算机基础”教改看我校计算机教学改革,计算机教育,2009(4): 56-58.
（1） 中国计算机学会会员
（2） 《小型微型计算机系统》等期刊审稿人
（3） 黑龙江省政府及省科技厅聘任的首批“工业科技特派员”