• 제목/요약/키워드: 증명의 의미의 지도

검색결과 139건 처리시간 0.022초

저수조 자동 분류를 이용한 효과적인 수질 오염 관리 (Effective Water Pollution Management using Reservoir Tank Automatic Classification)

  • 정경용;전인자
    • 한국콘텐츠학회논문지
    • /
    • 제9권8호
    • /
    • pp.1-8
    • /
    • 2009
  • IT 융합 기술의 발전에 따라 정부의 4대강 복원을 위한 마스터플랜이 구축되면서, 환경 친화적인 수질 오염 관리의 중요성이 부각되고 있다. 본 논문에서는 친환경 저수조의 수질 향상과 온라인 관리를 하기 위해서 저수조 자동 분류를 이용한 효과적인 수질 오염 관리를 제안하였다. 제안된 방법에서는 수질오염 평가의 7가지 요소들을 정의하였고 센서를 이용하여 수소이온농도(pH), 화학적 산소요구량(COD),부유 물질량(SS), 용존 산소량(DO), 대장균군수(MPN), 총인 (T-P), 총질소(T-N)에 따른 적합한 수질 오염 관리를 하였다. 저수조의 7가지의 수질 오염 요소간의 측정치를 평가하고 [1,9] 사이에 분포하도록 정규화하였다. 저수조 자동 분류를 이용한 수질 오염 관리 시스템의 성능 평가를 하기 위해 F-측정식을 이용하여 유용성을 검증하였다. 평가 결과, 기존 시스템에 대한 만족도의 차이가 통계적으로 의미가 있음을 증명하였다.

대학생의 웰니스, 대학생활만족 및 학습몰입과의 관계 (Relationships between Wellness, Campus-life satisfaction and Learning Flow among University Students)

  • 안현숙
    • 한국콘텐츠학회논문지
    • /
    • 제16권2호
    • /
    • pp.494-502
    • /
    • 2016
  • 본 연구는 대학생들의 웰니스가 대학생활만족 및 학습몰입에 미치는 영향력을 분석하는 것이 목적이다. 연구의 목적을 달성하기 위해 웰니스, 생활만족, 학습몰입에 관한 이론적 배경을 바탕으로 연구모형 및 가설을 설정하였다. 본 연구의 제안된 연구모형은 대구지역 대학 재학생 214명을 대상으로 SmartPLS 2.0을 이용하여 구조방정식 모형으로 분석하였다. 분석결과, 첫째, 정신적, 지적, 사회적, 정서적 웰니스는 대학생활만족에 정(+)의 영향을 미치는 것으로 나타났지만, 신체적 웰니스는 대학생활만족에 유의한 영향을 미치지 않는 것으로 나타났다. 둘째, 대학생활만족은 학습몰입에 정(+)의 영향을 미치는 것으로 나타났다. 본 연구의 결과는 최적의 상태를 의미하는 대학생의 웰니스가 대학생활만족도를 높이고 이는 곧 학습몰입에도 영향을 미친다는 점을 실증적으로 증명하였다. 따라서 본 연구의 결과를 기반으로 대학에서 대학생활만족 및 학습몰입을 높이기 위해 대학생들의 웰니스를 향상시킬 수 있는 다양한 프로그램을 마련하는 노력이 필요할 것으로 보인다.

