• Title/Summary/Keyword: Logic Simulation

Search Result 1,441, Processing Time 0.028 seconds

A Study on the Method for Converting the Unit Database from Training-model into Analysis-model : Focused on the 'Chang-Jo21' and 'Vision21' model (훈련용 워게임 모델의 부대 DB를 분석용 워게임 모델에 재사용하기 위한 변환방법 연구 : 창조21모델과 비전21모델을 중심으로)

  • Lee, Yong-Bok;Park, Min-Hyoung;Kim, Yeek-Hyun
    • Journal of the Korea Society for Simulation
    • /
    • v.28 no.2
    • /
    • pp.159-167
    • /
    • 2019
  • In the field of defense M&S, we are actively pursuing researches that interoperable multiple war game models to simulate various combat environments at the same time. Although the 'unit DB(Database)' for operating the war game models is originated from the identical data, it has been recognized that the method of expressing the attribute of the data is different and the cross reference is impossible. As a result, it makes unnecessary time and effort in establishing the same unit DB in the organizations that operate the war game model. In this study, a method of reusing the unit DB of the training war game model to the analysis war game model with similar resolution and simulated logic was applied to the actual field. For this purpose, we defined the procedure for converting the unit DB by analyzing metadata of the 'Chang-Jo21', a combat training model for corps and division, and the 'Vision21', an analysis model for corps and division operation plan. And we introduced an algorithm that can map different metadata of two unit DBs. This study was meaningful as the first attempt to map and integrate heterogeneous metadata semantically for the reuse of unit DB between different war game models in defense M&S field. Also, it provided implications for the necessity of paradigm shift that reuse of the unit DB between two different war game models is possible and the need for standardization of the unit DB metadata in the defense M&S filed.

Epistemological Implications of Scientific Reasoning Designed by Preservice Elementary Teachers during Their Simulation Teaching: Evidence-Explanation Continuum Perspective (초등 예비교사가 모의수업 시연에서 구성한 과학적 추론의 인식론적 의미 - 증거-설명 연속선의 관점 -)

  • Maeng, Seungho
    • Journal of Korean Elementary Science Education
    • /
    • v.42 no.1
    • /
    • pp.109-126
    • /
    • 2023
  • In this study, I took the evidence-explanation (E-E) continuum perspective to examine the epistemological implications of scientific reasoning cases designed by preservice elementary teachers during their simulation teaching. The participants were four preservice teachers who conducted simulation instruction on the seasons and high/low air pressure and wind. The selected discourse episodes, which included cases of inductive, deductive, or abductive reasoning, were analyzed for their epistemological implications-specifically, the role played by the reasoning cases in the E-E continuum. The two preservice teachers conducting seasons classes used hypothetical-deductive reasoning when they identified evidence by comparing student-group data and tested a hypothesis by comparing the evidence with the hypothetical statement. However, they did not adopt explicit reasoning for creating the hypothesis or constructing a model from the evidence. The two preservice teachers conducting air pressure and wind classes applied inductive reasoning to find evidence by summarizing the student-group data and adopted linear logic-structured deductive reasoning to construct the final explanation. In teaching similar topics, the preservice teachers showed similar epistemic processes in their scientific reasoning cases. However, the epistemological implications of the instruction were not similar in terms of the E-E continuum. In addition, except in one case, the teachers were neither good at abductive reasoning for creating a hypothesis or an explanatory model, nor good at using reasoning to construct a model from the evidence. The E-E continuum helps in examining the epistemological implications of scientific reasoning and can be an alternative way of transmitting scientific reasoning.

