• 대한수학회보
• /
• 제59권6호
• /
• pp.1409-1422
• /
• 2022

A 3-fold quotient terminal singularity is of the type $\frac{1}{r}(b,1,-1)$ with gcd(r, b) = 1. In [6], it is proved that the economic resolution of a 3-fold terminal quotient singularity is isomorphic to a distinguished component of a moduli space 𝓜_𝜃 of 𝜃-stable G-constellations for a suitable 𝜃. This paper proves that each connected component of the moduli space 𝓜_𝜃 has a torus fixed point and classifies all torus fixed points on 𝓜_𝜃. By product, we show that for $\frac{1}{2k+1}(k+1,1,-1)$ case the moduli space 𝓜_𝜃 is irreducible.

• 한국항해항만학회지
• /
• 제40권1호
• /
• pp.43-50
• /
• 2016

세계 주요 항만간 물류중심 기지화 경쟁이 격화되고 있는 가운데 세계 물류중심지로 선점 또는 우위를 차지하기 위하여 타 항만보다 유리한 물류 장비의 첨단화와 자동화 시스템을 이용한 선진 항만을 구축하는데 있다. 물류 장비와 자동화 시스템을 연결 시키는 방법은 기존 컨테이너터미널에서는 컨테이너가 이동 할 때 정보 교환을 802.11 무선 규격 망을 구성하여 무지향성, 지향성 안테나를 이용하게 되는데 컨테이너 적재 높이가 높은 경우 사각지역이 발생하며, 주파수 CH(Channel)이 한정되어 있어 타 터미널 혹은 인접 지역에서 주파수 CH을 사용할 경우에 중첩문제가 발생하여 컨테이너터미널 자동화 장비 운영에 막대한 영향을 미치고 있다. 이 논문에서는 L사에서 제공한 LTE(Long Term Evolution)망을 구성하여 컨테이너터미널의 자동화 장비 운영 데이터를 L사 LTE 기지국에 구성된 LBO(Local Breakout)망을 이용하여 외부망이 아닌 직접 컨테이너터미널의 운영서버로 연결하는 네트워크 망을 구성하였다. 이를 이용하여 컨테이너터미널에서 야드 자동화 장비들이 사각지역과 중첩문제가 발생 하지 않고 끊김 없이 데이터를 효율적으로 처리하는 방안을 제시하였다. 또한, 실제 컨테이너터미널의 기존 무선랜 AP(Access Point) 구성과 신규 LTE 구성을 제시하고 실제 야드 자동화 장비에 적용하여 기존 네트워크 트래픽과 신규 LTE 구성, 네트워크 트래픽을 비교 분석 제시하였다. 무선네트워크 LTE 도입은 컨테이너터미널의 자동화 장비의 사각지역, 주파수 CH 한정과 중첩을 없애 터미널 운영을 효율적으로 관리가 가능하게 되어 업무효율성 제고 및 지속적인 서비스 질의 향상을 위한 필수불가결한 요소가 될 수가 있다.

• 한국통신학회논문지
• /
• 제17권8호
• /
• pp.779-788
• /
• 1992

일반적으로 높은 성능의 컴퓨터 시스템은 입력/출력 서브시스템에서 자주 병목현상이 나타난다. 일반적으로 시스템 성능평가 모델은 I/O 시스템의 영향을 포함하여 다루어진다. 본 논문에서는 컴퓨터 자원의 분배에 필수적인 장치인 터미널 서버를 모델링 하여 연구한다. 시스템 성능의 주요 요소를 찾아 보기 위해 M/M/I 큐잉 모델을 사용한다. 터미널 서버의 FIFO버퍼 크기는 시스템 설계에 중요 요소이며 전체 시스템 성능에 영향을 비칠 수 있다. 본 논문에서는 시스템 성능을 향상 시키기 위해 터미널 서버모델의 최적 버퍼 크기를 제시한다. 또한 큐잉 모델을 이용하여 터미널서버의 지연시간을 분석하고 시뮬레이션 결과에서 참조 모델을 찾는다.

