• 한국정보과학회논문지:데이타베이스
• /
• 제29권6호
• /
• pp.502-512
• /
• 2002

기존에 제안된 대부분의 중복 기법은 원본 트랜잭션을 완료한 후 비동기적으로 중복사본에 대한 갱신 요구를 방송하는 지연 갱신 기법을 가정하였다. 지연 갱신 기법은 즉시 갱신 기법에서 발생하는 빈번한 교착상태 발생 문제를 해결할 수는 있지만 데이타 일관성 유지가 사용자 책임이라는 단점을 갖는다. 최근 그룹 통신의 메시징 순서를 적용한 즉시 갱신 중복 기법들이 제안되고 있다. 이들 기법은 메시징 순서를 이용하여 교착상태 발생률을 줄였지만, 송신 노드는 갱신 요구 메시지를 방송한 후 전역 직렬성을 검증하는 낙관적 기법을 채택하기 때문에 동시성이 증가할수록 철회 트랜잭션의 실행 오버헤드가 증가한다는 문제점을 갖는다. 본 논문에서는 철회 트랜잭션의 갱신 매시지 방송과 실행 오버헤드를 줄일 수 있는 즉시 갱신 중복 기법을 제안한다. 제안한 기법은 갱신 요구 매시지를 방송하기 전에 전역 직렬성 검사가 이루어지기 때문에 완료 트랜잭션은 한번의 메시지 방송으로 처리할 수 있다. 뿐만 아니라, 철회 트랜잭션은 다른 노드로 방송할 필요가 없기 때문에 메시지 전송 횟수를 줄일 수 있으며, 철회 트랜잭션의 실행으로 인한 디스크 액세스 수와 로크 대기 시간을 줄임으로써 성능을 향상시킨다.

• 한국정보과학회논문지:데이타베이스
• /
• 제29권6호
• /
• pp.500-500
• /
• 2002

기존에 제안된 대부분의 중복 기법은 원본 트랜잭션을 완료한 후 비동기적으로 중복사본에 대한 갱신 요구를 방송하는 지연 갱신 기법을 가정하였다. 지연 갱신 기법은 즉시 갱신 기법에서 발생하는 빈번한 교착상태 발생 문제를 해결할 수는 있지만 데이타 일관성 유지가 사용자 책임이라는 단점을 갖는다. 최근 그룹 통신의 메시징 순서를 적용한 즉시 갱신 중복 기법들이 제안되고 있다. 이들 기법은 메시징 순서를 이용하여 교착상태 발생률을 줄였지만, 송신 노드는 갱신 요구 메시지를 방송한 후 전역 직렬성을 검증하는 낙관적 기법을 채택하기 때문에 동시성이 증가할수록 철회 트랜잭션의 실행 오버헤드가 증가한다는 문제점을 갖는다. 본 논문에서는 철회 트랜잭션의 갱신 매시지 방송과 실행 오버헤드를 줄일 수 있는 즉시 갱신 중복 기법을 제안한다. 제안한 기법은 갱신 요구 매시지를 방송하기 전에 전역 직렬성 검사가 이루어지기 때문에 완료 트랜잭션은 한번의 메시지 방송으로 처리할 수 있다. 뿐만 아니라, 철회 트랜잭션은 다른 노드로 방송할 필요가 없기 때문에 메시지 전송 횟수를 줄일 수 있으며, 철회 트랜잭션의 실행으로 인한 디스크 액세스 수와 로크 대기 시간을 줄임으로써 성능을 향상시킨다.

• 한국항해항만학회지
• /
• 제38권5호
• /
• pp.493-501
• /
• 2014

무인 자가 운반 하역차량(Automated Lifting Vehicle, ALV)은 자동화 컨테이너 터미널에서 컨테이너를 수송하는 무인 차량의 하나로 자가 하역 및 수송 능력을 가지고 있다. 여러 대의 ALV를 이용해 컨테이너를 효율적으로 수송하기 위해서는 ALV가 컨테이너의 이송작업을 시작할 때마다 최소 시간에 주행이 가능한 경로를 실시간으로 찾을 수 있어야 한다. 또한 차량 간의 충돌 및 교착 상태 발생 시 스스로 해결이 불가능한 무인 차량의 특성 상 이러한 충돌 및 교착을 막을 수 있도록 차량이 목적지까지 가기 위해 점유해야 하는 점유 영역과 그 점유 시간을 결정하여 이를 겹치지 않도록 주행 계획을 수립하여야 한다. 하지만 주행 계획 수립을 위한 ALV의 점유 영역에서의 점유 시간 계산은 교통 상황에 따른 주행 시간의 변화나 주행 경로 상에 작업을 수행하는 크레인의 작업 상황의 불확실성 때문에 정확한 추정이 어렵다. 본 논문에서는 개미 집단 최적화 기법을 기반으로 이러한 ALV 도착 시간의 불확실성을 고려한 ALV 주행 계획 수립방안을 제안한다. 시뮬레이션 실험을 통해 제안 방안이 불확실한 환경에서 효율적으로 좋은 경로를 찾아냄을 확인하였다.