A study of Vertical Handover between LTE and Wireless LAN Systems using Adaptive Fuzzy Logic Control and Policy based Multiple Criteria Decision Making Method (LTE/WLAN 이종망 환경에서 퍼지제어와 정책적 다기준 의사결정법을 이용한 적응적 VHO 방안 연구)

  • Lee, In-Hwan;Kim, Tae-Sub;Cho, Sung-Ho
    • The KIPS Transactions:PartC
    • /
    • v.17C no.3
    • /
    • pp.271-280
    • /
    • 2010
  • For the next generation mobile communication system, diverse wireless network techniques such as beyond 3G LTE, WiMAX/WiBro, and next generation WLAN etc. are proceeding to the form integrated into the All-IP core network. According to this development, Beyond 3G integrated into heterogeneous wireless access technologies must support the vertical handover and network to be used of several radio networks. However, unified management of each network is demanded since it is individually serviced. Therefore, in order to solve this problem this study is introducing the theory of Common Radio Resource Management (CRRM) based on Generic Link Layer (GLL). This study designs the structure and functions to support the vertical handover and propose the vertical handover algorithm of which policy-based and MCDM are composed between LTE and WLAN systems using GLL. Finally, simulation results are presented to show the improved performance over the data throughput, handover success rate, the system service cost and handover attempt number.

A High Speed Block Turbo Code Decoding Algorithm and Hardware Architecture Design (고속 블록 터보 코드 복호 알고리즘 및 하드웨어 구조 설계)

  • 유경철;신형식;정윤호;김근회;김재석
    • Journal of the Institute of Electronics Engineers of Korea SD
    • /
    • v.41 no.7
    • /
    • pp.97-103
    • /
    • 2004
  • In this paper, we propose a high speed block turbo code decoding algorithm and an efficient hardware architecture. The multimedia wireless data communication systems need channel codes which have the high-performance error correcting capabilities. Block turbo codes support variable code rates and packet sizes, and show a high performance due to a soft decision iteration decoding of turbo codes. However, block turbo codes have a long decoding time because of the iteration decoding and a complicated extrinsic information operation. The proposed algorithm using the threshold that represents a channel information reduces the long decoding time. After the threshold is decided by a simulation result, the proposed algorithm eliminates the calculation for the bits which have a good channel information and assigns a high reliability value to the bits. The threshold is decided by the absolute mean and the standard deviation of a LLR(Log Likelihood Ratio) in consideration that the LLR distribution is a gaussian one. Also, the proposed algorithm assigns '1', the highest reliable value, to those bits. The hardware design result using verilog HDL reduces a decoding time about 30% in comparison with conventional algorithm, and includes about 20K logic gate and 32Kbit memory sizes.

Design of a Hybrid Fuzzy Controller for Speed Control of a Hydraulic Elevator Controlled by Inverters (유압식 인버터 엘리베이터의 속도제어를 위한 하이브리드 퍼지제어기의 설계)

  • Han, Gueon-Sang;Kim, Byoung-Hwa;Ahn, Hyun-Sik;Kim, Do-Hyun
    • Journal of the Institute of Electronics Engineers of Korea SC
    • /
    • v.38 no.1
    • /
    • pp.1-13
    • /
    • 2001
  • Due to the friction characteristics of cylinders and the rail of a passenger car, in the elevator actuated with hydraulic systems, there exist dead zones, which can not be controlled by a PID controller. To overcome the drawbacks, in this paper, we first try a hybrid controller which switches between a fuzzy logic controller and a PID controller. However, because the hybrid control scheme uses only a single type controller, except the switched layer, the high control performance can not be achieved. To solve this problem, we propose a new type fuzzy hybrid control scheme, which outputs of the output mixer arc controlled by a fuzzy logic. The hydraulic elevator system controlled by inverters has more then one switched layers due to the highly nonlinear characteristics. The proposed fuzzy hybrid control scheme achieves improved control performances by using both controllers with weighted outputs depend on the system status, to achieve improved control performances. The effectiveness of the proposed control scheme arc shown by simulation results, which the proposed fuzzy hybrid control method yields good control performance not only in the zero crossing speed region but also in the overall control region including steady-state region.

  • PDF

