软件工程硕士论文：逻辑在计算机软件工程技术中的应用

   ―、选题的缘由及意义

   目前现代逻辑中对软件工程研究领域中的人工智能与识别的深入研巧比较多，比如想要研究的软件工程技术中软件开发团队模式，我们可利用逻辑方法去分析其中的合理性，合理的定义整个开发组织中的各种角色、职责和技能要求，合理明确＂谁＂、在＂什么时间＂、做＂什么＂、＂怎么做＂和如何评测等内容，不断改进软件团队的生产效率和软件产品质量レッ此对软件工程中软件领域建模进行深入研究，可类比于数学建模，选择几个经典领域比如说高考阅卷系统、校园卡建设、地铁管理系统、环境评价体系等的一个或几个进行对软件领域建模。数理逻辑与计算机的结合是现代逻辑学发展的第一次转向。上世纪４０年代，冯诺伊曼在从事电子计算机的研制时，把３０年代中数理逻揖的成果特别是图灵机的成果充分加以吸收，从而为现代电子计算机的研制做出了开创性的贡献。包括图灵机理论在内的可计算性理论现在已成为整个计算机科学的基础理论，是不可缺少的工具。数理逻辑的成果推进了计算机科学的发展，同时，数理逻辑也随着计算机科学的发展得到广泛普及。、当前，逻镇研究正在经历第二次转向一认知转向。逻辑研究与认知科学相结合起源于当今计算机科学发展的需要。当前计算机科学发展进入了知识处理和智能模巧领域，各国科学家们正致力于研究具有人类智能的第五代计算机，这种计算机能够模拟人的各种感知レッ应对外界的变化。由于当代科学对人脑研究还是处于黒箱阶段，不能揭示人脑内部活动的全部过程，因此，利用逻辑知识模拟其内部反应过程并此做成应变系统是不可能的。然而，尽管人们对人脑内部活动不了解，但却可Ｗ掌握它的外部反应。与此同时，一系列尚待解决的新问题和急需研究的新领域也不断突现。人们在上述方向上己取得的成果和未解决的问题己是逻辑学家所关注的热点，送一切暗示着逻辑学正在经历它诞生Ｗ来的又一次重要的变化：逻辑学的认知转向。上述交叉学科将带动逻辑学和认知屯、理学的发展，使它们为信息科学尤其是计算机科学的理论与应用提供方法。因而，说明逻辑在此研究具有重要意义。我们知道，计算机领域对于几个逻辑体系不同计算机或软件系统也存在着互连和兼容的问题，我们不能保证所有的软件系统可以兼容，如何进行协调？如何使其最大程度上兼容，如果不能兼容，软件系统可否自动予以调整，这些都是需要研究的问题。其实计算机逻辑语言并不多，大家在编写相关程序的时候是可以考虑兼容性的，但是有许多逻溝语言是不完备的，用来开发出来的程序具有许多漏洞，如果两种不同语言开发出来的软件可兼容，并且能够减少运行中的漏洞，提高运行的安全性，从逻辑语言相容的角度来考虑，从而提离编程效率。可以运用逻辑技术深入研究利用逻辑系统兼容性研究，更便于程序员开发设计软件，节省大量的人力、物力并且在后期的软件维护中，通过这些研究也便于改进软件。此外，本文课题也是２０１３年中国逻辑学会学术研究项目立项名单中青年项目（本人是主要参与者，排名第二）；从应用的角度，交叉学科将带动逻辑学和其他学科的发展，使它们为信息科学尤其是计算机科学的理论与应用提供方法。用到计算机软件设计知识，又深深与当代逻辑发展和应用密切相连，这体现了学科间的交叉性和融合性，同时无论是对于逻辑研究还是对于市场分析研究，智能软件开发方向主要研巧以认知逻辑、非形式逻漫、数理還辑和人工智能的逻辑为工具，以人类知识表达为背景，结合具体学科的知识表达和推理特点，建构智能化推理的模型，开发具有实用性的智能软件，将人文社会科学的技术成果转化为生产力。通过此研究我们既要运用到数学建模方面知识，也要用到计算机软件设计知识，又深深与当代逻辑发展和应用密切相连，这体现了学科间的交叉性和融合性，同时无论是对于逻辑研究还是对于市场分析都具有非常重要的意义。本文从软件工程技术角度入手，可以说此项研究贯穿了软件工程技术一系列的方面，因而具有一定的理论意义。

本文在一方面通过对计算机软件工程中的部分生命周期各个阶段进行研究，发现其与逻揖学之间的联系，并且通过列举一些事例作为解析这些应用之间的关系，以便更好的说明逻辑学在其中的应用，并岛在软件开发阶段中有涉及到逻揖应用的方面也做了比较和拓展。此外，在另一个方面，本文选取软件开发中其他软件工程技术为视角，详细说明了一些逻辑方法在软件开发过程中，特别是对于开发团队的一些应用。分别说明了一堅逻辑方法在软件开发团队中的应用，更加详细的论述了逻辑学在计算机软件工程中的作用，强化了逻辑学应用。同时，通过此文，不难发现逻辑学与众多学科之间的交叉关系，在科学决策的时候与管理学有联系、在领域建模的时候与数学有联系、在实际应用时候与计尊机有着密切的联系，因而本文着重从逻辑学的应用方面论述其重要性。逻辑学中特别是数理還辑在人工智能方面的研究也是当今的重点之一，由于相关知识储备不充分，就没有在这方面进行展开讨论，其中的代码编写方面也是粗略的进行了比较，没有深入研究，因此，本文在这些方面有待进一步考虑。综上，跨学科的研究需要不断的进行知识的积累，逻辑学与计算机中的密切相关，在软件工程技术中也有着重要的应用价值。