删除或更新信息,请邮件至freekaoyan#163.com(#换成@)

中国科学院大学研究生导师简介-金芝

中国科学院大学 免费考研网/2016-05-09

1、招生信息2、教育背景3、工作经历4、教授课程5、专利与奖励6、出版信息7、科研活动8、合作情况9、指导学生
基本信息
金芝 女 汉族 博导 数学与系统科学研究院
电子邮件:zhijin@math03.math.ac.cn
联系电话:**
手机号码:
通信地址:北京市中关村东路55号
邮政编码:100190


研究领域Knowledge EngineeringSoftware Requirements Engineering
教育背景

学历中科院数学所 1992** 研究生
金芝:女,1962年出生,中科院数学与系统科学研究院研究员,中科院计算所客座研究员,博士生导师,中科院数学所理论计算机科学室主任,中科院管理、决策与信息系统开放实验室副主任,中国计算机学会常务理事,中国计算机学会软件工程专委委员,《软件学报》编委。

个人简历
· 1980.09-1984.06,浙江大学计算机科学与技术系学习,获学士学位
· 1984.09-1987.06,国防科技大学计算机系学习,获硕士学位
· 1989.09-1992.07,国防科技大学计算机系学习,获博士学位
· 1992.07-1994.06,在中科院数学研究所从事博士后科研工作
· 1994.07-至今,在中科院数学所工作
· 1996-1998,分别在法国国家科学院自动化和信息技术研究所、英国奥斯特大学等进行访问研究

本人研究方向  需求工程、基于知识的软件工程、知识工程和人工智能。 

主要科研工作:

1. 知识处理集成化环境系统。1985年至1987年,参加卫生部七·五重点科技攻关项目《李聪甫老中医整体脾胃观慢性肾炎诊疗专家系统》。1989年至1992年,作为主要完成者完成国家863高技术课题《新一代知识处理集成化环境系统NKES/SUN》,该项目通过专家鉴定,并获国防科工委科技进步贰等奖。

2. 基于知识的信息系统开发方法。自1992年即开始从事这方面的研究,在陆汝钤院士的指导下系统地提出了一种基于知识,特别是基于领域知识的软件开发方法,该方法曾被评价为:“是第一个用基于知识的方法支持主流软件开发的工具” (《AI WACTH》Vol.3,No.2,1994)。以这个方法为主线,还进一步系统地研究了领域分析、面向自然语言的需求获取、基于知识的概念建模、以及软件的逐级自动进化过程。该项成果应用于国家八五重点攻关项目,国家九五攻关项目,和国家863高技术项目中。

3. 本体论和基于知识的方法。在国内最早开始知识工程中的本体论研究,提出基于本体的领域建模思想,参加国家973预研项目《“信息和知识共享”的系统理论》和国家自然科学基金重点项目《常识知识的实用研究》的研究。

4. 基于知识的需求工程。自2000年起,开始从事基于知识的需求工程的研究,目前主持了国家973项目《Internet环境下基于Agent的软件中间件理论和方法研究》中的第4课题《基于知识的网构软件需求建模》和863项目《基于领域建模的需求工程》。

主要研究成果及获奖情况
· 1994年获国防科工委科技进步二等奖
· 1997年获中创软件人才奖
· 2000年获中科院盈科优秀青年人才奖
· 2004年获首届中国IT科研女性奖

出版著作:

[1] R.Lu and Z.Jin, Domain Modeling based Software Engineering,Kluwer Academic Publishers,2000,347pages。

部分已发表的论文:

刊物论文:
[1] Z.Jin, R.Lu and D.A.Bell, Automatically multi-paradigm requirements modeling and analyzing: An ontology-based approach, Science in China (Series F), Vol.46, No.4, 279-297, 2003

[2] Z.Jin and D.A.Bell, An Experiment for Showing some kind of Understanding, IEEE Expert System, Vol.20, No.2, 100-107, 2003

[3] R.Lu and Z.Jin, Automating Application Software Generation, IEEE Expert System, Vol.20, No.2, 71-77, 2003

[4] Z.Jin, D.A.Bell, F.G.Wilkie and D.G.Leahy, Automated Requirements Elicitation: Combining a Model-Driven Approach with Concept Reuse, International Journal of Software Engineering and Knowledge Engineering, Vol.13, No.1, 53-82, 2003

