• Title/Summary/Keyword: state explosion

Search Result 156, Processing Time 0.025 seconds

Optimal Provider Mobility in Large-Scale Named- Data Networking

  • Do, Truong-Xuan;Kim, Younghan
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.9 no.10
    • /
    • pp.4054-4071
    • /
    • 2015
  • Named-Data Networking (NDN) is one of the promising approaches for the Future Internet to cope with the explosion and current usage pattern of Internet traffic. Content provider mobility in the NDN allows users to receive real-time traffic when the content providers are on the move. However, the current solutions for managing these mobile content providers suffer several issues such as long handover latency, high cost, and non-optimal routing path. In this paper, we survey main approaches for provider mobility in NDN and propose an optimal scheme to support the mobile content providers in the large-scale NDN domain. Our scheme predicts the movement of the provider and uses state information in the NDN forwarding plane to set up an optimal new routing path for mobile providers. By numerical analysis, our approach provides NDN users with better service access delay and lower total handover cost compared with the current solutions.

Petri Nets Modeling Using Relational Algebra (관계 대수를 이용한 페트리 네트의 모델링)

  • Young Chan Kim
    • Proceedings of the Korea Society for Simulation Conference
    • /
    • 1992.10a
    • /
    • pp.12-12
    • /
    • 1992
  • This paper proposes an analysis method of Petri nets (PNs) using the relational algebra (RA). More specifically, we represent PNs in relations of the relational model. Based on such representation, we first develop an algorithms for analyzing properties of PNs, such as boundedness, conservation, coverability, reachability, and liveness. The advantage of this approach is as follows: First, the algorithms represented by RA can be easily converted to a query language such as SQL of the widely used, commercial relational database management systems (DBMSs). Second, we can alleviate the problem of state space explosion because relational DBMSs can handle large amounts of data efficiency. Finally, we can use the DBMS's query language to interpret the Petri nets and make simulation.

  • PDF

Modeling of Petri Nets Using Relatinal Algebra (관계 대수를 이용한 페트리 네트의 모델링)

  • 김영찬
    • Journal of the Korea Society for Simulation
    • /
    • v.1 no.1
    • /
    • pp.37-47
    • /
    • 1992
  • This paper proposes an analysis method of petri nets(PNs) using the relational algebra(RA). More wpecifically, we represent PNs in relations of the relational model. Based on such representation, we first develop an algorithm for generating reachability trees of PNs. we then develop an algorithm for generating reachability trees of PNs. We then develop algorithms for analyzing properties of PNs, such as boundedness, conservation, coverability, reachability, and liveness. The advantage of this approach is as follows: First, the algorithms represented by RA can be easity converted to a query language such as SQL of the widely used, commerical relational database management systems(DBMSs). Second, we can alleviate the problem of state space explosion because relational DBMSs can handle large amounts of data efficiently. Finally, we can use the DBMS's query language to interpret the Petri nets and make simulation.

  • PDF

A Review on 3D Structure Formation, Analysis and Performance Prediction Technique for All-solid-state Electrode and Battery (3차원 전고체 전극 구조체 형성, 분석 및 성능 예측 기술 동향)

  • Park, Joonam;Jin, Dahee;Kim, Dohwan;Bae, Kyung Taek;Lee, Kang Taek;Lee, Yong Min
    • Journal of the Korean Electrochemical Society
    • /
    • v.22 no.4
    • /
    • pp.139-147
    • /
    • 2019
  • Lithium-ion battery (LiB) with high energy density and efficiency has been utilized for the electric vehicle (EV) and energy storage system (ESS) as well as portable devices. However, as explosion accidents have frequently happened till lately, all-solid-state lithium secondary battery (ALSB) began to get in a spotlight because it can secure a very high safety and energy density by substituting flammable organic liquid electrolyte to nonflammable inorganic solid electrolyte. In spite of ALSB's certain merits, it has shown much poorer performance of cells than one of LiB due to some challenges, which have been small or never dealt with in the LiB system. Hence, although plenty of studies made progress to solve them, an approach about design of all-solid-state electrode (ASSE) has been limited on account of difficulty of ALSB's experiments. That is why the virtual 3D structure of an all-solid-state electrode has to be built and used for the prediction of cell performance. In this study, we elucidate how to form the 3D ASSE structure and what to be needed for the simulation of characteristics on ALSB. Furthermore, the ultimate orientation of 3D modeling and simulation for the study of ALSB are briefly suggested.

