查询词典 programming

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.

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

Event-driven programming can reflect the real situation of networks, so it is suitable for the network programming.

事件驱动机制能够精确地反映网络报文交换行为的实现机制，因而很适合Internet高层协议的实现。

Different from former floorplanning methods based on linear programming, solutions of the method in the dissertation always lie in the feasible region of the original floorplanning model based on mathematical programming.

实验结果表明使用本文提出的线性规划模型在保证了解空间可行性的同时达到了良好的布图规划效果。

The mathematical programming formulation and related solution procedure are established by the traditional BEM. Through the discretization of space and time, the elastoplastic stress simulation method and reduce-basis technique are adopted to construct the self-equilibrium stress field. The numbers of variables and constraint equations in the resulting mathematical programming formulation are reduced greatly and then the dimension obstacle of computation in 3-D limit and shakedown analysis is overcome.

采用常规边界元方法建立了三维结构极限与安定分析的数学规划格式，通过对时间和空间的离散化，并采用弹塑性模拟法构造自平衡应力场和引入减缩基技术，大大减少了所形成的数学规划格式中的未知变量和约束方程的数目，有效地克服了三维结构极限与安定分析中的维数障碍问题。

A backer of an Afghan law that critics say legalizes marital rape has rejected the international outcry as foreign meddling.

饱受批评的一项法律的拥护者说合法化的婚内暴力不会受国际舆论的干涉。

Years ago, a ancient Egyptian fleet went to the Land of punt for seeking a kind of flavor named "myrrh", and aromatic plants which has dense exotic style for the queen Hatshepsut.

3500年前的一个古埃及的舰队到&彭特之地&寻找一种叫没药的香料。