• Journal of Institute of Control, Robotics and Systems
• /
• v.4 no.6
• /
• pp.689-694
• /
• 1998

본 논문에서는 상태와 제어입력에 시간지연을 가지는 이산 불확실성 시스템의 견실 H/sub ∞/ 상태궤환 제어기 설계문제를 다룬다. 동일한 제어기에 대해서, 파라미터 불확실성을 가지는 시간지연 시스템이 자승적 안정성(quadratic stability)과 폐루프 시스템의 H/sub ∞/ 노옴의 한계를 유지하면서 파라미터 불확실성이 없는 등가의 시스템으로 변형된다. 그리고 주어진 이산 불확실성 시간지연 시스템의 견실 H/sub ∞/ 상태궤환 제어기가 존재할 충분조건과 제어기 설계 알고리듬을 제시한다. 또한 변수치환과 Schur 여수(complement) 정리를 이용하면 구한 충분조건은 LMI(linear matrix inequality) 형태로 쓸 수 있다. 예제를 통하여 제시한 결과의 타당성을 보인다.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.29 no.1
• /
• pp.41-46
• /
• 2006

본 논문에서는 재시도와 완전입력 규칙을 갖는 BMAP/PH/N/0 대기시스템에 대한 주요 성능평가척도와 시스템의 정상상태 조건을 제시한다. 고려되는 시스템은 모든 서버가 서비스를 하고 있을 경우 도착이 이루어지는 배치도착은 모두 손실되며, 반대의 경우 도착하는 배치는 서비스를 받기 위해 시스템에 들어가게 된다. 만약 쉬고 있는 서버의 수가 불충분하여 배치의 일부가 즉각 서비스를 받을 수 없다면, 일단 오빗으로 이동하고 표준 재시도 대기 시스템의 규칙에 따라 후에 서비스를 받게 된다. 본 논문에서는 배치 마코프도착과정, 단계 서비스분포 및 유한버퍼를 갖는 다중서버 재시도 대기 시스템에 대한 수리모형을 제시한다. 제시된 시스템의 정상상태 분포 존재를 위한 충분조건을 유도하고, 이 분포를 계산하기 위한 알고리즘이 제시된다. 끝으로 완전입력규칙을 갖는 시스템에 대한 손실확률을 계산하기 위한 식이 유도하고, 수치 예제들을 제시한다.

• Journal of the Korea Society of Computer and Information
• /
• v.11 no.2 s.40
• /
• pp.121-129
• /
• 2006

Rule-based Expert system using Fuzzy technique inferences various rules by user's input condition and the most proper control signal. This system can lose objectivity by input condition which depends on user's decision. This paper can solve those problems by adding case-based system's technique. The traffic signal control expert system is proposed to store the cases based on the statistics, days, seasons and various circumstances and use them.

• Proceedings of the Korean Society of Disaster Information Conference
• /
• 2017.11a
• /
• pp.143-144
• /
• 2017

본 논문은 복선터널 라이닝의 최적 계측 측점수를 산정하기 위해 복선터널 라이닝에 작용하는 하중 조건을 대칭 분포하중이 작용하는 경우로 가정하여 터널해석 시 널리 사용되는 상용 프로그램에 하중 조건을 입력시켜 터널 라이닝의 단면 위치별 변위와 응력을 산출하였다. 산출된 변위를 계측 측점 3점, 5점, 7점으로 복선터널 라이닝 역해석 프로그램에 입력시켜서 구한 응력과 변위를 비교하여 복선터널 라이닝의 최적 계측 측점수를 산정한 결과 정확도는 측점 3점이 낮고, 측점 5점과 7점이 높으며, 현장 적용성은 측점 5점이 높은 것으로 해석되어 터널 계측 실무와 일치하는 것으로 나타났다.

• Proceedings of the KIPE Conference
• /
• 2014.07a
• /
• pp.169-170
• /
• 2014

본 논문에서는 넓은 영전압 스위칭 범위를 가지며 클램프 다이오드와 클램프 스위치를 이용하여 비대칭 하프 브릿지 컨버터의 정상 입력 시 최적 설계가 가능하게 하여 모든 부하 조건에서 효율을 상승 시킬 수 있는 회로를 제안한다. Hold-up 조건 만족을 위하여 입력 전압이 낮은 경우에, 클램프 스위치를 동작시켜 변압기의 턴 비를 바꾸어 주어 출력 전압을 유지해준다. 정상 상태 동작에서는 클램프 스위치를 키지 않음으로써 클램프 다이오드 역할을 하여 2차 측 정류기의 전압 스트레스를 줄여주며, 보조 턴을 이용하여 클램프 다이오드에서의 도통 손실을 줄여 정상 상태에서의 비대칭 하프 브릿지 컨버터의 효율 최적화를 달성한다. 본 논문에서는 제안하는 회로의 이론적 해석 및 설계방법을 설명하고 실험결과를 통해 회로의 동작을 검증한다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2018.06a
• /
• pp.51-52
• /
• 2018

