• 한국지구과학회:학술대회논문집
• /
• 2005.09a
• /
• pp.318-318
• /
• 2005

• The Bulletin of The Korean Astronomical Society
• /
• v.27 no.2
• /
• pp.61-61
• /
• 2002

• Proceedings of the Safety Management and Science Conference
• /
• 2010.04a
• /
• pp.161-166
• /
• 2010

항공물류 분야의 개선을 위해 공항에서 연구와 투자를 통하여 공항 선진화를 이루고 있고, 우리나라도 지속적으로 증가하는 항공물류 분야의 개선이 필요하다고 인식하고 개선을 위한 방안을 연구하고 있지만, 항공물류 전반에 걸쳐 통합적인 개선이 이루어지지 않고 개별적이거나 부분적인 시스템 개선으로 중복 투자와 비효율성의 문제가 발생하고 있다. 본 논문에서는 이러한 문제점들을 해결하기 위해 현행 항공물류 프로세스를 수 출입으로 구분하여 분석하였고, 시스템 통합 사례들을 검토하여 프로세스 상에서 발생하는 문서들을 분석하였다. 이중 인터페이스 대상 문서를 선정하고 문서의 데이터 내용과 형식을 정의하였다. 정의한 데이터의 형식을 대상 문서에 코드로 적용시키고 시뮬레이션을 통하여 데이터 저장량을 비교 분석하였다. 이를 통해 항공물류 이해관계자간의 정보 교환이 용이해지고 동일한 정보를 재생성하거나 재가공하는 비효율성을 감소시킬 것으로 기대된다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10c
• /
• pp.427-429
• /
• 2003

최근 IPv6 망에 멀티호밍을 제공하기 위한 연구 방향 중의 하나는 지리적 정보를 이용하는 것이다. 대표적인 메커니즘인 Geo for Now[1]은 지리적 위치 정보를 기반으로 주소를 할당하고 멀티호밍 제공 시 DFZ내의 글로벌 라우팅 테이블 엔트리가 급격히 증가되는 문제점을 해결하기 위한 방안을 제공한다. 그러나 [1]은 멀티호밍을 위하여 반드시 새로운 주소가 할당되어야 하며 멀티호밍 서비스를 요구하는 사이트가 증가되는 경우 확장성 문제를 야기한다. 본 논문에서는 지리적 위치 정보를 기반으로 IPv4 형식의 멀티호밍 기법을 그대로 적용하는 동시에 확장성 문제를 해결하기 위한 메커니즘을 제안한다. 제안된 메커니즘의 경우 지리적 위치 정보 및 확장된 BGP 속성의 사용으로 멀티호밍으로 인해 야기되는 상세한 경로 정보의 확산을 제한한다. 이로써 확장성의 문제를 발생시키지 않으면서도 IPv4 형식의 멀티호밍 기법을 사용함으로써 IPv4 멀티호밍에서 제공하던 기능들을 유사한 수준으로 제공할 수 있다.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2019.05a
• /
• pp.233-233
• /
• 2019

본 연구에서는 3형식 다공성 인공어초의 국부세굴 발생에 따른 인공어초의 안정성 검토를 위하여 3차원 수치모형인 FLOW-3D의 Sediment 모듈을 적용하여 분석을 실시하였다. 실험파랑 설정을 위하여 인공어초 설치 예정지인 서해 대상해역(대청도, 연평도 인근)의 100년 빈도 설계파랑을 적용하였으며, Bretschneider-Mitsuyasu 스펙트럼 기법을 통하여 파랑을 재현하였다. 원형상격자 조건은 최대 0.1m~2.0m에 해당하며, 수치모형실험 해석 시간을 고려하여 입사파랑의 진행방향으로 인공어초의 1/2 폭에 해당하는 X축(190개), Y축(80개), Z축(110~180개) 영역에 대한 격자조건 설정하고 분석을 실시하였다. 분석은 인공어초 하중에 따른 동적 거동을 반영하는 FSI(Flood Structure Interaction)기법을 적용하였으며, 분석결과 인공어초 구조물 하단의 돌출부분에서 세굴발생이 확인되었으며, 최대세굴심은 3형식 인공어초의 규격 및 단위체적당 중량이 클수록 높게 발생하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2024.05a
• /
• pp.99-100
• /
• 2024

