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

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

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2003년도 춘계종합학술대회논문집
• /
• pp.344-350
• /
• 2003

본 논문에서는 원격ㆍ다원으로 구축된 컴퓨팅 환경에서 공동 사용자간에 발생하는 이벤트를 순서화 하여 공유하는 방법과 이를 멀티미디어 자료에 적용하여 구현함으로써 통신망을 이용한 공동작업의 효과를 향상시키는 공유기술을 제안한다. 이 공유방법은 정보통신망의 서로 다른 지역에 설치된 사용자간의 프리젠테이션, 저작, 활용, 이벤트 발생 등을 원활하게 하여 원격교육, 화상회의, 멀티미디어 콘텐츠 공동저작 둥 원격ㆍ다원 프로젝트의 수행에 있어 효율성을 크게 향상시킨다. 기존의 공동 화이트보드(sharing white board) 시스템에 있어서는, 멀티미디어 단위 콘텐츠를 반드시 전용 프로그램에 의하여 저작하고 이미 저작되어 있는 콘텐츠나 프로그램은 사용할 수 없으며, 원격ㆍ다원으로 접수되는 명령어의 입력순서를 정렬하는 기술이 적용되지 않은 상태였으므로 순서오류에 의한 오동작을 감수해야 하는 문제점을 안고 있었다. 이에, 본 논문은 프로그램의 종류에 관계없이 윈도우 시스템으로부터 입출력 이벤트(event)를 추출하는 기술과 운영체제 내의 프로그램간 전송에 있어 이벤트를 후킹(hooking)하는 기술 및 공유 프로그램의 처리결과를 원격ㆍ다원으로 분산된 환경에 전달하는 알고리듬을 설계하고 이를 구현함으로써 원격ㆍ다원 환경의 모든 참여자가 오류 얼이 동일한 결과를 정확하게 공유할 수 있도록 개선하였다. 본 논문의 공유기술은 멀티미디어 콘텐츠의 공동저작, 원격교육에 있어서 공동칠판의 활용, 화상회의에 있어서 프리젠테이션 화면 제공 등에 활용함으로써 온라인 면대면 효과를 향상시키는 것으로 확인되었다.하였으나(P<0.05), 계란1개당 사료비에서는 18∼20g 공급구간에 유의차가 없었다. (시험 2) 육용종계 하절기 산란피크계의 에너지 공급수준에 관한 연구: 육용종계 산란기의 적정 에너지공급체계를 구명하기 위하여 강원도 홍천군 북방면소재 홍천종계에서 케이지 사양형태의 로스 육용종계 400수를 공시하여 2002년 4월부터 2003년 1월까지 40주간 (24∼64주령) 표2와 같은 4가지 에너지공급체계로 사양시험을 실시한 결과를 요약하면 다음과 같다. 1) 총 산란율, 종란 산란율, 평균난중 및 성계 생존율은 모두 처리간에 유의적인 차이가 인정되지 않았으나, 산란율은 1일 에너지공급량이 많을수록 오히려 저하하는 경향을 보였다. 2) 사료요구율, ME 및 CP요구량과 사료비는 모두 1일 에너지공급량이 많아질수록 증가하는 경향을 보였다(P<0.05).dis에 대한 키토산의 최소저해농도는 각각 0.1461 mg/mL, 0.2419 mg/mL, 0.0980 mg/mL 및 0.0490 mg/mL로 측정되었다. 또한 2%(v/v) 초산 자체의 최소저해농도를 측정한 결과, B. cereus, L. mosocytogenes, E. eoli에 대해서는 control과 비교시 유의적인 항균효과는 나타나지 않았다. 반면에 S. enteritidis의 경우는 배양시간 4시간까지는 항균활성을 나타내었지만, 8시간 이후부터는 S. enteritidis의 성장이 control 보다 높아져 배양시간 20시간에서는 control 보다 약 2배 이상 균주의 성장을 촉진시켰다.차에 따른 개별화 학습을 가능하게 할 뿐만 아니라

