• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2000년도 제13회 춘계학술대회 및 임시총회 학술발표 논문집
• /
• pp.1144-1147
• /
• 2000

본 논문에서는 정형 명세 도구인 Spin을 이용한 근사 정렬된 우선 순위 큐 스케줄러 알고리즘에 대한 정형 명세 방법론을 제시하였다. 최근에 제안된 패킷 스케줄링 알고리즘은 우선 순위(마감 순위, 가상 종료 시간, 시간 스템프 등)에 따라 QoS를 지원한다. 그러나 QoS를 지원하기 위한 우선 순위를 유지하는데는 많은 오버 헤드가 요구된다. 따라서 근사된 우선 순위 큐 스케줄러 알고리즘은 낮은 계산상의 오버 헤드를 통해 근사된 우선 순위 큐를 유지함으로서 정확한 우선 순위 큐를 유지하기 위한 오버 헤드와의 trade off를 고려한다. 큐는 주기적으로 회전을 하며 최소한의 포인터 오퍼레이션을 통해 근사된 우선 순위 큐를 유지한다. 이러한 스케줄러 알고리즘의 동작 과정을 정형 기법을 이용하여 패킷 스케줄링상에 기아 현상등이나 데드락 현상등의 발생여부를 검증하는 방법등의 연구가 전무한 상태이다. 정형 명세 도구인 Spin을 이용하여 제안된 알고리즘을 명세하는 방법론을 기술한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
• /
• pp.596-598
• /
• 1999

본 논문은 UML-RT 도구로서 GCSR(Graphical Communicating Shared Resource)를 제안하는데 있어UML의 기본 다이아그램 중 하나인 Statechart와 비교 분석함으로 그 기능과 장.단점을 제시한다. 기존의 정형 명세 언어인 Statechart에서는 실시간 시스템이 명세에 있어 필수적인 시간적인 개념과 우선순위 개념이 제한적이다. 그러나 정형명세의 또 다른 언어인 GCSR이 가진 시간적 개념과 우선순위 개념의 효용을 보이고 이를 Statechart의 실시간 시스템의 명세와 비교함으로 UML-RT로서의 GCSR을 제안한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2003년도 추계학술발표논문집 (중)
• /
• pp.1221-1224
• /
• 2003

본 논문은 RBR(Rule-Based Reasoning) 기법과 RBR 기법에 적용될 규칙에 대한 우선순위를 둠으로써 효율적인 네트워크 설정을 만드는 동시에 네트워크 장애 발생시 장애를 진단 검출복구하는 에이전트 시스템에 관한 연구이다. 논문에서 제시하는 시스템은 AS 내에서 동작하는 것을 원칙으로 하며 각 네트워크의 에이전트들은 우선 순위 장애 탐지 및 복구를 위해 우선 순위에 따라 규칙을 적용한다. 장애 발생시 진단 검출 복구를 위해 에이전트는 상호 협력하며 장애 검출 및 진단 도구로써 ping, traceroute 등을 이용한다.

• 대한간호학회지
• /
• 제22권1호
• /
• pp.42-48
• /
• 1992

이 연구는 현존해 있는 다양한 임상평가도구의 신뢰도와 타당도에 관한 분석 서술 연구이다. Rines(1974)에 의하면 평가는 학습경험을 통하여 목적을 달성하는 지의 여부를 측정하는 것이라고 하였고 평가의 목적은 교육증진을 도모하며, 목표를 설정하고, 학생의 학습진행과정을 사정하여 학생들을 위한 프로그램을 사정, 개발시키는데 있다고 피력 하였다. 간호교육에는 실무교육이 많은 비중을 차지하고 있다. 또한 많은 간호교육자들은 실습평가에 있어 많은 어려움을 경첩하고 있다. 이러한 난해한 실습평가도구를 개발하기 위하여 선행된 우선순위로써 현존해 있는 다양한 평가도구의 신뢰도와 타당도를 평가하는 것이 의의 있는 일이라 사료된다. 이 논문은 실습평가도구의 신뢰도와 타당도에 관심을 가진 임상지도교수나 간호교육자들을 대상으로 한 서술적 연구이다. 우선 간호교육평가에 있어서의 문제점을 분석하고 평가도구에 대한 전문가(Authority)의 의견을 피력한 다음 저자의 의견을 서술하였다. 결론적으로 현재까지 개발된 완전한 임상실습평가의 방법은 없다. 그러므로 현존해 있는 평가방법을 서술평가하고 문제점을 지적하므로써 질적인 평가도구개발에 도움을 줄 수 있다. 앞으로 간호교육자들이 각 문제점들을 보완하여 교육목적을 달성시킬 수 있는 효율적인 평가도구를 개발하는 것이 급선무이다.

