• 정보처리학회논문지C
• /
• 제8C권1호
• /
• pp.97-104
• /
• 2001

본 논문에서는 무선망에서 채널할당을 받은 호가 무선 패킷 데이터를 서비스하는 경우의 성능분석 수행을 위한 계층 모델을 제안한다. 제안된 계층 모델로는 상위계층으로 무선자원 관리를 위한 채널할당 모델을, 하위계층으로 에러발생을 고려한 패킷 재전송 프로토콜 모델을 고려하였으며 이들 모델은 모델링 도구인 SRN을 이용하여 각각 개발한다. 추계적 페트리 네트의 확장형인 SRN은 시스템 성능분석을 위한 간결한 모델링 기능을 제공해 주며 모델에 적절한 보상률(reward) 기능을 부여함으로써 원하는 성능지표를 구할 수 있다. 이들 두 계층간의 상호 연관된 매개변수의 값인 서비스 시간과 패킷 발생률은 고정점 반복순환(fixed-point iteration) 기법을 사용하여 구한다. 즉 상위계층의 호 서비스 시간은 한 호당 K개의 패킷전송을 완료할때 까지 소요되는 시간인 하위계층 모델의 지연시간으로 구할 수 있고, 하위계층 모델의 패킷 발사율은 상위계층의 새로운 호와 핸드오프 호의 발생률로부터 구할 수 있다.

• 디지털융복합연구
• /
• 제11권12호
• /
• pp.479-485
• /
• 2013

가상화는 다중의 온라인 서비스를 소규모의 컴퓨팅 자원에 배치하는 혁신적인 접근방식이다. 가상화된 서버 환경은 가상머신 (virtual machine: VM)으로 불리는 플랫폼의 다중 성능사이에 공유되는 컴퓨팅 자원들을 허용한다. 서버 가상화를 통해 응용 서버는 가상머신 으로 인캡슐 되었으며 CPU나 메모리 자원 풀에 API와 함께 재배치되었다. 네트워킹과 보안은 네트워크 가상화라는 새로운 소프트웨어 추상화 계층으로 이동하기 시작했으며, 가상 네트워크를 생성함으로써 여러 응용에 대하여 네트워킹과 보안을 빠르게 배치할 수 있게 되었다. SRN은 추계적 페트리 네트의 확장형으로 시스템 분석을 위한 함축된 모델링 기능을 제공한다. 본 논문에서는, 가상 스위치를 기반으로 한 네트워크 가상화 SRN 모델을 개발하고 모델에서 관심 있는 성능지표인 스위칭 지연과 처리율에 대한 수치결과를 가상 스위치 용량과 실행 중인 가상머신 수에 따라 구한다. 이들 성능지표는 SRN 모델에서 적절한 보상율을 제공하는 함수의 기댓값으로 표현되어 그 해가 구해진다.

• 한국정보처리학회논문지
• /
• 제6권7호
• /
• pp.1909-1918
• /
• 1999

The terrestrial/satellite hybrid network may replace or supply the terrestrial network in some areas or certain applications. For example, it may play a major role in global B-ISDN or in certain areas where the deployment of optical cable is not feasible, especially at the early stage of implementing terrestrial B-ISDN. Furthermore, it can play an important role in the development of B-ISDN due to their features of flexible wide coverage, independent of ground distances and geographical constraints, multiple access and multipoint broadcast. Also, satellite have the capability to supply terrestrial B-ISDN/ATM with flexible links for access networks as well as trunk networks. This paper describes the design and verification of the interworking protocol between terrestrial B-ISDN뭉 satellite network. For the verification, the designed interworking protocol is modeled by Petri-net and the model is analyzed by reachability tree.

• 한국정보과학회논문지:정보통신
• /
• 제28권3호
• /
• pp.369-376
• /
• 2001

