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 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 T<sub>ad</sub>is drawn as an example.展开更多
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.展开更多
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 5 000 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.展开更多
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.展开更多
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 Renewable Energy Laboratory,NREL)5 MW风机为例,编写程序计算风机三叶式吊装过程中所受风载荷,分析了迎风角度、风向、高度对吊装过程风载荷的影响,评估其安全性和可靠性,为实际工程提供参考和指导。展开更多
In order to calculate the multipoles in real materials with considerable intersite Coulomb interaction V,we develop a self-consistent program which starts from the frst-principles calculations to solve the tight-bindi...In order to calculate the multipoles in real materials with considerable intersite Coulomb interaction V,we develop a self-consistent program which starts from the frst-principles calculations to solve the tight-binding Hamiltonian including onsite Coulomb repulsion U,V,and spin-orbital couplingλ.The program is applied to Ba_(2)MgReO_(6)to fgure out the mechanism of structural instability and magnetic ordering.A comprehensive quadrupole phase diagram versus U and V withλ=0.28 eV is calculated.Our results demonstrate that the easy-plane anisotropy and the intersite Coulomb repulsion V must be considered to remove the orbital frustration.The increase of V to>20 meV would arrange quadrupole Q_(x^(2)-y^(2))antiparallelly,accompanied by small parallel Q_(3z)^(2)-r^(2),and stabilize Ba_(2)MgReO_(6)into the body-centered tetragonal structure.Such antiparallel Q_(x^(2)-y^(2))provides a new mechanism for the Dzyaloshinskii-Moriya interaction and gives rise to the canted antiferromagnetic(CAF)state along the[110]axis.Moreover,sizable octupoles such as O_(21)^(31),O_(21)^(33),O_(21)^(34)and O_(21)^(36)are discovered for the frst time in the CAF state.Our study not only provides a comprehensive understanding of the experimental results in Ba_(2)MgReO_(6),but also serves as a general and useful tool for the study of multipole physics in 5d compounds.展开更多
基金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 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 T<sub>ad</sub>is drawn as an example.
文摘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.
文摘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 5 000 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.
文摘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.
文摘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 Renewable Energy Laboratory,NREL)5 MW风机为例,编写程序计算风机三叶式吊装过程中所受风载荷,分析了迎风角度、风向、高度对吊装过程风载荷的影响,评估其安全性和可靠性,为实际工程提供参考和指导。
基金was supported by the National Key Research and Development Program of China(Grant Nos.2024YFA1611200 and 2018YFA0307000)the National Natural Science Foundation of China(Grant Nos.12274154 and 12404182)。
文摘In order to calculate the multipoles in real materials with considerable intersite Coulomb interaction V,we develop a self-consistent program which starts from the frst-principles calculations to solve the tight-binding Hamiltonian including onsite Coulomb repulsion U,V,and spin-orbital couplingλ.The program is applied to Ba_(2)MgReO_(6)to fgure out the mechanism of structural instability and magnetic ordering.A comprehensive quadrupole phase diagram versus U and V withλ=0.28 eV is calculated.Our results demonstrate that the easy-plane anisotropy and the intersite Coulomb repulsion V must be considered to remove the orbital frustration.The increase of V to>20 meV would arrange quadrupole Q_(x^(2)-y^(2))antiparallelly,accompanied by small parallel Q_(3z)^(2)-r^(2),and stabilize Ba_(2)MgReO_(6)into the body-centered tetragonal structure.Such antiparallel Q_(x^(2)-y^(2))provides a new mechanism for the Dzyaloshinskii-Moriya interaction and gives rise to the canted antiferromagnetic(CAF)state along the[110]axis.Moreover,sizable octupoles such as O_(21)^(31),O_(21)^(33),O_(21)^(34)and O_(21)^(36)are discovered for the frst time in the CAF state.Our study not only provides a comprehensive understanding of the experimental results in Ba_(2)MgReO_(6),but also serves as a general and useful tool for the study of multipole physics in 5d compounds.