Automatic On-Chip Glitch-Free Backup Clock Changing Method for MCU Clock Failure Protection in Unsafe I/O Pin Noisy Environment (안전하지 않은 I/O핀 노이즈 환경에서 MCU 클럭 보호를 위한 자동 온칩 글리치 프리 백업 클럭 변환 기법)

  • An, Joonghyun;Youn, Jiae;Cho, Jeonghun;Park, Daejin
    • Journal of the Institute of Electronics and Information Engineers
    • /
    • v.52 no.12
    • /
    • pp.99-108
    • /
    • 2015
  • The embedded microcontroller which is operated by the logic gates synchronized on the clock pulse, is gradually used as main controller of mission-critical systems. Severe electrical situations such as high voltage/frequency surge may cause malfunctioning of the clock source. The tolerant system operation is required against the various external electric noise and means the robust design technique is becoming more important issue in system clock failure problems. In this paper, we propose on-chip backup clock change architecture for the automatic clock failure detection. For the this, we adopt the edge detector, noise canceller logic and glitch-free clock changer circuit. The implemented edge detector unit detects the abnormal low-frequency of the clock source and the delay chain circuit of the clock pulse by the noise canceller can cancel out the glitch clock. The externally invalid clock source by detecting the emergency status will be switched to back-up clock source by glitch-free clock changer circuit. The proposed circuits are evaluated by Verilog simulation and the fabricated IC is validated by using test equipment electrical field radiation noise

High Performance SoC On-chip-bus Architecture with Multiple Channels and Simultaneous Routing (다중 채널과 동시 라우팅 기능을 갖는 고성능 SoC 온 칩 버스 구조)

  • Lee, Sang-Hun;Lee, Chan-Ho
    • Journal of the Institute of Electronics Engineers of Korea SD
    • /
    • v.44 no.4
    • /
    • pp.24-31
    • /
    • 2007
  • Up to date, a lot of bus protocol and bus architecture are released though most of them are based on the shared bus architecture and inherit the limitation of performance. SNP (SoC Network Protocol), and hence, SNA (SoC Network Architecture) which are high performance on-chip-bus protocol and architecture, respectively, have been proposed to solve the problems of the conventional shared bus. We refine the SNA specification and improve the performance and functionality. The performance of the SNA is improved by supporting simultaneous routing for bus request of multiple masters. The internal routing logic is also improved so that the gate count is decreased. The proposed SNA employs XSNP (extended SNP) that supports almost perfect compatibility with AMBA AHB protocol without performance degradation. The hardware complexity of the improved SNA is not increased much by optimizing the current routing logic. The improved SNA works for IPs with the original SNP at its best performance. In addition, it can also replace the AMBA AHB or interconnect matrix of a system, and it guarantees simultaneous multiple channels. That is, the existing AMBA system can show much improved performance by replacing the AHB or the interconnect matrix with the SNA. Thanks to the small number of interconnection wires, the SNA can be used for the off-chip bus system, too. We verify the performance and function of the proposed SNA and XSNP simulation and emulation.

Defining the Tumour and Gross Tumor Volume using PET/CT : Simulation using Moving Phantom (양전자단층촬영장치에서 호흡의 영향에 따른 종양의 변화 분석)

  • Jin, Gye-Hwan
    • Journal of the Korean Society of Radiology
    • /
    • v.15 no.7
    • /
    • pp.935-942
    • /
    • 2021
  • Involuntary movement of internal organs by respiration is a factor that greatly affects the results of radiotherapy and diagnosis. In this study, a moving phantom was fabricated to simulate the movement of an organ or a tumor according to respiration, and 18F-FDG PET/CT scan images were acquired under various respiratory simulating conditions to analyze the movement range of the tumor movement by respiration, the level of artifacts according to the size of the tumor and the maximum standardized uptake value (SUVmax). Based on Windows CE 6.0 as the operating system, using electric actuator, electric actuator positioning driver, and programmable logic controller (PLC), the position and speed control module was operated normally at a moving distance of 0-5 cm and 10, 15, and 20 reciprocations. For sphere diameters of 10, 13, 17, 22, 28, and 37 mm at a delay time of 100 minutes, 80.4%, 99.5%, 107.9%, 113.1%, 128.0%, and 124.8%, respectively were measured. When the moving distance was the same, the difference according to the respiratory rate was insignificant. When the number of breaths is 20 and the moving distance is 1 cm, 2 cm, 3 cm, and 5 cm, as the moving distance increased at the sphere diameters of 10, 13, 17, 22, 28, and 37 mm, the ability to distinguish images from smaller spheres deteriorated. When the moving distance is 5 cm compared to the still image, the maximum values of the standard intake coefficient were 18.0%, 23.7%, 29.3%, 38.4%, 49.0%, and 67.4% for sphere diameters of 10, 13, 17, 22, 28, and 37 mm, respectively.

