注冊 | 登錄讀書好,好讀書,讀好書!
讀書網(wǎng)-DuShu.com
當前位置: 首頁出版圖書科學(xué)技術(shù)計算機/網(wǎng)絡(luò)家庭與辦公軟件計算機科學(xué)技術(shù)百科全書

計算機科學(xué)技術(shù)百科全書

計算機科學(xué)技術(shù)百科全書

定 價:¥180.00

作 者: 張效祥主編
出版社: 清華大學(xué)出版社
叢編項: 工具書
標 簽: 暫缺

ISBN: 9787302029700 出版時間: 1998-08-01 包裝: 精裝
開本: 27cm 頁數(shù): 1280 字數(shù):  

內(nèi)容簡介

  片斷:巴克斯-諾爾形式體系(Backus-Naurformal-ism,BNF)用以描述程序設(shè)計語言語法的一種形式體系。它是以美國IBM公司的研究員J.Backus和丹麥哥本哈根大學(xué)P.Naur教授共同命名的,最初用于ALGOL60語言的語法,是一種典型的元語言。BNF還可看成是Backus-Naurform,BackusN-ormalform和Backus-Normalformalism的縮略語。它能嚴格地表示一類上下文無關(guān)語言的局部語法規(guī)則。因此,自從它被ALGOL60語言文本采用后,已得到廣泛的推廣,為各種計算機程序設(shè)計語言普遍采用。BNF表示語法規(guī)則的方法為:非終極符號用尖括號括起來。每條規(guī)則的左部是一個非終極符號,右部是一個由非終極符號和終極符號組成的一個符號串,左右部之間以∷=分開。具有相同左部的規(guī)則可以公用一個左部,各右部之間以豎號|隔開。例如,定義標識符的一組BNF公式為:〈標識符〉::=〈字母〉|〈標識符〉〈字母〉〈標識符〉〈數(shù)字〉〈字母〉::=a|b|c|…|z〈數(shù)字〉::=0|1|2…|9(程虎)Bakesifanshi巴克斯范式(Backusnormalform)精確描述程序設(shè)計語言的語法的一種形式系統(tǒng)。又稱巴克斯-諾爾形式,簡稱BNF(BNF還可看成BackusNormalFormalism的縮寫或Backus-NaurFormalism的縮寫)。計算機科學(xué)家巴克斯和諾爾最早用它來描述程序設(shè)計語言的語法,因而得名。程序設(shè)計語言的語法成分,如標識符、表達式、句子等,大多可以用BNF的產(chǎn)生規(guī)則加以描述。BNF的產(chǎn)生規(guī)則只用到兩個元符號:一個為“∷=”,表示“定義為”,另一個為“|”,表示“或”。每條規(guī)則恰含一個“∷=”,它將規(guī)則分為左右兩部分。左邊是一個被定義的非終結(jié)符(代表某個語法成分,通常對應(yīng)有確定含義),右邊是由非終結(jié)符或/與終結(jié)符組成的一個符號串,或由“|”隔開的幾個這樣的符號串。這里終結(jié)符指程序設(shè)計語言字符集的基本字符。例如:〈二進制數(shù)字〉::=0|1〈十進制數(shù)字〉::=0|1|2|3|4|5|67|8|9分別定義了二進制數(shù)字和十進制數(shù)字。產(chǎn)生規(guī)則的右邊可以出現(xiàn)其它已有定義的非終結(jié)符。例如:〈數(shù)字〉::=〈二進制數(shù)字〉|〈十進制數(shù)字〉產(chǎn)生規(guī)則的右邊也可以出現(xiàn)正在定義的左邊非終結(jié)符,表示遞歸定義。例如:〈標識符〉::=〈字母〉|〈標識符〉〈字母〉|〈標識符〉〈數(shù)字〉將“標識符”定義為以字母打頭的字母數(shù)字串。BNF自從在ALGOL60語言文本中首次采用以來,已在許多計算機學(xué)科中得到廣泛的應(yīng)用。參考文獻陳火旺等.程序設(shè)計語言編譯原理.國防工業(yè)出版社,1984(陳火旺賁可榮)bang0ngxinxixitong辦公信息系統(tǒng)(officeinformationsystem,OIS)由辦公人員和辦公設(shè)備構(gòu)成,以提高辦公效益和效能為目的的人機信息系統(tǒng)。辦公設(shè)備一般包括計算機(硬、軟件)、通信、文字處理和印刷等設(shè)備,計算機是核心。辦公信息系統(tǒng)涉及行為科學(xué)、系統(tǒng)科學(xué)、計算技術(shù)和通信技術(shù)等學(xué)科。它是一個人機系統(tǒng),設(shè)備和資源(包括數(shù)據(jù)和軟件)是重要條件,但人是辦公的決定因素。它所處理的數(shù)據(jù)已從單一的文本數(shù)據(jù)發(fā)展到包括文本、語音、圖形、圖象、動畫、視頻等的多媒體數(shù)據(jù)。辦公信息系統(tǒng)一詞從辦公自動化(OA)演變而來。隨著社會的發(fā)展,與辦公有關(guān)的就業(yè)人員所占的比例愈來愈大,因而如何提高辦公效率和辦公質(zhì)量就成為突出的矛盾。辦公自動化一詞首創(chuàng)于1936年,意即運用打字機、電話等單項設(shè)備來幫助辦公人員處理辦公業(yè)務(wù)。60年代,電子技術(shù)有了長足的進步,賬單、會計、工資等開始用計算機處理,辦公自動化技術(shù)在西方有較快的發(fā)展。70年代中期,先進的辦公設(shè)備不斷出現(xiàn),如多功能電話機、復(fù)印機、傳真機、文字處理機等;計算機局域網(wǎng)和數(shù)據(jù)庫等新技術(shù)在辦公自動化中獲得應(yīng)用;辦公范圍也逐步擴大到跨城市乃至全球規(guī)模。辦公自動化已從早期的局部技術(shù)發(fā)展成為多功能的信息系統(tǒng),這是一個質(zhì)的飛躍。1980年初,美國C.A.Ellis認為辦公自動化一詞易被誤解,建議改為辦公信息系統(tǒng)。80年代中期以后,隨著微機、電子郵件、窗口界面、多媒體等技術(shù)和電子數(shù)據(jù)交換的迅速發(fā)展和在OIS中的廣泛應(yīng)用,辦公信息系統(tǒng)已發(fā)展成以通信技術(shù)與計算技術(shù)相結(jié)合的綜合辦公信息系統(tǒng)。1988年美國計算機協(xié)會(ACM)的辦公自動化專業(yè)組(SIGOA)更名為辦公信息系統(tǒng)專業(yè)組(SIGOIS),但在國際上OI3和OA仍是通用的。目標和服務(wù)對象辦公信息系統(tǒng)通過數(shù)據(jù)的收集、存儲、傳遞、管理和處理等手段,為辦公人員提供信息服務(wù),以提高辦公效率和辦公質(zhì)量,從而獲得經(jīng)濟效益和社會效益。辦公信息系統(tǒng)的推廣應(yīng)用導(dǎo)致辦公組織機構(gòu)和工作方式以及辦公流程等的變革,對原有辦公人員的素質(zhì)提出了新的要求,同時也提供了許多新的就業(yè)機會。辦公信息系統(tǒng)的服務(wù)對象包括各級領(lǐng)導(dǎo)、一般管理人員、業(yè)務(wù)人員、秘書、操作員等。單位的高層領(lǐng)導(dǎo)主要用于進行戰(zhàn)略決策,他們關(guān)心的是宏觀信息。部門領(lǐng)導(dǎo)在其部門的戰(zhàn)術(shù)決策上起關(guān)鍵作用,所關(guān)心的是本部門的管理信息。一般管理人員和業(yè)務(wù)人員分工處理各自的業(yè)務(wù),進行業(yè)務(wù)操作和管理。秘書和操作員主要從事事務(wù)操作。辦公模型辦公模型是辦公過程的抽象。根據(jù)不同的辦公觀點可建立不同的模型:(1)信息流模型著眼于信息流的傳遞,如信息控制網(wǎng)絡(luò)模型ICN(1979),表格流模型FFM(1980);(2)活動模型以辦公活動或流程為基礎(chǔ),如用Petri網(wǎng)描述的SCOOP模型(1977),辦公任務(wù)管理模型OrM(1988);(3)功能模型以辦公功能為基礎(chǔ),如功能實體模型(1984),概念模型(1987);(4)語義模型從數(shù)據(jù)庫和人工智能引入,如知識嵌入語言的OMEGA模型(1983);(5)社會政治模型不著眼于辦公行為本身,而著重于其社會作用,即人際關(guān)系和知識交換,認為辦公過程是互相沖突的相互談判的序列,如行為者模型(1984)。辦公模型主要用于對系統(tǒng)的描述與說明,對辦公活動的動態(tài)模擬,系統(tǒng)的方案比較等。它是設(shè)計和評價辦公信息系統(tǒng)的工具。層次結(jié)構(gòu)按照功能,辦公信息系統(tǒng)可劃分為事務(wù)處理層、信息管理層和決策支持層三個層次。(1)事務(wù)處理層這是辦公信息系統(tǒng)最基本的層次。它主要提供操作級服務(wù),運用現(xiàn)代化辦公設(shè)備幫助辦公人員處理日常辦公事務(wù)。其基礎(chǔ)為文字處理,主要包括文字編輯、表處理、電子印刷、行文管理、文檔管理、日程管理、項目管理、資源管理、電子郵件等。辦公軟件包、各種文字處理軟件、表格處理軟件和圖形接口軟件等都是該層的基本軟件。(2)信息管理層主要提供信息服務(wù),它以數(shù)據(jù)庫為支撐,提供諸如計劃、人事、財務(wù)、生產(chǎn)、供銷、庫存、能源、運輸、政策法規(guī)、經(jīng)濟動態(tài)、市場信息等方面的信息服務(wù)。(3)決策支持層主要提供決策服務(wù),針對上層領(lǐng)導(dǎo)的需要,對某一特定問題,構(gòu)造相應(yīng)的數(shù)學(xué)模型,進行輔助決策。對于半結(jié)構(gòu)化和非結(jié)構(gòu)化的問題,往往需要應(yīng)用人工智能技術(shù),如專家系統(tǒng)、神經(jīng)網(wǎng)絡(luò)等。類型按照辦公信息系統(tǒng)所能支持的最高層次,辦公信息系統(tǒng)可劃分為事務(wù)處理型、信息管理型和決策支持型三種。辦公信息系統(tǒng)也可按其所服務(wù)的組織機構(gòu)劃分為若干層次,如政府辦公信息系統(tǒng)有中央部委、省市、地、縣等辦公信息系統(tǒng)之分;企業(yè)有總公司、分公司、工廠、車間等層次的辦公信息系統(tǒng)。各層次還可按功能劃分為若干子系統(tǒng)。辦公信息系統(tǒng)還可按行業(yè)的特點劃分為以下類型:事務(wù)型以文字處理和事務(wù)處理為主的辦公信息系統(tǒng)。如行文系統(tǒng)、訂單處理、民航訂票、編輯出版、圖書館等;專業(yè)型服務(wù)對象為各種專業(yè)機構(gòu),如律師、會計、審計事務(wù)所,設(shè)計院等;案例型以案例為主的辦公信息系統(tǒng),如用于法院、公安、醫(yī)院等的辦公信息系統(tǒng);生產(chǎn)型以生產(chǎn)管理為主,主要涉及生產(chǎn)的計劃、組織、指揮、控制等,而以經(jīng)營管理為輔,或稱生產(chǎn)經(jīng)營型辦公信息系統(tǒng);本書前言前言半個世紀以來,計算機科學(xué)技術(shù)以磅礴之勢迅猛發(fā)展,它以非凡的滲透力與親合力,深入人類活動的各個領(lǐng)域,對人類社會的進步與發(fā)展產(chǎn)生了巨大的影響。計算機應(yīng)用于科學(xué)研究,大大增強了人類認識自然與開發(fā)、改造和利用自然的能力,促進了現(xiàn)代科學(xué)技術(shù)的發(fā)展;計算機應(yīng)用于生產(chǎn),大大提高了人類物質(zhì)生產(chǎn)水平和社會生產(chǎn)率,促進了經(jīng)濟的發(fā)展;計算機應(yīng)用于社會服務(wù),大大擴大和改善了服務(wù)范圍與質(zhì)量,提高了工作效率,推動社會進步;計算機應(yīng)用于社會文化,為人類創(chuàng)造文化提供了現(xiàn)代化工具,改變了人們創(chuàng)造和傳播文化的方式、方法和性質(zhì),大大擴展了人類文化活動的領(lǐng)域,豐富了文化的內(nèi)容,提高了質(zhì)量;計算機進入辦公室、家庭和為個人所擁有,正改變著人們的工作方式和生活方式。計算機科學(xué)技術(shù)對一個國家在政治、經(jīng)濟、科技、文化、軍事、國防等方面發(fā)展的催化作用和強化作用,都具有難以估量的意義。它已在世界范圍內(nèi)形成一種現(xiàn)代文化。計算機科學(xué)技術(shù)在即將來臨的新世紀中,必然會成為人類的重要基礎(chǔ)文化知識之一。《計算機科學(xué)技術(shù)百科全書》(以下簡稱《全書》)就是迎接時代的需要,為推動我國計算機教育的普及與深入,為提高全民族計算機科學(xué)技術(shù)文化素質(zhì),為促進計算機學(xué)術(shù)研究與產(chǎn)業(yè)發(fā)展而撰寫的。50年來,計算機已發(fā)展為范疇寬廣,內(nèi)涵豐富的科學(xué)技術(shù)和規(guī)?;趾甑男屡d產(chǎn)業(yè)。計算機與通信的融合和全球性聯(lián)網(wǎng),更賦予它未可限量的發(fā)展前景?!度珪妨η蠛w計算機科學(xué)技術(shù)發(fā)展50年來的主要成就,廣收博取,深入淺出,以通俗精練的文體,比較系統(tǒng)全面地介紹學(xué)科的基本知識,既適于各行各業(yè)廣大讀者查詢,也可供計算機專業(yè)人員參閱,并作為向深廣發(fā)展的橋梁與階梯?!度珪犯鶕?jù)計算機學(xué)科的內(nèi)在聯(lián)系、相關(guān)程度與性質(zhì)特點,劃分為“計算機科學(xué)理論”、“計算機組織與體系結(jié)構(gòu)”、“計算機軟件”、“計算機硬件”、“計算機應(yīng)用技術(shù)”和“人工智能”6大分支,按4級框架,共設(shè)置1293個條目200多萬字。由于中文信息處理是我國及全球漢字通用地區(qū)計算機應(yīng)用中的重要技術(shù),特在“計算機應(yīng)用技術(shù)”分支中,設(shè)置有關(guān)中文信息處理條目80余條,以供讀者查閱。《全書》按照不同層次與內(nèi)容涉及范圍,將條目釋文分為大、中、小3類。在釋文中有一定釋義的常用名詞術(shù)語還擇要列作“主題詞”者共約1031個,與條目一起編入內(nèi)容索引中,以利查閱?!度珪贰翱傉摗比婢C覽了計算機科學(xué)技術(shù)的內(nèi)涵與對人類社會發(fā)展的巨大作用與深遠意義,以引導(dǎo)讀者全面、科學(xué)地認識計算機科學(xué)技術(shù)?!度珪吩O(shè)附錄3種?!度珪返淖珜?,著意于以簡練、概括的筆觸給每個條目以確切的定義和明確、完整的內(nèi)容,取材于肯定成熟的知識,言必有據(jù),確切可信?!度珪吩谥袊嬎銠C學(xué)會、我國多所著名院校和計算技術(shù)研究所以及清華大學(xué)出版社等的支持和直接參與下,于1993年6月著手開展工作,至1996年12月完成全部編審,歷時3年有余。有分布于全國的約400名專家、教授參與了撰寫和審稿?!度珪肥俏覈嬎銠C學(xué)術(shù)界一部集體智慧的巨著,實現(xiàn)了大家多年來的共同愿望。對《全書》不足之處,歡迎廣大讀者不吝賜教?!队嬎銠C科學(xué)技術(shù)百科全書》編撰委員會1997年2月

