• 한국공간구조학회논문집
• /
• 제17권1호
• /
• pp.41-47
• /
• 2017

Structures of steel frame buildings getting vary depending on the development of construction technology. Fire-resistant steel beams and Columns accredited by accreditation bodies from the performance of various fire-resistant coating is applied to the current pillar method is most H-beams. H-beam has been proposed a non-load test specifications in the relevant regulations, its scope of accreditation to be granted without limitation of size H-beams from the performance of the test specification. However, in the case of the rectangular steel structure is to check its performance and to a separate one of the receive acknowledge and so take advantage of the cross-sectional shape factor in this study to test the performance of the fire-resistant structure proposed for standard test specimen.

• 한국막학회:학술대회논문집
• /
• 한국막학회 2003년도 The 4th Korea-Italy Workshop
• /
• pp.129-132
• /
• 2003

Silica/SUS composite membranes were prepared for CO removal from products of methanol steam reforming. A support was prepared by coating Ni powder of sub-micron and SiO$_2$ sols of particle size of 500nm and 150nm in turns on a porous stainless steel (SUS) substrate. Silica top layer was coated on the modified support using colloidal sol with nanoparticle. As a result of mixture gas permeation test of silica composite membrane using H$_2$(99%)/CO(1%), CO concentration of 10000 ppm was reduced to under 81 ppm, which is acceptable in PEMFC anode gas specification. Permeation mechanism through the membrane was mainly molecular sieving.

• 시스템엔지니어링워크숍
• /
• 통권6호
• /
• pp.126-129
• /
• 2005

Systems engineering requirement verification model developmetn for High Speed Railway systems in progress is a national large system development program that is not only large-size and complex but also multi-disciplinary in nature. For the High Speed Railway TEP development, verification requirements that could verify system function, performance, and constraint, should be derived from SSS(system Segment specification). Hereafter, this could be referred to as verification requirements. System engineering process establishes traceability between verification requirements and system requirements. These tasks could be accomplished by the schema. using computer-aided Systems Engineering tool(CORE), High Speed Railway program can become a database and other system related to High Speed Railway program will be developed effectively and efficiently.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 2006년도 추계 학술발표회 논문집
• /
• pp.697-700
• /
• 2006

The unique technology was developed to control the hydration heat of mass concrete by adding the Phase Change Material(PCM) to concrete. The PCM was designed to liquefy at 60 degrees and its size was limited under $10{\sim}30$ micro meters to be put in pores and to have no effect on compressive strength. In the hydration heat test, center temperature of the PCM specimen was reduced by 10 degrees without any difference in the strength. Even in the adiabatic temperature rise test, the final adiabatic temperature rise amount was reduced as much as 25% in comparison with the standard value in Korean Concrete Standard Specification.

• Journal of Communications and Networks
• /
• 제9권2호
• /
• pp.141-149
• /
• 2007

Multiple-input multiple-output (MIMO) transmit pre-coding/beamforming can significantly improve system spectral efficiency. However, several obstacles prevent precoding from wide deployment in early wireless networks: The significant feedback overhead, performance degradation due to feedback delay, and the large storage requirement at the mobile devices. In this paper, we propose a precoding method that addresses these issues. In this approach, only 3 or 6 bits feedback is needed to select a precoding matrix from a codebook. There are fifteen codebooks, each corresponding to a unique combination of antenna configuration (up to 4 antennas) and codebook size. Small codebooks are prestored and large codebooks are efficiently computed from the prestored codebook, modified Hochwald method and Householder reflection. Finally, the feedback delay is compensated by channel prediction. The scheme is validated by simulations and we have observed significant gains comparing to space-time coding and antenna selection. This solution was adopted as a part of the IEEE 802.16e specification in 2005.

• 한국산학기술학회논문지
• /
• 제12권2호
• /
• pp.999-1004
• /
• 2011

폭발법으로 얻어진 나노다이아몬드가 용매 내에 균일하게 분산되고, 일정 시간 침강이 이루어지지 않고 유지할 수 있도록 하고자, 표면에 카르복시기, 하이드록시기, 아민기 등의 기능기를 형성시킴으로써 나노다이아몬드의 활용성을 증대시키고자 하였다. 화학반응을 통하여 표면에 형성된 기능기, 입자의 크기 모양 등의 확인은 적외선흡수 스펙트럼과, X레이회절, 전자현미경, 원자현미경으로 관찰하였고, 용매의 종류에 따른 분산 특성을 조사하였다.

