计算机科学技术百科全书

　　片断：巴克斯－诺尔形式体系（Backus－Naurformal－ism，BNF）用以描述程序设计语言语法的一种形式体系。它是以美国IBM公司的研究员J.Backus和丹麦哥本哈根大学P.Naur教授共同命名的，最初用于ALGOL60语言的语法，是一种典型的元语言。BNF还可看成是Backus－Naurform，BackusN－ormalform和Backus－Normalformalism的缩略语。它能严格地表示一类上下文无关语言的局部语法规则。因此，自从它被ALGOL60语言文本采用后，已得到广泛的推广，为各种计算机程序设计语言普遍采用。BNF表示语法规则的方法为：非终极符号用尖括号括起来。每条规则的左部是一个非终极符号，右部是一个由非终极符号和终极符号组成的一个符号串，左右部之间以∷＝分开。具有相同左部的规则可以公用一个左部，各右部之间以竖号｜隔开。例如，定义标识符的一组BNF公式为：〈标识符〉：：＝〈字母〉｜〈标识符〉〈字母〉〈标识符〉〈数字〉〈字母〉：：＝a｜b｜c｜…｜z〈数字〉：：＝0｜1｜2…｜9（程虎）Bakesifanshi巴克斯范式（Backusnormalform）精确描述程序设计语言的语法的一种形式系统。又称巴克斯－诺尔形式，简称BNF（BNF还可看成BackusNormalFormalism的缩写或Backus－NaurFormalism的缩写）。计算机科学家巴克斯和诺尔最早用它来描述程序设计语言的语法，因而得名。程序设计语言的语法成分，如标识符、表达式、句子等，大多可以用BNF的产生规则加以描述。BNF的产生规则只用到两个元符号：一个为“∷＝”，表示“定义为”，另一个为“｜”，表示“或”。每条规则恰含一个“∷＝”，它将规则分为左右两部分。左边是一个被定义的非终结符（代表某个语法成分，通常对应有确定含义），右边是由非终结符或/与终结符组成的一个符号串，或由“｜”隔开的几个这样的符号串。这里终结符指程序设计语言字符集的基本字符。例如：〈二进制数字〉：：＝0｜1〈十进制数字〉：：＝0｜1｜2｜3｜4｜5｜67｜8｜9分别定义了二进制数字和十进制数字。产生规则的右边可以出现其它已有定义的非终结符。例如：〈数字〉：：＝〈二进制数字〉｜〈十进制数字〉产生规则的右边也可以出现正在定义的左边非终结符，表示递归定义。例如：〈标识符〉：：＝〈字母〉｜〈标识符〉〈字母〉｜〈标识符〉〈数字〉将“标识符”定义为以字母打头的字母数字串。BNF自从在ALGOL60语言文本中首次采用以来，已在许多计算机学科中得到广泛的应用。参考文献陈火旺等.程序设计语言编译原理.国防工业出版社，1984（陈火旺贲可荣）bang0ngxinxixitong办公信息系统（officeinformationsystem，OIS）由办公人员和办公设备构成，以提高办公效益和效能为目的的人机信息系统。办公设备一般包括计算机（硬、软件）、通信、文字处理和印刷等设备，计算机是核心。办公信息系统涉及行为科学、系统科学、计算技术和通信技术等学科。它是一个人机系统，设备和资源（包括数据和软件）是重要条件，但人是办公的决定因素。它所处理的数据已从单一的文本数据发展到包括文本、语音、图形、图象、动画、视频等的多媒体数据。办公信息系统一词从办公自动化（OA）演变而来。随着社会的发展，与办公有关的就业人员所占的比例愈来愈大，因而如何提高办公效率和办公质量就成为突出的矛盾。办公自动化一词首创于1936年，意即运用打字机、电话等单项设备来帮助办公人员处理办公业务。60年代，电子技术有了长足的进步，账单、会计、工资等开始用计算机处理，办公自动化技术在西方有较快的发展。70年代中期，先进的办公设备不断出现，如多功能电话机、复印机、传真机、文字处理机等；计算机局域网和数据库等新技术在办公自动化中获得应用；办公范围也逐步扩大到跨城市乃至全球规模。办公自动化已从早期的局部技术发展成为多功能的信息系统，这是一个质的飞跃。1980年初，美国C.A.Ellis认为办公自动化一词易被误解，建议改为办公信息系统。80年代中期以后，随着微机、电子邮件、窗口界面、多媒体等技术和电子数据交换的迅速发展和在OIS中的广泛应用，办公信息系统已发展成以通信技术与计算技术相结合的综合办公信息系统。1988年美国计算机协会（ACM）的办公自动化专业组（SIGOA）更名为办公信息系统专业组（SIGOIS），但在国际上OI3和OA仍是通用的。目标和服务对象办公信息系统通过数据的收集、存储、传递、管理和处理等手段，为办公人员提供信息服务，以提高办公效率和办公质量，从而获得经济效益和社会效益。办公信息系统的推广应用导致办公组织机构和工作方式以及办公流程等的变革，对原有办公人员的素质提出了新的要求，同时也提供了许多新的就业机会。办公信息系统的服务对象包括各级领导、一般管理人员、业务人员、秘书、操作员等。单位的高层领导主要用于进行战略决策，他们关心的是宏观信息。部门领导在其部门的战术决策上起关键作用，所关心的是本部门的管理信息。一般管理人员和业务人员分工处理各自的业务，进行业务操作和管理。秘书和操作员主要从事事务操作。办公模型办公模型是办公过程的抽象。根据不同的办公观点可建立不同的模型：（1）信息流模型着眼于信息流的传递，如信息控制网络模型ICN（1979），表格流模型FFM（1980）；（2）活动模型以办公活动或流程为基础，如用Petri网描述的SCOOP模型（1977），办公任务管理模型OrM（1988）；（3）功能模型以办公功能为基础，如功能实体模型（1984），概念模型（1987）；（4）语义模型从数据库和人工智能引入，如知识嵌入语言的OMEGA模型（1983）；（5）社会政治模型不着眼于办公行为本身，而着重于其社会作用，即人际关系和知识交换，认为办公过程是互相冲突的相互谈判的序列，如行为者模型（1984）。办公模型主要用于对系统的描述与说明，对办公活动的动态模拟，系统的方案比较等。它是设计和评价办公信息系统的工具。层次结构按照功能，办公信息系统可划分为事务处理层、信息管理层和决策支持层三个层次。（1）事务处理层这是办公信息系统最基本的层次。它主要提供操作级服务，运用现代化办公设备帮助办公人员处理日常办公事务。其基础为文字处理，主要包括文字编辑、表处理、电子印刷、行文管理、文档管理、日程管理、项目管理、资源管理、电子邮件等。办公软件包、各种文字处理软件、表格处理软件和图形接口软件等都是该层的基本软件。（2）信息管理层主要提供信息服务，它以数据库为支撑，提供诸如计划、人事、财务、生产、供销、库存、能源、运输、政策法规、经济动态、市场信息等方面的信息服务。（3）决策支持层主要提供决策服务，针对上层领导的需要，对某一特定问题，构造相应的数学模型，进行辅助决策。对于半结构化和非结构化的问题，往往需要应用人工智能技术，如专家系统、神经网络等。类型按照办公信息系统所能支持的最高层次，办公信息系统可划分为事务处理型、信息管理型和决策支持型三种。办公信息系统也可按其所服务的组织机构划分为若干层次，如政府办公信息系统有中央部委、省市、地、县等办公信息系统之分；企业有总公司、分公司、工厂、车间等层次的办公信息系统。各层次还可按功能划分为若干子系统。办公信息系统还可按行业的特点划分为以下类型：事务型以文字处理和事务处理为主的办公信息系统。如行文系统、订单处理、民航订票、编辑出版、图书馆等；专业型服务对象为各种专业机构，如律师、会计、审计事务所，设计院等；案例型以案例为主的办公信息系统，如用于法院、公安、医院等的办公信息系统；生产型以生产管理为主，主要涉及生产的计划、组织、指挥、控制等，而以经营管理为辅，或称生产经营型办公信息系统；本书前言前言半个世纪以来，计算机科学技术以磅礴之势迅猛发展，它以非凡的渗透力与亲合力，深入人类活动的各个领域，对人类社会的进步与发展产生了巨大的影响。计算机应用于科学研究，大大增强了人类认识自然与开发、改造和利用自然的能力，促进了现代科学技术的发展；计算机应用于生产，大大提高了人类物质生产水平和社会生产率，促进了经济的发展；计算机应用于社会服务，大大扩大和改善了服务范围与质量，提高了工作效率，推动社会进步；计算机应用于社会文化，为人类创造文化提供了现代化工具，改变了人们创造和传播文化的方式、方法和性质，大大扩展了人类文化活动的领域，丰富了文化的内容，提高了质量；计算机进入办公室、家庭和为个人所拥有，正改变着人们的工作方式和生活方式。计算机科学技术对一个国家在政治、经济、科技、文化、军事、国防等方面发展的催化作用和强化作用，都具有难以估量的意义。它已在世界范围内形成一种现代文化。计算机科学技术在即将来临的新世纪中，必然会成为人类的重要基础文化知识之一。《计算机科学技术百科全书》（以下简称《全书》）就是迎接时代的需要，为推动我国计算机教育的普及与深入，为提高全民族计算机科学技术文化素质，为促进计算机学术研究与产业发展而撰写的。50年来，计算机已发展为范畴宽广，内涵丰富的科学技术和规模恢宏的新兴产业。计算机与通信的融合和全球性联网，更赋予它未可限量的发展前景。《全书》力求涵盖计算机科学技术发展50年来的主要成就，广收博取，深入浅出，以通俗精练的文体，比较系统全面地介绍学科的基本知识，既适于各行各业广大读者查询，也可供计算机专业人员参阅，并作为向深广发展的桥梁与阶梯。《全书》根据计算机学科的内在联系、相关程度与性质特点，划分为“计算机科学理论”、“计算机组织与体系结构”、“计算机软件”、“计算机硬件”、“计算机应用技术”和“人工智能”6大分支，按4级框架，共设置1293个条目200多万字。由于中文信息处理是我国及全球汉字通用地区计算机应用中的重要技术，特在“计算机应用技术”分支中，设置有关中文信息处理条目80余条，以供读者查阅。《全书》按照不同层次与内容涉及范围，将条目释文分为大、中、小3类。在释文中有一定释义的常用名词术语还择要列作“主题词”者共约1031个，与条目一起编入内容索引中，以利查阅。《全书》“总论”全面综览了计算机科学技术的内涵与对人类社会发展的巨大作用与深远意义，以引导读者全面、科学地认识计算机科学技术。《全书》设附录3种。《全书》的撰写，着意于以简练、概括的笔触给每个条目以确切的定义和明确、完整的内容，取材于肯定成熟的知识，言必有据，确切可信。《全书》在中国计算机学会、我国多所著名院校和计算技术研究所以及清华大学出版社等的支持和直接参与下，于1993年6月着手开展工作，至1996年12月完成全部编审，历时3年有余。有分布于全国的约400名专家、教授参与了撰写和审稿。《全书》是我国计算机学术界一部集体智慧的巨著，实现了大家多年来的共同愿望。对《全书》不足之处，欢迎广大读者不吝赐教。《计算机科学技术百科全书》编撰委员会1997年2月

