[go: up one dir, main page]

BR8507200A - Processo para a preparacao de um programa de computador para avaliacao de expressoes booleanas e similares e computador para avaliacao dos degraus em uma estrutura de escada - Google Patents

Processo para a preparacao de um programa de computador para avaliacao de expressoes booleanas e similares e computador para avaliacao dos degraus em uma estrutura de escada

Info

Publication number
BR8507200A
BR8507200A BR8507200A BR8507200A BR8507200A BR 8507200 A BR8507200 A BR 8507200A BR 8507200 A BR8507200 A BR 8507200A BR 8507200 A BR8507200 A BR 8507200A BR 8507200 A BR8507200 A BR 8507200A
Authority
BR
Brazil
Prior art keywords
assessment
computer
boolean
expresses
preparation
Prior art date
Application number
BR8507200A
Other languages
English (en)
Inventor
Dirk I Gates
David B Rosen
Gary A Jones
Original Assignee
Pertron Controls Corp
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 Pertron Controls Corp filed Critical Pertron Controls Corp
Publication of BR8507200A publication Critical patent/BR8507200A/pt

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G—PHYSICS
    • G06—COMPUTING OR CALCULATING; COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformation of program code
    • G06F8/41—Compilation
    • G06F8/44—Encoding
    • G06F8/447—Target code generation
    • 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
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • G05B19/05—Programmable logic controllers, e.g. simulating logic interconnections of signals according to ladder diagrams or function charts
    • G05B19/056—Programming the PLC

Landscapes

  • Engineering & Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Software Systems (AREA)
  • Automation & Control Theory (AREA)
  • Devices For Executing Special Programs (AREA)
  • Programmable Controllers (AREA)
  • Debugging And Monitoring (AREA)
BR8507200A 1985-04-19 1985-11-08 Processo para a preparacao de um programa de computador para avaliacao de expressoes booleanas e similares e computador para avaliacao dos degraus em uma estrutura de escada BR8507200A (pt)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US06/725,084 US4722071A (en) 1985-04-19 1985-04-19 Compiler for evaluating Boolean expressions
PCT/US1985/002226 WO1986006518A1 (en) 1985-04-19 1985-11-08 Method for preparing a computer program for evaluating boolean and like expressions and computer for evaluating the rungs in a ladder structure

Publications (1)

Publication Number Publication Date
BR8507200A true BR8507200A (pt) 1987-08-04

Family

ID=24913098

Family Applications (1)

Application Number Title Priority Date Filing Date
BR8507200A BR8507200A (pt) 1985-04-19 1985-11-08 Processo para a preparacao de um programa de computador para avaliacao de expressoes booleanas e similares e computador para avaliacao dos degraus em uma estrutura de escada

Country Status (7)

Country Link
US (1) US4722071A (pt)
EP (1) EP0222773A4 (pt)
JP (1) JPS62502997A (pt)
KR (1) KR880700352A (pt)
AU (1) AU590532B2 (pt)
BR (1) BR8507200A (pt)
WO (1) WO1986006518A1 (pt)

