This paper designs and implements a MBS (Micro Bank System) based on IBM Z900 to fit the rapid development of small bank business. First, the meaning of implementing MBS is analyzed. Then the details of three layers a...
详细信息
The world is changing and consumer behaviour with it. Today's consumers expect to buy high quality customized products at low prices with fast delivery. This can be accomplished with Internet technology. Fashion d...
详细信息
The proceedings contain 889 papers. The topics discussed include: a delay decomposition approach to stability of linear neutral systems with mixed delays;a joint evolutionary method based on neural network for feature...
ISBN:
(纸本)9780769538044
The proceedings contain 889 papers. The topics discussed include: a delay decomposition approach to stability of linear neutral systems with mixed delays;a joint evolutionary method based on neural network for feature selection;a new early stopping algorithm for improving neural network generalization;an HLA based design of collision simulation system for large-scale LEO objects;an optimization model on the radiation area of the international inland port;computer simulation of grout flowing in intermittent fractured network;dynamic change in landscape pattern of Shen-fu connection area based on Markov model;an approach for fully integrated automation in heterogeneous industrial control network;analysis of the bargain power under clean development mechanism with game theory;research on collaborative design based on web services and agent technology;and research on multi-agent decision-making model of wind-solar complementary power generation system.
The evaluation of trap oil-bearing property is the key to the oil and gas development. Reasonable and correct evaluation of trap is the guarantee of high production and efficiency of oil and gas development. This pape...
详细信息
The proceedings contain 889 papers. The topics discussed include: a delay decomposition approach to stability of linear neutral systems with mixed delays;a joint evolutionary method based on neural network for feature...
ISBN:
(纸本)9780769538044
The proceedings contain 889 papers. The topics discussed include: a delay decomposition approach to stability of linear neutral systems with mixed delays;a joint evolutionary method based on neural network for feature selection;a new early stopping algorithm for improving neural network generalization;an HLA based design of collision simulation system for large-scale LEO objects;an optimization model on the radiation area of the international inland port;computer simulation of grout flowing in intermittent fractured network;dynamic change in landscape pattern of Shen-fu connection area based on Markov model;an approach for fully integrated automation in heterogeneous industrial control network;analysis of the bargain power under clean development mechanism with game theory;research on collaborative design based on web services and agent technology;and research on multi-agent decision-making model of wind-solar complementary power generation system.
In this paper, a computer-aided method is applied to the detection of horizontal and vertical alignment error during highway construction. The design criterion of highway centerline point corresponding to the detectio...
详细信息
Stereo vision system is a practical method for depth gathering of objects and features in an environment. This paper presents the region of interest in disparity mapping for stereo vision autonomous guided vehicle usi...
详细信息
Stereo vision system is a practical method for depth gathering of objects and features in an environment. This paper presents the region of interest in disparity mapping for stereo vision autonomous guided vehicle using block matching algorithm. This region is a reference sight of the stereo camera and stereo vision baseline is based on horizontal configuration. The block matching technique is briefly described with the performance of its output. The disparity mapping is generated by the algorithm with the reference to the left image coordinate. The algorithm uses sum of absolute differences (SAD) which is developed using Matlab software.
This paper presents the development of an Artificial Neural Networks and Particle Swarm Optimization (ANN-PSO) based short-term load forecasting model with improved generalization technique for the Regional Power Cont...
详细信息
The proceedings contain 889 papers. The topics discussed include: a delay decomposition approach to stability of linear neutral systems with mixed delays;a joint evolutionary method based on neural network for feature...
ISBN:
(纸本)9780769538044
The proceedings contain 889 papers. The topics discussed include: a delay decomposition approach to stability of linear neutral systems with mixed delays;a joint evolutionary method based on neural network for feature selection;a new early stopping algorithm for improving neural network generalization;an HLA based design of collision simulation system for large-scale LEO objects;an optimization model on the radiation area of the international inland port;computer simulation of grout flowing in intermittent fractured network;dynamic change in landscape pattern of Shen-fu connection area based on Markov model;an approach for fully integrated automation in heterogeneous industrial control network;analysis of the bargain power under clean development mechanism with game theory;research on collaborative design based on web services and agent technology;and research on multi-agent decision-making model of wind-solar complementary power generation system.
Non-functional requirements like performance and reliability play a prominent role in distributed and dynamic systems. To measure and predict such properties using stochastic formal methods is crucial. At the same tim...
详细信息
Non-functional requirements like performance and reliability play a prominent role in distributed and dynamic systems. To measure and predict such properties using stochastic formal methods is crucial. At the same time, graph transformation systems are a suitable formalism to formally model distributed and dynamic systems. Already, to address these two issues, Stochastic Graph Transformation Systems (SGTS) have been introduced to model dynamic distributed systems. But most of the researches so far are concentrated on SGTS as a modeling means without considering the need for suitable analysis tools. In this paper, we present an approach to verify this kind of graph transformation systems using PRISM (a stochastic model checker). We translate the SGTS to the input language of PRISM and then PRISM performs the model checking and returns the results back to the designers.
暂无评论