• 산업경영시스템학회지
• /
• 제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.

• 한국컴퓨터정보학회논문지
• /
• 제22권4호
• /
• pp.51-58
• /
• 2017

Research on the Development of EPUB SCP(Secure Content Protection) Technical Specification and International Standardization has been carried out as a R&D project granted by the Korea Copyright Commission since 2014. The research aims to build a standard framework for the EPUB DRM(Digital Rights Management) based on the Readium LCP(Licensed Content Protection) and KS EPUB DRM specifications, to develop element technologies for the framework, and to standardize it as an IDPF(International Digital Publishing Forum) industrial standard. One of the essential features of the EPUB DRM developed though this study is to support the lending model of the digital library. This paper introduces LSD(License Status Document) specification which is a DRM license management protocol for the digital library lending process, and also represents a model which can automatically test the implemented entities of the LSD specification, test scenarios and test materials.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2004년도 추계학술대회 논문집
• /
• pp.1241-1246
• /
• 2004

The verification confirms a correspondence between requirements and a specification before implementing. The problem in the formal method verifying a protocol specification using model checking is that the protocol behaviors must be always specified in L TS(Label Transition System). But if Region Automata is applied to the model checking, it is enable to verify whether properties are true on specification specified in I/O FSM(Input/Output Finite State Machine) as well as LTS. In this paper, we verify the correctness of rail signal control protocol type 1 specified in I/O FSM by using model checking method and region automata. This removes many errors and ambiguities of an informal method used in the past and saves down expenditures and times required in the protocol development. Therefore it is expected that there will be an increase in safety, reliability and efficiency in terms of the maintenance of the signaling system by using the proposed verification methods.

• 대한조선학회논문집
• /
• 제48권3호
• /
• pp.207-214
• /
• 2011

Ship design requirements described in the building specification should be reflected in the design process. This paper identifies the configuration of requirements mentioned in the building specification using Ontology Representation Language (OWL). Ontology-based semantic search system specifies the requirement items. Through this extraction, building specifications mentioned for each entry are configured to the tree. Tracking requirements for ship design and a set of procedures to instruct is also used for the V model of systems engineering. The semantic search engine of robot agent and ontology can search the requirements specification document and extract the design information. Thereafter, design requirements for the tracking model that proposes the relationship between the associated BOM(bill of material) and product structure.

• 산업공학
• /
• 제21권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.

• 정보보호학회논문지
• /
• 제14권3호
• /
• pp.85-100
• /
• 2004

모든 정보시스템은 보안기능이 강화된 정보보호시스템이라 할 수 있으며, 정보보호시스템의 품질을 높이기 위해서는 초기 요구사항 분석 단계에서 보안요구사항을 정형적이며 일관적으로 분석 및 명세하여야 한다. 본 논문에서는 UML의 Use Case 모델을 확장한 Misuse Case 모델을 이용하여 보안요구사항을 분석 및 명세하는 모델과 프로세스를 제시하였으며, 도출된 보안기능요구사항들을 제품화한 비용효과적인 보안제품 선정 알고리즘을 제시하였다. 제시한 모델 및 프로세스를 통해 개발된 정보보호시스템의 품질을 제고할 수 있을 것이다

• 대한안전경영과학회지
• /
• 제16권1호
• /
• pp.169-176
• /
• 2014

