The aim of this work is mathematical education through the knowledge system and mathematical modeling. A net model of formation of mathematical knowledge as a deductive theory is suggested here. Within this model the ...The aim of this work is mathematical education through the knowledge system and mathematical modeling. A net model of formation of mathematical knowledge as a deductive theory is suggested here. Within this model the formation of deductive theory is represented as the development of a certain informational space, the elements of which are structured in the form of the orientated semantic net. This net is properly metrized and characterized by a certain system of coverings. It allows injecting net optimization parameters, regulating qualitative aspects of knowledge system under consideration. To regulate the creative processes of the formation and realization of mathematical know- edge, stochastic model of formation deductive theory is suggested here in the form of branching Markovian process, which is realized in the corresponding informational space as a semantic net. According to this stochastic model we can get correct foundation of criterion of optimization creative processes that leads to “great main points” strategy (GMP-strategy) in the process of realization of the effective control in the research work in the sphere of mathematics and its applications.展开更多
Thick metal plate rolling process has become more and more important in building a flat roof of drilling on the bottom at sea. This is because not only the product quality requirement higher and higher but also the ma...Thick metal plate rolling process has become more and more important in building a flat roof of drilling on the bottom at sea. This is because not only the product quality requirement higher and higher but also the marketing competition. To improve the process of thick metal plate rolling and to increase productivity a numerical controlled rolling process is developed, which include the process planning, the mathematical model establishment and the numerical control system development. The process is for the 17 000 kN×3 000 mm movable up roller bending machine. According to the machine configuration non-symmetry rolling process is planed. This makes it possible to integrate all the steps of plate shaping up such as end side bending, several times of semi-shape bending and the last shape finishing. Since the process will perform under the numerical controlled condition whole steps of the process are considered can be worked in the automatic cycle. The mathematic model consists of two sections, the theory model and the experience parameters model. Which takes the original plate parameters such as geometry and mechanics, characters of the machine such as the movement limits, tonnage and so on as input and calculates all the parameters needed in process performing. Meanwhile, the mathematic Model is totally adapted to the control system. The numerical control system development scheme is based on all the works above. Here, a system plan is provided. The functional modules and hardware selection, in detail, are introduced. The system software on top level and the controlling software for controller are developed. And some unit techniques in the system such as timer setting, communication between system and controller, video integration, and the ability of resisting impact force are introduced. The process has been used successfully in production for more than two years. Practice approves that the process is robust.展开更多
In this paper, a real-time computation method for the control problems in differential-algebraic systems is presented. The errors of the method are estimated, and the relation between the sampling stepsize and the con...In this paper, a real-time computation method for the control problems in differential-algebraic systems is presented. The errors of the method are estimated, and the relation between the sampling stepsize and the controlled errors is analyzed. The stability analysis is done for a model problem, and the stability region is ploted which gives the range of the sampling stepsizes with which the stability of control process is guaranteed.展开更多
文摘The aim of this work is mathematical education through the knowledge system and mathematical modeling. A net model of formation of mathematical knowledge as a deductive theory is suggested here. Within this model the formation of deductive theory is represented as the development of a certain informational space, the elements of which are structured in the form of the orientated semantic net. This net is properly metrized and characterized by a certain system of coverings. It allows injecting net optimization parameters, regulating qualitative aspects of knowledge system under consideration. To regulate the creative processes of the formation and realization of mathematical know- edge, stochastic model of formation deductive theory is suggested here in the form of branching Markovian process, which is realized in the corresponding informational space as a semantic net. According to this stochastic model we can get correct foundation of criterion of optimization creative processes that leads to “great main points” strategy (GMP-strategy) in the process of realization of the effective control in the research work in the sphere of mathematics and its applications.
文摘Thick metal plate rolling process has become more and more important in building a flat roof of drilling on the bottom at sea. This is because not only the product quality requirement higher and higher but also the marketing competition. To improve the process of thick metal plate rolling and to increase productivity a numerical controlled rolling process is developed, which include the process planning, the mathematical model establishment and the numerical control system development. The process is for the 17 000 kN×3 000 mm movable up roller bending machine. According to the machine configuration non-symmetry rolling process is planed. This makes it possible to integrate all the steps of plate shaping up such as end side bending, several times of semi-shape bending and the last shape finishing. Since the process will perform under the numerical controlled condition whole steps of the process are considered can be worked in the automatic cycle. The mathematic model consists of two sections, the theory model and the experience parameters model. Which takes the original plate parameters such as geometry and mechanics, characters of the machine such as the movement limits, tonnage and so on as input and calculates all the parameters needed in process performing. Meanwhile, the mathematic Model is totally adapted to the control system. The numerical control system development scheme is based on all the works above. Here, a system plan is provided. The functional modules and hardware selection, in detail, are introduced. The system software on top level and the controlling software for controller are developed. And some unit techniques in the system such as timer setting, communication between system and controller, video integration, and the ability of resisting impact force are introduced. The process has been used successfully in production for more than two years. Practice approves that the process is robust.
文摘In this paper, a real-time computation method for the control problems in differential-algebraic systems is presented. The errors of the method are estimated, and the relation between the sampling stepsize and the controlled errors is analyzed. The stability analysis is done for a model problem, and the stability region is ploted which gives the range of the sampling stepsizes with which the stability of control process is guaranteed.
