• Journal of the Korean Institute of Educational Facilities
• /
• v.12 no.6
• /
• pp.44-55
• /
• 2005

The purpose of this study is to suggest educational specification describing the school facilities necessary for operating educational curricula in relation to modernization of school facilities. It is required to make out the educational specification as one of procedures needed for driving the modernization of school facilities. The specification, however, has not made out yet in Korea. Educational specification is composed of followings: (1) organization of committee of educational specification, (2) site for a school and land to be expropriated, (3) guideline to form and operate curricula, (4) requisites to form space for school facilities, and (5) plan and process to construct school. Various methods such as literature study, questionnaires survey, workshop, interviews, etc. were utilized to develop educational specification.

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.22 no.4
• /
• pp.375-381
• /
• 2004

This study is to improve an automatic rate of mapping system through analysis of topographic map specification. The digital map ver 2.0(1/5,000) has used for this studv and the mapping information is to obtain digital and topographic map. This topographic map specification is compared with information that represented of today. The regulation of a map specification for automatic mapping system planed out $\circled1$ similar specification of topographic map $\circled2$ simplified specification $\circled3$ clearness specification. After this study, the automatic rate of a mapping is up to 7% and the map specification has been easily generated.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.475-477
• /
• 2001

흠 네트워킹에 대한 관심이 높아지며 이를 실현하는데 필요한 Residential Home Gateway를 구현하기 위해 2000년 5월 OSGi에서 Open Service Gateway Specification을 발표했다. 본 논문에서는 이에 따른 Home Automation Controller를 구현하기 위한 방법을 논하고 있다. 먼저 Home Automation Controller의 개념에 대해서 알아보고 OSGi의 배경과 Open Service Gateway Specification의 내용을 살펴본다. 그리고 specification에 따른 Home Automation Controller용 개방형 서비스 게이트웨이를 구현하는 방법에 대해 고찰해 본다.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2013.05a
• /
• pp.292-294
• /
• 2013

When the number of skyscrapers are increased in the domestic, it has increased the need of the outer wall cleaning robot. However, it does not exist the construction specification of the outer wall cleaning robot in the domestic. it is difficult to apply in the domestic that the outer wall cleaning robot. For this reason, it raised the need of the construction specification. And it is urgent that the construction specification of the outer wall cleaning robot is needed to develop in the domestic. Therefore, this study aims to propose the construction specification framework of the outer wall cleaning robot. In the future, this study will be based on the development of the construction specification on the outer wall cleaning robot.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.11 no.6
• /
• pp.90-101
• /
• 2008

Korean defense specifications are the technical criteria of military products and major factor of acquisition system. Weapon systems and acquisition technique have been advanced dramatically after 1990's, but Korean defense specification practice standard has stayed after early 1980's except embedded software. The current status of current Korean defense specification practice standard and trend of related design and acquisition techniques like M&S, SBA, and digital manufacturing have been reviewed. This paper suggests that transfer to product, IT oriented specification structure, adaptation of digital product model and reinforcement of engineering management systems to establish a development initiative of Korean defense specification practice standard.

• Journal of Electrical Engineering and Technology
• /
• v.4 no.1
• /
• pp.87-92
• /
• 2009

Many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier errors of overlooked requirement specification can be detected using the formal specification method. Also, the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In this paper, we proposed an eclectic approach to incorporate Z(Zed) formal language and 'Statemate MAGNUM', formal method tools using Statechart. Also we applied the proposed method to train control systems for the formal requirement specification and analyzed the specification results.

• International Journal of Quality Innovation
• /
• v.7 no.1
• /
• pp.35-47
• /
• 2006

Client-supplier collaboration has been an imperative approach to new product development (NPD), in which a good product specification management system and practice is crucial to the assurance of product quality. This study investigates product specification management in client-supplier collaborative NPD. Based on the interviews and survey study, 12 problems and 13 good practices of product specification management are identified. It also compares the importance and degree of the implementation of the product specification practices in Hong Kong electronics industry. The results suggest that more intensive practices should be implemented for better product specification management.

• Journal of Korean Institute of Industrial Engineers
• /
• v.15 no.2
• /
• pp.57-64
• /
• 1989

An Economic selection of specification limits is considered for a given target value in a complete inspection plan. Each item is inspected, and if it meets the specification, it is accepted. Items less than the lower specification limit are scrapped or sold at a reduced price, and those greater than the upper specification limit are reworked. Cost factors to be considered are economic loss caused by quality deviations, rework cost and scrapping cost. Methods for finding the optimal specification limits are given for the cases of piecewise linear loss function and quadratic loss function with illustrative examples.

• Journal of the Korean Data and Information Science Society
• /
• v.16 no.4
• /
• pp.943-949
• /
• 2005

An economic design of specification limits for production process of ham is considered for a given process mean in a complete inspection plan. Each ham is inspected, and if it meets the specification, it is accepted. The ham less than the lower specification limit are changed another products or at a discounted price, and those greater than the upper specification limit are reworked. A profit model is developed which involves selling price, production cost, rework cost and the cost which is incurred by imperfect quality. Methods for finding the optimal specification limits are derived for the case of piecewise linear loss function with an industrial case study.

• IE interfaces
• /
• v.21 no.1
• /
• pp.18-32
• /
• 2008

In recent, a general trend is observed towards more customized products and shorter product life cycles in manufacturing companies. In these companies, customers often wish to influence the product they order and to get a variant of product that meets their requirements. This environment is called as a customer-oriented manufacturing companies. This paper presents a procedure of product specification management for customer-oriented manufacturing companies by using product specification framework. This framework is founded on the product specification based product structure which is made of model, specification, function, and part. Also, a product specification management system(PSMS) is implemented by using the proposed product specification framework and is a core system in product data integration system. To illustrate an utilization of the proposed framework and procedure, a case of a ship engine product is applied. As a result, PSMS reduces delivery time and improves customer relationships. Moreover, the case shows that PSMS can be used as a tool for improving inter-department coordination within a company during product life cycle.