This debug script requirement is different from , for example , a windows forms project , which creates and runs an independent executable program ; database objects run only in response to actions or calls in the database 该调试脚本的要求与windows窗体项目不同,后者创建和运行独立的可执行程序;而数据库对象仅在响应数据库中的操作或调用时运行。
Unlike a typical binary executable program , such as the notes client , the entire domino web access user interface is composed of html , javascript , cascading style sheets , and various graphic files 与诸如notes客户机之类的典型二进制可执行程序不同,整个domino web access用户界面是由html 、 javascript 、 cascading style sheets和各种图形文件组成的。
If you select one or more of these options , visual studio will generate a windows executable program named setup . exe the " bootstrapper " that is responsible for installing these dependencies before your application runs 如果选择这些选项中的一个或多个,则visual studio会生成一个名为setup . exe的windows可执行程序,该程序负责在应用程序运行前安装这些依赖项。
The fourth process of the five processes in software engineering , that is , the entire process of writing programs in a specific programming language , debugging the programs on a machine to get correct executable programs according to the results of the design 软件工程的五道工序中的第四道工序,即根据设计的结果用一定的编程语言写出程序,在机器上进行调试,以得到正确的可执行的程序的过程。
The " active " of active networks exhibit in two aspects : firstly , the resources of active network node are highly abstracted to a programmable network application programming interface . with this interface , the functionality of network nodes can be dynamically constructed and refined , and it could provide the more rich process capability with the packets . on the other hand , some executable programs are carried in user packets , which can execute in network nodes and change the network ' s behaviors as seen by user 主动式网络的“主动性”表现在两个方面:首先,在主动式网络中,结点资源(包括计算处理,缓存以及传输资源)被高度抽象为一种可编程的网络应用编程接口,通过这一网络应用编程接口,网络结点所具备的处理能力可以动态的扩展,更新和增强,它能够提供对流经的用户数据流进行高层复杂的计算处理能力;其次,用户数据包中能够携带可以在主动式结点中运行的程序代码,利用这一方式,用户可以对网络进行编程,在网络中灵活定制其所需的网络业务和应用,提供它们对自身特定数据进行处理的功能。
Therefore , we construct a resource - oriented logic model for e - commerce auto - negotiation and also put its basic functions into an executable program with java programming language . to draw a widely considering conclusion in program , we firstly give a formalized definition of a series elements that would be taken into consideration in the process of auto - negotiation . in order to realize commerce intelligence in program , we emulate the user with agent technology , describing the object and action of purchase with attitude , and do the theorization and study base on resource 该模型基于资源库,对自动协商过程中普遍涉及的一系列重要因素进行了形式化的定义和描述,并将其真正纳入了自动协商的决策考虑之中;同时,该模型采用agent技术来对电子商务用户进行建模,使用目标偏好来对用户的购买目标和行为特征进行描述,为了更好的实现真正意义上的商务智能,在模型中建立了利用资源进行推理和学习的机制。
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方法为主要内容。