2011年计算机科学与技术基础

NJU2011年计算机科学与技术基础试卷与答案科目名称：计算机科学与技术基础一、（10分）我们有下列两个问题，并已有各自的算法：1.已知等腰三角形各边长，求高。2.已知直角三角形的任意两边长，求第三边的长度。利用这两个问题解释多项式时间规约的概念，并说明多项式时间规约在计算机算法理论中的作用。NP问题的全称是：NondeterministicPloynomial问题，即非确定性多项式问题。多项式时间（Polynomialtime）在计算复杂度理论中，指的是一个问题的计算时间m(n)不大于问题大小n的多项式倍数。答案参考：等腰三角形可分解成对称的两个直角三角形，问题2的答案可用于解决问题1。因此问题2若能在多项式时间内解决，则问题1也能在多项式时间内解决。（多项式时间归约假定给了两个问题类q和q0,如果存在一个确定型图灵机Mq和一个多项式P,对于q中任意一个实例x,Mq都能在P(n)时间内计算出q0中一个实例y(其中n是实例x的编码长度)，使得xq中有肯定回答的实例，当且仅当y是q0中有肯定回答的实例,我们就说q多项式时间归约到q0）多项式时间规约对于研究NP，NP完全问题具有重大作用。对于一个规模为n的输入，在最坏情况下的运行时间是)(knO，其中k是某一确定的常数，即称时间负责度为的算法为多项式时间算法。一般来说，在多项式时间内可解的问题是易处理的问题，在超过多项式时间内解决的问题是不易处理的问题。不能够这样限制时间复杂度的算法被称为指数时间算法。例如，时间复杂度为O(nlog(n))、O(n^3)的算法都是多项式时间算法，时间复杂度为O(n^log(n))、O(n!)、O(2^n)的算法是指时间算法。计算复杂性理论所研究的资源中最常见的是时间（要通过多少步演算才能解决问题）和空间（在解决问题时需要多少内存）。其他资源亦可考虑，例如在并行计算中，需要多少并行处理器才能解决问题。时间复杂度是指在计算机科学与工程领域完成一个算法所需要的时间，是衡量一个算法优劣的重要参数。时间复杂度越小，说明该算法效率越高，则该算法越有价值。空间复杂度是指计算机科学领域完成一个算法所需要占用的存储空间，一般是输入参数的函数。它是算法优劣的重要度量指标，一般来说，空间复杂度越小，算法越好。我们假设有一个图灵机来解决某一类语言的某一问题，设有X个字（word）属于这个问题，把X放入这个图灵机的输入端，这个图灵机为解决此问题所需要的工作带格子数总和称为空间。计算复杂性理论最成功的成果之一是NP完备理论。NP是指“在非确定性图灵机上有多项式时间算法的问题”的集合，而P是指“在确定性图灵机上有多项式时间算法的问题”的集合。P类问题、NP类问题和NP完全性（NPC）P类问题：一个优化问题如果已经找到了多项式时间算法，则称该问题为多项式时间可解问题，并将这类问题的集合记为P，因此在多项式时间内可解决的问题就称为P类问题。一个问题如果没有找到多项式时间算法，那么直觉上它是“难解”的，但又往往无法证明多项式时间算法的不存在性。由于在寻找有效算法上的失败未必一定意味着这样的算法不存在，这就给理论工作者带来了一个难题：一方面证明一个问题不存在多项式时间算法是困难的，至今尚未给出；另一方面有越来越多的问题无法给出多项式时间算法。为此，在20世纪70年代提供了一个漂亮的理论，它把这种失败归结为一个深刻的数据猜想称为NP完全性理论。定义：给定一个判定问题，如果存在一个算法，对任何一个答案为“是”的实例I。该算法首先给出一个猜想，该猜想规模不超过I的输入长度的某个多项式函数，且验证猜想的正确性仅需多项式时间，则称该问题属于NP类。定义：如果NP类中所有问题都可以多项式时间归约到NP类中某个问题x，则称x是NP-完全问题。定义：如果某优化问题x的判定问题是NP-完全的，则称问题x是NP-难的；如果x的判定问题是强NP-完全的，则称x是强NP-难的。二、（15分）1.以Quicksort算法为例，解释什么是最好情况时间复杂度、最坏时间复杂度、平均时间复杂度？2.在Quicksort算法中选择第一个元素为比较基准对象或者通过随机方法来选择一个元素为比较基准对象效果有差别吗？请给出解释。三、在软件建模过程中，人们往往先建立平台无关的模型（PlatformIndependentModels，PIM），然后再建立特定实现平台上的平台相关模型（PlatformSpecificModels，PSM）。请简单论述这种建模方法的优点（10分）四、简述软件体系结构的概念。在模型-试图-控制器模式（ModelViewController，MVC）中，视图主要担负什么样的责任？（7分）软件体系结构是具有一定形式的结构化元素，即构件的集合，包括处理构件、数据构件和连接构件。处理构件负责对数据进行加工，数据构件是被加工的信息，连接构件把体系结构的不同部分组组合连接起来。如何表示软件体系结构，即如何对软件体系结构建模。根据建模的侧重点的不同，可以将软件体系结构的模型分为5种：结构模型、框架模型、动态模型、过程模型和功能模型。在这5个模型中，最常用的是结构模型和动态模型。（1）结构模型这是一个最直观、最普遍的建模方法。这种方法以体系结构的构件、连接件和其他概念来刻画结构，并力图通过结构来反映系统的重要语义内容，包括系统的配置、约束、隐含的假设条件、风格、性质。研究结构模型的核心是体系结构描述语言。（2）框架模型框架模型与结构模型类似，但它不太侧重描述结构的细节而更侧重于整体的结构。框架模型主要以一些特殊的问题为目标建立只针对和适应该问题的结构。（3）动态模型动态模型是对结构或框架模型的补充，研究系统的大颗粒的行为性质。例如，描述系统的重新配置或演化。动态可能指系统总体结构的配置、建立或拆除通信通道或计算的过程。这类系统常是激励型的。（4）过程模型过程模型研究构造系统的步骤和过程。因而结构是遵循某些过程脚本的结果。（5）功能模型该模型认为体系结构是由一组功能构件按层次组成，下层向上层提供服务。它可以看作是一种特殊的框架模型。这5种模型各有所长，也许将5种模型有机地统一在一起，形成一个完整的模型来刻画软件体系结构更合适。例如，Kruchten在1995年提出了一个4+1的视角模型。4+1模型从5个不同的视角包括逻辑视角、过程视角、物理视角、开发视角和场景视角来描述软件体系结构。每一个视角只关心系统的一个侧面，5个视角结合在一起才能够反映系统的软件体系结构的全部内容。MVC全名是ModelViewController，是模型(model)－视图(view)－控制器(controller)的缩写，一种软件设计典范，用一种业务逻辑和数据显示分离的方法组织代码，将业务逻辑被聚集到一个部件里面，在界面和用户围绕数据的交互能被改进和个性化定制的同时而不需要重新编写业务逻辑。MVC被独特的发展起来用于映射传统的输入、处理和输出功能在一个逻辑的图形化用户界面的结构中。这个模式认为，程序不论简单或复杂，从结构上看，都可以分成三层。1）最上面的一层，是直接面向最终用户的视图层（View）。它是提供给用户的操作界面，是程序的外壳。2）最底下的一层，是核心的数据层（Model），也就是程序需要操作的数据或信息。3）中间的一层，就是控制层（Controller），它负责根据用户从视图层输入的指令，选取数据层中的数据，然后对其进行相应的操作，产生最终结果。这三层是紧密联系在一起的，但又是互相独立的，每一层内部的变化不影响其他层。每一层都对外提供接口（Interface），供上面一层调用。这样一来，软件就可以实现模块化，修改外观或者变更数据都不用修改其他层，大大方便了维护和升级。MVC模式（Model-View-Controller）是软件工程中的一种软件架构模式，把软件系统分为三个基本部分：模型（Model）、视图（View）和控制器（Controller）。MVC是一个框架模式，它强制性的使应用程序的输入、处理和输出分开。使用MVC应用程序被分成三个核心部件：模型、视图、控制器。它们各自处理自己的任务。最典型的MVC就是JSP+servlet+javabean的模式。1、模型（Model）模型是应用程序的主体部分。模型表示业务数据，或者业务逻辑.2、视图（View）视图是应用程序中用户界面相关的部分，是用户看到并与之交互的界面。3、控制器（controller)控制器工作就是根据用户的输入，控制用户界面数据显示和更新model对象状态。MVC式的出现不仅实现了功能模块和显示模块的分离，同时它还提高了应用系统的可维护性、可扩展性、可移植性和组件的可复用性。MVC模式的目的是实现一种动态的程式设计，使后续对程序的修改和扩展简化，并且使程序某一部分的重复利用成为可能。除此之外，此模式通过对复杂度的简化，使程序结构更加直观。软件系统通过对自身基本部分分离的同时也赋予了各个基本部分应有的功能。专业人员可以通过自身的专长分组：（控制器Controller）-负责转发请求，对请求进行处理。（视图View）-界面设计人员进行图形界面设计。（模型Model）-程序员编写程序应有的功能（实现算法等等）、数据库专家进行数据管理和数据库设计(可以实现具体的功能)。模型（Model）“数据模型”（Model）用于封装与应用程序的业务逻辑相关的数据以及对数据的处理方法。“模型”有对数据直接访问的权力，例如对数据库的访问。“模型”不依赖“视图”和“控制器”，也就是说，模型不关心它会被如何显示或是如何被操作。但是模型中数据的变化一般会通过一种刷新机制被公布。为了实现这种机制，那些用于监视此模型的视图必须事先在此模型上注册，从而，视图可以了解在数据模型上发生的改变。（比较：观察者模式（软件设计模式））视图（View）视图层能够实现数据有目的的显示（理论上，这不是必需的）。在视图中一般没有程序上的逻辑。为了实现视图上的刷新功能，视图需要访问它监视的数据模型（Model），因此应该事先在被它监视的数据那里注册。视图(View)代表用户交互界面，对于Web应用来说，可以概括为HTML界面，但有可能为XHTML、XML和Applet。随着应用的复杂性和规模性，界面的处理也变得具有挑战性。一个应用可能有很多不同的视图，MVC设计模式对于视图的处理仅限于视图上数据的采集和处理，以及用户的请求，而不包括在视图上的业务流程的处理。业务流程的处理交予模型(Model)处理。比如一个订单的视图只接受来自模型的数据并显示给用户，以及将用户界面的输入数据和请求传递给控制和模型。控制器（Controller）控制器起到不同层面间的组织作用，用于控制应用程序的流程。它处理事件并做出响应。“事件”包括用户的行为和数据模型上的改变。五、简述Agent开发技术中，Agent的特点。（8分）Agent是指驻留在某一环境下能够自主、灵活地执行动作以满足设计目标的行为实体。现在对Agent技术的研究主要集中在两方面，一是人工智能，知识工程领域，侧重于研究Agent的认知，学习，决策，分布式求解等方面；另一方面是将Agent视为一种新的计算模型，侧重于如何构造基于Agent的系统，Agent软件体系结构，开发方法，程序设计语言等。面向Agent开发的方法学主要有几种流派：第一，借助于组织学和社会学的思想和概念来对于基于Agent系统进行描述分析和建模，代表为Gaia方法，但Gaia是一种通用的，独立于具体实现技术和方法的方法，这意味着它可以用现有技术来实现，比如扩展的OO技术。Gais方法在需求分析阶段包括两个模型，角色模型和交互模型，在设计阶段有三个模型，分别为Agent的模型，服务模型和熟人模型。其中Agent模型包括信念模型，目标（愿望）模型，计划（意图）模型，第二，借助于知识工程领域概念、思想和技术（如认知科学、人工智能等）对基于Agent系统进行建模、分析和设计，比如Trop