• 대한의용생체공학회:의공학회지
• /
• 제15권3호
• /
• pp.317-324
• /
• 1994

본 논문에서는 ISDN(Intergrated Services Digital Network) LAPD(Link Access Procedure on the D-channel)와 LAPB(Link Access Procedunre on the B-channel) 프로토콜 구현과 비 ISDN 기기 용 ISDN 접속장치인 TA(Terminal Adaptor)를 위한 새로운 방법을 제안하였다. 본 논문에서 제안한 방법은 지금까지의 방법과는 달리 실시간 운영체제의 커널부를 타켓보드(target board)에 이식하여 ISDN LAPD와 LAPB 프로토콜을 구현하는 것이다. 구현된 시스템의 특징은 첫째, 각 계층에서 발생한 프로세스들을 병렬적(Multi Tasking)으로 처리하도록 하였고, 둘째, 프로토콜 구현을 위해 필요한 타이머들이 커널부로부터 소프트웨어적으로 지원되도록 하였으며, 셋째, 운영체계의 포트 함수를 응용하여 CCITT에서 권고하는 SAP(service access point)를 구현 하였다. 제안한 방법에 따라 운영체계를 이용하여 ISDN 사용자 망 인터페이스를 위한 LAPD의 계층1(layer1), 계층2(layer2) 및 계층3(Call control) 프로토콜과 LAPB프로토콜을 구현하여 모의 망 종단 장치에 연결시켜 실험을 수행한 결과 계층2(LAPD)에서의 TEI(Terminal Equipment Identifier)할당과, 다중 프레임 전송모드의 설정 후 계층3의 메세지가 전송됨을 확인하였고, 이를 이용하여 계층3에서 호설정이 이루어지고 해제되는 것을 확인 하였다. 그리고 설정된 패스를 통해 LAPB 프로토콜을 이용하여 B 채널로 데이터의 전송이 이뤄짐을 확인하였다. 따라서, 본 논문에서는 PC로부터의 초음파 의료 영상 또는 음성 정보를 ISDN환경에서 보다 효율적으로 전송할 수 있는 ISDN망에서의 전송시스템이 구현됨으로써 향후 ISDN망에 접속하여 사용할 수 있는 가능성을 확인하였다.

• 전력전자학회:학술대회논문집
• /
• 전력전자학회 2013년도 추계학술대회 논문집
• /
• pp.235-236
• /
• 2013

전력 시스템의 변화 및 전력 전자 소자의 발전으로 인하여 HVDC 시스템에 대한 관심이 높아지고 있다. 또한 기존의 Point-to-Point 형태의 HVDC 시스템에서 진보하여, 멀티 터미널 형태 그리고 풍력단지와 연계된 다양한 Topology가 계획 중이거나 실제도 구동되고 있다. 따라서 이러한 추세에 맞추어 풍력단지와 연계된 멀티터미널 시스템을 구현하였다. 본 시스템은 세 곳의 AC 계통 시스템과 한 곳의 풍력단지로 이루어져 있으며, 이는 전압형 컨버터를 통하여 DC 계통을 구성하였다. 풍력발전의 변동 및 Master 컨버터의 탈락 시험 또한 진행하였다.

• 한국인터넷방송통신학회논문지
• /
• 제12권2호
• /
• pp.29-34
• /
• 2012

현재 ETCS 단말기가 대중화 되어가는 과정에서 문제점은, 톨게이트를 통과할 때 수행하는 과금 서비스 외에 별다른 서비스를 제공하지 않는다는 데 있다. 본 논문에서는 ETCS 단말기가 교통정보 수집/제공은 물론 OLED에 순간연비, 평균연비, 구간연비 소모량 측정 및 사용 금액을 표시함으로써 운전습관을 교정하도록 유도하여 연료를 절감할 수 있도록 하는 에코드라이빙 기능과 엔진오일, 냉각수, 팬벨트 등 차량의 소모품 교환시점 알림 기능과 ECU를 통해 엔진과열, 제너레이터 충전유무, 냉각수 과열 등 차량운행상태를 실시간으로 진단하여 운행 중 위험을 예방하는 정보를 제공하는 기능을 연구한다. 에코드라이빙과 차량소모품 알림기능 그리고 차량진단 서비스를 제공하기 위하여 제안하는 시스템은 차량의 상태정보를 수집하기 위한 OBD-II 기반 차량진단 모듈과 ETCS 단말기, 차량 진단 정보 변환 소프트웨어로 구성된다.

