计算机软件新技术国家重点实验室

...v.计算机软件新技术国家重点实验室计算机软件新技术国家重点实验室简介

计算机软件新技术国家重点实验室是在XX大学计算机科学与技术系和计算机软件研究所多年进展软件研究的根底上于1986年底通过专家论证，1987年开场筹建，1990年建成，并通过国家验收，被批准向国内外开放。1993年通过第一次评估，1997年通过第二次评估,2002年3月通过第三次评估。

本实验室主要研究以智能化、主体化、并行化、网络化、自然化、自动化等为主要标志的软件新技术，按照"研究力求原创，技术取得突破，成果促进产业"的指导思想，结合国家在信息化建立方面的需求，在计算机软件新技术方面形成特色和优势，力争使本实验室成为具有一定国际影响的软件新技术的研究与开发基地，为促进中国软件产业的开展做出奉献。实验室主要研究方向为:1.软件自动化与形式化；2.分布计算与并行处理；3.系统软件及信息平安；4.新型程序设计与方法学；5.多媒体与人工智能。

X家福教授任实验室名誉主任，吕建教授任实验室主任，费翔林教授任实验室副主任，孙钟秀院士任学术委员会主任，杨芙清院士和谢立教授任学术委员会副主任。

截至2003年底,本实验室共承当"973"方案工程2项，"863"方案工程68项，国家攻关工程32项，攀登方案工程1项、国家自然科学基金工程35项，省部委、国际合作与横向协作等254项。共发表论文2113篇，其中国外刊物184篇，国内重要刊物1046篇。SGI检索论文83篇。相关成果得到了国际同行的关注和成认。例如，在软件自动化与形式化方面的多篇论文被美国、德国、法国、荷兰、日本、以色列和芬兰等国的学者在包括国际著名刊物，如JournalofACM〔影响因子在计算机软件领域排名第一〕、Informationandputation、LectureNotesinputerScience等学术刊物上屡次引用近40次。在神经网络技术及其应用方面的相关论文发表在人工智能领域最有影响力的国际会议IJCAI-01〔该系列会议创立于1969年〕上，评审人认为该项成果"verysignificant,veryoriginal"，并获最正确论文奖提名，这是中国大陆学者自1969年IJCAI创立以来首次获此荣誉。此外，还出版学术专著31部。

自实验室创立以来，共获国家和省部级奖励56项，其中，国家科技进步二等奖3项，三等奖1项，省部级特等奖2项，省部级一等奖7项，二等奖20项。此外，两部学术专著分别获得国家教育部优秀教材一等奖。

人才培养坚持严谨、XX和创新；基地建立坚持开放、流动和联合；梯队建立坚持构造合理和精干高效。目前已初步形成学科覆盖面广、人才培养与科学研究具有特色、基地建立与梯队建立相互促进、根本适应国际软件新技术开展和我国经济与社会开展需求、在国内外有一定影响的人才培养与科研基地。实验室现有固定研究人员40人，其中中科院院士1人，博士生导师21人，教授26人。其中45岁以下教授13人，博士生导师9人；具有博士学位的研究人员21人。实验室主要研究方向均具有水平较高的学术带头人和青年群体，涌现出一批学术中坚，分获"跨世纪优秀人才培养方案"基金和"国家出色青年科学基金"的资助及被聘任为"教育部长江学者特聘教授"，业已形成一支目标明确，富有干劲，能够攻坚的老、中、青相结合的科研队伍。

在学术交流方面，先后与英、美、日、法、新加坡、韩、加、澳等十几个国家以及港澳地区建立了合作科研，合作开发，联合培养研究生的关系，还召开国际和国内学术会议，这些合作活动与学术交流对扩大我室在国际上的影响，提高学术水平，拓宽研究领域和了解前沿研究动态等发挥了很大作用。

本实验室提倡多学科、多技术的相互渗透，鼓励不同层次研究工作的结合和研究人员协同攻关，力求充分利用已有的先进科研实验条件，使实验室成为国内相关研究领域的重要研究基地和进展国际学术交流的窗口。学术委员会主任及成员学术委员会主任孙钟秀教授、院士学术委员会副主任：杨芙清教授、院士谢立教授