[5] 金芝,陆汝钤,D.A.Bell, 多范例自动需求建模和分析:一种基于本体的方法,《中国科学》,Vol.33,No.4,297-312,2003年。

[6] 陈刚,陆汝钤,金芝,基于领域知识重用的虚拟领域本体构造,《软件学报》,第14卷,第3期,350-355,2003年。

[7] 陈刚,金芝,陆汝钤,虚拟企业及其协作模型,《电子学报》,Vol.30,No.12A,2975-2078,2002年。

[8] 杨芙清,梅宏,吕建,金芝,浅论软件技术发展,《电子学报》,Vol.30,No.12A,1901-1906,2002年。

[9] R.Lu and Z.Jin, Formal Ontology: Foundation of Domain Knowledge Sharing and Reusing, Journal of Computer Science and Technology, Vol.17, No.5, 2002, 535-548。

[10] H.Zeng, R.Lu, Z.Jin and S.Hu, Ontology-based Semantic Cache in AOKB, Journal of Computer Science and Technology, Vol.17, No.5, 2002, 657-664。

[11] 陆汝钤,金芝,陈刚,面向本体的需求分析,《软件学报》,第11卷,第8期,2000年8月,1009-1017。

[12] 金芝,基于本体的需求自动获取,《计算机学报》,第23卷,第5期,2000年5月,486-492。

[13] R.Lu and Z.Jin, Knowledge based Hierarchical Software Reuse, Chinese Journal of Advanced Software Research, Vol.6,No.1,1999, pp1-11。

[14] 陆汝钤,金芝,刘璘,蒋爱军,赖辉明,客户机/服务器风格的体系结构描述语言NEWCOM,《计算机学报》,第21卷,第12期,1998年12月,1103-1111。

[15] Z.Jin,P.Sebillot and F.Danna,A Natural Language Interface in COMPOUNDS,Chinese Journal of Advanced Software Research, Vol.5,No.4,1998,360-375。

[16] 陆汝钤,金芝,万荣林,夏幼明。基于领域知识的需求信息获取。《软件学报》,第7卷,第3期,1996年3月。

[17] T.Deng, Z.Jin and Y.Hu, Partial Evaluation: Issues and Solutions, Chinese Journal of Advanced Software Research, Vol.3, No.2, 1996。

[18] Z.Jin, On the structure and semantics for an object-oriented logic programming language: SCKE, Journal of Computer Science and Technology,Vol.10, No.1, 1995, 74-84。

[19] 金芝,胡守仁。面向对象逻辑语言SCKE中的限制推理,《软件学报》,第5卷,第5期,1994年5月。

[20] Z.Jin, The circumscriptive theories in the object-oriented logic program, Chinese Journal of Advanced Software Research, Vol.1, No.2, 1994, 122-136。

[21] Z.Jin and S.Hu, SCKE: Combining the logic- with object-oriented paradigm, Journal of Computer Science and Technology, Vol.8, No.1, 1993, 38-48。

书中的章节:
[1] 金芝,序列学习初探,《知识科学与计算科学》(陆汝钤主编),清华大学出版社,2003年。
[2] 金芝,知识工程中的本体论研究,《世纪之交的知识工程与知识科学》(陆汝钤主编),清华大学出版社,2001年。

国际会议论文:
[1] Z.Jin and D.A.Bell, Involving End Users in Requirements Elicitation and Goal-Oriented Analysis, IASTED International Conference on Software Engineering and Application (SEA 2002), Nov. 4-6, 2002, Cambridge, USA.

[2] R.Lu and Z.Jin, Domain Knowledge Representation: Using an Ontology Language, IASTED International Conference on Software Engineering and Application (SEA 2002), Nov. 4-6, 2002, Cambridge, USA.

[3] Z.Jin, DA.Bell and G.Wilkie, Requirement Elicitation based on Enterprise Ontology and Domain Ontology, Proceedings of the 4th World Multi-conference on Systemics, Cybernetics and Informatics, July 23-26, 2000, Orlando, Florida, USA.

[4] R.Lu, S.Zhang and Z.Jin et al., Talk to Computer in Natural Style,Proceedings of the International Symposium on Future Software Technology '99 (ISFST’99),Nanjing,China,1999.10。

[5] R.Lu, Z.Jin, L.Liu, G.Fang, G.Chen, X.Xun and S.Wang, OSNET—A Language for Domain Modeling, Tools Asia’98, Beijing, 1998.9。

