李未明的学术成就

1. 李未明的学术成就

曾出版《钢琴重奏曲集》，《双钢琴曲集》（一）、（二）、（三）册，《钢琴四手联弹名曲集》（一）、（二）、（三）册，《数码钢琴集体课教程》，中国音协《全国数码钢琴演奏考级作品集》（第一套），《全国高等师范院校手风琴系列教材》（一）、（二）、（三）册，《手风琴技术训练与伴奏编配》，《全国电子琴考级作品集》（第一套），《全国数码钢琴考级作品集》（第一套）等十多部专著、教材。出版个人演奏、教学音像和作品集VCD，曾在中央电视台、中国教育电视台播发教学讲座。曾获全国手风琴优秀科研成果一等奖，福建省社科优秀成果奖二等奖、三等奖，福建省高校优秀教学成果奖，钢琴独奏《花鼓春吟》等作品获全国和省级比赛“创作奖”。所培养的学生多次获全国和国际比赛优异成绩。多次获全国性“园丁奖”、“优秀指导教师奖”，历任全国钢琴、手风琴、电子琴比赛评委，担任国际手风琴比赛、俄罗斯国际钢琴比赛，香港亚洲青少年钢琴比赛，新加坡亚洲青少年钢琴比赛，中国文化部文华奖专业音乐院校钢琴比赛，中国教育部“珠江钢琴”全国高校五项全能比赛，中国音协全国青少年钢琴比赛评委。多次应邀赴全国各省市和新加坡，台湾讲学。赴德国、日本、俄罗斯、意大利，澳大利亚、新西兰、新加坡，香港、台湾等地参加国际学术交流和艺术活动，广受好评。多次成功参与组织全国和国际音乐比赛及音乐活动。李未明从事高等院校音乐教学三十六年，因其突出的工作成就和教学成果，曾获国家曾宪梓全国高等师范院校教师奖，被福建省政府授予“福建省先进教育工作者”称号。

2. 李未明的学术活动

2009年8月至2010年4月，李未明教授受中国音协委派分别在北京、广州、大连，厦门举办全国音乐教师培训，开设“键盘和声、即兴演奏”和“数码钢琴演奏考级辅导”讲座。2007年8月，在新加坡“亚洲青少年钢琴比赛“期间，李未明教授应邀开设“键盘和声”学术讲座。2008年10月，李未明教授应邀赴台湾中国文化大学、台湾艺术学院进行学术交流，并举办“键盘和声与即兴演奏”学术讲座。2008年10月、2010年11月，李未明教授分别担任国家教育部举办的全国高等院校音乐教育专业大学生基本功比赛评委2009年5月，李未明教授担任文化部举办的“文华奖”全国专业艺术院校钢琴比赛评委2008年7月、2010年7月，李未明教授分别担任中国音协举办的第四届、第五届全国青少年钢琴比赛评委2010年5月，李未明教授担任俄罗斯文化部、教育部及卡雷利亚共和国文化部主办的第五届国际青少年钢琴比赛评委2008年8月、2010年8月，李未明教授分别担任第二届、第三届KAWAI亚洲钢琴大赛（香港）评委2008年8月、2010年8月，李未明教授分别担任中国音协举办的鼓浪屿国际钢琴艺术节艺术顾问2007年8月，李未明教授担任新加坡“亚洲青少年钢琴比赛”评委。2010年10月，李未明教授担任长春“国际钢琴比赛”评委和比赛组委会顾问。

3. 李无未的研究领域

对汉语语音史与中外汉语音韵学史、近代日韩中国语教科书语言、中国先秦礼仪制度、明清东亚文明“生成互动”史颇有兴趣。在《中国语文》、《古汉语研究》、《民族语文》、《当代语言学》、《中国语言学报》等国内外著名杂志发表110余篇论文。出版《音韵文献与音韵学史》（吉林文史社）、《汉语音韵学通论》（高等教育出版社）、《音韵学论著指要与总目》（上、下，140万字，作家出版社）、《宋元吉安方音研究》（中华书局）、《周代朝聘制度研究》（吉林人民出版社）、《对外汉语教学论著总目》（作家出版社）、《中国历代宾礼》（国家图书馆出版社）、《日本汉语音韵学史》（商务印书馆）、《日本明治北京官话课本语言研究》（商务印书馆）、《日本近现代汉语语法史要论》（厦门大学出版社）、《日本汉语教科书汇刊（1912年前）》（30册，中华书局）等著述。获得省部级二三等奖励5次。“王力语言学奖”2等奖1次。

4. 李未的研究内容

参与创立、发展和完善结构操作语义方法的主要学者之一，80年代初期，李未院士使用这种方法最先给出了Ada语言有关任务，包括并行、汇聚、通讯、同步及选择等机制的语义，建立了在并行机制下的程序模块以及程序例外处理的语义。他的工作系统地解决了诸如像Ada、Edison等并发式程序设计语言的操作语义问题，并在语义研究的基础上建立了并发语言的翻译与变换理论。从1992年开始，李未院士根据在863计划实施过程中出现的软件开发方法及知识库的建立和维护等需求，提出了关于形式系统序列、极限及相关的计算模式等一系列的概念和方法，将分析数学中逼近和近似的方法用于软件系统的开发。这一研究在国际上首次提出了以版本作为基本对象、用版本序列描述开发过程、用版本系列极限刻画最终目标的概念和方法。李未院士用模型的概念和方法，给出了知识库维护过程中“增新扩充”和“出错修正”的合理描述，首次建立了一个“规约修正”演算系统，并给出了基于Prolog语言的“规约修正”算法，该演算系统使程序规约的修正有了可操作的数学方法。他首次提出软件开发策略、知识库维护策略的收敛性概念，并用版本序列的收敛速度衡量维护策略的优劣。在他指导下的课题组成员还研究了力迫、猜想与反驳、归纳等多种软件开发策略，并证明了它们的收敛性。李未院士将这一整套概念和方法称之为“开发逻辑”理论，并曾应邀在德、法、英、丹麦、及瑞典等国的大学就“开发逻辑”理论进行讲演和讲学。为解决网络环境下拥有海量信息、运行着海量进程的服务软件系统的设计、实现和维护中的重大问题，973“网络环境下海量信息组织与处理的理论与方法研究”项目组从海量信息科学、软件技术与方法以及试验性软件研究三个层次开展了基础研究。作为该项目的首席科学家，在他的领导下，项目组对此开展了富有成效的研究，取得了丰硕的成果，并顺利通过了科技部主持的项目中期评估，获得重点资助。