锦云造句

• 杂锦云吞汤
• 本文提出的基于算法框架的软件设计及分析复用技术是利用薛锦云教授提出的par方法，对算法程序进行形式化推导，得到其抽象算法。
• 薛锦云教授在国家863和多项国家自然科学基金的资助下，根据多年从事算法程序设计理论研究的成果，提出了一种实用的开发和证明算法的方法? ? par 。
• 本文所做的工作主要有： 1 、研究j2ee技术的主要内容与应用方案， 2 、研究各种学习理论与cai的设计原则， 3 、实现薛锦云教授提出的新型程序设计智能cai环境的模型。
• 为了改变软件发展的现状，提高软件产品的可靠性，薛锦云教授在多个国家级课题的资助下提出了一种普遍适用的算法程序形式化开发方法? ? par方法，开辟了程序设计的新途径。
• 兹证明盘锦云澜物资商贸有限公司已通过认证，并已在盘锦114网工商企业数据库中备案，查询更详细的企业资料，请拨查询台0427 - 28714532872453 ，该企业编号为314 。
• 本文以中科院博士生导师，江西师范大学薛锦云教授承担的两个国家自然科学基金高技术探索项目：实用的软件形式化方法和高可靠性java程序开发方法研究为背景，初步实现了一个能够帮助学员规范地设计出高质量程序的程序设计智能教学软件平台。
• 文中的程序设计智能教学软件平台以薛锦云教授提出的par方法为主要教学内容，结合建构主义等学习理论，用uml进行系统建模，引入java设计模式与面向agent编程等思想，基于j2ee技术实现；不仅达到了因材施教，提高学员设计正确程序的能力等功能，而且使该教学平台具有与操作系统无关性、可移植性、可扩充性、可维护性等优点。
• 本系统选用薛锦云教授的par方法为主要教学内容，应用人工智能的知识表示和自动推理原理及泛型思想，使得系统具有以下核心功能：展示几种典型例题的解；以泛型思想为指导，实现了无限题库，可以自动生成与典型例题类似的问题给学生求解并给予提示；对于这些题目，计算机可以自动推理出由问题到程序的全过程供学生学习；也可通过自动推理根据用户的实际做题情况实时给出提示，交互式地帮助学生学习算法程序设计；学生可以从问题库中获得练习，并调用转换器，将自己的apla程序转化为可执行语言程序，运行以检验其正确性；对教师而言，可以对已有的实例库、问题库进行添加操作等。在系统的研制过程中，我们深入研究了系统的各方面相关知识，并进行了多方面的创新：在教学内容方面，首次选用par方法为主要内容。

• 锦云的英语：cam van
• 锦云的韩语：껌번