• 제목/요약/키워드: 실행검사

검색결과 408건 처리시간 0.026초

정적분석을 이용한 자바 언어의 권한검사 시각화 시스템 (A Visualization System for Permission Check in Java using Static Analysis)

  • 김윤경;창병모
    • 정보처리학회논문지A
    • /
    • 제13A권5호
    • /
    • pp.399-404
    • /
    • 2006
  • Java 2에서 자원에 대한 접근 권한관리를 위하여 프로그래머는 프로그램 실행에 필요한 권한들을 정책파일(polic file)에 기술하고, 보안관 리자(Security Manager)를 설치하여 프로그램을 수행시킨다. 프로그램 실행 중에 자원에 대한 접근을 시도할 때마다. 보안관리자는 스택 인스펙션을 통해 접근 권한이 있는지 검사한다. 본 논문에서는 프로그래머가 안전한 보안정책을 세우는데 편의를 제공하고자 권한검사 관련 정보를 정적으로 분석하여 시각적으로 보여주는 시스템을 구현하였다. 권한김사 시각화 시스템은 정적 권한검사 분석에 기반하여, 각 메소드 별로 항상 성공하거나 항상 실패하는 권한검사를 계산한다. 프로그래머는 프로그램을 실행시켜보기 전에 권한검사와 스택 인스펙션이 어떻게 수행되는지 시각적으로 확인해 볼 수 있다. 이러한 정보를 토대로 안전한 보안정책을 세우기 위해 프로그램이나 정책파일을 수정할 수 있다.

실행정보를 적용한 최악실행시간 분석도구 (Worse Case Execution Time Analysis Tool Using The Run-Time Information)

  • 문인철;박현희;양승민
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2007년도 한국컴퓨터종합학술대회논문집 Vol.34 No.1 (B)
    • /
    • pp.255-260
    • /
    • 2007
  • 내장 실시간 시스템은 논리적 정확성과 시간적 정확성을 모두 만족해야 하는 내장 시스템이다. 시스템의 시간적 정확성을 위해서는 해당 시스템에서 동작하는 태스크들의 스케줄링 가능성을 검사해야 한다. 스케줄링 가능성을 분석하기 위해서는 태스크의 실행 시간 분석이 선행 되어야 한다. 하지만 태스크의 실행 시간은 실행 시점에 따라 가변적이기 때문에 태스크의 정확한 실행 시간을 알아내기는 힘들다. 따라서 가능한 모든 경우를 고려하여 해당 태스크를 구성하는 코드 경로 중 최악의 경로일 경우의 실행 시간인 최악 실행 시간을 이용한다. 기존의 정적 최악 실행 시간 분석을 하는 도구의 경우 동적인 상황의 정보 부재로 인해 최악 실행 시간의 과대 측정 비율이 높다는 문제점이 있다. 본 논문에서는 정적 최악 실행 시간 분석 시 과대 측정 비율을 줄이기 위해 대상 기기에 실행 정보를 적용한 RunInfo(WCET analysis tool using the Run-Time Information) 분석 도구를 설계하고 구현한다. 실행 정보를 정의하고, RunInfo 분석 도구의 구조에 대해 설명한다. 그리고 실행 정보를 적용할 때, 고려할 점에 대해 알아본다. 성능 평가를 위해 RunInfo 분석 도구의 과대 측정 비율을 기존의 분석도구와 비교한다.

  • PDF

