• 한국건설관리학회논문집
• /
• 제21권3호
• /
• pp.20-27
• /
• 2020

플랜트 프로젝트의 성과 향상을 위해 EPC 업체들은 통합적 관점에서의 프로젝트 사업관리 방식 개발에 대해 지속적인 관심을 보이고 있다. 특히, Advanced Work Packaging (AWP)는 프로젝트 생애주기 관점에서 기존의 "작업체계" 개념을 통합하여 프로젝트 수행 방식을 일부 재조정하는 방식으로 사업성과 개선을 위한 방법으로 제시되고 있다. 그러나 아직까지 국내 EPC 업체들은 AWP 도입의 초기 단계로, AWP를 수행하기 위한 구체적인 연구가 부족한 실정이다. 이에 따라, 본 연구에서는 AWP 체계의 도입을 위해 EPC 기업에서 갖추어야 하는 조직역량 도출을 목표로 하였다. 문헌 고찰과 현직자 인터뷰를 통해 AWP 도입시 발생할 것으로 예측되는 주요 리스크를 도출하였으며, 맥킨지 7S 모델 체계에 맞추어 이를 방지하기 위한 29개의 조직역량 항목을 도출하였다. 이후 AWP 전문가 5인의 검증 과정에서 추가적으로 도출된 8개의 조직역량 항목을 반영하여 최종적으로 효과적인 AWP 도입을 위해 필요한 조직역량 37개를 도출할 수 있었다.

• 한국수학교육학회지시리즈A:수학교육
• /
• 제26권2호
• /
• pp.9-13
• /
• 1988

Mathematics education is generally to cultivate mathematical thought. Most meaningful thought is to solve a certain given situation, that is, a problem. The aim of mathematies education could be identified with the cultivation of mathematical problem-solving ability. To cultivate mathematical problem-solving ability, it is necessary to study the nature of mathematical ability and its aspects pertaining to problem-solving ability. The purpose of this study is to investigate the relation between problem-solving ability and classficational viewpoint of mathematical verbal problems, and bet ween the detailed abilities of problem-solving procedure and classificational viewpoint of mathematical verbal problems. With the intention of doing this work, two tests were given to the third-year students of middle school, one is problem-solving test and the other classificational viewpoint test. The results of these two tests are follow ing. 1. The detailed abilities of problem-solving procedure are correlated with each other: such as ability of understanding, execution and looking-back. 2. From the viewpoint of structure and context, students classified mathematical verbal problems. 3. The students who are proficient at problem-solving, understanding, execution, and looking-back have a tendency to classify mathematical verbal problems from a structural viewpoint, while the students who are not proficient at the above four abilities have a tendency to classify mathematical verbal problems from a contextual viewpoint. As the above results, following conclusions can be made. 1. The students have recognized at least two fundamental dimensions of structure and context when they classified mathematical verbal problems. 2. The abilities of understanding, execution, and looking- back effect problem-solving ability correlating with each other. 3. The instruction emphasizing the importance of the structure of mathematical problems could be one of the methods cultivating student's problem-solving ability.

• 한국정보과학회논문지:시스템및이론
• /
• 제32권3호
• /
• pp.115-124
• /
• 2005

모바일 장치에서 코드를 다운로드 받아 수행할 때, 코드 인증이 매우 중요하다. 한편, 모바일 코드의 수행 시간 지연을 줄이기 위해 통상 전체 코드가 다운로드 되기 전에 수신된 일부 코드로 수행이 시작된다. 그러나. 저자들이 조사한 바로는 이 경우 코드 인증을 할 수 있는 방법이 아직 발표된 바가 없다. 본 논문에서는 전송될 코드 청크의 순서가 미리 결정되어 있는 경우와 프로그램 실행 도중 동적으로 결정되는 2 가지 경우에 대하여, 일부 코드로 수행을 시작하면서도 인증이 가능한 2 가지 방법을 제시한다. 이 방법은 각각 해쉬 체인 기법과 인증 트리 기법을 기반으로 한다. 특히, 후자의 기법에서 각 모바일 코드 청크를 인증시 이전 수신한 인증 정보를 활용함으로써 통신 오버헤드와 검증 지연 시간을 줄였다. 코드 청크의 개수가 n 일 때, 두 기법의 통신 오버헤드의 크기는 O(n)이며, 검증 지연 시간은 각각 O(1), O(log n)이다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제15권12호
• /
• pp.1008-1012
• /
• 2009

