• 제어로봇시스템학회논문지
• /
• 제20권2호
• /
• pp.175-179
• /
• 2014

The histogram specification turns the shape of a histogram into that we want to specify. This technique can be applied usefully in various image processing fields such as machine vision. However, the histogram specification technique has its basic limits. For instance, the histogram does not have location information of pixels. Also, the accuracy of the specification drops because of quantization errors of the digitized image. In this paper, we proposed a multiresolution histogram specification method in order to improve the accuracy of specification in terms of resemblance between destination and source image. The experimental results show that the proposed method enhances the accuracy of the specification compared to the conventional methods.

• 한국건설관리학회논문집
• /
• 제18권3호
• /
• pp.33-41
• /
• 2017

모듈러 시방서는 모듈제작, 운송, 설치에 필요한 요구사항을 기술하는 계약문서이다. 그러나 기존 모듈러 시방서의 문제점은 모듈러 공사에서 요구하는 성능수준을 보장해주지 못하고 공사별 특성을 배제한 채 건축공사 표준시방서의 내용을 그대로 차용하고 있다는 것이다. 본 연구에서는 모듈러 건축의 품질개선 방안으로 모듈러 특성에 적합한 공사시방서를 제안하였다. 연구의 범위는 하자발생이 높은 방수공사 및 기계설비공사에 한하여 진행하였다. 본 연구에서 제안하는 모듈러 시방서 개선방안은, 1) 마스터 포맷에 따른 descriptive형식의 서술, 2)누수점검 및 검사 항목 반영, 3) 모듈러 특성을 고려한 시방서 내용 작성이다. 개선안을 전문가 면담을 통해 검증하였으며 이와 같은 개선방안이 모듈러 공사시방서를 보완하여 향후 모듈러 건축의 품질향상을 가져올 수 있을 것으로 평가하였다. 본 연구에서 제안하는 시방서 개선안은 전체 공사시방서 작성의 가이드가 될 수 있으며, 이를 통해 모듈러 건축의 하자발생률을 낮추는데 큰 영향을 미칠 수 있을 것이다.

• 한국CDE학회논문집
• /
• 제21권1호
• /
• pp.31-41
• /
• 2016

Building Information Modeling (BIM) has been adopted in variety domain of construction industry. In this circumstances, interest of BIM model quality has been increased. In many countries, automated building code checking system by Industry Foundation Classes (IFC) has been developed and studied to use web based building permission systems. IFC is international standard of BIM format. However, the data structure of IFC does not include all of objects and properties about national building codes. In this paper, we developed the information specification between IFC data structure and national building code to increase interoperability. First, we drew the criteria from literature review to analyze the building code. And then, we analyzed building code and sorted objects and properties for automated building code checking. After that we made mapping table between the sorted data and IFC specification. Using the mapping table, we developed pre-specification about building codes information that does not exist in IFC specification. And the defined information can be used to develop the BIM modeling guide and national building permission system. The pre-specification support increasing the interoperability between user and automated building code checking system. Increasing thee interoperability makes improvement accuracy and reliability about result of automated building code checking.

• 한국산업정보학회논문지
• /
• 제13권3호
• /
• pp.31-37
• /
• 2008

MPEG 4 Part 20 LASeR (ISO/IEC 14496 20) is a specification designed to deliver rich media services in a mobile environment. The specification is an emerging standard that can replace the MPEG 4 BIFS specification designed to deliver PC based heavyweight media contents. The specification describes the representation of scene information in a resource constrained mobile environment. Unlike the BIFS standard designed to deliver heavyweight rich media, the LASeR specification has a restricted description that conforms to the SVG Tiny 1.2 specification. Also, the specification has an advantage of allowing for the efficient conversion of one graphics format to another. In this paper, we present the design and the implementation of a LASeR authoring system that allows for fast and efficient creation of interactive rich media contents in a mobile environment. The Gill interface of the authoring system presented in this paper allows users, who do not have prior knowledge of the scene description language, to conveniently create contents and store the produced scenes using the internal list data structure. The system allows users to navigate scene objects internally stored and to create LASeR XML files in the structured XML format.