• 박물관보존과학
• /
• 제14권
• /
• pp.61-67
• /
• 2013

고려시대의 칠기는 10세기 초에서 14세기에 이르는 동안 다양하게 변화하였으며 화려한 전성기를 이루고 독창성이 돋보이는 나전칠기로 발전하게 되었다. 고려나전칠기는 나전과 대모, 금속선등을 이용한 세밀한 문양과 여기에 화려함을 더하는 묘금기법이 특징이다. 금분을 이용해 선묘를 하여 칠기를 장식하는 묘금기법은 회화적 장식적 측면에서 대단히 화려하지만 묘금에 의한 문양표현을 찾아볼 수 있는 유물은 극히 드물고 묘금기법에 대해 참고할 수 있는 문헌자료도 많지 않다. 본 연구에서는 고려시대 칠기의 묘금을 대상으로 미시경적 관찰을 하여 금분의 특징과 교착제, 교착상태 등에 관해 밝히고 고대기술의 복원연구 자료를 제공하고자 하였다. 연구결과 금분의 입자는 불규칙한 방형과 다각형, 삼각형 모양으로 크기가 2 ㎛에서 20 ㎛까지 다양하게 보이며 금분의 입자는 끝이 말려들어가 중첩되어진 부분이 보이고 전체적으로 금분입자는 종이가 구겨진 듯한 형상과 비슷하게 관찰되었다. 이번 연구를 통해서 고려시대 묘금에서 사용된 금분은 금박을 분말상태로 분쇄하여 만든 금분을 묘금에 사용하였다는 것을 보여준다.

• 한국정보통신학회논문지
• /
• 제11권4호
• /
• pp.696-706
• /
• 2007

다중처리기 SoC(MPSoC) 플랫폼은 SoC 설계 분야에 새로운 여러가지 혁신적인 트랜드를 가지고 있다. 급격히 십억 단위의 트랜지스터 집적이 가능한 시대에 게이트 길이가 $60{\sim}90nm$ 범위를 갖는 서브 마스크로 기술에서 주요문제점들은 확장되지 않는 선 지연, 신호 무결성과 비동기화 통신에서의 오류로 인해 발생한다. 이러한 문제점들은 미래의 SoC을 위한 NOC 구조의 사용에 의해 해결될 수 있다. 대부분의 미래 SoC들은 칩 상에서 통신을 위해 네트워크 구조와 패킷 기반 통신 프로토콜을 사용할 것이다. 이 논문은 NOC 구조를 위한 칩 통신에서 교착상태가 발생되지 않는 것을 보장하기 위해 적극적 turn prohibition을 갖는 적응적 wormhole 라우팅에 대해 기술한다. 또한 5개의 전이중, flit-wide 통신 채널을 갖는 간단한 라우팅 구조를 제시한다. 메시지 지연에 대한 시뮬레이션 결과를 나타내고 같은 연결비율에서 운영되는 다른 기술들의 결과와 비교한다.

• 정보보호학회논문지
• /
• 제31권4호
• /
• pp.801-816
• /
• 2021

4차 산업혁명의 진행으로 사회의 다양한 영역이 연결된 초-연결 사회로 진입하게 되었고 물리적 전쟁에 대한 정치, 사회적 비용이 급증하게 되었다. 이로 인해 국가 혹은 비국가적 행위자에 의한 사이버공격은 목표대상에게 가장 효과적인 수단으로 기능하게 되었다. 또한 전통적 격차가 북한과의 대립현실은 북한이 비대칭 전력인 사이버공격에 집중할 수밖에 없는 환경을 조성했으며 우리나라는 대부분의 기간시설을 정보통신기술을 이용하여 관리하는 정보통신기술분야의 선진국이기에 사이버공격이 한국에 가장 위협적인 요소가 되었다. 이러한 상황을 일찍부터 맞이했음에도 불구하고, 우리나라에서 사이버공격을 대응하는 방식은 항상 임기응변적이었다. 현재까지도 사이버안보 기본법이 표류되어 사이버안보 체계 구성에 한계를 가지고 있으며 보완에도 불구하고 사이버위협대응에 혼선이 발생해 지속적으로 사회의 문제점으로 제기되어 왔다. 이 연구는 우리나라 정도의 정보통신분야의 선진국에서 사이버안보 기본법이 꾸준히 발의되었음에도 불구하고 결과적으로 모두 임기만료 폐기되고 기존에는 대통령훈령의 형식으로 2021년이 되어서는 대통령령의 형식으로 제정된 원인을 입법교착의 요소인 거대양당이 제시하는 폐기안의 내용 및 이해관계의 차이, 제기된 시점과 주기를 포함하는 한국의 입법제도 등을 통해 분석하여 기존 사이버안보기본법이 왜 표류되었는지 분석한다.

