薛錦 的英文怎麼說
中文拼音 [xuējǐn]
薛錦
英文
setsukin-
Combining with knowledge representation and automatic reasoning principle of ai and generic paradigm, the system has these main functions : ? it is able to show different solutions of typical example ; ( 2 ) it can automatically generate problems similar to the example for students to solve by providing them with clues ; ( 3 ) these problems can be studied by demonstrating the complete solution process and answers with the help of automated reasoning, or by providing real - time prompts to students concurrent with the students " solution processes with the help of automated reasoning ; ? it provides exercises and is able to call a program produced by the group ( the translator ), which transfers apla programs to executable programs so as to verify its correctness ; ( 5 ) it let teacher to add examples in the database ; etc. hi the course of systematic research, we deeply investigated the relevant knowledge of the system and made some innovation : about teaching content, we select par method as the main content
本系統選用薛錦雲教授的par方法為主要教學內容，應用人工智慧的知識表示和自動推理原理及泛型思想，使得系統具有以下核心功能：展示幾種典型例題的解；以泛型思想為指導，實現了無限題庫，可以自動生成與典型例題類似的問題給學生求解並給予提示；對于這些題目，計算機可以自動推理出由問題到程序的全過程供學生學習；也可通過自動推理根據用戶的實際做題情況實時給出提示，互動式地幫助學生學習演算法程序設計；學生可以從問題庫中獲得練習，並調用轉換器，將自己的apla程序轉化為可執行語言程序，運行以檢驗其正確性；對教師而言，可以對已有的實例庫、問題庫進行添加操作等。在系統的研製過程中，我們深入研究了系統的各方面相關知識，並進行了多方面的創新：在教學內容方面，首次選用par方法為主要內容。Members of the delegation include the director of marine, mr roger tupper, deputy secretary for economic development and labour, miss janice tse, mic members mr frank tsao and mr liang ming - hang, hong kong port development council member, professor victor sit, and representatives of various sectors of hong kong s maritime cluster
交流團團員包括海事處處長譚百樂經濟發展及勞工局副秘書長謝小華航運發展局成員曹文錦及梁敏行香港港口發展局成員薛鳳旋，以及香港航運界不同行業的代表。Herein, we proposed that the software reuse technique based on algorithmic framework is to formal deduce from algorithmic program and get its abstract algorithm by using the par method proposed by professor xue jingyun
本文提出的基於演算法框架的軟體設計及分析復用技術是利用薛錦雲教授提出的par方法，對演算法程序進行形式化推導，得到其抽象演算法。Par is a practical environment for formal development of algorithmic programs, which is proposed by professor xue. it is based on the research of the projects supported by the national natural science foundation of china
薛錦雲教授在國家863和多項國家自然科學基金的資助下，根據多年從事演算法程序設計理論研究的成果，提出了一種實用的開發和證明演算法的方法? ? par 。Main jobs in this paper including following aspects : 1, research the content and application of j2ee technology 2, research learning theory and icai design principle 3, realize new model of programming icai environment
本文所做的工作主要有： 1 、研究j2ee技術的主要內容與應用方案， 2 、研究各種學習理論與cai的設計原則， 3 、實現薛錦雲教授提出的新型程序設計智能cai環境的模型。In order to modify the current situation of software development, improving the reliability of the products, pro. xue put forward a generally accommodated method - par method which create a new approach for programming
為了改變軟體發展的現狀，提高軟體產品的可靠性，薛錦雲教授在多個國家級課題的資助下提出了一種普遍適用的演算法程序形式化開發方法? ? par方法，開辟了程序設計的新途徑。Research in this paper is in the context of the nation ' s natural science fund project " the research of applied formal develop methods and their tools " which are charged by professor xue. this research realized a programming icai platform to help learner develop normative and high - quality program
本文以中科院博士生導師，江西師范大學薛錦雲教授承擔的兩個國家自然科學基金高技術探索項目：實用的軟體形式化方法和高可靠性java程序開發方法研究為背景，初步實現了一個能夠幫助學員規范地設計出高質量程序的程序設計智能教學軟體平臺。Surrounding the par method, combining the learning theory, java design pattern, agent orient programming, the icai platform was designed using uml and realize by j2ee. the platform can not only teach learners in accordance of their aptitude but also help to develop their programming ability, with the advantages of independence of os, easiness to migrate extend and maintain
文中的程序設計智能教學軟體平臺以薛錦雲教授提出的par方法為主要教學內容，結合建構主義等學習理論，用uml進行系統建模，引入java設計模式與面向agent編程等思想，基於j2ee技術實現；不僅達到了因材施教，提高學員設計正確程序的能力等功能，而且使該教學平臺具有與操作系統無關性、可移植性、可擴充性、可維護性等優點。分享友人