http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
MANET에서 CSP/FDR을 이용한 EAODV 라우팅 프로토콜 검증
안영아(Young-Ah Ahn),전철욱(Chul-Wook Geon),김일곤(Il-Gon Kim),이명선(Myoung-Sun Lee),최진영(Jin-Young Choi) 한국정보과학회 2004 한국정보과학회 학술발표논문집 Vol.31 No.1A
MANET에서 라우팅 경로가 설정되었다고 하더라도 노드의 이동성으로 인하여 네트워크의 끊김 현상이 발생하여 재라우팅을 해야 하는 오버헤드와 전송 지연이 발생한다. 이러한 문제를 해결하기 위하여 각 노드의 에너지를 기반으로 에너지 그룹을 형성하고, 반응적 라우팅 프로토콜인 AODV를 수정하여 EAODV(Energy aware ADODV)를 제안하고 이를 정형 기법을 통해 명세하고 항상 라우팅 패스를 찾는다는 속성을 검증한다.
MANET 에서 Secure Property를 고려한 라우팅 프로토콜 연구
안영아(Young-Ah Ahn),최진영(Jin-Young Choi) 한국정보과학회 2003 한국정보과학회 학술발표논문집 Vol.30 No.2Ⅲ
MANET 환경에서 Secure Property를 만족하며 노드의 Connectivity 끊김 현상을 사전에 예견하고 또한 Power group을 형성하여 liveness을 지원한다. 또한 Authentication을 만족하기 위해 Localized Certificated 방식의 매카니즘을 이용하여 Secure 라우팅 프로토콜을 제안한다.
천영아(Yeong Ah Cheon),남진수(Jin-su Nam),손경수(Kyung Soo Son),임영태(Young Tae Im),안원기(Won Kee Ahn),정봉근(Bong Geun Chung) 대한기계학회 2015 大韓機械學會論文集B Vol.39 No.5
산화그래핀 소재를 합성하여 투명한 박막 코팅기술을 개발하고 특성을 평가하였다. 스핀과 스프레이 공정을 동시에 이용하여 산화그래핀을 유리 기판에 균일하게 박막코팅을 하였다. 균일하게 산화그래핀을 스핀-스프레이 공정을 이용하여 박막코팅을 하기 위하여 유리기판을 amine-functional group으로 표면개질을 하였다. 또한, 스핀-스프레이 공정을 이용하여 산화그래핀 박막을 4층까지 적층을 하였고 86% 이상의 투명도를 확보하였다. 이와 같은 합성된 산화그래핀 박막소재의 스핀-스프레이 코팅 기술은 다양한 전자제품들의 display를 대면적으로 코팅할 수 있을 것으로 기대되어진다. In this study, we synthesized graphene oxide and developed novel spin-spray coating technology. The graphene oxide thin film was uniformly coated on amine-functionalized glass surfaces using spin-spray coating technology. We also stacked up to four layers of graphene oxide on glass substrates in a uniform manner. From the results, we infer that this spin-spray coating of graphene oxide thin film could be a powerful tool for various electronic display coating applications.
시각 현상의 특성을 이용한 영상의 질 향상에 관한 연구
안영아(Young-Ah Ahn),김태윤(Tai-Yun Kim) 한국정보과학회 1995 한국정보과학회 학술발표논문집 Vol.22 No.2A
이미지 처리 시스템에서 사람이 좀 더 쉽게 대상을 판별하며 눈에 거슬리지 않는 좋은 이미지를 창출하는 것은 매우 중요한 일이다. 좋은 이미지를 판별하는 것은 매우 주관적일 뿐만 아니라 주어진 응용 분야에 강하게 의존한다. 영상은 인간의 시각을 통하여 인지되기 때문에 시각 현상을 전제하지 않는 영상의 향상은 근본적으로 기계에 촛점을 맞춘 것이라 할 수 없다. 그러나 시각 현상의 정보는 실제로 응용에 효과적으로 쓰이기 보다는 상호 별개의 현상들로 나열한 지식의 형태이기에 이론적인 체계가 부족하여 적용에 어려움이 있다. 본 연구에서는 인간의 시각 현상을 영상 향상에 이용하고자 하였으며 영상의 대비도에 변화를 주어 이미지를 향상시키는 방법 중의 하나인 히스토그램 평활화 기법에 두 가지 시각 현상 정보인 밝음 인지 특성과 마하 밴드 패턴 효과를 주어 처리하였다. 그 결과로 밝음 인지 특성은 좀 더 자연스러운 이미지를 특히 어두운 부분의 변화를 인지할 수 있었고 마하 밴드 패턴 특성은 눈의 피로가 적은 이미지를 생성할 수 있었다.
이수영(Su-Young lee),김진현(Jin-Hyun Kim),안영아(Youna-Ah Ahn),심재환(Jae-Hwan Sim),양진석(Jin-Seock Yang),이나영(Na-Young Lee),손한성(Han-Seong Son),최진영(Jin-Young Choi) 한국정보과학회 2004 한국정보과학회 학술발표논문집 Vol.31 No.2Ⅱ
항공 및 국방 산업 등에서는 고안전성 임베디드 시스템의 신뢰성과 안전성을 보장하기 위해 임베디드 시스템의 설계 및 구현에 정형기법을 적용하고 있다. 본 논문은 그러한 정형기법을 적용하여 임베디드 시스템 소프트웨어의 요구사항 명세(Software Requirements Specification:SRS)와 요구명세를 바탕으로 실제 구현을 위한 설계명세(Software Design Specification:SDS)를 정형기법을 이용하여 명세하였다 본 논문은 정형 명세 언어로 작성된 요구명세와 설계명세 간의 부합성 검사를 하고 더 나아가 임베디드 시스템 요구 분석에서 더 정 확하게 소프트웨어를 구현할 수 있는 방법을 제시 하고자 한다.
STATEMATE MAGNUM 모델체킹을 위한 정형명세 기법 연구
김진현(Jin Hyun Kim),안영아(Young Ah Ahn),장상철(Sang Chul Jang),이나영(Na Young Lee),최진영(Jin Young Choi) 한국정보과학회 2004 한국정보과학회 학술발표논문집 Vol.31 No.1B
STATEMATE는 Statecharts로 시스템의 행위를 설계하는 도구이다. 근래 들어. STATEMATE MAGNUM은 설계 뿐 아니라 모델체킹을 이용한 정형검증의 기능을 가지고 있다. 모델체킹은 상태 기반의 설계명세 된 시스템을 시제 논리로 그 요구 명세를 기술하여 설계명세가 요구명세를 만족시키는지를 검증하게 된다. 하지만 설계명세가 큰 경우, 모델체킹 시 상태폭발을 일으켜 시스템을 검증하지 못하게 한다. 모델체킹의 상태 폭발을 줄이기 위해서는 기본적으로 모델체커의 알고리즘을 개선시키거나, 모델을 추상화 시킨다. 본 연구에서는 모델을 추상화 시키더라도 검증 결과에는 별 영향을 주지 않는 부분을 추상화하고, 검증 결과에 직접 적인 영향을 주는 부분을 상세 명세하는 기법을 적용하여 실시간 운영체제의 코드를 어떻게 검증을 하는지를 보여준다.
AODV에서 경로 불안정 예측에 기반한 효율적 경로 관리
서석 ( Suk Seo ),안영아 ( Young-ah Ahn ) 한국정보처리학회 2004 한국정보처리학회 학술대회논문집 Vol.11 No.1
반응적 Ad hoc 라우팅인 AODV의 경로관리는 노드 이동, 노드 혼잡 등의 원인으로 지정시간 내에 응답을 하지 못할 경우 경로 단절을 감지한 뒤 경로복구 과정을 수행한다. 그러나 이러한 경로관리 방법은 능동적이지 못하여 단절 후 경로 재 설정까지 시간 지연이 발생하기 때문에 신속한 경로 복구에 어려움이 있다. 본 논문에서는 기존 AODV에 대한 추가적인 제어 패킷을 발생시키지 않고 경로를 구성하고 있는 이웃노드 Hello 패킷의 수신 시간차를 이용하여 경로 불안정을 예측, Expanding Ring Search 알고리즘을 활용한 효율적인 경로관리 기법을 제시한다.
백광진,안영아,김태우 高麗大學校附設 컴퓨터科學技術硏究所 1999 JOURNAL OF COMPUTER SCIENCE & ENGINEERING TECHNOLO Vol.1 No.-
MOM(Message Oriented Middleware)은 새로이 주목받고 있는 분산 통신을 위한 개념이다. 기존의 MOM은 이동 컴퓨팅 환경을 위한 기능을 지원하지 않고 있다. 앞으로 이동 컴퓨팅에 대한 요구는 증가할 것이며 이동 컴퓨팅을 위한 보다 동적인 서비스 제공이 필요하다. 본 논문은 기존 MOM 시스템을 기반으로 하여 이동 컴퓨팅 환경을 지원하는 M-MOM(Mobile MOM) 시스템을 제안한다. M-MOM 환경에서 이동 호스트에서 실행되는 응용 프로그램과 고정 호스트에서 실행되는 메시지 큐 관리자는 베이스 스테이션(Base Station)에서 실행되는 메시지 에이전트를 통해 메시지 큐 관리자와 동적으로 연결된다. M-MOM은 M-RPC(Mobile Remote Procedure Call)에서는 제공하지 않는 베이스 스테이션의 결함을 허용하는 능력과 통신 효율면에서 향상된 기능을 제공한다. MOM (Message Oriented Middleware) is distributed communications framework. The Interest in MOM systems is growing rapidly. Existing MOM doesn't provide functions for mobile computing environment. In the future, the requirement for mobile computing will increase and more dynamic service is needed. In this paper, we present M-MOM (Mobile-MOM) that supports mobile computing environment and bases on established MOM system. In M-MOM environment, applications are dynamically connected with Message Queue Managers through Message Agents. M-MOM provides a minimum level of fault-tolerance in BS and improves the performance of communication function.