범용 실시간 퍼지 제어를 위한 시간형 퍼지 패트리net

이강수(Lee Gang Soo),김소연(Kim So Yeon),윤정모(Yun Jung Mo) 한국정보처리학회 1996 정보처리학회논문지 Vol.3 No.3

In this paper, we propose a Timed Fuzzy Petri Net(TFPN) model as a new model of real-time fuzzy control. The TFPN model, which is useful for fuzzy inference and fuzzy control, is an integrated model of Timed Petri Net and Fuzzy Petri Net. Additionally, a Timed Fuzzy Control Language is defined as a textual specification model of fuzzy control rules, and proposed a TFPN modeling method. The TFPN model is a Petri Net formalism of fuzzy control systems. Execution rule is consisted of marking(i.e., fuzzyfication) and firing(i.e., inference and defuzzyfication) procedures. A simple case work by using TFPN model shows us computing time of inference and defuzzyfication is low and uncertainty and visibility of fuzzy control rule are modeled effectively.

반민특위 도조사부의 조직과 활동

이강수 ( Gang Soo Lee ) 일지사 2003 韓國學報 Vol.29 No.2

패트리네트 분석시 상태수 감소방법과 개선된 도달성 그래프

이강수(Gang Soo Lee),우치수(Chi Soo Wu) 한국정보과학회 1990 정보과학회논문지 Vol.17 No.5

본 논문에서는 패트리네트 분석시의 분석속도 향상방법들을 비교하고 개선된 도달성 그래프에 관하여 논한다. 패트리네트의 분석속도를 줄이기 위해, 패트리네트 구성시에 원시 패트리네트를 축소화하거나, 수행시에 점화규칙을 수정하는 방향으로 연구가 활발하다. 전자의 예로서, "축소형 패트리네트"가 있고 후자의 예로서 "최다 수행규칙"이 있다. 여기서는 이들 방법의 특성과 분석속도의 개선정도를 보이며 분석속도 측정 척도로서 도달성 그래프의 노드수(또는, 상태수)를 이용한다. 또한, 분석속도를 향상시키는 것은 아니지만, 기존의 도달성 그래프에서의 점화 순서정보와 상태정보의 손실을 줄일 수 있는 개선된 "n형 도달성 그래프"를 제시하였다. In this paper, we discuss methods for reducing the number of states and an improved reachability graph in analysing the Petri Nets. To reduce the overheads in analysing the Petri Nets, reductional methods of original Petri Nets(e.g., Reduced Petri Net) and modificational methods of firing rule(e.g., Maximun Firing Rule) in executing the Petri Nets have been proposed many authors. We study on the effects of these methods on reducing the complexity in analysing the Petri Nets. The complexity metric in number of nodes in their reachability graphs. Final1y, we propose a new "n-type reachability graph" which is an amendment of well-known "w" type reachability graph. Though the n-type reachability has the same number of nodes as w-type's, it can be re-presented more information than w-type's.

The Integrated Cyber SRM(Security Risk Monitoring) System Based on the Patterns of Cyber Security Charts

Gang-Soo Lee(이강수),Hyun Mi Jung(정현미) 한국컴퓨터정보학회 2019 韓國컴퓨터情報學會論文誌 Vol.24 No.11

사이버 보안을 위한 활동인 ‘위험관리(Risk management)’와 ‘보안관제(security monitoring)’ 업무는 미래에 발생할 보안 위협에 대비하고 보안 사고를 최소화 하는 활동이라는 점에서 깊은 상관관계를 가지고 있다. 또한 위험관리와 보안관제 분야 모두 관리자에게 시각적으로 그 정보자산에 대한 위협을 보여주는 패턴 모델을 적용하는 것이 효과적이다. 검증받은 패턴모델로는 전통적인 품질관리 분야에서 오랫동안 사용되어온 ‘관리도’(control chart)모델이 존재하지만 정보시스템의 사이버 위험관리와 보안관제에서의 활용은 부족하다. 이에 본 논문에서는 위험관리와 보안관제 시스템을 통합한 사이버 SRM(Security Risk Monitoring)시스템을 설계하였다. SRM은 ‘관리도’의 패턴을 이용한 ‘보안대책’ (security control)의 적용 전략을 제시한다. 보안대책은 기존의 표준화된 보안대책 집합인 ISMS, NIST SP 800-53, CC를 통합적으로 적용하였다. 이를 활용하여 2014~2018년 까지 4년간 우리나라사이버위기 경보동향을 분석하였고 이는 향후 보다 유연한 보안대책 수립을 가능하게 한다. The "Risk management" and "Security monitoring" activities for cyber security are deeply correlated in that they prepare for future security threats and minimize security incidents. In addition, it is effective to apply a pattern model that visually demonstrates to an administrator the threat to that information asset in both the risk management and the security system areas. Validated pattern models have long-standing "control chart" models in the traditional quality control sector, but lack the use of information systems in cyber risk management and security systems. In this paper, a cyber Security Risk Monitoring (SRM) system that integrates risk management and a security system was designed. The SRM presents a strategy for applying "security control" using the pattern of "control charts". The security measures were integrated with the existing set of standardized security measures, ISMS, NIST SP 800-53 and CC. Using this information, we analyzed the warning trends of the cyber crisis in Korea for four years from 2014 to 2018 and this enables us to establish more flexible security measures in the future.

반민특위 妨害工作과 ‘證人’ 및 ‘歎願書’ 분석

李剛秀(Lee Gang-soo) 독립기념관 한국독립운동연구소 2003 한국독립운동사연구 Vol.20 No.-

동적인 소프트웨어 신뢰도 예측을 위한 신뢰도 패트리? 모형

이강수(Gang Soo Lee),우치수(Chi Su Wu) 한국정보과학회 1989 정보과학회논문지 Vol.16 No.1

