• Journal of the Korean Institute of Telematics and Electronics B
• /
• v.28B no.7
• /
• pp.557-565
• /
• 1991

The activated sludge process is a commonly used method for terating sewage and waste waters. The process is chatacterized by a lack of measurement instrumentations and control goals that are not always clear and not well understood. In such process, fuzzy control concept may be able to be adapted, do this paper presents a design method for fuzzy controller based on a selected sub-rule set from the total rule set and a multivariable fuzzy reasoning algorithms. In order to achievesystematic and efficient control of the activated sludge process under a great deal of disiutbances and a variety of perfotmance characteristics, a top-level rule-based fuzzy controller os proposed which provises lower-controllers with the suitable set-points according tothe onput-output states of the process.

• ETRI Journal
• /
• v.9 no.1
• /
• pp.84-96
• /
• 1987

The equality relation is very important in mechanical theorem proving procedures. A proposed inference rule called RHU-resolution is intended to extend the hyperparamodulation[23, 9] by introducing a bidirectional proof search that simultaneously employs a forward reasoning and a backward reasoning, and generalize it by incorporating beneflts of extended hyper steps with a preprocessing process, that includes a subsumption check in an equality graph and a high level planning. The forward reasoning in RHU-resolution may replace the role of the function substitution link.[9] That is, RHU-deduction without the function substitution link gets a proof. In order to control explosive generation of positive equalities by the forward reasoning, we haue put some restrictions on input clauses and k-pd links, and also have included a control strategy for a positive-positive linkage, like the set-of-support concept, A linking path between two end terms can be found by simple checking of linked unifiability using the concept of a linked unification. We tried to prevent redundant resolvents from generating by preprocessing using a subsumption check in the subsumption based eauality graph(SPD-Graph)so that the search space for possible RHU-resolution may be reduced.

• Proceedings of the IEEK Conference
• /
• 2002.06e
• /
• pp.273-276
• /
• 2002

This paper has design of ECG pattern classification system using decision of fuzzy IF-THEN rules and neural network. each fuzzy IF-THEN rule in our classification system has antecedent lingustic values and a single consequent class. we use a fuzzy reasoning method based on a single winner rule in the classification phase. this paper in, the MIT/BIH arrhythmia database for the source of input signal is used in order to evaluate the performance of the proposed system. From the simulation results, we can effectively pattern classification by application of learned from neural networks.

• Journal of the Korean Society for Precision Engineering
• /
• v.15 no.11
• /
• pp.46-57
• /
• 1998

Even though there are some studies on the deep drawing process and process planning, little study has been done on the methodology of process planning of secondary operations of deep drawing such as 'piercins'. In this paper, first, we systematized the methodology of the process planning of secondary operations on axisymmetric cup. Second we described the development of the expert system for their CAPP For these studies, we extracted the knowledge of their process planning from experts and analysed and systemized them. To develop the expert system, rule-based reasoning paradigm is used. The shape information of manufacturing features of secondary operations are manually input to the system through SUI. The process planning results are automatically connected to AutoCAD. We believe that the systematized process knowledge and the development of the expert system for its CAPP could give lots of aids to the associated field.

• Proceedings of the KIEE Conference
• /
• 1991.07a
• /
• pp.703-707
• /
• 1991

During the past several years, fuzzy control has emerged as one of the most active and fruitful areas for reaserch in the applications of fuzzy set theory. A key component of the fuzzy controller is a rule-based system which provides a linguistic description of control strategy. This strategy has the form of a collection of fuzzy conditional statements which are implemented and manipulated using fuzzy set theory. In this paper, we propose the rule-based controller for DC motor speed control. The result of performance compare with PID controller to verify the validity of proposed algorithm.

• Journal of Intelligence and Information Systems
• /
• v.12 no.2
• /
• pp.67-81
• /
• 2006

