• Title/Summary/Keyword: simulation correctness

Search Result 144, Processing Time 0.019 seconds

Energy efficient watchman based flooding algorithm for IoT-enabled underwater wireless sensor and actor networks

  • Draz, Umar;Ali, Tariq;Zafar, Nazir Ahmad;Alwadie, Abdullah Saeed;Irfan, Muhammad;Yasin, Sana;Ali, Amjad;Khattak, Muazzam A. Khan
    • ETRI Journal
    • /
    • v.43 no.3
    • /
    • pp.414-426
    • /
    • 2021
  • In the task of data routing in Internet of Things enabled volatile underwater environments, providing better transmission and maximizing network communication performance are always challenging. Many network issues such as void holes and network isolation occur because of long routing distances between nodes. Void holes usually occur around the sink because nodes die early due to the high energy consumed to forward packets sent and received from other nodes. These void holes are a major challenge for I-UWSANs and cause high end-to-end delay, data packet loss, and energy consumption. They also affect the data delivery ratio. Hence, this paper presents an energy efficient watchman based flooding algorithm to address void holes. First, the proposed technique is formally verified by the Z-Eves toolbox to ensure its validity and correctness. Second, simulation is used to evaluate the energy consumption, packet loss, packet delivery ratio, and throughput of the network. The results are compared with well-known algorithms like energy-aware scalable reliable and void-hole mitigation routing and angle based flooding. The extensive results show that the proposed algorithm performs better than the benchmark techniques.

Multiple Decoupling Current Control Strategies for LCL Type Grid-Connected Converters Based on Complex Vectors under Low Switching Frequencies

  • Liu, Haiyuan;Shi, Yang;Guo, Yinan;Wang, Yingjie;Wang, Wenchao
    • Journal of Power Electronics
    • /
    • v.19 no.4
    • /
    • pp.1034-1044
    • /
    • 2019
  • In medium-voltage and high-voltage high-power converters, the switching devices need to operate at a low switching frequency to reduce power loss and increase the power capacity. This increases the delay of the signal sampling and PWM. It also makes the cross-couplings of the d-q current components more severe. In addition, the LCL filter has three cross-coupling loops and is prone to resonance. In order to solve these problems, this paper establishes a complex vector model of an LCL type grid-connected converter. Based on this model, two multiple decoupling current control strategies with passive damping / notch damping are proposed for the LCL type grid-connected converter. The proposed strategies can effectively eliminate the cross-couplings of the converter, achieve independent control of the d-q current components, expand the stable region and suppress the resonance of the LCL filter. Simulation and experimental results verify the correctness of the theoretical analysis and the feasibility of the proposed strategies.

SINR loss and user selection in massive MU-MISO systems with ZFBF

  • Hu, Mengshi;Chang, Yongyu;Zeng, Tianyi;Wang, Bin
    • ETRI Journal
    • /
    • v.41 no.5
    • /
    • pp.637-647
    • /
    • 2019
  • Separating highly correlated users can reduce the loss caused by spatial correlation (SC) in multiuser multiple-input multiple-output (MU-MIMO) systems. However, few accurate analyses of the loss caused by SC have been conducted. In this study, we define signal-to-interference-plus-noise ratio (SINR) loss to characterize it in multiuser multiple-input single-output (MU-MISO) systems, and use coefficient of correlation (CoC) to describe the SC between users. A formula is deduced to show the accurate relation between SINR loss and CoC. Based on this relation, we propose a user selection method that utilizes CoC to minimize the average SINR loss of users in massive MU-MISO systems. Simulation results verify the correctness of the relation and show that the proposed user selection method is very effective at reducing the loss caused by SC in massive MU-MISO systems.

Study on the effect of flow blockage due to rod deformation in QUENCH experiment

  • Gao, Pengcheng;Zhang, Bin;Shan, Jianqiang
    • Nuclear Engineering and Technology
    • /
    • v.54 no.8
    • /
    • pp.3154-3165
    • /
    • 2022
  • During a loss-of-coolant accident (LOCA) in the pressurized water reactor (PWR), there is a possibility that high temperature and internal pressure of the fuel rods lead to ballooning of the cladding, which causes a partial blockage of flow area in a subchannel. Such flow blockage would influence the core coolant flow, thus affecting the core heat transfer during a reflooding phase and subsequent severe accident. However, most of the system analysis codes simulate the accident process based on the assumed channel blockage ratio, resulting in the fact that the simulation results are not consistent with the actual situation. This paper integrates the developed core Fuel Rod Thermal-Mechanical Behavior analysis (FRTMB) module into the self-developed severe accident analysis code ISAA. At the same time, the existing flow blockage model is improved to make it possible to simulate the change of flow distribution due to fuel rod deformation. Finally, the ISAA-FRTMB is used to simulate the QUENCH-LOCA-0 experiment to verify the correctness and effectiveness of the improved flow blockage model, and then the effect of clad ballooning on core heat transfer and subsequent parts of core degradation is analyzed.