• 한국통신학회논문지
• /
• 제35권2C호
• /
• pp.238-245
• /
• 2010

협대역 사용자와 주파수를 공유하는 직교 주파수 분할 (orthogonal frequency division multiplexing: OFDM) 기반 인지 라디오 시스템에서 기존 사용자에게 미치는 간섭을 최소화하도록 부분대역모드가 제안된 바 있다. 부분 대역모드는 직교 주파수 분할 다중화 신호 전체 대역을 여러 부대역으로 나눈 뒤 스펙트럼 센싱 결과에 따라 특정 부대역만 이용할 수 있도록 한 것이다. 이 논문에서는 부분대역모드 정보를 프리앰블로 전송할 때 검출오류확률을 이론적으로 분석하고 그 성능을 무선 지역망 환경에서 살펴본다. 그 결과 이론적으로 얻은 검출오류확률이 모의실험 결과와 잘 들어맞고, 신호대잡음비가 낮을 때 검출오류확률이 $10^{-3}$이하임을 볼 수 있었다.

• 정보처리학회논문지D
• /
• 제15D권4호
• /
• pp.557-568
• /
• 2008

온톨로지는 시멘틱 웹의 핵심요소로서, 도메인의 공유지식을 개념화하여 정형적으로 표현한 것이다. 잘 정의된 온톨로지를 사용함으로써 상호운용성을 기반으로 하는 시멘틱 웹 분야의 정보시스템 품질을 향상시킬 수 있다. 그러나, 실제로는 오류를 포함하지 않는 고품질의 온톨로지를 개발하는 것은 수월하지 않다. 따라서, 온톨로지 설계기법과 더불어서, 온톨로지에 내재된 에러를 검출하는 기능을 지원하는 다양한 분석도구/기법들은 온톨로지 개발자들에게 많은 도움이 될 수 있다. 본 논문에서는, 형식개념분석기법을 기반으로 온톨로지의 핵심요소들을 분석하는 기법을 제안하고, 온톨로지에 내재되어 있는 오류를 검출하기 위한 지원도구를 개발하였다. 본 연구결과는, 기존의 온톨로지를 수정보완할 경우의 지침으로서 뿐만아니라, 고품질의 온톨로지를 개발할 수 있는 유용한 도구로서 이용될 수 있다.

• 한국정보과학회논문지:소프트웨어및응용
• /
• 제29권1_2호
• /
• pp.1-9
• /
• 2002

진화 신경망은 기존의 경험적 지식 대신에 진화 알고리즘의 전역 탐색 능력을 사용해서 최적의 신경망을 찾는다. 하지만 실세계의 복잡한 문제는 하나의 신경망으로 해결하기 어려운 경우가 많기 때문에 최근에 하나 이상의 신경망을 결합한 다중 신경망에 관한 연구가 활발히 진행되고 있다. 본 논문에서는 진화과정 중 상호보완 가능한 다양한 신경망을 얻기 위한 종분화 방식을 제안한다. 또한 적합도 공유를 통해 종분화된 진화 신경망의 결과를 효과적으로 결합하기 위해 추상 레벨, 순위 레벨, 측정치 레벨의 여러 결합 방법을 이용한 다중 신경망 시스템을 개발한다. UCI 데이터베이스의 벤치마크 문제 중 호주 신용카드 승인 데이터에 대하여 실험한 결과, 종분화를 사용해 탐색한 신경망을 결합한 경우는 더 높은 인식률을 보였으며 Borda 결합의 경우 0.105의 오류율을 보여 제안한 방법이 효과적임을 알 수 있었다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제2권9호
• /
• pp.595-602
• /
• 2013

