경합 상황, 교착 상태 등과 같은 동시 프로그램의 오류는 기존의 순차 프로그램에 적용되는 테스팅 방법으로는 탐지 및 재현이 힘들다. 하이젠버그라 불리는 이러한 오류는 프로그램의 안정성 및 신뢰성을 떨어뜨리는 원인이 될 수 있으므로 반드시 탐지하고 재현해야 한다. 본 논문은 SAT-solver와 경합 상태 탐지를 위한 Happens-before 알고리즘을 사용하여 ANSI-C 프로그램 내 존재하는 이러한 오류를 탐지하고 재현할 수 있는 방법을 제안한다.
미국 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의 과정평가를 한국의 상황에 맞게 수정하고 이를 정규적으로 시행하는 방안에 대한 논의가 필요하다 하겠다.
본 고에서는 정보화사회로 이전하는 과정에 없어서는 안될 중요한 정보처리기술인 컴퓨터 소프트웨어와 관련된 기술을 지적재산권 즉 특허, 컴퓨터 프로그램 보호권, 저작권, 회로배치 설계권, 상표권 등의 지적재산권으로 어떻게 권리보호를 받아야 할 것인가를 살펴 보았다. 또한 이중에서 컴퓨터 프로그램 제도를 중심으로 주요국의 프로그램 보호제도의 상황과 우리나라의 프로그램 보호제도중 보호범위, 2차적프로그램의 개작기준, 프로그램 저작권, 복제의 범위, 프로그램 저작권 침해형태의 예시를 중점적으로 살펴보았고 아울러 프로그램 저작권 침해의 외국 판례기준을 토대로 살펴보았다.
최근 기후변화에 의해 단기간에 많은 양의 집중호우가 발생하여 도시지역의 침수 피해가 증가하고 있다. 이에 도시지역의 홍수 피해 해결을 위해 도심지 홍수 발생 시 홍수정도 및 상황을 파악할 수 있는 장비가 개발되었으나, 실용화 단계까지는 진행이 미흡한 상황이다. 또한 기존 도시지역 홍수 현상 및 원인을 분석하기 위해 수치모형을 활용하고 있으나, 우수관망의 노후화 및 초기 강우패턴 적용에 대한 정확한 해석결과의 어려워 활용성이 낮다. 또한 홍수정도와 발생상황 인지를 위한 계측 장비의 개발 연구는 지속적으로 진행되고 있으나, 계측 장비의 높은 가격으로 전국적으로 설치 할 수 없는 상황으로 이를 대응하기 위한 별도의 방안 마련이 필요한 실정이다. 이를 위해 본 과제에서는 고성능·저비용 계측센서를 개발하여 실용화 가능성을 높이고, 전국에 산재되어있는 CCTV(교통상황, 방법용 등)의 영상을 활용한 침수상황 인지 기술 개발, 계측 데이터와 모니터링 데이터의 활용을 위한 빅데이터 개방 플랫폼을 구축하여, 상습 침수지역에 대해 실시간 감시가 가능한 계측 시스템의 정형 데이터와 CCTV 및 영상 등 모니터링 장비의 비정형 데이터의 분석 기술을 결합한 새로운 도심지 홍수 감시 기술의 개발을 목표로 한다. 이를 위해 본 연구 1차년도에 지표면 침수심 계측센서와 우수관망 월류심 계측센서를 개발하였으며, 2차년도에는개발된 계측센서의 현장실증을 통해 데이터를 수집한다. 수집된 계측센서 데이터와 비정형(CCTV 영상) 데이터의 AI학습을 통해 분석된 침수심, 침수범위, 침수면적 데이터는 도심지 홍수 정보 프로그램을 통해 표출되며, 최종적으로는 현장 상황을 쉽게 파악 가능한 3D 레이어의 형식으로 표출하고자 한다. 추후 도심지 홍수 정보 프로그램을 통해 표출되는 3D 레이어는 환경부가 추진하는 DT(Digital Twin) 연계 인공지능(AI) 홍수예보 사업과의 연계 시 도심지 홍수 지도 구축을 위한 자료로 활용될 수 있을 것으로 판단된다.
운동 효과를 극대화하기 위하여 개인의 신체 상태를 측정한 후, 운동 처방을 통하여 적합한 운동 프로그램을 생성해 주는 운동 관리 시스템이 도입되어 활용되고 있다. 하지만, 2주$\sim$3개월 주기로 신체 상태를 파악하여 생성되는 운동 프로그램은 다양하게 변화하는 개개인의 운동 습관이나 운동 주기를 실시간으로 반영하지 못하기 때문에, 운동 기간이 길어질수록 사용자의 현재상태에 적절치 않은 운동을 유도할 수 있다. 본 논문에서는 사용자의 상황을 고려한 운동 프로그램을 제공하기 위한 문맥 인지 운동 모델(Context Aware Exercise Model : CAEM)을 제안하며, 이를 지능형 운동 가이드(Intelligent Fitness Guide : IFG) 시스템으로 구현한다. IFG 시스템은 사용자의 상황에 따라 필요한 측정치를 선택적으로 입력 받고, 운동 종류 및 운동 횟수, 운동 강도의 변경 시 운동 최적화 알고리즘 및 운동 지식베이스를 통해 운동 프로그램을 생성한다. IFG는 사용자 상황에 알맞은 운동 프로그램을 실시간으로 제공함으로써, 사용자 상황에 알맞은 효율적인 운동 관리를 할 수 있다.
2000년대 들어 상담에 대한 관심과 상담 수요가 크게 늘어가고 있는 상황에서 상대적으로 직무 특성상 상담자들 또한 심리적인 어려움들을 느끼면서 상담자 스스로 자신의 정신 건강 및 유지를 위한 자기돌봄의 중요성이 증가하고 있는 것이 사실이다. 상담자는 많은 시간을 내담자와의 직접적인 대면을 통해서 내담자의 다양한 문제에 대한 해결과 도움을 제공해 줌에 있어 지속적인 치료 과정을 함께한다. 상담자는 내담자와의 상황 대면을 통한 치료 과정을 함께하면서 치료의 긍정적인 면을 접하기도 하지만, 한편으로는 지속적인 스트레스로 인해 심리적 소진과 다양한 정서적 피로도를 경험하게 된다. 이에 다양한 심리적·정서적 소진과 피로도에 대해 적절하고 유연하게 대처하기 위해서는 상담자 스스로 자신을 보호할 수 있는 자기돌봄이 필요하며, 상담자 자신이 어떠한 상황에서도 긍정적인 마음을 유지 할 수 있는 자기효능감을 향상시키는 것이 중요하다. 본 연구는 마음 챙김에 기반한 MBSR 프로그램이 다양한 상담 현장에서 심리적 소진을 겪고 있는 상담자들의 심리적 안녕감, 특히 상담자의 자기돌봄 및 자기효능감에 어떠한 영향을 미치는지 확인하고자 하였다. 이를 위해 실제 현장에서 활동하고 있는 상담경력 1년에서 5년 미만의 상담자 40명을 대상으로 주 1회기, 회기 당 2시간의 총 12주간의 MBSR 프로그램을 통한 상담자의 자기돌봄 및 효능감의 변화가 상담자의 심리적 안녕감에 긍정적 요인으로 적용될 수 있다는 것을 확인하여 실제 상담 현장에서의 상담자들이 겪고 있는 심리적 소진의 완화를 통한 안정적인 상담 현장이 조성될 수 있도록 기여하고자 한다.
본 연구는 신뢰성 있는 유비쿼터스 프로그램을 개발하기 위한 보다 효율적인 프로그래밍 환경을 제공함을 목적으로 한다. 이 프로그래밍 환경은 정책 기술 언어와 이를 바탕으로 접근 제어와 상황 적응을 관리하는 실행시스템을 제공한다. 프로그래머는 정책 기술 언어를 통해 메소드에 대한 접근 권한과 변화되는 상황에 적응하는 규칙들을 쉽게 표현할 수 있다. 본 논문의 실행 시스템은 정책 파일의 규칙들에 따라 객체가 메소드에 대한 접근 권한이 있는지를 검사하는 접근 제어기(access controller)와 변화되는 상황에 적응하여 자동으로 반응하도록 해주는 적응 엔진(adaptation engine)의 형태로 구현되었다. 또한 이 시스템을 이용하여 개발된 유비쿼터스 프로그램을 시뮬레이션 할 수 있는 시뮬레이터를 제공한다.
자바 컴파일러의 예외 처리 메커니즘을 기술한다. 자바 컴파일러 방식의 예외 상황 분석은 프로그래머의 선언에 의존하는 프로시져-내 분석이다. 본 논문에서는 자바 컴파일러 반식의 프로시져-내(intraprocedural) 분석과 선언에 의존하지 않는 프로시져-간(interprocedural) 예외 상황 분석기를 개발하고 실제 자바 프로그램에 적용시켜 봄으로서의 자바 컴파일러의 예외 상황 분석의 문제점을 보인다.
본 연구는 초등학생의 학업스트레스를 감소시키고 학업스트레스에 보다 효율적으로 대처할 수 있는 능력을 키우기 위한 인지행동적 학업스트레스 대처 프로그램을 개발하여 그 효과를 알아보는데 목적이 있다. 이러한 연구목적을 달성하기 위해 경상남도 소재 Y초등학교 24명의 아동을 각각 훈련집단과 통제집단에 12명씩 임의 배정하여, 매회 40분씩 주 2회, 6주간에 걸쳐 총 12회기로 구성된 프로그램을 실시하였으며 프로그램 실시 전후와 종료 4주 후에 학업스트레스 질문지와 학업스트레스 대처방식 질문지를 실시하여 프로그램의 효과를 평가하였다. 본 연구에서 사용한 프로그램은 먼저 학업스트레스 유발상황 조사지를 제작하여 초등학생들이 흔히 경험하는 학업과 관련된 스트레스상황을 조사하고, 그러한 상황에서 아동들이 경험하는 스트레스를 인식하도록 도와주어 학업스트레스 유발상황에서 나타나는 인지적 왜곡을 수정하여 학업스트레스에 적절하게 대처하는 방법에 초점을 두고 구성하였다. 또한 국가 청소년 위원회에서 위기청소년을 위해 개발한 인지행동 집단상담 프로그램과 학업스트레스를 조절하는데 사용된 기존의 프로그램들을 초등학생에게 적용 가능한 형태로 수정하였다. 본 연구의 결과 인지행동적 학업스트레스 대처훈련은 첫째, 아동들이 학업스트레스 유발상황에서 경험하는 성적, 수업과 공부 및 과제관련 스트레스를 감소시키고 그 효과를 지속시키는 것으로 나타났다. 둘째, 학업스트레스에 대한 대처방식을 유의미하게 변화시키는 것으로 나타났다. 대처방식 중 소극적-회피적 대처와 도움추구적 대처는 유의미하게 변화시키는 것으로 나타났으나 적극적 대처에 미치는 효과는 다소 제한적인 것으로 나타났다.
본 연구는 가상현실을 이용하여 교통사고 후 경험하게 되는 불안감 및 공포감과 같은 심리적인 후유 장애에 대한 치료 프로그램을 개발하기 위한 예비 연구로 수행되었다. 가상현실을 통한 교통사고 후유장애 프로그램의 핵심내용이 되는 운전 주행 시나리오의 효과를 검증하고 이완훈련 등의 불안감소훈련의 효과를 피험자를 통해 검증해보았다. 총 8명 피험자(정상인 7명, 교통사고 환자1명)를 대상으로 세 가지 주행상황 시나리오를 제시하고 이후 이완훈련을 실시하였다. 그 결과 이완훈련 후 유의미한 불안감소 효과가 나타났다. 하지만 각각의 주행상황에 따라서 불안이 증가되는 경향성은 나타났으나 통계적으로 유의미한 수준에 이르지는 못하였다. 이를 종합하여 볼 때, 주로 정상인을 대상으로 한 연구임에도 불안유발경향성이 나타난 점들은 고무적이나 교통사고자를 대상으로 한 경험적인 증명이 필요하며, 가상현실을 이용한 이완훈련은 효과적인 것으로 판명되었다.
본 웹사이트에 게시된 이메일 주소가 전자우편 수집 프로그램이나
그 밖의 기술적 장치를 이용하여 무단으로 수집되는 것을 거부하며,
이를 위반시 정보통신망법에 의해 형사 처벌됨을 유념하시기 바랍니다.
[게시일 2004년 10월 1일]
이용약관
제 1 장 총칙
제 1 조 (목적)
이 이용약관은 KoreaScience 홈페이지(이하 “당 사이트”)에서 제공하는 인터넷 서비스(이하 '서비스')의 가입조건 및 이용에 관한 제반 사항과 기타 필요한 사항을 구체적으로 규정함을 목적으로 합니다.
제 2 조 (용어의 정의)
① "이용자"라 함은 당 사이트에 접속하여 이 약관에 따라 당 사이트가 제공하는 서비스를 받는 회원 및 비회원을
말합니다.
② "회원"이라 함은 서비스를 이용하기 위하여 당 사이트에 개인정보를 제공하여 아이디(ID)와 비밀번호를 부여
받은 자를 말합니다.
③ "회원 아이디(ID)"라 함은 회원의 식별 및 서비스 이용을 위하여 자신이 선정한 문자 및 숫자의 조합을
말합니다.
④ "비밀번호(패스워드)"라 함은 회원이 자신의 비밀보호를 위하여 선정한 문자 및 숫자의 조합을 말합니다.
제 3 조 (이용약관의 효력 및 변경)
① 이 약관은 당 사이트에 게시하거나 기타의 방법으로 회원에게 공지함으로써 효력이 발생합니다.
② 당 사이트는 이 약관을 개정할 경우에 적용일자 및 개정사유를 명시하여 현행 약관과 함께 당 사이트의
초기화면에 그 적용일자 7일 이전부터 적용일자 전일까지 공지합니다. 다만, 회원에게 불리하게 약관내용을
변경하는 경우에는 최소한 30일 이상의 사전 유예기간을 두고 공지합니다. 이 경우 당 사이트는 개정 전
내용과 개정 후 내용을 명확하게 비교하여 이용자가 알기 쉽도록 표시합니다.
제 4 조(약관 외 준칙)
① 이 약관은 당 사이트가 제공하는 서비스에 관한 이용안내와 함께 적용됩니다.
② 이 약관에 명시되지 아니한 사항은 관계법령의 규정이 적용됩니다.
제 2 장 이용계약의 체결
제 5 조 (이용계약의 성립 등)
① 이용계약은 이용고객이 당 사이트가 정한 약관에 「동의합니다」를 선택하고, 당 사이트가 정한
온라인신청양식을 작성하여 서비스 이용을 신청한 후, 당 사이트가 이를 승낙함으로써 성립합니다.
② 제1항의 승낙은 당 사이트가 제공하는 과학기술정보검색, 맞춤정보, 서지정보 등 다른 서비스의 이용승낙을
포함합니다.
제 6 조 (회원가입)
서비스를 이용하고자 하는 고객은 당 사이트에서 정한 회원가입양식에 개인정보를 기재하여 가입을 하여야 합니다.
제 7 조 (개인정보의 보호 및 사용)
당 사이트는 관계법령이 정하는 바에 따라 회원 등록정보를 포함한 회원의 개인정보를 보호하기 위해 노력합니다. 회원 개인정보의 보호 및 사용에 대해서는 관련법령 및 당 사이트의 개인정보 보호정책이 적용됩니다.
제 8 조 (이용 신청의 승낙과 제한)
① 당 사이트는 제6조의 규정에 의한 이용신청고객에 대하여 서비스 이용을 승낙합니다.
② 당 사이트는 아래사항에 해당하는 경우에 대해서 승낙하지 아니 합니다.
- 이용계약 신청서의 내용을 허위로 기재한 경우
- 기타 규정한 제반사항을 위반하며 신청하는 경우
제 9 조 (회원 ID 부여 및 변경 등)
① 당 사이트는 이용고객에 대하여 약관에 정하는 바에 따라 자신이 선정한 회원 ID를 부여합니다.
② 회원 ID는 원칙적으로 변경이 불가하며 부득이한 사유로 인하여 변경 하고자 하는 경우에는 해당 ID를
해지하고 재가입해야 합니다.
③ 기타 회원 개인정보 관리 및 변경 등에 관한 사항은 서비스별 안내에 정하는 바에 의합니다.
제 3 장 계약 당사자의 의무
제 10 조 (KISTI의 의무)
① 당 사이트는 이용고객이 희망한 서비스 제공 개시일에 특별한 사정이 없는 한 서비스를 이용할 수 있도록
하여야 합니다.
② 당 사이트는 개인정보 보호를 위해 보안시스템을 구축하며 개인정보 보호정책을 공시하고 준수합니다.
③ 당 사이트는 회원으로부터 제기되는 의견이나 불만이 정당하다고 객관적으로 인정될 경우에는 적절한 절차를
거쳐 즉시 처리하여야 합니다. 다만, 즉시 처리가 곤란한 경우는 회원에게 그 사유와 처리일정을 통보하여야
합니다.
제 11 조 (회원의 의무)
① 이용자는 회원가입 신청 또는 회원정보 변경 시 실명으로 모든 사항을 사실에 근거하여 작성하여야 하며,
허위 또는 타인의 정보를 등록할 경우 일체의 권리를 주장할 수 없습니다.
② 당 사이트가 관계법령 및 개인정보 보호정책에 의거하여 그 책임을 지는 경우를 제외하고 회원에게 부여된
ID의 비밀번호 관리소홀, 부정사용에 의하여 발생하는 모든 결과에 대한 책임은 회원에게 있습니다.
③ 회원은 당 사이트 및 제 3자의 지적 재산권을 침해해서는 안 됩니다.
제 4 장 서비스의 이용
제 12 조 (서비스 이용 시간)
① 서비스 이용은 당 사이트의 업무상 또는 기술상 특별한 지장이 없는 한 연중무휴, 1일 24시간 운영을
원칙으로 합니다. 단, 당 사이트는 시스템 정기점검, 증설 및 교체를 위해 당 사이트가 정한 날이나 시간에
서비스를 일시 중단할 수 있으며, 예정되어 있는 작업으로 인한 서비스 일시중단은 당 사이트 홈페이지를
통해 사전에 공지합니다.
② 당 사이트는 서비스를 특정범위로 분할하여 각 범위별로 이용가능시간을 별도로 지정할 수 있습니다. 다만
이 경우 그 내용을 공지합니다.
제 13 조 (홈페이지 저작권)
① NDSL에서 제공하는 모든 저작물의 저작권은 원저작자에게 있으며, KISTI는 복제/배포/전송권을 확보하고
있습니다.
② NDSL에서 제공하는 콘텐츠를 상업적 및 기타 영리목적으로 복제/배포/전송할 경우 사전에 KISTI의 허락을
받아야 합니다.
③ NDSL에서 제공하는 콘텐츠를 보도, 비평, 교육, 연구 등을 위하여 정당한 범위 안에서 공정한 관행에
합치되게 인용할 수 있습니다.
④ NDSL에서 제공하는 콘텐츠를 무단 복제, 전송, 배포 기타 저작권법에 위반되는 방법으로 이용할 경우
저작권법 제136조에 따라 5년 이하의 징역 또는 5천만 원 이하의 벌금에 처해질 수 있습니다.
제 14 조 (유료서비스)
① 당 사이트 및 협력기관이 정한 유료서비스(원문복사 등)는 별도로 정해진 바에 따르며, 변경사항은 시행 전에
당 사이트 홈페이지를 통하여 회원에게 공지합니다.
② 유료서비스를 이용하려는 회원은 정해진 요금체계에 따라 요금을 납부해야 합니다.
제 5 장 계약 해지 및 이용 제한
제 15 조 (계약 해지)
회원이 이용계약을 해지하고자 하는 때에는 [가입해지] 메뉴를 이용해 직접 해지해야 합니다.
제 16 조 (서비스 이용제한)
① 당 사이트는 회원이 서비스 이용내용에 있어서 본 약관 제 11조 내용을 위반하거나, 다음 각 호에 해당하는
경우 서비스 이용을 제한할 수 있습니다.
- 2년 이상 서비스를 이용한 적이 없는 경우
- 기타 정상적인 서비스 운영에 방해가 될 경우
② 상기 이용제한 규정에 따라 서비스를 이용하는 회원에게 서비스 이용에 대하여 별도 공지 없이 서비스 이용의
일시정지, 이용계약 해지 할 수 있습니다.
제 17 조 (전자우편주소 수집 금지)
회원은 전자우편주소 추출기 등을 이용하여 전자우편주소를 수집 또는 제3자에게 제공할 수 없습니다.
제 6 장 손해배상 및 기타사항
제 18 조 (손해배상)
당 사이트는 무료로 제공되는 서비스와 관련하여 회원에게 어떠한 손해가 발생하더라도 당 사이트가 고의 또는 과실로 인한 손해발생을 제외하고는 이에 대하여 책임을 부담하지 아니합니다.
제 19 조 (관할 법원)
서비스 이용으로 발생한 분쟁에 대해 소송이 제기되는 경우 민사 소송법상의 관할 법원에 제기합니다.
[부 칙]
1. (시행일) 이 약관은 2016년 9월 5일부터 적용되며, 종전 약관은 본 약관으로 대체되며, 개정된 약관의 적용일 이전 가입자도 개정된 약관의 적용을 받습니다.