發(fā)布時間：2018-04-10 10:44

本文選題：程序設(shè)計教學(xué)　+ ACM/ICPC模式　；參考：《東華大學(xué)》2013年碩士論文

【摘要】：ACM/ICPC (ACM International Collegiate Programming Contest, ACM國際大學(xué)生程序設(shè)計競賽)作為一個擁有40多年歷史的全球范圍的大學(xué)生競賽活動,它已成為大學(xué)生甚至中學(xué)生中很受歡迎的競賽活動。而隨著計算機教育的不斷發(fā)展,程序設(shè)計教學(xué)作為計算機基礎(chǔ)科學(xué)教育的核心課程正在受到越來越多的重視。許多大學(xué)正試圖把ACM/ICPC的比賽模式引入到自身的程序設(shè)計教學(xué)中,并希望借競賽的創(chuàng)新機制來推動程序設(shè)計教學(xué)的改革和發(fā)展。我校曾成功舉辦過第34屆ACM/ICPC的亞洲區(qū)預(yù)選賽上海賽區(qū)的網(wǎng)上預(yù)賽及現(xiàn)場決賽。比賽中,我校自主開發(fā)的程序設(shè)計評判系統(tǒng)起到了舉足輕重的作用,且該系統(tǒng)首次使得現(xiàn)場決賽與網(wǎng)上同步賽同時進行,進而使得程序設(shè)計評判系統(tǒng)在比賽中圓滿的完成了任務(wù)。因此,若以程序設(shè)計評判系統(tǒng)為基礎(chǔ),把ACM/ICPC的模式引入程序設(shè)計教學(xué)過程中,將會推動程序設(shè)計語言課程體系改革和發(fā)展�，F(xiàn)實世界的軟件要么越來越?jīng)]有價值,要么持續(xù)改變以適應(yīng)環(huán)境變化。網(wǎng)絡(luò)的開放性、異構(gòu)性和動態(tài)性使得用戶需求、計算環(huán)境頻繁變化,軟件的變化性、復(fù)雜性也進一步增強。為了適應(yīng)這些變化,軟件必須能夠隨時間不斷改變。本文經(jīng)過對程序設(shè)計教學(xué)過程中不同教學(xué)階段或環(huán)境所需要的不同服務(wù)進行分析,我們嘗試以程序設(shè)計評判系統(tǒng)為基礎(chǔ),構(gòu)造出可重組的程序設(shè)計教學(xué)系統(tǒng)模型,并使之能夠適應(yīng)程序設(shè)計教學(xué)過程中的不斷變化的新任務(wù),因此,我們提出程序設(shè)計教學(xué)的基于可重組自主單元互連結(jié)構(gòu)為程序設(shè)計教學(xué)系統(tǒng)進行建模。對于該系統(tǒng)模型,我們著重使用可重組自主單元所構(gòu)成的互連結(jié)構(gòu)進行建立。作為一種基于規(guī)則及圖形轉(zhuǎn)換的策略,用基于自主單元的互連結(jié)構(gòu)為交互但獨立于其他部分進行運行的系統(tǒng)模塊建模能夠較好的體現(xiàn)模塊間的自主性及關(guān)聯(lián)性。由于自主單元構(gòu)成的互連結(jié)構(gòu)模型主要利用圖來描述系統(tǒng)的狀態(tài),因此在探尋系統(tǒng)的圖形化描述方法時引入圖文法將是一條很好的途徑�；谧灾鲉卧突ミB結(jié)構(gòu)中,用了大量的圖文法相關(guān)理論知識。圖文法是用來定義圖語言和對圖進行語法分析的形式化工具。隨著計算機軟件技術(shù)的發(fā)展,特別是可視化人機界面的迅速發(fā)展,圖文法就被國內(nèi)外眾多學(xué)者介紹并研究�，F(xiàn)今,圖文法可以應(yīng)用于像代數(shù)功能和邏輯表達、軟件環(huán)境、設(shè)計基于規(guī)則的系統(tǒng)、系統(tǒng)的并行及并發(fā)性等。本文結(jié)合國家自然科學(xué)基金項目“網(wǎng)絡(luò)知識互聯(lián)結(jié)構(gòu)自主發(fā)育模型研究”,針對上述問題,重點研究程序設(shè)計評判系統(tǒng)在程序設(shè)計教學(xué)中的系統(tǒng)模型。目標是其結(jié)構(gòu)模型能夠滿足程序設(shè)計教學(xué)過程中所面臨的新的任務(wù)和需求。
[Abstract]:ACM/ICPC International Collegiate Programming contest (ACM International Program Design Competition for College students) as a worldwide competition with a history of more than 40 years, it has become a popular competition among college students and even middle school students.With the development of computer education, programming teaching, as the core course of computer basic science education, is being paid more and more attention.Many universities are trying to introduce the competition mode of ACM/ICPC into their own programming teaching, and hope to promote the reform and development of program design teaching by the innovative mechanism of competition.Our school has successfully held the 34 th session of the ACM/ICPC Asian Zone qualifier Shanghai District online preliminary and live finals.In the competition, the program design evaluation system developed by our university has played an important role, and for the first time, the system has made the on-site final and the online synchronous competition go on simultaneously.Thus, the program design evaluation system has successfully completed the task in the competition.Therefore, if the model of ACM/ICPC is introduced into the teaching process of programming, the reform and development of the curriculum system of programming language will be promoted.Real-world software is either becoming less valuable or constantly changing to adapt to environmental change.The openness, heterogeneity and dynamics of the network make users' demands, computing environment change frequently, software's variability and complexity further enhance.In order to adapt to these changes, the software must be able to change over time.Based on the analysis of the different services required by different teaching stages or environments in the process of programming teaching, this paper attempts to construct a reconfigurable model of programming teaching system based on the evaluation system of programming design.And it can adapt to the new task which is constantly changing in the process of programming teaching. Therefore, we propose to model the programming teaching system based on the reconfigurable autonomous unit interconnection structure.For the system model, we mainly use the interconnection structure composed of reconfigurable autonomous units.As a strategy of rule-based and graphical transformation, the modeling of system modules based on the interconnection structure of autonomous units which is interactive but run independently from other parts can better reflect the autonomy and correlation between modules.Because the interconnection structure model composed of autonomous units mainly uses graphs to describe the state of the system, it is a good way to introduce the graph-text method when exploring the graphical description method of the system.Based on autonomous unit and interconnection structure, a lot of related theoretical knowledge of graph and text method is used.Graphic text is a formal tool for defining graph language and parsing diagrams.With the development of computer software technology, especially the rapid development of visual man-machine interface, graphic and text method has been introduced and studied by many scholars at home and abroad.Nowadays, graph-text method can be applied to algebraic function and logic representation, software environment, designing rule-based system, system parallelism and concurrency, etc.Based on the project of the National Natural Science Foundation of China, "study on the independent development model of network knowledge interconnection structure", this paper focuses on the system model of programming evaluation system in the teaching of program design, aiming at the above problems.The goal is that the structural model can meet the new tasks and needs in the process of programming teaching.
【學(xué)位授予單位】：東華大學(xué)
【學(xué)位級別】：碩士
【學(xué)位授予年份】：2013
【分類號】：TP311.1-4;G642

