• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2006.11a
• /
• pp.525-528
• /
• 2006

This paper considers the vehicle dispatching problem in the automated material handling system (AMHS) of a large scale semiconductor fabrication line, which consists of 18 bays, 468 equipments and uses more than 130 overhead hoist transporters (OHT). We propose an assignment problem based vehicle dispatching approach to take advantage of simultaneous vehicle reassignment based on up-to-date system status. The proposed approach compares fsvorably with the shortest travel distance first rule and with the reassignment based rule which was recently proposed by the authors, in the number of vehicles required and the average lead time.

• Nuclear Engineering and Technology
• /
• v.44 no.4
• /
• pp.363-368
• /
• 2012

A feedwater controller targeted for an ABWR has been implemented using a modern field programmable gate array (FPGA), and verified using the full scope simulator at Taipower's Lungmen nuclear power station. The adopted control algorithm is a rule-based fuzzy logic. Point to point validation of the FPGA circuit board has been executed using a digital pattern generator. The simulation model of the simulator was employed for verification and validation of the controller design under various plant initial conditions. The transient response and the steady state tracking ability were evaluated and showed satisfactory results. The present work has demonstrated that the FPGA based approach incorporated with a rule-based fuzzy logic control algorithm is a flexible yet feasible approach for feedwater controller design in nuclear power plant applications.

• Journal of Internet Computing and Services
• /
• v.8 no.6
• /
• pp.135-144
• /
• 2007

Feature models are widely used in domain engineering phase of software product lines development to model the common and variable concepts among products. From the feature model, the feature configurations are generated by selecting the features to be included in target product. The feature configuration represents the requirements for the specific product to be implemented. Although there are a lot of researches on how to build and use the feature models and feature configurations, the researches on the formal semantics and reasoning of them are rather inactive. This paper proposes the feature configuration verification approach based on JESS, java-based rule-base system. The Graph Product Line, a standard problem for evaluating the software product line technologies, is used throughout the paper to illustrate this approach. The approach in this paper has advantage of presenting the exact reason causing inconsistency in the feature configuration. In addition, this approach should be easily applied into other software product lines development environments because JESS system can be easily integrated with Java language.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 1987.10a
• /
• pp.1-1
• /
• 1987

• The Journal of the Acoustical Society of Korea
• /
• v.29 no.1
• /
• pp.76-81
• /
• 2010

In this paper, we propose a novel approach to improve the performance of a statistical model-based voice activity detection (VAD) which is based on the second-order conditional maximum a posteriori (CMAP). In our approach, the VAD decision rule is expressed as the geometric mean of likelihood ratios (LRs) based on adapted threshold according to the speech presence probability conditioned on both the current observation and the speech activity decisions in the pervious two frames. Experimental results show that the proposed approach yields better results compared to the statistical model-based and the CMAP-based VAD using the LR test.

• Journal of Intelligence and Information Systems
• /
• v.9 no.1
• /
• pp.251-267
• /
• 2003

In order to satisfy the needs of an intelligent information system, it is necessary to have more intelligent query processing in an object-oriented database. In this paper, we present a method to apply intelligent query processing in object-oriented databases using deductive approach. Using this method, we generate intelligent answers to represent the answer-set abstractly for a given query in object-oriented databases. Our approach consists of few stages: rule representation, rule reformation pre-resolution, and resolution. In rule representation, a set of deductive rules is generated based on an object-oriented database schema. In rule reformation, we eliminate the recursion in rules. In pre-resolution, rule transformation is done to get unique intensional literals. In resolution, we use SLD-resolution to generate intensional answers.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.28 no.6
• /
• pp.791-798
• /
• 2004

Fatigue crack initiation lives of round cylindrical notch specimen were investigated. Firstly, local strain approximation methods, such as the modified incremental Neuber's rule and the modified incremental Glinka's equivalent strain energy density(ESED) rule, were used to get multiaxial stress and strain state components at the notch tip. Based on the history of local stress and strain, multiaxial fatigue models were used to obtain fatigue crack initiation lives. Because the solution of Neuber's rule and Glinka's ESED rule make the upper and lower bound of local strain approximations, fatigue crack initiation lives are expected to place between life predictions by two local strain approximations. Experimental data were compared with the fatigue crack initiation life prediction results.

• Journal of the Korea Safety Management & Science
• /
• v.14 no.4
• /
• pp.13-21
• /
• 2012

This paper tried to apply psychosocial factors in industrial safety research. Since Zohar's(1980) publication of safety climate in the field of safety research, this approach have been done by many researchers. Here, this paper reviewed the relationship between safety climate factors(safety rule, prevention, superior attitude, social support) and safety compliance, and the moderating effects of work condition, required skill and age. Based on the responses from 233 employees in Kangwon province industry, hierarchical regressional analysis showed that all safety climate factors(safety rule, prevention, superior attitude, social support) have positive relationship with safety compliance. Safety rule appeared to be more positively related with safety compliance, while work condition is more favorable and worker is older. But social support appeared to be more positively with safety compliance, while work condition is more unfavorable, and also prevention appeared to be more positively with safety compliance, while worker is more younger.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.28 no.2
• /
• pp.46-52
• /
• 2005

In this paper, we present a temporal association rule based on item time intervals. A temporal association rule is an association rule that holds specific time intervals. If we consider itemset in the frequently purchased period, we can discover more significant itemset satisfying minimum support. Because the previous study did not consider the time interval between purchased item, it could find itemset that did not satisfy the minimum support in case some item was frequently purchased in a specific period and rarely or not purchased in other period. Our approach uses interval support which is counted by period with support and confidence in the association rule to discovery large itemset.

• ETRI Journal
• /
• v.25 no.4
• /
• pp.219-230
• /
• 2003

This paper describes a rule-based approach for syntactic disambiguation used by the English sentence parser in E-TRAN 2001, an English-Korean machine translation system. We propose Parser's Ambiguity Type Information (PATI) to automatically identify the types of ambiguities observed in competing candidate trees produced by the parser and synthesize the types into a formal representation. PATI provides an efficient way of encoding knowledge into grammar rules and calculating rule preference scores from a relatively small training corpus. In the overall scoring scheme for sorting the candidate trees, the rule preference scores are combined with other preference functions that are based on statistical information. We compare the enhanced grammar with the initial one in terms of the amount of ambiguity. The experimental results show that the rule preference scores could significantly increase the accuracy of ambiguity resolution.