WiFi 신호지도법은 실내 환경을 위한 효과적인 위치 추적 기술로 잘 알려져 있다. 하지만 이 기술은 주어진 공간 전역에 걸쳐 미리 구축된 대용량의 신호지도가 있어야 적용할 수 있다. 또한 이 기술을 적용하기 위해서는 환경이 변함에 따라 전문가에 의해 주기적으로 새로운 신호지도를 구축하거나 변경하는 작업이 필요하다. 최근 들어 이러한 문제점을 극복하기 위한 한 가지 방법으로서, 군중-제공 신호지도 작성 방식이 많은 연구자들의 관심을 모으고 있다. 이 방식은 다수의 자발적인 사용자들로 하여금 특정 공간에서 수집한 자신들의 신호지도를 다른 사람들과 함께 서로 공유할 수 있도록 해준다. 따라서 군중-제공 신호지도 방식을 이용하면 신호지도를 자동으로 최신의 상태로 변경할 수 있다. 하지만, 대부분의 군중-제공 신호지도 작성 시스템들에서는 사용자들이 자신의 위치를 스스로 판단하여 수작업으로 직접 입력하도록 요구하고 있다. 그 뿐만 아니라, 이들 시스템에서는 다수의 사용자들로부터 수집되는 신호지도들 중에서 오류가 있는 것들을 찾아내고 이들을 여과해주는 체계적인 메커니즘을 가지고 있지 않다. 본 논문에서는 군중-제공 신호지도 작성 및 위치 추적(CMAL) 시스템의 설계에 대해 소개한다. 본 논문에서 제안하는 시스템은 다수의 스마트폰 사용자들로부터 수집된 지역 신호지도들을 이용하여 자동으로 공유 신호지도를 구축/갱신할 수 있을 뿐만 아니라, 동시에 새로운 신호지도를 이용하여 각 스마트폰 사용자의 위치를 추적할 수 있는 기능을 제공한다. 본 시스템은 각 스마트폰에서 신호지도를 수집하는 다수의 클라이언트들과, 공유 신호지도 데이터베이스를 관리하는 중앙의 서버로 구성된다. 각 클라이언트에는 스마트폰 사용자의 실시간 위치를 추적하면서 동시에 지역 신호지도를 생성하는 파티클 필터-기반의 WiFi SLAM 엔진을 내장하고 있으며, 서버에는 공유 신호지도의 무결성 유지를 위한 가우시안 보간법 기반의 오류 여과 알고리즘을 채택하고 있다. 다양한 실험들을 수행한 결과를 통해, 본 논문에서 제안한 시스템의 높은 성능을 확인할 수 있었다.

• 한국과학교육학회지
• /
• 제37권3호
• /
• pp.407-416
• /
• 2017

이 연구에서는 협력적 비유 생성 활동에서 나타나는 비유의 변화과정과 소집단 및 전체 학급 토론의 특징을 분석하였다. 서울특별시에 소재한 고등학교에 재학 중인 24명의 학생을 대상으로 협력적 비유 생성 활동을 적용한 수업을 진행하였다. 학생들이 생성한 개인 비유와 소집단 비유, 수정된 소집단 비유를 비교하여 비유의 변화과정을 분석하였으며, 비유 생성 활동을 위한 소집단 토론과 전체 학급 토론의 특징을 분석하였다. 연구 결과, 비유의 변화 과정은 공유속성이 추가되는 경우, 비공유 속성을 인식하는 경우, 대응 오류가 수정되는 경우의 세 가지 변화 유형이 나타났다. 학생들은 여러 개인 비유 중 하나를 선택하는 방식으로 소집단 비유를 생성하였고, 이때 비유의 설명력, 독창성, 친숙도 등을 고려하는 것으로 나타났다. 학생들은 비유 생성 활동을 주관적이고 창의적인 활동이라고 인식하여 비유 생성 활동에 대한 정서적 부담감이 적었고 소집단 토론에서 갈등의 요소도 적었다. 전체 학급 토론에서는 다양한 비유가 제시되었으며 전체 학급 토론의 경쟁적인 분위기는 학생들이 비유가 갖는 비공유 속성에 주목하게 하였다. 소집단 비유 수정 단계에서 학생들은 비공유 속성을 비유가 갖는 제한점으로 추가하거나 비공유 속성을 갖지 않도록 비유를 변형하는 방식으로 비유를 수정하였고, 새로운 비유를 생성하는 경우는 거의 없었다. 이상의 결과를 바탕으로 협력적 비유 생성 활동을 적용한 수업을 효과적으로 진행하기 위한 방안을 논의하였다.

