计算机方法论chapter7 计算学科中的核心概念.pptVIP

计算机科学中12个核心概念 1．绑定（Binding） 绑定指的是通过将一个对象（或事物）与其某种属性相联系，从而使抽象的概念具体化的过程。例如，将一个程序的执行过程与一个处理机联系起来；一个变量与其类型或值联系起来。 2．大问题的复杂性（Complexity of Large Problems） 大问题的复杂性是指随着问题规模的增长而使问题的复杂性呈非线性增加的效应。随着问题复杂性的增加，系统分析的任务将呈几何级数增长。这种非线性增加的效应是区分和选择各种现有方法和技术的重要因素。 计算机科学中12个核心概念 3．概念模型和形式模型（Conceptual and Formal Models） 概念模型和形式模型是对一个想法或问题进行形式化、特征化、可视化思维的方法。 抽象数据类型、语义数据类型以及指定系统的图形语言，如数据流图和E-R图等都属于概念模型。而逻辑、开关理论和计算理论中的模型大都属于形式模型。 概念模型和形式模型以及形式证明是将计算学科各分支统一起来的重要核心概念。 计算机科学中12个核心概念 4．一致性和完备性（Consistency and Completeness） 一致性包括用于形式说明的一组公理的一致性、事实和理论的一致性，以及一种语言或接口设计的内部一致性。 完备性包括给出的一组公理，使其能获得预期行为的充分性、软件和硬件系统功能的充分性，以及系统处于出错和非预期情况下保持正常行为的能力等。 在计算机系统设计中，正确性、健壮性和可靠性就是一致性和完备性的具体体现。 计算机科学中12个核心概念 5．效率（Efficiency） 效率是关于空间、时间、人力、财力等资源消耗的度量。在计算机软硬件的设计中，要充分考虑某种预期结果所达到的效率，以及一个给定的实现过程较之替代的实现过程的效率。 6．演化（Evolution） 演化指的是系统的结构、状态、特征、行为和功能等随着时间的推移而发生的更改。 这里主要是指了解系统更改的事实和意义及应采取的对策。在软件进行更改时，不仅要充分考虑更改对系统各层次造成的冲击，还要充分考虑到软件的有关抽象、技术和系统的适应性问题。 计算机科学中12个核心概念 7．抽象层次（Levels of Abstraction） 抽象层次指的是通过对不同层次的细节和指标的抽象对一个系统或实体进行表述。在复杂系统的设计中，隐藏细节，对系统各层次进行描述（抽象），从而控制系统的复杂程度。 例如，在软件工程中，从规格说明到编码各个阶段（层次）的详细说明，计算机系统的分层思想，计算机网络的分层思想等。 计算机科学中12个核心概念 8．按空间排序（Ordering in Space） 按空间排序指的是各种定位方式，如物理上的定位（如网络和存储中的定位），组织方式上的定位（如处理机进程、类型定义和有关操作的定位）以及概念上的定位（如软件的辖域、耦合、内聚等）。 按空间排序是计算技术中一个局部性和相邻性的概念。 9．按时间排序（Ordering in Time） 按时间排序指的是事件的执行对时间的依赖性。 例如，在具有时态逻辑的系统中，要考虑与时间有关的时序问题； 在分布式系统中，要考虑进程同步的时间问题； 在依赖于时间的算法执行中，要考虑其基本的组成要素。 计算机科学中12个核心概念 10．重用（Reuse） 重用指的是在新的环境下，系统中各类实体、技术、概念等可被再次使用的能力。如软件库和硬件部件的重用等。 11．安全性（Security） 安全性指的是计算机软硬件系统对合法用户的响应及对非法请求的抗拒，以保护自己不受外部影响和攻击的能力。 如为防止数据的丢失、泄密而在数据库管理系统中提供的口令更换、操作员授权等功能。 计算机科学中12个核心概念 12．折衷和结论（Tradeoff and Consequences） 折衷指的是为满足系统的可实施性而对系统设计中的技术、方案所作出的一种合理的取舍。 结论是折衷的结论，即选择一种方案代替另一种方案所产生的技术、经济、文化及其他方面的影响。 折衷是存在于计算学科领域各层次上的基本事实。如在算法的研究中，要考虑空间和时间的折衷；对于矛盾的设计目标，要考虑诸如易用性和完备性、灵活性和简单性、低成本和高可靠性等方面所采取的折衷等。 “以时间换空间”、“以空间换时间”。