• 산업경영시스템학회지
• /
• 제16권28호
• /
• pp.173-180
• /
• 1993

This paper is to propose the procedure for improving the level of product specification in statistical process control using loss function. The procedure proposed in this paper is extended to the Taguchi's Quality engineering concept This procedure will be useful in establishing product specification. This paper is aimed to provide customer satisfaction for consumer and quality management for producer.

• Journal of Construction Engineering and Project Management
• /
• 제6권3호
• /
• pp.14-21
• /
• 2016

One of the major issues in the material-based or acceptance quality characteristics asphalt pavement Quality Assurance (QA) is that the method does not have rationality to link between the individual materials and the projected performance of the pavement. A new asphalt mix QA method has been recently developed under a national research project using the probabilistic Performance Related Specification (PRS). This advanced PRS QA methodology integrates the AASHTOWare Pavement ME Design$^{(R)}$ technology with the simple performance test concept that bridges the material characteristics with the pavement performance. This paper presents a case study of asphalt pavement performance using the developed PRS QA computer program, named Quality Related Specification Software (QRSS), with an actual pavement project, to demonstrate the developed PRS procedure and to assess the robustness of QRSS in terms of the rationality of the distress predictions. The results of this limited case study show that the new PRS QA method reasonably predicts the pavement performance, properly applied the probabilistic methods, and produced rational pay adjustment.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• pp.19-21
• /
• 2002

Writing requirements in formal notation for a safety-critical system can improve software quality and reduce the errors that may arise later on in the software development life cycle. In this paper, we propose a formal specification approach used to describe the nuclear control system. The approach is based on the existing AECL approach that was the only formal specification technique applied to nuclear control systems in the past. Although the approach is AECL-based, the complex descriptions of certain requirements have been reduced by using different specification techniques. We discuss the differences and how the proposed approach provides not only specification but also verification environment.

• 한국지능시스템학회논문지
• /
• 제23권1호
• /
• pp.18-23
• /
• 2013

In this paper we propose an image enhancement technique based on histogram specification method over local overlapping regions referred as Local Histogram Specification. First, both reference and original images are splitted into local regions that each overlaps half of its adjacent regions and general histogram specification method is used between corresponding local regions of reference and original image. However it produces noticeable boundary effects. Linear weighted image blending method is used to reduce this effect in order to make seamless image and we also proposed new technique dealing with over-enhanced contrast areas. We satisfied with our experimental results that showed better enhancement accuracy and less noise amplifications compared to other well-known image enhancement methods. We conclude that the proposed method is well suited for motion detection systems as a responsible part to overcome sudden illumination changes.

• Journal of Electrical Engineering and Technology
• /
• 제4권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.

• 산업경영시스템학회지
• /
• 제41권3호
• /
• pp.145-153
• /
• 2018

Taguchi regarded the concept of quality as 'total loss to society due to fluctuations in quality characteristics from the time of supplied to the customer.' The loss function is a representative tool that can quantitatively convert the loss that occurs due to the deviation of the quality characteristic value from the target value. This has been utilized in various studies with the advantage that it can change the social loss caused by fluctuation of quality characteristics to economic cost. The loss function has also been used extensively in the study of producer specification limits. However, in previous studies, only the second order loss function of Taguchi is used. Therefore, various types of losses that can occur in the process can't be considered. In this study, we divide the types of losses that can occur in the process considering the first and second loss functions and the Spiring's reflected normal loss function, and perform total inspection before delivering the customer to determine the optimal producer specification limit that minimizes the total cost. Also, we will divide the quality policy for the products beyond the specification limits into two. In addition, we will show the illustration of expected loss cost change of each model according to the change of major condition such as customer specifications and maximum loss cost.