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.
Objective: To explore composing principles of prescriptions for chronic renal failure recorded on the Encyclopedia of Traditional Chinese Medicines based on the traditional Chinese medicine inheritance support system (TCMISS). Methods: Prescriptions for chronic renal failure recorded on the Encyclopedia of Traditional Chinese Medicines were entered into the TCMISS. Composing principles of these prescriptions...
Edge detection is an important pretreatment process in image processing and computer vision. But it is still a challenge on how to get edge information efficiently in video image processing. In this paper, firstly, we analyze several traditional operators and then suggest an improved operator based on Isotropic Sobel operator. Secondly, in order to get a better performance in video image processing,...
Recent studies have demonstrated that language-based static analysis is capable of finding hundreds of bugs in complex real systems. Such static analysis allows users to specify properties in a specification language on demand. Paths in control flow graphs are explored exhaustively against user-defined properties. To avoid the potential path explosion problem, many techniques have been used in practice...
This paper is concerned with modified function projective synchronization in discrete-time chaotic and hyperchaotic systems. The control method is based on the active control idea and the backstepping design method. Firstly, the projective synchronization control method is given mathematically. Then, the 2D discrete-time Henon map, the 2D discrete-time kawakami system, the 3D Henon map and the 3D...
Some program structures in modern programming languages can not be reasoned about symbolically. Lazy symbolic evaluation as proposed in this paper introduces a lazy evaluation strategy into traditional symbolic execution in order to address the issue. Constraint variables in path constraints generated by lazy symbolic evaluation may be input or intermediate variables. To eliminate the latter, concrete...
In order to synthetically solve economic and risk issues for food production, researching optimization algorithm of food production??s forecast based on the gene expression program. Taking Shaanxi province??s food production as an example to solve some key issues in food production which are the uncertainty information processing, reliability criteria analysis, mathematical model of food production...
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.