• 한국측량학회지
• /
• 제18권3호
• /
• pp.233-240
• /
• 2000

소하천은 지역주민에게 아름다운 경관과 놀이공간 및 휴식장소를 제공할 뿐만 아니라 중요 용수원이자 배수로로 활용되는 지역주민의 가장 밀접한 생활공간의 일부이며 수변의 각종 식물이나 동물이 인간과 가장 조화롭게 공존하는 공간이라 할 수 있다. 이런 소하천에 대한 정비 계획을 수립하는데 여러 가지의 방향과 모델이 제시 되어왔으나, 소하천은 다양한 변화와 많은 재원이 투입해야 하는 어려움이 있다. 소하천 정비계획은 일반하천의 정비계획과 달리 관할구역내 모든 소하천을 대상으로 일시에 수립해야 하는 계획으로 정비 우선순위 결정이 선행되어야 한다. 현재 소하천 우선순위 결정을 실시한 지역은 아직 미미한 편이며, 처리를 했다 할지라도 처리 작업이 모두 수작업으로 많은 시간이 소요되고 있다. 그러므로 지리정보시스템은 공간 자료의 분석과 관리를 위한 도구로, 소하천에 대한 정비 우선순위 결정을 위해 사용된다면 많은 도움을 줄 수 있을 것이다. 이 연구의 목적은 지형공간정보체계를 사용함으로써 소하천 정비에 있어 효율적인 우선순위 결정을 위한 것으로 소하천의 빈번한 우선순위 결정인자 변화에 신속히 대응할 수 있도록 하였다.

• 대한지리학회지
• /
• 제43권6호
• /
• pp.961-980
• /
• 2008

주거환경 개선 사업지역의 우선순위 평가는 담당자의 경험이나 직관, 또는 소수전문가들의 경험적 지식 등에 의존하고 있다. 수요자의 요구를 반영한 공간 가중치를 활용하여 주거환경 개선 사업의 우선순위를 평가하고자 본 연구가 수행되었다. 공간가중치 기반의 주거환경개선 사업 우선순위 평가는 기존의 미시적 인 데이터 에 의거한 평가보다 객관적이고 정량적 인 근거를 제시하는 도구로 활용될 수 있었다. 기존에 조사지점에만 국한된 통계 수치정보가 광역적인 주거환경개선 사업 우선순위 지역을 단시간에 제시하는 데 많은 한계가 있었으나 대용량의 공간 데이터와 다양한 형태의 데이터를 통합하는 GIS기법을 활용하여 주거환경 개선 사업의 우선순위 결정과정의 객관성을 확보할 수 있었다. 수작업에서는 담당자의 주관이 반영된 분석결과에 의거 사업 우선순위를 제시하더라도 그것을 쉽게 점검할 수 있는 방법이 마땅하지 않았다. 그러나 명확하고 체계적인 GIS 분석과정 때문에 그러한 오류를 예방할 수 있었으며 분석결과가 객관적으로 제시될 수 있었다. 사업 우선순위 관련 민원발생시 관련 자료를 곧바로 제공하고 민원을 신속히 해결할 수 있을 것으로 사료된다.

• 한국전자거래학회지
• /
• 제22권1호
• /
• pp.107-122
• /
• 2017

