DAPN과 인접행렬을 이용한 교착상태 회피에 대한 연구

송유진,이종근,Song, Yu-Jin,Lee, Jong-Kun 한국시뮬레이션학회 2006 한국시뮬레이션학회 논문지 Vol.15 No.1

유연생산시스템은 많은 병렬적이고 동시 발생적인 기계들, 장치들, 수송 시스템들로 구성되며, 이러한 것들은 각각 버퍼들, 도구들, 라우터들로 나누어진다. 시스템에서 여러 생산품들의 병렬적인 흐름은 자원들을 이용하기 위해 서로 경쟁하게 되며, 유연생산시스템의 이러한 특징들로 인해 교착상태가 발생한다. 교착상태는 상대방이 점유하고 있는 자원을 서로 요구하는 과정에서 흐름이 멈추어진 상태를 말하므로, 이러한 교착상태의 탐지와 회피는 매우 중요한 문제이다. 이 사실에 근거하여 일반 플레이스와 자원공유플레이스 사이의 관계를 나타내는 DAPN(Deadlock Avoidance Petri Wet)을 정의하여 교착상태를 탐지하고 회피하기 위한 새로운 알고리즘을 연구하였다. 또한 제안된 알고리즘을 유연생산시스템의 특징을 가진 모델에 적용하여 그 결과를 제시한다. The Flexible Management System (FMS) consists of parallel and concurrent machines, pieces of equipment, and carrying systems classified as buffers, tools, and routers, respectively. The concurrent flow of multiple productions in a system is competed with one another for resources and this resulting competition can cause a deadlock in FMS. Since a deadlock is a condition in which the excessive demand for the resources being used by others causes activities to stop, it is very important to detect and prevent a deadlock. Herein a new algorithm has been studied in order to detect and prevent deadlocks, after defining a relationship between the general places and resource share places in Petri nets like as DAPN: Deadlock Avoidance Petri Net. For presenting the results, the suggested algorithms were also adapted to the models that demonstrated FMS features.

SKP기반 SET프로토콜의 Petri Nets를 이용한 분석

송유진,서미경,이종근,Song, Yu-Jin,Seo, Mi-Gyeong,Lee, Jong-Geun 한국정보처리학회 2001 정보처리학회논문지 C : 정보통신,정보보안 Vol.8 No.5

