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

【摘要】：ACM/ICPC (ACM International Collegiate Programming Contest, ACM國際大學生程序設計競賽)作為一個擁有40多年歷史的全球范圍的大學生競賽活動,它已成為大學生甚至中學生中很受歡迎的競賽活動。而隨著計算機教育的不斷發(fā)展,程序設計教學作為計算機基礎科學教育的核心課程正在受到越來越多的重視。許多大學正試圖把ACM/ICPC的比賽模式引入到自身的程序設計教學中,并希望借競賽的創(chuàng)新機制來推動程序設計教學的改革和發(fā)展。我校曾成功舉辦過第34屆ACM/ICPC的亞洲區(qū)預選賽上海賽區(qū)的網(wǎng)上預賽及現(xiàn)場決賽。比賽中,我校自主開發(fā)的程序設計評判系統(tǒng)起到了舉足輕重的作用,且該系統(tǒng)首次使得現(xiàn)場決賽與網(wǎng)上同步賽同時進行,進而使得程序設計評判系統(tǒng)在比賽中圓滿的完成了任務。因此,若以程序設計評判系統(tǒng)為基礎,把ACM/ICPC的模式引入程序設計教學過程中,將會推動程序設計語言課程體系改革和發(fā)展�，F(xiàn)實世界的軟件要么越來越?jīng)]有價值,要么持續(xù)改變以適應環(huán)境變化。網(wǎng)絡的開放性、異構性和動態(tài)性使得用戶需求、計算環(huán)境頻繁變化,軟件的變化性、復雜性也進一步增強。為了適應這些變化,軟件必須能夠隨時間不斷改變。本文經(jīng)過對程序設計教學過程中不同教學階段或環(huán)境所需要的不同服務進行分析,我們嘗試以程序設計評判系統(tǒng)為基礎,構造出可重組的程序設計教學系統(tǒng)模型,并使之能夠適應程序設計教學過程中的不斷變化的新任務,因此,我們提出程序設計教學的基于可重組自主單元互連結構為程序設計教學系統(tǒng)進行建模。對于該系統(tǒng)模型,我們著重使用可重組自主單元所構成的互連結構進行建立。作為一種基于規(guī)則及圖形轉換的策略,用基于自主單元的互連結構為交互但獨立于其他部分進行運行的系統(tǒng)模塊建模能夠較好的體現(xiàn)模塊間的自主性及關聯(lián)性。由于自主單元構成的互連結構模型主要利用圖來描述系統(tǒng)的狀態(tài),因此在探尋系統(tǒng)的圖形化描述方法時引入圖文法將是一條很好的途徑。基于自主單元和互連結構中,用了大量的圖文法相關理論知識。圖文法是用來定義圖語言和對圖進行語法分析的形式化工具。隨著計算機軟件技術的發(fā)展,特別是可視化人機界面的迅速發(fā)展,圖文法就被國內(nèi)外眾多學者介紹并研究�，F(xiàn)今,圖文法可以應用于像代數(shù)功能和邏輯表達、軟件環(huán)境、設計基于規(guī)則的系統(tǒng)、系統(tǒng)的并行及并發(fā)性等。本文結合國家自然科學基金項目“網(wǎng)絡知識互聯(lián)結構自主發(fā)育模型研究”,針對上述問題,重點研究程序設計評判系統(tǒng)在程序設計教學中的系統(tǒng)模型。目標是其結構模型能夠滿足程序設計教學過程中所面臨的新的任務和需求。
[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.
【學位授予單位】：東華大學
【學位級別】：碩士
【學位授予年份】：2013
【分類號】：TP311.1-4;G642

【參考文獻】

相關期刊論文 前10條

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

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

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

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

5 陳湘驥;徐東風;楊秋妹;;在線評判在C語言課程設計教學中的應用[J];計算機教育;2010年03期

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

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

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

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

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

相關碩士學位論文 前3條

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

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

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

，

本文編號：1730868