기존의 호스트 기반 보안 시스템에서 네트워크 기반의 보안 시스템으로 침입차단 시스템을 설치하지만 침입차단 시스템은 보안에 대하여 최소 권한을 가지므로 사용자에게 투명한 서비스를 제공해 주지 못한다. 따라서 침입차단 시스템에 프록시를 두어서 서비스의 투명성을 제공하고 보다 강화된 보안 기능을 갖는 FTP 프록시 보안 모델(FTP-PSM:FTP-Proxy Security Model)을 설계하였다. FTP-PSM은 한 개의 명령어가 입력되고 실행이 끝나는 것이 아니라 계속적으로 사용자 인증 기능 강제적 접근제어 기능 임의적 접근제어 기능 그리고 그룹별 명령어 사용권한 인증 등과 같은 보안 기능을 실행한다. 이러한 보안 기능이 실행되기 위해서 입력된 데이터는 어떤 상황에서도 손실되지 않아야 하므로 실행과정이 무한 루프가 되어 계속 순환하거나 교착 상태가 되는 등의 문제에 대한 안정성을 검증하여야만 한다. 따라서 본 논문에서 제안하는 FTP-PSM은 CPN을 기반으로 한 상태 불변식으로 안정성을 검증하였다.

• 한국통신학회논문지
• /
• 제28권5B호
• /
• pp.448-456
• /
• 2003

본 논문에서는 음성신호 전송을 위한 ATM 서비스 중 ABR에 대한 새로운 체증제어 알고리즘을 제시한다. 제시하는 알고리즘에서는 기존의 방법들과는 달리 네트워크의 혼잡 정도를 측정하기 위하여 스위치의 버퍼레벨뿐만 아니라 버퍼레벨의 변화율을 측정하여 보다 유연하게 네트워크의 상황에 대처하도록 하였다. 또한, 음성신호 송신원의 셀 전송속도가 다른 음성신호 송신원에 비해 상대적으로 작아지거나 커지는 불평등을 해소하기 위하여 Loading Factor를 도입하여 전송속도의 증감율을 조정하였다. 본 논문에서 제시하는 알고리즘이 기존의 다른 방법에 비해 우수하다는 것을 입증하기 위하여 7개의 음성 신호 송신원과 4개의 스위치를 갖는 네트워크 모델을 제시하여 모의실험 하였다. 네트워크 모델은 페트리 네트를 통해 구현하였으며 모의실험 도구로는 ExSpect가 사용되었다. 모의실험 결과 본 논문에서 제안하는 알고리즘을 사용하면 기존의 방법에 비해 네트워크의 효율과 음성신호 송신원들의 불평등이 많이 개선됨을 알 수 있다.

• 한국컴퓨터산업교육학회:학술대회논문집
• /
• 한국컴퓨터산업교육학회 2003년도 제4회 종합학술대회 논문집
• /
• pp.17-22
• /
• 2003

The surge of Internet traffic makes the bottleneck nowadays. This problem can be reduced by substituting the media of network, routers and switches with more high-performance goods. However, we focused radically the server performance of processing the service requests. We prepose the method improving performance of server in the Linux kernel stack. This accelerator accepts the requests from many clients, and processes them using not user threads but kernel thread. To do so, we can reduce the overhead caused by frequent calling of system calls and the overhead of context switching between threads. Furthermore, we implement CPN(Coloured Petri Net) model. By using the CPN model criteria, we can analyze the characteristics of operation times in addition to the reachability of system. Benchmark of the system proves the model is valid.

• 대한전자공학회:학술대회논문집
• /
• 대한전자공학회 2000년도 ITC-CSCC -2
• /
• pp.719-722
• /
• 2000

It is essential to develop the internetworking strategies between the OBP satellite B-ISDN and the terrestrial B-ISDN for the economical and efficient implementation of the future network infrastructure. We have considered the implementation issues of the emerging B-ISDN, especially interworking strategies of the terrestrial B-ISDN with the OBP satellite B-ISBN. We proposed interworking model between terrestrial B-ISDN and OBP satellite B-ISDN NNI signaling protocol, and describes the design and verification of the interworking protocol. For the verification, interworking protocol is modeled by Predicate/Action Net derived from Petri Net and the designed model is analyzed by reachability tree. Using Unix socket, the verified interworking protocol is implemented in two workstations and implemented interworking protocol is tested by local test method which is outstanding in error detection and recommended by ISO.

