查询词典 automated programming

The procedure can be used to study VC direct draw programming, game programming can be used as data entry.

该程序中可以学习用VC实现direct draw编程，可以作为游戏编程的入门资料。

Fuzzy set;; Fuzzy number;; Fuzzy linear programming with elastic constrains;; Linear programming with coefficients;; Centroid point of fuzzy number;; Dual problem

论文导师刘琼荪，论文学位硕士，论文专业应用数学论文单位重庆大学，点击次数 29，论文页数 59页File Size553K

Then the linear programming are solved by dual simplex method to get the solution of the original 2-dimentional second-order cone programming.

详细介绍了将2维二阶锥规划问题转换成线性规划问题的过程并得到了两问题间的一些重要关系。

Based on the duality theorem of linear programming, the directional derivatives of the objective function can be expressed as a linear programming which is very important in the practical calculation for nonmono tone line search subproblems.

基于线性规划的对偶定理，目标函数的方向导数可以表示成线性规划问题，这在实际计算非单调线搜索子问题时是非常重要的。

In order to make available for alternative Aiming bidding curves,improve the speed,precision and convergence, an effective method for generation scheduling is proposed based on an improved dynamic programming- local redefined dynamic programming .

为有效解决各种类型报价曲线的负荷经济分配，并考虑到计算速度、精度及收敛性等问题，采用了一种改进的动态规划法——局部加密动态规划法，并采取了限制机组组合状态的措施。

My passion for computers got another strong boost in 1952, when a summer job at IBM in Endicott, New York, gave me hands-on experience in programming the IBM 604 and formal instruction in programming IBM's 701, its first stored-program machine. Graduate school under Aiken and Iverson at Harvard made my career dream a reality, and I was hooked for life.

我对计算机的热情在1952年进一步高涨，因为得到了IBM在纽约恩迪科特的一份暑期工，正是那次，我有了在IBM 604上编程的实际经验，也了解了如何编制IBM 701（它的第一个存储程序计算机）程序的正式指令；从哈佛大学Aiken和Iverson名下毕业终于让我的职业梦想变成了现实，并且，就这样沉迷了一辈子。

Topics covered include: programming and computability theory based on a term-rewriting,"substitution" model of computation by Scheme programs with side-effects; computation as algebraic manipulation: Scheme evaluation as algebraic manipulation and term rewriting theory; paradoxes from self-application and introduction to formal programming semantics; undecidability of the Halting Problem for Scheme; properties of recursively enumerable sets, leading to Incompleteness Theorems for Scheme equivalences; logic for program specification and verification; and Hilbert's Tenth Problem.

其所包含的主题：程序和运算理论是基于根据算数和具有一些副作用的计划纲要的条款重写和"代入"模式之上的、关于代数学计算的算数：关于代数学计算和术语重写理论的评价方案作计划、应用程序自己和说明的自相矛盾到形式上的程序语义、关于计划Halting 问题的不可判定性、可递归可列举集合的属性、导致对于等同计划的不完整规则、对于逻辑和证明程序的规范和Hilbert的第十问题。

To solve the nonlinear 0-1 programming problem, it is transformed into an equivalent continuous nonlinear programming on the domain of [0, 1] by a nonlinear equality discrete constraint.

为了求解非线性0-1离散规划问题，通过非线性等式的"离散性约束"将其转化为[0， 1]区间上等价的连续变量非线性规划。

Based on the characteristics of wireless sensor networks, a routing problem is converted firstly into linear programming problem, and the equivalence between the routing problem and linear programming problem is proved.

基于无线传感器网络特性，首先将路由问题转化为线性规划问题，并证明了路由问题与线性规划问题的等价性。

A class of bilevel multi-objective programming was converted into the problem of equivalent single-level multi-objective programming. Then a new chaos genetic optimization algorithm was presented by using the inversion property of genetic algorithm and the ergodic property of chaos optimization method and combining with the exact l_1 penalty function.

针对求解一类二层多目标规划问题，首先将其转化为等价的单目标规划问题，然后利用遗传算法优化的反演性和混沌优化方法的遍历性，并结合精确罚函数求解非线性约束优化问题，提出了求解此类问题的混沌遗传算法。

It's bell can reach over a meter in diameter.

它的身体最大可以达到直径1米多。

Now they are overdue and I shall have to pay a fine.

现在他们过期了，我不得不付罚款。