Throughput and Interference for Cooperative Spectrum Sensing: A Malicious Perspective

  • Gan, Jipeng;Wu, Jun;Zhang, Jia;Chen, Zehao;Chen, Ze
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.15 no.11
    • /
    • pp.4224-4243
    • /
    • 2021
  • Cognitive radio (CR) is a feasible intelligent technology and can be used as an effective solution to spectrum scarcity and underutilization. As the key function of CR, cooperative spectrum sensing (CSS) is able to effectively prevent the harmful interference with primary users (PUs) and identify the available spectrum resources by exploiting the spatial diversity of multiple secondary users (SUs). However, the open nature of the cognitive radio networks (CRNs) framework makes CSS face many security threats, such as, the malicious user (MU) launches Byzantine attack to undermine CRNs. For this aim, we make an in-depth analysis of the motive and purpose from the MU's perspective in the interweave CR system, aiming to provide the future guideline for defense strategies. First, we formulate a dynamic Byzantine attack model by analyzing Byzantine behaviors in the process of CSS. On the basis of this, we further make an investigation on the condition of making the fusion center (FC) blind when the fusion rule is unknown for the MU. Moreover, the throughput and interference to the primary network are taken into consideration to evaluate the impact of Byzantine attack on the interweave CR system, and then analyze the optimal strategy of Byzantine attack when the fusion rule is known. Finally, theoretical proofs and simulation results verify the correctness and effectiveness of analyses about the impact of Byzantine attack strategy on the throughput and interference.

Numerical simulation on the cyclic behavior of ultra-high performance concrete filled steel tubular column

  • Heng Cai;Fangqian Deng
    • Structural Engineering and Mechanics
    • /
    • v.85 no.5
    • /
    • pp.693-707
    • /
    • 2023
  • In order to deeply reveal the working mechanism of ultra-high performance concrete (UHPC) filled steel tubular columns (UHPCFSTs) under cyclic loading, a three-dimension (3D) macro-mesoscale finite element (FE) model was established considering the randomness of steel fibers and the damage of UHPC. Model correctness and reliability were verified based on the experimental results. Next, the whole failure process of UHPC reinforced with steel fibers, passive confinement effect and internal force distribution laws were comprehensively analyzed and discussed. Finally, a simplified and practical method was proposed for predicting the ultimate bending strengths of UHPCFSTs. It was found that the non-uniform confinement effect of steel tube occurred when the drift ratio exceeded 0.5%, while the confining stress increased then decreased afterwards. There was preferable synergy between the steel tube and UHPC until failure. Compared with experimental results, the ultimate bending strengths of UHPCFSTs were undervalued by the current code provisions such as AISC360-10, EC4 and GB50936 with computed mean values (MVs) of 0.855, 0.880 and 0.836, respectively. The proposed practical method was highly accurate, as evidenced by a mean value of 1.058.

Performance Analysis of Ad hoc Networks on Real world Test-bed for High Speed Video Streaming (고속 영상 데이터 전송을 위한 애드혹 네트워크의 테스트베드 기반 성능 분석)

  • Ahmed, Md Shohel;Yoon, Seokhoon
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.13 no.3
    • /
    • pp.141-150
    • /
    • 2013
  • Simulation is an important technique to test and verify routing protocol correctness. However, simulation does not guarantee that the protocol works expectedly on a real world environment because it needs to rely on assumptions and simplified properties such as radio characteristics and effects of geographical constraints that may not reflect the real world networking environments. Therefore, a real world experiments are necessary to gain a practical insight into the actual performance of ad hoc networks. In this paper, we build a test-bed to evaluate multi-hop ad hoc networks for high speed video streaming inside a building using AODV-UU routing protocol. Our observation indicates that the considered ad hoc network can provide a sufficient performance for a low rate streaming data in terms of throughput, PDR (Packet delivery ratio) and the average delay.

