(11) 98705-3426
TrademarkIQ iconTrademarkIQ
Back to search
Official data from INPI

MÉTODO E SISTEMA PARA GERAR UM CÓDIGO DE SOFTWARE UTILIZANDO UM TRADUTOR DE LINGUAGEM SIMBÓLICO

Arquivada/ExtintaInvention PatentPCT · US2000028237

Application data

Number

PI0014862

Type

Invention Patent

Filing

10/12/2000

Publication

07/29/2003

PCT

US2000028237

Progress at the INPI

  1. Filing10/12/00
  2. Publication07/29/03
  3. Abandoned
  4. Allowance
  5. Grant
  6. In force

The application was abandoned for failure to pay the annuities (art. 86 of the Brazilian IP Act). The technology is in the public domain in Brazil.

Talk to a specialist

Latest action published by the INPI: 12/13/2011. We update with every new RPI gazette, published weekly.

Applicants and inventors

Applicants

Object Reservoir, INC.

US

Inventors

D. W. (pessoa física)

US

L. D. (pessoa física)

US

Technical data

IPC Classification

Priority claims

US

09/419,717 · 10/14/1999

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.

Prosecution history

Publications in the Brazilian Industrial Property Gazette (RPI).

Arquivamento definitivo por descumprimento

#8.11

Referente ao despacho 8.6 publicado na RPI 1929 de 26/12/2007.

12/13/2011

RPI 2136

Arquivamento por falta de pagamento

#8.6

Referente a 5ª, 6ª, e 7ª anuidades.

12/26/2007

RPI 1929

Notificação de entrada na fase nacional - PCT

#1.3

07/29/2003

RPI 1699

Patent monitoring

Track this patent in real time.

Receive alerts on INPI events, decisions, and expiry dates for your portfolio.