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

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

• 한국건설관리학회논문집
• /
• 제20권3호
• /
• pp.12-21
• /
• 2019

시방서는 공사를 진행함에 있어서 계약의 서류뿐만 아니라 안전한 시공성의 확보와 품질을 향상시킬 수 있는 중요한 서류가 된다. 현재 국내에 모듈러 건축물에 사용하고 있는 시방서는 공사 시방서 밖에 없으며, 대부분의 내용이 건축표준시방서를 그대로 차용하여 사용하고 있어 모듈러 건축물의 작업 내용을 반영하지 못하고 있어 구성내용이 지침서에 가깝다. 국내 모듈러 건축물 시방서의 현 상황은 모듈러 건축물의 품질 저하에 영향을 미치고 있다. 따라서 모듈러 건축물의 모듈러 공정 모니터링을 통한 세부적인 프로세스 분석과 분석된 activity를 가지고 단계별 연관관계를 IDEF모델링을 적용하여 체계적으로 분석하고, 일반화를 통하여 모듈러 건축물에 특화된 전문시방서의 구성체계를 제안하고자 한다. 도출한 대분류는 크게 공장제작, 운송, 현장설치 총 3가지로 나누어지며, 하위 구성체계는 전문가 자문의견을 반영하여 공장제작의 바닥판 조립에서부터 현장설치의 접합부위 마감까지 총 32가지의 공사 항목으로 나누어지는 것으로 도출하였다.

• 한국건축시공학회:학술대회논문집
• /
• 한국건축시공학회 2015년도 추계 학술논문 발표대회
• /
• 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.

• 대한임베디드공학회논문지
• /
• 제9권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.

• 영어어문교육
• /
• 제16권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.

• 한국시뮬레이션학회논문지
• /
• 제2권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.

• 한국구조물진단유지관리공학회 논문집
• /
• 제23권4호
• /
• pp.15-22
• /
• 2019

국내 건축법에는 표준 내화구조인 KS F 1611-5에서 1시간 내화성능을 갖는 각형강관에 대한 사양적 기준만을 제시하고 있어 각형 강관에 적용되는 모듈러 건축물을 중 고층에 적용하기 위해서는 한계가 있다. 따라서 내화성능 평가를 통해 2시간 인정을 받은 모듈러 구조에 한하여 중 고층 건축물에 적용이 가능하다. 본 연구에서는 KS F 2257-1 및 KS F 2257-4 기준에 의거하여 실대형 내화실험을 수행하였다. 평가결과 OW-01 및 OW-02 실험체의 경우 각형강관의 온도상승 및 강도 저하로 인해 면외좌굴이 발생하여 2시간 내화성능을 확보하지 못하였으나, 피복 및 각형강관 두께를 보완한 IW-01 및 OW-03 실험체의 경우 충분한 차열성능으로 인해 2시간 내화성능을 확보하여 중고층 모듈러 건축에 적용하는 것이 가능한 것으로 판단되었다.

• 한국시뮬레이션학회논문지
• /
• 제11권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.

• 한국정밀공학회:학술대회논문집
• /
• 한국정밀공학회 1995년도 추계학술대회 논문집
• /
• 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.

• 대한기계학회논문집A
• /
• 제23권7호
• /
• 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.