Active VM Consolidation for Cloud Data Centers under Energy Saving Approach

  • Saxena, Shailesh;Khan, Mohammad Zubair;Singh, Ravendra;Noorwali, Abdulfattah
    • International Journal of Computer Science & Network Security
    • /
    • v.21 no.11
    • /
    • pp.345-353
    • /
    • 2021
  • Cloud computing represent a new era of computing that's forms through the combination of service-oriented architecture (SOA), Internet and grid computing with virtualization technology. Virtualization is a concept through which every cloud is enable to provide on-demand services to the users. Most IT service provider adopt cloud based services for their users to meet the high demand of computation, as it is most flexible, reliable and scalable technology. Energy based performance tradeoff become the main challenge in cloud computing, as its acceptance and popularity increases day by day. Cloud data centers required a huge amount of power supply to the virtualization of servers for maintain on- demand high computing. High power demand increase the energy cost of service providers as well as it also harm the environment through the emission of CO2. An optimization of cloud computing based on energy-performance tradeoff is required to obtain the balance between energy saving and QoS (quality of services) policies of cloud. A study about power usage of resources in cloud data centers based on workload assign to them, says that an idle server consume near about 50% of its peak utilization power [1]. Therefore, more number of underutilized servers in any cloud data center is responsible to reduce the energy performance tradeoff. To handle this issue, a lots of research proposed as energy efficient algorithms for minimize the consumption of energy and also maintain the SLA (service level agreement) at a satisfactory level. VM (virtual machine) consolidation is one such technique that ensured about the balance of energy based SLA. In the scope of this paper, we explore reinforcement with fuzzy logic (RFL) for VM consolidation to achieve energy based SLA. In this proposed RFL based active VM consolidation, the primary objective is to manage physical server (PS) nodes in order to avoid over-utilized and under-utilized, and to optimize the placement of VMs. A dynamic threshold (based on RFL) is proposed for over-utilized PS detection. For over-utilized PS, a VM selection policy based on fuzzy logic is proposed, which selects VM for migration to maintain the balance of SLA. Additionally, it incorporate VM placement policy through categorization of non-overutilized servers as- balanced, under-utilized and critical. CloudSim toolkit is used to simulate the proposed work on real-world work load traces of CoMon Project define by PlanetLab. Simulation results shows that the proposed policies is most energy efficient compared to others in terms of reduction in both electricity usage and SLA violation.

The Implementable Functions of the CoreNet of a Multi-Valued Single Neuron Network (단층 코어넷 다단입력 인공신경망회로의 함수에 관한 구현가능 연구)

  • Park, Jong Joon
    • Journal of IKEEE
    • /
    • v.18 no.4
    • /
    • pp.593-602
    • /
    • 2014
  • One of the purposes of an artificial neural netowrk(ANNet) is to implement the largest number of functions as possible with the smallest number of nodes and layers. This paper presents a CoreNet which has a multi-leveled input value and a multi-leveled output value with a 2-layered ANNet, which is the basic structure of an ANNet. I have suggested an equation for calculating the capacity of the CoreNet, which has a p-leveled input and a q-leveled output, as $a_{p,q}={\frac{1}{2}}p(p-1)q^2-{\frac{1}{2}}(p-2)(3p-1)q+(p-1)(p-2)$. I've applied this CoreNet into the simulation model 1(5)-1(6), which has 5 levels of an input and 6 levels of an output with no hidden layers. The simulation result of this model gives, the maximum 219 convergences for the number of implementable functions using the cot(${\sqrt{x}}$) input leveling method. I have also shown that, the 27 functions are implementable by the calculation of weight values(w, ${\theta}$) with the multi-threshold lines in the weight space, which are diverged in the simulation results. Therefore the 246 functions are implementable in the 1(5)-1(6) model, and this coincides with the value from the above eqution $a_{5,6}(=246)$. I also show the implementable function numbering method in the weight space.