To overcome the difficulties in acquiring experts' know-how as well as to realize more efficient deliveries, a delivery route scheduling method that combines a knowledge base with general algorithms is proposed. T...
详细信息
To overcome the difficulties in acquiring experts' know-how as well as to realize more efficient deliveries, a delivery route scheduling method that combines a knowledge base with general algorithms is proposed. This method combines the knowledge base and the general algorithms by means of a "conceptual map" of experts' knowledge integrated into the map data, and they are combined using a goal-oriented knowledge architecture with a user interface, where the goal and its achievement strategies are selectable. Due to such a combination of flexible and selectable knowledge, this method can automatically generate efficient delivery routes, which are also safe, considerate of the residents and their environment, and/or respect the precedented routes. This method basically interfaces between the AI part and the general algorithm part only by way of the above-mentioned "conceptual map" data. The general algorithm part does not need to be modified if expertise, areas and times change. As a result, the system using this method can be easily extended and/or modified to be used, for example, in various areas from over-populated super-cities to countryside conservation. The proposed method can be generally applied to delivery route generation for parcels, mail, packages and parts necessary for production or maintenance.
A method for evaluating the level of UV radiance incident on an UV-cured ink on an operating press has been developed. The method incorporates the Green Detex light sensitive, coated self-adhesive labels. A new method...
详细信息
A method for evaluating the level of UV radiance incident on an UV-cured ink on an operating press has been developed. The method incorporates the Green Detex light sensitive, coated self-adhesive labels. A new method of characterizing the change in the color of the Detex labels results in a characterization which is linear with exposure or press speed and provides the ability to critically adjust speed and exposure for optimum cure of UV inks.
Based on experimental comparison, this paper discusses approximate solution methods of medium-scale traveling salesman problems (TSPs) which suit repetitive use in interactive simulation for globally optimizing a larg...
详细信息
Based on experimental comparison, this paper discusses approximate solution methods of medium-scale traveling salesman problems (TSPs) which suit repetitive use in interactive simulation for globally optimizing a large-scale distribution logistic network. For constructing a globally optimized large-scale logistic network, the problem is decomposed into hundreds of sub-problems, and each sub-problem including TSPs should be repetitively solved. Thus, it is essential to find approximate solution methods of medium-scale TSPs that suit the heavily repetitive use in interactive simulation for globally optimizing a large-scale distribution logistic network. Accordingly, we carried out an experiment for comparison among approximate methods using a random restart strategy that iterates the combination of random initialization and local search. As a result of this experimental comparison, we discovered that one of the approximate methods could obtain solutions ensuring errors below 2-3% within 0.1 second. Thus, this method is considered to be promising for realizing a system that enables one to carry out interactive simulations repetitively for constructing a globally optimized large-scale logistic network.
We describe our experience with domain-oriented softwaredevelopment in the domain of automatic teller machine applications. We systematically proceeded with development in four phases: domain analysis, domain formali...
详细信息
We describe our experience with domain-oriented softwaredevelopment in the domain of automatic teller machine applications. We systematically proceeded with development in four phases: domain analysis, domain formalization, domain facility building, and product development. In this development, we built domain facilities consisting of a domain framework and domain CASE (Computer Aided softwareengineering) tools, then employed them for application development. The framework shared about 4% of the application, and the remaining 96% was generated by the CASE tools automatically. Our approach was found to realize effective reuse of design and implementation and to enable domain-oriented development in large domains.
There are two types of learning. One is symbol learning such as inductive learning in artificial intelligence and the other is pattern learning such as multivariate analysis and neural networking. This paper presents ...
详细信息
This paper discusses a modeling methodology for systems that contain ambiguity or uncertainty. Models built by the methodology are expected to handle the ambiguity and adapt to the uncertainty. The methodology is simp...
详细信息
This paper discusses a modeling methodology for systems that contain ambiguity or uncertainty. Models built by the methodology are expected to handle the ambiguity and adapt to the uncertainty. The methodology is simple and versatile so that it can be applied to the description of various system architectures; e.g. multi-layered perceptron, fuzzy neural networks and so forth. A description language and a design tool that employ the method are also introduced.
To cope with the knowledge acquisition bottleneck, the authors propose a new architecture combining rule-based reasoning (RBR), case-based reasoning (CBR) and knowledge acquisition technology in a system which solves ...
详细信息
To cope with the knowledge acquisition bottleneck, the authors propose a new architecture combining rule-based reasoning (RBR), case-based reasoning (CBR) and knowledge acquisition technology in a system which solves pattern search problems. The RBR part searches for specified patterns in a large space represented by a network structure such as an LSI circuit diagram, which contains a great number of patterns and variations. It then carries out specified actions, such as fault diagnosis, on the patterns that are found. The outputs of the RBR part are transferred to the CBR part. The user of the system detects and repairs a few pattern detection errors caused by the RBR part. The CBR part detects and repairs all remaining errors which can be estimated from the user detected ones. The repaired results are sent back to the RBR part to recover the RBR output. The repaired results are also stored automatically in the case base, Similar cases are grouped in a same case family. The knowledge acquisition part relates each case family to an incomplete rule in the RBR knowledge base and proposes modifying the rule. Eventually, the system can obtain refined rules with the cooperation of domain experts. Thus, the problem solving process and knowledge acquisition process are performed cyclically. The architecture was successfully applied to a pair condition extraction problem for an analog LSI circuit layout system. (C) 1997 Elsevier Science B.V.
In this paper, we examine ''program adjustment'', a formal and practical approach to developing correct concurrent programs, by automatically adjusting an imperfect program to satisfy given constraints...
详细信息
In this paper, we examine ''program adjustment'', a formal and practical approach to developing correct concurrent programs, by automatically adjusting an imperfect program to satisfy given constraints. A concurrent program is modeled by a finite state process, and program adjustment to satisfy temporal logic constraints is formalized as the synthesis of an arbiter process which partially serializes target (i.e., imperfect) processes to remove harmful nondeterministic behaviors. Compositional adjustment is also proposed for large-scale compound target processes, using process equivalence theory. We have developed a computer-aided programming environment on the parallel computer Multi-PSI, called MENDELS ZONE, that adopts this compositional adjustment. Adjusted programs can be compiled into the kernel language (KL1) and executed on Multi-PSI.
The paper presents a technique for reusing design processes which aims at facilitating software reuse. The authors have constructed a specification reuse model based on two major ideas. One is to extract domain specif...
详细信息
The paper presents a technique for reusing design processes which aims at facilitating software reuse. The authors have constructed a specification reuse model based on two major ideas. One is to extract domain specific specification parts, and the other is to reuse design processes represented by reuse histories. In addition, a domain analysis method is proposed to construct the specification reuse model. This model has been evaluated through experimental applications. The results show that the model facilitates software reuse, and that the domain analysis clarifies the application scope of the model. Applicability of our model to other domains is also discussed.
暂无评论