[6] Z.Jin, D.Bell, F.G.Wilkie and D.Leahy, Automatically Acquiring Requirements of Business Information Systems by Reusing Business Ontology, ECAI’98 Workshop on Applications of Ontologies and Problem-Solving Methods, Brighton, England, 1998

[7] Z.Jin,P.Sebillot and F.Danna,A Knowledge-based Approach for Analyzing and Understanding the Students' Sentences,Proceeding of the Natural Language Processing Pacific Rim Symposium 1997 (NLPRS'97),Thailand,1997.12。

[8] Z.Jin,An Order-based Composition Semantics for the Inheritance in the Logic-based Object-Oriented Paradigm,Proceedings of the 24th International Conference Technology of Object-Oriented Languages and Systems (TOOLS’97),Beijing,China,1997.9。

[9] R.Lu and Z.Jin,An Multi-Agent and Pseudo-Natural Language Approach for Intelligent Information Service,Proceedings of the International Conference on the Software Engineering and the Knowledge Engineering,Madrid,Spain,1997.6,422-429。

[10] R.Lu,Z.Jin and R.Wan,Requirement Specification in Pseudo Language in PROMIS,Proceedings of COMPSAC'95,1995.8,96-101。

[11] R.Lu,Z.Jin and R.Wan,A Knowledge-Based Tool for Automatically Prototyping Management Information Systems, AI'94, Paris, France, May, 1994; also selected by 《AI WATCH》Vol.3,No.2,1994。

[12] Z.Jin, On the semantics for SCKE, Proceedings of the 5th IEEE International Conference on Tools with Artificial Intelligence, Nov.9-11, 1993, Boston, USA

[13] Z.Jin and S.Hu, YHCMEST-2: A new generation tool for building Chinese medicine expert systems, Proceedings of the World Congress on Expert Systems, The Hyatt Regency Grand Cypress, Orlando, Florida, USA, Dec.16-19, 1991。

[14] Z.Jin, T.Deng, Q.Wu and S.Hu, An object-oriented expert system tool with both shallow heuristic and deep causal reasoning, Proceedings of International Conference on Computer Integrated Manufacturing, Hyatt regency, Singapore, Oct.2-4, 1991。

[15] Z.Jin and S.Hu, A new approach towards combining logic- with object-oriented paradigms for parallel knowledge processing, Proceedings of the International Conference. for Young Computer Scientists, Beijing, China, 1991.7。







学位国防科技大学1989**博士


出国学习工作
工作经历

工作简历

社会兼职
教授课程
专利与奖励

奖励信息

专利成果
出版信息

发表论文

发表著作
科研活动

科研项目

参与会议
合作情况

项目协作单位
指导学生蔡广军 博士研究生 081202-计算机软件与理论 80132-计算技术研究所

魏博 硕士研究生 081202-计算机软件与理论 80002-数学与系统科学研究院

汤健 博士研究生 081202-计算机软件与理论 80002-数学与系统科学研究院

陈小红 博士研究生 081202-计算机软件与理论 80002-数学与系统科学研究院

冯志婧 博士研究生 081202-计算机软件与理论 80132-计算技术研究所

王越 博士研究生 081202-计算机软件与理论 80002-数学与系统科学研究院

刘春 博士研究生 081202-计算机软件与理论 80002-数学与系统科学研究院