State-of-the-art Studies on Infrasound Monitoring in Korea (국내 인프라사운드 관측기술의 최신 연구 동향)

  • Che, Il-Young;Lee, Hee-Il;Jeon, Jeong-Soo;Shin, In-Cheul;Chi, Heon-Cheol
    • Geophysics and Geophysical Exploration
    • /
    • v.13 no.3
    • /
    • pp.286-294
    • /
    • 2010
  • Korea Institute of Geoscience and Mineral Resources (KIGAM) has installed and operated seven seismoacoustic (infrasound) arrays as well as seismic stations in Korea. The seismo-acoustic array, which consists of co-located seismometers and micro-barometers, can observe both seismic and infrasonic signals from distant explosive phenomena. The infrasound is defined as low frequency (<20 Hz) acoustic waves in atmosphere. In particular, it can be detectable at long distance due to its low energy attenuation during propagation in atmosphere. KIGAM adopted the infrasound technology to discriminate surface explosions from earthquakes only because the surface explosion generally generates infrasound following seismic signal. In addition to surface explosions, these arrays have detected diverse geophysically natural and artificial phenomena, such as infrasound signal from the North Korean nuclear test. This review introduced the state-of-the-art studies and examples of infrasonic signals in and around the Korean Peninsula. In conclusion, infrasound technology would be clearly accepted itself as a new Earth monitoring technology by expanding its detectable regime to lithosphere-Earth surface-atmosphere. In future, an advanced technology, which allows to analyze seismic and infrasonic wave fields together, will enlarge the understanding of geophysical phenomena and be used as a robust analysis method for remote explosive phenomena in the broad infrasound regime.

SOH Estimation and Feature Extraction using Principal Component Analysis based on Health Indicator for High Energy Battery Pack (건전성 지표 기반 주성분분석(PCA)을 적용한 고용량 배터리 팩의 열화 인자 추출 방법 및 SOH 진단 기법 연구)

  • Lee, Pyeong-Yeon;Kwon, Sanguk;Kang, Deokhun;Han, Seungyun;Kim, Jonghoon
    • The Transactions of the Korean Institute of Power Electronics
    • /
    • v.25 no.5
    • /
    • pp.376-384
    • /
    • 2020
  • An energy storage system is composed of lithium-ion batteries in modern applications. Batteries are regarded as storage devices for renewable and residual energy. The failure of batteries can cause the performance reduction and explosion of battery systems. High maintenance cost is essential when dealing with the problem of battery safety. Therefore an accurate health diagnosis is required to ensure the high reliability of battery systems. A battery pack is a combination of single cells in series and parallel connections. A battery pack has to consider various factors to assess battery health. Battery health involves conventional factors and additional factors, such as cell-to-cell imbalance. For large applications, state-of-health (SOH) can be inaccurate because of the lack of factors that indicate the state of the battery pack. In this study, six characterization factors are proposed for improving the SOH estimation of battery packs. The six proposed characterization factors can be regarded as health indicators (HIs). The six HIs are applied to the principal component analysis (PCA) algorithm. To reflect information regarding capacity, voltage, and temperature, the PCA algorithm extracts new degradation factors by using the six HIs. The new degradation factors are applied to a multiple regression model. Results show the advancement and improvement of SOH estimation.

