| 词条 | 陈海明 |
| 释义 | 中科院软件所博士生导师陈海明 男，研究员、中科院软件所博士生导师，计算机科学重点实验室副主任。1989年毕业于中国科技大学计算机系，1992年和1999年在中科院软件所分别获得硕士和博士学位。 目前研究方向包括计算模型、软件设计方法和形式规约、编程语言。是获得中科院科技进步一等奖、国家科技进步二等奖的主要成员，还曾先后获得中科院院长奖学金、中科院亿利达奖学金、中科院盈科优秀青年学者奖。 湖北省鄂州市太和镇镇长陈海明 1952年11月生，湖北鄂州人，中共党员，大学文化，湖北省鄂州市太和镇镇长，鄂州市第四届人民代表大会代表。1971年10月～1976年9月在太和小学任教，1976年9月～1982年3月在沼山高中、太和高中任团总支书记，1982年3月～1984年7月任谢华中学校长，太和教育组组长，1984年9月～1989年10月任太和高中校长，梁子湖区委党校副校长，1989年10月至今分别任泪山乡副乡长、副书记、太和镇镇长。 辽阳石油化工高等专科学校副教授陈海明 男，1940年9月出生，中共党员，副教授。1966年毕业于北京大学，现任辽阳石油化工高等专科学校化学副教授、辽阳蓝德化工有限公司总工程师、中国辽阳化学会理事。主要业绩：大学毕业后，从事教学工作，科研工作和技术管理工作。在教学工作中，先后主进了"无机化学"、"结构化学"、"计算方法"、"计算机及其应用"等八门大专、本科、硕士学位课程。成功地培养了20届专、本科毕业生和两届硕士研究生，教学效果优秀并获多项教学成果奖。在科研和技术管理方面：主持完成18项二次配电设计和6项自控系统设计；进行了"过度金属肽类配合物及其抗种瘤活性的研究"等多个基础研究课题；完成了"丙纶工业用呢的研制"、"多元叶面肥"、"香料"等多项应用和开发课题，实现了巨大的经济效益及社会效益，获得了多项奖励：如"丙纶工业用呢的研制"获国家教委的科技进步奖（1992年）；"多元叶面肥"获国家专利应用成果金奖等。在学术方面造诣较深，撰写了50多篇科技论文，先后发表在《高等化学学报》等各级刊物上发表；参加了20多次全国性的专业学术会议，参加了在加拿大及国内举办的5次国际学术会议。在学术界有一定的影响，受到国内外同行的高度评价，获多项国际荣誉，先后被载入《中国科学家和发明家大辞典》和英国剑桥《国际名人录》等巨著中。 中科院软件所研究员职务： 副主任 职称： 研究员 性别： 男 所在部门： 计算机科学国家重点实验室 目前主要研究方向及简介 目前主要研究方向为软件设计方法和形式规约 研究方向简介：以提高软件开发的生产率、可靠性和易用性为目标，研究软件的需求、设计中需要的理论、方法和技术。目前，软件开发研究的重点趋向高层，即需求、设计阶段。对于复杂的软件系统，和对可靠性要求高的系统，尤其需要有基于系统化理论基础、特别是形式化方法的工具对需求、设计的支持。实际上，软件的质量在很大程度上决定于这一阶段的工作。这一阶段对于降低软件开发和维护代价有重要作用。而同时，这一阶段中也充满了具有挑战性的问题，还有许多问题有待研究。 学习经历 1984.9-1989.7 中国科技大学计算机科学技术系 获工学学士学位 1989.7-1992.7 中科院软件所 获工学硕士学位 1995.9-1999.2 中科院软件所 获工学博士学位 工作经历 1992.7-现在 中科院软件所 社会兼职 中国科学院研究生院教师 研究成果与获奖情况 新型递归函数的高效定义手段和求值技术 形式规约语言LFC及其实现技术 基于MLIRF方法的软件原型速成技术研究（主要研制者） 形式规约获取系统SAQ（主要研制者） 支持可理解性与可复用性的软件设计系统URS-1（主要研制者） 国家科技进步二等奖（第6名）、中科院盈科优秀青年学者奖、中科院院长奖学金优秀奖、中科院亿利达奖学金 代表论著 陈海明. 一种新型递归函数的求值算法研究.《软件学报》第15卷第9期, 2004.9, pp.1277-1291. 陈海明，董韫美. 一个支持规约获取的形式规约语言.《计算机学报》第25卷第5期, 2002年5月, pp.459-466. 陈海明，董韫美. 形式规约语言LFC的设计. 智能计算机研究进展，863计划智能计算机主题学术会议论文集，清华大学出版社，2001.3, pp.292-301. 陈海明，董韫美. 上下文无关语言分析树的一种表示形式. 《计算机研究与发展》Vol.37,No.10, 2000.10. pp. 1179 - 1184. 陈海明，金蓓弘. Bezier曲线和直线的求交方法. 全国现代科学计算第二届学术研讨会论文集，2000.8, pp.28-29. 陈海明. 运算构造和检验系统FC的设计和实现. 《软件学报》第9卷第10期, 1998.10, pp. 755-759. 董韫美，陈海明. 一个高质量汉字笔划字形到轮廓字形的转换系统.《软件学报》Vol. 7, No. 5, 257--263, 1996年5月. 厦门理工学院讲师人物简介江西赣州人，博士。先后就读于天津外国语大学英文系、厦门大学哲学系、英语系、法律系；多次赴美留学，先后在Calvin College, University of Notre Dame, St. Mary's University(San Antonio)，University of Texas ( Austin)等学府从事过学习和研究（2002年初曾赴哈佛大学和麻省理工学院短暂参访、旁听若干课程）。2010年7月毕业于厦门大学国家重点学科国际法专业，获法学博士学位（与美国德克萨斯大学联合培养）。 教育背景 2010年7月毕业于厦门大学国家重点学科国际法专业，获法学博士学位（与美国德克萨斯大学联合培养） 主讲课程 《大学英语》、《美国社会与文化》（双语课）、《国际法导论》（双语课）、《WTO法律规则概论》（双语课） 学术方向及成果 研究方向：语言学、法律英语、国际法、西方哲学。 主持课题： 1.国家教育部人文社科青年基金项目《国际社会利益对国际法发展变迁的影响》（10YJC820006）主持人；课题时间（2010-2012） 2.厦门理工学院引进人才科研启动项目《当代国际法结构变迁研究》。 3.厦门理工学院校级课题《交际任务型外语教学法研究》主持人；课题时间（2005-2007）；已结题 4.厦门理工学院校级课题《培养创新能力视野下应用型大学课程体系设置改革探究》主持人。 参与教学团队 1．参与李传芳教授主持的《经管学部框架下的商务英语教学》团队； 2．参与魏志成教授的《翻译精品课程》团队 学术成果1.《试析国际组织的投票表决与协商一致决策机制》，《长安大学学报》（社科版），2012（1），独立完成； 2.《艺术哲学视域中的基本翻译理论问题探析》，《哈尔滨学院学报》，2012（3），独立完成； 3.《国际法宪政问题研究》,《太平洋学报》，2011（1）；独立完成（被人大复印报刊《国际法学》2011年第6期全文转载）； 4．《权利视野中的对一切义务法律关系研究》，《华中科技大学学报（社科版）》，2011（2）；独立完成（被人大复印报刊《国际法学》2011年第12期索引；同时成为华东政法大学国际法研究中心2011年资源导引文章）； 5．《卡迪案及其国际法意义的分析》，《太平洋学报》，2010（1）；独立完成（被人大复印报刊《国际法学》2010年第9期索引）； 6．《世界秩序条约及其对国际法影响研究》，《河北法学》，2010（4）；独立完成（被人大复印报刊《国际法学》2010年年度索引）； 7．《国际软法在国际法律秩序中的作用研究》，《新疆社科》，2010（1）；独立完成（被人大复印报刊《国际法学》2010年第7期索引）； 18.《从语言输出理论看英语口语和写作教学》，《厦门理工学院教学教改论文》（第1辑），2009年；独立完成； 9．《经济社会治理的裂变：从跨国治理到全球治理》；《广东经济管理学院学报》，2006（6）；第一作者； 10．《主权观念的变迁与国际法的发展：从国际法体系逻辑起点角度分析》；《广西政法管理干部学院学报（广西法学）》，2005（3）；独立完成（被人大复印报刊《国际法学》2005年第5期索引）； 11．《略论国际私法趋同化现象》；《厦门月刊》，2002（1）；独立完成 12．《试论对外资并购的反垄断法律规制》；《内蒙古财经学院学报》，2001（1）；第一作者； 13．《对逻辑实证主义科学观及其原则的分析》；《兰州大学学报》，2001（5）；独立完成； 14．《克隆人技术面临的伦理和社会问题》；《党政干部论坛》，2001（7）；独立完成； 15．《略论翻译的对等性和译者的作用：从艺术模仿与创新视角》；《山东外语教学》，2006（4）；独立完成； 16．《试论交际任务型外语教学法的理论基础与特征》；《厦门理工学院学报》，2006（1）；独立完成； 17．《人性与价值：桑塔亚那随笔精选》；2003年由广东人民出版社出版；合译 获奖情况1．2007年荣获国家留学基金委中美联合培养博士项目奖学金； 2．2001年12月荣获厦门大学华藏奖学金； 3．2001年6月荣获美国加尔文学院奖学金赴该校学习； 4．2005年6月考评获厦门理工学院优秀教师； 5．2010年6月考评获厦门理工学院优秀教师 6. 2011年度厦门理工学院科研先进个人奖； 中共磐安县委常委、常务副县长陈海明同志，男，汉族，1962年6月生，浙江磐安人，1983年8月参加工作，1987年7月加入中国共产党，大学学历，现任中共磐安县委常委，县政府党组副书记、常务副县长。 曾任万苍乡副乡长、党委书记，玉山镇镇长、党委书记，县二轻局党委书记、局长，县二轻总公司总经理，县计划与经济委员会党组副书记、副主任(主持工作)，县委办公室副主任、政策研究室主任，县政府办公室党组副书记、副主任兼扶贫办主任，县农业局党组书记、局长，县财政局党组书记、财政局局长兼地税局局长，县政府副县长等职。 武威市凉州区洪祥镇党委副书记、纪委书记姓名；陈海明 职务；纪委书记 陈海明同志简历；陈海明，男，汉族，1968年12月出生，凉州区金沙乡人，中共党员，党校大学学历，现任洪祥镇党委副书记、兼纪委书记。 1990.08—1992.07 天水核工业学校读中专 1992.09—1997.12 在武威市凉州区丰乐镇工作（期间1996.07—1998.07中共中央党校武威学院函授行政管理专科班毕业） 1998.01—2005.11 在武威市凉州区康宁乡工作，任党委副书记（政法）、武装部长（期间2001.07—2003.07中央党校武威学院函授本科班毕业） 2005.11——至今 在武威市凉州区洪祥镇政府工作，任党委副书记、纪委书记职务 工作分工：分管党务、宣传、组织、精神文明建设、干部管 理、机关后勤管理、纪检监察、共青团、计生、教育工作 |
| 随便看 |
百科全书收录4421916条中文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。