In the theory of programming, program synthesis is deeply concerned with program verification.
在程序理论方面，程序综合与程序验证关系密切。
His knowledge of software development, project workflows and code theory is adequate, but he does very little of the actual programming or work.
虽然对软件开发，流程管理和编码理论耳熟能详，但他极少从事实际的编程工作。
The theory and practice of CSP has had a profound impact on the areas of concurrent design and programming.
CSP的理论和实践对于并发设计和编程领域有深远的影响。
Programming design is a mixture of theory and practice.
《程序设计》是一门理论与实践相结合的课程。
On the basis of minimax algebra theory, this paper provides an algebra method of solving countable stages decision problems in the dynamic programming.
本文根据极大极小代数理论，给出了一种用以求解动态规划中有限多阶段决策问题的代数算法。
Uncertain programming is an important content of the optimization theory for uncertain systems.
不确定规划是不确定环境下的系统优化理论的重要内容。
The GM(1, 1) model of grey system theory is introduced into the service forecasting of the civil telephone network programming. Compared with other forecasting models, the result obtained is better.
将灰色系统理论的GM（1，1）模型引入到市话网规划中的业务预测部分，并用GM（1，1）模型同其他预测模型做了比较，取得较好结果。
A suitable model of radar jamming resources allocation is established by using dynamic programming theory.
用动态规划原理建立了适合雷达干扰资源分配问题的模型。
This volume also provides a mathematical programming perspective on open questions in auction theory, and provides a glimpse of the growing area of dynamic pricing.
本卷还提供了一个在拍卖理论的开放性问题的数学规划的角度，并提供了对动态定价种植面积一瞥。
Techniques of deposit are discussed by applying theory of dynamic programming. From this, the decision processes and the decision table are given for easy operating.
采用动态规划理论讨论了最优存款的方法。根据这些讨论制定出决策流程和决策表，使得操作更为便捷。
The primary function and hardware structure principle as well as software function are introduced… The realizing theory and programming idea of main modules are discussed.
本文介绍了控制系统的主要功能、硬件结构和软件功能。简单介绍了各主要模块的实现理论及编程思想。
Based on genetic programming (GP) theory, the mathematical modeling method of dam deformation monitoring is researched.
研究了基于遗传规划(gp)理论的大坝变形监测数学模型的建模方法。
In this paper, multi multi variable non linear programming theory is used to optimize the design of piping systems for in flow pulsation reduction.
本文采用多变量非线性规划理论，研究适宜于管道系统降低气流脉动的优化方法。
Convexity and generalized convexity of functions play an important role in mathematical programming and optimal theory.
函数的凸性与广义凸性在数学规划以及最优化理论中起着非常重要的作用。
The theory is then applied to a class of nonsmooth multiobjective fractional programming.
最后给出了上述理论在多目标分式规划方面的应用。
Through the summarizing of the theory of the career programming, the article has analyzed the significance and importance of the career programming for the undergraduates.
本文通过对职业生涯规划理论的综述，分析了当前大学生进行职业生涯规划的意义和重要性。
In the paper a solution method of nonlinear programming is given by using the theory of description geometry inn dimensions.
本文运用多维空间投影的理论和方法，给出了非线性规划的一个通用解法。
The efficacy coefficient method has been propounded on the basis of multiple objectives programming theory, assuming that the value and the index data are linearly dependent.
功效系数法是基于多目标规划原理提出来的，并假定功效分值和各指标数值呈线性关系。
Amongst the incompleteness of programming design theory is one of the main reasons.
其中程序设计理论的不完善是主要原因之一。
Using dynamic programming theory for optimized staking of transmission line in sections is one effective way to obtain the comprehensive optimum economic indexes for transmission line construction.
应用动态规划理论进行输电线路分段优化排位是找出输电线路建设最佳综合性经济指标的一种有效途径。
This paper defines the concept of general dynamic programming model and probes into the theory of general dynamic programming model.
文中给出了一般动态规划模型的概念，并对模型理论做了相应探讨。
The evaluation of tourism resources provides the theory gist for reasonable development of the tourism resources, is a premise that carry on tourism programming.
旅游资源评价为旅游资源合理开发提供理论依据，是进行旅游规划的前提。
In linear programming, a series of theorems of dual theory are adopted to deal with the linear programmings with unbounded variables.
线性规划中对偶理论的一系列定理是针对变量无上界的线性规划的。
Nonlinear matrix equations arise in areas of control theory, ladder networks, dynamic programming, queueing theory, stochastic filtering and statistics.
非线性矩阵方程来源于控制理论，梯形网络，动态规划，排队理论，随机过滤，统计学等应用领域。
On the base of analyzing the theory of GSI, introduce the pivotal technology of deployment and programming of GSI-based system.
在分析GSI原理的基础上，介绍了基于GSI的安全配置和编程的关键技术。
The nonlinear theory of mathematical programming was used to develop a direct iterative algorithm.
借助数学规划中的非线性理论，可构造出上述问题的直接迭代求解算法。
With the application of multiobjective programming theory, a small disturbed stability and economic dispatch method has been developed from this new viewpoint.
由此出发，应用多目标规划理论推导出一种小扰动安全-经济调度方法。
Besides, this paper is based on the theory of dynamic programming, so introduce the theory of dynamic programming in this chapter.
本文模型是建立在动态规划理论的基础上的，因此具体阐述了动态规划的内容和应用前提。
Besides, this paper is based on the theory of dynamic programming, so introduce the theory of dynamic programming in this chapter.
本文模型是建立在动态规划理论的基础上的，因此具体阐述了动态规划的内容和应用前提。
应用推荐