查询词典 automated programming

A new method called automatic programming technology for field application between manual programming and automatic programming based on CAD/CAM is currently a hot subject of research.

为了弥补的手工编程和计算机自动编程的不足，介于这二者之间的编程方式——适合现场使用自动编程技术成为研究热点。

Moreover, if the optimization problem has certain special feature, the simpler relaxation methods can be provided. For example, considering a generalized geometric programming problem, relevant relaxation linear programming can be obtained using its special structure. Based on the branch and bound method, a linear relaxation algorithm of global optimization is presented for generalized geometric programming, and the convergence of the algorithm is also proven.

此外，当优化问题具有某种特殊性质时，我们能给出更加简便的松弛化方法，如考虑广义几何规划问题，能充分利用其特殊结构，建立了广义几何规划问题的松弛线性规划问题；在分枝定界技术的基础上，提出了一个求广义几何规划全局解的线性松弛算法；证明了算法的收敛性。

This is an graduate introduction to Programming Theory, Logic of Programming, and Computability, with the programming language Scheme used to crystallize computability constructions and as an object of study itself.

这是一篇介绍研究程序理论、程序和运算逻辑，关于电脑程序语言惯于用的明确性的运算结构，就像自学对象。

844 Is a graduate introduction to programming theory, logic of programming, and computability, with the programming language Scheme used to crystallize computability constructions and as an object of study itself.

6.844是一份研究介绍程序理论、程序逻辑和运算逻辑，程序语言计划可以明确性的表达运算结构，也成为了学生学习程序语言计划的目标。

A stochastic nonlinear programming model of production with delay interaction (which is a static optimization model to solve the dynamic optimization problem) is built up and transformed into a deterministic nonlinear programming model and further into a linear programming model by adding constraints.

首先根据实际需要建立关联方程有延迟的车间生产的随机非线性规划模型，即一种求解动态优化问题的静态优化模型。

Secondly,the author puts emphasis on "the simple linear programming"----the teaching design's whole blueprint in high school, the strategy on how to deal with the relation between dual inequality and linear programming; how to establish the linear programming model; the strategy on how to find the optimal solution; the several situations of the optimal solution's positions.

其次重点研究了"高中简单的线性规划"教学设计的总体构想；处理线性规划与二元一次不等式关系的策略；如何建立线性规划模型；线性规划问题中最优解的找法策略，最优解的位置的几种情况。

Teach linear programming: Graphical illustrations, Simplex method, dual and sensitivity analysis, piecewise linear programming, integer programming, and other techniques applications to energy and environmental systems

C43介绍线性规划：图解法，简易法，敏感度分析，整数规划，其他方法，及在环境工程及能源系统上之应用

Unix / Linux computer systems for banks to use a very wide range of an operating system, AWK is a Unix / Linux under a deal with the text of the programming language tools, is a SHELL program design with, BC, and language features of C programming language, It is the Unix operating system, and mode of dealing with the calculation squadron of great benefit both as a tool, both as a command, but also a group of control language, is a very elegant programming language, its documentation a simple and neat, and then be able to complete a number of other tools difficult to complete the task, and thus has a very wide range of uses, given its ability to handle the power of a text file,In this regard giving full play to its unique advantages.

Unix/Linux 是银行计算机系统中使用特别广泛旳─种操作系统，AWK是Unix/Linux下一种解决文本的编程语言工具，是一种具备SHELL程序设计、BC和C语言特征的程序设计语言，它是Unix系统中队计算业务和模式处理都大有裨益的一种工具，它既是命令，也是一组控制语言，是一种相当优雅的程序设计语言，其文档简洁明快，并接能够完成许多其他工具难以完成的任务，因而具有相当广泛的用途，鉴于其具有处理文本文件的强大功能，在这方面可以充分发挥其独特的优势。

Programming with customer macro instruction is a kind of advanced programming method which is offered by FANUC CNC system,which programming with the replacing function code or address in programs by variable .

用户宏指令编程是FANUC系统所提供的一种先进的编程方法，它使用变量代替程序中的功能代码或地址值进行编程，使数控程序具有通用性和灵活性并简化了数控编程。

Programming with customer macroinstruction is a kind of the advanced programming method,which is offered by FANUC CNC system,The function code or address can be replaced by variable during the programming.

用户宏指令编程是FANUC系统所提供的一种先进的编程方法[1]，使用变量代替程序中的功能代码或地址值进行编程，使数控程序具有通用性和灵活性，且简化数控编程，是数控技术的重要组成部分。

He became prime minister in 1997 and won international acclaim for his role in the Northern Ireland peace process.

他在1997年成为总理，并且因为在北爱尔兰的和平进程中发挥的作用受到国际社会的赞许。

Mixed Page Sorting Method Using the cuttable user model, this thesis proposes a mixed page sorting method by using cutted user model in server-side and complete user model in client-side.

隐私分级利用的混合式页面排序方法针对个性化搜索中搜索结果排序的问题，本文利用隐私可控开放的用户偏好模型，提出一个在客户端和服务器端分步进行的隐私分级利用的混合式页面排序方法。