BR0014862A - Método e sistema para gerar um código de software utilizando um tradutor de linguagem simbólico - Google Patents

Método e sistema para gerar um código de software utilizando um tradutor de linguagem simbólico

Info

Publication number
BR0014862A
BR0014862A BR0014862-8A BR0014862A BR0014862A BR 0014862 A BR0014862 A BR 0014862A BR 0014862 A BR0014862 A BR 0014862A BR 0014862 A BR0014862 A BR 0014862A
Authority
BR
Brazil
Prior art keywords
generating
symbolic
language translator
code
symbolic language
Prior art date
Application number
BR0014862-8A
Other languages
English (en)
Inventor
Lester W Dye
David B Wagner
Original Assignee
Object Reservoir Inc
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Object Reservoir Inc filed Critical Object Reservoir Inc
Publication of BR0014862A publication Critical patent/BR0014862A/pt

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • Debugging And Monitoring (AREA)
  • Complex Calculations (AREA)
  • Devices For Executing Special Programs (AREA)

Abstract

"MéTODO E SISTEMA PARA GERAR UM CóDIGO DE SOFTWARE UTILIZANDO UM TRADUTOR DE LINGUAGEM SIMBóLICO". Um método e sistema aperfeiçoados são descritos para criar em um computador um arquivo de código de operadores nativos e de teste para um simulador de elementos finitos para modelar um fluxo de fluido em um meio poroso. O método da presente invenção inclui as etapas de introduzir em uma tradutor de linguagem simbólico as equações e os parâmetros que descrevem o modelo a ser criado pelo simulador e gerar um ou mais objetos de modelo das equações e dos parâmetros. O método da presente invenção ainda inclui as etapas de gerar uma representação simbólica dos operadores de matriz residual e tangente dos objetos de modelo e gerar as regras de otimização para quaisquer quantidades de invariáveis geométricas. O código de núcleo numérico e o código de núcleo de inicialização de estrutura de dados são gerados para o simulador em uma linguagem de programação de alto nível da linguagem do tradutor de linguagem simbólico. O código de núcleo numérico é formatado e otimizado. A presente invenção gera o arquivo de código de operadores nativos e de teste pelo processamento do arquivo de derivação através do tradutor de linguagem simbólico.
BR0014862-8A 1999-10-14 2000-10-12 Método e sistema para gerar um código de software utilizando um tradutor de linguagem simbólico BR0014862A (pt)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US09/419,717 US6633837B1 (en) 1999-10-14 1999-10-14 Method and system for generating software code using a symbolic language translator
PCT/US2000/028237 WO2001027750A2 (en) 1999-10-14 2000-10-12 Method and system for generating software code using a symbolic language translator

Publications (1)

Publication Number Publication Date
BR0014862A true BR0014862A (pt) 2003-07-29

Family

ID=23663452

Family Applications (1)

Application Number Title Priority Date Filing Date
BR0014862-8A BR0014862A (pt) 1999-10-14 2000-10-12 Método e sistema para gerar um código de software utilizando um tradutor de linguagem simbólico

Country Status (11)

Country Link
US (1) US6633837B1 (pt)
EP (1) EP1230593A2 (pt)
JP (1) JP2003524227A (pt)
CN (1) CN1172238C (pt)
AU (1) AU8016300A (pt)
BR (1) BR0014862A (pt)
CA (1) CA2386187A1 (pt)
EA (1) EA004383B1 (pt)
MX (1) MXPA02003699A (pt)
NO (1) NO20021733L (pt)
WO (1) WO2001027750A2 (pt)