• 인터넷정보학회논문지
• /
• 제12권2호
• /
• pp.55-62
• /
• 2011

컴퓨팅 장비가 네트워크에 수용되었을 때 이들이 가지는 서비스의 탐색과 위치 정보를 제공하는 프로토콜인 IETF의 SLP의 기능을 광역화하고, 이동통신을 위한 유무선 네트워크를 수용하며, WIF에서 추진하는 서비스의 분산화 경향을 지원할 수 있도록 개선하기 위하여 Liaison Agent와 Forwarding Agent를 추가하고 이들 사이의 정보 교환을 위한 LAAdvert 메시지를 정의한다. LA 엔티티는 광역망에 존재하는 서비스의 위치를 확인해주며, FA 엔티티는 서비스 정보를 전달해주는 역할을 담당한다. 나머지 메시지 즉, SrvRqst, SrvRply, AttrRqst, AttrRply, DAAdvert, SrvReg, SrvAck, SrvDeReg의 사용은 동일하며 하며, 광역 서비스 망에서도 동일한 방식으로 활용한다. 개선된 프로토콜의 동작을 페트리넷으로 모델링하고, 페트리넷의 실행을 통하여 데드락과 라이브락의 문제가 없음을 확인한다.

• Nuclear Engineering and Technology
• /
• 제33권1호
• /
• pp.1-11
• /
• 2001

In contrast with conventional fieldbus researches which are focused merely on real-time performance, this study aims to evaluate the real-time performance of the communication system including fault-tolerant mechanisms Maintaining performance in presence of recoverable faults is very important in case that the communication network is applied to a highly reliable system such as next generation Nuclear. Power. Plant (NPP). If the tie characteristics meet the requirements of the system, the faults will be recovered by fieldbus recovery mechanisms and the system will be safe. If the time characteristics can not meet the requirements, the faults in the fieldbus can propagate to the system failure. In this study, for the purpose of investigating the time characteristics of fieldbus, the recoverable faults are classified and then the formulas that represent delays including recovery mechanisms are developed. In order to validate the proposed approach, we have developed a simulation model that represents the Korea Next Generation Reactor (KNGR) NSSS Process Control System (NPCS). The results of the simulation show us the reasonable delay characteristics of the fault cases with recovery mechanisms. Using the simulation results and the system requirements, we also can calculate the failure propagation probability from fieldbus to outer system.

• 한국진공학회:학술대회논문집
• /
• 한국진공학회 2013년도 제45회 하계 정기학술대회 초록집
• /
• pp.277.2-277.2
• /
• 2013

Petri dishes and glass slides have been widely used as general substrates for in vitro mammalian cell cultures due to their culture viability, optical transparency, experimental convenience, and relatively low cost. Despite the aforementioned benefit, however, the flat two-dimensional substrates exhibit limited capability in terms of realistically mimicking cellular polarization, intercellular interaction, and differentiation in the non-physiological culture environment. Here, we report a protocol of culturing embryonic rat hippocampal neurons on the electro-spun polymeric network and the results from examination of neuronal cell behavior and network formation on this culture platform. A combinatorial method of laser-scanning confocal fluorescence microscopy and live-cell imaging technique was employed to track axonal outgrowth and synaptic connectivity of the neuronal cells deposited on this model culture environment. The present microfiber-based scaffold supports the prolonged viability of three-dimensionally-formed neuronal networks and their microscopic geometric parameters (i.e., microfiber diameter) strongly influence the axonal outgrowth and synaptic connection pattern. These results implies that electro-spun fiber scaffolds with fine control over surface chemistry and nano/microscopic geometry may be used as an economic and general platform for three-dimensional mammalian culture systems, particularly, neuronal lineage and other network forming cell lines.