• 한국정보교육학회:학술대회논문집
• /
• 한국정보교육학회 2007년도 동계학술대회
• /
• pp.287-292
• /
• 2007

본 연구는 켈러의 ARCS(Attention, Relevance, Confidence, Satisfaction) 동기화 이론을 수학과 문제해결학습에 적용하여 학생들의 지적 수준과 능력에 맞는 동기유발 요소로 실제 학습동기를 유발시키고, 수학과 학습에 흥미와 관심을 갖도록 하는 코스웨어를 개발 및 적용하여 그 효과를 입증하는 데에 목적이 있다. 이를 위하여 ARCS 이론을 적용하여, 실생활 속에서 문제를 인식하고 동기화를 촉진시킬 수 있는 동영상 자료와 플래시 자료를 포함한 '동기유발자료'와 문제해결과정을 다양한 형태와 방법으로 연습할 수 있는 '스스로 공부해요' 메뉴를 포함한 코스웨어를 개발하였다. 개발된 코스웨어는 학생들의 관심과 흥미를 충분히 반영하여 스스로 조작하며 학습할 수 있도록 학습자 중심형태로 개발하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 추계학술발표논문집 (하)
• /
• pp.1973-1976
• /
• 2002

본 논문에서는 유 무선 네트워크 환경에서의 자료 일치성 유지를 위한 동기화 프로토콜(SyncML1.1)을 검증한다. 프로토콜 검증에 관한 기존 연구에서는 약한 일관성을 갖는 동기화 프로토콜은 다루어지지 않았으며 정리 증명 혹은 모델 채킹에 대한 선택적 접근으로인해 증명 영역이 제한적이었다. 본 연구에서는 프로토콜의 의미를 정의하고 행위 및 시스템 구조, 메시지 패싱에 대한 개별적 모델을 단계적으로 설계하는 한편, 동기화 프로토콜에서의 안전성 및 상호 배제, 궁극성 속성은 시퀀트 계산법에서의 역방향 전략으로 증명되며, 모델 채킹 기술을 하나의 증명 규칙으로 사용했다. 본 연구는 두가지 부분에서 특징과 의미을 갖는다. 첫째, 정리증명과 모델 채킹이 혼합된 검증 방법을 사용했다. 둘째, 객체 제약 언어 및 정형 명세 언어의 사용을 통해 모델의 생성을 보다 단계적이고 정형적으로 유도했으며 이를 통해 검증의 신뢰성 및 품질을 높였다.

• Spatial Information Research
• /
• 제17권1호
• /
• pp.67-77
• /
• 2009

CCD 카메라, GPS 및 IMU 등을 갖춘 모바일매핑시스템은 도로를 따라서 도로 영상 뿐 만 아니라 동시에 주변 시설물에 대한 많은 정보를 취득할 수 있다. 그러나 취득된 다수의 파일은 후처리 작업이 많을 경우 자료의 누락 또는 변질이 발생할 가능성이 매우 높다. 또한 다양한 조사지역에 대해서 여러 조사팀에 의해 자료가 생산되기 때문에 자료들이 상충하거나 품질이 차이가 날 수 있다. 본 연구에서는 보다 체계적인 모바일 매핑 자료 관리를 위해 영상 태그 규격인 Exif를 이용하여 정밀한 GPS 시간과 필수 정보를 내재화하여 조사자료 관리 체계를 위한 일관된 관리식별코드로 활용한다. 또한 대용량 영상파일과 관련 정보를 합리적이고 체계적으로 관리될 수 있도록 자료 동기화 기술을 이용한다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2019년도 제59차 동계학술대회논문집 27권1호
• /
• pp.7-8
• /
• 2019

자료경합은 두 개 이상의 스레드가 같은 공유메모리에 적절한 동기화 없이 접근하고, 적어도 한 개의 접근사건이 쓰기일 때 발생할 수 있는 동시성 오류이다. 자료경합은 프로그래머가 의도하지 않은 비결정적인 수행결과를 초래하여, 항공기 소프트웨어와 같은 고신뢰성이 요구되는 프로그램에서 치명적인 오류를 발생시켜 인적 물적 손해로 이어질 수 있다. 자료경합 탐지기법은 이러한 문제를 사전에 탐지하여 수정하는데 사용되어진다. 하지만 GPGPU 프로그램에서의 자료경합은 CPU 병행프로그램에서보다 복잡한 실행구조를 가지고 있어 스레드 및 메모리 계층, 스케줄링, 동기화 기법 등의 많은 변수가 존재한다. 이로 인해 실세계 프로그램에 자료경합 탐지기법을 적용하여 검증 시 이러한 변수들을 반영하여 실험하는데 많은 노력이 소요된다. 본 논문은 실세계 프로그램에서의 자료경합을 대표하는 4가지 패턴의 합성프로그램으로 이루어지고 실행 시 스레드 및 메모리 계층, 스레드 구조, 메모리 사용량 및 동기화 방안을 지정할 수 있는 벤치마크 모음을 제시한다.

