• Title/Summary/Keyword: simulation correctness

Search Result 144, Processing Time 0.019 seconds

Desing of BSB Neural Networks Using Evolution Propram (진화프로그램을 이용한 BSB 신경망 설계)

  • Cho, Hyuk;Park, Joo-Young;Park, Dai-Hee
    • Proceedings of the Korean Institute of Intelligent Systems Conference
    • /
    • 1996.10a
    • /
    • pp.267-270
    • /
    • 1996
  • In this paper, we present a new design method to implement autoassociative memories based on BSB neural networks. With a concrete mathematical model proposed after analyzing some new qualitative properties of autoassociative memories, we reinterpret design of autoassociative memories as a constrained optimization problem and use an evolution program as an optimal search tool to solve this. The proposed method satisfies many of the criteria used to evaluate the effectivencess of a given associative memory and has improvements with respect to correctness and performance. Comparing simulation results with other methods, we demonstrate the effectiveness of the proposed method.

  • PDF

Modeling and testing for hydraulic shock regarding a valve-less electro-hydraulic servo steering device for ships

  • Jian, Liao;Lin, He;Rongwu, Xu
    • International Journal of Fluid Machinery and Systems
    • /
    • v.8 no.4
    • /
    • pp.318-326
    • /
    • 2015
  • A valve-less electro-hydraulic servo steering device (short: VSSD) for ships was chosen as a study object, and its mathematic model of hydraulic shock was established on the basis of flow properties and force balance of each component. The influence of system structure parameters, changing rate of motor speed and external load on hydraulic shock strength was simulated by the method of numerical simulation. Experiment was designed to test the hydraulic shock mathematic model of VSSD. Experiment results verified the correctness of the model, and the model provided a correct theoretical method for the calculation and control of hydraulic shock of valve-less electro-hydraulic servo steering device.

Generation of Control Signals in High-Level Synthesis from SDL Specification

  • Kwak, Sang-Hoon;Kim, Eui-Seok;Lee, Dong-IK;Baek, Young-Seok;Park, In-Hak
    • Proceedings of the IEEK Conference
    • /
    • 2000.07a
    • /
    • pp.410-413
    • /
    • 2000
  • This paper suggests a methodology in which control signals for high-level synthesis are generated from SDL specification. SDL is based on EFSM(Extended Finite State Machine) model. Data path and control part are partitioned into representing data operations in the from of scheduled data flow graph and process behavior of an SDL code in forms of an abstract FSM. Resource allocation is performed based on the suggested architecture model and local control signals to drive allocated functional blocks are incorporated into an abstract FSM extracted from an SDL process specification. Data path and global controller acquired through suggested methodology are combined into structural VHDL representation and correctness of behavior for final circuit is verified through waveform simulation.

  • PDF

Distance Influence on Performance of Cooperative Communication Schemes in Wireless Networks (협력 통신의 거리에 따른 성능 영향 분석)

  • Xuyen, Tran Thi;Kong, Hyung-Yun
    • The Journal of the Institute of Internet, Broadcasting and Communication
    • /
    • v.10 no.3
    • /
    • pp.121-129
    • /
    • 2010
  • In this paper, we analyze effects of positions of relays on the performance of cooperative communication networks. From this, the best relays are chosen to assist transmitting the signal to the destination or to replace the source to retransmit the signal to the destination whenever the destination incorrectly receives the signal from the source. As the results, we show the significant improvement on performance of schemes choosing best relays, which is compared to the performance of other cooperative schemes. Moreover, the simulation results that match exactly with the theoretical results prove the correctness of the analysis.

Modeling of Forward Collision Warning and Avoidance System (전방 충돌경보 및 회피시스템 모델링)

  • 오병근;조남효
    • Journal of the Korea Institute of Military Science and Technology
    • /
    • v.3 no.2
    • /
    • pp.156-165
    • /
    • 2000
  • This paper describes modeling and simulation of automotive forward collision warning and avoidance system using CASE(Computer-Aided Systems Engineering) tool. The system is composed or many sensors, a controller, warning devices, brakes and etc. The system was modeled by one activity chart, fourteen state charts and one module chart. Rear-end collision scenarios was generated by Simulink and used to support Stalemate model. The resulting model was used to evaluate the correctness of function and behavior of the system. A simulator for the system has been designed and used to validate the model under realistic operating conditions in the laboratory. To model and simulate the system's functionality and behavior brings clarity to system design early in the system development.

  • PDF

