專利名稱：：一種基于雙語自動(dòng)轉(zhuǎn)換的間接形式化方法
技術(shù)領(lǐng)域：
：本發(fā)明涉及一種間接形式化方法及雙文雙語并行計(jì)算系統(tǒng)，進(jìn)一步是一種基于雙語自動(dòng)轉(zhuǎn)換的間接形式化方法，屬于專用于理論計(jì)算機(jī)如何轉(zhuǎn)化為實(shí)用計(jì)算機(jī)的高級(jí)信息技術(shù)課程計(jì)算機(jī)輔助教學(xué)系統(tǒng)和基于知識(shí)本體數(shù)據(jù)倉庫的雙語界面處理
技術(shù)領(lǐng)域：
。
背景技術(shù)：
：形式化方法是基于嚴(yán)密的、數(shù)學(xué)上的形式機(jī)制的計(jì)算機(jī)系統(tǒng)研究方法。從20世紀(jì)90年代開始，計(jì)算機(jī)學(xué)科相關(guān)專業(yè)的形式化方法的教育引起了歐美教育界的高度重視和關(guān)注。歐洲的英國、德國、法國、意大利、荷蘭、西班牙等國家的高校相繼為研究生開設(shè)了形式化方法方面的課程，并推廣至本科生教育。從20世紀(jì)90年代中期開始，美國高校也開展了形式化方法教育研究，并在美國頂尖的35所大學(xué)的計(jì)算機(jī)學(xué)科實(shí)施了研究生和本科生的教育實(shí)踐。形式化方法(FM-FormalMethod)知識(shí)體系中的6個(gè)知識(shí)領(lǐng)域?yàn)棰倩A(chǔ)(Foundations)；②形式化規(guī)格(Formalspecificationparadigms)；③正確性驗(yàn)證及演算(Correctness,verificationandcalculation)；④形式化語義(Formalsemantics)；πΤΑτΙΙ-^(Supportforexecutablespecification)(OtherTopics)。形式化方法教育過程中，相關(guān)形式化方法工具的支持是非常重要和必要的。歐洲高等院校在形式化方法研究和教育過程中，開發(fā)了許多相關(guān)工具。形式化工具有Actress、Alloy、AtelierB、B-Toolkit(Btlk)、BDDC,CADP、CADiZ、CASL,Coq、Community、CWB、ESCJava、FDR、FuZZ、GHC、Gofer、Hugs、H0L、集成網(wǎng)絡(luò)分析器(ΙΝΑ)、Isabelle、IVDM、Lotrec、LTSA、NuSMV、Petri網(wǎng)程序設(shè)計(jì)環(huán)境(Petri)、PVS,PicT、RAISEtools、RAT、RML,SPIN、T-Logic、TRIO、UPAAL、VDMT,WHY、ZANS,ZEVES,ZTC等已在相關(guān)課程教學(xué)中得到使用。形式化方法教育得到歐、美國家高等院校的重視和大力推廣不過是十余年的時(shí)間，建立完善的知識(shí)體系和課程教學(xué)內(nèi)容還需要進(jìn)一步的努力。從歐洲58所高校的課程開設(shè)情況來看，雖然形式化方法教育得到了大范圍的實(shí)施，但是課程內(nèi)容、授課教材、輔助工具等還比較散雜，建立形式化方法課程的知識(shí)內(nèi)容規(guī)范、編寫相關(guān)規(guī)范指導(dǎo)下的教材、開發(fā)相關(guān)規(guī)范指導(dǎo)下的輔助工具，是亟待解決的問題。形式化方法的工業(yè)應(yīng)用需求和教學(xué)過程實(shí)踐的經(jīng)驗(yàn)積累，已愈來愈體現(xiàn)出計(jì)算機(jī)相關(guān)專業(yè)形式化方法教育的必要性和可行性。國內(nèi)計(jì)算相關(guān)專業(yè)的形式化方法教育還相當(dāng)薄弱，尚未在高等院校得到有效推廣和實(shí)施。計(jì)算機(jī)相關(guān)專業(yè)形式化方法課程教學(xué)的有效推進(jìn)還有賴于課程教材、實(shí)驗(yàn)環(huán)境、支撐工具以及應(yīng)用環(huán)境等方面的突破。[教育部高等學(xué)校計(jì)算機(jī)科學(xué)與技術(shù)教學(xué)指導(dǎo)委員會(huì).高等學(xué)校計(jì)算機(jī)科學(xué)與技術(shù)專業(yè)發(fā)展戰(zhàn)略研究報(bào)告暨專業(yè)規(guī)范(試行KM].北京高等教育出版社，2006.]國內(nèi)有關(guān)形式化方法申報(bào)發(fā)明專利的就更是鳳毛麟角，僅有200610041621.X—種基于Web頁面元數(shù)據(jù)的用戶訪問行為形式化描述方法，200710123161.X基于XML的圖書內(nèi)容結(jié)構(gòu)的形式化表示方法，200810101244.3一種基于形式化描述和狀態(tài)遷移的XML轉(zhuǎn)換方法，200910067931.2加入攻擊路徑形式化分析的威脅建模方法。
發(fā)明內(nèi)容本發(fā)明需要解決的技術(shù)問題是彌補(bǔ)上述
背景技術(shù)：
所欠缺的形式化方法教育，尤其是計(jì)算機(jī)輔助教學(xué)和計(jì)算機(jī)輔助研究的間接形式化技術(shù)，而試圖提供一種基于知識(shí)本體數(shù)據(jù)倉庫的在人機(jī)界面可實(shí)現(xiàn)廣義的雙語之間在同義并列的前提下對(duì)應(yīng)轉(zhuǎn)換的間接形式化方法。一種基于雙語自動(dòng)轉(zhuǎn)換的間接形式化方法，包括步驟1，采用理想的一系列孿生圖靈機(jī)作為其理論起點(diǎn)，建立最為廣義的雙語并行計(jì)算模型，步驟2，選取中文和英文以及十進(jìn)制數(shù)與二進(jìn)制數(shù)共四種類型的基因文本充當(dāng)各種計(jì)算和推理所采用的基本字符集，建立與之配套的虛擬存儲(chǔ)器用于處理基于前述四種類型的基因文本字母表的序位作為后續(xù)各種組合變換的計(jì)算和推理的基準(zhǔn)參照系，步驟3，提出一種在本質(zhì)屬性上等價(jià)于一種嚴(yán)格受限的孿生圖靈機(jī)并在存儲(chǔ)計(jì)算原理上等價(jià)于一種虛擬優(yōu)化的馮諾依曼機(jī)，即多胞馮氏機(jī)，其處理方式可以在剛剛啟動(dòng)計(jì)算機(jī)的時(shí)候就能在基本輸入輸出系統(tǒng)同等調(diào)用大小字符集，整個(gè)產(chǎn)品的基本結(jié)構(gòu)由碼、卡、表、庫、網(wǎng)、端六要件所構(gòu)成，其中，碼是等價(jià)于孿生圖靈機(jī)的雙列表的左列Ud}序位碼，供機(jī)器讀認(rèn)后臺(tái)二進(jìn)制數(shù)字與供用戶讀認(rèn)前臺(tái)十進(jìn)制數(shù)字均服從同義并列對(duì)應(yīng)轉(zhuǎn)換法則而運(yùn)行、計(jì)算或操作，與該碼對(duì)應(yīng)的卡是等價(jià)于右列表的格或可與其同義并列對(duì)應(yīng)轉(zhuǎn)換的由多胞馮氏機(jī)存儲(chǔ)或虛擬存儲(chǔ)器處理的頁，讀認(rèn)前臺(tái)漢語的字或字組與讀認(rèn)后臺(tái)等價(jià)于機(jī)內(nèi)外超級(jí)連接ip地址代碼之間的也服從同義并列對(duì)應(yīng)轉(zhuǎn)換法則而運(yùn)行、計(jì)算或操作的，其中的頁可記載并呈現(xiàn)各種類型的字、式、圖、表、音、像、立體、活體等任何一種數(shù)據(jù)結(jié)構(gòu)，表是等價(jià)于該孿生圖靈機(jī)的雙列表(見圖1與圖2)，既可前后臺(tái)對(duì)應(yīng)也可左右列對(duì)應(yīng)，庫是標(biāo)準(zhǔn)化集中管理的表，網(wǎng)是標(biāo)準(zhǔn)化與個(gè)性化協(xié)同且分布管理的表，端是個(gè)性化整合管理的表，其特征在于等價(jià)于孿生圖靈機(jī)的一系列雙列表，不僅左列與右列均服從同義并列對(duì)應(yīng)轉(zhuǎn)換法則，而且左列或右列均可與任何一個(gè)單列之間形成虛擬的雙列表，只要服從同義并列對(duì)應(yīng)轉(zhuǎn)換法則即可，無論是左列表或具有左列表性質(zhì)的單列表，還是右列表或具有右列表性質(zhì)的單列表，均具有類似天平的性質(zhì)，單列表id代碼的組合進(jìn)化過程服從嚴(yán)格受限的序位法則，其數(shù)據(jù)結(jié)構(gòu)及類型在被系統(tǒng)或用戶有針對(duì)性地重用之前就已經(jīng)是確定的，例如左列的代碼均是可計(jì)算且易計(jì)算同時(shí)還嚴(yán)格受限的理想集合的數(shù)字(無論采用何種進(jìn)制的數(shù)字或是與其等價(jià)的何種符號(hào)體系)，右列的格或頁(無論它記載的是字、式、圖、表、音、像、立體、活體的何種類型或數(shù)據(jù)結(jié)構(gòu))都必須與其配對(duì)的左列的代碼之間具有相同的序位結(jié)構(gòu)，而碼或被用戶具體調(diào)用的指令與格(或頁)記載并呈現(xiàn)的字、式、圖、表、音、像、立體、活體等各種數(shù)據(jù)結(jié)構(gòu)或類型則另存于系統(tǒng)或用戶可控的存儲(chǔ)裝置以便于隨時(shí)被有針對(duì)性地重用。本發(fā)明的有益效果在于用該方法建構(gòu)的裝置，無論是計(jì)算機(jī)輔助系統(tǒng)還是其底層的基本輸入輸出系統(tǒng)，均可以并行地采用現(xiàn)有技術(shù)的直接形式化方式和本發(fā)明的間接形式化方式。其具體表現(xiàn)如下當(dāng)用該方法建構(gòu)的裝置，是計(jì)算機(jī)輔助系統(tǒng)(無論它是計(jì)算機(jī)輔助教學(xué)系統(tǒng)還是計(jì)算機(jī)輔助研究系統(tǒng)或是其它輔助系統(tǒng))的時(shí)候，其基本的操作系統(tǒng)(見圖3-圖7)均可簡捷清晰。當(dāng)用該方法建構(gòu)的裝置，是該計(jì)算機(jī)輔助系統(tǒng)底層的基本輸入輸出系統(tǒng)的時(shí)候，其輸入輸出的基本方式就是本發(fā)明所述的孿生圖靈機(jī)與多胞馮氏機(jī)的處理方式，即可在剛剛啟動(dòng)計(jì)算機(jī)的時(shí)候就能在基本輸入輸出系統(tǒng)層面同等調(diào)用大小字符集。換句話說它才是一臺(tái)具有中英文基本輸入輸出系統(tǒng)人機(jī)界面及其操作程序這一底層核心技術(shù)的真真通用的計(jì)算機(jī)。圖1是孿生圖靈機(jī)的直觀示意圖。圖2是帶存儲(chǔ)裝置的多胞馮氏機(jī)及其中文間接形式化處理底層技術(shù)的直觀示意圖3是基于本發(fā)明右列表查詢系統(tǒng)而建構(gòu)的計(jì)算機(jī)輔助系統(tǒng)的基本操作程序框圖4是基于本發(fā)明右列表查詢系統(tǒng)而建構(gòu)的計(jì)算機(jī)輔助系統(tǒng)的人機(jī)文化交互界圖5是基于本發(fā)明右列表查詢系統(tǒng)而建構(gòu)的計(jì)算機(jī)輔助系統(tǒng)的人機(jī)物化交互界圖6是基于本發(fā)明右列表查詢系統(tǒng)而建構(gòu)的計(jì)算機(jī)輔助系統(tǒng)的人機(jī)意化交互界圖7是基于本發(fā)明右列表查詢系統(tǒng)而建構(gòu)的計(jì)算機(jī)輔助系統(tǒng)的人機(jī)交互用戶界圖8是語言學(xué)完整的研究對(duì)象(以漢語為例劃分的)語(類)和字(類)示意圖。圖9是基于孿生圖靈機(jī)及多胞馮氏機(jī)和中文示例的間接形式化底層技術(shù)的示意具體實(shí)施例方式下面結(jié)合附圖和實(shí)施例對(duì)本發(fā)明做進(jìn)一步說明。由圖1可見(三組等價(jià)的)孿生圖靈機(jī)均采用了左右對(duì)稱的虛擬表(VT&L和VT&R)或控制器和讀寫頭，其中，a是左右對(duì)稱并列的經(jīng)典圖林機(jī)直觀示意圖，b是左右對(duì)稱并列的具有天平性質(zhì)的虛擬雙列表(對(duì)稱的id序列與ge格序列)直觀示意圖，c是以漢語為示例的雙列表。由圖2可見基于左右對(duì)稱并列的具有天平性質(zhì)的虛擬雙列表(對(duì)稱的id序列與ge格序列)或?qū)\生圖靈機(jī)，不僅在其上方增加了一個(gè)具有兩個(gè)路徑(R001和R002)與四個(gè)端點(diǎn)({0，1}，{0，1，2，3，4，5，6，7，8，9}，蘊(yùn)含{ASCII}與{GB}的{Unicode}和{ge})的那部分示意圖，而且在其一旁還增加了一個(gè)以漢語為例的層解、串解和分解(“三解”)迭交的字(形字和音字)和字組(詞、鏈、塊)和相應(yīng)的虛擬字庫(VF001)的那部分示意圖，由此三部分示意圖共同表示(帶存儲(chǔ)裝置的)多胞馮氏機(jī)。由左右對(duì)稱的虛擬表(VT&L和VT&R)和虛擬字庫(VF001)可構(gòu)成支持在基本輸入輸出系統(tǒng)￠10這一底層同步處理中文筆畫和拼音字母的核心技術(shù)。由圖3-6可見一種計(jì)算機(jī)輔助雙語教學(xué)、研究與服務(wù)系統(tǒng)及方法，其基本操作程序如下步驟1，開機(jī)并自檢(SlOl)進(jìn)入語言界面(S102和圖4)由同步運(yùn)行的虛擬孿生圖靈機(jī)支持并有與其配套的漢語用戶界面響應(yīng)，6圖。圖。面。面。面。面。圖。步驟2，如果用戶理解該語言(S103)，即可直接進(jìn)入學(xué)問界面(S106和圖6)從而進(jìn)入計(jì)算機(jī)輔助研究平臺(tái)，如果用戶不理解該語言(Sl(XB)則進(jìn)入圖形界面(S104和圖5)再進(jìn)入計(jì)算機(jī)輔助服務(wù)平臺(tái)，如果用戶不能識(shí)別該事物(S10;3)則返回圖形界面(S104和圖5)繼續(xù)在計(jì)算機(jī)輔助服務(wù)平臺(tái)接受指導(dǎo)，如果用戶識(shí)別該事物610即可直接進(jìn)入學(xué)問界面(S106和圖6)從而進(jìn)入計(jì)算機(jī)輔助研究平臺(tái)，步驟3，如果用戶感興趣610可返回語言界面(S102和圖4)從而再次進(jìn)入學(xué)問界面(S106和圖6)繼續(xù)計(jì)算機(jī)輔助科研平臺(tái)逗留，如果用戶不感興趣(S107)可立即結(jié)束(此次計(jì)算機(jī)輔助雙語教學(xué)和研究活動(dòng))并關(guān)機(jī)。由圖4-7可見一種計(jì)算機(jī)輔助雙語教學(xué)、研究與服務(wù)系統(tǒng)的中英雙語協(xié)同計(jì)算處理系統(tǒng)的三個(gè)二級(jí)分類界面和一個(gè)總體界面，其中，中、英文兩種基本稱謂，即a文(語言language)、b意(思想thought)、c物(世界world)分別標(biāo)識(shí)文化-語言化的形式信息、意化-概念化的學(xué)問信息以及物化-對(duì)象化的生活信息三個(gè)入口，圖4、圖5和圖6是三個(gè)系列的二級(jí)門戶控件名稱分類，即a“字、式、圖、表、音、像、立體、活體”，b“邏輯科學(xué)、數(shù)學(xué)科學(xué)、人文藝術(shù)、心智科學(xué)、社會(huì)科學(xué)、工程技術(shù)、自然科學(xué)、哲學(xué)宗教”，c“食、衣、住、行、用、微觀、生物、宏觀”，也就是分別采用語言類型、學(xué)問領(lǐng)域和實(shí)物圖像三種標(biāo)識(shí)的多個(gè)入口控件，并且可用電子地圖作為背景與之配套；首層門戶增加了一個(gè)核心樞紐，即道(Dao或Tao)從而與a文(語言language)、b意(思想thought)、c物(世界world)—起構(gòu)成一個(gè)四面體或三棱錐的直觀幾何模型。由圖8-9可見語言學(xué)完整的研究對(duì)象(以漢語為例劃分的)語(類)和字(類)示意圖和一個(gè)基于孿生圖靈機(jī)及多胞馮氏機(jī)和中文示例的間接形式化底層技術(shù)的示意圖。其中，我們以漢語為例劃分的八大語類和八大字類，為人們明確普通語言學(xué)的完整研究對(duì)象的理性分析，不僅于2009年12月在上海外國語大學(xué)召開的漢語獨(dú)特性理論與教學(xué)國際會(huì)議和于2010年5月在哈弗大學(xué)召開的國際漢語會(huì)議得到了權(quán)威的專家們的肯定，而且，對(duì)計(jì)算機(jī)中文基本類庫架構(gòu)優(yōu)化具有直接的作用，圖9的一系列雙列表中對(duì)漢語及中文的字與字組的存儲(chǔ)和處理，對(duì)計(jì)算機(jī)而言就是認(rèn)讀左列id序位并遵循數(shù)理邏輯進(jìn)行推理、遵循代數(shù)原理進(jìn)行分析進(jìn)而遵循算術(shù)原理進(jìn)行計(jì)算或遵循概率統(tǒng)計(jì)原理進(jìn)行具體統(tǒng)計(jì)分析；對(duì)自然人(此處以漢語社團(tuán)為例)而言就是認(rèn)讀右列g(shù)e格子或page頁面所呈現(xiàn)的具體的漢語及中文的字與字組。換句話說，也就是計(jì)算機(jī)處理音節(jié)總量控制模型(GSCM)的序位矩陣，它與文本總量控制模型(GTCM)的序位矩陣原理是一致的，均服從mη矩陣法則和Σ^A1=I3m代數(shù)法則；自然人(此處以漢語社團(tuán)為例)則處理基于(漢語的音節(jié)及中文的筆畫所構(gòu)成)字與字組，即義項(xiàng)字組化的(即以漢語為例劃分的)八大字類和八大語類。由此可見，基于本發(fā)明右列表查詢系統(tǒng)而建構(gòu)的計(jì)算機(jī)輔助系統(tǒng)的基本操作程序(圖幻及其人機(jī)交互用戶界面(圖4-圖7)及其中文間接形式化處理底層技術(shù)(圖1-2和圖8-9)，所選取的中文和英文以及十進(jìn)制數(shù)與二進(jìn)制數(shù)共四種類型的基因文本，S卩其字母表的序位，作為后續(xù)各種組合變換(涉及一系列具體應(yīng)對(duì)參照系)的計(jì)算和推理的基準(zhǔn)參照系，不僅為計(jì)算機(jī)而且也為自然人甚至還為這兩方面確立了根本且可統(tǒng)一的計(jì)算-分析或統(tǒng)計(jì)-分析乃至演繹-歸納等具體數(shù)據(jù)處理或知識(shí)重用的基本尺度及應(yīng)變法則。實(shí)施例1.本發(fā)明實(shí)施例1需要解決的技術(shù)問題是補(bǔ)充
背景技術(shù)：
中沒中文間接形式化處理底層技術(shù)，把基本字符集這一雜多集合通過“三解”轉(zhuǎn)化為由“三集”構(gòu)成的便于優(yōu)化處理的理想集合。本發(fā)明實(shí)施例1所述的一種基于雙語自動(dòng)轉(zhuǎn)換的間接形式化方法，其特征在于右列表的格或與其同義并列對(duì)應(yīng)轉(zhuǎn)換的頁可用于承載中文形式信息，其步驟是“三解”圖2和圖9所示的一系列雙列表，即分別對(duì)左列id序位矩陣的“三集”和對(duì)右列格子序位矩陣所承載的義項(xiàng)字組的“三注”，其中，“三解”(以漢語為例)就是形字的層解、音字的串解和復(fù)合字及其義項(xiàng)字組的分解，即“層解、串解和分解”的簡稱；“三集”(以二進(jìn)制數(shù)為例)就是由元素{0}或{1}構(gòu)成的單一集合、由{0，00，000，···}或{1，11，111，···}構(gòu)成的分層集合和由{0，1}，{00,01,10,11},{000,001,011,101,010,110,100,111},...{......}構(gòu)成的可定性分類的標(biāo)志集合；“三注”(以漢語及其表示的知識(shí)為例)就是語言文字信息標(biāo)注、通用常識(shí)信息標(biāo)注和領(lǐng)域知識(shí)信息標(biāo)注。本發(fā)明實(shí)施例1的有益效果在于用它可把GB(國際標(biāo)準(zhǔn))以及Unicode(統(tǒng)一代碼)中的中文大字符集由雜多集合轉(zhuǎn)換為理想集合，其中，基本筆畫就是可構(gòu)成子全域的文本元素，集合{筆畫}作為單一集合的筆畫序位是生成形字的基準(zhǔn)參照系，據(jù)此自動(dòng)生成各個(gè)進(jìn)階層式的分層集合與標(biāo)志集合則是識(shí)別或分析漢語的形字、音字、實(shí)字、虛字、象字、釋字、用字和解字(見圖8)的應(yīng)對(duì)參照系，這樣，右列表的格或與其同義并列對(duì)應(yīng)轉(zhuǎn)換的頁，就可自動(dòng)顯示并重用經(jīng)層解的漢語字內(nèi)文本形式信息；漢語拼音字母是可構(gòu)成子全域的語音元素，同理，集合{字母}作為單一集合的字母序位是生成漢語音字拼音的基準(zhǔn)參照系，據(jù)此自動(dòng)生成各個(gè)進(jìn)階層式的分層集合與標(biāo)志集合則是識(shí)別或分析漢語的音字以及音字字組(涉及八大語類)的應(yīng)對(duì)參照系，這樣右列表的格或與其同義并列對(duì)應(yīng)轉(zhuǎn)換的頁，也就可自動(dòng)顯示并重用經(jīng)過串解的漢語字間音節(jié)形式信息；再把經(jīng)分層與標(biāo)注處理后的{形字}和經(jīng)過串解與標(biāo)注處理后的{音字}與其帶有漢字拼音形式信息如417個(gè)音節(jié)加調(diào)的1313個(gè)標(biāo)音標(biāo)調(diào)的雜多集合{音字+拼音}兩個(gè)集合迭交，結(jié)合500最常用字、2500常用字和3500常用字以及7000通用字，再結(jié)合已統(tǒng)計(jì)過的二十幾萬個(gè)二字辭，就可作為中文計(jì)算機(jī)基本數(shù)據(jù)庫的基本分類(見圖2和圖8-9)，從而與相應(yīng)的計(jì)算機(jī)操作系統(tǒng)的基本程序(見圖幻和三個(gè)基本入口視窗(見圖4、圖5和圖6)和總視窗(見圖7)形成配套，進(jìn)一步細(xì)化的各級(jí)視窗和數(shù)據(jù)查詢與處理以及指令程序的編制和有針對(duì)性地重用及調(diào)用現(xiàn)有程序語言編制其它各種軟件[=界面+程序(=數(shù)據(jù)結(jié)構(gòu)+算法)]均可在此嚴(yán)格受限的孿生圖靈機(jī)及其可窮舉的漢語字內(nèi)形式信息和可相對(duì)完全歸納的漢語二字辭的字間形式信息兩類完整的數(shù)據(jù)庫作為有底層核心技術(shù)支撐的計(jì)算機(jī)操作系統(tǒng)的軟、硬件(配套芯片)環(huán)境中，通過創(chuàng)造性合作型生產(chǎn)式計(jì)算機(jī)輔助教學(xué)、科研、服務(wù)與管理等中英雙語并行處理的方式來具體展開或進(jìn)行，其中，包括對(duì)三字辭乃至多字辭(多數(shù)可用二字辭來解釋)的進(jìn)一步處理，如對(duì)基于漢語八大字類乃至八大語類各個(gè)進(jìn)階層式的超子域元組的分解與組合等基本處理，由于三字乃至多字各級(jí)組合的數(shù)量分別都明顯小于二字組合的數(shù)量，加之串解獲得的漢語的字間形式信息，層解獲得的漢語的字內(nèi)形式信息，都是相當(dāng)有用的中文信息處理和計(jì)算機(jī)輔助漢語教學(xué)乃至漢語研究的資源，對(duì)漢語教學(xué)和進(jìn)一步的語言研究極為有用，它就是很好的計(jì)算機(jī)輔助漢語教學(xué)和研究系統(tǒng)，不僅可有標(biāo)準(zhǔn)化的制作和有針對(duì)性的重用(查詢)方式，而且，還有個(gè)性化的分合自如的制作和針對(duì)性很強(qiáng)的重用(查詢)方式。實(shí)施例2.本發(fā)明實(shí)施例2需要解決的技術(shù)問題是為中文用戶提供一種有益于制作標(biāo)準(zhǔn)化與個(gè)性化有機(jī)結(jié)合的計(jì)算機(jī)輔助教學(xué)-研究系統(tǒng)及其友好界面的方法。本發(fā)明實(shí)施例2所述的一種基于雙語自動(dòng)轉(zhuǎn)換的間接形式化方法，其特征在于該標(biāo)準(zhǔn)化與個(gè)性化有機(jī)結(jié)合的計(jì)算機(jī)輔助教學(xué)-研究系統(tǒng)的性能及其界面的友好程度是基于具體用戶的偏好而設(shè)定的且在其一、二兩級(jí)視窗之下可由用戶具體訂制，圖4的文化過程則是通過漢英雙語的分層和人機(jī)界面的母語標(biāo)注而進(jìn)行的，圖5的物化過程是通過直觀對(duì)象的分層和人機(jī)界面的標(biāo)注而進(jìn)行的，圖6的意化過程是通過概念體系的分層和人機(jī)界面的標(biāo)注的分類而進(jìn)行的，其核心是從標(biāo)準(zhǔn)化與個(gè)性化有機(jī)結(jié)合的計(jì)算機(jī)輔助教學(xué)-研究系統(tǒng)及其多學(xué)科專家知識(shí)數(shù)據(jù)倉庫及其友好界面，可分解出其中所蘊(yùn)含的基本關(guān)系并凸顯其中的具體路徑的形式信息與內(nèi)容信息(即有用且關(guān)鍵的數(shù)據(jù)與知識(shí))。本發(fā)明實(shí)施例2的有益效果在于圖1-2和圖9的右列表的格或與其同義并列對(duì)應(yīng)轉(zhuǎn)換的頁可用于處理圖4-5的(三解)形式信息與圖6的(三注)內(nèi)容信息，其左列表本身的數(shù)值計(jì)算與數(shù)據(jù)統(tǒng)計(jì)功能也可被用戶單獨(dú)用于計(jì)算機(jī)輔助教學(xué)-研究，其簡捷的操作程序和便捷的人機(jī)界面乃至用戶缺乏而又必須了解的背景知識(shí)(來自其配備的各類數(shù)據(jù)倉庫及數(shù)據(jù)庫)，不僅有標(biāo)準(zhǔn)化的制作和有針對(duì)性的重用(查詢)方式，而且，還有個(gè)性化的分合自如的制作和針對(duì)性很強(qiáng)的重用(查詢)方式。實(shí)施例3.本發(fā)明實(shí)施例3需要解決的技術(shù)問題是為中文用戶提供一種專用于理論計(jì)算機(jī)如何轉(zhuǎn)化為實(shí)用計(jì)算機(jī)的高級(jí)信息技術(shù)課程的計(jì)算機(jī)輔助教學(xué)系統(tǒng)以及基于知識(shí)本體數(shù)據(jù)倉庫的雙語界面處理技術(shù)。本發(fā)明實(shí)施例3所述的一種基于雙語自動(dòng)轉(zhuǎn)換的間接形式化方法，其特征在于雙列表所具有的孿生圖靈機(jī)和多胞馮氏機(jī)的基本性質(zhì)及相應(yīng)的處理方式，其中蘊(yùn)含的間接形式化技術(shù)，即基于三表(即單列表、雙列表和多列表)的三集、三解和三注。本發(fā)明實(shí)施例3的有益效果在于圖1-2和圖9的的孿生圖靈機(jī)和多胞馮氏機(jī)以及基于三表(即單列表、雙列表和多列表)的三集、三解和三注，可建構(gòu)基于漢語和基于英語的兩種思維方式的兩種用于處理自然語言及其表示的知識(shí)本體的兩種等價(jià)的形式化方法比較教學(xué)與研究的計(jì)算機(jī)輔助系統(tǒng)典型示例。權(quán)利要求1.一種基于雙語自動(dòng)轉(zhuǎn)換的間接形式化方法，包括步驟1，采用孿生圖靈機(jī)作為起點(diǎn)，建立雙語并行計(jì)算模型，步驟2，選取中文和英文以及十進(jìn)制數(shù)與二進(jìn)制數(shù)共四種類型的基因文本充當(dāng)各種計(jì)算和推理所采用的基本字符集，建立與之配套的虛擬存儲(chǔ)器用于處理字母表的序位作為后續(xù)各種組合變換的計(jì)算和推理的基準(zhǔn)參照系，步驟3，提出一種在本質(zhì)上等價(jià)于一種嚴(yán)格受限的孿生圖靈機(jī)并在存儲(chǔ)計(jì)算原理上等價(jià)于一種多胞馮氏機(jī)，其處理方式在剛剛啟動(dòng)計(jì)算機(jī)的時(shí)候就能在基本輸入輸出系統(tǒng)同等調(diào)用大小字符集，整個(gè)產(chǎn)品的基本結(jié)構(gòu)由碼、卡、表、庫、網(wǎng)、端所構(gòu)成，其中，碼是等價(jià)于孿生圖靈機(jī)的雙列表的左列{id}序位碼，供機(jī)器讀認(rèn)后臺(tái)二進(jìn)制數(shù)字與供用戶讀認(rèn)前臺(tái)十進(jìn)制數(shù)字均服從同義并列對(duì)應(yīng)轉(zhuǎn)換法則而運(yùn)行、計(jì)算或操作，與該碼對(duì)應(yīng)的卡是等價(jià)于右列表的格或可與其同義并列對(duì)應(yīng)轉(zhuǎn)換的由多胞馮氏機(jī)存儲(chǔ)或虛擬存儲(chǔ)器處理的頁，讀認(rèn)前臺(tái)漢語的字或字組與讀認(rèn)后臺(tái)等價(jià)于機(jī)內(nèi)外超級(jí)連接ip地址代碼之間的也服從同義并列對(duì)應(yīng)轉(zhuǎn)換法則而運(yùn)行、計(jì)算或操作的，其中的頁可記載并呈現(xiàn)各種類型的字、式、圖、表、音、像、立體、活體等任何一種數(shù)據(jù)結(jié)構(gòu)，表是等價(jià)于該孿生圖靈機(jī)的雙列表，既可前后臺(tái)對(duì)應(yīng)也可左右列對(duì)應(yīng)，庫是標(biāo)準(zhǔn)化集中管理的表，網(wǎng)是標(biāo)準(zhǔn)化與個(gè)性化協(xié)同且分布管理的表，端是個(gè)性化整合管理的表，其特征在于等價(jià)于孿生圖靈機(jī)的一系列雙列表，不僅左列與右列均服從同義并列對(duì)應(yīng)轉(zhuǎn)換法則，而且左列或右列均可與任何一個(gè)單列之間形成虛擬的雙列表，只要服從同義并列對(duì)應(yīng)轉(zhuǎn)換法則即可，無論是左列表或具有左列表性質(zhì)的單列表，還是右列表或具有右列表性質(zhì)的單列表，均具有類似天平的性質(zhì)，單列表id代碼的組合進(jìn)化過程服從嚴(yán)格受限的序位法則，其數(shù)據(jù)結(jié)構(gòu)及類型在被系統(tǒng)或用戶有針對(duì)性地重用之前就已經(jīng)是確定的，例如左列的代碼均是可計(jì)算且易計(jì)算同時(shí)還嚴(yán)格受限的理想集合的數(shù)字，右列的格或頁(無論它記載的是字、式、圖、表、音、像、立體、活體的何種類型或數(shù)據(jù)結(jié)構(gòu))都必須與其配對(duì)的左列的代碼之間具有相同的序位結(jié)構(gòu)，而用戶具體調(diào)用指令的碼與機(jī)器記載并呈現(xiàn)的字、式、圖、表、音、像、立體、活體等各種數(shù)據(jù)結(jié)構(gòu)或類型格(或頁)則另存于系統(tǒng)或用戶可控的存儲(chǔ)裝置以便于重用。2.根據(jù)權(quán)利要求1所述的一種基于雙語自動(dòng)轉(zhuǎn)換的間接形式化方法，其特征在于孿生圖靈機(jī)采用了左右對(duì)稱的虛擬表(VT&L和VT&R)或控制器和讀寫頭，其中，a是左右對(duì)稱并列的經(jīng)典圖林機(jī)，b是左右對(duì)稱并列的具有天平性質(zhì)的虛擬雙列表，c是以漢語為示例的雙列表，該表或?qū)\生圖靈機(jī)不僅具有兩個(gè)路徑(R001和R002)與四個(gè)端點(diǎn)({0，1}，{0，1，2，3，4，5，6，7，8，9}，蘊(yùn)含{ASCII}與{GB}的{Unicode}和{ge})，而且還增加了以漢語為例的層解、串解和分解的字(形字和音字)和字組(詞、鏈、塊)和相應(yīng)的虛擬字庫(VF001)，由此共同表示(帶存儲(chǔ)裝置的)多胞馮氏機(jī)，由左右對(duì)稱的虛擬表(VT&L和VT&R)和虛擬字庫(VF001)構(gòu)成支持在基本輸入輸出系統(tǒng)￠10這一底層同步處理中文筆畫和拼音字母的核心技術(shù)。3.根據(jù)權(quán)利要求1所述的一種基于雙語自動(dòng)轉(zhuǎn)換的間接形式化方法，其特征在于計(jì)算機(jī)輔助雙語教學(xué)、研究與服務(wù)系統(tǒng)及方法的基本操作程序步驟1，開機(jī)并自檢(SlOl)進(jìn)入語言界面(Sl(^)由同步運(yùn)行的虛擬孿生圖靈機(jī)支持并有與其配套的漢語用戶界面響應(yīng)，步驟2，如果用戶理解該語言(S103)，即可直接進(jìn)入學(xué)問界面(S106)從而進(jìn)入計(jì)算機(jī)輔助研究平臺(tái)，如果用戶不理解該語言(S10;3)則進(jìn)入圖形界面(S104)再進(jìn)入計(jì)算機(jī)輔助服務(wù)平臺(tái)，如果用戶不能識(shí)別該事物(Sl(XB)則返回圖形界面(S104)繼續(xù)在計(jì)算機(jī)輔助服務(wù)平臺(tái)接受指導(dǎo)，如果用戶識(shí)別該事物610即可直接進(jìn)入學(xué)問界面(S106)從而進(jìn)入計(jì)算機(jī)輔助研究平臺(tái)，步驟3，如果用戶感興趣(S105)可返回語言界面(S102)從而再次進(jìn)入學(xué)問界面(S106)繼續(xù)計(jì)算機(jī)輔助科研平臺(tái)逗留，如果用戶不感興趣(S107)可立即結(jié)束并關(guān)機(jī)。4.根據(jù)權(quán)利要求1所述的一種基于雙語自動(dòng)轉(zhuǎn)換的間接形式化方法，其主要特征在于計(jì)算機(jī)輔助雙語教學(xué)、研究與服務(wù)系統(tǒng)的中英雙語協(xié)同計(jì)算處理系統(tǒng)的三個(gè)二級(jí)分類界面和一個(gè)總體界面，其中，中、英文兩種基本稱謂，即a文(語言langUage)、b意(思想thought)、c物(世界world)分別標(biāo)識(shí)文化-語言化的形式信息、意化-概念化的學(xué)問信息以及物化-對(duì)象化的生活信息三個(gè)入口，三個(gè)系列的二級(jí)門戶控件名稱分類，即a“字、式、圖、表、音、像、立體、活體”，b“邏輯科學(xué)、數(shù)學(xué)科學(xué)、人文藝術(shù)、心智科學(xué)、社會(huì)科學(xué)、工程技術(shù)、自然科學(xué)、哲學(xué)宗教”，c“食、衣、住、行、用、微觀、生物、宏觀”，也就是分別采用語言類型、學(xué)問領(lǐng)域和實(shí)物圖像三種標(biāo)識(shí)的多個(gè)入口控件，并且可用電子地圖作為背景與之配套；首層門戶增加了一個(gè)核心樞紐，即道(Dao或Tao)從而與a文(語言language)、b意(思想thought)、c物(世界world)—起構(gòu)成一個(gè)四面體或三棱錐的直觀幾何模型。5.根據(jù)權(quán)利要求1所述的一種基于雙語自動(dòng)轉(zhuǎn)換的間接形式化方法，其主要特征在于計(jì)算機(jī)處理音節(jié)總量控制模型(GSCM)的序位矩陣，它與文本總量控制模型(GTCM)的序位矩陣原理是一致的，均服從mη矩陣法則和Σ=bm代數(shù)法則；自然人(此處以漢語社團(tuán)為例)則處理基于(漢語的音節(jié)及中文的筆畫所構(gòu)成)字與字組，即義項(xiàng)字組化的(即以漢語為例劃分的)八大字類和八大語類。6.根據(jù)權(quán)利要求1所述的一種基于雙語自動(dòng)轉(zhuǎn)換的間接形式化方法，其主要特征在于右列表的格或與其同義并列對(duì)應(yīng)轉(zhuǎn)換的頁可用于承載中文形式信息，其步驟是“三解”系列雙列表，即分別對(duì)左列id序位矩陣的“三集”和對(duì)右列格的序位矩陣所承載的義項(xiàng)“三注”，其中，“三解”(以漢語為例)就是形字的層解、音字的串解和復(fù)合字及其義項(xiàng)字組的分解，即“層解、串解和分解”的簡稱；“三集”(以二進(jìn)制數(shù)為例)就是由元素{0}或{1}構(gòu)成的單一集合、由{0，00，000，…}或{1，11，111，…}構(gòu)成的分層集合和由{0，1}，{00，01，10，11}，{000,001,011,101,010,110,100,111},...{……}構(gòu)成的可定性分類的標(biāo)志集合；“三注”(以漢語及其表示的知識(shí)為例)就是語言文字信息標(biāo)注、通用常識(shí)信息標(biāo)注和領(lǐng)域知識(shí)信息標(biāo)注。7.根據(jù)權(quán)利要求1所述的一種基于雙語自動(dòng)轉(zhuǎn)換的間接形式化方法，其主要特征在于標(biāo)準(zhǔn)化與個(gè)性化有機(jī)結(jié)合的計(jì)算機(jī)輔助教學(xué)-研究系統(tǒng)的性能及其界面的友好程度是基于具體用戶的偏好而設(shè)定的且在其一、二兩級(jí)視窗之下可由用戶具體訂制，文化過程是通過漢英雙語的分層和人機(jī)界面的母語標(biāo)注而進(jìn)行的，物化過程是通過直觀對(duì)象的分層和人機(jī)界面的標(biāo)注而進(jìn)行的，意化過程是通過概念體系的分層和人機(jī)界面的標(biāo)注的分類而進(jìn)行的，核心是標(biāo)準(zhǔn)化與個(gè)性化結(jié)合的計(jì)算機(jī)輔助教學(xué)-研究系統(tǒng)及多學(xué)科專家知識(shí)數(shù)據(jù)倉庫及其友好界面，其中蘊(yùn)含的基本關(guān)系凸顯具體路徑的形式信息與內(nèi)容信息(即有用且關(guān)鍵的數(shù)據(jù)與知識(shí))。8.根據(jù)權(quán)利要求1所述的一種基于雙語自動(dòng)轉(zhuǎn)換的間接形式化方法，其主要特征在于雙列表所具有的孿生圖靈機(jī)和多胞馮氏機(jī)的基本性質(zhì)及處理方式蘊(yùn)含間接形式化技術(shù)，即基于三表(即單列表、雙列表和多列表)的三集、三解和三注。全文摘要一種基于雙語自動(dòng)轉(zhuǎn)換的間接形式化方法，包括步驟1、采用孿生圖靈機(jī)建立雙語并行計(jì)算模型；步驟2、選取中文和英文以及十進(jìn)制數(shù)與二進(jìn)制數(shù)共四種類型的基因文本字母表的序位作為各種組合變換的計(jì)算和推理的基準(zhǔn)參照系；步驟3、提出一種多胞馮氏機(jī)，由碼、卡、表、庫、網(wǎng)、端所構(gòu)成，其處理方式可在計(jì)算機(jī)剛啟動(dòng)時(shí)就能在基本輸入輸出系統(tǒng)同等調(diào)用大小字符集，其計(jì)算機(jī)輔助教學(xué)與研究系統(tǒng)的操作系統(tǒng)和基本界面簡捷清晰。文檔編號(hào)G06F17/30GK102253934SQ20101017529公開日2011年11月23日申請日期2010年5月18日優(yōu)先權(quán)日2010年5月18日發(fā)明者鄒曉輝,鄒順鵬申請人:鄒曉輝,鄒順鵬