从没有银弹到银弹加工场2ny3

《从没有银弹到银弹加工场2ny3》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、从没有银弹到银弹加工场本文作者系中国人工智能协会可拓工程专业委员会青年部负责人，可拓学网址：http://web.gdut.edu.cn/~extenics/——可拓学及可拓工程方法介绍李兴森1，秦建军2，黄红梅31、中国科学院研究生院管理学院，北京2、北京交通大学机电学院，北京3、广东工业大学自动化学院，广州在网上流传一则文言文的笑话：“今有程序员五人，需时日几何方得完成？”“一年。”“吾急需之！若有十人，几何？”“二年。”“百人若何？”“万世。”这则笑话正是反映了软件开发领域的人月工作量问题。程序员越多，进度越慢。正

2、因如此，《人月神话》真的像神话一样成为具有深远影响力和畅销不衰的著作。作者弗雷德里克·布鲁克斯是北卡罗莱纳大学商学院的计算机科学教授，曾荣获美国计算机领域最具声望的图灵奖（A.M.TuringAward）桂冠。他被认为是“IBM360系统之父”，曾担任了360系统的项目经理，以及360操作系统项目设计阶段的经理。凭借在上述项目中的杰出贡献，Brooks博士在1985年荣获了美国国家技术奖，美国计算机协会（ACM）称赞他“对计算机体系结构、操作系统和软件工程做出了里程碑式的贡献。”《人月神话》一书为人们管理复杂项目提供了最

3、具洞察力的分析。作者以“焦油坑”类比大型软件项目的开发，从自身所经历的大型软件项目的开发与管理的工作入手，详尽的分析并论述了软件工程中所面临的问题。2003年《人月神话》排在china-pub年度总销售榜的第4名。这本软件工程管理的书历时30多年，深具影响力而且历久不衰，其中一个原因就在于30多年前软件开发领域遇到的问题和困扰，今天仍然存在，继续困扰着后来者。从软件危机被提出以来，人们一直在寻找解决它的方法。于是一系列的方法被提出并且加以应用。比如：结构化的程序设计，面向对象方法，能力成熟度模型（CMM），统一建模语言（

4、UML）等等。在1986年，IBM大型电脑之父FredBrooks发表了他的著名论文《没有银弹》。在这篇论文中他预言：“在10年内无法找到解决软件危机的银弹”。这篇论文在其后引起了巨大的反响。《人月神化》没讲标准，没有提供银弹，但它可以给人带来很多思考，为怎样做好一个项目提供了参考。软件工程是为开发软件服务的，标准不是目的，只是手段。随着网络技术的发展和企业竞争环境的变化加剧，对软件的适应性提出了更高的要求。软件工程这一“人狼”野性十足，越来越强壮、越来越难以控制，而银弹却不知隐藏在何处？当我们苦苦搜寻30余年而一无所获

5、之余，有没有考虑自己加工银弹呢？其实银弹加工场早已存在，只是我们没有人去利用那些设备或者没有听说加工场的存在而已。解决矛盾问题有无规律可循？能否建立一套形式化的理论与方法，按照一定的程序，生成解决它们的策略？然后，利用这些理论和方法，研究计算机能操作的推理方法和技术，使计算机能帮助人们处理矛盾问题。这就是蔡文研究员在1976年确定要探索的研究方向，1983年，《科学探索学报》发表了可拓学的开创性文章“可拓集合和不相容问题”，标志着可拓学这门新学科的诞生。二十多年来，国家自然科学基金委员会等和一大批专家学者支持和参与了可拓

6、学的建设，初步构建了一门新兴学科——可拓学。可拓学是用看得见的形式化模型研究事物拓展的可能性和开拓创新的规律与方法，并用于解决矛盾问题的学科。它的研究对象是矛盾问题，基本理论是可拓论，方法体系是可拓方法，逻辑基础是可拓逻辑，应用技术是可拓工程。1可拓学的研究对象人类的历史，是一部解决矛盾问题、不断开拓的历史。可拓学的研究对象是现实世界中的矛盾问题。例如,在“曹冲称象”的故事中，要称一头大象，却只有能称20公斤的小秤。在《三国演义》中，诸葛亮要对付司马懿的十万精兵，却只有五千老弱残兵。其实，在诸多工程领域，如项目管理、机械

7、控制、软件开发、企业人力资源管理等，都会碰到各种各样的矛盾问题。那么，解决矛盾问题有无规律可循？有无理论可依？能否建立一套方法，来处理矛盾问题，这就是可拓学研究的出发点。2可拓学的逻辑细胞可拓学采用形式化的语言物元、事元和关系元（统称为基元）表达事、物、关系和问题，基元是可拓学的逻辑细胞。它包括事物、特征、量值三个要素。例如：事物特征量值物元大象重量2000公斤小秤秤量100公斤事元打支配对象篮球施动对象软件测试组地点清华体育馆时间5月2日关系元借贷前项公司A后项银行B程度500万元维系方式合同地点北京市上例中的物元描述

8、了一头重2000公斤的大象和秤量200公斤的小秤；事元描述软件测试组5月2日在清华体育馆打篮球；关系元描述了公司A和银行B存在通过合同借贷500万元的关系，关系产生地点在北京市。这样就好像把棋子摆在了桌面上，下一步就看根据什么规则，如何来下棋。3可拓学的理论框架①基元理论基元的可拓性和物元的共轭性是基元理论的核心，而