• ETRI Journal
• /
• v.11 no.4
• /
• pp.22-36
• /
• 1989

In this paper, a design and implementation of an efficient protocol verification system named LOVE has been described. The LOVE has been developed specifically for LOTOS. It performs not only protocol syntax validation (PSV) but also protocol functional verification(PFV). The PSV is a test to check if a protocol is free from protocol syntax errors such as deadlocks and livelocks. The PFV confirms whether or not a protocol achieves its functional objectives. For the PSV, the reachability analysis is employed, and the observational equivalence test is used for the PFV. For protocol verification using the LOVE, a schematic protocol verification methodology has been outlined.

• Proceedings of the Korean Institute of Interior Design Conference
• /
• 1999.04a
• /
• pp.145-148
• /
• 1999

The contemporary society needs complex space for multiple function. Interior space plan should suggest the solution of the narrow site and process for multiple function through showing the examples of other functional spaces. The purpose of this study is choosing an express station which has wide site and cultural exchange function, while it is not used for specific function and then the waiting room of station adapted for cultural and multiple functional space.

• Proceedings of the KIEE Conference
• /
• 1998.11b
• /
• pp.572-574
• /
• 1998

In this paper, we are proposed design of ATM networks to transfer for electric power system informations, proposed transport networks is partitioned management part and functional part, management part is partitioned edge network, core network, local network, authority network, functional part is partitioned core network, access network, edge area. It is based on laying and partitioning by ITU-T G.805, we also proposed ATM network requirements for Carrier Relay traffic acceptability in electric power system information.

• Korean Journal of Computational Design and Engineering
• /
• v.16 no.6
• /
• pp.449-457
• /
• 2011

The productivity improvement is indispensible to shipbuilding industry for maintaining the world's No. 1. Simulation based production recently has been an issue as prat of efforts to high efficiency production and Korean shipyards requests simulation system tools specialized in a shipbuilding industry. IT convergence project between conventional shipbuilding industry and IT simulation technology has been carried out and integrated simulation framework was proposed as a way to overcome sporadic developments. The framework would provide reusability of kernels and modules and also ensure for expansibilities to other production simulations. The fact that production simulation system should reflect shipyard requirement would be most important. We suggest an analysis process of customer requirements and functional requirements for production simulations. It is partially based on concepts of software engineering and axiomatic design. The process is applied to a design of configuration for simulation framework.

• Journal of the Ergonomics Society of Korea
• /
• v.20 no.1
• /
• pp.87-113
• /
• 2001

This study introduces the concept of image/impression of a product design, human interface elements, and the relationships between them. It is assumed that the human interface can be decomposed into detailed design elements, called human interface elements. This study attempts to build functional relationships between the image/impression of a product and human interface elements. Two different human factors experiments were conducted to demonstrate the effectiveness of the approach suggested in this study. A total of 35 audio/visual consumer electronics products (e.g., CD players, VCRs) were shown on a display screen and the subjects were instructed to evaluate them in terms of eight image/impression dimensions. One experiment was conducted using Korean subjects while the other using American subjects. The functional relationships were modeled by using the multiple linear regression technique. Similarity and difference between the Korean and the American subjects were analyzed. The approach suggested in this study is expected to help designers and developers identify important design variables to enhance the subjective satisfaction of a product design.

• Journal of the Korean Institute of Educational Facilities
• /
• v.15 no.4
• /
• pp.4-13
• /
• 2008

This study intended to put information regarding space composition and functional relationship together and analyze them, and finally offers some suggestions. For the field survey, built questionnaire and drawings analysis were used in this study. Architectural programming offers basic information for design : putting field survey factors together and analysing them. It interacts with each part of design as well. In the initial stage of architectural design, the quality of information is very decisive in the quality of design. In this sense, analysing basic information such as floor space compositive system is required to rationalizing space and functional programing in the elementary school design.

• Proceedings of the KSR Conference
• /
• 2000.05a
• /
• pp.284-291
• /
• 2000

Interlocking software used in the electronic interlocking has been implemented through the structured approach until now. But there was the demerit that interlocking software has some problem in the standardization and the maintenance because of the limit in structured approach. Object-Oriented method overcoming this demerit was specified in the design step and the analysis step. There were object model, dynamic model and functional model in the analysis step and there were also two steps which were system design and object design in the design step. In this paper, Interlocking software was designed using Object-Oriented method to improve the standardization and the maintenance of the electronic interlocking. The electronic interlocking was analyzed with object modeling, dynamic modeling and functional modeling.

• Journal of Industrial Convergence
• /
• v.15 no.1
• /
• pp.1-7
• /
• 2017

The purpose of this study is to analyze the facility standards of the elderly welfare facilities applying the seven principles of the universal design. The facility standards of the elderly welfare facilities were limited to the provisions of the "Enforcement Regulation of the Elderly Welfare Act". There are few legal regulations applying the universal design in the construction of the elderly welfare facilities. The facility standards are set only with the minimum requirements such as securing the safety of the user, securing the space area, functional convenience, and risk prevention. However, the contents of the regulations are limited to the minimum standards for functional convenience and safety required for living. In conclusion, in the elderly welfare facilities, the notion of universal design, which considers not only the elderly, but also service providers, employees, and general visitors, should be considered.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.32 no.1
• /
• pp.102-110
• /
• 2009

Concurrent Engineering(CE) has presented new possibilities for successful product development by incorporating various product life-cycle functions from the earlier stage of design. In the product design, geometric representation is vital not only in its traditional role as a means of communicating design information but also in its role as a means of externalizing designer's thought process by visualizing the design product. During the last dozens of years, there has been extraordinary development of computer-aided tools intended to generate, present or communicate 3D models. However, there has not been comparable progress in the development of 3D-CAD systems intended to represent and manipulate a variety of product life-cycle information in a consistent manner. This paper proposes a novel concept, Minus Volume (MV), to incorporate various design information relevant to product lift-cycle functions. MV is a functional shape that is extracted from a design object within a bounding box. A prototype 3D-CAD system is implemented based on the MV concept and illustrated with the successful implementation of concurrent design and manufacturing.

• Korean Journal of Adult Nursing
• /
• v.24 no.5
• /
• pp.540-545
• /
• 2012

Purpose: The purpose of the study was to compare level of functional independence and its correlates among community-dwelling older adults in rural areas between South Korea and the United Sates. Methods: The study employed a comparative and correlational design. Data were collected from 198 community-dwelling older adults in rural areas (South Korea=100, & US = 98). Functional independence, cognitive function, obesity and general characteristics were measured. Results: From both countries, approximately fifteen percent of older adults living independently had cognitive problems without any treatments. Among Korean older adults functional independence was associated with a number of chronic diseases and aging while in the United States the participants had a negative correlation with obesity and aging. Conclusion: For Korean older adults in rural areas, nurses should focus on monitoring older adults' abilities to manage chronic illness and designing self-management programs while in the United States the focus should be on healthy lifestyle programs about exercise and diet to increase functional independence.