• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2007년도 추계학술발표대회
• /
• pp.779-781
• /
• 2007

Nowadays, as the increasing functionality and scales of embedded systems, system design grows more complex than before. So verification and simulation of systems become an important facet in hardware-software co-design issues. But it is almost impossible to simulate an embedded system without real hardware implementation or environment communication, especially for control-dominated reactive systems. Therefore, in this paper, we will introduce a GUI environment module generator for integrated Esterel\C++ simulation. By generating the GUI modeling environment, we can simulate and verify the whole embedded system conveniently.

• 시스템엔지니어링학술지
• /
• 제17권2호
• /
• pp.69-81
• /
• 2021

The human performance issues and increased automation issues in advanced Small Modular Reactors (SMRs) are critical to numerous stakeholders in the nuclear industry, due to the undesirable implications targeting the Man Machine Interface Systems (MMIS) complexity of (Generation IV) SMRs. It is imperative that the design of future SMRs must address these problems. Nowadays, Multi Agent Systems (MAS) are used in the industrial sector to solve multiple complex problems; therefore incorporating this technology in the proposed innovative SMR (I-SMR) design will contribute greatly in the decision making process during plant operations, also reduce the number MCR operating crew and human errors. However, it is speculated that an increased level of complexity will be introduced. Prior to achieving the objectives of this research, the tools used to analyze the system for complexity reduction, are the McCabe's Cyclomatic complexity metric and the Henry-Kafura Information Flow metric. In this research, the systems engineering approach is used to guide the engineering process of complexity reduction concept of the system in its entirety.

• 한국CDE학회논문집
• /
• 제5권4호
• /
• pp.319-326
• /
• 2000

Expert systems using uncertain and ambiguous knowledge are not of the recent interests about uncertainty problem for performing inference similar to the decision making of a human expert. Human factors on rule-based systems often involve uncertain information. Expert systems had been used the methods of conflict resolution in a rule conflict situation, but this methods not properly solved the rule conflict. If a human expert appends a new rule to an original rule base, the rule base rightly causes a rule conflict. In this paper, the problem of rule conflict is regarded as one in which uncertainty of information is fundamentally involved. In the reduction of problem with uncertainty, we propose an enhanced rule ordering method, which improve the rule ordering method using Dempster-Shafer theory. We also propose a combinative index, which involve human factors of experts decision making.

• 전자공학회논문지SC
• /
• 제45권5호
• /
• pp.8-12
• /
• 2008

본 논문에서는 미지의 외란이 존재하는 불확실한 비선형 시스템에 대한 강인 상태 관측기 설계 방법을 제안한다. 제안한 관측기는 추정 오차에 대한 외란의 영향을 원하는 수준까지 감소시킬 수 있다. 또한, 제안한 관측기의 이득행렬은 선형 행렬 부등식을 이용하여 얻을 수 있다. 제안한 설계 방법은 기존의 적응관측기에서 다룬 파라미터 불확실성 보다 더 넓은 범위의 외란을 다룰 수 있다는 장점을 가진다. 마지막으로 제안한 결과의 유효성을 증명하기 위하여 모의실험 예제를 제공한다.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2002년도 ITC-CSCC -3
• /
• pp.1855-1858
• /
• 2002

A number of MPLS ATM systems have been proposed to increase the access speed of current routers, which only support the best-effort service. However, the MPLS ATM systems have to support the so-called differential service, which discriminates the applications according to the service class because they do not be satisfied the Internet users who use diverse applications. In this paper, to support this differential service a detailed forwarding procedure based on a LSP control method and an application-based marking algorithm is suggested. The LSP control method establishes several different LSPs for each FEC according to the service class and the application-based marking algorithm chooses a proper differential service depending on the application category. Also, a design scheme of forwarding engine, which can be easily implemented with a minimum modification of existing MPLS ATM systems is proposed. And, the best simulation result of high priority application category is gained when the proposed forwarding algorithm is comparedwithexistingalgorithms.

• Journal of Information Processing Systems
• /
• 제14권6호
• /
• pp.1301-1306
• /
• 2018

Artificial intelligence is one of the key technologies of the Fourth Industrial Revolution. This paper introduces the diverse kinds of approaches to subjects that tackle diverse kinds of research fields such as model-based MS approach, deep neural network model, image edge detection approach, cross-layer optimization model, LSSVM approach, screen design approach, CPU-GPU hybrid approach and so on. The research on Superintelligence and superconnection for IoT and big data is also described such as 'superintelligence-based systems and infrastructures', 'superconnection-based IoT and big data systems', 'analysis of IoT-based data and big data', 'infrastructure design for IoT and big data', 'artificial intelligence applications', and 'superconnection-based IoT devices'.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2014년도 추계학술대회
• /
• pp.163-164
• /
• 2014

의사위성은 GPS 위성의 백업 시스템으로 활용하거나 실내항법을 위한 목적으로 운용되며, 지상에 설치되어 GPS 위성과 유사한 신호를 송신한다. 의사위성의 의사거리 측정치 활용을 위해서는 항법 시스템과 의사위성간의 시각동기가 필수적이다. 본 논문에서는 GPS 위성과 의사위성간 시각동기를 위한 모니터링 시스템의 설계를 제안한다. 모니터링 시스템을 통해 의사위성의 시각동기 정확도를 분석하고 시각오차 보정에 활용하도록 한다.

• Asia pacific journal of information systems
• /
• 제12권2호
• /
• pp.163-178
• /
• 2002

With the spread of electronic commerce, Internet auction systems have become widely used, because they overcome the spatial and the temporal limitations of traditional auction systems. However, most of current Internet auction systems have many shortcomings such as support for limited auction types, difficulty in registering items, maintenance problems, etc. This paper designs and implements a component-based seller-driven Internet auction system, which complements those traditional auction systems as follows: It allows sellers to select one of the auction types they want by answering questions which eventually lead to a specific auction type; Since it implements five basic auction types according to the principles of component-based development, it is easy to implement diverse types of auction systems with a slight modification to existing components. Further, the use of DAO concept makes it easy to use various commercial database systems.

• International Journal of Fuzzy Logic and Intelligent Systems
• /
• 제2권2호
• /
• pp.139-145
• /
• 2002

In this paper, we proposed an intelligent digital redesign method for a class of fuzzy-model-based controllers, effective fur stabilization of continuous-time nonlinear systems. The TS fuzzy model is used to expend the results of the digital redesign technique to nonlinear systems. The proposed method utilized the recently developed LMI technique to obtain a digitally redesigned fuzzy-model-based controller. The intelligent digital redesign problem is converted to equivalent problem, and the LMI method is used to find the digitally redesigned fuzzy-model-based controller. The stabilization conditions of TS fuzzy model are derived for stabilization in the sense of Laypunov stability. In order to demonstrates the effectiveness and feasibility of the proposed controller design methodology, we applied this method to the single link flexible-joint robot arm.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1991년도 한국자동제어학술회의논문집(국내학술편); KOEX, Seoul; 22-24 Oct. 1991
• /
• pp.704-706
• /
• 1991

In CAD/CAM system, many efforts are made to automate the converting process from drawling information to manufacturing Information. The most difficult step In this procedure is utilizing 2 dimensional drawing information In order to formulate 3 dimensional w&ling information. This paper emphasizes to mWe automatically series of convertirg steps which provide 3 dimensional wire frame, surface and solid modeling using feature recognition rules. With the standardization of design process and the recognition rule as preceding steps, it shows a good application tool to interface the design and manufacturing procedures in PC-Level CAD/CAM system.