SET은 전자상거래에 있어서 가장 많이 사용되고 있는 결재 시스템 규약 중의 하나이다. 그러나 전자상거래에서 실질적인 배달이나 배달 확인과정에 대해서는 SET은 고려하고 있지 않다. 따라서 본 논문에서는 배달이나 배달 확인에 의한 지불에 대한 보안성을 좀 더 높여주는 SKP(Secure Key Protocol)를 제안한다. 그리고 Petri Nets 모델링 방법을 이용하여, SKP를 적용한 SET 모델의 적합성 여부를 증명한다. SET is one of the useful protocol for credit payment in the Electronic market. Since, the delivery problem is conformed to delivery cooperation not payment problem, the classic SET protocol didn\`t consider about the certification of delivery. But the environment of electronic market be changed to manage the sold, delivery and payment etc.. In this paper, based on this consider, we propose a new SET protocol which has an function to verify the delivery based on SKP and verify it after analyzed by Petri nets. Specially, we consider SKP between Customer, Merchant, and Acquirer for improve the verify function.

Model Driven Architecture를 적용한 E-Learning 시스템에 관한 연구

송유진,조현숙,Song, Yu-Jin,Cho, Hyen-Suk 한국정보컨버전스학회 2008 한국정보컨버전스학회논문지 Vol.1 No.1

웹 기술 기반의 콘텐츠 개발 및 운영으로 다른 환경에서의 콘텐츠 활용을 토대로 교육자원의 정보들을 통합 운영할 수 있는 관리 중심체인 e-learning 시스템의 중요성과 필요성이 대두되고 있으며, 교육용 어플리케이션은 현재 표준화되지 않은 개발 프로세스를 기반하여 개발하고 있는 실정이다. 따라서, 교육 콘텐츠의 재사용을 높이기 위해 국제적 학습 표준인 SCORM(Sharable Content object Reference Model)을 기반으로 하나의 플랫폼에 있어서 시스템 개발 중 다른 플랫폼으로의 재사용이 가능한 핵심자산을 이용하여 조립, 생산할 수 있는 방안으로 체계적인 교육자원을 개발하고 지원하기 위한 교수-학습지원 시스템 개발에 초점을 둔 연구가 요구된다. 따라서, 본 논문에서는 교육적 도메인으로 접근하여 MDA(Model Driven Architecture)상의 교수-학습지원 시스템을 정의한다. 또한 학습콘텐츠 표준 메타데이터를 이용하여 콘텐츠에 관한 분석 및 설계를 하고 MDA 자동화 툴을 이용한 핵심자산을 통해 실제 교수자가 필요로하는 콘텐츠를 제공할 수 있는 교수-학습지원 시스템을 개발하고자 한다. Contents application from contents development of web technical base and with the operation different environment information of the educational resources integration the importance and necessity of the management central chain e-Learning system will be able to operate are raising its head with base. Is the actual condition which develops the development process where but, the education application currently is not standardized in base. Approaches with an educational domain from the present paper consequently, and defines MDA(Model Driven Architecture) coats e-Learning System. Also uses a studying contents standard metadata and about the contents storage space analyzes and plans the core property which uses MDA automatic tools leads and under developing boil e-Learning System will be able to provide the contents which does in actual professor own necessity.

온라인에서 판매하는 자생초본식물 현황과 개선방안

송유진(Yu jin Song),최우경(Woo Kyung Choi),진혜영(Hye young Jin) 인간식물환경학회 2015 인간식물환경학회지 Vol.18 No.4

This study was performed to determine the status of native herbaceous plants in selling online that the public can easily access to purchase the plants, as a basis research for popularizing the garden culture. Results in June 2015, companies that sell native plants online were 130points (built its own blog or homepage were 50points, and 80 points were companies registered in two places aggregator). The public was able to purchase 75families 468genera and 248species of native herbaceous plants online including 31families 66genera 87species of endangered species of rare plants (CR), endangered species (EN), and Vulnerable species (VU), and 10families 13genera 14species of naturalized plants. This study surveyed the extent and accuracy of the information that plant’s dealers provide to purchasers since the online distribution of plants is based on the information given to purchasers who have not seen the actual dealers. As a Result, 74% plant’s dealers were selling cultivar and foreign species in wildflower category, and 60% plant’s dealers recognized herbaceous plants with wildflowers. Also, it is expected that the detailed classification categories of wildflowers listed without a rank will give buyers confusion and inconvenience. More than 50% of the plant’s dealers were providing only literature information of plants such as visual characteristics and use properties, but it is also required for dealers to give practical information such as how to plant and manage plants. Furthermore dealers need to provide accurate information in fact that 74% of companies showed an error in naming of plants in their information sections. In order to activate distribution of native plants online based on this study which investigating the current situation of native herbaceous plants in selling online, there are things to consider as follow. First, the construction of portal site specialized in the Native Plants is needed for small quantity batch production of small companies. Second, it is required for relevant authorities to improve existing law or legislate for conservation and distribution of rare plants sold indiscriminately. Third, precise definitions, names and a detailed classification for native plants should be systematically placed so that the public can easily get useful information.

Perl Script를 이용한 포렌식 도구 개발 및 운영에 관한연구

송유진(Yu-Jin Song),이재용(Jae-Yong Lee) 한국엔터테인먼트산업학회 2008 한국엔터테인먼트산업학회 학술대회 논문집 Vol.2 No.1

네트워크 포렌식 수사에서 인터넷 사용에 관한 분석을 통해 얻는 증거는 중요하다. 네트워크 상에서 증거 수집은 패킷 스니핑을 통해 할 수 있다. 이 논문에서는 인터프리팅 언어 Perl과 CPAN을 사용하여 패킷스니퍼를 구현하고, 이를 활용하여 공용화된 포렌식 도구를 개발하고 분석한다.

컴포넌트기반 인터랙티브 스토리 생성 방법 설계

송유진(Yu-Jin Song),이은주(Eun-Joo Lee),한덕수(Deok-Soo Han) 한국멀티미디어학회 2014 멀티미디어학회논문지 Vol.17 No.6

외국인 한국어 학습자의 한국어 어두 파열음 발화의 음향적 특성 - 모국어 언어권별 VOT와 후행모음 시작점 f0의 역할

송유진 ( Song Yu Jin ),김상우 ( Kim Sangwoo ),이석재 ( Rhee Seok-chae ) 연세대학교 언어연구교육원 한국어학당 2018 외국어로서의 한국어교육 Vol.50 No.-

한국어 파열음은 평음, 경음, 격음의 삼중 대립을 보이며, 어두 위치에서 평음, 경음, 격음을 구별하는 주요 음향적 자질로는 성대진동 시작시간과 후행모음 시작점의 음높이가 논의되고 있다. 본 연구는 한국인 모국어 화자와 외국인 한국어 학습자들의 발화에서 한국어 파열음의 성대진동 시작시간과 후행모음 시작점의 음높이의 역할을 모국어 언어권별로 분석하고자 한다. 이를 위해 한국어 음성 코퍼스인 L2KSC에서 한국인 모국어 화자와 중국어권 · 일본어권 · 영어권 남성 학습자가 발화한 데이터 중 모음 /ㅏ/를 선행하는 한국어 어두 파열음을 분석하였다. 분석 결과, 한국인 모국어 화자의 경우 한국어 어두 파열음 발화에서 성대진동 시작시간과 후행모음 시작점의 음높이 모두 한국어 파열음을 구별하는 역할을 하였다. 반면, 외국인 학습자의 경우에는 세 분절음을 구별하는 데 있어 성대진동 시작시간이 유의미한 역할을 하였으나, 후행모음 시작점의 음높이는 모국어 언어권에 따라 다른 양상을 보였다. (연세대학교)

사용자 요구사항 기반의 테스트 케이스 추출 설계 기법

송유진 ( Yu-jin Song ),이은주 ( Eun-joo Lee ) 한국정보처리학회 2009 한국정보처리학회 학술대회논문집 Vol.16 No.1

인터넷의 발달로 인해 최근 Software 분야는 복잡해지고 많은 분야에서 결정적인 산출물로 다양한 어플리케이션이 개발되고 있다. 또한 Software의 품질과 보증을 목적으로 테스팅의 규칙적인 방법이 요구되어진다. 본 논문에서는 다양한 Software Application의 테스팅을 위한 개발 방법으로 확장성과 융통성 그리고 재사용성을 위하여 테스트 케이스 추출을 위한 메타모델을 시각화하고 테스팅 단계별 요구되어지는 모델을 Unified Modeling Language를 이용한 개발 관점을 테스트 설계 모델과 테스트 제어 모델로 구분하여 제시하고 특정 시스템 도메인을 활용하여 테스트 실행 환경과 테스트 프로세스 설계에 대한 방법을 제안한다.

순차상태전이금지(FSSTP)를 이용한 교착상태 관리제어를 위한 재구성 방법

송유진(Yu-Jin Song),이은주(Eun Joo Lee),이종근(Jong-Kun Lee) 제어로봇시스템학회 2008 제어·로봇·시스템학회 논문지 Vol.14 No.3

The object of this paper is to propose a method to deal with the problem of modeling user specifications in approaches based on supervisory control and Petri nets. However, most of Petri Net approaches are based on forbidden states specifications, and these specifications are suitable the use of tool such as the reachability graph. But these methods were not able to show the user specification easily and these formalisms are generally limited by the combinatorial explosion that occurs when attempting to model complex systems. Herein, we propose a new efficient method using FSSTP (Forbidden Sequences of State-Transitions Problem) and theory of region. Also, to detect and avoid the deadlock problem in control process, we use DAPN method (Deadlock Avoidance Petri nets) for solving this problem in control model.

교원평가의 목적에 대한 비판적 고찰

송유진 ( Yu Jin Song ) 한국교육철학회 2007 교육철학 Vol.33 No.-