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.
Automatic loop-invariant generation is important in program analysis and verification. In this paper, we propose to generate loop-invariants automatically through learning and verification. Given a Hoare triple of a program containing a loop, we start with randomly testing the program, collect program states at run-time and categorize them based on whether they satisfy the invariant to be discovered...
Clustering is a well-recognized data mining technique which enables the determination of underlying patterns in datasets. In electric power systems, it has been traditionally utilized for different purposes like defining customer load profiles, tariff designs and improving load forecasting. Some surveys summarized different clustering techniques which were traditionally used for customer segmentation...
It is well known that many economic parameters may more or less influence the real estate price variation. In addition, the banker and investor are also interesting to know the real estate price future change. There had not appropriate model for including these factors for price prediction. Here, the influences of most macroeconomic parameters on real estate price variation are investigated before...
For the issue of air quality evaluation, a comprehensive evaluation model was developed based on the Topsis method according to the new Ambient Air Quality Standards (GB 3095-2012). The comprehensive evaluation model was applied into the practical problems of air quality in Guangzhou City to analyze the haze-fog pollution status. The situation of haze-fog pollution in Guangzhou City was analyzed based...
Sugarcane is one of the most important economic crops in south China. It's of practical value to quickly assess the leaf area index (LAI) of sugarcane and evaluate its growing state. Field-based or in situ measurements are very labor intensive and time consuming, while satellite images are relatively coarse and unsuitable for real-time crop monitoring, not to mention the cloud-prone climate in south...
We analyzed some singular distributed parameter system(SDPS) with boundary conditions in high dimension bounded domain with sufficiently smooth boundary. With the spectrum theory in PDE, the systems initially is formulated as an infinite-dimensional singular systems. The state space representation of the system is built according to matrices decomposition method. And the admissible property is discussed...
In this paper, we propose a collaborative query system on large-scale relational data available on multiple nodes in several data centers. This mechanism has a special query engine which can access data across all the nodes. We design and implement a process which is suitable to query tasks characteristics, to ensure efficient implementation of these tasks. The system uses direct data transfer between...
With the development of smart grid and opening-up progress of the electricity market, Customer Relationship Management (CRM) plays a more and more important role in the power electric industry. Conducting medium and long term consumption pattern analysis of major customers can help the electricity providers grasp the changing trends of the future consumption, and thus better formulate the dedicated...
The identification of network motifs has important applications in numerous domains, such as pattern detection in biological networks and graph analysis in digital circuits. However, mining network motifs is computationally challenging, as it requires enumerating subgraphs from a real-life graph, and computing the frequency of each subgraph in a large number of random graphs. In particular, existing...
This paper presents a systematic discussion on the principal factors which influence the grain production through fuzzy clustering analysis method and multiple linear regression. Then, the proportion of all the factors are obtained though fuzzy comprehensive evaluation method, which provides a reliable theoretical basis to how to improve grain production.
Fraction of Absorbed Photosynthetically Active Radiation (FPAR) is the fraction of the incoming solar radiation in the Photosynthetically Active Radiation spectral region that is absorbed by a photosynthetic organism. This biophysical variable is directly related to the primary productivity of photosynthesis and some models use it to estimate the assimilation of carbon dioxide in vegetation. The solar...
Monthly and seasonal variation characteristics of passenger volume of urban public transport can provide an important basis for the rational planning and operation of public transport. According to the passenger volume information of the public transport of Pingdingshan City, this paper, using Excel, calculates the monthly seasonal index, and then processes them with one-way analysis of variance in...
This paper discussed specific applications of reliability, maintenance, protection, testability, security and environment adaption designs based on ATE automatic test system, which provide effective technical references for ATE researchers to choose reasonable design solutions and create general automatic test equipment with high efficiency and practicality.
This paper is an introduction to software performance automated testing and theory. It introduces the features of Open Xml storage and SQL Server storage. Then this paper sets three state scenes and chooses different test automated tools respectively. Finally, it uses tools to monitor software performance index from these two data storage systems. Results are then analyzed, comparing the quality performance...
As a Special wavelet, biorthogonal wavelet has many advantages in signal processing. This paper constructs a new biorthogonal wavelet based on CDF method and constructs the biorthogonal wavelet kernel function. Then we study the update of incremental model and propose online forecasting algorithm. We research the algorithm based on biorthogonal wavelet kernel support vector machine (SVM) and use this...
This paper proposed an improved BFO with adaptive chemo taxis step for global optimization. A non-linearly decreasing exponential modulation model is proposed to optimize the chemo taxis step length. Four parameters: modulation index, coefficient, upper chemo taxis step length, and lower chemo taxis step length were discussed and considered to further improve the performance of BFO. To illustrate...
According to testing data of body shape and tactics quality indicators from nationwide volleyball high level backup talents training camp" in 2004 to 2007 ", the paper made related research on the dynamic changes of body shape and quality about volleyball backup talents by applying scientific research methods, this is to fully understand and grasp situation and dynamic characteristics of...
Abstract--By the research on evaluation index system of entrepreneurial team training mode, we carry on the direct analysis of reasonableness of training mode, so that it can promote the development of entrepreneurial team training mode and improve the competitiveness of the organization. This paper starts at domestic and foreign research status, and analyzes the dynamic mechanism of entrepreneurial...
As the largest agricultural country with a great amount of population, the cultivated land play an active role in protecting social stability and security during the process of building harmonious society, which is the material premise and necessary of humankind food-safety for our country and people lives. This paper predicted and analyzed the demand of infield in the future for Sichuan province...
Doctoral dissertation evaluation is very important in graduate education and degree awarding. This paper tackles some problems in doctoral dissertation evaluation at present in Chinese universities with qualitative and quantitative methods, and proposes a new doctoral dissertation quality evaluation system in accordance with specific requirements of quality evaluation for doctoral dissertations on...
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.