Verification of Various Numerical Methods Using Hardware Implementation

被引:0
|
作者
Mehta, Sandip [1 ]
Trivedi, Tej [1 ]
机构
[1] Nirma Univ, Dept Elect Engn Instrumentat & Control Engn, Inst Technol, Ahmadabad, Gujarat, India
关键词
Numerical Methods; LabVIEW; C-RIO;
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
Numerical analysis is the study of algorithms that use numerical approximation for the problems of mathematical analysis and control system. These Numerical Algorithms are dedicated to applying its unique expertise in numerical software engineering to delivering high quality computational software and high performance computing services. In this paper different numerical techniques for ordinary differential equations are simulated for different system models. The system will be modeled using differential equations. The differential equations will be solved using available numerical methods. The comparative analysis will be carried out for different numerical methods using advanced software tools. The hardware implementation of the numerical methods will be done using real time embedded system/hardware.
引用
收藏
页码:542 / 547
页数:6
相关论文
共 50 条
  • [1] A hardware implementation of speaker verification using support vector machine
    Chung, YW
    Hwang, BH
    Choi, WY
    Moon, DS
    Pan, SB
    Chung, SH
    [J]. SAM '04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SECURITY AND MANAGEMENT, 2004, : 353 - 358
  • [2] Implementation of a Hardware Functional Verification System using SystemC Infrastructure
    You, Myoung-Keun
    Oh, Yong-Jin
    Song, Gi-Yong
    [J]. TENCON 2009 - 2009 IEEE REGION 10 CONFERENCE, VOLS 1-4, 2009, : 2420 - 2424
  • [3] Hardware Implementation of ADABOOST ALGORITHM and Verification
    Shi, Yuehua
    Zhao, Feng
    Zhang, Zhong
    [J]. 2008 22ND INTERNATIONAL WORKSHOPS ON ADVANCED INFORMATION NETWORKING AND APPLICATIONS, VOLS 1-3, 2008, : 343 - 346
  • [4] A HARDWARE IMPLEMENTATION OF THE CSP PRIMITIVES AND ITS VERIFICATION
    RON, D
    ROSEMBERG, F
    PNUELI, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 172 : 423 - 435
  • [5] Verification of transient RIC in polyethylene using numerical methods
    Hodyr, K
    Wysocki, S
    [J]. IEEE TRANSACTIONS ON DIELECTRICS AND ELECTRICAL INSULATION, 2000, 7 (02) : 193 - 196
  • [6] SAT-based verification methods and applications in hardware verification
    Gupta, Aarti
    Ganai, Malay K.
    Wang, Chao
    [J]. FORMAL METHODS FOR HARDWARE VERIFICATION, 2006, 3965 : 108 - 143
  • [7] Hardware/Software Formal Co-Verification using Hardware Verification Techniques
    Nguyen, Minh D.
    Kunz, Wolfgang
    [J]. 2012 FOURTH INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND ELECTRONICS (ICCE), 2012, : 465 - 470
  • [8] A Process for the Detection of Design-Level Hardware Trojans Using Verification Methods
    Krieg, Christian
    Rathmair, Michael
    Schupfer, Florian
    [J]. 2014 IEEE INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS, 2014 IEEE 6TH INTL SYMP ON CYBERSPACE SAFETY AND SECURITY, 2014 IEEE 11TH INTL CONF ON EMBEDDED SOFTWARE AND SYST (HPCC,CSS,ICESS), 2014, : 729 - 734
  • [9] Algorithms for logical control: Their description, verification and hardware implementation
    Zakrevskij, AD
    Zakrevski, L
    [J]. PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, : 712 - 718
  • [10] Semantics Driven Hardware Design, Implementation, and Verification with ReWire
    Procter, Adam
    Harrison, William L.
    Graves, Ian
    Becchi, Michela
    Allwein, Gerard
    [J]. ACM SIGPLAN NOTICES, 2015, 50 (05)