暂缺《计算机科学技术百科全书》作者简介

     目录
   计算机科学技术总论
   条目分类目录
   正文
   条目汉语音序索引
   INIDEXOF ARTICLES（条目外文索引）
   内容索引
   附录I 缩略语
   附录Ⅱ 计算机及相关学科科技期刊
   附录Ⅲ 计算机及相关学科学术团体
   彩色插页
   回归分析法
   排队论
   参数估计
   假设检验
   离散数学
   集合论
   集合
   集合运算
   映射
   关系
   序数
   基数
   逻辑学
   数理逻辑
   命题逻辑
   一阶逻辑
   高阶逻辑
   哥德尔完全性定理
   模型论
   霍恩逻辑
   多值逻辑
   模糊逻辑
   模态逻辑
   时态逻辑
   线性逻辑
   组合逻辑
   非单调逻辑
   直觉主义逻辑
   代数学
   抽象代数
   群
   环
   域
   格
   完全偏序
   布尔代数
   多类代数
   关系代数
   （基调）代数
   计算机代数
   范畴论
   图论
   有向图
   无向图
   树
   平面图
   最短路径问题
   中国邮路问题
   计算数论
   素数
   筛法
   素性测试
   最大公因子
   因子分解
   同余
   孙子定理
   组合学
   密码学
   计算理论
   算法
   并行算法
   概率算法
   组合算法
   排序算法
   VLSI算法
   脉动算法
   算法学
   算法设计
   计算复杂性理论
   复杂性度量
   时间复杂性
   空间复杂性
   复杂性归约
   图灵归约
   多项式时间归约
   多项式空间归约
   多项式谱系
   NP完全性理论
   P类问题
   NP类问题
   NP完全问题
   NP完全问题近似方法
   可计算性理论
   可计算函数
   原始递归函数
   哥德尔配数
   递归函数
   阿克曼函数
   可判定问题
   不可判定问题
   停机问题
   波斯特对应问题
   自动机理论
   有限自动机
   下推自动机
   线性有界自动机
   图灵机
   波斯特机
   随机存取机
   堆栈自动机
   有限自动机
   概率自动机
   细胞自动机
   形式语言理论
   乔姆斯基层次
   文法
   正则文法
   上下文无关文法
   上下文有关文法
   短语结构文法
   巴克斯范式
   正则表达式
   线性文法
   乔姆斯基范式
   格雷贝奇范式
   LR（k）文法
   属性文法
   佩特里网论
   程序理论
   形式语义
   操作语义
   指称语义
   公理语义
   代数语义
   论域理论
   λ演算
   类型理论
   马丁洛夫类型理论
   多态类型
   并发模型
   进程代数
   通信系统演算
   通信顺序进程
   程序逻辑
   混合计算模型
   混合自动机
   时段演算
   程序验证
   计算机组织与体系结构
   电子计算机
   数字计算机
   模拟计算机
   混合计算机
   数字微分分析机
   计算机类型
   微型计算机
   微处理器
   位片计算机
   单片计算机
   数字信号处理器
   移动式计算机
   笔记本计算机
   工作站
   图形工作站
   小型计算机
   超级小型计算机
   大型计算机
   巨型计算机
   小巨型计算机
   嵌入式计算机
   服务器
   数据库服务器
   因特网服务器
   过程控制计算机
   容错计算机
   抗恶劣环境计算机
   绿色计算机
   非传统计算机
   数据流计算机
   归约机
   LISP机
   逻辑推理机
   日本第五代计算机
   数据库机
   知识库机
   神经计算机
   光计算机
   生物计算
   量子计算
   计算机组织
   计算机运算基础
   数制
   浮点数标准
   字符集
   算术逻辑运算
   二进制算术运算（binaryary　arithmetic　operation）
   逻辑运算
   指令系统
   指令类型
   指令格式
   寻址方式
   中央处理器
   运算器
   硬连线控制器
   微程序控制器
   数据通路
   机器周期
   时序系统
   中断
   存储器组织
   存储器类型
   主存储器
   辅助存储器
   交错存储器
   存储器差错校验
   存储器性能
   输入输出技术
   系统总线
   总线标准
   输入输出通道
   输入输出接口
   数据传送
   直接存储器存
   假脱机
   模数转换
   数模转换
   终端
   计算机系统结构
   处理机体系结构
   复杂指令集计算机
   精简指令集计算机
   计算机流水线
   多发射结构
   指令级并行处理
   协处理器
   关联处理机
   脉动阵列
   存储系统
   存储管理
   存储保护
   高速缓冲存储器
   高速缓冲存储器一致性
   虚拟存储器
   转换检测缓冲器
   联想存储器
   转移目标缓冲器
   先进先出缓冲器
   并行处理系统
   阵列处理机
   大规模并行处理
   硬件同步机制
   互联网
   多处理机系统总线
   系统总线仲裁器
   共享存储
   共享虚拟存储
   分布式共享存储
   消息传递
   路由选择
   并行处理系统加速比
   处理机利用率
   分布式处理系统
   客户－服务器计算
   计算机簇
   分布式异构型计算机系统
   分布式计算环境
   分布式数据库
   计算机支持协同工作
   开放系统
   系统兼容性
   计算机网络
   网络体系结构
   OSI网络体系结构
   网络协议
   局域网协议标准
   广域网协议标准
   TCP/IP协议
   TCP/IP）
   MAP/TOP协议
   点对点连接协议
   协议工程
   网络分类
   局域网
   以太网
   权标总线网
   权标环网
   光纤分布式数据接口
   专用交换分机
   城域网
   交换式多兆位数据业务
   广域网
   公用交换电话网
   租用线路网
   公用数据网
   综合业务数字网
   帧中继
   异步传送模式
   网络互连技术
   网络互连设备
   中继器
   网桥
   路由器
   网关
   网络互连协议
   网络管理
   感知器
   反传学习
   Hopfield神经网络模型
   玻耳兹曼机
   适应谐振理论
   自组织映射模型
   联想记忆
   小脑网络模型