• 한국산업정보학회논문지
• /
• 제15권5호
• /
• pp.137-148
• /
• 2010

본 논문에서는 대규모의 다양한 모바일 단말기와 서버로 구성된 모바일 오피스 지원 시스템을 제안한다. 나날이 다양한 모바일 단말기들이 출시되고 있으므로, 현재 적용되고 있는 모바일 오피스 지원시스템은 추후 단말기들 간의 상호호환성 결여, 자료동기화 및 단말기 장비관리의 어려움과 같은 문제에 봉착할 수 있으며 효율적인 모바일오피스 지원시스템에 관한 연구가 필요하다. 대규모의 외근직원을 두는 기업에서는 이런 현상이 더욱 심화될 것이다. 이에, 본 논문에서는 우선 대규모 외근직원을 두는 기업을 위한 모바일 오피스 지원시스템의 요구사항을 도출하였다. 또한, 원격 자료동기화 기술과 장비관리 기술을 적용하여 도출된 요구사항을 만족시키기 위한 방안용 제시한다. 본 논문의 모바일 오피스 지원시스템은 원격 자료동기화 기술을 통해 기업 구성원의 대규모의 다양한 모바일 단말기와 기업의 중앙 서버와의 자료를 일치시키며, 원격 장비관리 기술을 통해 관리자를 대신하여 모바일 단말기를 원격 관리할 수 있다. 본 논문에서는, OMA(Open Mobile Alliance)의 DS(Data Synchronization)와 DM(Device Management) 적용한 모바일 오피스 지원시스템을 제안한다. OMA DS와 DM은 현재 산업계 표준으로 받아들여지고 있기 때문에, 적용 시스템 간의 상호호환성을 보장할 수 있기 때문이다.

• 경영정보학연구
• /
• 제8권2호
• /
• pp.1-15
• /
• 2006

외근 사원들은 사무실 보다는 밖에서 주로 개인적으로 근무하는 경우가 많기 때문에, 개인 및 부서 전체의 일정관리가 대단히 어렵다. 개인이나 부서 전체의 일정을 변경할 필요가 있을 때마다, 일일이 모두에게 전화를 해서 이를 알려야 한다. 그런데, 외근 사원들이 가지고 다니는 PDA 등과 같은 이동통신 기기를 이용해서 필요할 때마다 가장 최근의 부서 일정을 다운로드하거나 본인의 일정을 업로드 할 수 있다면, 외근 사원들의 개인 및 부서 전체의 일정관리 문제를 쉽게 해결할 수 있다. 본 논문에서는 이동통신 환경에서의 자료동기화 기법을 이용하여 외근 사원들을 위한 일정관리 시스템을 설계하고 구현하였다. 이동통신 환경에서의 자료동기화란 이동통신 단말기에 저장된 자료와 중앙 관리 서버의 자료를 일치시키는 작업을 일컫는다. 즉, OMA(Open Mobile Alliance)에서 표준으로 제안하고 있는 SyncML 자료동기화 방법을 이용하여 언제 어디서나 외근 사원들이 부서 전체의 일정을 점검하고 본인의 일정을 부서 전체에 알릴 수 있는 일정관리 시스템을 설계하고 구현하였다.

• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2011년도 추계학술대회
• /
• pp.287-290
• /
• 2011

스마트폰에서 동기화 기능은 디폴트(default)값으로 설정되어 있다. 동기화가 설정된 스마트폰은 스마트폰 전용 케이블을 이용해 PC에 연결되면 자동적으로 스마트폰 데이터가 백업되어 저장된다. 이 백업 데이터는 일반적인 기술로는 내용을 분석하기가 어려워서 포렌식 기술을 적용하여야 범죄용의자의 정보를 알아낼 수 있다. 따라서 본 논문에서는 동기화 스마트폰의 백업 데이터에 대한 포렌식 분석을 통한 포렌식 증거자료에 대한 연구를 한다. 실험실 환경에서 스마트폰에 개인 금융정보를 보내고, 스마트폰을 훼손하였다고 가정하에 실험을 한다. 스마트폰의 백업 데이터를 포렌식 툴을 사용하여 개인 금융정보 및 범죄 연관 데이터를 분석하고, 포렌식 기술을 적용하여 법정 증거자료로 채택되도록 연구한다. 본 논문을 통해 스마트폰 포렌식 분석에 대한 기초자료로 활용 할 수 있을 것이다.