This research discusses the characteristics and the implementation strategies for two types of quality metrics to analyze innovation effects in six sigma projects: fixed specification type and moving specification type. $Z_{st}$, $P_{pk}$ are quality metrics of fixed specification type that are influenced by predetermined specification. In contrast, the quality metrics of moving specification type such as Strictly Standardized Mean Difference(SSMD), Z-Score, F-Statistic and t-Statistic are independent from predetermined specification. $Z_{st}$ sigma level obtains defective rates of Parts Per Million(PPM) and Defects Per Million Opportunities(DPMO). However, the defective rates between different industrial sectors are incomparable due to their own technological inherence. In order to explore relative method to compare defective rates between different industrial sectors, the ratio of specification and natural tolerance called, $P_{pk}$, is used. The drawback of this $P_{pk}$ metric is that it is highly dependent on the specification. The metrics of F-Statistic and t-Statistic identify innovation effect by comparing before-and-after of accuracy and precision. These statistics are not affected by specification, but affected by type of statistical distribution models and sample size. Hence, statistical significance determined by above two statistics cannot give a same conclusion as practical significance. In conclusion, SSMD and Z-Score are the best quality metrics that are uninfluenced by fixed specification, theoretical distribution model and arbitrary sample size. Those metrics also identify the innovation effects for before-and-after of accuracy and precision. It is beneficial to use SSMD and Z-Score methods along with popular methods of $Z_{st}$ sigma level and $P_{pk}$ that are commonly employed in six sigma projects. The case studies from national six sigma contest from 2011 to 2012 are proposed and analyzed to provide the guidelines for the usage of quality metrics for quality practitioners.

• 정보처리학회논문지D
• /
• 제8D권6호
• /
• pp.723-734
• /
• 2001

현재 대부분의 컴포넌트 기반 개발 환경 들이 특정 형태 컴포넌트와 이를 위한 프레임웍 기능 제공을 위주로 하는데 대하여, 좀 더 효과적인 컴포넌트 기반 개발 환경의 구축을 위해서는 재귀적 컴포넌트 결합 및 다양한 결합형태의 지원, 그리고 다중 티어 아키텍쳐를 지원할 수 있는 방안의 필요성이 제기되고 있다. 이의 해결 방안의 하나로 본 논문에서는 재귀적 컴포넌트 결합을 지원할 수 있으며, 컴포넌트간 상호 동작 조건을 기술할 수 있도록 확장된 컴포넌트 결합 명세의 기술 방안 및 이를 이용한 컴포넌트 결합 모델을 제안하였다. 제안된 결합 명세서는 기존의 컴포넌트 기술 방법들에서 지적되고 있는 컨트랙트로서의 부족한 기능을 보완하고 있을 뿐만 아니라 다양한 형태의 컴포넌트간 결합을 일관된 형태로 지원 함으로써 다중 티어(Multi-Tier) 개념을 지원하는 컴포넌트 아키텍쳐의 구현 및 이를 위한 컴포넌트 결합 도구의 구현에 활용될 수 있다.

• 대한의용생체공학회:학술대회논문집
• /
• 대한의용생체공학회 1997년도 춘계학술대회
• /
• pp.145-149
• /
• 1997

This paper describes a methodology for the development of models of discrete event system. The methodology is based on transformation of continuous state space into discrete one to homomorphically represent dynamics of continuous processes in discrete events. This paper proposes a formal structure which can coupled discrete event system models within a framework. The structure employs the discrete event specification formalism for the discrete event system models. The proposed formal structure has been applied to develop a discrete event specification model for the complex spectral density analysis of strip for urin analyzer system. For this, spectral density data of strip is partitioned into a set of Phases based on events identified through urine spectrophotometry. For each phase, a continuous system of the continuous model for the urine spectral density analysis has been simulated by programmed C++. To validate this model, first develop the discrets event specification model, then simulate the model in the DEVSIM++ environment. It has the similar simulation results for the data obtained from the continuous system simulation. The comparison shows that the discrete event specification model represents dynamics of the urine spectral density at each phase.

• Asia pacific journal of information systems
• /
• 제14권1호
• /
• pp.79-100
• /
• 2004

As a part of ebXML(Electronic Business using eXtensible Markup Language) framework, BPSS(Business Process Specification Schema) has been provided to support the direct specification of the set of elements required to configure a runtime system in order to execute a set of ebXML business transactions. The BPS,' is available in two stand-alone representations, a UML version and an XML version. Due to the limitations of UML notations and XML syntax, however, current ebXML BPSS specification fails to specify formal semantic constraints completely. In this study, we propose a constraint classification scheme for the BPSS specification and describe how to formally represent those semantic constraints using OCL(Object Constraint Language). As a way to validate p Business Process Specification(BPS) with the formal semantic constraints, we suggest a rule-based approach to represent the formal constraints and demonstrate its detailed mechanism for applying the rule-based constraints to the BPS with a prototype implementation.