作者簡介

暫缺《計算機科學(xué)技術(shù)百科全書》作者簡介

圖書目錄

     目錄
   計算機科學(xué)技術(shù)總論
   條目分類目錄
   正文
   條目漢語音序索引
   INIDEXOF ARTICLES(條目外文索引)
   內(nèi)容索引
   附錄I 縮略語
   附錄Ⅱ 計算機及相關(guān)學(xué)科科技期刊
   附錄Ⅲ 計算機及相關(guān)學(xué)科學(xué)術(shù)團體
   彩色插頁
   回歸分析法
   排隊論
   參數(shù)估計
   假設(shè)檢驗
   離散數(shù)學(xué)
   集合論
   集合
   集合運算
   映射
   關(guān)系
   序數(shù)
   基數(shù)
   邏輯學(xué)
   數(shù)理邏輯
   命題邏輯
   一階邏輯
   高階邏輯
   哥德爾完全性定理
   模型論
   霍恩邏輯
   多值邏輯
   模糊邏輯
   模態(tài)邏輯
   時態(tài)邏輯
   線性邏輯
   組合邏輯
   非單調(diào)邏輯
   直覺主義邏輯
   代數(shù)學(xué)
   抽象代數(shù)
   群
   環(huán)
   域
   格
   完全偏序
   布爾代數(shù)
   多類代數(shù)
   關(guān)系代數(shù)
   (基調(diào))代數(shù)
   計算機代數(shù)
   范疇論
   圖論
   有向圖
   無向圖
   樹
   平面圖
   最短路徑問題
   中國郵路問題
   計算數(shù)論
   素數(shù)
   篩法
   素性測試
   最大公因子
   因子分解
   同余
   孫子定理
   組合學(xué)
   密碼學(xué)
   計算理論
   算法
   并行算法
   概率算法
   組合算法
   排序算法
   VLSI算法
   脈動算法
   算法學(xué)
   算法設(shè)計
   計算復(fù)雜性理論
   復(fù)雜性度量
   時間復(fù)雜性
   空間復(fù)雜性
   復(fù)雜性歸約
   圖靈歸約
   多項式時間歸約
   多項式空間歸約
   多項式譜系
   NP完全性理論
   P類問題
   NP類問題
   NP完全問題
   NP完全問題近似方法
   可計算性理論
   可計算函數(shù)
   原始遞歸函數(shù)
   哥德爾配數(shù)
   遞歸函數(shù)
   阿克曼函數(shù)
   可判定問題
   不可判定問題
   停機問題
   波斯特對應(yīng)問題
   自動機理論
   有限自動機
   下推自動機
   線性有界自動機
   圖靈機
   波斯特機
   隨機存取機
   堆棧自動機
   有限自動機
   概率自動機
   細胞自動機
   形式語言理論
   喬姆斯基層次
   文法
   正則文法
   上下文無關(guān)文法
   上下文有關(guān)文法
   短語結(jié)構(gòu)文法
   巴克斯范式
   正則表達式
   線性文法
   喬姆斯基范式
   格雷貝奇范式
   LR(k)文法
   屬性文法
   佩特里網(wǎng)論
   程序理論
   形式語義
   操作語義
   指稱語義
   公理語義
   代數(shù)語義
   論域理論
   λ演算
   類型理論
   馬丁洛夫類型理論
   多態(tài)類型
   并發(fā)模型
   進程代數(shù)
   通信系統(tǒng)演算
   通信順序進程
   程序邏輯
   混合計算模型
   混合自動機
   時段演算
   程序驗證
   計算機組織與體系結(jié)構(gòu)
   電子計算機
   數(shù)字計算機
   模擬計算機
   混合計算機
   數(shù)字微分分析機
   計算機類型
   微型計算機
   微處理器
   位片計算機
   單片計算機
   數(shù)字信號處理器
   移動式計算機
   筆記本計算機
   工作站
   圖形工作站
   小型計算機
   超級小型計算機
   大型計算機
   巨型計算機
   小巨型計算機
   嵌入式計算機
   服務(wù)器
   數(shù)據(jù)庫服務(wù)器
   因特網(wǎng)服務(wù)器
   過程控制計算機
   容錯計算機
   抗惡劣環(huán)境計算機
   綠色計算機
   非傳統(tǒng)計算機
   數(shù)據(jù)流計算機
   歸約機
   LISP機
   邏輯推理機
   日本第五代計算機
   數(shù)據(jù)庫機
   知識庫機
   神經(jīng)計算機
   光計算機
   生物計算
   量子計算
   計算機組織
   計算機運算基礎(chǔ)
   數(shù)制
   浮點數(shù)標準
   字符集
   算術(shù)邏輯運算
   二進制算術(shù)運算(binaryary arithmetic operation)
   邏輯運算
   指令系統(tǒng)
   指令類型
   指令格式
   尋址方式
   中央處理器
   運算器
   硬連線控制器
   微程序控制器
   數(shù)據(jù)通路
   機器周期
   時序系統(tǒng)
   中斷
   存儲器組織
   存儲器類型
   主存儲器
   輔助存儲器
   交錯存儲器
   存儲器差錯校驗
   存儲器性能
   輸入輸出技術(shù)
   系統(tǒng)總線
   總線標準
   輸入輸出通道
   輸入輸出接口
   數(shù)據(jù)傳送
   直接存儲器存
   假脫機
   模數(shù)轉(zhuǎn)換
   數(shù)模轉(zhuǎn)換
   終端
   計算機系統(tǒng)結(jié)構(gòu)
   處理機體系結(jié)構(gòu)
   復(fù)雜指令集計算機
   精簡指令集計算機
   計算機流水線
   多發(fā)射結(jié)構(gòu)
   指令級并行處理
   協(xié)處理器
   關(guān)聯(lián)處理機
   脈動陣列
   存儲系統(tǒng)
   存儲管理
   存儲保護
   高速緩沖存儲器
   高速緩沖存儲器一致性
   虛擬存儲器
   轉(zhuǎn)換檢測緩沖器
   聯(lián)想存儲器
   轉(zhuǎn)移目標緩沖器
   先進先出緩沖器
   并行處理系統(tǒng)
   陣列處理機
   大規(guī)模并行處理
   硬件同步機制
   互聯(lián)網(wǎng)
   多處理機系統(tǒng)總線
   系統(tǒng)總線仲裁器
   共享存儲
   共享虛擬存儲
   分布式共享存儲
   消息傳遞
   路由選擇
   并行處理系統(tǒng)加速比
   處理機利用率
   分布式處理系統(tǒng)
   客戶-服務(wù)器計算
   計算機簇
   分布式異構(gòu)型計算機系統(tǒng)
   分布式計算環(huán)境
   分布式數(shù)據(jù)庫
   計算機支持協(xié)同工作
   開放系統(tǒng)
   系統(tǒng)兼容性
   計算機網(wǎng)絡(luò)
   網(wǎng)絡(luò)體系結(jié)構(gòu)
   OSI網(wǎng)絡(luò)體系結(jié)構(gòu)
   網(wǎng)絡(luò)協(xié)議
   局域網(wǎng)協(xié)議標準
   廣域網(wǎng)協(xié)議標準
   TCP/IP協(xié)議
   TCP/IP)
   MAP/TOP協(xié)議
   點對點連接協(xié)議
   協(xié)議工程
   網(wǎng)絡(luò)分類
   局域網(wǎng)
   以太網(wǎng)
   權(quán)標總線網(wǎng)
   權(quán)標環(huán)網(wǎng)
   光纖分布式數(shù)據(jù)接口
   專用交換分機
   城域網(wǎng)
   交換式多兆位數(shù)據(jù)業(yè)務(wù)
   廣域網(wǎng)
   公用交換電話網(wǎng)
   租用線路網(wǎng)
   公用數(shù)據(jù)網(wǎng)
   綜合業(yè)務(wù)數(shù)字網(wǎng)
   幀中繼
   異步傳送模式
   網(wǎng)絡(luò)互連技術(shù)
   網(wǎng)絡(luò)互連設(shè)備
   中繼器
   網(wǎng)橋
   路由器
   網(wǎng)關(guān)
   網(wǎng)絡(luò)互連協(xié)議
   網(wǎng)絡(luò)管理
   感知器
   反傳學(xué)習
   Hopfield神經(jīng)網(wǎng)絡(luò)模型
   玻耳茲曼機
   適應(yīng)諧振理論
   自組織映射模型
   聯(lián)想記憶
   小腦網(wǎng)絡(luò)模型
   

本目錄推薦

掃描二維碼
Copyright ? 讀書網(wǎng) ranfinancial.com 2005-2020, All Rights Reserved.
鄂ICP備15019699號 鄂公網(wǎng)安備 42010302001612號