相关话题/知识 软件 数学 系统 工程

  • 领限时大额优惠券,享本站正版考研考试资料!
    大额优惠券
    优惠券领取后72小时内有效,10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材,产品类型包含电子书、题库、全套资料以及视频,无论您是考研复习、考证刷题,还是考前冲刺等,不同类型的产品可满足您学习上的不同需求。 ...
    本站小编 Free壹佰分学习网 2022-09-19
  • 北京大学环境科学与工程学院2016年硕士研究生招生复试通知
    一、复试学生名单与复试时间地点 复试学生名单: 考生编号 姓名 报考专业 报考方向 总分 ...
    本站小编 免费考研网 2016-05-10
  • 2016年环境科学与工程学院博士研究生招生复试通知
    学院招生小组根据《环境科学与工程学院2016年博士生申请审核招生细则》规定严格审核材料,按照不超过招生人数300%的比例择优筛选出进入考核的考生。现公布复试安排及面试名单。 考生必须保证提交的全部申请材料的真实性和准确性,凡不符合报考条件的考生将不予录取,相关后果由考生本人承担。如果考生需要补充材料供 ...
    本站小编 免费考研网 2016-05-10
  • 2016年环境科学与工程学院硕士应试考生初取名单公示
    环境科学与工程学院本次统考生的招生指标为6人,共计8位统考生2位港澳台学生参加我院的面试,经过专家小组面试后决定,在参加面试的10人中,本院共招收统考硕士生6人港澳台学生2人,具体名单附后。现对复试成绩及初取名单进行公示,时间为自2016年3月31日起10个工作日,如有异议请联系:yingjang@pku.edu.cn, 62751929。复试 ...
    本站小编 免费考研网 2016-05-10
  • 北京大学2016年环境科学与工程学院博士申请-考核制初取名单公示
    环境科学与工程学院2016年招收申请考核制博士生指标为9人,有14位考生进入复试,经过面试决定招收申请考核制博士生9人,具体名单附后。 另有六位硕转博生通过考核分别为:徐文杰、庞韵梦、郑云昊、柴立伟、杨裕茵、代天娇。 现对初取结果进行公示,公示期为自2016年4月15日起10个工作日,如有异议请联系:yin ...
    本站小编 免费考研网 2016-05-10
  • 2016年北京大学环境科学与工程学院优秀大学生夏令营通知
    北京大学环境科学与工程学院定于2016年7月3-6日开办环境科学与工程学科优秀大学生夏令营,在全国范围内招收对环境科学与工程感兴趣的优秀本科生到北京大学进行集中交流,增强科研兴趣,拓展学术视野,明确研究方向。主要活动有知名专家学术讲座、与教授零距离交流、参观实验室等活动。 一、夏令营招生对象和人数 (1)全国 ...
    本站小编 免费考研网 2016-05-10
  • 北京大学软件与微电子学院2016年工程管理硕士(MEM)专业学位研究生招生简章
    北京大学软件与微电子学院工程管理硕士(MEM)专业学位,以培养信息、工程、管理、金融等多维交叉型人才为目标,运用国际先进的培养理念与培养方 法,全力整合校内外优质教育资源,打造并分享学习、研究、实践、交流的综合平台,培养具有丰富信息化知识和娴熟工程管理技能,善于思考、长于创新、富有团 队精神的互联网金融和 ...
    本站小编 免费考研网 2016-05-10
  • 北京大学软件与微电子学院2016年软件工程硕士专业学位研究生招生简章
    北京大学软件与微电子学院是经教育部、国家计委批准成立的国家示范性软件学院,也是教育部、发改委和科技部等六部委批准建设的国家示范性微电子学 院。学院设有电子与信息领域工程博士点,工程管理硕士点,软件工程、集成电路工程、项目管理、工业设计、电子与通信工程、计算机技术等6个领 ...
    本站小编 免费考研网 2016-05-10
  • 北京大学软件与微电子学院2016年计算机技术硕士专业学位研究生招生简章
    北京大学软件与微电子学院是经教育部、国家计委批准成立的国家示范性软件学院,也是教育部、发改委和科技部等六部委批准建设的国家示范性微电子学 院。学院设有电子与信息领域工程博士点,工程管理硕士点,软件工程、集成电路工程、项目管理、工业设计、电子与通信工程、计算机技术等6个领域的 ...
    本站小编 免费考研网 2016-05-10
  • 北京大学软件与微电子学院2016年集成电路工程硕士专业学位研究生招生简章
    北京大学软件与微电子学院是经教育部、国家计委批准成立的国家示范性软件学院,也是教育部、发改委和科技部等六部委批准建设的国家示范性微电子学 院。学院设有电子与信息领域工程博士点,工程管理硕士点,软件工程、集成电路工程、项目管理、工业设计、电子与通信工程、计算机技术等6个领域的 ...
    本站小编 免费考研网 2016-05-10
  • 北京大学软件与微电子学院2016年电子与通信工程硕士专业学位研究生招生简章
    北京大学软件与微电子学院是经教育部、国家计委批准成立的国家示范性软件学院,也是教育部、发改委和科技部等六部委批准建设的国家示范性微电子学 院。学院设有电子与信息领域工程博士点,工程管理硕士点,软件工程、集成电路工程、项目管理、工业设计、电子与通信工程、计算机技术等6个领 ...
    本站小编 免费考研网 2016-05-10