前言：本站為你精心整理了計(jì)算機(jī)教育信息流體系結(jié)構(gòu)淺析范文，希望能為你的創(chuàng)作提供參考價(jià)值，我們的客服老師可以幫助你提供個(gè)性化的參考范文，歡迎咨詢。

摘要：“計(jì)算機(jī)教育信息流（jsjjyxxl）”貫穿于計(jì)算機(jī)教育體系（圖1[1]），是一個(gè)抽象發(fā)展概念，對(duì)于不同領(lǐng)域計(jì)算體系軟件體系，規(guī)模大小復(fù)雜程度雖不盡相同，但必然有限，且它們的抽象具體化過程，具相同的模式?；赨NIX操作指令系統(tǒng)（Czzlxt）的匯編語言軟體體系可能規(guī)模最小，生成jsjjyxxl最小計(jì)算語句系列，而Wondows2000Server軟體體系則可能規(guī)模最大，jsjjyxxl計(jì)算語句系列可能最長，但必然都是有限的jsjjyxxl抽象具體化思想，更能體現(xiàn)現(xiàn)代計(jì)算機(jī)教育目的和宗旨。Jsjjyxxl抽象具體化過程引導(dǎo)開發(fā)科學(xué)系統(tǒng)計(jì)算機(jī)教育方案，更能體現(xiàn)混合教學(xué)模式優(yōu)越性，以利于深化學(xué)生計(jì)算概念、計(jì)算過程和計(jì)算體系的認(rèn)知過程，體念計(jì)算思維感覺，潛移默化養(yǎng)成計(jì)算思維習(xí)慣。

關(guān)鍵詞：運(yùn)算符系列；操作指令系列；計(jì)算語句系列；計(jì)算結(jié)構(gòu)；計(jì)算體系

Jsjjyxxl抽象具體化概念，通過一組計(jì)算關(guān)鍵詞解析說明，深化理解。計(jì)算體系由計(jì)算機(jī)硬體體系和軟體體系合成?；谟搀w體系，面對(duì)不同確定應(yīng)用領(lǐng)域（或稱定義域），可開發(fā)不同的軟體體系，并以各自的計(jì)算語句集，與硬體體系交互鏈接，計(jì)算處理定義域?qū)ο?。這個(gè)計(jì)算語句集，記為Jsjjyxxl。Jsjjyxxl遂成為所有軟體體系共用的抽象概念，但不同定義域的軟體體系，它們的Jsjjyxxl計(jì)算語句集各不相同，對(duì)于不同軟體體系，視為Jsjjyxxl一次具體化實(shí)現(xiàn)。提供自身定義域所有可計(jì)算處理問題（P），計(jì)算處理時(shí)需要的所有計(jì)算語句。

1Jsjjyxxl抽象具體化過程

