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

摘要：“計算機教育信息流（jsjjyxxl）”貫穿于計算機教育體系（圖1[1]），是一個抽象發展概念，對于不同領域計算體系軟件體系，規模大小復雜程度雖不盡相同，但必然有限，且它們的抽象具體化過程，具相同的模式。基于UNIX操作指令系統（Czzlxt）的匯編語言軟體體系可能規模最小，生成jsjjyxxl最小計算語句系列，而Wondows2000Server軟體體系則可能規模最大，jsjjyxxl計算語句系列可能最長，但必然都是有限的jsjjyxxl抽象具體化思想，更能體現現代計算機教育目的和宗旨。Jsjjyxxl抽象具體化過程引導開發科學系統計算機教育方案，更能體現混合教學模式優越性，以利于深化學生計算概念、計算過程和計算體系的認知過程，體念計算思維感覺，潛移默化養成計算思維習慣。

關鍵詞：運算符系列；操作指令系列；計算語句系列；計算結構；計算體系

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

1Jsjjyxxl抽象具體化過程

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

2jsjjyxxl形式定義

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

3Jsjjyxxl生成形式模式

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

4Jsjjyxxl生成形式結構

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

作者:李暉 單位:武漢大學計算機學院