• Proceedings of the Korea Information Processing Society Conference
• /
• 2000.04a
• /
• pp.1144-1147
• /
• 2000

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

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.596-598
• /
• 1999

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11b
• /
• pp.1221-1224
• /
• 2003

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

• Journal of Korean Academy of Nursing
• /
• v.22 no.1
• /
• pp.42-48
• /
• 1992

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

• Journal of the Korean Society of Surveying, Geodesy, Photogrammetry and Cartography
• /
• v.18 no.3
• /
• pp.233-240
• /
• 2000

A small rivers take advantage of not only a site of superb scenic beauty, a play space, a rest place but also a momentous waters reservoir, a drainage on territory residents. Likewise, part of the most massed a life space to a region dwellers shall be extremely in harmony with coexistence space in that every kind plant, animal over again a human being and so on. For improvement planning of small river, various way and model are presented. But, it's want of ability for small rivers of a adaption many-side and throwing in a lot of financial resources. Because the improvement planning of small river was designed all small river in a county, the priority must be preprocessed. Now, the counties prioritized for improvement planning of small river are a few, and acquisition and manipulation of the data are time-consuming. Geo-Spatial Information System (GSIS) is specifically designed to manage and analyze spatial data. It will be to offer the benefit to the determination of the improvement priority in a small river. The purpose of this study is to offer priority for improvement planning of small river using GSIS. For this purpose, it was developed using Arc/Info software and AML was used as a developing tool.

• Journal of the Korean Geographical Society
• /
• v.43 no.6
• /
• pp.961-980
• /
• 2008

It is usual to prioritize the blocks to rearrange residential environment by the responsible officer's intuition or a few specialist's experienced knowledge. The aim of this research was to evaluate rebuilding priority in the context of spatially weighted framework integrating resident's view. The spatial weighting for the variables related to evaluation of dwelling environment was derived from AHP (Analytic Hierarchy Process) approach through the analysis of resident's view. An empirical study for a case study site has been conducted to confirm the validity for the spatial weighting. The spatial weighting has frequently influenced in changing the rebuilding priority and was identified as the important predictor for the improvement sites of dwelling environment. The spatially weighted analysis made it possible to identify area-wide patterns of rebuilding priority area subject to many different type of thematic variables, which cannot be acquired by traditional field sampling. The spatially weighting derived by integrating various formats of spatial data into a comprehensive GIS database in particular, was ideally suited to displaying the objective distribution patterns for rebuilding priority. The result of this study would play a crucial role in dealing with public complaints for rebuilding priority since it could provide objective evidences in accordance with spatial weighting.

• The Journal of Society for e-Business Studies
• /
• v.22 no.1
• /
• pp.107-122
• /
• 2017

Nowadays, digital forensic experts are not only computer experts who restore and find deleted files, but also general experts who posses various capabilities including knowledge about processes/laws, communication skills, and ethics. However, there have been few studies about qualifications or competencies required for digital forensic experts comparing with their importance. Therefore, in this study, AHP questionnaires were distributed to digital forensic experts and analyzed to derive priorities of competencies; the first-tier questions which consisted of knowledge, technology, and attitude, and the second-tier ones which have 20 items. Research findings showed that the most important competency was knowledge, followed by technology and attitude but no significant difference was found. Among 20 items of the second-tier competencies, the most important competency was "digital forensics equipment/tool program utilization skill" and it was followed by "data extraction and imaging skill from storage devices." Attitude such as "judgment," "morality," "communication skill," "concentration" were subsequently followed. The least critical one was "substantial law related to actual cases." Previous studies on training/education for digital forensics experts focused on law, IT knowledge, and usage of analytic tools while attitude-related competencies have not given proper attention. We hope this study can provide helpful implications to design curriculum and qualifying exam to foster digital forensic experts.

• Proceedings of the Korean Information Science Society Conference
• /
• 2000.10a
• /
• pp.471-473
• /
• 2000

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.257-260
• /
• 2004

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

• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.04a
• /
• pp.551-552
• /
• 2017

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