English translation for "锦云"
|
- cam van
Related Translations:
锦: Ⅰ名词1.(有彩色花纹的丝织品) brocade 短语和例子衣锦还乡 return to one's hometown in silken robes; return home after making good2.(姓氏) a surname 短语和例子锦被 jin beiⅡ形容词(色彩鲜明华丽) bright and beautiful 短语和例子锦霞 rose-tin
- Example Sentences:
| 1. | 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方法，对算法程序进行形式化推导，得到其抽象算法。 | | 2. | 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 。 | | 3. | 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环境的模型。 | | 4. | 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方法，开辟了程序设计的新途径。 | | 5. | This proof merchant already through the authentication , and has set up a file in the panjin114 nets industry and commerce enterprise database , inquires the more detailed enterprise material , please dial the panjin enterprise information desk 0427 - 2871453 2872453 , this enterprise numbers for 314
兹证明盘锦云澜物资商贸有限公司已通过认证，并已在盘锦114网工商企业数据库中备案，查询更详细的企业资料，请拨查询台0427 - 28714532872453 ，该企业编号为314 。 | | 6. | 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程序开发方法研究为背景，初步实现了一个能够帮助学员规范地设计出高质量程序的程序设计智能教学软件平台。 | | 7. | 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技术实现；不仅达到了因材施教，提高学员设计正确程序的能力等功能，而且使该教学平台具有与操作系统无关性、可移植性、可扩充性、可维护性等优点。 | | 8. | 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方法为主要内容。 |
- Similar Words：
- "锦永实业公司" English translation, "锦友" English translation, "锦佑" English translation, "锦源" English translation, "锦源水族" English translation, "锦哉" English translation, "锦正实业公司" English translation, "锦之辅" English translation, "锦之介" English translation, "锦之佑" English translation
|
|
|