난독처리(obfuscation)는 프로그램의 의미를 그대로 유지하면서, 프로그램 코드를 이해/분석하기 어렵게 만드는 기술로, 악의적인 역공학(reverse engineering) 공격으로부터 소프트웨어를 방어하는 가장 효과적인 기술 중의 하나이다. 하지만, 난독처리로 인해 원본 프로그램에 비해 난독처리된 프로그램의 코드 크기 및 실행 시간이 증가될 수 있다. 모바일 기기에서 코드크기 및 수행시간 증가는 전력소모 증가 등 자원낭비로 이어진다. 본 논문에서는 ARM 프로세서가 장착된 임베디드 보드 상에서 몇 가지 고급수준 난독처리 알고리즘을 구현하고, 각 난독처리 알고리즘의 유효성 및 전력 소모량을 분석하여, 프로그램의 특성에 따라 실행시간이나 전력소모 면에서 효율적인 난독처리 기법이 있음을 보였다.

• 한국정보처리학회논문지
• /
• 제6권2호
• /
• pp.261-274
• /
• 1999

최근에 자동화된 업무처리 시스템으로써, 워크플로우 시스템에 대한 연구가 활발히 이루어지고 있다. 기존 연구에서는 태스크 자체에 시간적 특성을 고려하지 않고 태스크의 상태 변이 특성만을 고려하였다. 본 연구는 태스크의 최소 처리시간과 마감시간을 고려함으로써, 시간 제약을 포함한 워크플로우 모델링 및 검증방안을 제안한다. 이를 위해 첫째, 마감시간을 위배하지 않는 태스크의 철회에 대해 대안 태스크를 결정할 수 있는 우선 순위 함수를 제안한다. 우선 순위 함수는 대안 태스크에 대한 시간요소, 의미적 호환 수준을 고려함으로써, 가장 적절한 대안 태스크를 결정한다. 둘째, 기존 연구에서는 순차 및 병행 종속성만을 고려하였으나, 본 연구에서는 태스크간 종속성을 순차 종속성이외에 다양한 병행 종속성인 동시 수행 종속성, 동시시작 종속성, 동시종료 종속성, 간섭된 종속성, 그리고 중첩된 종속성으로 구분하여 제안한다. 셋째, 기술된 워크플로우에 존재할 수 있는 논리적 모순을 발견하기 위해 그래프를 이용한 검증기법을 제안한다.

• 한국컴퓨터정보학회논문지
• /
• 제26권9호
• /
• pp.1-12
• /
• 2021

본 논문은 GPU 프로그램의 메모리의 상태 및 접근사건과 배리어 위치 정보를 감시하고, 실제 메모리 쓰기를 배리어 영역 종료 직전에 발생시키거나 배리어 영역을 재수행시켜 원자성 위배를 수행 중에 수리하는 도구인 ARCAV (Atomatic Recovery of CUDA Atomicity violation)를 제시한다. 기존의 연구들은 Lock과 Sleep 명령어를 사용하여 원자성 위배를 진단 및 수리하도록 구현되었기 때문에 지원되는 명령어와 동기화 기법이 CPU (Central Processing Unit) 프로그램과 다른 GPU (Graphics Processing Unit) 프로그램에는 적용될 수 없었고, GPU 프로그램에서는 원자성 위배의 탐지에 대한 연구만 수행되었다. 제안하는 ARCAV는 GPU 프로그램의 실행모델에서 수행될 수 있도록 설계되어 스레드 구성과 메모리 계층에 무관하게 실세계에서 발생한 원자성 위배를 대표하는 네 가지 패턴의 원자성 위배를 실시간으로 탐지하고 수리할 수 있다. 실험 결과 동시에 실행되는 스레드 개수와 구성에 무관하게 일정한 오버헤드를 보였다. 원자성 위배를 프로그램 수행 중에 실시간으로 탐지하고 수리하기 위해 소요되는 오버헤드는 네 개의 실세계 GPU 커널에서 실험되었고, 원본 프로그램 대비 평균 2.1배의 수행시간으로 동작하였다.

• Nuclear Engineering and Technology
• /
• 제51권6호
• /
• pp.1487-1503
• /
• 2019

The methods and performance of a pin-level nuclear reactor core thermal-hydraulics (T/H) code ESCOT employing the drift-flux model are presented. This code aims at providing an accurate yet fast core thermal-hydraulics solution capability to high-fidelity multiphysics core analysis systems targeting massively parallel computing platforms. The four equation drift-flux model is adopted for two-phase calculations, and numerical solutions are obtained by applying the Finite Volume Method (FVM) and the Semi-Implicit Method for Pressure-Linked Equation (SIMPLE)-like algorithm in a staggered grid system. Constitutive models involving turbulent mixing, pressure drop, and vapor generation are employed to simulate key phenomena in subchannel-scale analyses. ESCOT is parallelized by a domain decomposition scheme that involves both radial and axial decomposition to enable highly parallelized execution. The ESCOT solutions are validated through the applications to various experiments which include CNEN $4{\times}4$, Weiss et al. two assemblies, PNNL $2{\times}6$, RPI $2{\times}2$ air-water, and PSBT covering single/two-phase and unheated/heated conditions. The parameters of interest for validation include various flow characteristics such as turbulent mixing, spacer grid pressure drop, cross-flow, reverse flow, buoyancy effect, void drift, and bubble generation. For all the validation tests, ESCOT shows good agreements with measured data in the extent comparable to those of other subchannel-scale codes: COBRA-TF, MATRA and/or CUPID. The execution performance is examined with a mini-sized whole core consisting of 89 fuel assemblies and for an OPR1000 core. It turns out that it is about 1.5 times faster than a subchannel code based on the two-fluid three field model and the axial domain decomposition scheme works as well as the radial one yielding a steady-state solution for the OPR1000 core within 30 s with 104 processors.

