• 한국정보과학회논문지:소프트웨어및응용
• /
• 제35권9호
• /
• pp.529-537
• /
• 2008

병행 컴포넌트를 포함하는 소프트웨어는 디버깅하기가 매우 어렵다. 따라서 철저하면서도 자동화된 검증 도구의 사용이 필수적이다. 이러한 도구 개발의 노력 중 하나가 바운드 모델 체킹 도구이다. 바운드 모델 체킹은 주어진 바운드 k 안에서 시스템의 실행 경로에 에러가 존재하는지를 철저히 검사한다. 본 논문에서는 LTS로 모델링 된 병행 프로그램을 검증하는 바운드 모델 체킹 도구를 소개한다. 이 도구에서 속성은 FLTL로 기술되는데 FLTL은 LTS 모델에서 액션을 가지고 속성을 표현하기에 적합하다. 우리는 기존 모델 체커들과의 실험을 통해서 개발된 도구의 성능을 비교분석한다.

• 한국정보과학회논문지:시스템및이론
• /
• 제28권9호
• /
• pp.424-433
• /
• 2001

메세지 전달 병렬 프로그램은 프로세스 사이의 메세지 경합에 의하여 실행의 비결정성이 발생하여 순차 프로그램에서 널리 사용되는 순환 디버깅 기법을 사용하기 어렵다. 본 논무은 MPI 병렬 프로그램에서 비결정적 실행에 영향을 미치는 메세지 전달 사건을 정의한 후, 기본실행에서의 사건의 발생순서가 다음의 재실행시 똑 같이 유지되도록 병행실행을 순차생행으로 변환하여 결정적 재실행을 보장함으로써 실행시 마다 같은 오류가 재현되도록 한다. 또한 MPI 병렬 프로그램의 디버깅을 보다 쉽게 하기 위하여 임의의 프로세스를 정짓켰을 때, 다른 모든 프로세스는 정지점 이전에 발생한 모든 사건을 반영하는 최초의 상태에 정지하게 하는 인과관계 정지점을 구현한다. 따라서 인과관계 재실행 기법을 이용하여 병렬 프로그램에서도 순차 프로그램 환경에서와 같이 순환 디버깅 기법을 사용할 수 있게 한다.

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

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

• 한국응용과학기술학회지
• /
• 제39권3호
• /
• pp.397-406
• /
• 2022

본 연구는 전화코칭을 병행한 운동프로그램이 지역사회 거주 독거노인의 균형능력, 악력 및 우울에 미치는 효과를 조사하기 위한 단일집단 사전사후 원시실험연구이다. 연구대상자는 경기도 S시에 위치한 노인복지관에 등록된 독거노인 20명이 참여하였으며, 자료수집기간은 2021년 7월 03일부터 2021년 10월 14일까지 총 12회기 프로그램을 시행하였다. 프로그램 전후에 대상자 가정에 직접 방문하여 4단계 균형검사, 근력검사, 악력 및 우울을 측정하였다. 중재 프로그램은 탄력밴드와 악력볼을 이용하여 구성하였으며 매주 전화코칭 중재를 제공하였다. 연구결과, 전화코칭을 병행한 운동 프로그램은 대상자의 4단계 균형기능(3단계)(t=-2.37, p=.029), 4단계 균형기능(4단계)(t=-2.46, p=.024), 우측 악력(t=-2.18, p=.042), 우울(t=2.82, p<.001)에서 통계적으로 유의한 차이가 나타났다. 본 연구 결과를 바탕으로 전화코칭을 병행한 운동프로그램은 독거노인의 균형능력, 악력 향상 및 우울 감소를 위한 간호중재로 활용될 수 있을 것으로 기대된다.

• 대한가정학회지
• /
• 제30권3호
• /
• pp.271-283
• /
• 1992

본 연구의 목적은 가족스트레스 이론과 선행연구를 바탕으로 하여 제안된 이론적 모델의 검증을 통하여 일과 가정생활의 두 역할을 병행하는 데서 기인하는 역할긴장이 매개변수인 가족자원과 대처방안에 의해 어떻게 중재되어 삶의 질에 영향을 미치는가를 규명하는데 있다. 다단계 추출법으로 미국 로스엔젤레스에 거주하는 한인교포 중 맞벌이부부를 연구대상으로 선정하여 질문지를 통해 남편과 아내의 자료를 표집하였지만 본 연구에서는 117명의 남편의 자료만을 결과 분석하였다. 분석방법은 이론적 검증에 유용한 LISREL Ⅶ 프로그램이 사용되었다. 처음에 제안된 이론적 모델의 검증에는 문제를 보였지만 PSI Matrix를 고정하고 가정생활의 역할 stressor와 가족자원의 경로를 첨가하여 수정된 모델은 자료에 의해 충분히 검증되었다. 그러나 남편의 이론적 모델은 가족스트레스 이론을 일반화시키지 못했기 때문에 일과 가정생활의 두 역할을 병행하는 데서 기인하는 남편의 역할긴장을 가족스트레스 이론으로 설명하는데는 문제가 있는 것으로 나타났다. 연구결과를 바탕으로 본 연구에서 제안된 이론적 모델의 의미와 제한점 등을 살펴본 후 미래연구가를 위한 방안이 제시되었다.

• 한국문헌정보학회지
• /
• 제44권2호
• /
• pp.199-220
• /
• 2010