【參考文獻】

相關(guān)期刊論文 前10條

1 袁博;汪斌強;;基于構(gòu)件運算的可重構(gòu)系統(tǒng)代數(shù)模型[J];軟件學(xué)報;2012年10期

2 姚翠莉;劉一瑋;金博;;ACM/ICPC競賽人才培養(yǎng)模式的研究與實踐——以大連理工大學(xué)ACM/ICPC創(chuàng)新實踐班為例[J];內(nèi)蒙古師范大學(xué)學(xué)報(教育科學(xué)版);2012年03期

3 徐洪珍;曾國蓀;陳波;;軟件體系結(jié)構(gòu)動態(tài)演化的條件超圖文法及分析[J];軟件學(xué)報;2011年06期

4 馬慧彬;許麗萍;;結(jié)合ACM競賽提高學(xué)生編程能力的教改探索[J];計算機與信息技術(shù);2010年10期

5 陳湘驥;徐東風(fēng);楊秋妹;;在線評判在C語言課程設(shè)計教學(xué)中的應(yīng)用[J];計算機教育;2010年03期

6 惠敏順;朱國進;;基于SOA的分布式程序設(shè)計競賽系統(tǒng)的研究[J];計算機技術(shù)與發(fā)展;2008年10期

7 李繼云;朱國進;;建立創(chuàng)新人才教學(xué)生態(tài)環(huán)境的思考[J];計算機教育;2008年18期

8 韓秀清;曾曉勤;鄒陽;張康;;圖文法綜述[J];計算機科學(xué);2008年08期

9 曾曉勤;韓秀清;鄒陽;;一種基于邊的上下文相關(guān)圖文法形式化框架[J];軟件學(xué)報;2008年08期

10 郭嵩山;王磊;張子臻;;ACM/ICPC與創(chuàng)新型IT人才的培養(yǎng)[J];實驗室研究與探索;2007年12期

相關(guān)碩士學(xué)位論文 前3條

1 官洋;程序設(shè)計教學(xué)系統(tǒng)自主單元互連結(jié)構(gòu)模型研究[D];東華大學(xué);2011年

2 胡勇健;基于語義化服務(wù)架構(gòu)的程序設(shè)計評判系統(tǒng)的研究[D];東華大學(xué);2010年

3 馮奇俊;基于網(wǎng)絡(luò)知識資源語義化的電子試卷自動生成系統(tǒng)研究[D];東華大學(xué);2008年

，

本文編號：1730868