주의력결핍 과잉행동장애 아동의 타이밍에 따른 운동기능과 실행기능의 차이 (Differences in Motor Functions and Executive Functions according to the Timing of Children With Attention Deficit Hyperactivity Disorder)

  • 이수민;김경미
    • 대한감각통합치료학회지
    • /
    • 제16권2호
    • /
    • pp.15-25
    • /
    • 2018
  • 목적 : 본 연구는 주의력결핍 과잉행동장애 아동(Attention Deficit Hyperactivity Disorder; ADHD)의 타이밍에 따른 운동기능과 실행기능의 차이를 알아보고자 하였다. 연구방법 : 연구 대상은 부산지역에 거주하며, ADHD 진단을 받은 만 6~12세 아동 32명을 대상으로 하였다. 연구도구로는 타이밍 기능 평가를 위해 상호작용식 메트로놈(Interactive Metronome; IM), 운동기능 평가를 위해 Bruininks-Oseretsky Test of Motor Proficiency, Second Edition(BOT-2)를 사용하였고, 실행기능 평가를 위해 스트룹 아동 색상 단어 검사와 아동 색 선로 검사를 사용하였다. 타이밍에 따른 운동기능과 실행기능의 차이를 알아보기 위해 Mann-Whitney U 검정을 실시하였다. 결과 : ADHD 아동의 타이밍에 따른 운동기능의 차이를 알아본 결과 BOT-2의 영역 중 미세한 손의 조절 영역에서 유의한 차이가 있었다(p<.05). 각 영역의 하위 항목에서는 미세운동 정확성에서 유의한 차이가 있었다(p<.05). ADHD 아동의 타이밍에 따른 실행기능의 차이를 알아본 결과 스트룹 아동 색상 단어 검사와 아동 색 선로 검사에서 유의한 차이를 보이진 않았다. 결론 : ADHD 아동의 결함들 중에서 타이밍 기능에 따른 운동과 실행기능의 차이를 알아 볼 수 있었다. 본 연구는 추후에 진행될 ADHD 아동의 타이밍에 관한 연구를 하는데, 기초자료로 사용될 수 있다는 점에서 의미가 있다.

감각-운동 중심의 융합 활동을 기초로 한 그룹 작업치료가 초등학교 1학년 부적응아동의 자기조절능력과 실행능력에 미치는 영향: 사례연구 (The Effect of Group Occupational Therapy based on Sensory-Motor Centered Convergence Activities on Self-regulation and Executive Function of Maladapted Children in First Grade Elementary School: A Case Study)

  • 조선영
    • 한국융합학회논문지
    • /
    • 제12권2호
    • /
    • pp.67-75
    • /
    • 2021
  • 본 연구는 초등학교 1학년 부적응 아동을 대상으로 감각과 운동 중심의 융합 활동으로 구성 된 그룹 작업치료 프로그램을 실시하여 자기조절능력, 실행 기능에 미치는 영향을 알아보고자 하였다. 연구 설계는 사전-사후 검사를 통한 사례 연구이며 대상자는 총 3명이다. 사전-사후 검사로 자기 조절 능력 척도와 실행 기능을 알아보기 위해서 운동적 합성 검사를 실시하였다. 감각-운동 중심의 그룹 작업치료 프로그램은 전정 감각, 고유 감각, 촉각이 기초 한 움직임 활동을 하였으며 아동의 활동에 대한 선호도를 조사하여 과제를 선정하였다. 그 결과 대상자 1과 대상자 2 아동은 자기조절 능력, 실행 기능의 향상이 나타났다. 본 연구의 결과를 근거로 하여 교육 현장과 임상이 연계되어 학교의 부적응을 보이는 아동들에게 그룹 중심의 감각-운동 프로그램을 제공하여 학교의 적응 능력 향상을 기대할 수 있을 것을 사료된다.

주의력결핍 과잉행동장애 소아청소년의 실행기능과 정량화 뇌파의 상관성 연구 (Correlation of Executive Function and Quantitative Electroencephalography in Children and Adolescents with Attention-Deficit/Hyperactivity Disorder)

  • 정유진;박진영;김현중;최정원;정경운
    • 정신신체의학
    • /
    • 제25권1호
    • /
    • pp.63-72
    • /
    • 2017
  • 연구목적 본 연구는 주의력결핍 과잉행동장애(attention-deficit/hyperactivity disorder, ADHD) 환자들을 대상으로 다양한 실행기능과 정량화 뇌파간의 상관성을 알아보고자 하였다. 방법 31명의 소아청소년 ADHD 환자를 대상으로 정량화 뇌파를 측정하였다. 종합주의력검사(Comprehensive Attention Test, CAT), 스트룹 색-단어 추론 검사(Color-Word Inference Test, CWIT), 선추적 검사(Trail Making Test, TMT), 카드분류검사(Card Sorting Test, CST)가 시행되었고 한국어판 주의력결핍 과잉행동장애 평정척도(Korean version of the ADHD Rating Scale, K-ARS)가 측정되었다. 결과 CAT 검사 점수와 알파, 베타 파워가 양적 상관이 있는 반면, 델타 파워와는 부적 상관이 있었다. CWIT 검사에서는 감소된 델타 파워와 증가된 베타 파워가 높은 수행수준과 관련 있었다. 높은 TMT 검사 점수는 증가된 알파 대역 파워와 관련이 있었으며, CST 검사에서 델타 파워는 높은 수행수준과 부적 상관이 있는 반면 알파, 하이 감마파의 파워와는 양적 상관을 보였다. K-ARS 점수는 알파 파워와 부적 상관을 보였다. 결론 정량화 뇌파는 ADHD 환자들의 실행기능과 상관성을 보이며 신경생리학적 지표로서의 유용성이 시사된다.