A Study on the Cell Planning Simulation of Mobile Radio Communication Networks Using a Propagation Prediction Model (전파예측모델에 의한 이동통신 무선망 셀 계획의 시뮬레이션 연구)

  • 최정민;오용선
    • Proceedings of the Korea Contents Association Conference
    • /
    • 2003.11a
    • /
    • pp.204-209
    • /
    • 2003
  • In an urban area telecommunication using wireless system, the accurate prediction and analysis of wave propagation characteristics are very important to determine the service area, optimized selection of base station, and cell design, etc. In the stage of these analyses, we have to present the propagation prediction model which is varied with the type of antenna, directional angle, and configuration of the ground in our urban area. In addition we need to perform an analysis of the conventional model which is similar to ours and dig out the parameters to evaluate the wave environment before the cell design for the selected area. In this paper, we propose a wave propagation prediction model concerning the topography and obstacles in our urban area. We extract the parameters and apply them to the proposed wave environment for the simulation analyzing the propagation characteristics. Throughout these analyzing procedure, we extracted the essential parameters such as the position of the base station, the height of topography, and adequate type and height of the antenna with our preferable correctness.

  • PDF

NoC Energy Measurement and Analysis with a Cycle-accurate Energy Measurement Tool for Virtex-II FPGAs (네트워크-온-칩 설계의 전력 소모 분석을 위한 Virtex-II FPGA의 싸이클별 전력 소모 측정 도구 개발)

  • Lee, Hyung-Gyu;Chang, Nae-Hyuck
    • Journal of the Institute of Electronics Engineers of Korea SD
    • /
    • v.44 no.2
    • /
    • pp.86-94
    • /
    • 2007
  • The NoC (network-on-chip) approach is a promising solution to the increasing complexity of on-chip communication problems because of its high scalability. But, NoC applications generally consume a lot of power, because they require a large design space to accommodate many parallel IPs and network communication channels. It is not easy to analyze the power consumption of NoC applications with conventional simulation methods using simple power models. In addition, there are also many limitations in using sophisticated simulation models because they require long execution time and large efforts. In this paper, we apply a cycle-accurate energy measurement technique and tool to the FPGA prototypes, which are generally used to verify the correctness of SoC designs, as a practical indication of the power consumption of real NoC applications. An NoC-based JPEG encoder implementation is used as a case study to demonstrate the effectiveness of our approach.

A Dynamical Hybrid CAC Scheme and Its Performance Analysis for Mobile Cellular Network with Multi-Service

  • Li, Jiping;Wu, Shixun;Liu, Shouyin
    • KSII Transactions on Internet and Information Systems (TIIS)
    • /
    • v.6 no.6
    • /
    • pp.1522-1545
    • /
    • 2012
  • Call admission control (CAC) plays an important role in mobile cellular network to guarantee the quality of service (QoS). In this paper, a dynamic hybrid CAC scheme with integrated cutoff priority and handoff queue for mobile cellular network is proposed and some performance metrics are derived. The unique characteristic of the proposed CAC scheme is that it can support any number of service types and that the cutoff thresholds for handoff calls are dynamically adjusted according to the number of service types and service priority index. Moreover, timeouts of handoff calls in queues are also considered in our scheme. By modeling the proposed CAC scheme with a one-dimensional Markov chain (1DMC), some performance metrics are derived, which include new call blocking probability ($P_{nb}$), forced termination probability (PF), average queue length, average waiting time in queue, offered traffic utilization, wireless channel utilization and system performance which is defined as the ratio of channel utilization to Grade of Service (GoS) cost function. In order to validate the correctness of the derived analytical performance metrics, simulation is performed. It is shown that simulation results match closely with the derived analytic results in terms of $P_{nb}$ and PF. And then, to show the advantage of 1DMC modeling for the performance analysis of our proposed CAC scheme, the computing complexity of multi-dimensional Markov chain (MDMC) modeling in performance analysis is analyzed in detail. It is indicated that state-space cardinality, which reflects the computing complexity of MDMC, increases exponentially with the number of service types and total channels in a cell. However, the state-space cardinality of our 1DMC model for performance analysis is unrelated to the number of service types and is determined by total number of channels and queue capacity of the highest priority service in a cell. At last, the performance comparison between our CAC scheme and Mahmoud ASH's scheme is carried out. The results show that our CAC scheme performs well to some extend.