• 논리연구
• /
• 제10권1호
• /
• pp.25-64
• /
• 2007

본 논문에서 필자는 수학에 대한 구조주의적 해석들은 수학의 객관성을 설명하는 문제인 비공허성의 문제를 해결하지 못하고 있음을 보이고자 한다. 제거적 구조주의가 비공허성의 문제를 해결하지 못한다는 것은 대부분의 수학철학자들 사이에서 공유되는 견해이며, ante rem 구조주의는, 케래넨의 논증을 수정한 필자의 강한 논증에 의하면, 수학적 대상들에 대한 적절한 동일성 설명을 결코 제공할 수 없기 때문에, 결국 비공허성의 문제를 해결하지 못한다. 또한, 양상 구조주의자인 헬만의 경우에는, 비공허성의 문제에 대한 양상 구조주의적 해결을 가능케 해주는 주장(산수와 관련하는 경우, "${\omega}$-순서열 체계가 논리적으로 가능하다")에 이르는 그의 증명이, 필자의 판단에 따르면, 논점 선취의 오류를 저지르고 있다.

• 한국정보기술응용학회:학술대회논문집
• /
• 한국정보기술응용학회 2003년도 춘계학술대회 모바일 비즈니스 이노베이션
• /
• pp.67-68
• /
• 2003

IMT-2000에서 지원하는 멀티미디어 서비스는 실시간 데이터(Real-time data)와 비실시간 데이터(Non-relatime data)로 구분할 수 있는데 전송의 실시간성 VBR(Variable Bit Rate)이나 버스트성의 멀티미디어 데이터의 경우 자원의 이용률이 낮아 비효율적이다. 비실시간 데이터는 전송 지연에는 큰 영향을 받지 않으며 다만 오류 없이 전송될 것을 요구된다. 그러므로 채널의 이용률을 높일 수 있는 채널 공유방식에 적합하나 경쟁 시 충돌이 발생할 수 있으므로 이 문제를 해결할 것이 요구된다. 본 연구에서는 실시간 데이터를 위해 고정 액세스 방식으로 고유의 채널을 예약하여 사용하고, 전송 패킷이 없으면 우선 순위(Priority) 방식으로 비실시간 데이터를 전송하는 다중 액세스 방법을 제시한다.

• 한국위성정보통신학회논문지
• /
• 제8권4호
• /
• pp.1-5
• /
• 2013

Cognitive Radio는 유휴 스펙트럼을 찾아 환경에 맞는 통신방식과 주파수 대역폭을 능동적으로 판단해 재활용하는 지능적인 간섭회피로 방식으로 스펙트럼을 공유하여 전파자원효율을 극대화 하는 기술이다. 기존의 협력 스펙트럼 센싱은 협력하는 사용자들의 채널 상태만을 고려하여 임계치를 정하고 있으며, 모두 같은 고정된 오경보 확률을 적용하여 센싱하게 된다. 오경보 확률은 오류 검출과 관계가 있으며, 고정된 오경보 확률은 검출확률의 감소의 문제를 가진다. 따라서 본 논문에서는 CR사용자의 채널상태를 고려할 뿐만 아니라 채널 상태에 따른 다른 오경보 확률을 차등 적용하여 협력 스펙트럼 센싱을 하는 시스템 모델을 제안하고 분석한다. 시뮬레이션 결과를 통해 검출확률 향상을 보인다.