• 제목/요약/키워드: 프로그램 상황

검색결과 1,924건 처리시간 0.026초

ANSI-C 동시 프로그램 내 경합 상황 탐지 (Detecting Race Conditions In ANSI-C concurrent program)

  • 안소진;심재환;남원홍;최진영
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(D)
    • /
    • pp.306-307
    • /
    • 2011
  • 경합 상황, 교착 상태 등과 같은 동시 프로그램의 오류는 기존의 순차 프로그램에 적용되는 테스팅 방법으로는 탐지 및 재현이 힘들다. 하이젠버그라 불리는 이러한 오류는 프로그램의 안정성 및 신뢰성을 떨어뜨리는 원인이 될 수 있으므로 반드시 탐지하고 재현해야 한다. 본 논문은 SAT-solver와 경합 상태 탐지를 위한 Happens-before 알고리즘을 사용하여 ANSI-C 프로그램 내 존재하는 이러한 오류를 탐지하고 재현할 수 있는 방법을 제안한다.

신재생에너지 보급사업 평가에 있어 Process evaluation 적용 가능성 고찰 (Adaptability of Process Evaluation in New and Renewable Energy Dissemination Program)

  • 김지효;박주영;허은녕
    • 한국신재생에너지학회:학술대회논문집
    • /
    • 한국신재생에너지학회 2009년도 추계학술대회 논문집
    • /
    • pp.302-302
    • /
    • 2009
  • 미국 DOE(Department of energy) 산하 EERE(the office of energy efficiency and renewable energy)에서는 시행되고 있는 일반 프로그램 평가(General Program Evaluation) 중 하나인 과정 평가(Process Evaluation)는 프로그램의 수행의 효율성과 유효성을 평가하기 위해 수행된다. EERE에서는 프로그램 별로 매 2~3년에 한번, 프로그램의 진행에 장애요인을 시행하기 위해 부정기적으로 과정평가를 수행하여 프로그램의 진행과정을 개선할 것을 제안하고 있다. 과정평가의 방법론으로는 사례연구(case study), 내용분석(content analysis), 메타평가(meta evaluation), 델파이분석(delphi-analysis), 외부 동료평가(peer review) 등의 방법론이 사용될 수 있다. 특히, EERE는 "Peer Review Guide(2004)"을 발간하여 과정평가에서 있어 외부 동료평가의 방법론을 정리하였다. 과정평가를 통해 프로그램 수행결과의 중간점검과 동시에 프로그램의 발전을 위하 전문가의 제언을 수집할 수 있다. 따라서 과정평가의 결과는 프로그램의 개선에 도움을 줄 수 있으며, 장기 과제인 경우 프로그램 관리에 효과적으로 사용될 수 있다. 우리나라의 경우, 사업 수행 시 '진도보고'나 '중간결과 발표' 등을 통하여 동일한 내용의 평가를 시행하고 있으나, 평가의 항목.시기.예산 등에 대한 지침(guideline)이 구축되었다고 볼 수 없는 상황이다. 한국의 신재생에너지 보급사업은 국가적인 중요도, 투입예산의 규모 및 수행기간 등을 고려할 때 과정평가를 통해 정기적으로 사업의 진행과정을 점검할 필요가 있다 하겠다. 따라서 신재생에너지 분야의 사업의 관리에 적용될 수 있는 EERE의 과정평가를 한국의 상황에 맞게 수정하고 이를 정규적으로 시행하는 방안에 대한 논의가 필요하다 하겠다.

  • PDF

컴퓨터 소프트웨어와 관련된 지적재산권 보호에 관한 고찰

  • 김기복
    • 전자통신동향분석
    • /
    • 제6권4호
    • /
    • pp.45-63
    • /
    • 1991
  • 본 고에서는 정보화사회로 이전하는 과정에 없어서는 안될 중요한 정보처리기술인 컴퓨터 소프트웨어와 관련된 기술을 지적재산권 즉 특허, 컴퓨터 프로그램 보호권, 저작권, 회로배치 설계권, 상표권 등의 지적재산권으로 어떻게 권리보호를 받아야 할 것인가를 살펴 보았다. 또한 이중에서 컴퓨터 프로그램 제도를 중심으로 주요국의 프로그램 보호제도의 상황과 우리나라의 프로그램 보호제도중 보호범위, 2차적프로그램의 개작기준, 프로그램 저작권, 복제의 범위, 프로그램 저작권 침해형태의 예시를 중점적으로 살펴보았고 아울러 프로그램 저작권 침해의 외국 판례기준을 토대로 살펴보았다.

