• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제6권6호
• /
• pp.643-656
• /
• 2000

ATM 포럼에서 제안하여 표준화 한 MPOA(MultiProtocol Over ATM)는 다야한 네트워크 환경에서 ATM 네트워크에게 효과적인 브릿징과 라우팅을 제공하는 프로토콜로써, 서브넷 간에 효율적인 유니캐스트 데이타 전송을 주된 목적으로 하고 있다. 본 논문에서는 ITU에서 표준화한 통신 시스템 개발용 명세 기술 언어인 SDL(Specification and Description Language)을 사용하여 MPOA 구성요소를 구현하였으며, 상위 계층에서 받은 패킷에 대한 주소 해석, Ingress/Egress 캐쉬 관리, 지름길 설정 등에 따른 MPOA 자동 절차를 SDT(SDL Design Tool)에서 제공하고 있는 시뮬레이터를 통하여 검증하였다.

• 한국기계가공학회지
• /
• 제20권7호
• /
• pp.41-47
• /
• 2021

In this study, the hinges of heavy weight doors were designed and analyzed in line with the trend that built-in appliances are becoming larger and the weight of doors is also increasing. The main specification of the heavy weight door hinge is to allow the deflection at the end of the door to be less than 2 mm when opening and closing, including the automatic closing, slow closing, and closing force control functions. The structural analysis of the design mechanism, component design, and methods for improving the deflection are as follows: 1) Mechanism of the automatic closing function should sense automatically using the spring compression force at a specific angle by the contact between the cam and the cam module roller. 2) Through structural analysis, the maximum stress of the door was found in the link pin hole connected to the pin at each link. 3) Consequently, the pin holder was designed and applied, with little variance, but up to 93% of the specification limit.

• Structural Monitoring and Maintenance
• /
• 제10권3호
• /
• pp.207-220
• /
• 2023

The safety of bridges are critical in our transportation infrastructure. Bridge design and analysis require complex structural analysis procedures to ensure their safety and stability. One common method is to calculate the maximum moment in the girders to determine the appropriate bridge section. Girder distribution factors (GDFs) provide a simpler approach for performing this analysis. A GDF is a ratio between the response of a single girder and the total response of all girders in the bridge. This paper explores the significance of GDFs in bridge analysis and design, including their importance in the evaluation of existing bridges. We utilized Bridge Weigh-in-motion (B-WIM) measurements of five simple supported girder bridge in Indonesia to develop a simple GDF provisions for the Indonesia's bridge design code. The B-WIM measurements enable us to know each girder strain as a response due to vehicle loading as the vehicle passes the bridge. The calculated GDF obtained from the B-WIM measurements were compared with the code-specified GDF and the American Association of State Highway and Transportation Officials (AASHTO) Load and Resistance Factor Design (LRFD) bridge design specification. Our study found that the code specified GDF was adequate or conservative compared to the GDF obtained from the B-WIM measurements. The proposed GDF equation correlates well with the AASHTO LRFD bridge design specification. Developing appropriate provisions for GDFs in Indonesian bridge design codes can provides a practical solution for designing girder bridges in Indonesia, ensuring safety while allowing for easier calculations and assessments based on B-WIM measurements.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1997년도 한국자동제어학술회의논문집; 한국전력공사 서울연수원; 17-18 Oct. 1997
• /
• pp.418-421
• /
• 1997

A design method of robust controller for the longitudinal autopilot of BTT missile is considered. The difficulties are a set of linearized dynamic models which corresponds to different operating points has a wide range of parameters and it has even Non-Minimum Phase(NMP) zeros. In this paper, such a family of models is expressed by an interval plant. Then a robust control design method using QFT is represented. A simulation result shows that the proposed controller satisfies the given specification well.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 2005년도 추계 학술발표회 제17권2호
• /
• pp.239-241
• /
• 2005

