[go: up one dir, main page]

Falcone et al., 2021 - Google Patents

A Simulink-based software solution using the Infinity Computer methodology for higher order differentiation

Falcone et al., 2021

Document ID
13100402858601691412
Author
Falcone A
Garro A
Mukhametzhanov M
Sergeyev Y
Publication year
Publication venue
Applied Mathematics and Computation

External Links

Snippet

This paper is dedicated to numerical computation of higher order derivatives in Simulink. In this paper, a new module has been implemented to achieve this purpose within the Simulink- based Infinity Computer solution, recently introduced by the authors. This module offers …
Continue reading at www.sciencedirect.com (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/10—Complex mathematical operations
    • G06F17/11—Complex mathematical operations for solving equations, e.g. nonlinear equations, general mathematical optimization problems
    • G06F17/13—Differential equations
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G06F17/5018—Computer-aided design using simulation using finite difference methods or finite element methods
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5045—Circuit design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G06F8/41—Compilation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F19/00—Digital computing or data processing equipment or methods, specially adapted for specific applications
    • G06F19/10—Bioinformatics, i.e. methods or systems for genetic or protein-related data processing in computational molecular biology
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F19/00—Digital computing or data processing equipment or methods, specially adapted for specific applications
    • G06F19/70—Chemoinformatics, i.e. data processing methods or systems for the retrieval, analysis, visualisation, or storage of physicochemical or structural data of chemical compounds
    • G06F19/708—Chemoinformatics, i.e. data processing methods or systems for the retrieval, analysis, visualisation, or storage of physicochemical or structural data of chemical compounds for data visualisation, e.g. molecular structure representations, graphics generation, display of maps or networks or other visual representations
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F7/00—Methods or arrangements for processing data by operating upon the order or content of the data handled
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F2217/00—Indexing scheme relating to computer aided design [CAD]
    • G06F2217/46—Fuselage
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B17/00—Systems involving the use of models or simulators of said systems
    • G05B17/02—Systems involving the use of models or simulators of said systems electric
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass

Similar Documents

Publication Publication Date Title
Falcone et al. A Simulink-based software solution using the Infinity Computer methodology for higher order differentiation
Andersson et al. CasADi: a software framework for nonlinear optimization and optimal control
David et al. Uppaal SMC tutorial
Antoniotti et al. Model building and model checking for biochemical processes
Alowayyed et al. Multiscale computing in the exascale era
Falcone et al. Representation of grossone-based arithmetic in simulink for scientific computing
JP4988811B2 (en) Modeling system processing system, method and program
Falcone et al. A simulink-based infinity computer simulator and some applications
Hennig et al. Advanced automatic code generation for multiple relaxation-time lattice Boltzmann methods
Alam et al. An efficient iterative procedure in hyperbolic space and application to non-linear delay integral equation
Giavitto et al. Topological rewriting and the geometrization of programming
Neofytou et al. Level set topology optimization with sparse automatic differentiation
Feldt Birth of Spacetime: The Feldt-Higgs Universal Bridge (F-HUB) Theory, Part One-A Universal Informational Framework for Mass, Gravity and Entropy
CN117610168B (en) System model construction method and modeling simulation system based on JSON
Tsoutsouras et al. The laplace microarchitecture for tracking data uncertainty
Afendi et al. Modelling hybrid programs with Event-B
Yang et al. Computer-aided multiscale model derivation for MEMS arrays
Hori Modeling and analysis of stochastic reaction kinetics in biomolecular systems
Van Dang et al. Algebraic Semantics of Register Transfer Level in Synthesis of Stream Calculus-Based Computing Big Data in Livestream
Naziri Scalable structural analysis through automated APDL scripting and Python integration
Jagtap et al. Clustering and parallel processing on gpu to accelerate circuit transient analysis
Wasaki Hardware Logic Library and High-Level Logic Synthesizer Combining LOTOS and a Functional Programming Language
Kwiatkowska et al. Quantitative verification techniques for biological processes
Wollbold et al. Constructing a knowledge base for gene regulatory dynamics by formal concept analysis methods
HUVAR Symbolic Model Checking of Hybrid CTL