도심지 홍수 모니터링 향상을 위한 멀티센싱 기기의 현장실증을 통해 수집된 데이터의 활용방안 마련 (Prepare a plan to utilize data collected through field demonstration of multi-sensing devices to improve urban flood monitoring)

  • 정승권;유성종;이수원
    • 한국수자원학회:학술대회논문집
    • /
    • 한국수자원학회 2023년도 학술발표회
    • /
    • pp.19-19
    • /
    • 2023
  • 최근 기후변화에 의해 단기간에 많은 양의 집중호우가 발생하여 도시지역의 침수 피해가 증가하고 있다. 이에 도시지역의 홍수 피해 해결을 위해 도심지 홍수 발생 시 홍수정도 및 상황을 파악할 수 있는 장비가 개발되었으나, 실용화 단계까지는 진행이 미흡한 상황이다. 또한 기존 도시지역 홍수 현상 및 원인을 분석하기 위해 수치모형을 활용하고 있으나, 우수관망의 노후화 및 초기 강우패턴 적용에 대한 정확한 해석결과의 어려워 활용성이 낮다. 또한 홍수정도와 발생상황 인지를 위한 계측 장비의 개발 연구는 지속적으로 진행되고 있으나, 계측 장비의 높은 가격으로 전국적으로 설치 할 수 없는 상황으로 이를 대응하기 위한 별도의 방안 마련이 필요한 실정이다. 이를 위해 본 과제에서는 고성능·저비용 계측센서를 개발하여 실용화 가능성을 높이고, 전국에 산재되어있는 CCTV(교통상황, 방법용 등)의 영상을 활용한 침수상황 인지 기술 개발, 계측 데이터와 모니터링 데이터의 활용을 위한 빅데이터 개방 플랫폼을 구축하여, 상습 침수지역에 대해 실시간 감시가 가능한 계측 시스템의 정형 데이터와 CCTV 및 영상 등 모니터링 장비의 비정형 데이터의 분석 기술을 결합한 새로운 도심지 홍수 감시 기술의 개발을 목표로 한다. 이를 위해 본 연구 1차년도에 지표면 침수심 계측센서와 우수관망 월류심 계측센서를 개발하였으며, 2차년도에는개발된 계측센서의 현장실증을 통해 데이터를 수집한다. 수집된 계측센서 데이터와 비정형(CCTV 영상) 데이터의 AI학습을 통해 분석된 침수심, 침수범위, 침수면적 데이터는 도심지 홍수 정보 프로그램을 통해 표출되며, 최종적으로는 현장 상황을 쉽게 파악 가능한 3D 레이어의 형식으로 표출하고자 한다. 추후 도심지 홍수 정보 프로그램을 통해 표출되는 3D 레이어는 환경부가 추진하는 DT(Digital Twin) 연계 인공지능(AI) 홍수예보 사업과의 연계 시 도심지 홍수 지도 구축을 위한 자료로 활용될 수 있을 것으로 판단된다.

  • PDF

유비쿼터스 헬스케어를 위한 문맥 인지 모델 기반 운동 최적화 알고리즘 (Exercise Optimization Algorithm based on Context Aware Model for Ubiquitous Healthcare)

  • 임정은;최오훈;나홍석;백두권
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제13권6호
    • /
    • pp.378-387
    • /
    • 2007
  • 운동 효과를 극대화하기 위하여 개인의 신체 상태를 측정한 후, 운동 처방을 통하여 적합한 운동 프로그램을 생성해 주는 운동 관리 시스템이 도입되어 활용되고 있다. 하지만, 2주$\sim$3개월 주기로 신체 상태를 파악하여 생성되는 운동 프로그램은 다양하게 변화하는 개개인의 운동 습관이나 운동 주기를 실시간으로 반영하지 못하기 때문에, 운동 기간이 길어질수록 사용자의 현재상태에 적절치 않은 운동을 유도할 수 있다. 본 논문에서는 사용자의 상황을 고려한 운동 프로그램을 제공하기 위한 문맥 인지 운동 모델(Context Aware Exercise Model : CAEM)을 제안하며, 이를 지능형 운동 가이드(Intelligent Fitness Guide : IFG) 시스템으로 구현한다. IFG 시스템은 사용자의 상황에 따라 필요한 측정치를 선택적으로 입력 받고, 운동 종류 및 운동 횟수, 운동 강도의 변경 시 운동 최적화 알고리즘 및 운동 지식베이스를 통해 운동 프로그램을 생성한다. IFG는 사용자 상황에 알맞은 운동 프로그램을 실시간으로 제공함으로써, 사용자 상황에 알맞은 효율적인 운동 관리를 할 수 있다.

