俄羅斯科學(xué)院葉爾紹夫信息系統(tǒng)研究所InstituteofInformaticsSystems課件

1、1俄羅斯科學(xué)院葉爾紹夫信息系統(tǒng)研究所Institute of Informatics Systems (IIS) 創(chuàng)建于1990年4月1日630090, 新西伯利亞，拉夫列基耶夫大街，6號電話： (3832) 330-86-52傳真： (3832) 332-34-94E-mail:magiis.nsk.su12主要科研方向研究信息科學(xué)理論和基礎(chǔ)方法學(xué)，包括：信息理論基礎(chǔ); 組建安全、高效程序的方法和工具; 人工智能方法和系統(tǒng);有前景的計算機、系統(tǒng)、網(wǎng)絡(luò)和成套設(shè)備系統(tǒng)和應(yīng)用程序保證。 23我研究所的機構(gòu)設(shè)置實驗室:理論程序化實驗室 超大規(guī)模集成電路自動化和結(jié)構(gòu)實驗室 人工智能實驗室 混合計算實驗

2、室系統(tǒng)程序化實驗室 系統(tǒng)設(shè)計和優(yōu)化實驗室程序化載體系統(tǒng)組并行處理理論科研組: 復(fù)雜系統(tǒng)模型化組3電子文獻技術(shù)研究成果制定建設(shè)照片數(shù)據(jù)庫、歷史信息修復(fù)的原理。非特異性的本體數(shù)據(jù)構(gòu)造，生成信息系統(tǒng)檔案，搜集處理文件的技術(shù)，以及接口視圖、導(dǎo)航搜索的技術(shù)。已建成信息系統(tǒng)檔案, 如: 葉紹夫院士電子檔案http:/ershov.iis.nsk.su, 西伯利亞分院電子紀(jì)事http:/chronicle.iis.nsk.su, 西伯利亞信息科學(xué)歷史虛擬博物館 http:/www.globalmmf.ru.俄羅斯科學(xué)院西伯利亞分院的電子照片存檔系統(tǒng) http:/soran1957.ru , 對其初始材料和信

3、息進行存儲。4俄羅斯國家科學(xué)院西伯利亞分院照片檔案56葉爾紹夫院士電子檔案在葉爾紹夫院士電子檔案基礎(chǔ)上，研發(fā)并制造了形成專題收集服務(wù)用的保障程序。該程序可在檔案數(shù)據(jù)中進行專題信息的查詢和選擇，可使用微型檔案形式，以CD-ROM，DVD，VHS 等把建好的收集庫自動發(fā)布。從用戶角度來說，微型檔案是葉爾紹夫檔案的專題切面，在用戶的接口界面上，具有按照各類標(biāo)準(zhǔn)進行文件搜尋的功能，同基礎(chǔ)檔案館沒有區(qū)別。葉爾紹夫院士電子檔案普及工作已經(jīng)積極開展。研究所多次在各種會議上作了關(guān)于電子檔案的報告，并在互聯(lián)網(wǎng)上進行了發(fā)布，葉爾紹夫院士電子檔案注冊工作作為互聯(lián)網(wǎng)資源，已在一系列互聯(lián)網(wǎng)電子檔案搜索服務(wù)器和目錄表中進

4、行了注冊。67葉爾紹夫院士電子檔案78西伯利亞信息科學(xué)歷史虛擬博物館根據(jù)文化遺產(chǎn)信息資源互聯(lián)網(wǎng)中的超介質(zhì)和提供的國際標(biāo)準(zhǔn)，研究了適應(yīng)方法。研制了虛擬博物館結(jié)構(gòu)和用戶模型，在西伯利亞信息科學(xué)歷史SVM虛擬博物館框架中積累了處理人文知識的方法和手段。首次建立了具有可適應(yīng)接口的虛擬博物館，給予各界廣泛用戶便利，使博物館可以補充和發(fā)展。含有信息技術(shù)科學(xué)家介紹、團隊、大事記、項目、著作、會議和檔案材料的虛擬博物館數(shù)據(jù)庫信息收集和準(zhǔn)備工作已經(jīng)開展。89西伯利亞信息科學(xué)歷史虛擬博物館910青少年程序員夏季學(xué)校在西伯利亞地區(qū)中小學(xué)信息科學(xué)發(fā)展方面，建立了實踐基地，即重建青少年程序員夏季學(xué)校機制。新西伯利亞青少

