查询词典 integer programming

Describes the process of engine simulation system design ideas and process, introduces in detail the interrupt resources and 80C196KC, interruption programming model of discrete system speed has made the detailed analysis of programming.

对发动机的仿真系统设计思想和过程的基础上，详细介绍了中断的资源和80C196KC、中断编程模型离散系统作了详细的分析，规划。

Through careful analysis of the mathematics model of daily dispatching optimization of the cascade hydropower station, a new method based on the combination of two dimensional dynamic programming and discrete differential dynamic programming is proposed.

通过仔细分析梯级水库日优化调度的数学模型，提出了一种基于二维动态规划和离散微分动态规划相结合的混合求解策略，该策略理论上严谨，计算时间比较短，能满足日常调度的需要。

Methods The medicine storage scale for disaster relief was dynamically simulated by using DAMANO programming language of System Dynamics and was calculated with discrete algorithm using FORTRAN programming language.

运用系统动力学的DAMANO等语言编程进行动态模拟灾害医学救援药材储存的规模，也可用FORTRAN等语言编程进行离散计算求解。

The procedure can be used to study VC direct draw programming, game programming can be used as data entry.

该程序中可以学习用VC实现direct draw编程，可以作为游戏编程的入门资料。

Fuzzy set;; Fuzzy number;; Fuzzy linear programming with elastic constrains;; Linear programming with coefficients;; Centroid point of fuzzy number;; Dual problem

论文导师刘琼荪，论文学位硕士，论文专业应用数学论文单位重庆大学，点击次数 29，论文页数 59页File Size553K

Then the linear programming are solved by dual simplex method to get the solution of the original 2-dimentional second-order cone programming.

详细介绍了将2维二阶锥规划问题转换成线性规划问题的过程并得到了两问题间的一些重要关系。

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的第十问题。

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。