作為一個(gè)特例，匯編語言軟體體系，包含UNIX操作系統(tǒng)，形成的計(jì)算語句集合，直接定義于硬體，可視為Jsjjyxxl一次具體化實(shí)現(xiàn)。UNIX完全仿真于計(jì)算機(jī)硬體，體現(xiàn)計(jì)算機(jī)硬體結(jié)構(gòu)特征，充分完美地表達(dá)計(jì)算機(jī)硬體體系結(jié)構(gòu)、計(jì)算方式和基本的計(jì)算能力；以UNIX為基礎(chǔ)，開發(fā)的匯編語言軟體體系，它的定義域限于數(shù)字領(lǐng)域，適用于數(shù)字科學(xué)計(jì)算。但遠(yuǎn)不足以作為一個(gè)更通用操作指令系統(tǒng)（Czzlxt），開發(fā)能力更強(qiáng)軟體體系，在更寬廣的領(lǐng)域，為更多對(duì)象類型，處理可計(jì)算問題（P）。一般來說確定Czzlxt仍然嚴(yán)格地建立在硬體體系基礎(chǔ)上，同時(shí)有賴于開發(fā)軟體體系的定義域，形成確定的運(yùn)算符系列，系統(tǒng)地刻畫施加于定義域?qū)ο蟮乃胁僮餍螒B(tài)和方式方法，才能形成有效的Jsjjyxxl，完成P計(jì)算過程的計(jì)算語句系列（Pjsxxl）。正因?yàn)槿绱?，自UNIX開始，經(jīng)歷ALGOL-60、BISCAL、PASCAL到C語言，其后隨著網(wǎng)絡(luò)和AI智能應(yīng)用領(lǐng)域發(fā)展，不斷更新豐富計(jì)算語句集合，也就是Jsjjyxxl不斷更新具體化。時(shí)至今日，還在不斷發(fā)布新的軟體體系，意味著流經(jīng)計(jì)算機(jī)的語句信息及其信息流結(jié)構(gòu)也隨之相應(yīng)發(fā)展，不斷滿足現(xiàn)實(shí)世界實(shí)現(xiàn)數(shù)字化社會(huì)的要求。語言發(fā)展過程，正好體現(xiàn)計(jì)算機(jī)發(fā)展的科學(xué)規(guī)律，展現(xiàn)一些基本性發(fā)展特征：（1）語言發(fā)展的動(dòng)力來源于現(xiàn)實(shí)需求，最重要的目的是提升計(jì)算能力，擴(kuò)大計(jì)算對(duì)象，開拓更大應(yīng)用領(lǐng)域。如C語言，數(shù)據(jù)結(jié)構(gòu)豐富，具有鏈表、樹和棧多類高級(jí)數(shù)據(jù)類型，極大地?cái)U(kuò)大了計(jì)算處理對(duì)象；（2）C的運(yùn)算類型極其豐富，表達(dá)式類型多樣化，靈活使用各種運(yùn)算符可以實(shí)現(xiàn)在其它高級(jí)語言中難以實(shí)現(xiàn)的運(yùn)算；（3）后期發(fā)展語言對(duì)它們前期語言的運(yùn)算符號(hào)，皆有包容性或兼用性,如C語言能實(shí)現(xiàn)匯編語言大部分功能，可以直接對(duì)硬件進(jìn)行操作，既是高級(jí)語言，又具有低級(jí)語言功能；（4）運(yùn)算符精細(xì)設(shè)計(jì)，成為提升計(jì)算能力的基本功。從UNIX拾多個(gè)運(yùn)算符到C語言32個(gè)運(yùn)算符，實(shí)現(xiàn)了計(jì)算能力能級(jí)跨越，從數(shù)值計(jì)算進(jìn)入到數(shù)據(jù)結(jié)構(gòu)處理，極大地?cái)U(kuò)大應(yīng)用領(lǐng)域，深入到社會(huì)生活更一般對(duì)象處理。精細(xì)化運(yùn)算符設(shè)計(jì)方向，引導(dǎo)其后語言發(fā)布，向著逐進(jìn)深入數(shù)字化智能社會(huì)發(fā)展，導(dǎo)致對(duì)更多更智能化可計(jì)算問題（P）處理能力。[2]

2jsjjyxxl形式定義

不同計(jì)算語言，皆有對(duì)應(yīng)抽象jsjjyxxl，語言發(fā)展過程，則視為抽象jsjjyxxl具體化過程。依據(jù)圖靈可計(jì)算理論，存在這樣的語言，它的運(yùn)算符滿足可計(jì)算理論，這樣語言的運(yùn)算符系列就是jsjyxxl最大具體化計(jì)算語句系列。Jsjjyxxl是有限計(jì)算語句系列抽象概念，還不是一個(gè)具體真實(shí)計(jì)算過程信息流，泛稱可計(jì)算問題計(jì)算過程信息流，但可視為這些可計(jì)算問題（P），計(jì)算過程的計(jì)算語句信息流（Pjsxxl）載體。歸結(jié)上面的討論，現(xiàn)在正式定義jsjjyxxl形式定義。對(duì)任何可計(jì)算（P），必然存在一個(gè)Pjsxxl，PJsxxl=s1，s2，…sk（1）其中k>0是一個(gè)有限整數(shù)。并且，P可計(jì)算性，認(rèn)定存在PJsxxl，表達(dá)實(shí)際運(yùn)算過程，實(shí)現(xiàn)P計(jì)算表達(dá)式,F(X)=y（2）正確計(jì)算，其中X為定義域，Y為值域。即，pjsxxl運(yùn)行等效于實(shí)施（2）的計(jì)算。綜合（1）（2）將得到下面表達(dá)式（3），稱為jsjjyxxl形式定義。jsjjyxxl形式定義：在jsjjyxxl上，直接實(shí)施P計(jì)算。意味著P的計(jì)算結(jié)構(gòu)F，展開成計(jì)算語句系列pjsxxl，T表示表達(dá)式成立，并確認(rèn)Y就是P計(jì)算結(jié)果值。（?P?Pjsxxl=s1，s2，…sk→?si（i=1…k）∈jsjjyxxl）→（F(X)=y）=T（3）特別值得指出：（1）（3）式Pjsxxl是軟體結(jié)構(gòu)F計(jì)算語句線性展開系列；（2）依據(jù)圖靈計(jì)算理論，任何可計(jì)算問題（P），存在一個(gè)軟體結(jié)構(gòu)，它的jsjjyxxl，實(shí)現(xiàn)F的Pjsxxl。

