查询词典 sequential 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.

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

As a result of analyzing, because of Delphi's strong support ability to the database while developing the forestage and succinct and lucid programming language, powerful component, flexible and convenient programming environment and the offered support of window body that develops the fast prototype, We decide to use Borland Delphi 6.0 of Borland Company as the developing instrument of forestage together with Microsoft SQL Server 2000 as backstage supporter.

经过分析，由于Delphi 在开发数据库前端对数据库的强大支持能力及其具有的简洁明快的编程语言、功能强大的组件、灵活方便的编程环境和提供的窗体对快速原型开发的支持，我们以Borland公司的BORLAND DELPHI 6.0作为前端开发工具，以 Microsoft SQL Server 2000作为后台数据库开发工具，系统采用C/S结构。

Use artificial intelligence programming language prolog programming formula software source code.

利用人工智能程序设计语言prolog编程实现的公式计算软件源代码。

Many will continue to choose to live in duality and in conflict.

许多人将继续选择活在二元对立性和冲突中。

I find that students of the University of Physical Education all wear sportswear at first sight.

我发现：体育大学的学生乍一看，都是穿运动衣，大家都一样