赵保华（1934年2月出生）是一位中国科学技术大学计算机系教授，也是中国共产党党员。他曾在陕西省计划委员会担任副处长、处长、专职委员、副主任等职务，并在黄帝陵基金会担任秘书长、常务副会长等职务。此外，他还是中国西部研究与发展促进会常务理事和陕西开放与发展促进会常务副会长兼秘书长。

个人简历

赵保华，男，1947年8月出生，中国科学技术大学计算机系教授，博士生导师。1969年毕业于成都电讯工程学院。现任计算机系软件研究中心副主任，中国通信学会通信软件技术委员会副主任委员，中国计算机学会软件工程委员会委员，程控交换技术与通信网国家重点实验室学术委员会委员，《计算机信息与技术》杂志编委，CEC'04 EAST ( IEEE International Conference on e-Commerce Technology for Dynamic E-Business) Program Committee Member，IPOM 2004（2004 IEEE International Workshop on IP Operations \u0026 管理学）Program Committee Member，全国通信软件第一届(2003)、第二届(2004)学术会议程序委员会委员，全国软件与应用第一(2002)、二(2003)、三届(2004)学术会议（NASAC）程序委员会委员。

主要研究方向

软件工程、协议理论与协议工程 无线传感器网络

正在进行的科研项目

（1）主持国家自然科学基金重大研究计划项目：形式化的协议理论，项目编号：90104010，起止年月：2002年—2004年，正在进行中。

（2）主持国家973计划项目子课题：新一代互联网体系结构理论研究子课题：新一代互联网的协议理论和技术的研究；起止年月：2004年—2008年。

（3）主持国家863计划项目：IPv6协议测试技术，项目编号： 2001AA121016，起止年月：2002年—2004年，正在进行中。

（4）主持中国科学院院长基金特别支持项目：形式化的协议理论的研究，项目编号：院基计字905号，起止年月：2002年—2004年，正在进行中。

（5）主持华为基金项目：协议编解码器硬件优化技术的研究；起止年月：2003年—2004年，正在进行中。

（6）参加国家自然科学基金项目：正在进行中。

（5）主持中国科学院计算机科学实验室基础研究课题: 协议证明论与方法的研究；起止年月：2004年—2005年。

完成的主要科研项目

（1）主持完成863计划跨主题项目--中国高速信息示范网关键技术项目：路由协议测试，项目编号：863-300-02-08-99，起止年月：1999年—2000年， 2000年12月6日通过863专家组的验收。

（2）主持完成863-317主题组长基金课题项目：使用构造类别代数规范进行通信协议一致性测试，项目编号：863-317-04-16-99，起止年月：1999年—2000年，2001年2月21日通过863专家组的验收。

（3）主持国家863计划项目：协议测试理论与方法的研究，项目编号： 2001AA112062，起止年月：2001年—2003年，已结题。

（4）主持安徽省自然科学基金项目：基于构造类别代数的通信软件测试技术的研究，项目编号： 01042208，起止年月：2002年—2003年，评审为优。

（5）主持教育部博士点基金项目：通信软件测试理论与方法的研究，项目编号：2000035802，起止年月：2001年—2003年，已结题。

（6）主持完成华为项目：九项，都已通过华为公司的验收。

（7）主持安徽省国际科技合作项目：通信软件测试系统，项目编号：99825004，本项目的目标是就“通信软件测试系统”进行国际合作与交流；起止年月：1999年—2001年，与美国、日本等国的相关大学建立了国际科技合作关系。

（8）主持中兴通讯项目：信息安全中的网络扫描技术；起止年月：2002年8月—2002年12月，已通过公司的验收。完成和正在进行的科研项目：

1. 主持国家自然科学基金重大研究计划项目：形式化的协议理论，项目编号：90104010，起止年月：2002年—2004年，已结题。

2. 主持国家自然科学基金项目：协议证明论与方法的研究，项目编号：60241004，起止年月：2002年11月—2005年12月，已结题。

3. 主持国家自然科学基金项目：字符串模式匹配的硬化研究，项目编号：60602016，起止年月：2007年1月—2009年12月。

4. 主持国家自然科学基金项目：无线网络（WLAN,WMN）的跨层联合多播纠错机制的研究，项目编号：60872009 ，起止年月：2009年1月—2011年12月。

5. 主持完成国家863计划跨主题项目--中国高速信息示范网关键技术项目：

6. 主持完成国家863-317主题组长基金课题项目：

7. 主持国家863计划项目：

8. 主持国家863计划项目：IPv6协议测试技术，项目编号： 2001AA121016，起止年月：2002年—2004年，已验收。

9. 主持国家863计划项目：无线局域网的安全管理和分析系统，项目编号： 2009AA01Z148，起止年月：2007年—2009年。

10. 主持国家863计划项目：模型驱动的软件测试与验证关键技术与支撑工具，项目编号： 2001AA01Z148，起止年月：2008年—2010年。

2002年以来发表的论文

基于层次结构的OSPF一致性测试，通信学报，Vol.23,No.8,2002,

pp87-92.

基于同步有向图的同步序列的生成，计算机学报, Vol.25,No.6,

2002.6，pp632—636.

一种基于CSP的协议模型技术，小型微型计算机系统, Vol.25, No.5，2004。

基于构造类别代数的变异分析，电子学报，Vol.30,No.12A, 2002, pp249-251.

利用半可控接口进行通信协议一致性测试，通信学报，Vol.24，No.8，2003，pp72.

Fault Identification by Passive Testing, IEEE 11th International Conference on Telecommunications (ICT2004)。

基于数理统计方法的可靠性分析，中国科学技术大学学报，Vol.34，二氧化氮，2004。

通信顺序进程的扩充及其在协议形式化技术中的应用，通信学报,Vol.25，No.2，2004。

基于构造类别代数的数据流和控制流相结合的协议测试，北京邮电大学学报，Vol.24增刊，2003，pp7-11，EI检索（04188147178）。

基于TCL科技的路由协议一致性测试，北京邮电大学学报，Vol.24增刊，2003，pp37-41，EI检索（04188147183）。

2007年以来发表的论文:

参考资料