Reliability analysis of the design of reinforced concrete rahmen bridge is performed. Statistical properties for loads and resistances are taken into account in the analysis and the reliability indices are calculated for strength limit state of the current bridge design specification. Results are presented and discussed for different span lengths and wall heights.

• 한국콘크리트학회:학술대회논문집
• /
• 한국콘크리트학회 2006년도 춘계학술발표회 논문집(I)
• /
• pp.294-297
• /
• 2006

The purpose of this study is to introduce design practice for prestressed concrete box girder with AASHTO LRFD Design Specification. Distinctive features of viaduct girder of Incheon Bridge are pre-tensioned transverse tendon, 3-dim. transverse analysis, enlarged opening in diaphragm and so on.

• 한국소음진동공학회논문집
• /
• 제14권6호
• /
• pp.470-477
• /
• 2004

This study shows the design process of a MR damper for semi-active suspension systems. Damping force characteristics of the designed damper was predicted through the flow analysis and magnetic analysis. The predicted results were compared with the experimental results and the initial design specification was modified according to the results.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2000년도 하계학술대회 논문집 D
• /
• pp.3157-3159
• /
• 2000

Soft Output Viterbi Algorithm is modification of Viterbi algorithm to deliver not only the decoded codewords but also a posteriori probability for each bit. This paper presents SOVA decoder which can be used for component decoder of turbo decoder. We used two-step SMU architectures combined with systolic array traceback methods to reduce the complexity of the design. We followed the specification of CDMA2000 system for SOVA decoder design.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 가을 학술발표논문집 Vol.28 No.2 (1)
• /
• pp.421-423
• /
• 2001

분산 웹 애플리케이션에 대한 관심도의 증가에 따라 서버측 컴포넌트 모델인 엔터프라이즈 빈즈가 많이 사용되고는 있지만 소프트웨어의 정확성과 견고성의 향상을 위한 노력은 미비한 실정이다. 본 논문에서는 소프트웨어의 정확성과 견고성을 높여줄 수 있는 Design By Contracts 접근법을 이용하여 엔터프라이즈 빈즈를 명세하는 방법을 제안하고자 한다. 이와 같이 엔터프라이즈 빈즈 개발에 Design By Contrails 접근법을 적용한다면 소프트웨어의 정확성과 견고성면에서 보다 진보적인 효과를 기대할 수 있다.

• 한국통신학회논문지
• /
• 제29권3B호
• /
• pp.360-374
• /
• 2004

OSPF 프로토콜은 가장 보편적으로 사용되고 있는 Interior Gateway Routing Protocol 이다. 그러므로, 초고속 라우터의 동작의 신뢰성 확보를 위해, OSPF 프로토콜의 상호운용성과 안전성의 보장은 중요하다. 본 논문에서는 OSPF 라우팅 프로토콜의 표준 문서를 분석하여, 프로토콜 동작들을 대수 정형 방법을 사용하여 상세 설계 수준으로 명세하고, OSPF 프로토콜의 가용한 원천코드를 참조하여, 표준에 명확하게 명세되지 않은 좀더 상세한 동작까지 표현하도록 이 명세를 보완하였다. 그리고 명세된 프로토콜 상태 기계의 상호운용성과 안전성을 정형적으로 증명하였다. 우리는 먼저 제시한 정형적 명세가 OSPF 프로토콜의 표준 문서에 나타난 모든 상태들과 모든 천이 이벤트들을 표현하고 있어, 명세된 프로토콜 상태기계가 완전성을 가지고 있다는 사실을 보이고, 또한 상호운용성을 가짐을 증명하였다. 그리고 프로토콜의 동작의 안전성을 증명하기 위해, 생존성, 그리고 라이브락 부재를 정형적으로 증명하고, 교착상태 부재 역시 정형적으로 증명하였다. 결과적으로 OSPF 프로토콜이 일관성을 가진다는 사실을 보인다. 본 명세와 검증은 기존외 OSPF Version 2의 프로토콜 메커니즘을 그대로 계승한 OSPF Version 3에서도 유효하다.