• 한국시뮬레이션학회논문지
• /
• 제17권4호
• /
• pp.29-39
• /
• 2008

최근 본선작업의 대기시간을 단축할 수 있는 효율적인 이송장비로 ALV(Automated Lifting Vehicle)가 연구되고 있다. 그러나 ALV와 다른 하역장비의 연계에 대한 구체적인 분석을 수행한 후 동적 요소들을 반영한 연구는 미흡하다. ALV의 수행도는 동적 환경하의 자가하역 작업, 차량간 방해, 가용한 작업 공간의 점유에 크게 좌우된다. 그러므로 ALV 시스템이 도입된 컨테이너 터미널의 생산성을 평가하는 것은 매우 어렵다. 따라서ALV시스템에 적합한 운영 규칙을 갖춘 시뮬레이션 모형으로 개발되어야 한다. 또한 모형은 연계작업과 차량 주행의 특성을 고려해야 한다. 본 연구는 수평형 컨테이너 터미널을 가정하고 하역작업 과정을 분석하고 시뮬레이션 모형에 필요한 주요 운영 규칙을 제시하였다. 그리고 객체지향 시뮬레이션 소프트웨어인 Anylogic을 이용하여 ALV 시스템에 기반한 컨테이너 터미널 시뮬레이션 모형을 개발하였다.

• 한국항공우주학회지
• /
• 제36권10호
• /
• pp.996-1002
• /
• 2008

본 논문에서는 3차원 일대일 충돌 감지, 충돌 회피 및 경로점 유도를 위한 알고리듬에 대해 다룬다. 항공기는 질점 모델로 가정하였다. 충돌 감지는 최근접점까지 남은 시간과 그 때의 거리를 기준 값과 비교하여 수행하였다. 충돌 회피는 최적 제어 이론을 이용하여 최종 시간에서의 상대 거리를 최대화하는 가속도 입력을 계산하여 수행하였다. 경로점 유도는 잘 알려진 비례항법유도를 적용하였다. 제안된 알고리듬의 성능은 두 개의 시나리오를 통하여 검증하였다.

• 한국항공운항학회지
• /
• 제25권3호
• /
• pp.44-50
• /
• 2017

This paper proposes arrival scheduling and advisory generation algorithms which can be used in the terminal airspace with Point-Merge procedures. The proposed scheduling algorithm consists of two steps. In the first step, the algorithm computes aircraft schedules at the entrance of the Point-Merge sequencing legs based on First-Come First-Served(FCFS) strategy. Then, in the second step, optimal sequence and schedules of all aircraft at the runway are computed using Multi-Objective Dynamic Programming(MODP) method. Finally, the advisories that have to be provided to the air traffic controllers are generated. To demonstrate the proposed algorithms, the simulation was conducted based on Jeju International Airport environments.

• 전자공학회논문지A
• /
• 제32A권1호
• /
• pp.222-233
• /
• 1995

For effective module generation, a detailed router which can handle complicated routing regions on multimple layers of interconnection under various constraints is necessary. In this paper, a new improved maze routing technique is described, which can find the shortest path for each net without allowing stacked vias. In this method, two cost values are stored at each grid point. The cost values represent the routing costs from the terminal of the net being routed to the grid point. One cost value shows the cost of the shortest path without making a via at the grid point and the other cost value shows that with making a via at the grid point. This is the first systematic maze routing technique which can find the shortest path without via-stacking.