마음챙김 기반 MBSR 프로그램이 상담자의 심리적 안녕감에 미치는 효과: 상담자의 자기돌봄과 자기효능감을 중심으로

  • 정주산;변상해
    • 한국벤처창업학회:학술대회논문집
    • /
    • 한국벤처창업학회 2023년도 추계학술대회
    • /
    • pp.135-138
    • /
    • 2023
  • 2000년대 들어 상담에 대한 관심과 상담 수요가 크게 늘어가고 있는 상황에서 상대적으로 직무 특성상 상담자들 또한 심리적인 어려움들을 느끼면서 상담자 스스로 자신의 정신 건강 및 유지를 위한 자기돌봄의 중요성이 증가하고 있는 것이 사실이다. 상담자는 많은 시간을 내담자와의 직접적인 대면을 통해서 내담자의 다양한 문제에 대한 해결과 도움을 제공해 줌에 있어 지속적인 치료 과정을 함께한다. 상담자는 내담자와의 상황 대면을 통한 치료 과정을 함께하면서 치료의 긍정적인 면을 접하기도 하지만, 한편으로는 지속적인 스트레스로 인해 심리적 소진과 다양한 정서적 피로도를 경험하게 된다. 이에 다양한 심리적·정서적 소진과 피로도에 대해 적절하고 유연하게 대처하기 위해서는 상담자 스스로 자신을 보호할 수 있는 자기돌봄이 필요하며, 상담자 자신이 어떠한 상황에서도 긍정적인 마음을 유지 할 수 있는 자기효능감을 향상시키는 것이 중요하다. 본 연구는 마음 챙김에 기반한 MBSR 프로그램이 다양한 상담 현장에서 심리적 소진을 겪고 있는 상담자들의 심리적 안녕감, 특히 상담자의 자기돌봄 및 자기효능감에 어떠한 영향을 미치는지 확인하고자 하였다. 이를 위해 실제 현장에서 활동하고 있는 상담경력 1년에서 5년 미만의 상담자 40명을 대상으로 주 1회기, 회기 당 2시간의 총 12주간의 MBSR 프로그램을 통한 상담자의 자기돌봄 및 효능감의 변화가 상담자의 심리적 안녕감에 긍정적 요인으로 적용될 수 있다는 것을 확인하여 실제 상담 현장에서의 상담자들이 겪고 있는 심리적 소진의 완화를 통한 안정적인 상담 현장이 조성될 수 있도록 기여하고자 한다.

  • PDF

유비쿼터스 컴퓨팅을 위한 접근제어와 상황적응 시스템 (Access Control and Adaptation System for Ubiquitous Computing)

  • 이지연;오민경;창병모;안준선;도경구
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (B)
    • /
    • pp.590-594
    • /
    • 2006
  • 본 연구는 신뢰성 있는 유비쿼터스 프로그램을 개발하기 위한 보다 효율적인 프로그래밍 환경을 제공함을 목적으로 한다. 이 프로그래밍 환경은 정책 기술 언어와 이를 바탕으로 접근 제어와 상황 적응을 관리하는 실행시스템을 제공한다. 프로그래머는 정책 기술 언어를 통해 메소드에 대한 접근 권한과 변화되는 상황에 적응하는 규칙들을 쉽게 표현할 수 있다. 본 논문의 실행 시스템은 정책 파일의 규칙들에 따라 객체가 메소드에 대한 접근 권한이 있는지를 검사하는 접근 제어기(access controller)와 변화되는 상황에 적응하여 자동으로 반응하도록 해주는 적응 엔진(adaptation engine)의 형태로 구현되었다. 또한 이 시스템을 이용하여 개발된 유비쿼터스 프로그램을 시뮬레이션 할 수 있는 시뮬레이터를 제공한다.

  • PDF

자바 컴파일러의 예외 메커니즘 (Exception Mechanism of Java Compiler)

  • 조장우;창병모
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
    • /
    • pp.323-325
    • /
    • 2000
  • 자바 컴파일러의 예외 처리 메커니즘을 기술한다. 자바 컴파일러 방식의 예외 상황 분석은 프로그래머의 선언에 의존하는 프로시져-내 분석이다. 본 논문에서는 자바 컴파일러 반식의 프로시져-내(intraprocedural) 분석과 선언에 의존하지 않는 프로시져-간(interprocedural) 예외 상황 분석기를 개발하고 실제 자바 프로그램에 적용시켜 봄으로서의 자바 컴파일러의 예외 상황 분석의 문제점을 보인다.

  • PDF