姓名性别职称学委会职务所在单位X三元男教授委员XX计算机软件中心吕建男教授委员XX大学计算机软件所孙钟秀男教授,院士主任XX大学计算机系孙吉贵男教授委员XX省XXXX大学前卫校区计算机系杨芙清女教授,院士副主任大学计算机科技系陆汝钤男教授,院士委员中关村数学所陈火旺男教授,院士委员XXXX国防科技大学计算机系陈克非男教授委员XX交通大学计算机系赵沁平男教授委员航空航天大学计算机系周立柱男教授委员清华大学计算机系钱德沛男教授委员航空航天大学计算机系费翔林男教授委员XX大学计算机系谢立男教授

XX大学计算机系董韫美男教授,院士委员中关村中科院软件所孙永强教授、王鼎兴教授、鞠九滨教授和陈涵生教授特聘为本实验室学术委员会名誉委员。研究方向软件自动化与形式化分布计算与并行处理操作系统与网络平安新型程序设计与方法学智能多媒体软件名誉主任X家福教授主任吕建教授副主任费翔林教授主任助理王静英〔行政与学术活动〕杨献春〔技术与装备〕学术秘书X建莹第一研究室10人，研究方向：软件自动化与形式化、新型程序设计第二研究室11人，研究方向：分布计算与并行处理、系统软件第三研究室13人，研究方向：人工智能与多媒体技术技术室5人吕建教授，博士生导师，计算机软件新技术国家重点实验室主任。1960年3月生，1982年毕业于XX大学计算机系，1988年获博士学位，1993年－1994年在英国曼彻斯特大学计算机系作为访问学者。1995年在联合国大学澳门国际软件研究所从事研究工作。现任XX大学计算机科学与技术系副主任，计算机软件研究所副所长，中国计算机学会理事和XX省计算机学会理事。研究方向包括软件自动化、面向对象语言与环境和并行程序的形式化方法。曾参加国家重点工程11项。获国家教委科技进步一等奖二次，国家教委科技进步二等奖一次，获XX省科技进步二等奖一次，光华科技三等奖一次，完成论文40余篇。发表在?JournalofSystemsandSoftware?、?AnnualsofSoftwareEngIneerIng?、?ACMSIgplanNotIces?、?ACMSoftwareEngineerIngNotes?、?中国科学?等刊物上。合著专著?软件自动化?获国家教委学术著作优秀奖和优秀教材一等奖。1990年被授予“做出突出奉献的中国博士学位获得者〞称号。1993年获霍英东青年教师奖。1994年进入“国家教委跨世纪优秀人才方案〞。1995年获XX省青年科技奖。1995年获“国家出色青年科学基金〞资助。1996年获首届XX省青年科学家奖(提名奖)；1996年获中国青年科技奖。费翔林，教授。生于1941年，1964年毕业于XX大学。1993年至1994年在美国伊利诺州伊利诺Urbana-Champaign分校，以访问学者身份进修，现任计算机软件新技术国家重点实验室副主任。目前从事面向对象软件工程和操作系统研究。曾先后参加或负责10个工程的研制，获部、省级奖5次，迄今，发表论文70余篇。杨献春，XX大学计算机软件新技术国家重点实验室技术主管，XX省计算机学会理事，XX省微型电脑应用协会理事。从事过计算机系统软件和网络应用系统的研发以及教学与实验室管理工作。先后参加国家和XX省重大科技攻关和其它省、部级科研工程多项，科研成果获国家科技进步奖贰等奖3项，省、部级特等奖1项，贰等奖2项,叁等奖1项。个人还获得校级教学和实验室工作奖励屡次。发表科技论文10余篇，合作出版著作1部。1997年被评定为XX大学中青年骨干。

