The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Fermentation process is one of the most complicated processes, which is a large scale nonlinear modeling problem with multi-constraints and multi-variables. The successful applications of model-based advanced measurement and control techniques mostly depend on the accuracy of bioprocess model. As a swarm intelligence approach, particle swarm optimization (PSO) algorithm can explore the global optimal...
This paper aims to model the accelerometer with nonlinearity by applying least square support vector regression (LS-SVR). A one-pass modeling approach based on LS-SVR with mixed kernel function is proposed. It could construct the linear approximated model and the nonlinear characteristics at one time. A LabVIEW-based automatic measurement system for accelerometer dynamic characteristics is designed...
As high-dimensional nonlinear systems, some state variables of fermentation processes are unmeasurable, and nonlinear state estimation such as the high-degree cubature Kalman filter can be used to obtain the estimations of these variables. However, the high-degree cubature Kalman filter may suffer filter failure when dealing with high-dimensional systems. To solve the problem that the numerical stability...
It is of practical and socioeconomic significance to provide cotton yield prediction earlier for cotton is an important cash crop. In this text, a method of forecasting the trends of cotton's yield dynamically is established, finding meteorologic influence index to some year since 1960, using the theory of synthesize cluster analysis and such data as the daily air temperature, the precipitation and...
This paper describes the formalization of continuous Functions in Topological Spaces using Isabelle, is an interactive theorem prover. Definitions and proofs of general topology are written in a computer language (Isabelle) so that they can be formally verified by machine. We formalize general topology in Isabelle/HOL to build formal mathematical libraries, which can improve the ability to automatically...
Pasting lemma is proved in Isabelle/HOL. General topology is formalized to express Pasting lemma. Topology definitions and proofs are written in a computer language so that they can be formally verified by machine. We formalize general topology in Isabelle/HOL to find out reasoning mechanisms in general topology. Our personal motivation to prove this lemma is to explore applications of different knowledge...
Legacy System is difficult to be maintained and refactored for lack of necessary documents and source codes. How to generate some valuable information from system runtime behaviors is a big challenge to systems reengineering. In this paper, we attempt to reconstruct class diagram and sequence diagram from the binary bytecode of Java program by reflection and bytecode decompilation. The pattern of...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.