본 논문에서는 조건부 오토 인코더를 사용하여 오디오 고대역 신호를 부호화 하는 기술을 제안한다. 오토 인코더의 데이터 압축 특성을 이용하여 부호화를 위한 데이터의 양을 크게 줄인다. 제안하는 알고리즘은 기존의 오토 인코더와 달리 과거의 정보가 포함된 2차원 조건을 함께 입력하여 오토 인코더가 코딩 프레임의 고대역을 복원하는 것을 돕도록 한다. 2차원 조건과 입력을 압축하여 연결한 후 디코딩하여 코딩 프레임의 고주파 대역을 만든다. 제안하는 방법을 사용하면 저대역 MDCT 계수와 고대역 MDCT 계수를 오토 인코더로 압축한 결과만으로 원본과 유사한 음질을 청취할 수 있다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2011.11a
• /
• pp.201-204
• /
• 2011

소프트웨어의 비중이 커짐에 따라 소프트웨어가 안전하게 실행되는 것이 보장되어야 한다. 이를 위해 다양한 검증 도구를 통해 검증이 수행된다. 하지만 소스 코드와 명세를 입력으로 받는 검증도구는 검증조건 생성이 어렵기 때문에 검증 조건 생성에 용이하도록 입력 값을 중간 표현 언어로 변환해 주는 것이 필요하다. 본 논문에서는 검증의 정확성을 위해 다양하게 존재하는 중간 표현 언어의 특성을 분석하고 예제를 통해 비교한다. 중간 표현 언어의 비교 분석 결과를 통해 검증을 수행할 때 검증의 목적과 환경에 적합한 중간 표현 언어 선택으로 검증의 효율성과 정확성을 향상시킨다.

• Proceedings of the Korean Society of Disaster Information Conference
• /
• 2023.11a
• /
• pp.247-248
• /
• 2023

본 논문은 단선터널 라이닝에 대칭 분포하중 작용 시 최적 계측 측점수를 산정하기 위해 단선터널 라이닝에 작용하는 하중조건을 대칭 분포하중이 작용하는 경우로 가정하여 터널해석 시 널리 사용되는 상용 프로그램에 하중조건을 입력시켜 터널 라이닝의 단면 위치별 변위와 응력을 산출하였다. 산출된 변위를 계측 측점 3점, 5점, 7점으로 단선터널 라이닝 역해석 프로그램에 입력시켜서 구한 응력과 변위를 비교하여 단선터널 라이닝의 최적 계측 측점수를 산정한 결과 정확도는 측점 3점이 낮고, 측점 5점과 7점이 높으며, 현장 적용성은 측점 5점이 높은 것으로 해석되어 터널 계측 실무와 일치하는 것으로 나타났다.

• Proceedings of the Korean Society of Disaster Information Conference
• /
• 2023.11a
• /
• pp.249-250
• /
• 2023

본 논문은 단선터널 라이닝에 비대칭 분포하중 작용 시 최적 계측 측점수를 산정하기 위해 단선터널 라이닝에 작용하는 하중조건을 비대칭 분포하중이 작용하는 경우로 가정하여 터널해석 시 널리 사용되는 상용 프로그램에 하중조건을 입력시켜 터널 라이닝의 단면 위치별 변위와 응력을 산출하였다. 산출된 변위를 계측 측점 3점, 5점, 7점으로 단선터널 라이닝 역해석 프로그램에 입력시켜서 구한 응력과 변위를 비교하여 단선터널 라이닝의 최적 계측 측점수를 산정한 결과 정확도는 측점 3점이 낮고, 측점 5점과 7점이 높으며, 현장 적용성은 측점 5점이 높은 것으로 해석되어 터널 계측 실무와 일치하는 것으로 나타났다.

• Transactions of the Korean Society of Mechanical Engineers
• /
• v.14 no.1
• /
• pp.225-229
• /
• 1990

As a basic study of optimal design conditions of refrigeration systems, the reversed carnot cycle, including heat transfer processes through the finite temperature differences between heat sources and the working fluids, is analyzed with the capacity of heat exchanger as a design parameter. When the temperatures of heat sources and the input work are fixed as constants, the optimal design condition is obtained as an optimum ratio of capacities of heat exchangers, which is exactly unity when the exergy output and effectiveness are maximum. In addition, the optimum ratio is slightly increased from unity as the irreversibility of the cycle increases.