http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Time Petri Nets 합성을 위한 형식적 정의 방법
김정원(Kim J. Won),송유진(Song Y. Jin),곽정화(Kwak J. Hwa),김상환(Kim S. Hwan),이종근(Lee J. Kun) 한국정보과학회 1995 한국정보과학회 학술발표논문집 Vol.22 No.2B
본 논문에서는 Time Petri nets의 함수적 합성방법이 제안된다. 함수적 합성방법은 트랜지션의 출력 플레이스들의 집합에서 대응하는 인접된 입력 플레이스들의 집합과의 형태에 기반을 두므로 합성의 개념은 두개의 죠인된 트랜지션들 사이에서 공통의 플레이스를 제거한 후 그것들을 결합하여 새로운 트랜지션을 만들어 내는 것이다. 그리고 소위 우리는 이것을 함수적 합성이라 부른다. Time Petri Nets에서 시간은 시스템분석에 아주 중요한 요소로 나타나고 이것은 TPN의 합성기법은 바로 시간요소의 합성이다 라는 것을 의미한다. 본 논문에서는 3가지 점화형태인 sequence, join, fork를 고려한 후 점화시간의 합성을 제안한다.
PETRI NETS를 이용한 분할 제어구조에 따른 소프트웨어 복잡도 연구
송유진(Song Y.Jin),이종근(Lee J.Kun) 한국정보과학회 1994 한국정보과학회 학술발표논문집 Vol.21 No.1
Petri Nets는 제어의 흐름을 보이기 위해 token을 사용하는 수학적모델링 도구로서 Hardware 뿐만 아니라 Parallel, Asynchronous system 들의 특징을 갖는 정보처리 시스템을 묘사하고 연구하는데 있어서 유용한 도구이며, 가장 큰 성과를 얻어낸 분야는 성능 분석 및 통신 Protocol 분야이지만 그 외에도 분산 소프트웨어, 시스템 분석, 병렬처리 및 병렬처리 프로그램, 이산사건 시스템, FMS(Fiexible Manufacturing System) 등의 분야에도 이용되고 있는 실정이다. 본 연구에서는 복잡도를 측정하기 위한 전초단계로서 이러한 Petri Nets를 이용하여 프로그램을 알기 쉽게 분석하고, 좀 더 크고 복잡한 프로그램의 복잡도를 측정 할 때의 용이성을 위해 그 개념을 정립한다. 따라서 시스템의 동시적 또는 병행적 프로세스들을 표현하는 모델링 도구로 개발된 Petri Nets를 이용하여 제어구조별로 분할 계산을 통한 복잡도 측정을 제시하였다.
PETRI NETS를 이용한 프로그램의 제어 및 자료 흐름적 복잡도 연구
송유진(Song Y.Jin),김정원(Kim J.Won),이종근(Lee J.Kun) 한국정보과학회 1995 한국정보과학회 학술발표논문집 Vol.22 No.1
소프트웨어 복잡도는 소프트웨어 특징들을 객관적, 정량적으로 측정하는 방법들중의 하나이며 이것은 소프트웨어의 유지보수성을 측정하는 가장 유용한 방법이다. 따라서, 본 논문에서는 구조화된 프로그램의 복잡도 분석문제를 Petri Nets의 개념을 이용, 연구하여 제어의 흐름과 자료의 흐름을 기반으로 하는 Petri Nets에 의한 새로운 복잡도 측정방법을 제시한다.
김동창(KIM D Chang),송유진(SONG Y.Jin),이종근(LEE J.Kun) 한국정보과학회 1993 한국정보과학회 학술발표논문집 Vol.20 No.2
본 논문에서는 소프트웨어 유지보수성 즉 이해용이성(Understandability), 수정용이성(Modifiability), 시험용이성(Testability) 중에서 이해용이성을 기인한 제어종속관계에 의한 변수정의증가, 변수의증가와 제어의 수,그리고 자료종속관계로 변수분기의 형태와 그이외의 이용변수형태를 측정변수로하는 혼합적 복잡도측정을 제안하였다.
시스템의 평가를 위한 Time Petri Nets의 합성 연구
우용태,이종근,류은정 國立 昌原大學校 基礎科學硏究所 1993 基礎科學硏究所論文集 Vol.5 No.-
Coming from pure Petri net by applying some time conditions, Time Petri net is used to model systems in which time is an important system element. We propose the methods of composing time factors between transitions, which are joinable and enable, in Time Petri net. Composition of time factors is divided into two types: sequence and join.
송유진,이종근,김동창 國立 昌原大學校 基礎科學硏究所 1933 基礎科學硏究所論文集 Vol.5 No.-
소프트웨어의 복잡도는 소프트웨어 프로젝터를 객관적이고도 정량적으로 제어할 수 있는 가장 유용한 척도로 볼 수 있다. 그러나 기존 측정방법에서의 단점은 소프트웨어 복잡도 이론의 여러가지 요인중, 단지 하나의 관점에만 관심을 두고 있다는 것이다. 소프트웨어 복잡도는 여러가지 요인에 의해 영향을 받으므로 일반적인 경우에 있어서 단 한가지 관점에서의 측정으로는 신뢰성있는 결과를 얻을 수 없다. 본 논문에서는 소프트웨어 유지보수에서 이해용이성에 기인한 자료 및 제어 종속관계와 변수 정의 증가, 변수 증가와 제어의 수를 측정변수로 하는 혼합적 복잡도 측정을 제안하였다. Software complexity measures are believed to provide the most objective and quantitative means of controlling software projects. But the problem of these conventional measure methods is that they observe just one of many sides of the software complexity issues. Software complexity is caused by so many different factors that measuring only one of them can not help but receive unreliable result for general case. This paper proposed a metric which measures understanability factor of a structured program, based on control data dependency, increase of variable definition, increase of variable and number of control.