目前兼任XX大学计算机科学技术系副主任，XX大学实验室建立与管理委员会委员，XX大学仪器设备采购招标领导小组成员，XX大学仪器设备审核专家组成员，XX大学计算机软件管理专家组成员，XX省计算机学会副秘书长，XX省微型电脑应用协会副秘书长，XX省计算机青年学者论坛副秘书长。大型仪器设备简介设备名称(Descript.)效劳器型号(Types)UltraHPC3000生产厂商(Corp.)美国Sun数量(Qty)1设备名称(Descript.)效劳器型号(Types)Origin200生产厂商(Corp.)美国SGI数量(Qty)1设备名称(Descript.)工作站型号(Types)Ultra30生产厂商(Corp.)美国Sun数量(Qty)6设备名称(Descript.)工作站型号(Types)Ultra1生产厂商(Corp.)美国Sun数量(Qty)7设备名称(Descript.)工作站型号(Types)SPARC20生产厂商(Corp.)美国Sun数量(Qty)7设备名称(Descript.)工作站型号(Types)OCTANE生产厂商(Corp.)美国SGI数量(Qty)2设备名称(Descript.)工作站型号(Types)Indigo生产厂商(Corp.)美国SGI数量(Qty)1设备名称(Descript.)工作站型号(Types)O2生产厂商(Corp.)美国SGI数量(Qty)4设备名称(Descript.)工作站型号(Types)Indy生产厂商(Corp.)美国SGI数量(Qty)8设备名称(Descript.)工作站型号(Types)RS600043P生产厂商(Corp.)美国IBM数量(Qty)6设备名称(Descript.)工作站型号(Types)RS600041W生产厂商(Corp.)美国IBM数量(Qty)1设备名称(Descript.)工作站型号(Types)RS6000C200生产厂商(Corp.)美国IBM数量(Qty)6设备名称(Descript.)工作站型号(Types)Alphaau433生产厂商(Corp.)美国DEC数量(Qty)2设备名称(Descript.)工作站型号(Types)PW6000生产厂商(Corp.)美国paq数量(Qty)4设备名称(Descript.)工作站型号(Types)KayakXU生产厂商(Corp.)美国HP数量(Qty)1设备名称(Descript.)ATM交换机型号(Types)8260生产厂商(Corp.)美国IBM数量(Qty)1设备名称(Descript.)以太交换机型号(Types)8274生产厂商(Corp.)美国IBM数量(Qty)1设备名称(Descript.)以太交换机型号(Types)8271生产厂商(Corp.)美国IBM数量(Qty)1=========================================以下是英文=========================================ABriefIntroductiontoStateKeyLaboratoryforNovelSoftwareTechnologyatNanjingTheStateKeyLaboratoryforNovelSoftwareTechnologyatNanjingUniversitybeganitsbuildingin1987,basedontheyearsofresearchattheDepartmentofputerScienceandTechnologyandtheInstituteofputerSoftwareofNanjingUniversity.ItwasofficiallyapprovedbytheNationalPlanningmissionin1990,andhasbeenopenedtoresearchersallovertheworldsincethen.Itpassedthreeofficialevaluationsin1994,1997,and2002respectively.

IntheLaboratory,effortshavebeenfocusedonnewputersoftwaretechnologycharacterizedbyintelligence,autonomy,parallelism,networking,andnaturalization,whichisnotonlyatthefrontierinthefieldofputerscienceandtechnology,butalsoofgreatimportancetothenationaleconomy.Amongthemainresearchdirectionsare:1.softwareautomationandformalmethods;2.distributedputingandparallelprocessing;3.systemsoftwareandnetworksecurity;4.new-styleprogrammingandmethodology;5.intelligentmultimediasoftware.

NowProfessorXuJiafuistheHonoraryDirectorofthelaboratory,ProfessorLuJianisDirectorofthelaboratory,andProfessorFeiXianglinistheviceDirector.ProfessorSunZhongxiuisthechairmanoftheacademicmitteeoftheLaboratory,andProfessorsYangFuqingandXieLiarethevicechairmen.

