The paper presents a formal and practical approach to dependable algorithm development.First,starting from a formal specification based on the Eindhoven quantifier notation,a problem is regularly reduced to subproblem...The paper presents a formal and practical approach to dependable algorithm development.First,starting from a formal specification based on the Eindhoven quantifier notation,a problem is regularly reduced to subproblems with less complexity by using a concise set of calculation rules,the result of which establishes a recurrence-based algorithm.Second,a loop invariant is derived from the problem specification and recurrence,which certifies the transformation from the recurrence-based algorithm to one or more iterative programs.We demonstrate that our approach covers a number of classical algorithm design tactics,develops algorithmic programs together with their proof of correctness,and thus contributes fundamentally to the dependability of computer software.展开更多
The mixing calculation cannot be restrained by the quantity of return mines. In order to solve this problem, a method that the sintering mixing proportion is optimized by gray linear programming is presented based on ...The mixing calculation cannot be restrained by the quantity of return mines. In order to solve this problem, a method that the sintering mixing proportion is optimized by gray linear programming is presented based on the gray system theory and optimal theory. By using this method, the quality of sintering mines is improved and the energy consumption is reduced.展开更多
The adiabatic temperature in the process of self-propagating high temperature synthesis iscalculated through FOXBASE language program on the base of establishing thermodynamic datapool concerned.The adiabatic temperat...The adiabatic temperature in the process of self-propagating high temperature synthesis iscalculated through FOXBASE language program on the base of establishing thermodynamic datapool concerned.The adiabatic temperature of some common self-propagating high temperaturesynthesis has been calculated,and the computed results are compared with the adiabatic tempera-ture reported.At the same time,the curve about the influence of preheating temperature andadding diluent on Tadis drawn as an example.展开更多
By app(?)ing function minimization calculation method, two function expressions are used to simulate the magnetic field measured for cyclotron Cyclone 10 in azimuth and radius The numerical fitting curves are consiste...By app(?)ing function minimization calculation method, two function expressions are used to simulate the magnetic field measured for cyclotron Cyclone 10 in azimuth and radius The numerical fitting curves are consistent with magnetic field measured. In most pl(?)es, the accuracies are several thousandth, except those errors to be pointed out in paper.展开更多
Iterative initial value of cable force based on influence matrix and linear programming is determined to study the cable force of long-span concrete-filled steel tube(CFST)arch bridge using the cable-hoisting construc...Iterative initial value of cable force based on influence matrix and linear programming is determined to study the cable force of long-span concrete-filled steel tube(CFST)arch bridge using the cable-hoisting construction method.Considering the effect of tangential displacement,we observed the appropriate cable force through the golden selection method and iterative forward erection.The cable force determination flow and method aimed at the installation shape are analyzed,which shows that the one-off tension of the cable force on a cable-hoisting CFST arch bridge focusing on installation shape is achieved and serves as a reference for similar engineering practices.展开更多
Loading distribution for heavy plate mill is to find optimal control solutions under the granted performance indicators and constraints including mill capacity and hypothesis of rolling models.The solutions are quite ...Loading distribution for heavy plate mill is to find optimal control solutions under the granted performance indicators and constraints including mill capacity and hypothesis of rolling models.The solutions are quite different for different performance indicators.In the article,the performance indicators and sequential quadratic programming(SQP for short below)methods employed in 5000 mm heavy plate mill of BaoSteel are penetratingly analyzed.Generally,the SQP method is an effective and fast way to solve the nonlinear programming problems with small or medium scale constraints.Early in 1976,Han put forward the SQP method for the first time and Powell made it perfect and accomplished the algorithm in 1977.In fact,SQP method was to turn a nonlinear programming problem to a series of sub set of quadratic programming problems.In the algorithm,each iteration step is to solve one quadratic programming problem.The optimal solutions will be gradually approached after quadratic programming problems were totally solved.When solving the quadratic programming problem,the active set strategy were employed which turned the constrained quadratic programming problem to unconstrained quadratic programming problem.The active set strategy made the whole quadratic programming problem be solved by a least square problem.And finally,the matrix of the least square problem would be decomposed by Q matrix and R matrix.After Q matrix and R matrix were obtained,the optimal solutions would be finally found.For loading distribution,the performance indicators were composed by plate shape and draft of each pass.Plate shape is represented by rolling force gradually reduced pass by pass with a tunable factor.The mill capacity is another performance indicator represented by draft of each pass.For heavy plate mill,the mill capacity here is the motor moment.For heavy draft,the motor would be overloaded especially for the first several passes;for small draft,the motor would be loaded slightly.All these would not be permitted to happen when calculating the loading distribution.The mill capacity indicator made the loading of mill just be in the middle,not too much and not too low.In the article,these two performance indicators were analyzed in detail.Examples of loading distribution results with different performance indicators were given by the SQP method.When making changes to the performance indicators,there would be different solutions to the loading distribution.For the optimal solutions to the mill,there was supposed to make changes to the factors of the performance indicators or upgrade the accuracy of the mathematical models of the rolling process.展开更多
This paper considers problems of the mathematical simulation of gas turbine engines and power plants.A program complex is presented which is capable of automatizing solutions of many problems concerning the theromo-ga...This paper considers problems of the mathematical simulation of gas turbine engines and power plants.A program complex is presented which is capable of automatizing solutions of many problems concerning the theromo-gas-dynamic calculation of the engine flow passage at the stages of design,development and service.A universal mathematical model is provided which real- izes all calculation for engines of different structure schemes (including test-bench) under different regimes.This program complex includes modules WHICGBH.It can solve problems of optimiza- tion,identification and diagnostics.Software is realized on the computer ES and PC(IBM PC). Kazan Aviation Institute K.Marx Str.10 Kazan 420111 Elousi,USSR展开更多
基金National Natural Science Foundation of China under Grant No. 60773054,60870002 and 61020106009Zhejiang Provincial Natural Science Foundation of China under Grant No. R1110679
摘要The paper presents a formal and practical approach to dependable algorithm development.First,starting from a formal specification based on the Eindhoven quantifier notation,a problem is regularly reduced to subproblems with less complexity by using a concise set of calculation rules,the result of which establishes a recurrence-based algorithm.Second,a loop invariant is derived from the problem specification and recurrence,which certifies the transformation from the recurrence-based algorithm to one or more iterative programs.We demonstrate that our approach covers a number of classical algorithm design tactics,develops algorithmic programs together with their proof of correctness,and thus contributes fundamentally to the dependability of computer software.
摘要The mixing calculation cannot be restrained by the quantity of return mines. In order to solve this problem, a method that the sintering mixing proportion is optimized by gray linear programming is presented based on the gray system theory and optimal theory. By using this method, the quality of sintering mines is improved and the energy consumption is reduced.
摘要The adiabatic temperature in the process of self-propagating high temperature synthesis iscalculated through FOXBASE language program on the base of establishing thermodynamic datapool concerned.The adiabatic temperature of some common self-propagating high temperaturesynthesis has been calculated,and the computed results are compared with the adiabatic tempera-ture reported.At the same time,the curve about the influence of preheating temperature andadding diluent on Tadis drawn as an example.
摘要By app(?)ing function minimization calculation method, two function expressions are used to simulate the magnetic field measured for cyclotron Cyclone 10 in azimuth and radius The numerical fitting curves are consistent with magnetic field measured. In most pl(?)es, the accuracies are several thousandth, except those errors to be pointed out in paper.
基金Supported by the National Natural Science Foundation of China(No.50808019)。
摘要Iterative initial value of cable force based on influence matrix and linear programming is determined to study the cable force of long-span concrete-filled steel tube(CFST)arch bridge using the cable-hoisting construction method.Considering the effect of tangential displacement,we observed the appropriate cable force through the golden selection method and iterative forward erection.The cable force determination flow and method aimed at the installation shape are analyzed,which shows that the one-off tension of the cable force on a cable-hoisting CFST arch bridge focusing on installation shape is achieved and serves as a reference for similar engineering practices.
摘要Loading distribution for heavy plate mill is to find optimal control solutions under the granted performance indicators and constraints including mill capacity and hypothesis of rolling models.The solutions are quite different for different performance indicators.In the article,the performance indicators and sequential quadratic programming(SQP for short below)methods employed in 5000 mm heavy plate mill of BaoSteel are penetratingly analyzed.Generally,the SQP method is an effective and fast way to solve the nonlinear programming problems with small or medium scale constraints.Early in 1976,Han put forward the SQP method for the first time and Powell made it perfect and accomplished the algorithm in 1977.In fact,SQP method was to turn a nonlinear programming problem to a series of sub set of quadratic programming problems.In the algorithm,each iteration step is to solve one quadratic programming problem.The optimal solutions will be gradually approached after quadratic programming problems were totally solved.When solving the quadratic programming problem,the active set strategy were employed which turned the constrained quadratic programming problem to unconstrained quadratic programming problem.The active set strategy made the whole quadratic programming problem be solved by a least square problem.And finally,the matrix of the least square problem would be decomposed by Q matrix and R matrix.After Q matrix and R matrix were obtained,the optimal solutions would be finally found.For loading distribution,the performance indicators were composed by plate shape and draft of each pass.Plate shape is represented by rolling force gradually reduced pass by pass with a tunable factor.The mill capacity is another performance indicator represented by draft of each pass.For heavy plate mill,the mill capacity here is the motor moment.For heavy draft,the motor would be overloaded especially for the first several passes;for small draft,the motor would be loaded slightly.All these would not be permitted to happen when calculating the loading distribution.The mill capacity indicator made the loading of mill just be in the middle,not too much and not too low.In the article,these two performance indicators were analyzed in detail.Examples of loading distribution results with different performance indicators were given by the SQP method.When making changes to the performance indicators,there would be different solutions to the loading distribution.For the optimal solutions to the mill,there was supposed to make changes to the factors of the performance indicators or upgrade the accuracy of the mathematical models of the rolling process.
摘要This paper considers problems of the mathematical simulation of gas turbine engines and power plants.A program complex is presented which is capable of automatizing solutions of many problems concerning the theromo-gas-dynamic calculation of the engine flow passage at the stages of design,development and service.A universal mathematical model is provided which real- izes all calculation for engines of different structure schemes (including test-bench) under different regimes.This program complex includes modules WHICGBH.It can solve problems of optimiza- tion,identification and diagnostics.Software is realized on the computer ES and PC(IBM PC). Kazan Aviation Institute K.Marx Str.10 Kazan 420111 Elousi,USSR