Families Citing this family (26)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4782444A (en) * 1985-12-17 1988-11-01 International Business Machine Corporation Compilation using two-colored pebbling register allocation method such that spill code amount is invariant with basic block's textual ordering
JPS62159274A (ja) * 1986-01-08 1987-07-15 Hitachi Ltd 条件分岐の分割・複写によるベクトル化方式
US5133072A (en) * 1986-11-13 1992-07-21 Hewlett-Packard Company Method for improved code generation in reduced instruction set computers
US5005152A (en) * 1989-04-05 1991-04-02 Allen-Bradley Company Industrial controller with decompilable user program
US5371851A (en) * 1989-04-26 1994-12-06 Credence Systems Corporation Graphical data base editor
SE467076B (sv) * 1989-06-16 1992-05-18 Gunnar Martin Natanael Staalma Saett och anordning foer teorembevisning
US5193191A (en) * 1989-06-30 1993-03-09 Digital Equipment Corporation Incremental linking in source-code development system
DE3924418A1 (de) * 1989-07-24 1991-01-31 Meyer Udo Aquaconsult Gmbh Verfahren zur leistungsteigerung speicherprogrammierbarer steuerungen (sps)
GB8929158D0 (en) * 1989-12-23 1990-02-28 Int Computers Ltd Database system
WO1992016905A1 (en) * 1991-03-18 1992-10-01 Echelon Corporation Programming language structures for use in a network for communicating, sensing and controlling information
US6493739B1 (en) 1993-08-24 2002-12-10 Echelon Corporation Task scheduling in an event driven environment
DE4320263A1 (de) * 1993-06-18 1994-12-22 Gsf Forschungszentrum Umwelt Datenverarbeitungsmaschine
DE4430195B4 (de) * 1993-12-13 2004-09-23 Hewlett-Packard Co. (N.D.Ges.D.Staates Delaware), Palo Alto Verfahren zur Auswertung von Booleschen Ausdrücken
US6397380B1 (en) 1994-10-21 2002-05-28 International Business Machines Corporation Computer-program compilers comprising a program augmentation capability
US5623401A (en) * 1995-08-16 1997-04-22 Allen-Bradley Company, Inc. Industrial controller with optimized execution of relay ladder logic programs
US5761515A (en) * 1996-03-14 1998-06-02 International Business Machines Corporation Branch on cache hit/miss for compiler-assisted miss delay tolerance
JP4092750B2 (ja) * 1997-09-24 2008-05-28 新日鉄ソリューションズ株式会社 冗長コード検査装置
US6714902B1 (en) * 2000-03-02 2004-03-30 Cadence Design Systems, Inc. Method and apparatus for critical and false path verification
JP2002099312A (ja) * 2000-09-22 2002-04-05 Mitsubishi Electric Corp プログラマブルコントローラおよび制御プログラム開発支援装置
US7406592B1 (en) * 2004-09-23 2008-07-29 American Megatrends, Inc. Method, system, and apparatus for efficient evaluation of boolean expressions
EP1640827B1 (de) * 2004-09-28 2008-11-05 Siemens Aktiengesellschaft Verfahren und Vorrichtung zur Abbildung von Elementen eines in graphischer Programmiersprache vorliegenden Steuerungsprogramms in eine Abbildungsreihenfolge mittels eines Flutungsalgorithmus (Bereichswachstumsverfahren)
EP1795999A1 (de) * 2005-12-09 2007-06-13 Siemens Aktiengesellschaft Verfahren und System zur Transformation von Elementen eines in einer Kontaktplandarstellung vorliegenden Steuerungsprogramms in eine Funktionsplandarstellung
US8527975B2 (en) * 2007-11-02 2013-09-03 Hewlett-Packard Development Company, L.P. Apparatus and method for analyzing source code using memory operation evaluation and boolean satisfiability
US8209646B2 (en) * 2007-11-02 2012-06-26 Hewlett-Packard Development Company, L.P. Apparatus and method for analyzing source code using path analysis and Boolean satisfiability
US8297706B2 (en) * 2008-09-15 2012-10-30 Matthews John P Ergonomic chair
US8655824B1 (en) 2011-03-07 2014-02-18 The Boeing Company Global policy framework analyzer

Family Cites Families (22)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4315315A (en) * 1971-03-09 1982-02-09 The Johns Hopkins University Graphical automatic programming
US3753243A (en) * 1972-04-20 1973-08-14 Digital Equipment Corp Programmable machine controller
US3921146A (en) * 1973-01-05 1975-11-18 Gen Electric Programmable data processor and controller system
US4058711A (en) * 1976-04-16 1977-11-15 Cincinnati Milacron Inc. Asynchronous dual function multiprocessor machine control
JPS5927929B2 (ja) * 1977-06-23 1984-07-09 豊田工機株式会社 シ−ケンスコントロ−ラ
US4217658A (en) * 1977-07-25 1980-08-12 Struthers-Dunn, Inc. Process control system that controls its outputs according to the results of successive analysis of the vertical input columns of a hypothetical ladder diagram
US4227247A (en) * 1977-10-12 1980-10-07 Eaton Corporation Integrated circuit controller programmable with unidirectional-logic instructions representative of sequential wire nodes and circuit elements of a ladder diagram
US4200914A (en) * 1977-11-22 1980-04-29 Eaton Corporation Memory programming control system for storing a wire number program of a ladder diagram for a programmable controller
JPS6010644B2 (ja) * 1978-09-13 1985-03-19 日産自動車株式会社 シ−ケンス表示制御方法
ES8103854A1 (es) * 1979-01-09 1981-03-16 Westinghouse Electric Corp Un controlador programable para resolver un circuito de re- des en escalera y metodo correspondiente.
US4247901A (en) * 1979-01-09 1981-01-27 Westinghouse Electric Corp. Programmable dual stack relay ladder diagram line solver and programming panel therefor with prompter
JPS55135908A (en) * 1979-04-11 1980-10-23 Hitachi Ltd Sequence program input device
JPS56101211A (en) * 1980-01-16 1981-08-13 Toyoda Mach Works Ltd Sequence display device
JPS56108109A (en) * 1980-02-01 1981-08-27 Fanuc Ltd Programmable sequence controller
JPS56147203A (en) * 1980-04-17 1981-11-16 Toshiba Mach Co Ltd Sequence control device equipped with row cyclic operation part
JPS56162103A (en) * 1980-05-16 1981-12-12 Toshiba Mach Co Ltd Sequence control device
JPS56168263A (en) * 1980-05-30 1981-12-24 Hitachi Ltd Program making device
US4445169A (en) * 1980-06-13 1984-04-24 The Tokyo Electric Co., Inc. Sequence display apparatus and method
JPS57132207A (en) * 1981-02-10 1982-08-16 Toyoda Mach Works Ltd Online monitor device of sequence controller
US4417305A (en) * 1981-09-08 1983-11-22 International Business Machines Corporation Method for evaluating boolean expressions
US4443865A (en) * 1981-10-26 1984-04-17 Allen-Bradley Co. Processor module for a programmable controller
US4488258A (en) * 1982-09-20 1984-12-11 Allen-Bradley Programmable controller with control program comments

