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.
The paper introduces about temporal logic of action, it discuss the relation among closure, security, fairness property and liveness property in TLA, action and point out and weak fairness and strong fairness as prerequisites, base on this, it discrible in detail how to establish system model with machine-closed through cases, in the end we gain correct conclusion.
Based on the actual needs of project, this paper introduces a solution of cluster centers and attached matrix into application of Fuzzy C-means clustering algorithm in macro-economic forecast. We present the specific implementation of this algorithm, as well as the major steps of data mining. And in the end, an example is given to prove the solution’s effectiveness in macro-economic forecast.
By analyzing the core value system of the corporation according to the systematic viewpoints, the paper puts forward the value-assisted system which has close ties with the core value system, particularly analyses the features and the content of the value-assisted system and the positive impact which the construction of value-assisted management system of the enterprise has on the enterprise as well;...
Recently particle swarm optimization (PSO) algorithm gained popularity and employed in many engineering applications because of its simplicity and efficiency. The performance of the PSO algorithm can further be improved by using hybrid techniques. There are various hybrid PSO algorithms published in the literature where researchers combine the benefits of PSO with other heuristics algorithms. In this...
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.