赵保华，男，汉族，1934年2月出生，陕西周至人。中国共产党党员，大专程度，经济师。历任陕西省计划委员会副处长、处长、专职委员、副主任，陕西省整修黄帝陵工作领导小组副组长，黄帝陵基金会秘书长、常务副会长，中国西部研究与发展促进会常务理事，陕西开放与发展促进会常务副会长兼秘书长等职。

陕西省计划委员会副主任

中国科学技术大学计算机系教授(个人简历 主要研究方向 正在进行的科研项目 近年来完成的主要科研项目 2002年以来发表的论文)

徐州市人大常委会副主任

陕西省计划委员会副主任

赵保华长期从事经济管理工作。曾在《人民日报海外版》、《陕西日报》、《计划与经济》、《国际日报》等刊物发表论文多篇，被陕西省社会科学院聘为特邀研究员。在1992年至1997年，西北国际经济技术合作洽谈会、香港陕西工业出口展销和经贸洽谈会、中国东西部合作与投资贸易洽谈会以及西安、厦门、香港、新加坡、洛杉矶、纽约投资与贸易洽谈会上担任陕西项目洽谈、布展主要负责人。在1994年国庆45周年陕西在京成就展中担任主要负责人，展览获得海内外参观者的高度评价，受到陕西省委、省政府表彰。自1996年以来，先后主持开展了"西部大开发与富民问题"、"拓宽陕西融资渠道对策"等七项西部大开发与陕西经济社会发展重大课题的研究。自1992年主持黄帝陵基金会工作以来，为整修黄帝陵一期、二期工作募集资金达9200多万元。为弘扬中华民族文化和整修黄帝陵事业，为西部大开发和陕西经济建设做出了突出贡献。

中国科学技术大学计算机系教授

个人简历

赵保华，男，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 & Management）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）参加国家自然科学基金项目：协议验证理论与方法的研究，项目编号：60241004，起止年月：2002年11月—2005年12月，正在进行中。

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

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

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

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

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

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

11. 主持国家973计划项目子课题：新一代互联网体系结构理论研究子课题：新一代互联网的协议理论和无线传感器网络的研究，项目编号：2003CB314801，起止年月：2004年—2006年，已结题。

2002年以来发表的论文

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

pp87-92.

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

2002.6，pp632—636.

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

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

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

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

[7]基于数理统计方法的可靠性分析，中国科学技术大学学报，Vol.34，No.2，2004。

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

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

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

2007年以来发表的论文:

徐州市人大常委会副主任

赵保华：男，　现任丰县县委书记(副市级)。男，1956年7月生，汉族，江苏徐州人，在职大学学历，1978年9月加入中国共产党，1970年10月参加工作。历任徐州市园林局局长、丰县人民政府县长、县委书记。2011年6月拟推荐为为徐州市人大常委会副主任人选。