http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
- 中文 을 입력하시려면 zhongwen을 입력하시고 space를누르시면됩니다.
- 北京 을 입력하시려면 beijing을 입력하시고 space를 누르시면 됩니다.
RISS 인기검색어
- 검색키워드
- 저자 : 남기혁(Ki-Hyuk Nam) (검색결과 6 건)
- 무료
- 기관 내 무료
- 유료
-
ACSR을 이용한 실시간 운영체제의 Time Partitioning 분석
남기혁(Ki-Hyuk Nam),방기석(Ki-Seok Bang),권기춘(Ki-Chun Kwon),최진영(Jin-Young Choi) 한국정보과학회 2003 한국정보과학회 학술발표논문집 Vol.30 No.2Ⅰ
다중 쓰레드를 지원하는 실시간 운영체제 스케줄러의 time partitioning 속성을 프로세스 알제브라 언어인 ACSR을 이용하여 분석한다. 본 논문에서는 먼저 실시간 운영체제의 전반적인 스케줄러 동작에 대한 ACSR 모델을 작성하고, 이를 두 가지 시나리오에 대해 분석한다. 이러한 방법을 사용함으로써 실시간 시스템의 설계 및 구현 작업을 보다 쉽고 정확하게 수행할 수 있다.
-
남기혁 ( Ki-hyuk Nam ),구경이 ( Kyung-i Ku ),강성주 ( Sung-ju Kang ),김원영 ( Won-young Kim ),최완 ( Wan Choi ) 한국정보처리학회 2007 한국정보처리학회 학술대회논문집 Vol.14 No.2
본 논문에서는 데스크탑 사용자가 손쉽게 웹 애플리케이션을 설치하고 실행하기 위한 원클릭 배포방식을 소개한다. 먼저 기존 웹 애플리케이션의 배포 방식의 현황 및 문제점을 제시하고, 이를 해결하기 위한 웹 애플리케이션의 패킹 및 실행 메커니즘과 관련 구성 요소를 소개한 뒤, 구현 결과와 향후 과제를 제시한다.
-
스포츠산업 일자리 창출을 위한 NCS(국가직무능력표준) 활용 방안
남기혁(Ki-Hyuk Nam),최경호(Kyoung-Ho Choi) 한국엔터테인먼트산업학회 2016 한국엔터테인먼트산업학회 학술대회 논문집 Vol.2016 No.5
본 연구는 스포츠산업 일자리 창출을 위한 국가직무능력표준(NCS)을 활용할 수 있는 방안을 모색하고자 스포츠 분야의 중분류, 소분류, 그리고 세분류를 중심으로 연계되는 신직업자격에 대한 부분까지 검토하여 그 시사점을 제시하고자 한다. 스포츠산업 일자리 창출을 위해 NCS를 기반으로 중·장기적인 사업체 수요에 대한 예측이 가능하며, 새롭게 7개 직종에 대한 일자리를 창출할 수 있으며, 그에 따른 신직업자격의 국가기술자격화까지 연계할 수 있다. 각 직종에 대한 자격체계는 선수스포츠관리사, 건강운동관리사, 스포츠클럽매니저, 여가생활지도사가 있고, 이를 체계적으로 관리·감독하기 위해서는 참여 기업과 인력 공급기관의 추진체가 구축되어야 한다. 또한 참여인력의 전문성과 검증체계(산업체, 교육기관, 자격제도)가 원활하게 형성되어 NCS를 통한 스포츠산업 현장에 적극적으로 활용되어야 할 것이다.
-
구경이 ( Kyong-i Ku ),남기혁 ( Ki-hyuk Nam ),정문영 ( Moon-young Chung ),김원영 ( Won-young Kim ),최완 ( Wan Choi ) 한국정보처리학회 2007 한국정보처리학회 학술대회논문집 Vol.14 No.2
YouFree 는 이동형 SW 플랫폼을 기반으로 개인 맞춤형 지식 관리 및 개발 환경을 제공하고자 한다. YouFree 내의 브라우저 기반 SW 실행 엔진은 사용자가 이동한 곳에서 YouFree 가 실행될 수 있도록 이동성을 지원한다. 본 논문에서 제안하는 브라우저 기반 SW 실행 엔진은 설치 시 레지스트리의 변경하지 않으며, 실행을 위해 사용자의 추가적인 구성을 필요로 하지 않는다. 또한, 먼저 실행된 엔진이 존재하더라도 충돌 없이 새로운 엔진을 실행하여 사용자가 편리하게 브라우저 기반 SW 를 사용할 수 있도록 한다. 따라서 사용자는 YouFree 를 이용해 브라우저 기반 SW 를 서비스하거나, 또는 SW 의 개발 도구, 개인 컨텐츠 관리 도구로 YouFree를 이용할 수 있다.
-
PtolemyII의 CCS 도메인 (pp.335-346)
황혜정(Hye-Jung Hwang),김윤정(Ki-Hyuk Nam),남기혁(Yoon-Jeong Kim),김일곤(Il-Gon Kim),최진영(Jin-Young Choi) 한국정보과학회 2004 정보과학회논문지 : 시스템 및 이론 Vol.31 No.5·6
톨레미II는 내장형 시스템과 같이 이질적 성질을 가진 병렬 시스템을 모델링하고 디자인 할 수 있는 환경을 지원해준다. 톨레미II는 여러 개의 도메인을 가지고 있다. 도메인은 각 시스템의 구성 요소들간의 통신 방법을 결정하는 물리적인 규칙이다. 톨레미II에는 PetriNet, Timed Multitasking, SR 등 11개의 도메인이 존재한다. 시스템의 구성요소들은 그 특성에 맞는 도메인을 사용하여 명세되어질 수 있다. 톨레미II는 특히 정형적 도메인으로 프로세스 알제브라 언어의 일종인 CSP를 가지고 있다. 그러나 CCS는 도메인으로 구현되지 않았다. CCS는 프로세스 알제브라의 일종으로서 정형적으로 병렬시스템을 명세하고 검증할 수 있는 언어이다. 따라서 본 논문에서는 CCS도메인을 구현함으로써 톨레미II를 사용하는 개발자가 톨레미II에서 사용하고 있는 동일한 모델링 패턴을 사용하면서 CCS의 정형적 의미론을 바탕으로 하여 시스템 명세를 할 수 있게 하였다. 이것은 톨레미II의 도메인의 다양성을 가지고 옴으로써 톨레미II의 표현력과 가용력을 높였다. 본 논문에서는 톨레미II에 구현된 CCS 도메인의 구조와 구현 방법을 설명하겠다. PtolemyII is an environment that supports heterogeneous modeling and design of concurrent systems such as embedded system. PtolemyII has several Domains which are physical rules to determine the way of communicating between components. PtolemyII has 11 domains such as PetriNet, Timed Multitasking, SR etc. Components of System can be specified using appropriate domains for their properties. Communicating Sequential Processes(CSP) is implemented as formally designed CSP domain, in PtolemyII. But CCS didn't be implemented as a domain. It is a kind of Process Algebra language which can be used for specifying and verifying concurrent systems formally. Thus, in this paper we implemented CCS domain. And that permitted developers using PtolemyII to use the same modeling pattern used in PtolemyII and to make system specifications in the base of the formal semantics of CCS. This caused the diversity of PtolemyII domains and the power of expression was improved. This paper will explain the structure of CCS domain implemented in PtolemyII and the way of implementing it.
-
황혜정(Hye-Jung Hwang),김윤정(Ki-Hyuk Nam),남기혁(Il-Gon Kim),김일곤(Jin-Young Choi),최진영(YoonJeong Kim) 한국정보과학회 2003 한국정보과학회 학술발표논문집 Vol.30 No.2Ⅰ
PtolemyⅡ는 내장형 시스템과 같이 이질적 성질을 가진 병렬 시스템을 모델링하고 디자인 할 수 있는 환경을 지원해준다. PtolemyⅡ의 CSP 도메인은 병렬 시스템을 효과적으로 명세할 수 있는 프로세스 알제브라 언어인 CSP를 구현할 것이다. CCS 프로세스 알제브라 언어로써 정형적으로 병렬시스템을 명세하고 검증할 수 있다. 이 두 프로세스 알제브라 언어는 비슷한 목적으로 가지고 개발되었으나 통신의 세부적인 부분의 개념에 있어서 차이가 존재한다. 본 논문에서는 CCS 기반의 통신이 이루어 질 수 있는 CCS 도메인을 구현하여 PtolemyⅡ에 추가하였으며, PtolemyⅡ에 구현된 CCS 도메인의 커널구조와 구현 방법을 설명하겠다. CCS도메인 구현은 기존의 개발자들이 actor-oriented 디자인을 하는 PtolemyⅡ의 디자인 방법을 따라 기존의 프로세스 알제브라 언어들의 문법을 익히지 않고도 모델링 하고 시뮬레이션 할 수 있다는 것을 의미한다. 또한 PtolemyⅡ에 CCS도메인을 추가함으로써 정형적 명세의 다양성을 높였다.
연관 검색어 추천
이 검색어로 많이 본 자료
활용도 높은 자료