While the existing Web focuses on the interface with human users based on HTML, the next generation Web will focus on the interaction among software agents by using XML and XML-based standards and technologies. The inference engine, which will serve as brains of software agents in the next generation Web, should thoroughly understand the Semantic Web, the standard language of the next generation Web. As abasis for the service, the W3C (World Wide Web Consortium) has recommended SWRL (Semantic Web Rule Language) which had been made by compounding OWL (Web Ontology Language) and RuleML (Rule Markup Language). In this research, we develop a backward chaining inference engine SMART-B (SeMantic web Agent Reasoning Tools -Backward chaining inference engine), which uses SWRL and OWL to represent rules and facts respectively. We analyze the requirements for the SWRL-based backward chaining inference and design analgorithm for the backward chaining inference which reflects the traditional backward chaining inference algorithm and the requirements of the next generation Semantic Web. We also implement the backward chaining inference engine and the administrative tools for fact and rule bases into Java components to insure the independence and portability among different platforms under the environment of Ubiquitous Computing.

• Journal of Korean Institute of Industrial Engineers
• /
• v.18 no.1
• /
• pp.81-89
• /
• 1992

After much research on qualitative reasoning, the problem of ambiguities still hampers the practicality of this important AI tool. In this paper, the sources of ambiguities are examined in depth with a systems engineering point of view and possible directions to disambiguation are suggested. This includes some modeling strategies and an architecture of temporal inference for building unambiguous qualitative models of practical complexity. It is argued that knowledge of multiple levels in abstraction hierarchy must be reflected in the modeling to resolve ambiguities by introducing the designer's decisions. The inference engine must be able to integrate two different types of temporal knowledge representation to determine the partial ordering of future events. As an independent quantity management system that supports the suggested modeling approach, LIQUIDS(Linear Quantity-Information Deriving System) is described. The inference scheme can be conjoined with ordinary rule-based reasoning systems and hence generalized into many different domains.

• Journal of Electrical Engineering and Technology
• /
• v.11 no.6
• /
• pp.1684-1692
• /
• 2016

In order to adapt the fast dynamic performances of Buck DC/DC converter, and reduce the influence on converter performance owing to uncertain factors such as the disturbances of parameters and load, a control strategy based on two-dimensional hybrid cloud model is proposed. Firstly, two cloud models corresponding to the specific control inputs are determined by maximum determination approach, respectively, and then a control rule decided by the two cloud models is selected by a rule selector, finally, according to the reasoning structure of the rule, the control increment is calculated out by a two-dimensional hybrid cloud decision module. Both the simulation and experiment results show that the strategy can dramatically improve the dynamic performances of the converter, and enhance the adaptive ability to resist the random disturbances, and its control effect is superior to that of the current-mode control.

• The Journal of Korean Association of Computer Education
• /
• v.11 no.2
• /
• pp.107-117
• /
• 2008

The agent system that can adjust the workload dynamically through thc periodical monitoring of the VoD system comprises the agency part interfacing the VoD system and the intelligence part reasoning or learning the facts required for the adjustment of workload. This paper proposes a learning method that can apply to the intelligence part of the agent system. The proposed method can adjust the workload more efficiently by the rule's reasoning process and case-based learning process. An experiment of implementing a simulator was conducted to see whether or not application of the proposed method to VoD systems is efficient. As a result of the experiment, it was found that the throughput and the average waiting time of the VoD server were relatively improved when the proposed method was applied compared to existing means.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06d
• /
• pp.214-219
• /
• 2007

생성 규칙(Production Rule)과 이를 기반으로 하는 규칙 엔진(Rule Engine)을 기반으로 한 OWL 추론 엔진은 메타 규칙((Meta Rule)에 의존해 왔다. 메타 규칙은 OWL의 의미론 (Semantics)을 표현하기 용이하여 보다 손쉽게 OWL 추론 엔진을 구현할 수 있다는 장점을 제공하였으나 OWL 추론 성능에 있어 추론 속도와 대용량 온톨로지 처리 측면에서 모두 만족할 만한 성과를 얻지 못하였다. 본 논문은 DLP(Description Logic Programming)의 번역 접근법을 기반으로 한 번역 규칙(Translation Rules)을 메타 규칙과 혼용하는 OWL 추론 기법을 소개한다. LUBM 벤치마크를 통해 이 기법이 메타 규칙만을 이용했을 때 보다 100% 이상 추론 성능을 향상시켰을 뿐 아니라 메모리 사용량도 대폭 축소시켰음을 확인할 수 있었다. 또한, 번역을 통해 제한없는 차수 제약(Cardinality Restriction) 관련 추론을 지원하는 등 보다 넓은 범위의 OWL 추론을 지원할 수 있다.