Review on the Process Safety of $SiH_{4}$ Gas used in Semiconductor and FPD Field (반도체 및 FPD 분야에 사용되는 $SiH_{4}$ 가스의 공정 안전 고찰)

  • Kim, Joung-Cho;Kim, Hong
    • Journal of the Korean Society of Safety
    • /
    • v.22 no.4
    • /
    • pp.32-36
    • /
    • 2007
  • When the vacuum system for the process of $SiH_{4}$ gas used in the semiconductor and FPD field is partially vented from vacuum to atmospheric state, a fire often occurs due to auto-ignition of $SiH_{4}$ gas. In order to prevent the fire, the concentration of $SiH_{4}$ should be kept under LFL. This means that the higher capacity pump is needed to meet the process conditions as well as the condition that the concentration of $SiH_{4}$ should be kept under LFL. In this article, we conducted the injection of the dilution gas at the manifold between booster pump and dry pump compared with the typical method that the dilution gas was injected into inlet port of booster pump using computer simulation. According to the result, we can flow further more purge gas for safety without any change of the condition in the process chamber, which means that the higher capacity pump is not required for safety in some cases.

Research Activities of the Nanjing Institute of Geology and Palaeontology, Chinese Academy Sciences (중국과학원 남경지질고생물연구소의 연구 활동 현황)

  • Lee, Chang-Zin
    • Journal of the Korean earth science society
    • /
    • v.27 no.1
    • /
    • pp.1-5
    • /
    • 2006
  • Research fields are mainly invertebrate palaeontology, palaeobotany and palynology, micripalaeontology, and stratigraphy, which are being studied by the 223 researchers and graduate students (October, 2005). Since its foundation 50 years ago, the institute has published more than 6,200 research papers in national and international scientific journals, 300 volumes of scientific monographs in various fields. 200 scientific research projects have received awards from the state, Chinese Academy of Sciences, province and ministry level-government. Of them the "Project of the Chengjiang Biota and Cambrian Explosion" won the Frist class of National Natural Science Award from Ministry of Science and Technology in 2003.

A study on the Internet information quality, the customer satisfaction, and loyalty in the food and beverage company (식음료외식기업의 인터넷정보품질과 고객만족과 충성도에 관한 연구)

  • Chae, Gyu Jin
    • Journal of Korea Society of Digital Industry and Information Management
    • /
    • v.6 no.1
    • /
    • pp.211-223
    • /
    • 2010
  • Since its conception, the Internet has been exponentially growing and recent forecasts state that by the year 2011 almost one-quarter of the world's population will have internet access and few places have seen the radical effects of this new technology as strongly as south Korea which currently has the highest percentage of broadband users in the world with over 70% of its homes running at over 2Mbit/s. This explosion has revolutionized the way the industries, including that of the hospitality industry have conducted their businesses. The main challenge of this study was to explore how customers are currently using the Internet when developing purchase intentions. Customers were asked, through surveys, to evaluate four specific factors: format, accuracy, content and timeliness (FACT) in terms of their importance when making a restaurant choice. The findings of this study were as follows: content influenced the customer satisfaction, as well as timeliness influenced the customer satisfaction. But the other factor of the information didn't have interaction with the customer satisfaction. Customer satisfaction influenced the loyalty.

Retransmission Scheme to Guarantee QoS for Multimedia Receivers in Multicast Environments (멀티캐스트 환경에서 멀티미디어 수신노드의 QoS를 보장하는 재전송 기법)

  • Kim, Ki-Young
    • Journal of Korea Multimedia Society
    • /
    • v.9 no.7
    • /
    • pp.835-843
    • /
    • 2006
  • Multicast can send one copy of each packet to each member of the multicast group. Network resource is utilized effectively, consequently, it is suitable for one-to-many environments. reliability and flow control, however, are not supported basically, it is not suitable or transmission of multimedia data which have a time restriction. In this paper, we present a network model and a multicast retransmission scheme The proposed scheme remove ack-explosion from sender through local recovery and performs local retransmission when time restriction is satisfied on receiver by considering the state of receiver's buffer. Mathematical analysis and simulation are conducted to prove performance of the proposed scheme. The results are shown that the proposed scheme consumes a lower network bandwidth than the existing network model and guarantees QoS of receivers.

  • PDF