薛锦的英文

• setsukin

• "薛"英文翻译    Xue,a state in the Zhou Dyna ...
• "锦"英文翻译    brocade
• "薛景求" 英文翻译 :    kyung-gu sol; sol kyung-gu
• "薛金史蒂芬" 英文翻译 :    shaking steven
• "薛景文" 英文翻译 :    xue jingwen
• "薛江洲" 英文翻译 :    jiang-zhou xue
• "薛静珍" 英文翻译 :    jingzhen xue
• "薛建设" 英文翻译 :    jianshe xue
• "薛靖" 英文翻译 :    jing xue
• "薛家浜路" 英文翻译 :    hsuehchiapang road
• "薛居正" 英文翻译 :    xue juzheng
• "薛家营" 英文翻译 :    xuejiaying

• 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技术实现；不仅达到了因材施教，提高学员设计正确程序的能力等功能，而且使该教学平台具有与操作系统无关性、可移植性、可扩充性、可维护性等优点。
• 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方法为主要内容。