• Journal of Korea Multimedia Society
• /
• v.1 no.2
• /
• pp.224-238
• /
• 1998

The EMFG (Extended Mark Flow Graph) is not only a powerful tool for designing the discrete-event system conceptually or specifically but also a good representation tool for implementing the system directly. But it is difficult to design or analyze the system because the impossibility of mathematical analysis results from some complicated representation of the EMFG. In this paper, therefore we redefined EMFG representations to provide the possibility of mathematical analysis, and employed an output inhibit are of a transition, which makes possible the adequate representations for the indescribable parts. We also solved trouble parts in the circuit translations of the EMFG and proposed the circuit translation method by using the mathematical formula. Finally, we compared the conventional EMFG with the redefined EMFG, and we designed a 0101 detecter with the redefined EMFG and translated it to the corresponding circuit.

• Journal of Korea Game Society
• /
• v.8 no.3
• /
• pp.69-76
• /
• 2008

This paper presents a novel rendering algorithm based on sperical coordinate representation of the object. The vertices of the object are transformed into the sperical coordinate system, and we construct additional maps: the centroid and index of the triangle, the memory access table. While OpenGL rendering pipeline touches all vertices of an object, the proposed method takes account of the only visible vertices by examining the visible triangles of the object. Simulation results demonstrated that the proposed method achieve an efficient rendering performace.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.21 no.12
• /
• pp.2134-2145
• /
• 1997

We present a framework of an intelligent design system for embodiment design of machine tools which can support efficiently and systematically the machine design by utilizing design knowledge such as objects(part), know-how, public, evaluation, and procedures. The design knowledge of machining center has been accumulated through interview with design experts of machine tool companies. The processes of embodiment design of machining center are established and represented by the IDEF0 model from the field surveys. We also introduce a hybrid knowledge representation so that the system can easily deal with various and complicated design knowledge. The intelligent design system is being developed on the basis of object-oriented programming, and all parts of a design object, machining center, are also classified by the object-oriented modeling.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.19 no.5
• /
• pp.93-103
• /
• 2009

Since message forgery or alteration in VANET may cause severe consequences, authentication of critical messages must be provided. However, using normal digital signature may infringe privacy of drivers. Therefore, VANET requires authentication systems that provide conditional anonymity. In this paper, we propose a new authentication system for VANET. In our proposed system, each vehicle can update its pseudonym using re-encryption technique and digitally sign messages using representation problem on the pseudonym. By limiting the usage period, revocation of individual pseudonym is not required. Moreover, we also provide a way to revoke the vehicle itself. Secureness of our system partially rely on the usage of tamper-resistance hardware.

• Proceedings of the KSR Conference
• /
• 1998.11a
• /
• pp.111-118
• /
• 1998

This paper describes the development of the database system for tunnel management of Korea National Railways. In order to make the system both target independent and accessible by KNR network or modem, authors developed the system as a web-based application using java language and IBM DB2 database. The system includes the searching, reporting, graphical representation and statistical functions for tunnel data, maintenance records and checking records. Later, the system will be extended to include the process for tunnel state rating and maintenace prioritiy decision-making.

• Fibers and Polymers
• /
• v.7 no.4
• /
• pp.436-441
• /
• 2006

An integrated platform for garment drape simulation system has been developed. In this system, garment patterns from conventional two-dimensional CAD systems can be assembled into a three-dimensional garment on a parametrically resizable realistic human body model. A fast and robust particle-based physical calculation engine has been developed for garment shape generation. Then a series of geometric and graphical techniques were applied to create realistic impressions on simulated garments. This system can be used as the rapid prototyping tool for garments in the future quick-response system.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.23 no.59
• /
• pp.43-51
• /
• 2000

Many organizations are currently adjusting the statistical forecasts with qualitative factors. However, so for a few forecasting system with adjustment process have been developed. They have difficulties in managing knowledge and estimating the quantity of adjustment. In this study, the forecasting support system adopting the frame based knowledge representation and containing the decision making scheme for adjustment is proposed to overcome these difficulties. According to the experiments, the proposed system improves the forecasting performance on gasoline case.

• Journal of the Ergonomics Society of Korea
• /
• v.12 no.1
• /
• pp.75-86
• /
• 1993

Hypermedia systems allow the retrieval and representation of multimedia in- formation such as text, graphics, image and voice/sound using navigation and browsing mechanisms. In this study we developed a hypermedia system which provides hierarchical group, local map and cluster view for effective navigation in hyperspace. The system also supports hot link, reference link, move-to link and multiple link to browse the multimedia information space effectively. This system has been designed to integrate the navigation, browsing and searching function of the hypermedia system in hyman factor perspective and provides the user-friendly user interface mechanism.

• IE interfaces
• /
• v.8 no.3
• /
• pp.249-257
• /
• 1995

Expert system is an effective approach for quality system to be automated and thus to be an essential integrating mechanism in any move towards CIM(Computer Integrated Manufacturing). A quality control expert system is introduced and its relationship to CIM is illustrated in a case study. Process control expert system developed by Kim and Sin[6] has been improved via ODBC(Open DataBase Connectivity) for efficient information network, graph representation using Windows API for rapid response and some new rules for identification of patterns in control charts.

• The Transactions of the Korea Information Processing Society
• /
• v.5 no.4
• /
• pp.951-958
• /
• 1998

In this paper, we propose a backward reasoning algorithm which can be utilized in the fuzzy Petri-net representation representing fuzzy production rules. The fuzzy Petri-net representation can be used to model a approximate reasoning system and implement a fuzzy inference engine. The proposed algorithm, which uses the proper belief evaluation functions according to fuzzy concepts in antecedentes and consequents of fuzzy production rules, is more closer to human intuition and reasoning than other methods. This algorithm generates the backward reasoning path from the goal to the initial nodes and evaluates the belief value of the goal node using belief evaluation functions.