• 한국치위생학회지
• /
• 제22권1호
• /
• pp.21-28
• /
• 2022

Objectives: This study investigated the influence of oral exercise programs with whole-body exercises on the mental health of the elderly. Methods: Elderly individuals aged 65 years or older were assigned to an experimental group and a control group. Oral exercises with whole-body exercises were conducted in the experimental group for 40 minutes, twice weekly, during 5 weeks from May to June 2021. To evaluate the effectiveness of the program, the oral health related quality of life (OHIP-14, GOHAI), mental health, happiness, and social support of the elderly were explored both before and after the execution of the program in the experimental group. A paired sample t-test was performed to check the changes in the factors investigated, both before and after the execution of the program in the two groups. Results: The values of difference between the experimental and control group were compared in relation to the dependent variables, before and after the execution of the oral exercise program with the whole-body exercises. It was found that statistically significant differences in the OHIP-14 (p=0.163), GOHAI (p=0.156), and feelings of happiness in the elderly (p=0.280) were not evident in the experimental group. However, statistically significant differences emerged with regard to the mental health and provision of social support of the elderly (p<0.05). Conclusions: It was found that the oral exercise program with whole-body exercises executed in this study were effective in improving the mental health and social support of the elderly. However, no significant differences were shown in oral health relating to quality of life and feelings of happiness. It is considered that these findings need to be verified by means of future long-term studies.

• 정보보호학회논문지
• /
• 제33권2호
• /
• pp.253-266
• /
• 2023

널 포인터 역참조 (Null Pointer Dereference) 취약점은 정상적인 메모리 주소를 저장한 포인터가 아닌 널 포인터를 참조할 때 발생하는 취약점이다. 그러므로, 서비스거부공격 (Denial-of-service)와 같은 공격에 악용되어 큰 피해를 줄 수 있기 때문에 식별하고 제거해야 할 중요한 취약점이다. 기존 연구에서는 기호실행과 같은 정적분석을 통해 취약점을 탐지하는 방법을 많이 제안하였다. 그러나 커널과 같은 복잡도가 높은 대형 프로그램을 검사할 때는 경로폭발 (path explosion)과 제약조건(constraint solver) 때문에 효율성이 제한되며 주어진 시간 내에 탐지하지 못할 수 있다. 또는 대형 프로그램 중 일부 함수들 혹은 라이브러리 함수를 탐지할 때 전체 프로그램의 상태를 알 수 없기 때문에 완전한 분석을 수행하지 못해 정확도가 높지 않은 경우가 있다. 본 논문에서는 소스코드가 없는 대규모 프로그램에서 특정한 일부 기능 검사 할 때 빠르고 정확하게 검사하기 위한 가벼운 취약점 탐지도구를 연구개발 하였다. 변수나 포인터를 기호로 표시하고 프로그램 실행을 에뮬레이션하여, 각 실행경로에서 데이터 의존성(data dependency) 분석과 휴리스틱 방법으로 널 포인터 역참조 취약점을 탐지한다. 기존 bap_toolkit과 실험하여 비교하였을 때 오탐율이 8% 높지만, 존재하는 취약점을 모두 탐지해냈다.

• 스마트미디어저널
• /
• 제12권5호
• /
• pp.58-64
• /
• 2023

로직 밤에서 악성 행위를 트리거하는 분기문의 조건은 미리 파악할 수 없어 안드로이드 악성 앱 분석을 어렵게 하고 있다. 로직 밤과 트리거일 수 있는 잠재적으로 의심스러운 분기문을 탐지하기 위한 다양한 연구가 진행되었으나, 리플렉션과 같이 런타임에 결정되는 정보가 포함된 앱에서는 의심스러운 분기문을 제대로 탐지할 수 없다. 본 논문에서는 안드로이드 앱에 리플렉션이 사용되어도 앱 실행 로그 기록과 분석을 통해 의심스러운 분기문을 탐지할 수 있는 도구를 제안한다. 제안한 도구는 안드로이드 앱이 실행되는 동안 로그에 호출된 사용자 정의 메소드와 자바 API, 리플렉션으로 호출된 메소드 정보와 분기문 정보를 기록하고 이를 분석하여 호출된 메소드와 분기문간의 관계를 파악하여 의심스러운 분기문을 탐지할 수 있다. 실험을 통해 리플렉션이 사용된 앱에서도 의심스러운 분기문을 탐지할 수 있음을 확인하였다.