http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Petri Net을 이용한 TDX 내부 프로토콜 검증에 관한 연구
노철우(C W. Ro),성단근(D K Sung) 한국정보과학회 1989 한국정보과학회 학술발표논문집 Vol.16 No.2
하나의 새로운 프로토콜을, 만들기 위해서는 프로토콜의 요구사항 정립, 규격의 기술, 검증, 구현, 적합성 시험등의 단계를 거쳐야 한다. 본고에서는 한국 전자통신 연구소에서 구현하고 있는 ISDN 교환기인 TDX-10™간의 패킷 통신을 위한 내부 프로토콜(TIP)의 1차 규격에 대한 검증을 위하여 모델링 도구로 많이 사용하고 있는 페트리 ?(Petri Nets)을 확장하고 여기에 통신 프로토콜의 필수요소인 time 기능을 추가하여 내부 프로토콜을 모델링하고 도달성 트리(reachability tree) 분석에 의한 검증사항을 기술한다.
오대곤,지홍구,김영호,강만구,최병건,이일우,이병탁,김병운,홍태철,성단근,Oh, D.K.,Ji, H.G.,Kim, Y.H.,Kang, M.K,Choi, B.G,Lee, I.W.,Lee, B.T.,Kim, B.U.,Hong, T.C.,Sung, D.K. 한국전자통신연구원 2018 전자통신동향분석 Vol.33 No.4
On a global level, the energy problem is a very important policy topic, particularly at a time when the nation relies on imports for more than 95% of its energy demand. The starting point of an energy policy should be in line with the international community's concern and cooperation regarding climate warming, and the logic of the new policy on renewable energy expansion in Korea, the pre-developed energy sector, and policy of deserting coal all support this aspect. In particular, to accommodate the rapid urbanization of mankind, the key words of the 4th Industrial Revolution are linking energy to IoT, artificial intelligence, block chain, cloud, and big data.