• Journal of KIISE
• /
• v.43 no.3
• /
• pp.314-326
• /
• 2016

Some process algebras were applied to enterprise business modelling for formal specification and verification. ${\pi}$-calculus and mobile ambient can be considered for the distributed and mobile, especially to represent the movements of distributed real-time business processes. However there are some limitations to model the movements: 1) ${\pi}$-calculus passes the name of port for indirect movements, and 2) mobile ambient uses ambient to synchronize asynchronous movements forcefully. As a solution to the limitations, this paper presents a new process algebra, called ${\delta}$-calculus, to specify direct and synchronous movements of business processes over geo-temporal space. Any violation of safety or security of the systems caused by the movements can be indicated by the properties of the movements: synchrony, priority and deadline. A tool, called SAVE, was developed on ADOxx metamodelling platform to demonstrate the concept.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2011.02a
• /
• pp.117-117
• /
• 2011

유기물과 무기물이 결합한 나노 복합체를 사용하여 제작한 비휘발성 메모리 소자는 공정이 간단하고 저렴할 뿐만 아니라 휘어짐이 가능하다는 장점 때문에 많은 연구가 진행되고 있다. 코어-쉘 나노 입자를 포함한 고분자 박막으로 제작한 비휘발성 메모리 소자에서 쉘의 종류와 유무에 따른 메모리 윈도우와 기억시간에 미치는 영향에 대한 연구는 아주 적다. 본 연구에서는 CdTe-CdSe 코어-쉘 나노 입자 및 CdTe 나노 입자가 Poly(9-vinylcarbazol) (PVK) 박막에 분산되어 있는 나노복합체를 기억 매체로 사용하는 비휘발성 메모리 소자들을 제작하여 쉘의 유무에 따른 메모리 윈도우와 기억시간의 변화를 관찰하였다. 소자를 제작하기 위해 두 가지의 나노 입자를 각각 PVK와 함께 톨루엔에 용해시킨 후에 초음파 교반기를 사용하여 나노입자가 PVK가 고르게 섞인 두 가지의 나노복합체를 형성하였다. 두 가지 용액을 p-Si 기판위에 스핀 코팅 방법으로 도포한 후, 열을 가해 용매를 제거하여 CdTe-CdSe 나노 입자가 PVK에 분산되어 있는 나노복합체 박막과 CdTe 나노 입자가 PVK에 분산되어 있는 나노복합체 박막을 각각 형성하였다. 나노 입자가 분산된 각각의 나노복합체 박막 위에 Al을 게이트 전극으로서 열증착하여 소자를 완성하였다. 제작된 두 소자의 정전용량-전압 (C-V) 측정을 하여 CdSe의 유무에 따른 메모리 소자에 대한 C-V 곡선의 다른 평탄 전압 이동을 관찰 하였다. 정전용량-시간 측정을 하여 CdSe 쉘의 유무에 따라 포획된 전하를 유지하는 능력에 차이가 있는 것을 관찰하였다. 측정 결과 모두 CdSe 쉘이 존재하는 메모리 소자에서 우수한 메모리 윈도우와 기억시간 특성이 나타났다. 에너지 대역도를 사용하여 소자의 전하 수송 메커니즘과 CdSe 쉘의 존재에 의해 소자의 메모리 윈도우와 기억시간 특성이 향상되는 원인을 설명 할 것이다.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.39A no.7
• /
• pp.404-412
• /
• 2014

Exploiting multiple antennas at mobile devices is difficult due to limited size and power. In this paper, a distributed MIMO protocol achieving the capacity of conventinal MIMO systems is proposed and analyzed. For exploiting distributed MIMO features, Quantize-Map-and-Forward (QMF) scheme shows improved performance than Amplify-and-Forward (AF) scheme. Also, the protocol based on multiple access channel (MAC) is proposed to improve the multiplexing gain. We showed that sufficient condition of the number of slave nodes to achieve the gain of a MAC based protocol. Because the base station can support multiple clusters operating in distributed MIMO, the total cellular capacity can be extremely enhanced in proportional to the number of clusters.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.30 no.12B
• /
• pp.811-817
• /
• 2005

Efficient bandwidth management is necessary in order to provide high quality service to users in a multimedia wireless/mobile network. In this paper, I propose an on-line load balancing algorithm with preemption. This technique is able to balance the traffic load among cells accommodating heterogeneous multimedia services while ensuring efficient bandwidth utilization. The most important features of my algorithm are its adaptability, flexibility and responsiveness to current network conditions. In addition, my online scheme to control bandwidth adaptively is a cell-oriented approach. This approach has low complexity making it practical for real cellular networks. Simulation results indicate the superior performance of my algorithm.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2009.05a
• /
• pp.277-280
• /
• 2009