오늘날 디지털포렌식 전문가는 삭제된 파일을 복구해서 찾아내는 컴퓨터 전문가 역할에만 그치는 것이 아니기 때문에, 기술 뿐 아니라 절차와 법규에 대한 지식과 소통능력, 윤리의식 등 다양한 역량이 필요하다. 하지만, 디지털포렌식을 직접 수행하는 전문가에 대한 자격 요건이나 필요한 역량에 대한 연구는 기술에 대한 연구에 비해 상대적으로 많지 않다. 따라서 본 연구에서는 미래의 다양한 난제에 대응하고 해결책을 찾아야 하는 디지털포렌식 전문가에게 필요한 역량들의 우선순위를 AHP 방법론을 활용하여 도출해 보고자 하였다. 디지털포렌식 전문가를 대상으로한 AHP 설문에서 디지털포렌식 전문가 역량을 지식, 기술, 태도로 구성된 1계층과 디지털 증거 관련 법률/규정/판례 등 총 20개 항목의 2계층으로 구분하여 우선순위를 비교하였다. 분석 결과 1계층에서 가장 중요한 항목은 지식이었고 그 다음이 기술과 태도 순이었으나 그 차이는 그리 크지 않았다. 2계층 20개 항목 중에서 가장 중요한 항목은 "디지털포렌식 장비/도구 프로그램 활용 기술"이었고, 2위는 "디지털장비에서 저장매체 데이터 추출 및 이미징 기술" 이었다. 3위부터는 "판단력", "도덕성", "소통능력", "집중력" 등 태도와 관련된 항목 순으로 나타났으며, 가장 중요하지 않은 항목은 "사건관련 실체법"으로 나타났다. 선행연구에서 디지털포렌식 전문가에 대한 교육과정은 대부분 관련법, IT지식 및 디지털포렌식 분석도구 사용법에 집중되어 있었고 자격제도도 디지털포렌식 분석도구 사용능력을 주로 평가하고 있었다. 하지만 본 연구에서 중요하게 나타난 태도 관련 항목에 대한 고려는 상대적으로 부족한 것으로 나타났다. 향후 디지털포렌식 전문가 교육과정과 자격제도 설계에 있어서 본 연구결과가 도움이 되길 기대한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.471-473
• /
• 2000

소프트웨어의 대형화, 복잡화에 따라 아키텍처의 중요성이 더욱 강조되고 있다. 또한, 복잡한 사용자의 요구사항을 소프트웨어에 혹은 아키텍처에 잘 반영시킬 수 있는 방안이 연구되어지고 있다. 이 논문에서는 주요한 소프트웨어 아키텍처 분석, 검증 방법들 중의 하나인 ATAM을 지원하는 도구로서 WSMS를 제안하고 있다. WSMS는 웹 기반의 시나리오 관리도구로서, ATAM에서 아키텍처의 다양한 면을 기술하는 시나리오의 효율적인 관리를 위해 시나리오의 추출, 분류, 우선순위 결정, 변경관리 등의 기능을 수행한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2004년도 춘계학술발표대회
• /
• pp.257-260
• /
• 2004

임베디드 시스템에 탑재될 자바가상머신을 기능별 모듈로 컴포넌트화 하여 이식될 플랫폼의 요구사항에 맞추어 재구성한다면 컴포넌트 기술의 장점인 소프트웨어의 재사용과 재구성을 통한 빠르고 신뢰성있는 자바가상머신 개발이 가능하다. 이러한 자바가상머신 컴포넌트 재구성을 위한 컴포넌트 모델의 정의 및 명세를 위한 지원도구가 필요하며, 명세도구의 지원 하에 보다 시각적인 컴포넌트 구성 및 각 명세요소 정의를 바탕으로 한 자바가상머신 컴포넌트의 재구성에 요구되는 여러 제약조건이나 각 컴포넌트 간의 관계정의 등이 명세 되어질 수 있다. 또한 임베디드 시스템이 가지는 실시간 속성에 대해서 정의하여 이를 명세도구를 통해서 속성명세 및 설계 시에 예측성을 지원하기 위한 WCET 계산이나 우선순위 정의 등을 명세할 수 있다. 따라서, 본 논문에서는 명세방법을 제안하고 실시간 속성 중심의 자바가상머신 컴포넌트 명세도구를 설계하고 구현하였으며, 기존에 제안된 내장형 실시간 컴포넌트 개발 도구와 비교하였다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2017년도 춘계학술발표대회
• /
• pp.551-552
• /
• 2017

하나의 프로젝트에는 다양한 기능과 역할을 가진 소스코드가 존재한다. 그러나 기존 정적 분석 도구들은 이러한 특성을 고려하지 않고, 모든 소스코드에 동일한 탐색 정책과 우선순위를 적용하고 있다. 본 연구에서는 오픈소스 프로젝트로부터 수집한 소스코드들을 토픽모델링을 이용하여 특정 토픽으로 분류하고, 분류된 토픽에 해당되는 코드 안에서 높은 영향력을 갖는 잠재결함(Potential Bug)의 특징을 분석하였다. 이 결과를 바탕으로 개발자에게 개발 중인 소스코드의 특성에 따라 어떤 잠재결함에 더 우선순위를 두어야 하는지에 대한 지침을 제공할 수 있다.