查询词典 elegant programming

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编程实现的公式计算软件源代码。

Friendly interface of the game software, animation, image, observed from time to time players make each other's fighting, in addition to the author also carefully developed to preserve the game algorithm module, so that players can be stored and playback unforgettable exciting game screen, and enjoy more of the Game bring the fun Keywords: Tetris; TCP / IP network programming; client and server programming; Save Game Algorithm

本游戏软件界面友好，动画形象，能使玩家时时观测到对方的战况，此外笔者还精心开发了保存游戏算法的模块，使玩家可保存和回放精彩难忘的游戏画面，进而享受到更多本游戏带来的乐趣关键词：俄罗斯方块；TCP/IP网络编程；客户端和服务器编程；保存游戏算法

Mr. Putin said there were signs of genocide against the Ossetian people.

普京说，有迹象表明对南奥塞梯人进行了种族清洗。

What I'm trying to say, Tristan is...

特瑞斯坦。我想说的是。