3Jsjjyxxl生成形式模式

（3）式實(shí)際上慨括了這個(gè)模式。jsjjyxx是計(jì)算體系語句集合，如（3）式說明，該計(jì)算系統(tǒng)任何可計(jì)算問題（P），pjsxxl的每個(gè)計(jì)算語句都屬于jsjjyxx。因此jsjjyxx稱為該計(jì)算系統(tǒng)計(jì)算語句抽象集合。不僅如此，jsjjyxx生成過程，還形成計(jì)算系統(tǒng)形式結(jié)構(gòu)。軟件體系包含操作系統(tǒng)和服務(wù)軟件兩部分，即，在操作系統(tǒng)的基礎(chǔ)上，開發(fā)面向社會(huì)應(yīng)用軟件系統(tǒng)（服務(wù)軟件），以鍵盤為操作平臺(tái)，通過操作系統(tǒng)，進(jìn)入計(jì)算機(jī)硬體，進(jìn)行用戶要求的實(shí)時(shí)處理，操作系統(tǒng)則稱為人-機(jī)交互接口。Jsjjyxxl抽象概念，是一個(gè)通用性概念。凡是軟體體系，都必定形成本系統(tǒng)的Jsjjyxxl。因此現(xiàn)有的計(jì)算語言，能夠開發(fā)專用于該語言軟體體系。首先定義一組運(yùn)算符，處理其定義域的計(jì)算對(duì)象，形成該定義域操作指令系列，得以形成Jsjjyxxl。（3）式說明，每個(gè)可計(jì)算對(duì)象計(jì)算語句系列pjsxxl，其中每個(gè)計(jì)算語句都來自Jsjjyxxl。（3）式從形式上定義Jsjjyxxl，該定義蘊(yùn)含Jsjjyxxl抽象具體化過程的形式結(jié)構(gòu)。這個(gè)形式結(jié)構(gòu)將貫穿計(jì)算概念：從運(yùn)算符系列，形成操作指令系列，到計(jì)算語句系列定義及其計(jì)算結(jié)構(gòu)，伴隨軟體體系系統(tǒng)軟件生成，最終形成該語言的jsjjyxxl?？傊?，每個(gè)語言都經(jīng)歷一次這樣的具體化過程，生成它的計(jì)算體系，同時(shí)生成該語言的jsjjyxxl。計(jì)算體系的軟體體系由操作指令系列和系統(tǒng)軟件兩部分合成；系統(tǒng)軟件定義域就是它面對(duì)的數(shù)據(jù)對(duì)象集合，并為規(guī)范定義域數(shù)據(jù)對(duì)象的運(yùn)算處理，定義一組運(yùn)算符，確定語句形態(tài)和語法規(guī)則，以及計(jì)算過程語句系列的計(jì)算結(jié)構(gòu)。綜上所述，Jsjjyxxl抽象具體化過程也正好隨著圖1[1]模塊系統(tǒng)地展開，形成它生成的形式結(jié)構(gòu)。

4Jsjjyxxl生成形式結(jié)構(gòu)

上面的討論規(guī)范為一種模式，適用于任何計(jì)算語言，隨著Jsjjyxxl抽象具體化，生成計(jì)算系統(tǒng)軟體體系的系統(tǒng)軟件。這個(gè)模式也是一種通用模式。對(duì)于更大的綜合性更強(qiáng)的軟體體系如Windows系統(tǒng)也是正確的。這些軟件或稱系統(tǒng)軟件的服務(wù)軟件。自X-500,NDS和Exchange到1993年Server起，Nevell的NDS，WindowsNT,Wondows2000Server。NDS的發(fā)布被認(rèn)為是一次計(jì)算的突破，從WindowsNT,到Wondows2000Server,實(shí)現(xiàn)目錄管理服務(wù)，更被視為革命性的進(jìn)步。[3]這些大型軟體體系，類似于基于UNIX數(shù)值計(jì)算的

作者:李暉 單位:武漢大學(xué)計(jì)算機(jī)學(xué)院