5、年程序員學(xué)校的重建，目的在于吸引有天分的年輕人投身于信息科學(xué)和程序化的現(xiàn)代科學(xué)實驗事業(yè)。研究了關(guān)于現(xiàn)代科學(xué)科研人才再生產(chǎn)的問題上現(xiàn)代教育中信息科學(xué)和信息技術(shù)的重要基礎(chǔ)。如何在有趣的精巧項目中結(jié)合中小學(xué)生、大學(xué)生、專業(yè)人員和科研工作者各方面的努力，研究了在教學(xué)流程中組織和保證方法。這種教學(xué)流程、選擇參加者、進行青少年程序員夏季學(xué)校的信息科學(xué)保證方面的全套技術(shù)方案得以實施。研究了在函授遠(yuǎn)程教育中發(fā)展青少年程序員夏季學(xué)校機制的課題，以擴大其作用范圍。1011青少年程序員夏季學(xué)校葉爾紹夫院士青少年程序員夏季學(xué)校評判照片。評判員（別爾斯，紀(jì)霍諾娃，馬爾楚克）正在驗收精巧密碼工作。拍攝于2004年8月阿爾

6、泰山青少年度假中心。1112分配系統(tǒng)邏輯和查驗提出帶有-計算不動點的作用基礎(chǔ)邏輯模型檢驗上下近似法的復(fù)雜性加權(quán)多項式算法。對帶有不動點結(jié)構(gòu)的、相互作用的分配代表在知識和作用組合邏輯名詞上模型檢驗問題進行研究。實現(xiàn)了實驗綜合程序SPV (SDL Protocol Verifier)，用于通訊記錄的模型化和校驗，包括再著色的Petri網(wǎng)校驗器, 它可使用關(guān)于-計算中表現(xiàn)性能的模型檢驗方法。這個方法同樣在Basic-REAL 語言中表現(xiàn)的執(zhí)行說明校驗系統(tǒng)中得以實現(xiàn)。1213分配系統(tǒng)邏輯法和查驗?zāi)Ｐ蜋z驗邏輯說明“乘客服務(wù)臺”記錄結(jié)果：校驗過的“乘客服務(wù)臺”記錄1314-light程序語言 延續(xù)了 語言

7、的代表子集，稱之為-light。對于 -light語言研制了完整結(jié)構(gòu)操作語句。在 -light中分離出核心，稱為 -light-kernel，為此研制了公理語句，并且證明了它和操作語句不會矛盾。確定和建立了將 -light語言翻譯成C-light-kernel語言的標(biāo)準(zhǔn)。C-light程序校驗試驗系統(tǒng)原型已經(jīng)研發(fā)和運行，包括從-light語言翻譯成C-light-kernel 語言的轉(zhuǎn)換器， C-light-kernel 語言正確性條件發(fā)生器，正確性條件論證。1415WEB-知識門戶網(wǎng)頁提出了WEB-知識門戶網(wǎng)頁概念，研制了知識門戶網(wǎng)頁的組建，該網(wǎng)頁可實現(xiàn)獲取內(nèi)容豐富的知識、預(yù)定知識領(lǐng)域系統(tǒng)化

8、，知識和信息資源的可調(diào)。開發(fā)了門戶信息模型，其基礎(chǔ)為實體論系統(tǒng)，包括科研事業(yè)的實體論，科學(xué)知識的實體論，和具體科學(xué)學(xué)科的實體論。研制了科研事業(yè)實體論和科學(xué)實體論，以及考古學(xué)和民族學(xué)的實體論。設(shè)計和研制了數(shù)據(jù)庫和門戶基本模型：用戶的web接口，管理員的web接口，實用論信息收集器，包括信息收集模型和指定主題的文本自動檢索的模型。完成了關(guān)于考古學(xué)和民族學(xué)領(lǐng)域門戶網(wǎng)站的調(diào)試。在俄羅斯科學(xué)院西伯利亞分院考古學(xué)和民族學(xué)研究所服務(wù)器上完成了知識門戶網(wǎng)頁的裝備和調(diào)試。已開始試運行。1516WEB知識門戶網(wǎng)頁1617蘇聯(lián)部長委員會獎獲得者: 俄羅斯通訊院士葉爾紹夫，部門主管， 波多星，實驗室主管，物理數(shù)學(xué)博士