Investigating Buck DC-DC Converter Operation in Different Operational Modes and Obtaining the Minimum Output Voltage Ripple Considering Filter Size

  • Babaei, Ebrahim;Mahmoodieh, Mir Esmaeel Seyed;Sabah, Mehran
    • Journal of Power Electronics
    • /
    • v.11 no.6
    • /
    • pp.793-800
    • /
    • 2011
  • This paper investigates the operational modes of buck dc-dc converters and their energy transmission methods. The operational modes of such converters are classified in two types, discontinuous conduction mode (DCM) and continuous conduction mode (CCM). In this paper, the critical inductance relation of DCM and CCM is determined. The equations of the output voltage ripple (OVR) for each mode are obtained for a specific input voltage and load resistance range. The maximum output voltage ripple (MOVR) is also obtained for each mode. The filter size is decreased and the minimum required inductance value is calculated to guarantee the minimization of the MOVR. The experimental and simulation results in PSCAD/EMTDC prove the correctness of the presented theoretical concepts.

Moment method analysis of the moreno directional coupler (모멘트법을 이용한 moreno 방향성 결합기 해석)

  • 박면주;전대인;안병철;남상욱
    • The Journal of Korean Institute of Communications and Information Sciences
    • /
    • v.21 no.7
    • /
    • pp.1842-1849
    • /
    • 1996
  • This paper presents a full-wave, moment method analysis of a Moreno directional coupler with tow crossed-slots between two crossed rectangular waveguides. the overall structure is divided into several rectangular waveguides and cavities by the use of the equivalence principle to the complex slot regions. this enables a simple and efficient analysis involving the well-known retangular waveguide/cavity Green's functions. For a numerically efficient simulation, the roof-top basis expansion and line testing is used and an acceleration technique is applied to the series summation in the Green's functions. The numerical results are compared with the measurements to verify the correctness of the present analysis.

  • PDF

Narrowband Signal Localization Based on Enhanced LAD Method

  • Jia, Ke Xin;He, Zi Shu
    • Journal of Communications and Networks
    • /
    • v.13 no.1
    • /
    • pp.6-11
    • /
    • 2011
  • In this paper, an enhanced localization algorithm based on double thresholds (LAD) is proposed for localizing narrowband signals in the frequency domain. A simplified LAD method is first studied to reduce the computational complexity of the original LAD method without performance loss. The upper and lower thresholds of the simplified LAD method are directly calculated by running the forward consecutive mean excision algorithm only once. By combining the simplified LAD method and binary morphological operators, the enhanced LAD method is then proposed and its performance is simply discussed. The simulation results verify the correctness of discussion and show that the enhanced LAD method is superior to the LAD with adjacent cluster combining method, especially at low signal-to-noise ratio.

Reliability analysis of shallow tunnel with surface settlement

  • Yang, X.L.;Li, W.T.
    • Geomechanics and Engineering
    • /
    • v.12 no.2
    • /
    • pp.313-326
    • /
    • 2017
  • Based on the reliability theory and limit analysis method, the roof stability of a shallow tunnel is investigated under the condition of surface settlement. Nonlinear Hoek-Brown failure criterion is adopted in the present analysis. With the consideration of surface settlement, the internal energy and external work are calculated. Equating the rate of energy dissipation to the external rate of work, the expression of support pressure is derived. With the help of variational approach, a performance function is proposed to reliability analysis. Improved response surface method is used to calculate the Hasofer-Lind reliability index and the failure probability. In order to assess the validity of the present results, Monte-Carlo simulation is performed to examine the correctness. Sensitivity analysis is used to estimate the influence of different variables on reliability index. Among random variables, the unit weight significantly affects the reliability index. It is found that the greater coefficient of variation of variables lead to the higher failure probability. On the basis of the discussions, the reliability-based design is achieved to calculate the required tunnel support pressure under different situations when the target reliability index is obtained.

Analytical Models of Instruction Fetch on Superscalar Processors

  • Kim, Sun-Mo;Jung, Jin-Ha;Park, Sang-Bang
    • Proceedings of the IEEK Conference
    • /
    • 2000.07b
    • /
    • pp.619-622
    • /
    • 2000
  • This research presents an analytical model to predict the instruction fetch rate on superscalar Processors. The proposed model is also able to analyze the performance relationship between cache miss and branch prediction miss. The proposed model takes into account various kind of architectural parameters such as branch instruction probability, cache miss rate, branch prediction miss rate, and etc.. To prove the correctness of the proposed model, we performed extensive simulations and compared the results with those of the analytical models. Simulation results showed that the pro-posed model can estimate the instruction fetch rate accurately within 10% error in most cases. The model is also able to show the effects of the cache miss and branch prediction miss on the performance of instruction fetch rate, which can provide an valuable information in designing a balanced system.

  • PDF