查询词典 mathematical programming

Psychology}, the paper defines intuition as a cognitive ability to make immediate judgement without analyzing or reasoning and further analyzes the relation and difference between intuition, inspiration, insight, imagination and perceptual intuition, pointing out that mathematical intuitive thinking is a swift judgement on and imagination to the objects of mathematics and their relationship in structure which is featured by illogicality, directness, probability, randomness and unity and aids students in predicting conclusion or direction to solution as well as making definite choice between several options, Furthermore, the paper probes into the foundation of mathematical intuitive thinking in terms of psychological mechanism, and thereupon holds it necessary to develop students mathematical intuition in that it does good to the excitement of creativity, improvement of overall qualities, all- brain development and optimization of mathematical thinking among students.

而数学直觉思维就是人脑对数学对象及其结构关系的一种迅速的判断与敏锐的想象，并探讨了数学直觉思维的生理机理基础，总结其特征有非逻辑性、直接性、或然性、随机性、整体性和综合性。在解题时直觉能帮助学生对结论或解题方向做出预见，也可以在推理面临多种可能性时，帮助学生做出果断的选择。

Then, it studies the supply chain management system as a complex system to confirm the state existing during operating of the system. After that, it conducts a probability analysis on the state which the system located by applying supplement variable method, and establishes the model of distributed parameter system in a form of partial differential equations. Combining C0 ? semigroup theory in the functional analysis, it conducts a dynamic analysis on the established mathematical model. Using this method, it obtains the mathematical expression of the dynamic solution and the steady state solution, and proves the uniqueness, non-negativity and the asymptotic stability of the system solution. This dissertation applies the Matlab tool and uses two-step, three-step Simpson integral equation to imitate the condition of system solution. Then, it adds possible mode of failure and the optimization adjustment state to the system, based on which it has established the distributed parameter system model which is described by partial differential system of equations. Combining the functional analysis C0 ? semigroup theory, it studies the established mathematical model, and obtains the mathematical expression of the dynamic solution system and the steady state solution. It has proven the existing of uniqueness of the system solution, the asymptotic stability of system solution and the system solution. In addition, it has lying the theory rationale for further analysis and the research on the optimization of system.

本文首先简要综述了供应链理论、可靠性研究、鲁棒性研究以及供应链鲁棒性研究的现状；然后，将供应链系统作为一个复杂系统来分析，确定了系统运行过程中所经历的状态，通过引入补充变量的方法，建立了用偏微分方程组描述的分布参数系统模型，用泛函分析中的C_0 -半群理论得到了系统动态解和稳态解的数学表达式，证明了系统解存在的唯一性、非负性和指数阶渐近稳定性；并借助Matlab工具，利用二阶、三阶辛普森积分方程模拟系统解的性态，并给出系统动态解的仿真图；本文又对上述系统增加了系统可能失效状态和优化调整状态，并在此基础上建立了用偏微分方程组描述的分布参数系统模型，同样用泛函分析中的C_0 -半群理论对所建立的数学模型进行了研究，得到系统动态解和稳态解的数学表达式，证明了系统动态解存在的唯一性、非负性及渐近稳定性，为进一步分析和研究供应链优化奠定了理论基础。

During the study, in order to decrease the complexity, the article simplifies the geomorphic process, defines the ideal state, and, according to the geomorphic principle, reasons out some of the 4-Dimensional Geomorphic Mathematical Sub-Models that include the 4-Dimensional Tectonic Geomorphic Mathematical Model, the 4-Dimensional Depositional Geomorphic Mathematical Model, and the 4-Dimensional Denudate Geomorphic Mathematical Model.

在研究过程中，为了减低复杂程度，简化了地貌过程，规定了理想条件，并根据地貌学原理推导了部分理想条件下的四维地貌数学模型，分别是四维构造地貌数学模型、四维沉积地貌数学模型和四维剥蚀地貌数学模型。

The major findings were as follows:(1) There were significant interactions between Feedback and Goal-setting in both students' mathematical performance and test anxiety;(2) No significant differences were found in mathematical performance and test anxiety between the student self-set goal condition and the teacher-assigned goal condition when feedback was presented;(3) There were significant differences in students' mathematical performace between correct-predicting students' and incorrect-predicting students, but no difference was found in students' test anxiety between the two groups of students;(4) High-estimating students and low estimating students showed significant differences in mathematical performance, but no difference in test anxiety.

在有回馈的情形下，学生自订目标与敎师指定目标间，其学生在数学作业表现或是在数学测试焦虑分数上均无显著差异存在。3。学生自订目标中，预测正确组与预测不正确组学生在数学作业表现上有差异存在，在数学测试焦虑分数上无差异存在。4。学生自订目标中，高估组与低估组学生在数学作业表现上有差异存在，在数学测试焦虑分数上无差异存在。

Going at the teaching of mathematical thought and method during high school is an important means by which the school in the 21th century cultivate the person with innovative spirit and practical bility.Moreover going in for the teaching study of the mathematical thought and method in high school can make ours absorb well the international and national mathematical thought and methodology knowledge,and improve the cognition to the importance of the teaching about mathematical thought and method,so that they are able to practise consciously and selfconsciously the teaching .

中学阶段进行数学思想方法的教学是21世纪学校培养具有创新精神与实践能力的人才的重要手段，而进行中学数学思想方法的教学研究更能使我们中学数学教师充分吸收国内外数学思想方法论知识，提高对数学思想方法教学重要性的认识，从而能够有意识、自觉地实践数学思想方法教学。

A new method called automatic programming technology for field application between manual programming and automatic programming based on CAD/CAM is currently a hot subject of research.

为了弥补的手工编程和计算机自动编程的不足，介于这二者之间的编程方式——适合现场使用自动编程技术成为研究热点。

Moreover, if the optimization problem has certain special feature, the simpler relaxation methods can be provided. For example, considering a generalized geometric programming problem, relevant relaxation linear programming can be obtained using its special structure. Based on the branch and bound method, a linear relaxation algorithm of global optimization is presented for generalized geometric programming, and the convergence of the algorithm is also proven.

此外，当优化问题具有某种特殊性质时，我们能给出更加简便的松弛化方法，如考虑广义几何规划问题，能充分利用其特殊结构，建立了广义几何规划问题的松弛线性规划问题；在分枝定界技术的基础上，提出了一个求广义几何规划全局解的线性松弛算法；证明了算法的收敛性。

This is an graduate introduction to Programming Theory, Logic of Programming, and Computability, with the programming language Scheme used to crystallize computability constructions and as an object of study itself.

这是一篇介绍研究程序理论、程序和运算逻辑，关于电脑程序语言惯于用的明确性的运算结构，就像自学对象。

844 Is a graduate introduction to programming theory, logic of programming, and computability, with the programming language Scheme used to crystallize computability constructions and as an object of study itself.

6.844是一份研究介绍程序理论、程序逻辑和运算逻辑，程序语言计划可以明确性的表达运算结构，也成为了学生学习程序语言计划的目标。

A stochastic nonlinear programming model of production with delay interaction (which is a static optimization model to solve the dynamic optimization problem) is built up and transformed into a deterministic nonlinear programming model and further into a linear programming model by adding constraints.

首先根据实际需要建立关联方程有延迟的车间生产的随机非线性规划模型，即一种求解动态优化问题的静态优化模型。

"Yes, now you can give yourself airs," she said, you have got what you wanted.

"对了，您现在高兴了，"她说道，这是您所期待的。

Then the LORD said to me: Rebel Israel is inwardly more just than traitorous Judah.

上主于是对我说：＂失节的以色列比失信的犹大，更显得正义。