본 논문은 소프트웨어 개발 초기단계(모형화 단계)부터 적용할 수 있는 동적인 신뢰도 예측 방법론에 대하여 다룬다. 기본의 신뢰도 예측 모형들은 대부분 소프트웨어 고장 트리, 신뢰도 블럭 다이어그램, 모듈 그래프와 같은 컴비나토리얼 형태의 모형이며 이들은 복잡한 동시처리, 임베드 및 고장 인성 소프트웨어 동적인 신뢰도 예측에는 부적합하다. 이러한 단점을 극복하기 위해 본 논문에서는, 성능 평가를 목적으로 패트리넬의 트랜지션의 점화규칙을 확장한 형태인 Condition Event Net, Timed Petri Net(TPN) 및 Stochastic Petri Net(SPN)을 신뢰도 예측에 적합하도록 확장 수정한 Reliability Petri Net(RPN), Reliability Timed Petri Net(RTPN) 및 Reliability Stochastic Petri Net(RSPN)을 정의하여 소프트웨어 개발중 모형화 단계부터 성능평가와 함께 동적인 신뢰도를 평가할 수 있게 하였다. In this paper we discuss Reliability Petri Net model for dynamic software reliability prediction. Combinatorial typed models (such as software fault tree, reliability block diagram, module graph and directed acyclic graph) are not suitable for dynamic reliability predictions of the embedded, concurrent, parallel and fault tolerant softwares. For this problem, we propose Reliability Petri Net (RPN), Reliability Timed Petri Net (RTPN) and Reliability Stochastic Petri Net (RSPN), which are modification of Condition Evnet Net. Timed Petri Net (TPN) and Stochastic Petri Net (SPN) respectively. The TPN and SPN are suitable for performance analysis of complex systems. Using the RPN, RTPN and RSPN models, we can predict dynamic software reliability and performance in the modeling phase of a software development.

암호모듈 검증을 위한 UML 2.0 상태도 기반의 유한상태모델 명세 및 분석

이강수(Gang-soo Lee),정재구(Jae-Goo Jeong),고갑승(Kab-seung Kou) 한국정보보호학회 2009 정보보호학회논문지 Vol.19 No.4

암호알고리즘 및 암호함수를 하드웨어적 또는 소프트웨어적으로 구현한 암호모듈을 암호모듈검증체계(Cryptographic Module Validation Program, CMVP) 내에서 시험(또는 인증, 검증)을 받기 위해서는 암호모듈에 대한 유한상태모델(Finite State Model, FSM)이 개발되고 제공되어야한다. 그러나 FSM을 체계적으로 모델링하고 분석하는 지침은 개발자와 시험자의 경험이므로 잘 알려져 있지 않다. 본 연구에서는 CMVP내에서 암호모듈의 검증을 위해 요구되는 FSM의 모델링, 분석지침, 천이시험경로 생성알고리즘을 제시하고 모델링도구인 CM-Statecharter를 개발하였다. FSM은 UML 2.0의 상태도를 이용해 모델링한다. 상태도는 FSM의 부족한 점을 보완하고 암호모듈의 FSM을 정형적이고 쉽게 명세할 수 있는 모델이다. A cryptographic module (CM) is an implementation of various cryptographic algorithms and functions by means of hardware or software. When a CM is validated or certified under the CM validation program(CMVP), a finite state model(FSM) of the CM should be developed and provided. However, guides or methods of modeling and analysis of a FSM is not well-known, because the guide is occasionally regarded as a proprietary know-how by developers as well as verifiers of the CM. In this paper, we propose a set of guides on modeling and analysis of a FSM, which is needed for validation of a CM under CMVP, and a transition test path generation algorithm, as well as implement a simple modeling tool (CM-Statecharter). A FSM of a CM is modeled by using the Statechart of UML 2.0. Statechart, overcoming weakness of a FSM, is a formal and easy specification model for finite state modeling of a CM.

[특별기고]소프트웨어공학을 응용한 디지털 컨텐츠 엔지니어링 패러다임

이강수(Gang-Soo Lee) 한국정보과학회 2001 정보과학회지 Vol.19 No.2

친일파청산 · 반민특위와 백범

이강수(Lee Gang-soo) 고려사학회 2004 한국사학보 Vol.- No.18

패트리망 분석시 최다 수행규칙이 상태 수에 미치는 영향

이강수(Gang Soo Lee),우치수(Chi Su Wu) 한국정보과학회 1988 정보과학회논문지 Vol.15 No.2

본 논문에서는 도달성 트리에 의해 패트리망을 분석할 때 place수와 상태 수 간의 관계와 패트리망의 각 요소들의 상관관계를 실험조사적 방법으로 보였다. 상태 수 감소를 위해 “죄다 수행규칙”을 적용할때의 상태 수 감소율과 분석능력 불변성을 보였고, 죄다 수행규칙이 그래프에서의 최대 clique문제와 같고, 이는 NP-hard문제임을 증명하였다. 이 결과 들은 패트리망 분석시에 활용할 수 있고, 동시처리 스케쥴링시에 최대 평균자원 수 결정에 응용될 수 있다. In this paper, we study the effects of the maximum firing rule on the number of states in reachability tree analysis of Petri Nets. By an empirical study of 75 randomly selected practical Petri Nets, we get some correlation coefficients among 15 selected metrics of Petri Nets structure and two reachability trees. When we adapt the maximum firing rule, we can reduce the number of states m large without losing the analyzing power of existing reachability tree method But the maximum firing rule, same as clique problem in graph theory, is NP-hard problem. When we model a maximum concurrency scheduling problem in concurrent system by Petri Nets, we can use the results as a number of resource data and analysis of Petri Nets.