탐사저널리즘의 주체 변동: 공영모델의 조락과 비영리모델의 부상 (Change in the Leading Provider of Investigative Journalism: the Decline of the Public Service Model and the Emergence of a Nonprofit Model)

  • 박인규
    • 한국콘텐츠학회논문지
    • /
    • 제17권8호
    • /
    • pp.27-38
    • /
    • 2017
  • 2010년대 공영방송에서 탐사보도가 쇠락한 반면 비영리 매체 <뉴스타파>가 신뢰받는 탐사보도 기관으로 부상했다. 본 연구는 그 이유를 탐사보도의 현실적인 조건, 즉 저널리스트와 체계, 제작문화가 공영방송과 뉴스타파에서 어떻게 구현되었는가의 관점에서 살펴보았다. 정부의 압박과 경영진의 탈저널리즘 정책으로 공영방송의 탐사보도는 위축되고 제작진의 의지는 약화되고 그간 형성된 제작전통도 무너졌다. 뉴스타파는 저널리즘 실천의 의지, 자율적인 제작문화를 바탕으로 단시간에 영향력 있는 탐사보도 기관이 되었다. 역량과 의지가 있는 저널리스트와 장시간의 취재를 지원하는 시스템, 그리고 제작의 독립성이 보장될 때 의미 있는 탐사보도가 가능하다는 사실을 증명한다. 탐사보도는 해당 방송의 저널리즘 환경과 제작문화의 소산이다.