Families Citing this family (25)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN1386200A (zh) * 2000-06-29 2002-12-18 目标储油层公司 有限元模型中的特征建模方法
US7369973B2 (en) * 2000-06-29 2008-05-06 Object Reservoir, Inc. Method and system for representing reservoir systems
US7319945B1 (en) * 2000-11-10 2008-01-15 California Institute Of Technology Automated methods for simulating a biological network
US6895574B2 (en) * 2001-06-28 2005-05-17 Sun Microsystems, Inc. Method and apparatus for automatically producing efficient code for computing derivatives
US7219352B2 (en) * 2002-04-15 2007-05-15 Microsoft Corporation Methods and apparatuses for facilitating processing of interlaced video images for progressive video displays
US7302677B2 (en) * 2003-05-08 2007-11-27 Microsoft Corporation Event driven graph explorer for model-based testing of software
EP1759226A1 (en) 2004-06-07 2007-03-07 ExxonMobil Upstream Research Company Method for solving implicit reservoir simulation matrix equation
US20080086432A1 (en) * 2006-07-12 2008-04-10 Schmidtler Mauritius A R Data classification methods using machine learning techniques
US20090150124A1 (en) * 2007-12-07 2009-06-11 Schlumberger Technology Corporation Model based workflow for interpreting deep-reading electromagnetic data
WO2009075945A1 (en) 2007-12-13 2009-06-18 Exxonmobil Upstream Research Company Parallel adaptive data partitioning on a reservoir simulation using an unstructured grid
US20120109604A1 (en) * 2009-07-01 2012-05-03 Halliburton Energy Services, Inc. Estimating Mineral Content Using Geochemical Data
US20150142399A1 (en) * 2010-11-17 2015-05-21 Toyota Motor Engineering & Manufacturing North America, Inc. Exact parameter space reduction
FR2969207B1 (fr) * 2010-12-15 2021-05-07 Ifp Energies Now Methode de recuperation assistee d'hydrocarbures comprenant l'optimisation de l'injection d'une solution aqueuse de conditionnement
CN102063555B (zh) * 2011-01-26 2012-08-15 河海大学 基于网格结构的有限元数值模型查错方法
US9146652B1 (en) * 2011-08-31 2015-09-29 Comsol Ab System and method for creating user interfaces in a multiphysics modeling system
US9922453B1 (en) * 2013-05-03 2018-03-20 Msc.Software Corporation Shrink wrap generation systems and methods
CN104298497A (zh) * 2014-04-04 2015-01-21 沈阳化工大学 大规模非线性动态优化算法代码生成系统
US20160061974A1 (en) * 2014-09-02 2016-03-03 Reeshidev Bansal Full-Wavefield Inversion Using Mirror Source-Receiver Geometry
US20170228225A1 (en) * 2016-02-05 2017-08-10 Honeywell International, Inc. System and method for preserving value and extending life of legacy software in face of processor unavailability, rising processor costs, or other issues
US10387210B2 (en) * 2016-04-04 2019-08-20 International Business Machines Corporation Resource schedule optimization
CN108304166A (zh) * 2018-01-18 2018-07-20 北京航空航天大学 一种人工智能程序员根据公式描述书写源程序的方法
US20210174233A1 (en) * 2019-12-05 2021-06-10 Fujitsu Limited Graph equation modeling for mathematical equation decomposition and automated code generation
CN111309302B (zh) * 2020-02-06 2023-04-18 杭州电子科技大学 一种基于LaTeX的四则运算与三角函数混合运算公式转换Verilog代码的方法
CN113051725B (zh) * 2021-03-12 2022-09-09 哈尔滨工程大学 基于通用型辅助变量法的det与relap5耦合的动态特性分析方法
CN115756416B (zh) * 2022-10-18 2023-06-02 元计算（天津）科技发展有限公司 物理机理求解器计算单元的程序生成方法及装置

