This paper proposes validated control system design method based on verified numerical computation. The proposed method designs a controller and validates it using verified numerical computation. We also propose a met...
详细信息
ISBN:
(纸本)9781424476428
This paper proposes validated control system design method based on verified numerical computation. The proposed method designs a controller and validates it using verified numerical computation. We also propose a method to find the numerically most design-specification satisfied controller quickly by using multiple-precision arithmetic. And, this paper applies a proposed method to pole assignment problem.
It has been widely acknowledged that ambiguous or incomplete customer requirements are a major reason for the failure of software development projects. A key example of this is the inconsistency between implementation...
详细信息
It has been widely acknowledged that ambiguous or incomplete customer requirements are a major reason for the failure of software development projects. A key example of this is the inconsistency between implementation image and specifications provided in the early stages of software development. To address this, we propose a method for automatic generation of user interface prototypes for developing Web-based business applications, based on the requirements specifications defined in the Unified Modeling Language (UML). In this study, we compare the proposed method with traditional use case modeling to evaluate the effectiveness of the proposed method.
One key to success for high quality enterprise informationsystems development is to validate the customers' requirements sufficiently at the early stage. Scenarios are an effective means to an end because they ma...
详细信息
One key to success for high quality enterprise informationsystems development is to validate the customers' requirements sufficiently at the early stage. Scenarios are an effective means to an end because they make it possible to represent various situations of system usage. Most scenarios are defined by using a natural language or such a formal language as Unified Modeling Language (UML) and describe normal, alternative, and exceptional service flows from the point of view of system usage. As a result, scenarios make it easy for the customers to confirm their requirements intuitively because of the concreteness. On the other hand, based on the V-model, which is well-known software development process and denotes the correspondence of requirement analysis stage to integration test stage, it is desirable that the testers should test the system by using the test cases derived from the validated scenarios. We have proposed a UML-based requirements analysis (RA) model with automatic prototype system generation for enterprise Web application development. This paper proposes a way to efficiently create reliable test cases from the scenarios that have been validated by the customers using the prototype system which was generated by the RA model.
In this paper, a method for hand posture recognition, which is robust for hand posture changing in an actual environment, is proposed. Conventionally, a data glove device and a 3D scanner have been used for the featur...
详细信息
In this paper, we propose a method of trajectory generation without colliding obstacles to the vehicle robot using the distance information obtained by the scanning laser range finder. First, the vehicle robot mounted...
详细信息
In this paper, we propose speech recognition by using cluster-specific aspect model based on tree-structured clustering in multiple noise environments. Multi-condition hidden Markov model (MC-HMM) is one of the standa...
详细信息
In this paper, we propose speech recognition by using cluster-specific aspect model based on tree-structured clustering in multiple noise environments. Multi-condition hidden Markov model (MC-HMM) is one of the standard methods for speech recognition in noisy environment. While MC-HMM is pretty simple, it is known to be robust against various noises, thus this method is regarded as a "standard" of noise-robust acoustic model. However, it is difficult to train a model with large number of parameters to represent wide variabilities. We use tree-structured clustering method to avoid this problem. After training cluster models, cluster-specific aspect models are trained by using results of tree-structured clustering. Each cluster-specific aspect model can represent latent characteristic of specific noisy environments included in a certain cluster. The method for adaptation is based on the aspect model, which is a "mixture-of- mixture" model. To realize adaptation using extremely small amount of adaptation data (i.e., a few seconds), we first select the model according to the result of binary search of tree-structure and train a small number of mixture models which can be interpreted as models for "subclusters" of cluster models. The experimental results showed that the adaptation based on the cluster-specific aspect model improved the word accuracy in a heavy noise environment.
A lightpath route management system with parallel processing capabilities and a flexible upgradability, allowing new functions to be added to the system without any system program changes, has been designed and implem...
详细信息
A lightpath route management system with parallel processing capabilities and a flexible upgradability, allowing new functions to be added to the system without any system program changes, has been designed and implemented for IP-over-CWDM networks with ROADMs. The system can process route management functions composed of some sub applications in parallel in multi machines for high speed performance. In addition, the system was designed to have a flexible upgradability which allows adding new functions to the system, i.e. no changes of the system programs are required when adding the new functions. The system functions are to search possible lightpath routes made by ROADMs with specified switch states, and to output the total optical losses of the routes. The system was implemented and the performance was evaluated. By the system with one management and 3 calculation machines for the parallel processing, the total time to obtain the results for a 5-node IPover-CWDM network was reduced down to 65% of the total time by the system with a single machine without parallel processing. The system enables the network administrators to manage the lightpath reconfigurations effectively without errors by avoiding making unlinked lightpaths through routes with higher losses to connect nodes, before the reconfiguration.
Helicopter is a nimble vehicle with flight property. It can take off or land vertically, move in any direction and hover. Because of the innate instability and highly nonlinear property, designing autonomous flight co...
Helicopter is a nimble vehicle with flight property. It can take off or land vertically, move in any direction and hover. Because of the innate instability and highly nonlinear property, designing autonomous flight control system of helicopter is of much difficulty. The main consideration in helicopter flying control is to hover and to land. In this paper, we consider the case that a CCD is hanged on helicopter as an auxiliary sensor. The CCD can get the image of H-type hard-stand on the ground and calculate the horizontal shift error and height of helicopter by PC. It can apply to observe the river, disaster area, science and military detection. In order to get the information about aerial photography and observation, we add the function of taking picture and video recording.
This study was mainly about genetic algorithms of feature selection. The features adopted by this paper include CCM and DBPSP for the relationship between color and texture, CHKM for the color information of an image....
This study was mainly about genetic algorithms of feature selection. The features adopted by this paper include CCM and DBPSP for the relationship between color and texture, CHKM for the color information of an image. The genetic algorithm of this study is implemented by MatLab program. The genetic algorithm optimization and searching technology adopted mechanics of genes and natural selection, and the algorithm implementation steps are: population initialization, fitness functions, selection, crossover, mutation, iteration and evolution. Feature selections used here are Sequential Forward Selection (SFS), Sequential Backward Selection (SBS), and the genetic algorithm-based feature selection used in this essay respectively. This study was analyzed and compared the result of the experiment respectively. The experiment was carried out for comparing the image retrieval accuracy, feature selection and computing time of image retrieval.
In this paper, we propose a method of trajectory generation without colliding obstacles to the vehicle robot using the distance information obtained by the scanning laser range finder. First, the vehicle robot mounted...
详细信息
In this paper, we propose a method of trajectory generation without colliding obstacles to the vehicle robot using the distance information obtained by the scanning laser range finder. First, the vehicle robot mounted on the scanning laser range finder calculates the position of obstacles based on each angle's distance information, and then generates the trajectory which reaches the final destination. According to this trajectory, the robot can move in the irregular ground such as the grape fields. Through the experimental data we prove our proposed method is utilized.
暂无评论