진화론으로 바라본 20세기 현대 음악 -존 케이지 4분 33초를 중심으로- (Evolutionary Theory and Twentieth Century Music -Focused on 4'33" by John Cage-)

  • 김효경
    • 한국콘텐츠학회논문지
    • /
    • 제20권10호
    • /
    • pp.100-108
    • /
    • 2020
  • 20세기 음악은 다르다. 이로 인하여 20세기 음악은 이전의 음악과 공통점을 찾아볼 수 없는 음악, 단절된 음악으로 인식되어왔다. 본 연구는 단절된 음악으로 여겨져 온 20세기 음악의 음악사적 연속성을 증명하기 위해 다윈의 진화론을 존 케이지 <4분 33초>에 적용해 보았다. 소리가 없는 음악으로 늘 논란의 대상이 되어온 <4분 33초>를 진화론의 관점에서 바라본다면, 이는 서양음악 속에 늘 존재해온 쉼표와 그 명맥을 같이한다. 쉼표는 음악 기보가 시작된 이래, 그 형태와 의미 면에서 다양한 변이를 거쳤으며, 20세기에 이르러 하나의 음악으로 존중될 정도의 확장을 이루었다. 이렇게 확장된 쉼표 위에 전기 개발이 이룩한 새로운 음악 환경이 접목되었고, 이로 인해 <4분 33초>가 20세기를 선도하는 음악으로 선택될 수 있었음을 주장하고자 한다. 본 연구는 다름의 출현이 단절과 고립이 아닌 관점의 전환으로 이어져야 함을 <4분 33초> 연구를 통하여 제안 해보고자 하였다.

무선 센서 네트워크에서 (m,k)-firm 스트림을 위한 MintRoute 프로토콜의 확장 (A Revised MintRoute Protocol for (m,k)-firm Streams in Wireless Sensor Networks)

  • 김기일
    • 한국정보통신학회논문지
    • /
    • 제16권9호
    • /
    • pp.2050-2055
    • /
    • 2012
  • 센서 네트워크가 대중화되면서 서로 다른 요구사항을 가진 다수의 응용 프로그램이 개발되고 있다. 특히, 센서 데이터의 특성상 손실되거나 시간이 지난 데이터는 의미가 없기 때문에 신뢰성과 실시간성은 매우 중요한 요구사항이다. 이를 위하여 다양한 연구들이 진행되었지만 대부분의 연구는 오직 하나의 요구사항만이 고려되었다. 이러한 문제점을 해결하기 위하여 본 논문에서는 두 개의 요구사항을 만족시키는 방안을 제안한다. 제안 메커니즘에서는 신뢰성을 위하여 개발된 MintRoute 프로토콜을 확장하여 실시간 서비스인 (m,k)-firm 스트림을 지원하도록 몇몇 기능을 확장하였다. 또한, 시뮬레이션을 통하여 성능 검증 및 제안된 프로토콜이 두 서비스에 적합함을 증명하였다.

대체 버전을 이용한 펌 실시간 데이터베이스 동시성 제어 방법 (Alternative Version Concurrency Control Method for firm real-time database systems)

  • 홍동권
    • 한국정보처리학회논문지
    • /
    • 제5권6호
    • /
    • pp.1377-1389
    • /
    • 1998
  • 펌 실시간 데이터베이스 시스템에서 수행되는 펌 실시간 트랜잭션은 트랜잭션이 마감시간을 넘길 경우 그 트랜잭션의 의미가 없어지므로 제한시간을 넘기는 즉시 시스템에서 제거된다. 이러 트랜잭션들을 지원하는 펌 실시간 데이터베이스 시스템에서 데이터베이스의 성능을 향상시키기 위한 여러 가지 방법들이 연구되고 있다. 지금까지 연구된 방법들은 잠금 방식을 사용하거나 또는 낙관적 방식을 사용하고 있다. 그러나 잠금 방식과 낙관적 방법에서 사용되는 방식은 시스템의 부하에 따라서 서로 다른 특성을 보이고 있다. 따라서 본 논문에서는 잠금 방식과 낙관적 방식의 장점만을 채택한 보류된 정지/재개 재시작 방법을 제안하고 이 방법을 동시성 제어에 적용한 대체 버전을 이용한 펌 실시간 동시성 제어 방법을 소개한다. 이 논문에서 제안하는 동시성 제어 방법은 우선 순위에 의한 데이터 접근 충돌이 발생할 경우 트랜잭션의 즉시 재시작 버전과 정지 버전을 동시에 유지함으로써 트랜잭션이 마감시간 안에 수행을 마칠 수 있도록 한다. 끝으로 이 논문에서는 제안하는 알고리즘이 직렬 가능한 스케줄을 생성함을 보이고, 모의실험을 통하여 기존의 방법과 성능을 비교하여 우수성을 증명한다.

  • PDF

온라인 게임 캐릭터에 성격을 적용하기 위한 G-HEXACO 타당화 연구: FIFA ONLINE3을 중심으로 (Validation of G-HEXACO for Application to Game Character's Personality - Focusing on FIFA Online3-)

  • 김미선;고일주
    • 한국게임학회 논문지
    • /
    • 제15권5호
    • /
    • pp.7-18
    • /
    • 2015
  • 본 연구는 HEXACO 성격 이론을 게임캐릭터에 적용하여, 게임에서 캐릭터가 다양한 성격을 표현하고, 다른 캐릭터와 상호작용을 하기 위한 이론적 기반을 구축하는 것에 목적이 있다. HEXACO PI-R은 현실을 기반으로 한 검사이므로 현실과 다른 특성을 지닌 게임에 적용하기에 무리가 있다. 따라서 게임 캐릭터에 성격 특성을 적용하기 위해서는 HEXACO PI-R을 변환시킨 게임 HEXACO(Game HEXACO, G-HEXACO)가 필요하다. G-HEXACO를 제안하기 위해서 우선 HEXACO PI-R이 게임에 활용하기에 적절한 이론임을 증명해야 한다. 이를 위해 일반인을 대상으로 HEXACO PI-R과, HEXACO 의 6 요인과 관련된 게임 문항을 설문하였다. 이 설문 결과를 바탕으로 하여, G-HEXACO성격 검사를 고안하였다. 본 연구는 게임 캐릭터에 성격을 적용하는데 있어, G-HEXACO 성격 검사가 HEXACO PI-R을 대체할 수 있음을 의미한다.

다양한 시각자극에 따른 생체신호 모니터링 시뮬레이션 시스템 (Vital Signal Monitoring Simulation System by Various Visual Stimulus)

  • 정경용
    • 한국콘텐츠학회논문지
    • /
    • 제11권1호
    • /
    • pp.1-8
    • /
    • 2011
  • 차세대 IT융합 기술의 발전에 따라 개인화 서비스를 위한 인프라스트럭처가 구축되면서, 사용자의 감성 상태와 생체신호 기반 서비스의 중요성이 부각되고 있다. 또한 감성에 따른 학생의 생체신호를 파악하는 것은 감성공학 전략의 중요한 성공요소가 되고 있다. 본 논문에서는 다양한 시각자극에 따른 생체신호 모니터링 시뮬레이션 시스템을 제안하였다. 다양한 시각자극에 의한 학생의 생체신호를 측정하여 수집한다. 고속 퓨리에 변환을 이용한 파워 스펙트럼을 분석하여 교감신경과 부교감신경의 활성 정도를 파악한다. 분석된 결과를 건강신호등에 표시하여 감성을 모니터링 한다. 고등학생과 대학생간의 감성의 평가를 하기 위해 SD 프로필과 대응표본 T-검정을 실시하여 유용성을 검증하였다. 평가결과, 긍정과 부정 자극에 대한 감성 활성화에 대한 차이가 통계적으로 의미가 있음을 증명하였다. 이를 체험형 시뮬레이션 시스템의 논리적 타당성과 유효성을 검증하기 위해 실험적인 적용을 시도하고자 한다.

스프레드시트에 기초한 자연수 수열의 극한 연구 (Exploring the Limit of Natural Number Sequences Using Spreadsheet)

  • 김진환
    • 한국수학교육학회지시리즈E:수학교육논문집
    • /
    • 제26권2호
    • /
    • pp.205-220
    • /
    • 2012
  • 이 연구에서는 수렴하는 자연 수 수열의 사례를 구성하는 것을 목표로 특별한 패턴의 자연수 수열을 찾아 연구하였다. 자연수 수열의 수렴과 관련하여 다음 두 가지를 조사 분석하였다. 첫째, 극한에 대한 일상의 언어지만 수학적 의미를 내포한 고등학교 직관적 정의를 자연수 수열의 수렴성에 대한 이해의 토대가 되는 상수 수열을 포함한 기본적인 수열들에 어떻게 적용하는지를 수학교육전공의 대학생을 중심으로 살펴보았다. 둘째, 자명하지 않으며 특수한 패턴을 가진 수렴하는 자연수 수열의 사례로 전자항의 각 자릿수의 제곱의 합이 후자항을 결정하는 자연수 수열들에서 찾았다. 이 수열들의 탐구를 위해 꼬리의 개념을 사용하였고, 지필의 환경에서 이 수열들의 극한과 관련된 속성들이 쉽게 관찰되지 않아 원활한 탐색을 위해 스프레드시트를 활용하였다. 여기서 스프레드시트는 실험과 관찰을 도모하고 수학적 패턴의 발견을 도울 뿐 아니라 추론과 증명을 뒷받침하는 자료 추출의 도구가 될 수 있다는 시사점올 준다.

Structured DEVS Formalism: 이산사건 시스템의 구조적 모델링 기법 (Structured DEVS Formalism: A Structural Modelling Method of Discrete Event Systems)

  • 송해상
    • 한국시뮬레이션학회논문지
    • /
    • 제21권2호
    • /
    • pp.19-30
    • /
    • 2012
  • 최근 몇 십년간 이산사건시스템명세(DEVS) 형식론은 이산사건시스템을 모듈러하고 계층적으로 모델링할 수 있는 잘 정의된 의미론을 제공하여 왔다. 그럼에도 불구하고 실용 엔지니어들은 실세계의 시스템을 모델링에 적용하는데 어려움을 겪기도 하는데 이는 DEVS가 많은 상태와 사건들을 구조화되지 않은 형태로 명세해야 하는 것 때문이다. 본 논문은 집합 이론을 바탕으로 그러한 사건 및 상태집합들을 구조화된 형태로 표현하는 Structured DEVS 형식론과 이와 연관된 DEVS 다이어그램을 제안하고자 한다. 위상, 변수, 포트 등의 개념을 사용하여 집합들을 명세한 구조적 DEVS 형식론은 원래의 DEVS 형식론과 동등함을 증명하였다. DEVS 다이어그램을 이용하여 구조적 DEVS 형식론으로 표현된 예시 모델이 쉽게 객체지향 시뮬레이션 환경에서 구현될 수 있음을 보임으로써 제안된 형식론이 효과적임을 보였다.