http://chineseinput.net/에서 pinyin(병음)방식으로 중국어를 변환할 수 있습니다.
변환된 중국어를 복사하여 사용하시면 됩니다.
Process Algebra Based Symbolic Verification Framework for Software-Defined Networking
신명기,곽희환,최진영,강미영 에스케이텔레콤 (주) 2013 Telecommunications Review Vol.23 No.5
There have been continuous efforts and progresses regarding the research on the verification for Software Defined Networks (SDN), since incomplete or malicious programmable SDN entities could cause break-down of underlying networks shared by heterogeneous devices and stake-holders. In SDN world, it becomes important to verify the safety properties of SDN using formal method before the deployment of SDN applications. In this paper, we propose VeriSDN, a novel framework for the symbolic verification of SDN based on the formal method, especially with process algebra called pACSR which is an extended version of packet based Algebra of Communicating Shared Resources (ACSR). In our framework, OpenFlow’s flow tables are translated into pACSR descriptions and analyzed by means of a symbolic algorithm. The result will be the Boolean expression that satisfies when the property holds. pACSR processes are well suited to expresses concurrently running communicating switches and a controller. Packets in SDN can be described in pACSR as parameters passed via channels and handled with predefined predicates (PP) and be modified with predefined functions (PF). Even though our method is developed mainly for verification of the off-line case where flow tables are dynamically modified, however, we believe that it can be applied to the running switches with reasonable numbers. Furthermore, our method is transparent to the operators so the underlying verification process is hidden to the operators and there is no burden to understand the details of formal verification method by the operators.
신명기,Sin, Myeong-Gi 한국정보통신기술협회 2006 TTA저널 Vol.108 No.-
IETF(International Engineering Task Force)(1)는 1986년 1월, 21명의 소수 전문가들이 미국 샌디에고에서 첫 번째 회의를 개최한 이후로, 2006년 11월 제 67차 회의에 이르기까지 20년 동안 인터넷 기술표준을 다루는 사실상의 인터넷 관련 최고 권위의 표준화기구로 활동하고 있다. 본 고에서는 IETF의 표준 문서인 RFC(Request For Comments)를 최종 표준문서로 등록하기까지 필요한 국제 표준화 활동 및 전략 등을 소개하고, 이와 관련한 국제표준화 활동의 에피소드 등을 소개한다.
라인댄스 프로그램이 노인의 산소포화도와 행복정도에 미치는 영향
신명기,민순,서민정,이영롱 한국분말야금학회 1998 한국분말야금학회 학술대회논문집 Vol.1998 No.1
Purpose: The research was to investigate the effect of line dance programs on oxygen saturation level and happiness of elderlies. Methods: Researchers had conducted a series of test to measure peripheral blood vessel oxygen saturation level, pulse and happiness level of 47 elderlies from the D district of G city. Collected data were analyzed with -test and independent t-test, equipped with SPSS WIN 17.0. Results: As a result of serial tests, Pre-test and Post-test of line dance performance showed that oxygen saturation of the Experimental group had significant increase following the program and happiness of the Experimental group also had significant increase following the program. Conclusion: In conclusion, with many advantages such as its easiness to access and emulate as well as its ubiquitousness as an aerobic exercise, line dance cannot only be very beneficial to cardiovascular function and relation of elderlies, but also to emotional and psychological effect, considered as a great breakthrough to improve comprehensive well-being in both physical and mental aspects.
신명기,홍용근,이숙영,이주철,김용진,Shin, M.K.,Hong, Y.G.,Lee, S.Y.,Lee, J.C.,Kim, Y.J. 한국전자통신연구원 2002 전자통신동향분석 Vol.17 No.3
본 고에서는 IPv6의 응용 전환 기술에 관해 소개한다. 차세대인터넷 IPv6의 도입을 고려할 때는 망의 전환 뿐만 아니라 각 호스트에 존재하는 응용의 전환도 함께 고려되어야 한다. 본 고에서는 IPv4 응용에서 IPv6 응용으로 전이되는 과정에서 발생하는 문제점들을 분류하고, IPv6 전환단계 동안 응용 개발자, 관리자들이 혼동 없이 자연스럽게 IPv6 응용을 개발, 선택할 수 있도록 가이드라인을 제시한다.