Family Cites Families (23)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5099413A (en) 1987-12-12 1992-03-24 Sadashiro Sakai System which reads type and position of task element marks on a matrix of program tasks for automatically generating programs
US5103421A (en) 1988-11-29 1992-04-07 Massachusetts Institute Of Technology Process and apparatus for designing a system made of components
IE69192B1 (en) * 1990-12-21 1996-08-21 Hitachi Europ Ltd A method of generating partial differential equations for simulation a simulation method and a method of generating simulation programs
US5289567A (en) 1991-04-01 1994-02-22 Digital Equipment Corporation Computer apparatus and method for finite element identification in interactive modeling
US5557773A (en) * 1991-06-12 1996-09-17 Wang; Cheh C. Computational automation for global objectives
JPH0778742B2 (ja) * 1992-08-12 1995-08-23 インターナショナル・ビジネス・マシーンズ・コーポレイション コンピユータ・プログラム言語変換装置及びその方法
US5442569A (en) * 1993-06-23 1995-08-15 Oceanautes Inc. Method and apparatus for system characterization and analysis using finite element methods
US5537641A (en) * 1993-11-24 1996-07-16 University Of Central Florida 3D realtime fluid animation by Navier-Stokes equations
US5526475A (en) * 1994-03-02 1996-06-11 Mathsoft, Inc. Method for live symbolic calculations in a mathematical document editor
US5784553A (en) * 1996-01-16 1998-07-21 Parasoft Corporation Method and system for generating a computer program test suite using dynamic symbolic execution of JAVA programs
US5675147A (en) * 1996-01-22 1997-10-07 Schlumberger Technology Corporation System and method of petrophysical formation evaluation in heterogeneous formations
US5668374A (en) * 1996-05-07 1997-09-16 Core Laboratories N.V. Method for stabilizing near-infrared models and determining their applicability
US6272556B1 (en) * 1996-07-01 2001-08-07 Sun Microsystems, Inc. Object-oriented system, method and article of manufacture for migrating a client-server application (#5)
US6018497A (en) * 1997-02-27 2000-01-25 Geoquest Method and apparatus for generating more accurate earth formation grid cell property information for use by a simulator to display more accurate simulation results of the formation near a wellbore
US5813798A (en) * 1997-03-28 1998-09-29 Whiffen; Greg Piecewise continuous control of groundwater remediation
GB9707550D0 (en) * 1997-04-15 1997-06-04 British Telecomm Design of computer networks
US6106561A (en) * 1997-06-23 2000-08-22 Schlumberger Technology Corporation Simulation gridding method and apparatus including a structured areal gridder adapted for use by a reservoir simulator
US6167155A (en) * 1997-07-28 2000-12-26 Physical Optics Corporation Method of isomorphic singular manifold projection and still/video imagery compression
US5796678A (en) * 1997-08-11 1998-08-18 Trans Seismic International, Inc. Method for determining the presence of fluids in a subterranean formation
US6236738B1 (en) * 1998-04-09 2001-05-22 Board Of Trustees Of The Leland Stanford Junior University Spatiotemporal finite element method for motion analysis with velocity data
US6271856B1 (en) * 1998-11-19 2001-08-07 Paraform, Inc. Creating and modifying parameterizations of surfaces
US6256038B1 (en) * 1998-12-10 2001-07-03 The Board Of Trustees Of The Leland Stanford Junior University Parameterized surface fitting technique having independent control of fitting and parameterization
US6353801B1 (en) * 1999-04-09 2002-03-05 Agilent Technologies, Inc. Multi-resolution adaptive solution refinement technique for a method of moments-based electromagnetic simulator

Also Published As

Publication number Publication date
JP2003524227A (ja) 2003-08-12
AU8016300A (en) 2001-04-23
WO2001027750A2 (en) 2001-04-19
NO20021733D0 (no) 2002-04-12
CA2386187A1 (en) 2001-04-19
EP1230593A2 (en) 2002-08-14
EA004383B1 (ru) 2004-04-29
MXPA02003699A (es) 2005-06-30
US6633837B1 (en) 2003-10-14
WO2001027750A3 (en) 2002-06-13
NO20021733L (no) 2002-06-12
CN1172238C (zh) 2004-10-20
EA200200433A1 (ru) 2003-02-27
CN1421004A (zh) 2003-05-28

Similar Documents

Publication Publication Date Title
BR0014862A (pt) Método e sistema para gerar um código de software utilizando um tradutor de linguagem simbólico
US6802056B1 (en) Translation and transformation of heterogeneous programs
KR910008600A (ko) 관계 데이타베이스 시스템 및 그 억세스 방법과 억세스 플랜 발생방법
EA200200658A1 (ru) Способ и система для создания персонализированных наборов результатов
CN108874396A (zh) 基于hlsl的多平台多目标语言的交叉编译器及编译方法
BR0109145A (pt) Sistema de engenharia de conjunto eletrônico que emprega funções de denominação e manipulação para estruturas de dados definidas por usuário em um sistema de dados, usando um serviço de transação
BRPI0415135A (pt) equipamento para desenvolvimento em uma interface diagnóstica baseada em modelo para um sistema
蔡睿贤 et al. Unsteady one-dimensional analytical solutions for bioheat transfer equations
BR9406910A (pt) Método de obter acesso de dados aos dados de uma base de dados baseada em memória primária
Hwang et al. DisIRer: Converting a retargetable compiler into a multiplatform binary translator
Juričić Detecting source code similarity using low-level languages
EP0371944A3 (en) Computer system and method for translating a program
Pedersen et al. ASHRAE toolkit for building load calculations/Discussion
KR920003456B1 (ko) 관련 데이타베이스 시스템 및 그 시스템내 칼럼 데이타 처리방법
Fuan et al. Design and implementation techniques of the 8086 C decompiling system
Rosenberg et al. The Charrette Ada Compiler
Wilson Pascal for school and hobby use
Eckerland SimTran 1. 0: A General Translator for Simulation Models Written in SIMNON to ACSL or C++(SimTran 1. 0: En Generell Oeversaettare foer Simuleringsmodeller Skrivna i SIMNON till ACSL eller C++)
Correia et al. Combining processing with racket
Brown SUPERMAC—A macro facility that can be added to existing compilers
Beebe A Bibliography of Publications by, and about, Niklaus Wirth
이성호 et al. A Dynamic Approach to Extract the Original Semantics and Structure of VM-based Obfuscated Binary Executables
Juras et al. Machine independent simulation modeling
Wilcox The MAINSAIL Project: Developing Tools for Software Portability
Murali et al. An integrated framework for quality scientific software development

Legal Events

Date Code Title Description
B08F Application fees: application dismissed [chapter 8.6 patent gazette]

Free format text: REFERENTE A 5A, 6A, E 7A ANUIDADES.

B08K Patent lapsed as no evidence of payment of the annual fee has been furnished to inpi [chapter 8.11 patent gazette]

Free format text: REFERENTE AO DESPACHO 8.6 PUBLICADO NA RPI 1929 DE 26/12/2007.