9、 專業(yè)化、內(nèi)置、小型和微型電腦，在通用電腦基礎(chǔ)上保證其成套可調(diào)節(jié)工具手段的程序自動設(shè)計先進技術(shù)的創(chuàng)建和推廣。17 項目與列舍特涅夫信息衛(wèi)星系統(tǒng)股份有限公司的合作上世紀(jì)80年代末-2語言被作為政府指令用作基本語言軟件用來保障機載系統(tǒng)。當(dāng)時在伊.弗.波特多辛的領(lǐng)導(dǎo)下通過了項目。由此與克拉斯諾亞爾斯克的列舍特涅夫應(yīng)用力學(xué)科學(xué)生產(chǎn)聯(lián)合公司展開了緊密合作（現(xiàn)在為列舍特涅夫信息衛(wèi)星系統(tǒng)股份有限公司）該公司是俄羅斯主要衛(wèi)星制造商，航空領(lǐng)域龍頭企業(yè)。系統(tǒng)是一個實驗性設(shè)計的集成工具集，用于開發(fā)提高效率和可靠性的保障性軟件。1819 OBC-1750平臺程序化完全交叉系統(tǒng)實現(xiàn)(科研生產(chǎn)公司定制, 克拉斯諾亞爾斯克

10、市) 按照-2 語言(ISO 10514) ，廣泛采用內(nèi)置系統(tǒng)程序化，如衛(wèi)星隨航程序保證等。按照俄羅斯衛(wèi)星的主要生產(chǎn)者科研生產(chǎn)公司的定制，完全實現(xiàn)了 OBC-1750平臺完全程序化的交叉系統(tǒng)( 2-1750) 。實現(xiàn)系統(tǒng)的主要特點在于：在語言-2程序轉(zhuǎn)換幫助下達到 GNU C (GCC-1750 ver. 1.5.2 和ver. 1.4.1 XGC Software公司)系統(tǒng)的“無縫”集成。19ASP信息系統(tǒng)用于保障開發(fā)和維護衛(wèi)星機載軟件根據(jù)列舍特涅夫信息衛(wèi)星系統(tǒng)股份有限公司的訂制，建立了“文件和項目歸檔和維護軟件”信息系統(tǒng)（IP ASP）該系統(tǒng)用于建立并保障機載軟件電子檔案的維護該系統(tǒng)用于建

11、立并保障機載軟件電子檔案的維護和搜集。在編程和維護宇航器機載軟件的過程中形成機載軟件保障。 并將所有的機載軟件保障文件進行集中存儲管理和調(diào)配控制。20ASP信息系統(tǒng)用于保障開發(fā)和維護衛(wèi)星機載軟件2122石油鉆井放射活性測井過程中獲得數(shù)據(jù)的處理算法和成套程序根據(jù)西西伯利亞秋明工業(yè)地理物理集團公司的要求，研發(fā)和進行了石油鉆井核測井時出現(xiàn)信號處理的一系列算法。建立了程序集合“光譜分析器” (SpectrumAnalyzer)，可廣泛用于下列方面：裝載，檢查，處理原始振幅和時間參數(shù)，計算一系列分析參數(shù)，計算自然放射性核素的濃度，以用于地球物理中的LAS輸出處理結(jié)果。算法和程序集合用于在石油產(chǎn)地使用，并

12、可與世界同類產(chǎn)品競爭。2223石油鉆井放射活性測井過程中獲得數(shù)據(jù)的處理算法和成套程序23石油鉆井放射活性測井過程中獲得數(shù)據(jù)的處理算法24石油鉆井放射活性測井過程中獲得數(shù)據(jù)的處理算法25影像處理26影像處理2728細(xì)胞中功能調(diào)節(jié)系統(tǒng)的分析和預(yù)測算法和成套程序研發(fā)了改進后的算法，實現(xiàn)了細(xì)胞中功能調(diào)節(jié)系統(tǒng)的分析和預(yù)測程序等成套產(chǎn)品。 在微型芯片數(shù)據(jù)、同源數(shù)據(jù)、表型性狀和其他生物數(shù)據(jù)的基礎(chǔ)上，研究了轉(zhuǎn)錄因子的預(yù)測算法。研制了從更加廣泛的遺傳數(shù)據(jù)庫中獲得這些算法輸入數(shù)據(jù)的方法。28細(xì)胞中功能調(diào)節(jié)系統(tǒng)的分析和預(yù)測算法和成套程序2930細(xì)胞中功能調(diào)節(jié)系統(tǒng)的分析和預(yù)測算法和成套程序30生物技術(shù)的數(shù)學(xué)算法31生

