• Korean Journal of Construction Engineering and Management
• /
• v.18 no.3
• /
• pp.33-41
• /
• 2017

A modular specification is a contract document that specifies the requirements of production, transformation and installation in a modular construction. A problem of the currently used specification is that it does not guarantee the level of performance required by the modular construction and fails to accommodate unique characteristics of each construction because it widely uses the standard specification as it is. This study proposes a specification that reflects the unique feature of modular construction in order to improve the quality of modular construction. Research focuses on the leakage in waterproof and mechanical equipment because it is the area with the highest rate of defects. This study suggests ways to improve the modular specification as follows: 1)Descriptive specifying (following MasterFormat) 2)Propose leakage verification method and test clause 3) Reflect characteristic of modular construction. Proposed modifications to modular specification are reviewed by experts for validation and their opinion verifies suggested improvements as a way to secure the quality of modular construction and to promise characteristics of the modular specification. This improvement will be used for reference when writing construction project specification, which can be an important contract document, so that it could lower occurrence rate of the modular defects.

• Korean Journal of Construction Engineering and Management
• /
• v.20 no.3
• /
• pp.12-21
• /
• 2019

Specification is an important document for securing safe construction and improving quality as well as the contract document. Currently, the specifications used in modular buildings in Korea are only the construction specification, and most of the contents are used by borrowing the standard specifications of the building, so the contents of the modular buildings can not be reflected and it is contents are similar to the guideline book. The current status of domestic specification for modular buildings is affecting the quality of modular buildings. Therefore, we analyze activity through monitoring the modular process of modular buildings and analyze systematically relationship by applying IDEF modeling with analyzed activity. As result this paper proposes a structure of special specification specialized in modular building through generalization. The major classifications were divided into three stages : factory construction, transportation, and on-site installation. The specification structure was divided into 32 types of construction items from the floor slab assembly of the factory production to the joint finish of the on site installation in accordance with the opinion of experts.

• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2015.11a
• /
• pp.198-199
• /
• 2015

In Korea, it raised the need of the specification of unit modular construction, because there are no standard or manual. And it is urgent that the specification of unit modular construction is needed to develop in the domestic. Therefore, this study aims to propose the manual framework of the construction method. In the future, this framework will be based on the development of the manual on the unit modular construction method.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.9 no.5
• /
• pp.253-260
• /
• 2014

European Space Agency has recognized Integrated Modular Avionics and ARINC specification 653 as avionics computer system for space application. Integrated Modular Avionics specification reduces the space by integrating a system composed of many electronic devices into a computer. recent researches have been studying how to apply the ARINC 653 into an open source operating system, such as Linux. These studies have concentrated on partition scheduling for time separation. However, requirements to guarantee spatial separation should be further analyzed to ensure deterministic execution time. Therefore, memory management is needed to verify spatial isolation on Linux systems. This research proposes a new method to accomplish spatial isolation for the ARINC 653 specification in Linux. We have added new data structures and system calls to handle functionalities for spatial separation. They are used during the partition startup process. The proposed method was evaluated on the LEON4 processor, which is the next generation microprocessor to be used in the future space missions. All implementations confirm that spatial isolation of the ARINC 653 specification was accomplished.

• English Language & Literature Teaching
• /
• v.16 no.4
• /
• pp.153-184
• /
• 2010

On the bases of the 5 principles and the 4 criteria for designing and developing of the listening and the reading test of National English Ability Test (NEAT), this study presents Item-Types Decision-Making Model as a blueprint for designing and constructing the two tests. It sets up the criteria for validating item types, designs a modular type of test specifications, constructs an item-types bank, and specifies a complementary type of test specifications of the two tests. To gather all these threads up, it constructs Item-Types Decision-Making Model which consists of such components as the item-type pool, the validity criteria and the procedures of testing item types, the item-types bank, the modular and the complementary type test specification. Thus, it shows how the Model works in developing and constructing the two level-differentiated listening and reading tests (the 2nd and the 3rd rank) of NEAT. Finally, it discusses some implications and applications of the Model to the two level-differentiated tests (the A and the B type) of 2014 CSAT (College Scholastic Ability Test) systems, National Assessment of Educational Achievement (NAEA), and classroom testing. In conclusion, Item-Types Decision-Making Model functions as a testing template in an item development system and as a matrix in an item-types bank system.

• Journal of the Korea Society for Simulation
• /
• v.2 no.1
• /
• pp.31-44
• /
• 1993

Zeigler's DEVS(Discrete Event Systems Specification) formalism supports formal specification of discrete event systems in a hierarchical , modular manner. Associated are hierarchical, distributed simulation algorithms, called abstract simulators, which interpret dynamics of DEVS models. This paper deals with performance evaluation of P-DEVSIM ++, a parallel simulation environment which implements the DEVS formalism and associated simulation algorithms in a parallel environment. Performance simulator has been developed and used to experiment models of parallel simulation executions in different conditions. The experimental result shows that simulation time depends on both the number of processors in the parallel system and the communication overheads among such processors.

• Journal of the Korea institute for structural maintenance and inspection
• /
• v.23 no.4
• /
• pp.15-22
• /
• 2019

The use of modular buildings is increasing because of various advantages of modular buildings. But there are limits to apply modular buildings to medium-rise buildings because the building law provides only the specification criteria of the modular building with respect to the 1 hour fire resistance performance. This study was conducted to investigate 2 hours fire resistance performance of load bearing walls with steel studs in modular buildings by KS F 2257-1 and KS F 2257-4. After full scale tests, load bearing walls ensuring two hours fire resistance performance consist of at least 2 layers of fire resistance plaster boards of 19mm thickness or 3 layer of fire resistance plaster boards of thickness.

• Journal of the Korea Society for Simulation
• /
• v.11 no.2
• /
• pp.77-88
• /
• 2002

Petri nets is a widely used formalism for specification and analysis of concurrent systems which is a subclass of discrete event systems. The DEVS (Discrete Event System Specification) formalism provides a general framework for specification of discrete event systems in a hierarchical, modular form. Often, modeling a discrete event system may employ both Petri Nets and DEVS formalism. In such a case low-level operational logics are modeled by Petri Nets and high-level managements by the DEVS formalism. Analysis of the system requires simulation of the overall system. This paper presents an algorithm for transformation of Petri Nets to DEVS formalism. The transformation enables modelers to simulate an overall system, which consists of DEVS models and Petri Nets models, in a unified DEVS simulation environment such as DEVSim++. An example for such transformation will be given.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 1995.10a
• /
• pp.1009-1012
• /
• 1995

This paper presents an example of the development of motor drives for machine tools. Machine tools need motor drives with high control precision and performance. We developed a motor drive system that meets these requirements. The converter, the one component of drive system, adopts modular structure and high DC-link voltage. The drive which consists rest part of drive system is developed based on TMS320C32 DSP and state-of-the-art circuit technology. In this paper each developed parts are described in terms of its structure, specification and features.

• Transactions of the Korean Society of Mechanical Engineers A
• /
• v.23 no.7 s.166
• /
• pp.1104-1111
• /
• 1999

A brake pedal for the flight control system of the Korean primary trainer is developed using composite material. The development includes the structural design, stress analysis, manufacturing and the qualification tests. A FEM analysis is used for the structural design and stress analysis. Autoclaving process is used to fabricate the composite brake pedal. For the qualification tests, modular fixtures are developed and applied. It is shown that the composite brake pedal developed meets all the structural integrity requirements specified in the military specification for aircraft parts.