• 한국군사과학기술학회지
• /
• 제22권6호
• /
• pp.784-796
• /
• 2019

As the size and complexity of software increases, it is important to ensure the quality of software through testing. Many organizations refer to international standards or test process models to improve the quality of software through establishing a systematic test process. However, these standards and process models provide general processes that do not reflect the characteristics of the domain or the organization's test policies and strategies. To establish a test process that reflects the characteristics of the organization, test policies and strategies based on the organization's quality objectives and the organizational and domain characteristics should be reflected. This study proposes specific methods for eliciting activities and information to establish organizational software test policies and strategies that are essential to establishing a test process that reflects the characteristics of the organization and the system.

• Journal of the Optical Society of Korea
• /
• 제5권3호
• /
• pp.70-75
• /
• 2001

Next Generation Space Telescope (NGST) is under design study for proposed launch around 2008. It will take over the task of Hubble Space Telescope (HST) and provide much more detailed information about celestial objects. Present large telescopes both in space and on the ground contain aspheric mirrors, called Ritchey-Chretien type. As the size of the telescope becomes larger and the optical quality is requested to be higher, reaching the diffraction limit, more accurate optical testing methods are required. However, there are few testing methods which can achieve the required accuracy for aspheric optics, and none of them has achieved it with certainty. The failure of producing the primary mirror of the Hubble Space Telescope to meet specification is a good example. Moreover, testing aspheric mirrors of large convex form adds the difficulty to extreme. In this paper, space telescopes and large ground-based telescopes are surveyed and testing methods for aspheric optics are reviewed. a method of testing aspheric convex mirrors is suggested.

• BMB Reports
• /
• 제54권6호
• /
• pp.285-294
• /
• 2021

The lymphatic vasculature plays important role in regulating fluid homeostasis, intestinal lipid absorption, and immune surveillance in humans. Malfunction of lymphatic vasculature leads to several human diseases. Understanding the fundamental mechanism in lymphatic vascular development not only expand our knowledge, but also provide a new therapeutic insight. Recently, Hippo-YAP/TAZ signaling pathway, a key mechanism of organ size and tissue homeostasis, has emerged as a critical player that regulate lymphatic specification, sprouting, and maturation. In this review, we discuss the mechanistic regulation and pathophysiological significant of Hippo pathway in lymphatic vascular development.

• 정보처리학회논문지D
• /
• 제11D권1호
• /
• pp.115-122
• /
• 2004

소프트웨어 시스템 모델링에서는 정형적 기법으로 소프트웨어를 모델링하고 분석하여 소프트웨어 시스템이 가지는 문제점들을 구현에 앞서 미리 찾아 해결하고자 한다. 페트리 네트는 그래픽 정형 명세 언어로 병행적 시스템, 실시간 시스템, 통신 프로토콜 등의 소프트웨어 시스템 모델링 및 분석에 널리 이용되고 있다. 페트리 네트 분석에서, 교착상태(deadlock), 수행가능성(liveness) 등의 일반적인 시스템 특성 분석은 주로 도달성 분석을 통해 이루어지며 시스템 요구사항에 관한 고유 특성 분석은 모델 검사(model checking) 방법을 통해 이루어진다 하지만 도달성 분석과 모델 검사 방법에서는 기본적으로 시스템의 모든 가능한 상태들을 나열하여 분석하므로 모델의 규모가 커짐에 따라 상태가 기하급수적으로 증가하는 상태 폭발(state explosion) 문제가 발생한다. 이 논문에서는 상태 폭발을 회피하면서 시스템의 요구사항을 체계적으로 분석할 수 있는 새로운 방법을 제안하고자 한다. 먼저 분석하고자 하는 요구사항을 속성 네트로 나타낸 후, 시스템 모델과 속성 네트를 합성하여 분석한다. 이러한 합성 분석에서는 분석 대상 속성과 연관되지 않는 모델의 부분들을 축약 규칙에 따라 축약함으로써 분석 도메인을 점진적으로 줄어 나갈 수 있으며 요구사항 만족 여부를 간단히 검사할 수 있는 장점이 있다.