최근 마이크로서비스 아키텍처가 널리 활용되면서, 분산 시스템의 규모가 점차 확장되고 시스템의 복잡성 역시 빠르게 증가하고 있다. 그리고, 이는 전체 시스템에 대한 가시성 저하시킬 뿐만 아니라 트러블 슈팅 역시 어렵게 만들었다. 결국, 이러한 시스템의 가시성을 확보하기 위한 관측 가능성의 중요성이 높아지고 있으며, OpenTelemetry와 Jaeger와 같은 도구들이 등장하게 되었다. 하지만, 이러한 도구들의 경우 수집 데이터의 형식이 고정 되어 있으며, 수집 범위 역시 제한적이다. 또한, 모니터링 과정에서 네트워크 트래픽과 디스크 I/O 등에서 추가적인 오버헤드를 발생시키는 문제점을 가지고 있다. 따라서, 본 연구에서는 대표적인 서비스 메시 환경인 Istio 환경을 기준으로 사용자가 원하는 형식과 범위로 마이크로서비스들과 관련된 로그 및 매트릭을 수집할 수 있는 경량화된 사이드카 기반 API 관측 가능성 및 원격 측정 시스템을 제안하고자 한다.

• KSCE Journal of Civil and Environmental Engineering Research
• /
• v.30 no.5A
• /
• pp.407-415
• /
• 2010

In Korea, more than 90% of the total number of steel bridges built for 40~70 m span length is a steel box-girder bridge type. A steel box-girder bridge is suitable for long span or curved bridges with outstanding flexural and torsional rigidity as well as good constructability and safety. However, a steel box-girder bridge is uneconomical, requiring many secondary members and workmanship such as stiffeners and ribs requiring welding attachments to flanges or webs. Therefore, in US and Japan, a plate girder bridge, which is relatively cheap and easy to construct is generally used. One type of the plate girder bridge is the two- or three-main girder plate bridge, which is a composite plate girder bridge that minimizes the number of required main girders by increasing the distance between the adjacent girders. Also, for the simplification of girder section, the stiffener which requires attachment to the web is not required. The two-main steel girder plate bridge is a representative type of plate girder bridges, which is suitable for bridges with 10 m effective width and has been developed in the early 1960s in France. To ensure greater safety of two- or three-main girder plate bridges, a larger steel section is used in the bridge domestically than in Europe or Japan. Also, the total number of two- or three-main girder plate bridge constructed in Korea is significantly less than the steel box girder bridge due to a lack of designers' familiarity with more complex design detailing of the bridge compare to that of a steel box girder bridge design. In this study, a new construction method called Turn Over method is proposed to minimize the steel section size used in a two- or three-main girder plate bridge by applying prestressing force to the member using confining concrete section's weight to reduce construction cost. Also, a full scale 20 m Turn Over girder specimen and a Turn Over girder bridge specimen were tested to evaluate constructability and structural safety of the members constructed using Turn Over process.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.19 no.2
• /
• pp.42-49
• /
• 2018

In this study, "Young Architects Program" pavilion architecture, where many formal, material, structural challenges were examined, was selected for an analysis of the regional expression of various culture in five countries in different continents. For comparative analysis, five criteria of evaluation, symbolic, tectonic, contextual, tactile, environmental, were set through an analysis of previous studies. Through these five criteria, the methods of regional expression of architectural concepts in five different countries were compared to indicate the characteristics of the different culture in same theme and type of pavilion architecture.

• Journal for History of Mathematics
• /
• v.24 no.3
• /
• pp.37-58
• /
• 2011

The development of recent Mathematical Logic is mostly originated in Hilbert's Proof Theory. The purpose of the plan so called Hilbert's Program lies in the formalization of mathematics by formal axiomatic method, rescuing classical mathematics by means of verifying completeness and consistency of the formal system and solidifying the foundations of mathematics. In 1931, the completeness encounters crisis by the existence of undecidable proposition through the 1st Theorem of G?del, and the establishment of consistency faces a risk of invalidation by the 2nd Theorem. However, relative of partial realization of Hilbert's Program still exists as a fruitful research program. We have tried to bring into relief through Curry-Howard Correspondence the fact that Hilbert's program serves as source of power for the growth of mathematical constructivism today. That proof in natural deduction is in truth equivalent to computer program has allowed the formalization of mathematics to be seen in new light. In other words, Hilbert's program conforms best to the concept of algorithm, the central idea in computer science.

• Journal of the Korean Society for Railway
• /
• v.11 no.5
• /
• pp.471-476
• /
• 2008

The superstructure type of the railway bridge in our country, is mainly classified into the box girder and the I-type girder. The box girder is widely used in the high speed railway bridge because of the safety due to dynamic behavior. The I-type girder is used in the conventional railway bridge, and is also divided into the general type and the composite type, and the newly modified types have been developed. According to the current railway bridge design code, the girder design by the span length in various types of railway bridge is performed in is study. The suitable girder height and the construction cost by the span length are analyzed, and the comparative analysis of the structural efficiency and the economical efficiency is carried out. From this study, the composite type girder is appeared the good result in respect of the structural efficiency. However, in the economical aspect, the general I-type girder is required less cost than the other types.