빠른 명령어 처리가 가능한 EIS 프로세서 구조 (EIS Processor Architecture for Enhanced Instruction Processing)

  • 지승현;전중남;김석일
    • 한국통신학회논문지
    • /
    • 제25권12B호
    • /
    • pp.1967-1978
    • /
    • 2000
  • 본 논문에서는 실행 시에 긴명령어를 구성하는 각 단위 명령어를 독립적으로 스케줄링할 수 있는 EIS 프로세서 구조를 제안하였다. 단위 명령어별 독립적인 수행을 위해서, EIS 프로세서 구조는 여러 개의 연산처리기와 스케줄러의 쌍으로 구성된다. EIS 프로세서 구조내의 모든 스케줄러는 독립적으로 자료종속성이나 자원충돌 여부를 검사하여 단위 명령어를 실행할지 혹은 다음 파이프라인 사이클동안 실행을 지연시킬지를 결정한다. 또한 EIS프로세서용 목적코드는 단위 명령어들간 동기화를 위해서 모든 단위 명령어에 종속성정보를 삽입하는 특징을 지닌다. 즉, EIS 프로세서 구조는 긴명령어내의 각 단위 명령어를 독립적으로 실행시킬 수 있으므로 기존의 VLIW 프로세서 구조나 SVLIW 프로세서 구조에서의 실행지연 시간을 제거할 수 있다. 시뮬레이션을 통해서도 EIS 프로세서 구조의 실행사이클이 VLIW 프로세서 구조나 SVLIW 프로세서 구조에서의 경우보다 더 빠름을 입증할 수 있었다. 특히 실수 명령어 분포가 높은 프로그램에서 EIS 프로세서에서의 실행사이클이 다른 프로세서 구조의 경우에 비하여 현저하게 줄어드는 것을 확인할 수 있었다.

  • PDF

재배열 기반의 교착상태 없는 혼성 병행실행제어 (A Hybrid Concurrency Control without Deadlock based on Reordering)

  • 조성호
    • 인터넷정보학회논문지
    • /
    • 제7권6호
    • /
    • pp.79-86
    • /
    • 2006
  • 클라이언트-서버 데이터베이스 시스템에서 많은 병행실행제어가 연구되었다. 그러나 일반적으로 알려진 기법들은 데이터베이스에서 데이터의 집중으로 인한 수많은 변화를 수용하기 어렵다. 본 논문에서는 혼성 병행실행제어를 제안한다. 제안하는 기법은 첫 번째 실행에서는 낙관적인 기법을 사용하며 두 번째 실행에서는 비관적인 기법을 사용한다. 제안하는 기법에서는 두 번째 단계에서 잠금을 미리 선언하기 때문에, 비관적인 기법에서 발생할 수 있는 교착상태는 발생하지 않는다. 또한, 낙관적 단계의 검사가 실패하더라도 단 한번만 재실행되는 것을 보장한다. 실험을 통하여 제안하는 기법과 분산 낙관적 병행실행제어를 비교하고, 제안하는 기법이 분산 낙관적 병행실행제어보다 우수하다는 것을 보인다.

  • PDF

가상실행에 기반을 둔 SW의 이해에 관한 연구 (A Study on SW Understanding based on Virtual Execution)

  • 정양재;박성옥;이문근
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2000년도 봄 학술발표논문집 Vol.27 No.1 (A)
    • /
    • pp.579-581
    • /
    • 2000
  • 다양한 실행경로가 존재하는 실시간 시스템을 이해하기 위해 정적 정보와 함께 동적 정보의 이해가 필요하다. 본 논문은 매개언어 SRL을 사용하여 정적 정보와 동적 정보를 모두 표현할 수 있는 방법을 제안했다. SRL을 통해 표현된 정적 정보와 동적 정보는 많은 시스템 이해 도구에 사용될 수 있다. 또한 동적 정보를 얻기 위한 방법으로 실제 시스템이 아닌 가상기계를 통한 가상실행을 수행함으로써 안전성이 중요한 시스템을 검증이전에 위험부담 없이 검사할 수 있다.

  • PDF