Bytheendof2003,morethan392projectshadbeenpletedinthelaboratory,amongwhich70werenationalHi-Tech(973or863)Projects,35werekeyprojectsofnationalFive-yearPlan,and35weresupportedbytheNationalScienceFoundation.Duringthesameperiod,1230papersand31bookshadbeenpublished,amongwhichmanyappearedininternationaljournals,suchasmunicationsoftheACM,IEEETransactionsonSoftwareEngineering,IEEETransactionsonParallelandDistributedSystems,IEEETransactionsonputers,TheoreticalputerScience,ArtificialIntelligence,etc.Morethan56projectsandbookswereawarded,including3second-prizesand1third-prizeatnationallevel,and9first-prizesand20second-prizesatministerialorprovinciallevel.

Thereare40full-timeresearchersbytheendof2003.Amongthem,oneisacademicianofChineseAcademyofSciences,21arePh.D.supervisors,and26arefullprofessors.Inrecentyears,therehaveemergedagroupofyoungresearcherswithbrilliantacademicachievements,amongwhomsomearerecipientsofgrantsfromtheNationalFundforProminentYoungScientistsandundertheTrans-CenturyTalentedPersonsFosteringProgramoftheStateEducationMinistry.Seniorputerscientistsandtalentedyoungresearchersarecooperatingtomakeastrongfleettomeetnewchallenges.

InternationalacademicconnectionshavebeenestablishedbetweenthelaboratoryandresearchinstitutesinmanycountriesandareassuchasGreatBritain,theUnitedStates,Japan,France,Germany,Singapore,Korea,Canada,Australia,HongKongandMacao,featuringcooperativeresearchanddevelopmentaswellasjointlytraininggraduatestudents.

Bypromotingthecooperationbetweenresearcherswithdifferentbackground,wearetryingtomakethelaboratoryanimportantresearchbaseinChinaTheStateKeyLab.forNovelTheRegulationsontheSystemofVisitingScholarstoStateKeyLaboratorieswasputintoeffectin1999accordingtothe[1999]No.5fileof“SuggestionsonPracticingtheVisitingScholarSysteminStateKeyLaboratoriesinInstitutionsofHigherLearningandKeyLaboratoriesApprovedbytheStateEducationalMinistry〞inthePeople’sRepublicofChinawithaviewtoincreasetheopeningbenefitofkeysubjectsininstitutionsofhigherlearning,topromotetheacademicexchangesbothhomeandabroad,toraisetheresearchlevelofkeylabsandtoacceleratetheconstructionofadvancedsubjectsandthecultivationofpeopleofextraordinaryability.TheRegulationsonApplication&ManagementoftheSpecialFundforVisitingScholarstotheStateKeyLab.forNovelSoftwareTechnologyatNanjingUniversityTimeofApplicationReceivingApplicationsarereceivedtwiceeveryyear.ThefirstreceivingperiodendsbyFebruary28thandthesecondbyAugust30th.ThereceivedapplicationmaterialswillbereportedtotheFoundationOfficeoftheEducationalMinistryforapprovalinthemiddleofMarchandSeptemberrespectively.ThelistoftheapprovedsubsidizedvisitingscholarsandthelineoffundswillbeannouncedinthemiddleofAprilorOctober.QualificationsofApplicantsVisitingscholarstoourlabaredividedinto3types,scientificandtechnologicalexpertsoverseas,fromotherpartsofchinanotcountingNanjingUniversityandatNanjingApplicationMaterials

Fillingtheapplicationformforvisitingscholars(asshownintheattachment)

Resume(inwhichresearchachievementsshallbeincluded)AllottedWorkingTimeTheallottedworkingtimeinthekeylabforvisitingscholarsoverseas,fromotherpartsofchinanotcountingNanjingUniversityandatNanjingUniversityshouldlastatleast3,6and9monthsrespectively.Visitingscholarsshallhandintheirproposalsontheirarrivaltothelabandputinbriefsummariesontheresearchworkintheend.LineofFundsThelineoffundsvaryfrom￥50000to￥100000ofwhich30%isusedfortheimprovementoftheworkingconditionsinthe