• Proceedings of the KSR Conference
• /
• 2011.05a
• /
• pp.125-131
• /
• 2011

TSI(Technical Specification for Interoperability) is the highest technical specification in the Europe Railway and is composed by assessment items and essential requirements included by safety, reliability, availability, health, environment protection and technical compatibility. It is used on the research and development in the next generation railway technical. Currently, TSI procedures have been asked to bid for high speed rail business in Europe and Brazil. Also, all the railway systems such as infrastructure, signaling, electric and rolling stock system corresponding with standard of TSI procedures are exported and imported. Recently, Safety Critical System which has been studied on future railway R&D business in Korea is the state of the art train control system. And it is needed for system assessment of TSI procedures before system test and operation. In this paper, basic research is performed for analyzing TSI procedures suitable for the state of the art train control system in Korean railway.

• Journal of Korea Society of Digital Industry and Information Management
• /
• v.9 no.3
• /
• pp.39-48
• /
• 2013

Ontology has an important role in semantic web to construct and query semantic data. When system make changes to ontologies, questions arise about versioning of these changes. Applying this changes on a dynamic environment is even more important. To apply these changes, change specification method is needed. Early studies show RDF-based syntax for the operations between old and new ontologies. When several ontology versions can be used for some query, if possible, using possible newest version ontology with prospective use is best way to process the query. Prospective use of ontology means using a newer version of an ontology with a data source that conforms to a more recent ontology. In this paper, for prospective use of ontology version, structure of change specification of class and property through several ontology versions is proposed. From this, efficient adaptive ontology version selection for a query can be possible. Algorithm for structure of version transition representation is proposed and simulation results show possible newest version number for queries.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.20 no.41
• /
• pp.135-145
• /
• 1997

The statistical approach to quality control aims at alerting its user to any variations in the properties of a manufactured product. Motorola developed and pursued a quality management program called six sigma. The goal of six sigma programs is to improve customer satisfaction through reducing and eliminating defects. six sigma uses several statistical measure to characterize defect levels and process capabilities. The upper and lower specification limits are $\pm6\sigma$(sigma) from nominal, and the process mean is centered at nominal. only 0.002PPM are outside specification limits. Cp=2. this is the design target in a six sigma program. This article presents an important tool available for quality control of a production process at the occurrence of defects in manufactured products at view low levels to improve the efficiency of the manufacturing productivity and to satisfy customer through the reduction of defect rates. To understand the consequences of the level of quality on competitive position, a more technical perspective is needed.

• 제어로봇시스템학회:학술대회논문집
• /
• 1992.10a
• /
• pp.43-48
• /
• 1992

The automation system oriented as one of the second year automation projects for the small and medium sized enterprises(SME) was developed for the improvement of the production rate and cut the required manpower in the field of the relay which is one of the small electric components used in various industrial fields. The objectives of this study are not only improving the international competition of the relay itself but also partially solving the technical and financial problems featured by common bottlenecks of the SME for efficient assembly automation. For the purpose of these objectives, several topics are studied as followings. - Analyzing the adjustment process and determining the specification of the automation system. - Determining the layout for the automation system to meet the determined specification. - Detail design of the automation system for relay adjustment and inspection. - Control system design - Automation system development and performance test.

• Proceedings of the KSR Conference
• /
• 2001.10a
• /
• pp.35.1-40
• /
• 2001

This study is on the behavior analysis which can define and verify a system requirement through a behavior diagram for High speed rail system. The model considered in this study is limited to the preconditioning control of the control system specification for HSRS. To build an executable model, requirements should be decomposed first into leaf node requirements. The behavior model is composed of input, output, and functions which are linked with leaf node requirements. It is important that a single requirement must specify a single Auction. Using the developed executable model and the traceability between requirements and functions, this study found out a lot of static and dynamic inconsistency, missed and derived requirements. This is to develop and executable behavior model to do functional analysis and be able to verify the integrity of a specification.

• KSTLE International Journal
• /
• v.3 no.1
• /
• pp.26-29
• /
• 2002

The International Lubricant Standardization and Approval Committee (ILSAC) GF-3 passenger car engine oil specification has been introduced commercially in July 2001. The new specification oil provides superior performance in terms of fuel economy, control of high temperature deposits, and oil consumption. These enhanced performances of GF-3 engine oil need high quality base oil as well as a better additive system. In this paper, the effect of base oil on various performances of ILSAC GF-3 engine oil was investigated. From the GF-3 sequence engine tests, Group III base oil shows better performance in fuel economy retention, oxidation and varnish control than combination of group III and group II or group III and group 1.

• Proceedings of the KSME Conference
• /
• 2008.11a
• /
• pp.1309-1313
• /
• 2008

This paper suggests an example of modification of the durability test specifications of electronic control unit for an automotive system in phase of design validation. The basic concept to redefine the specifications of durability test is based on the Arrhenius relationship for accelerated temperature test and the modified Coffin-Manson model for temperature cycle test. The ambient temperature of the powered-event durability test is increased to reduce the required test time of the current specification. Furthermore, the holding time between the events to cool down the temperature of the components is shortened and the resultant temperature rise affects the durability of the components. Thus, the acceleration factor due to the increased temperature range of temperature cycle is also estimated by the modified Coffin-Manson model.

• Journal of The Korean Society of Agricultural Engineers
• /
• v.56 no.2
• /
• pp.25-35
• /
• 2014

New technology and construction methods in civil engineering area have been noticeably improved associated with the industrial development. However, thicknesses of a lift is strictly specified for subgrade and roadbed embankment as 20 cm and 30 cm in the specification of Korea Highway. Since there has been a problem to get enough amount of soils to be used for compaction, the rocks have been replaced for those. However, there is no guideline for the quality control of rock while changing compaction efficiency of equipment and physical properties of reck while changing compaction method such as thicknesses of a lift, number of compaction and etc. The main objective of this research is to establish the specification for the rock compaction method of embankment which including thickness of lift and quality control method in Korea Expressway.

• Proceedings of the KSR Conference
• /
• 2003.10c
• /
• pp.581-586
• /
• 2003

As a very important part in development of the protocol, verification and conformance test for protocol specification are complementary techniques that are used to increase the level of confidence in the system functions. as prescribed by their specifications. In this paper, we verify the safety and liveness properties of rail signal control protocol type 1 specified in LTS(Labeled Transition System) with model checking method, and experimentally prove that it is possible to check for the deadlock, livelock and rechability of the states and actions on LTS. We also propose a formal method on generation of conformance test cases using the concept of UIO sequences from verified protocol specification.

• Proceedings of the KOR-KST Conference
• /
• 1998.09a
• /
• pp.152-159
• /
• 1998

This paper presents a method evaluating benefits of ramp metering strategies on freeway safety. Based on the traffic and the accident data collected on a 4.2 km (2.6 mile) section of Interstate highway 35-West in Minneapolis, U.S.A., the relationship between traffic variables and safety measures is investigated. An aggregate specification that could be used to predict accident frequencies on freeways is proposed as a multiple regression form. The specification includes 15 minutes volume and occupancy data, which are commonly available from surveillance and control systems. The primary variables that appear to affect the frequencies of freeway accident are: vehicle-miles of travel, entrance ramp volumes and the dynamic effect of queue building. A simulation method evaluating the dynamic effect of control strategies on safety is proposed next. The potential benefits of freeway ramp metering on freeway safety are finally investigated via a proposed method.