• 대한의용생체공학회:의공학회지
• /
• 제22권1호
• /
• pp.81-90
• /
• 2001

본 연구에서는 디지털 영상 뇌파계(digital video electroencephalogram, Digital VEEG)에서 비디오 영상과 뇌전도 파형의 동기화된 편집 시스템을 구성한다. 이 시스템은 기존 아날로그 영상 뇌파계(analog video electroencephalogram)의 동기화 문제와 디지털 영상 시스템에서의 영상편집 문제를 해결하기 위하여 MPEG-I(이하 MPEG) 고압축 기술을 이용한 MPEG 인코딩 보드(encoding board)와 MPEG 편집 엔진(editing engine)을 각각 사용하였다. 시스템은 디지털 영상뇌파계모듈과 디지털 편집 모듈로 구성되며, 뇌전도모듈에서는 환자에게 연결된 전극을 통해 들어온 뇌파를 생체신호증폭기를 이용하여 증폭한 후 AD 보드(analog to digital board)를 이용 디지털화한다. 디지털 카메라로 촬영된 환자영상의 아날로그 영상신호(NTSC 신호)는 MPEG 인코딩 보드를 이용하여 고압축 디지털화한다. 이후 디지털화된 뇌전도신호와 MPEG 형식의 영상을 시간 동기화하여 두 개의 모니터에 각각보여준다. 편집 모듈에서는 영상신호와 뇌파신호를 어느 부분이든 간단한 조작으로 오려 붙이기(cut and paste) 기능을 이용할 수 있다. 본 시스템은 사용된 데이터 모두 디지털 기술을 이용하여 영상과 뇌파신호의 정확한 동기화 및 각각의 데이터의 오려 붙이기 기능을 가능케 하였으며, 이는 환자의 데이터를 관리 및 보관하는데 있어, 임상의에게 의미 있는 자료만을 모아서 효율적으로 관리할 수 있게 해준다. 이와 같은 장점을 갖는 디지 영상뇌파계 편집시스템을 구현하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (3)
• /
• pp.774-776
• /
• 1999

공유메모리 병렬프로그램에서의 경합은 프로그램 수행에서 원하지 않는 비결정성을 야기할 수 있기 때문에 반드시 탐지되어져야 한다. 기존의 탐지 기법들은 경합을 탐지하기 위해서 공유 자료구조를 사용하므로 심각한 병목현상을 일으킨다. 본 논문에서는 동기화가 있는 프로그램에서 병목현상을 줄임으로써 탐지의 효율성을 높임과 동시에, 최초로 발생한 경합을 탐지하기 위해서 감시대상이 되는 접근사건들의 수를 감소시키는 기법을 제시한다. 이러한 목적을 위해서 사건선택 알고리즘과 실제적인 실험결과를 통해 본 기법의 효율성을 보인다.

• 정보관리학회지
• /
• 제25권2호
• /
• pp.115-125
• /
• 2008

이 연구의 목적은 대학도서관 이용자가 채팅을 통한 정보봉사 서비스를 이용하는데 있어서 어떠한 요소에 의해 동기화가 이루어지며 또한 어떠한 요소에 의해서 동기화가 방해되는지를 밝혀내고자 하는데 있다. 이러한 연구의 목적을 성취하기 위해, 본 연구는 미국의 플로리다 주립대학에서 문헌정보학을 전공하는 대학원생들을 대상으로 하여 2007년 4월과 5월에 인터뷰를 실시하였다. 인터뷰자료의 분석결과 채팅을 통한 정보봉사서비스를 대학도서관 이용자들이 이용하는데 있어서 다음과 같은 요소들이 동기화 요인으로 작용한다는 사실이 밝혀졌다: 이용의 편리성, 익명성, 서비스를 이용하는데 있어서 비용이 거의 들지 않는다는 점. 한편, 채팅을 통한 정보봉사서비스를 이용하는데 있어서 방해요인으로는 다음과 같은 요소들이 언급되었다: 서비스를 기다리는 시간, 접근성, 인터페이스 디자인, 가상공간에서 자신의 의사를 정확히 표현할 수 없는 불편함.