본 연구에서는 국립어린이청소년도서관에서 운영하는 '도서관과 함께 책읽기' 프로그램에 참여한 어린이들의 독서교육의 효과를 파악하고자 하였다. 이를 위하여 '2009 도서관과 함께 책읽기' 프로그램에 참여한 46개 기관의 초등학생 590명을 대상으로 자아존중감, 사회성, 독서능력을 측정하고 분석하였다. 또한 설문지 조사를 병행하였다. '도서관과 함께 책읽기' 프로그램을 실시한 결과, 참여기관 46개관 중 42개관(91.3%)에서 자아존중감, 사회성, 독서능력 점수가 향상된 것으로 나타났으며, 통계적으로 분석한 결과 '도서관과 함께 책읽기' 프로그램의 효과가 나타난 도서관은 11개관(23.9%)으로 나타났다.

• 오토저널
• /
• 제18권4호
• /
• pp.67-87
• /
• 1996

본 연구에서는 차체의 충돌해석 및 모델링을 위하여 판/쉘 요소의 자동생성 모듈을 개발하고 재료의 변형특성 모델링 모듈 및 접촉처리 모듈을 개발하였다. 충돌해석용 전처리기능으로는 평면, 실린더 곡면, B-스플라인 곡면 및 블렌딩 (blending) 곡면상에서의 사각형 요소망 자동생성 기법과 프로그램을 개발하였다. 또한 차체를 구성하고 있는 여러가지 재료들의 변형거동을 모델링하여 개발중인 충돌해석전용프로그램인 Autocrash의 모듈로서 완성하였다. 이들은 변형률속도의 영향이 고려된 탄소성 재료, 강체 재료, 포옴 재료 및 이방성 재료등으로 정면충돌 해석 및 측면충돌 해석에 필요하다. 한편 접촉처리 모듈에서 접촉탐색법으로는 주종탐색법과 HITA 알고리즘을 병행하여 사용할 수 있도록 프로그래밍하였으며, 불침투 조건의 처리는 벌칙함 수법을 이용하였다.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 2010년 춘계학술대회논문집
• /
• pp.446-447
• /
• 2010

최근 개발된 니켈 초합금 금속폼은 기존의 매연저감장치 신소재로 여겨지고 있다. 금속폼은 세가지 두드러진 특징을 갖고 있다. 첫째, 금속폼은 큰 기공의 다공성 매질로써 매연을 포집하여 축적할 수 있는 용량이 기존 필터에 비해 상대적으로 크며 그로인하여 재생 시 연소 안전성이 두드러진다. 둘째, 복잡하고 굴곡있는 기공 구조와 큰 비표면적은 물질전달 특성을 향상시켜 촉매 적용 시 촉매의 전환성능을 향상시키고 그로 인하여 귀금속 촉매량을 줄일 수 있는 장점이 있다. 셋째, 금속폼은 다양한 기공크기를 가지며, 다양한 조합의 금속폼을 개발할 수 있어 요구 성능에 따른 최적의 필터 설계를 가능케 한다. 이번연구에서는, 금속폼의 필터 성능을 다양한 실험을 통하여 측정 평가하며, 이런 이해를 기반으로 필터로 제작하여 엔진실험벤치에서 그 성능을 검증하였다. 필터의 성능은 수트 포집효율과 그에 따른 필터의 압력강하와 촉매 활성 능력으로 평가되었다. 이러한 실험과 병행하여 금속폼에서의 수트 포집과정을 모델링하고 이를 상용 프로그램인 CFD-ACE+에 추가하여 설계전용 프로그램을 개발하였으며, 엔진실험결과와 비교 검증하였다. 본 논문에서는 금속폼의 높은 매연축적용량과 향상된 물질전달 특성이 어떻게 필터의 귀금속 촉매와 체적을 줄일 수 있는지 제시하고 있다.

• 전자통신동향분석
• /
• 제20권2호통권92호
• /
• pp.1-13
• /
• 2005

비구조화되고 예측 불가능한 환경에서 동작하는 지능형 로봇의 제어를 위한 프로그램의 개발은 범용 컴퓨터에서 수행되는 일반 응용프로그램과는 달리 로봇이 존재하는 세계와의 복잡한 상호작용을 전제로 하고 있다. 이러한 전제는 로봇 프로그램에게 순차성과 더불어 병행성, 예외처리, 외부세계와의 인터페이스 등을 요구하며 더불어 로봇소프트웨어 제어구조가 특정 하드웨어나 플랫폼에 의존적이지 않고 여러 하드웨어 플랫폼에 두루 적용될 수 있는 구조가 요구된다. 로봇 소프트웨어 아키텍처는 이러한 요구에 기반하여 프로그래밍의 복잡성과 반복성을 줄이고 로봇을 보다 효율적으로 제어할 수 있는 구조를 제공하는 것을 목적으로 한다. 본 논문에서는 로봇 소프트웨어 아키텍처에 대한 최근의 연구동향에 대하여 살펴보고 신성장동력의 하나인 IT 기반 지능형서비스 로봇을 위한 로봇 소프트웨어 아키텍처의 최근의 연구현황에 대하여 소개한다.

• 컴퓨터교육학회논문지
• /
• 제7권4호
• /
• pp.1-6
• /
• 2004

온라인상에서 교육 내용의 전달은 많은 방법들이 개발되어 있지만 컴퓨터 언어 및 알고리즘의 e-learning과 실습은 웹상에서 프로그램 실습의 어려움으로 인하여 이론과 실습이 병행되지 못하여 왔다. 본 논문에서는 알고리즘을 검색하고 관리할 수 있는 뱅크를 구축하고 실행 인터페이스를 만들어, 학생들이 직접 웹상에서 각각의 프로그램들을 실행시킬 뿐 아니라 프로그램을 수정하여 실행할 수 있도록 하였다. 웹상에서 실습을 통한 알고리즘 뱅크 시스템은 실습 환경 구축과 적응에 대한 어려움을 없앰으로써 컴퓨터 알고리즘 학습에 대한 거리감을 없애는 효과가 있다.