Corresponding to the bridge carrying-capacity changing theory, the application frame system is set up in the paper to provide the carrying capacity calculation and programming with guiding ways.
对桥梁承载力演变理论的应用体系建立了相应的系统框格，为承载力实用分析计算和系统程序编制提供了实施途径。
How does lifting (in a functional programming context) relate to category theory?
如何提升(在函数式编程中)与范畴理论？
On the basis of minimax algebra theory, this paper provides an algebra method of solving countable stages decision problems in the dynamic programming.
本文根据极大极小代数理论，给出了一种用以求解动态规划中有限多阶段决策问题的代数算法。
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.
本卷还提供了一个在拍卖理论的开放性问题的数学规划的角度，并提供了对动态定价种植面积一瞥。
In convex programming theory, a constrained optimization problem, by KT conditions, is usually converted into a mixed nonlinear complementarity problem.
在凸规划理论中，通过KT条件，往往将约束最优化问题归结为一个混合互补问题来求解。
Convexity and generalized convexity of functions play an important role in mathematical programming and optimal theory.
函数的凸性与广义凸性在数学规划以及最优化理论中起着非常重要的作用。
In the theory of programming, program synthesis is deeply concerned with program verification.
在程序理论方面，程序综合与程序验证关系密切。
In the paper a solution method of nonlinear programming is given by using the theory of description geometry inn dimensions.
本文运用多维空间投影的理论和方法，给出了非线性规划的一个通用解法。
The study shows the optimal collocation model based on the gray layout theory excels in answer's stability and model's adaptability by compared with the similar linear programming models.
研究表明：基于灰色规划原理构建的最佳配置模型在解的稳定性、模型的适应性上要优于同类线性规划模型。
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.
应用动态规划理论进行输电线路分段优化排位是找出输电线路建设最佳综合性经济指标的一种有效途径。
In this paper, multi multi variable non linear programming theory is used to optimize the design of piping systems for in flow pulsation reduction.
本文采用多变量非线性规划理论，研究适宜于管道系统降低气流脉动的优化方法。
In linear programming, a series of theorems of dual theory are adopted to deal with the linear programmings with unbounded variables.
线性规划中对偶理论的一系列定理是针对变量无上界的线性规划的。
It was to be a thoroughly modern programming language, embodying all the major advances in computer theory of the past quarter-century.
它要成为一种全新的编程语言，要体现出过去二十五年中计算机理论上的所有巨大进展。
The analysis in theory and computer simulation indicate that this new method features fewer calculations, easiness in programming, and saving of storage.
理论分析和计算机模拟结果表明，该方法具有计算量小，易于编程和节省内存的优点。
The application of graph theory, dynamic programming, neural networks, MCST method, constrained derivatives, etc. to pipe network programming were recommended in details.
详细介绍了图论法、动态规划法、神经网络法、MCST法和约束导数法等在城市天然气管网规划中的应用。
In the paper, firstly the theory, algorithm, and recent research of the second-cone programming is summarized, then our some work in algorithms is introduced.
本文首先简述了二次锥规划的基本知识，包括二次锥规划的理论、算法和研究现状，然后介绍了在二次锥规划的算法方面所做的一些工作，具体如下。
Besides, this paper is based on the theory of dynamic programming, so introduce the theory of dynamic programming in this chapter.
本文模型是建立在动态规划理论的基础上的，因此具体阐述了动态规划的内容和应用前提。
Architectural geography is the basic theory we followed in the traditional way of site selection and planning programming for villages and small towns. It's eastern environmental science.
建筑地理是我国传统的村镇城市选址和规划设计的理论，是东方传统的环境科学。
This paper gives some features in common and some differences of the two artificial intelligence programming languages LISP and PROLOG by the theory and by the mechanization.
本文从理论上和机制上对人工智能程序语言LISP与PROLOG进行了剖析和比较。
The constrained matrix equation problems have been widely used in many fields such as structural analysis, control theory, vibration theory, nonlinear programming and so on.
约束矩阵方程问题广泛地应用在结构分析、控制论、振动理论、非线性规划等许多领域，关于约束矩阵方程问题的研究有着重要的理论和应用价值。
This paper analyzes the theory and the method in solving the network problem by the mathematics model of linear programming and graph theory.
分析了用线性规划、图论的方法解决网络问题的理论和算法。
The paper introduces theory and design of high density resistivity prospecting testing sys-tem, especially the programming multiplexor in its key components.
本文详细介绍了高密度电阻率测试系统，特别是其关健部件程控式多路转换器的原理及设计。
In these foundations, the recursion theory of depth first traversal, database technology and visual programming technology are employed to computer memory, which is expressed to node relations.
在此基础上，采用深度优先遍历的递归理论和数据库技术，实现了流域节点间关系的计算机存储。
Based on the former research, we study the tabu search, simulated annealing and evolutionary programming in the aspects of theory, application and improvement.
作者在前人的工作基础上，对禁忌搜索、模拟退火和进化规划及其理论与应用进行了较深入的研究。
The linear complementarity problem was very useful in economics, it was widely used in game theory and mathematical programming.
线性互补问题在经济学、对策论和数学规划领域中有广泛的应用，线性互补问题解的存在性与特殊矩阵密切相关。
Courses in this field include computer programming, digital and analog electronics, instrumentation, control systems theory, and robotics.
本领域课程包括计算机编程，数字和模拟电子学，仪器仪表，控制系统理论和机器人学。
Sorting is a frequent and important operation in computer programming. Studying the sorting algorithms has important theory meaning and extensive using value.
排序是计算机程序设计中一项经常而又重要的操作，研究排序算法具有重要的理论意义和广泛的应用价值。
Nonlinear matrix equations arise in areas of control theory, ladder networks, dynamic programming, queueing theory, stochastic filtering and statistics.
非线性矩阵方程来源于控制理论，梯形网络，动态规划，排队理论，随机过滤，统计学等应用领域。
Nonlinear matrix equations arise in areas of control theory, ladder networks, dynamic programming, queueing theory, stochastic filtering and statistics.
非线性矩阵方程来源于控制理论，梯形网络，动态规划，排队理论，随机过滤，统计学等应用领域。
应用推荐