Also Published As

Publication number Publication date
WO1986006518A1 (en) 1986-11-06
AU5196286A (en) 1986-11-18
EP0222773A4 (en) 1989-06-13
JPS62502997A (ja) 1987-11-26
EP0222773A1 (en) 1987-05-27
AU590532B2 (en) 1989-11-09
US4722071A (en) 1988-01-26
KR880700352A (ko) 1988-02-22

Similar Documents

Publication Publication Date Title
BR8507200A (pt) Processo para a preparacao de um programa de computador para avaliacao de expressoes booleanas e similares e computador para avaliacao dos degraus em uma estrutura de escada
PT82988B (pt) Processo para a preparacao de complexos de flavanolignanos com fosfolipidos e de composicoes farmaceuticas que os contem
BR9003298A (pt) Copolimeros fluorados elastomericos e processo para a preparacao dos mesmos
BR8900542A (pt) Involucro internamente pressurizavel e processo para fabricar uma estrutura de involucro
BR8904368A (pt) Luva e processo para produzir uma luva
PT82460B (pt) Processo para a preparacao de novos derivados de imidazoquinolina com actividade cardiotonica antitrombogenica e de composicoes farmaceuticas que os contem
BR8604430A (pt) Conjunto e processo para consolidar corpo preformado
BR8906495A (pt) Pigmentos lamelares condutores e processo para sua preparacao
BR8602263A (pt) Processo para a preparacao de uma composicao polimerizavel em emulsao de radicais livres e processo para a preparacao de um polimero
BR8506695A (pt) Emulsoes agua-em-oleo em polimeros hidrofobicos associativos e um processo para a preparacao das mesmas
BR8401861A (pt) Processo para a polimerizacao e emulsao de um latex e latex
BR8801120A (pt) Composicao que e um supercondutor eletrico e processo para sua preparacao
BR8605398A (pt) Artigo de vidro-ceramica e processo para sua preparacao
BR8900441A (pt) Processo para produzir uma emulsao de polidiorganossiloxano e emulsao de polidiorganossiloxano
BR8706963A (pt) Processo e aparelho para iniciar a execucao de programa representado em arquivo de codigos objetos
ES554389A0 (es) Procedimiento y aparato para verificar el funcionamiento de un ordenador
BR8902310A (pt) Processo para a preparacao de dialquil dissulfetos e polissulfetos
PT87884A (pt) Processo para a preparacao de acidos e esteres diazabicicloalquil em ponte-quinolono-carboxilicos
BR8905349A (pt) Processo para a preparacao de uma cicloalcanona e/ou um cicloalcanol
PT90142A (pt) Processo para a preparacao de novos imidazois substituidos em 2,3 e 4 e de 1,2,4-triazois substituido4 em 3,4 e 5 bem como de composicoes farmaceuticas que os contem
BR8902306A (pt) Composicao e processo para sua preparacao
BR8807491A (pt) Processo e conjunto para determinar a forma e ou dimensao de um objeto em queda livre
BR8902543A (pt) Estrutura composta e processo para preparar uma estrutura composta
BR8903429A (pt) Heteropolissacarideo bm07 e processo para a preparacao do mesmo e aplicacao do heteropolissacarideo bm07
BR8900437A (pt) Prendedor e metodo para fixar eletrico a um isolador

Legal Events

Date Code Title Description
B15K Others concerning applications: alteration of classification

Free format text: PROCEDIMENTO AUTOMATICO DE RECLASSIFICACAO. AS CLASSIFICACOES IPC ANTERIORES ERAM: G06F 9/44; G06F 15/31.

Ipc: G06F 8/41 (2018.01), G05B 19/05 (2006.01)

Ipc: G06F 8/41 (2018.01), G05B 19/05 (2006.01)