• 한국항해항만학회:학술대회논문집
• /
• 한국항해항만학회 2023년도 춘계학술대회
• /
• pp.59-60
• /
• 2023

컨테이너 터미널의 자동화는 항만 경쟁력을 좌우하는 중요한 요소로 글로벌 선진항만은 컨테이너 터미널 자동화를 통해 경쟁력을 강화하는 추세이다. 자동화 터미널의 필수 이송 장비인 AGV의 운영 효율화는 자동화 터미널의 생산성을 제고할 수 있다. 자동화 컨테이너 터미널에서의 AGV 운영은 기존 컨테이너 터미널의 이송 장비 운영과는 다르게, 지정된 경로에 따라 주행하는 등 자동화 시스템을 기반으로 운영되어 작업부하 및 교착, 충돌 등과 같은 문제들을 고려하여야 한다. 이러한 요소들을 방지하고 AGV 운영 효율화를 지향하기 위해서는 보다 정교한 모델이 필요하다. 따라서, 본 논문에서는 터미널 내 AGV 주행경로 및 작업 배정 상황을 고려한 AGV 스케줄링 모형을 제안한다. 해당 모형은 교착 상황에 대한 문제를 예방하고 AGV 대수 및 작업 개수 변경으로 다양한 Case를 생성해 AGV 주행상황을 만들어 알고리즘과 최적해 분석을 통해 제안한 알고리즘을 평가한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (3)
• /
• pp.597-599
• /
• 1998

기존의 공중전기통신망들이 B-ISDN으로 통합, 발전되어 가는 과정에서 경제성 및 효율성 등의 이유로 인해 필연적으로 기존망과 새로 구현하는 망 사이의 연동과정이 필요하게 되며 가능한 기존망의 기능을 수용하면서 구현될 수 있는 방안이 마련되어야한다. 본 논문에서는 B-ISDN과 Internet의 망간 프로토콜인 B-ISUP와 TCP/IP의 연동 프로토콜을 설계하고 연동 프로토콜을 검증하기 위해 페트리네트(petrinet)의 확장인 프레디키디(predicate)/액션(action) 네트를 이용하여 모델링하였다. 또한 동작성 확인을 위해 도달트리(reachability tree)를 이용하여 설계한 프로토콜이 교착상태(deadlock)없이 정상적으로 수행됨을 보였다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1995년도 제7회 한글 및 한국어 정보처리 학술대회
• /
• pp.175-180
• /
• 1995

한국어는 교착어이기 때문에 형태소 해석은 자연언어 처리에서 매우 중요한 역할을 담당한다. 한국어 형태소 해석에서 주로 사용되는 정보는 두 형태소의 결합 가능 유무를 나타내는 접속정보이다. 이 접속정보는 단순한 품사정보에 의해서 표현되기 때문에 형태소 해석기의 과잉 해석의 원인이 된다. 이를 줄이기 위해 언어 지식의 일종인 포섭관계가 제안되었다[5]. 그러나, 포섭관계를 검사하기 위한 포섭조건들은 수작업에 의해서 작성되었다. 수작업으로 작성된 이들 조건들은 일관성 유지하기 어려울 뿐 아니라 완전한 조건들을 구하기도 어렵다. 따라서, 본 논문에서는 이와 같은 문제를 해소하기 위해서 품사 태깅된 말뭉치를 이용해서 포섭조건의 자동 추출방법을 제안한다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1997년도 제9회 한글 및 한국어 정보처리 학술대회
• /
• pp.83-87
• /
• 1997

한국어는 실질형태소와 형식형태소가 결합되는 교착어라는 특성 때문에 품사 모호성을 비롯한 여러 가지 유형의 형태론적 모호성이 발생한다. 형태론적 모호성 해결의 관점에서 형태론적 모호성을 한국어의 특성에 따라 어근 유형 모호성, 형태소 분리 모호성, 형태소 길이 모호성, 불규칙 용언의 원형 복원 모호성, '아/에/이' 탈락 모호성 등으로 분류한다. 이 때 임의의 두 분석 결과에서 발생하는 모호성이 특정 유형에만 속하도록 모호성 유형들을 서로 독립적으로 정의한다. 또한 품사 모호성을 계층적 품사 분류 체계에 따라 $1{\sim}3$차적 품사 모호성으로 구분하고 국어사전에서 발견되는 품사 모호성을 분석한다. 이를 기반으로 형태론적 모호성의 유형을 단어 내에서 해결 가능한 것과 그렇지 않은 것으로 구분하여, 단어 내에서 해결 가능한 모호성을 해결하는 방법을 제안한다.