赤条条的博客

规定功能是指提供的服务。其中N个版本的程序必须由不同的人独立设计，使用不同的方法、设计语言、开发环境和工具来实现，目的是减少N个版本的程序在表决点上相关错误的概率。：结构冗余（硬件冗余、软件冗余）、信息冗余（校验码）、时间冗余（重复多次执行相同的计算），其中软件冗余包括N版本程序设计（静态冗余）、恢复块设计（动态冗余）、防卫式程序设计。ATAM：在SAAM基础上发展起来的，主要针对性能、可用性、安全性和可修改性，在系统开发之前，对这些质量属性进行评价和折中，整个评估过程强调以属性作为架构评估的核心概念。

拥塞控制：防止过多的数据注入到网络中，避免网络中的路由器或链路过载。发送方的发送窗⼝不能⼤于接收⽅的接收窗⼝，如果接收⽅没有⾜够的缓存来接收数据，发送⽅就会收到⼀个零窗⼝的通知，此时发送⽅停⽌发送，并且定时发送⼀个窗⼝探测报⽂来探测接收⽅的接收能⼒。停⽌等待ARQ协议：每发完一个分组就停⽌发送，等待对⽅确认（回复ACK），并设一个计时器，如果计时器超时还没有收到对方确认，就重新发送该分组，直到收到对方的确认或达到重传次数为止，期间发送方收到重复的确认以及接收方收到重复的分组都选择忽略。

配置管理系统中管理的是配置项（包括各种文档、代码和运行所需数据，主要属性有名称、标识符、版本、作者、日期等），所有的配置项都被保存在配置库里，配置库分为开发库（随便修改）、受控库（修改需要走变更控制流程）、产品库（禁止修改）基于构件的软件工程（Component-Base Software Engineering，CBSE）：使得软件开发不再是一切从头开始，开发的过程主要就是构件组装的过程，维护的过程主要就是构件升级、替换和扩充的过程，其优点是提高了软件开发的效率。过程包括：成本估算、成本预算、成本控制。

基准程序法：把应用程序中用得最多、最频繁的那部分核心程序作为评估计算机系统性能的标准程序，称为基准测试程序（benchmark）。等效指令速度法（Gibson mix 吉普森混合法）：通过各类指令在程序中所占的比例进行计算得到。综合理论性能法（CTP，Composite Theoretical Performance）：用MTOPS每秒百万次理论运算表示。数据处理速率法（PDR， Processing Data Rate）：PDR值越大，机器性能越好。指令执行速度法：表示机器运算速度，单位是MIPS。

信息系统分类：业务（数据）处理系统（Transaction/Data Processing System，TPS、DPS）、管理信息系统（Management Information System，MIS）、决策支持系统（Decision Support System，DSS）、专家系统（Expert System，ES），办公自动化系统（Office Automation System，OAS）数据管理阶段：企业高层意识到信息战略的重要，信息成为企业的重要资源，企业的信息化建设真正进入到数据处理阶段。

S

程序查询方式是指CPU不断查询I/O是否准备好数据，如果准备好了，则CPU会调用数据进行处理，如果没有准备好，CPU会持续等待I/O准备数据。3、嵌入式芯片：DSP（数字信号处理器）、SoC（片上系统）、MPU（微处理器）、MCU（单片微型计算机或单片机）、GPU（图形处理器）（2）指令与数据分开存储，即程序存储器和数据存储器是两个独立的存储器，它们独立编址独立访问，可以并行读取，有较高数据吞吐率。总线通信方式分为：单工（单向传输）、半双工（轮流双向传输）、全双工（同时双向传输）

12.1、函数依赖：设R(U)是一个属性集U上的关系模式，X和Y是U的子集，若对于R(U)的任意一个可能的关系r，r中不可能存在两个元组在X上的属性值相等，而在Y上的属性值不等，则称“Y函数依赖于X”，记作X→Y。⊆Uj，Fi为F在Ui上的投影，若F所逻辑蕴涵的函数依赖一定也由分解得到的某个关系模式中的函数依赖Fi所逻辑蕴涵，则称关系模式R的这个分解是保持函数依赖的。2.2、外模式是逻辑模式的子集，介于应用与逻辑模式之间，一个逻辑模式对应多个外模式， 一个外模式可以有多个应用，一个应用也可以有多个外模式。