주의력 결핍 과잉행동 장애 아동의 억제능력, 계획능력, 그리고 작업기억 능력 (INHIBITION, PLANNING, AND WORKING MEMORY IN CHILDREN WITH ATTENTION DEFICIT HYPERACTIVITY DISORDER)

  • 김귀애;김상엽;홍창희;이명주
    • Journal of the Korean Academy of Child and Adolescent Psychiatry
    • /
    • 제15권1호
    • /
    • pp.82-90
    • /
    • 2004
  • 목 적:본 연구에서는 주의력 결핍과잉행동장애 아동을 대상으로 주요 3가지 실행기능 영역인 억제능력, 작업기억, 그리고 계획능력 면에서 정상아동과의 수행차이를 비교 분석하였으며, 실행기능 수행에 영향을 미치는 나이와 지능을 통제하여 고찰하였다. 또한 억제통제능력을 인지억제와 행동억제로 구분하여 수행을 비교연구 하였다. 방 법:대상은 주의력결핍과잉행동장애로 진단된 아동 25명으로 연령범위는 7세에서 12세였고, 비교집단은 동일연령의 정상 아동 25명이였다. 모든 아동들에게 개별적으로 지능검사와 실행기능 검사(고노고, 스트룹 간섭과제, 하노이탑, 숫자검사)를 실시하였으며, 나이와 지능을 공변인으로 한 공변량 분석을 하였다. 결 과:지능에서 ADHD아동과 정상아동간에 유의미한 차이를 보였으며, 나이는 각 실행기능 검사와 유의미한 상관을 보였다. ADHD아동은 정상아동에 비해서 억제능력과 작업기억에서 유의미하게 저조한 수행을 보였다. 하지만, 지능과 나이를 통제했을 경우, 작업기억과 계획능력에서는 수행차이가 없었다. 논 의:ADHD아동은 전반적인 실행기능에서 손상을 보이는 것이 아니라 억제능력(인지억제와 행동억제)에 어려움이 있으며, 억제능력이 ADHD의 주요결함임을 시사해준다. 이와 같은 결론은 치료적 개입시 인지억제 및 행동억제에 중점을 둔 치료방법이 필요함을 시사해준다.

  • PDF

집단 요리활동 프로그램이 지역아동센터 비장애 아동의 실행기능에 미치는 영향 (The Effects of Group Cooking Program on Executive Function of the Non-disabled Children in Community Children's Center)

  • 이초희;권선정;이승민;제영현;조예나;김은영
    • 대한지역사회작업치료학회지
    • /
    • 제8권3호
    • /
    • pp.59-67
    • /
    • 2018
  • 목적 : 본 연구는 작업에 기반을 둔 집단 요리활동 프로그램이 지역아동센터 비장애 아동의 실행기능에 미치는 효과를 알아보고자 하였다. 연구방법 : 지역아동센터를 이용하는 만 6~9세 아동 6명이 2017년 7월부터 2017년 8월까지 본 연구에 참여하였다. 본 연구는 단일 집단 사전-사후 설계로, 지역아동센터 아동들을 대상으로 집단 요리활동 프로그램을 진행하였다. 중재 전 후에 스트룹 아동 색상-단어 검사(STROOP Color and Word Test), 아동 색 선로 검사(Children's Color Trails Test), 운동처리기술평가(Assessment of Motor and Process Skills)를 사용하여 아동들의 실행기능을 평가하여 프로그램의 효과를 측정하였다. 결과 : 중재 전과 비교하여 중재 후 스트룹 아동 색상-단어 검사와 운동처리기술평가의 처리기술 점수가 통계적으로 유의하게 향상되었다(p<.05). 아동 색 선로 검사에 있어 중재 전 점수와 중재 후 점수 간에 통계적으로 유의한 차이가 나타나지 않았다(p>.05). 결론 : 본 연구는 지역아동센터 비장애 아동을 대상으로 한 집단 요리활동 프로그램 중재가 인지적 억제 실행기능과 수행 실행기능에 효과가 있음을 제시하였다. 본 연구는 작업에 기반을 둔 중재 접근이 지역사회의 다양한 대상들에게 적용될 수 있음을 시사한다.