Mobile Ad-hoc Network(MANET) could provide the reliable monitoring and control of a variety of environments for remote place. Mobility of MANET would require the topology change frequently compared with a static network. To improve the routing protocol in MANET, energy efficient routing protocol would be required as well as considering the mobility would be needed. In this paper, we propose a new method that the CACH(Context-aware Clustering Hierarchy) algorithm, a hybrid and clustering-based protocol that could analyze the link cost from a source node to a destination node. The proposed analysis could help in defining the optimum depth of hierarchy architecture CACH utilize. The proposed CACH could use localized condition to enable adaptation and robustness for dynamic network topology protocol and this provide that our hierarchy to be resilient.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.14 no.6
• /
• pp.75-84
• /
• 2014

In order to solve the problems such as overload, single point of failure, non-optimized data path, and network scalability in conventional central mobility management protocols, distributed mobility management schemes have been continually studied in and around the IETF. In this paper, a network-based partially-distributed mobility management mechanism, pDMMv6, is suggested and the performance comparison with traditional protocols such as PMIPv6 and MIPv6 is made through simulation under the various user traffic environment. The simulation results include UDP packet delivery ratio, end-to-end packet delay, binding delay for registration signaling, CPU utilization in each node, and response delays in several server-client TCP applications such as web browsing, e-mail, telnet remote login, FTP file up/down-load, and database access.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.12 no.1
• /
• pp.97-107
• /
• 2012

The Internet is becoming increasingly diverse and complex, the needs of user's convenience is also various and increased. The task forces have been working on how to design the future Internet in satisfaction of user's require and mobility management is one of the key issues to be considered. mobility management in the future Internet is still being designed in an "all-in-one" way where all management functions are tightly kept at a single location and this results in cost inefficiency that can be an obstruction to constructing flexible systems. In this paper, we propose a cost-effective function-distributed mobility management scheme that can enable more flexible future Internet construction. Furthermore, we show the effectiveness of our proposed system via a cost analysis and computer simulation with a random walk mobility model.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2001.04a
• /
• pp.449-452
• /
• 2001

이동 컴퓨팅 환경에서의 통신은 유선 네트워크 상에서 이루어지는 통신에 비해 대역폭이 적고 패킷 에러율이 크다는 제약 사항들을 갖는다. 이러한 환경에서 분산 파일 시스템 서비스는 데이터 송수신이 시간과 위치에 따라 일정하지 않고 데이터가 손실되었을 때 복구 가능성이 낮은 문제점이 있다. 본 논문에서는 기존의 파일 시스템에 사용되는 저널링 기법과 기존의 이동 컴퓨팅 환경을 위한 파일 시스템(mobile filesystem)에서 사용되는 연산 적재(operation shipping)기법을 혼합한 방식으로 이동 컴퓨팅 환경을 위한 파일 시스템을 고안하였다. 이 기법은 기존의 이동 컴퓨팅 환경을 위한 파일 시스템보다는 데이터 복구가능성을 높이고 데이터 재통합(reintegration) 기능을 효율적으로 수행할 수 있다.

• KIPS Transactions on Computer and Communication Systems
• /
• v.9 no.6
• /
• pp.131-136
• /
• 2020

In vehicular communications environment, content pre-caching can reduce the delay time from the user to the content server. However, the problem of where and how much pre-caching is still not solved. In this paper, based on the movement probability of the vehicle, we propose a method for pre-caching by distributing the optimized amount of content to each base station candidate that the vehicle will move as follows. First, the movement probability of each vehicle was learned using Markov Model. And the amount of content to be distributed and pre-cached was optimized based on the wireless environment. In experiments based on NS-3, the proposed strategy maintained the least delay compared to the existing protocol, leading to the most traffic-saving results.

• Proceedings of the Korean Information Science Society Conference
• /
• 1998.10a
• /
• pp.246-247
• /
• 1998

PCS를 포함한 차세대 이동통신은 ATM/B-ISDN을 core network으로 하여 다양한 서비스를 제공하는 방향으로 발전할 것으로 예상된다. 이러한 유.무선 통합환경에서 PCS mobility를 효율적으로 제공하기 위해서 TINA와 같은 계층적 연결관리 구조와 이 구조에 적합한 라우팅 기법이 필요하다. 본 논문에서는 ATM/B-ISDNTINA통신망에서 기존의 라우팅 기법에 비해 장점을 가지면서, TINA의 계층적 연결관리 구조를 기바능로 하는 병렬.분산 라우팅 기법을 제안한다. 제안된 병렬.분산 라우팅 기법은 라우팅 알고리즘이 서브네트워트 단위로 병렬적, 계층적으로 실행되어 사용자가 원하는 QoS연결을 제한된 시간내에 빠르게 설정할 수 있으므로, PCS mobility지원을 위한 빈번한 경로 재설정 요구에 유연하게 대처 할수 있다. 또한, 연결관리 체계가 계층적으로 이루어져 있어 TMN/TNA를 통한 체계적인 통신망 관리에도 효율적이다.