인지행동적 학업스트레스 대처훈련이 초등학생의 학업스트레스와 학업스트레스 대처방식에 미치는 효과 (The Effects of Cognitive-Behavioral Academic Stress Coping Training on Elementary School Children's Academic Stress and Coping Strategy)

  • 김소라;홍상황
    • 초등상담연구
    • /
    • 제10권1호
    • /
    • pp.19-38
    • /
    • 2011
  • 본 연구는 초등학생의 학업스트레스를 감소시키고 학업스트레스에 보다 효율적으로 대처할 수 있는 능력을 키우기 위한 인지행동적 학업스트레스 대처 프로그램을 개발하여 그 효과를 알아보는데 목적이 있다. 이러한 연구목적을 달성하기 위해 경상남도 소재 Y초등학교 24명의 아동을 각각 훈련집단과 통제집단에 12명씩 임의 배정하여, 매회 40분씩 주 2회, 6주간에 걸쳐 총 12회기로 구성된 프로그램을 실시하였으며 프로그램 실시 전후와 종료 4주 후에 학업스트레스 질문지와 학업스트레스 대처방식 질문지를 실시하여 프로그램의 효과를 평가하였다. 본 연구에서 사용한 프로그램은 먼저 학업스트레스 유발상황 조사지를 제작하여 초등학생들이 흔히 경험하는 학업과 관련된 스트레스상황을 조사하고, 그러한 상황에서 아동들이 경험하는 스트레스를 인식하도록 도와주어 학업스트레스 유발상황에서 나타나는 인지적 왜곡을 수정하여 학업스트레스에 적절하게 대처하는 방법에 초점을 두고 구성하였다. 또한 국가 청소년 위원회에서 위기청소년을 위해 개발한 인지행동 집단상담 프로그램과 학업스트레스를 조절하는데 사용된 기존의 프로그램들을 초등학생에게 적용 가능한 형태로 수정하였다. 본 연구의 결과 인지행동적 학업스트레스 대처훈련은 첫째, 아동들이 학업스트레스 유발상황에서 경험하는 성적, 수업과 공부 및 과제관련 스트레스를 감소시키고 그 효과를 지속시키는 것으로 나타났다. 둘째, 학업스트레스에 대한 대처방식을 유의미하게 변화시키는 것으로 나타났다. 대처방식 중 소극적-회피적 대처와 도움추구적 대처는 유의미하게 변화시키는 것으로 나타났으나 적극적 대처에 미치는 효과는 다소 제한적인 것으로 나타났다.

  • PDF

가상현실을 이용한 교통사고 후유 장애 치료 프로그램 개발 (The Development of the Program using Virtual Reality Environment to Treat the Stress Disorder after Car Accident)

  • 김형래;이상호;노주선;김현택;김지혜;고희동
    • 한국감성과학회:학술대회논문집
    • /
    • 한국감성과학회 2001년도 추계학술대회 논문집
    • /
    • pp.202-207
    • /
    • 2001
  • 본 연구는 가상현실을 이용하여 교통사고 후 경험하게 되는 불안감 및 공포감과 같은 심리적인 후유 장애에 대한 치료 프로그램을 개발하기 위한 예비 연구로 수행되었다. 가상현실을 통한 교통사고 후유장애 프로그램의 핵심내용이 되는 운전 주행 시나리오의 효과를 검증하고 이완훈련 등의 불안감소훈련의 효과를 피험자를 통해 검증해보았다. 총 8명 피험자(정상인 7명, 교통사고 환자1명)를 대상으로 세 가지 주행상황 시나리오를 제시하고 이후 이완훈련을 실시하였다. 그 결과 이완훈련 후 유의미한 불안감소 효과가 나타났다. 하지만 각각의 주행상황에 따라서 불안이 증가되는 경향성은 나타났으나 통계적으로 유의미한 수준에 이르지는 못하였다. 이를 종합하여 볼 때, 주로 정상인을 대상으로 한 연구임에도 불안유발경향성이 나타난 점들은 고무적이나 교통사고자를 대상으로 한 경험적인 증명이 필요하며, 가상현실을 이용한 이완훈련은 효과적인 것으로 판명되었다.

  • PDF