• Journal of Korean Society for Quality Management
• /
• v.31 no.3
• /
• pp.114-125
• /
• 2003

In this paper, we deal with the problem of modeling of agent-based robot manufacturing cell. Its role is becoming increasingly important in automated manufacturing systems. For Object Oriented & Queueing Petri Nets (OO&QPNs), an extended formalism for the combined quantitative and qualitative analysis of different systems is used for structure and performance analysis of mobile robotic cell. In the case study, the OO&QPN model of a mobile robotic cell is represented and analyzed, considering multi-class parts, non-preemptive priority and alternative routing. Finally, the comparison of performance values between Shortest Process Time (SPT) rule and First Come First Serve (FCFS) rule is suggested. In general, SPT rule is most suitable for parts that have shorter processing time than others.

• Asia pacific journal of information systems
• /
• v.14 no.1
• /
• pp.79-100
• /
• 2004

As a part of ebXML(Electronic Business using eXtensible Markup Language) framework, BPSS(Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPS,' is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification fails to specify formal semantic constraints completely. In this study, we propose a constraint classification scheme for the BPSS specification and describe how to formally represent those semantic constraints using OCL(Object Constraint Language). As a way to validate p Business Process Specification(BPS) with the formal semantic constraints, we suggest a rule-based approach to represent the formal constraints and demonstrate its detailed mechanism for applying the rule-based constraints to the BPS with a prototype implementation.

• Asia pacific journal of information systems
• /
• v.14 no.4
• /
• pp.87-97
• /
• 2004

One of the most fundamental problems in business is ranking items with respect to profit based on historical transactions. The difficulty is that the profit of one item comes from its influence on the sales of other items as well as its own sales, and that there is no well-developed algorithm for estimating overall profit of selected items. In this paper, we developed a product network based on association rule and an algorithm for profit estimation and item selection using the estimated profit ranking(EPR). As a result of computer simulation, the suggested algorithm outperforms the individual approach and the hub-authority profit ranking algorithm.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• v.14 no.1
• /
• pp.1-7
• /
• 2014

This paper presents a novel method for simultaneously and automatically choosing the nonlinear structures of regressors or discriminant functions, as well as the number of terms to include in a rule-based regression model or pattern classifier. Variables are first partitioned into subsets each of which has a linguistic term (called a causal condition) associated with it; fuzzy sets are used to model the terms. Candidate interconnections (causal combinations) of either a term or its complement are formed, where the connecting word is AND which is modeled using the minimum operation. The data establishes which of the candidate causal combinations survive. A novel theoretical result leads to an exponential speedup in establishing this.

• Journal of Institute of Control, Robotics and Systems
• /
• v.6 no.8
• /
• pp.710-718
• /
• 2000

In this paper we described an approach to automation of visual inspection of solder joint defects of SMC(Surface Mounted Components) on PCBs(Printed Circuit Board) by using neural network and fuzzy rule-based classification method. Inherently the surface of the solder joints is curved tiny and specular reflective it induces difficulty of taking good image of the solder joints. And the shape of the solder joints tends to greatly vary with the soldering condition and the shapes are not identical to each other even though the solder joints belong to a set of the same soldering quality. This problem makes it difficult to classify the solder joints according to their qualities. Neural network and fuzzy rule-based classification method is proposed to effi-ciently make human-like classification criteria of the solder joint shapes. The performance of the proposed approach is tested on numerous samples of commercial computer PCB boards and compared with the results of the human inspector performance and the conventional Kohonen network.

• Transactions on Control, Automation and Systems Engineering
• /
• v.4 no.1
• /
• pp.100-107
• /
• 2002

The advanced bilateral control algorithm, which can enlarge a reflected force by combining force reflection and compliance control, greatly enhances workability in teleoperation. In this scheme the maximum boundaries of a compliance controller and a force reflection gain guaranteeing stability and good task performance greatly depend upon characteristics of a slave arm, a master arm, and an environment. These characteristics, however, are generally unknown in teleoperation. It is, therefore, very difficult to determine such maximum boundary of the gain. The paper presented a novel method for design of an advanced bilateral controller. The factors affecting task performance and stability in the advanced bilateral controller were analyzed and a design guideline was presented. The neurofuzzy compliance model (NFCM)-based bilateral control proposed herein is an algorithm designed to automatically determine the suitable compliance for a given task or environment. The NFCM, composed of a fuzzy logic controller (FLC) and a rule-learning mechanism, is used as a compliance controller. The FLC generates compliant motions according to contact forces. The rule-learning mechanism, which is based upon the reinforcement learning algorithm, trains the rule-base of the FLC until the given task is done successfully. Since the scheme allows the use of large force reflection gain, it can assure good task performance. Moreover, the scheme does not require any priori knowledge on a slave arm dynamics, a slave arm controller and an environment, and thus, it can be easily applied to the control of any telerobot systems. Through a series of experiments effectiveness of the proposed algorithm has been verified.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2005.05a
• /
• pp.157-163
• /
• 2005

Nowadays, the web service was based on composing the e-business and distributed computing environment. But existing workflow management systems have many problems with the interoperability between companies because they are made before most web services. For these problems, the workflow based composition language such as the Business Process Execute Language for Web Services (BPEL4WS or BPEL) appeared in expressing the web service composition. In this paper, we present an event based rule management system architecture that executes automatically the BPEL using the Event-Condition-Action (ECA) rules. The event based rule management system consists of the event manager, rule manager, and Jess. The Jess is the part of executing and deciding the condition.

• Korean Journal of Air-Conditioning and Refrigeration Engineering
• /
• v.25 no.11
• /
• pp.631-639
• /
• 2013

This study derives quality checking items in Building Mechanical Systems Design Criteria, and suggests quality criteria to review BIM models in the duct system of an air conditioning system for rule-based automatic checking. First, components for the duct system of an air conditioning system were reviewed, and the quality checking items were drawn from Building Mechanical Systems Design Criteria, through assessment according to object, attribute and relationship composing the BIM model. Second, quality checking types were derived, by analyzing the quality checking items and Rule set of the Solibri Model Checker. Finally, methods of algorithm functioning for checking the BIM models for mechanical systems in computers were drawn, and Elements to comprise the quality checking criteria (rule) were suggested. This study means that that checking items are derived from domestic criteria, and a way for the development process of determining quality checking criteria (rules) is suggested.

• Journal of the Korean Institute of Intelligent Systems
• /
• v.3 no.1
• /
• pp.15-22
• /
• 1993

• KSII Transactions on Internet and Information Systems (TIIS)
• /
• v.5 no.12
• /
• pp.2355-2373
• /
• 2011

Vision-based vehicle detector systems are becoming increasingly important in ITS applications. Real-time operation, robustness, precision, accurate estimation of traffic parameters, and ease of setup are important features to be considered in developing such systems. Further, accurate vehicle detection is difficult in varied complex traffic environments. These environments include changes in weather as well as challenging traffic conditions, such as shadow effects and jams. To meet real-time requirements, the proposed system first applies a color background to extract moving objects, which are then tracked by considering their relative distances and directions. To achieve robustness and precision, the color background is regularly updated by the proposed algorithm to overcome luminance variations. This paper also proposes a scheme of feedback compensation to resolve background convergence errors, which occur when vehicles temporarily park on the roadside while the background image is being converged. Next, vehicle occlusion is resolved using the proposed prior split approach and through reasoning for rule-based tracking. This approach can automatically detect straight lanes. Following this step, trajectories are applied to derive traffic parameters; finally, to facilitate easy setup, we propose a means to automate the setting of the system parameters. Experimental results show that the system can operate well under various complex traffic conditions in real time.