13、物技術(shù)的數(shù)學(xué)算法32自然語言語篇語義研究33自然語言語篇語義研究34腦電圖技術(shù)病人與電腦程序進行復(fù)雜互動35腦電圖技術(shù). 2. . , .3637培養(yǎng)高素質(zhì)人才我研究所通過研究生教育和競賽，培養(yǎng)高素質(zhì)科研人才。在三年中，我研究所的物理數(shù)學(xué)領(lǐng)域05.13.11專業(yè)副博士答辯委員會進行了工作。 我研究所是新西伯利亞國立大學(xué)兩個教研室的實驗基地，即機械數(shù)學(xué)系程序化教研室，信息技術(shù)系信息系統(tǒng)教研室。我研究所的工作人員在新西伯利亞國立大學(xué)機械數(shù)學(xué)系承擔(dān)18個年級、20多個專業(yè)班的課程，并且在進行10個專業(yè)講座。我所工作人員在新西伯利亞國立大學(xué)信息技術(shù)系有大約同樣數(shù)量的專業(yè)班和專業(yè)講座。 每年在我研究所的

14、實驗室進行新西伯利亞國立大學(xué)機械數(shù)學(xué)系和信息技術(shù)系4-6個年級100名大學(xué)生的科研和生產(chǎn)實踐。3738參加展會在西伯利亞博覽會和其他展覽上，俄羅斯科學(xué)院西伯利亞分院信息系統(tǒng)研究所展示了如下程序成果： bCAD 平面繪圖、立體模型化和照片實際調(diào)色程序系列 + 在知識介紹和處理集成模型基礎(chǔ)上處理程序系統(tǒng)研究的成套工藝SemP-TAO 知識介紹和處理的集成模型基礎(chǔ)上的程序環(huán)境。在 西伯利亞教育 21世紀(jì) 展覽會上，俄羅斯科學(xué)院西伯利亞分院信息系統(tǒng)研究所的“青少年程序員夏季學(xué)?！鲍@得了小金獎。38展會獲獎情況2006年在以“二十一世紀(jì)西伯利亞教育”為主題的“國際教育展學(xué)習(xí)工具、設(shè)備、資料、創(chuàng)新理念和經(jīng)

15、驗”展會上西伯利亞分院信息系統(tǒng)研究所“夏令營青年程序員培養(yǎng)技術(shù)”獲得了小金牌獎2007年“科技成果商業(yè)化”西伯利亞綜合工藝展上西伯利亞分院信息系統(tǒng)研究所“石油鉆井放射活性測井過程中獲得數(shù)據(jù)的處理算法和成套程序”獲得了銀獎2008年在以“現(xiàn)代教育技術(shù)職業(yè)指導(dǎo)”為主題的“國際教育展學(xué)習(xí)工具、設(shè)備、資料、創(chuàng)新理念和經(jīng)驗”展會上西伯利亞分院信息系統(tǒng)研究所“利用奧運信息系統(tǒng)培養(yǎng)骨干的實驗”獲得小金牌獎 3940國際合作我研究所定期進行紀(jì)念葉爾紹夫院士的“信息系統(tǒng)前景”國際學(xué)術(shù)會議。該學(xué)術(shù)會議于2006年進行了例會。共有40位來自海外的學(xué)者參加會議。會議的著作由Springer出版社在Lectures Notes in Computer Science系列中進行發(fā)表。最近5年在我研究所的基地上，還進行了其他國際會議。在 20032006年Microsoft資助進行了青年學(xué)者競賽會議。我研究所具有和信息技術(shù)領(lǐng)域科研機構(gòu)和公司之間的廣泛國際聯(lián)系：