• Proceedings of the Korean Institute of Building Construction Conference
• /
• 2020.11a
• /
• pp.59-60
• /
• 2020

Large fires continue to spread throughout the building, including the fire in Uijeongbu in 2015, the fire in Jecheon in 2017, and the fire in Miryang in 2018. According to the above fire case investigation, major problems were the fire resistance performance of compartment members such as fire doors, the fire spread due to damage to exterior wall openings, and smoke spread through vertical openings. However, in South Korea, only specification design is implemented for buildings that are not subject to performance design. In addition, the analysis of the fire resistance performance standards of building members in the specification design showed that fire doors were not specified in detail for 60 minutes of insulation performance and 60 minutes of fire resistance performance of E/V doors, limiting the prevention of fire spread. Therefore, the purpose of this research is to prepare measures to prevent the spread of fire by presenting simple transplants for calculating the required fire time according to the architectural design conditions for the performance design of the components of the fire room according to the purpose of use of the front of the building.

• Journal of the Korean Institute of Telematics and Electronics A
• /
• v.33A no.3
• /
• pp.28-37
• /
• 1996

Syntax notation one (ASN.1) defined by ITU-T and ISO, is a formal abstrct specification language which has been widely used in international standards specifiation to inteconnect distributed open systems. It si necessary to have well defined encoder/decoder modules which taranslate ASN.1 datum to BER octets stream to interconnect distributed open systems. In this paper, we designed and implemented a new ASN.1-to-C compiler, called HYASNC (hanyang ASN.1-to-C), which atutomatically translates and ASN.1-to-C compiler, called HYASNC (hanyang ASN.1-to-C), which automatically translates an ASN.1 specification into C-language BER encoders and decoders with simple and neat I/F for the defined ASN.1 data types, and enhanced BER (basic encoding rules)encoding/decoding libraries, called HY(hanyang)BER library, and useful utility functions. And this paper discusses HYASNC compiler, HY BER runtime library's design and implementation principles, and also evaluates the perfomrance of HY BER library and the interoperability with other ASN.1 compilers.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.13 no.9
• /
• pp.4207-4213
• /
• 2012

Software quality is strongly associated with requirement quality. Accordingly, companies are trying effect for enhancing requirement quality. But, it is difficult to verify the requirement of specification format, which have to rely on abnormal business knowledge of analyst. Also, it is insufficient to normal methodology or automated technique for enhancing requirement quality of specification format. In this paper, we propose the process of requirement verification and automated verification tool for enhancing requirement quality. we compare the external view design and internal view design for verifying requirement. In the case study, we evaluate the feasibility of the proposed automated verification technique of requirement.

• Journal of Computational Design and Engineering
• /
• v.1 no.4
• /
• pp.233-242
• /
• 2014

A magnetically levitated vehicle (Maglev) system is under commercialization as a new transportation system in Korea. The Maglev is operated by an unmanned automatic control system. Therefore, the plan of train operation should be carefully established and validated in advance. In general, when making a train operation plan, statistically predicted traffic data is used. However, a traffic wave often occurs in real train service, and demand-driven simulation technology is required to review a train operation plan and service quality considering traffic waves. We propose a method and model to simulate Maglev operation considering continuous demand changes. For this purpose, we employed a discrete event model that is suitable for modeling the behavior of railway passenger transportation. We modeled the system hierarchically using discrete event system specification (DEVS) formalism. In addition, through implementation and an experiment using the DEVSim++ simulation environment, we tested the feasibility of the proposed model. Our experimental results also verified that our demand-driven simulation technology can be used for a priori review of train operation plans and strategies.

• Structural Engineering and Mechanics
• /
• v.10 no.4
• /
• pp.371-392
• /
• 2000

Application of "advanced analysis" methods suitable for non-linear analysis and design of steel frame structures permits direct and accurate determination of ultimate system strengths, without resort to simplified elastic methods of analysis and semi-empirical specification equations. However, the application of advanced analysis methods has previously been restricted to steel frames comprising only compact sections that are not influenced by the effects of local buckling. A concentrated plasticity method suitable for practical advanced analysis of steel frame structures comprising non-compact sections is presented in this paper. The pseudo plastic zone method implicitly accounts for the effects of gradual cross-sectional yielding, longitudinal spread of plasticity, initial geometric imperfections, residual stresses, and local buckling. The accuracy and precision of the method for the analysis of steel frames comprising non-compact sections is established by comparison with a comprehensive range of analytical benchmark frame solutions. The pseudo plastic zone method is shown to be more accurate and precise than the conventional individual member design methods based on elastic analysis and specification equations.

• 제어로봇시스템학회:학술대회논문집
• /
• 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.

• Korean Journal of Computational Design and Engineering
• /
• v.5 no.3
• /
• pp.224-231
• /
• 2000

In order to satisfy customers'various needs in the market, manufacturing companies tend to add similar variants to an existing product model. This variety causes immense growth of product configuration and makes data management uncontrollable. In order to resolve this problem, we propose a method to efficiently represent the variants in a single schema of product structure and configuration and manage the product configuration. First of all, the product structure which adopts the concept of features and options is suggested. Second, the method to represent option specifications which restricts option configurations is proposed. Finally, the prototype module, which inspects if a product configuration violates the option specifications, is introduced.

• Proceedings of the IEEK Conference
• /
• 2002.07c
• /
• pp.1964-1967
• /
• 2002

Recently design verification have been played an important role in the design of large scale and complex systems. In this article, we especially focus on model checking methods. Behaviors of modeled systems are generally specified by temporal formulas of computation tree logic. However. Users must know well temporal specification because the specification might be complex. We proposed method that temporal formulas are gained inductively and amounts of memory and time are reduced. Finally, we will show verification results using our proposed method.

• Proceedings of the IEEK Conference
• /
• 2003.11c
• /
• pp.273-276
• /
• 2003

In this paper, we designed and made up/down converter (UDC) for using W-CDMA digital pre-distortion system which is one of the efficiency enhancement techniques. UDC is required that frequency up(baseband to RF) and down(RF to baseband) of information signals. The focus of the design and PCB layout is to satisfy the linearity of the UDC. We tested that UDC was satisfied specification which is based on 3GPP base stations and repeaters. The ACLR results which are -51.84dBc(Up Converter) and -55.0dBc(Down Converter) at upper 5 MHz offset from center-frequency show that UDC satisfy the 3GPP specification with superior linearity data.

• Proceedings of the IEEK Conference
• /
• 2003.11b
• /
• pp.41-44
• /
• 2003

In this paper, we propose design of PCI Express Physical Layer for IP. The proposed design is compatible with PCI Express Base specification Revision 1.0a. and supports only single Lane. The best feature of this design is that Physical Layer includes Power Management block. Therefor, the entire design of PCI Express component is simplified. In the near future, as optimizing this design and extending Lane, we will redesign Physical Layer.