GB2425868B - Logic-based Computing Device and Method - Google Patents

Logic-based Computing Device and Method

Info

Publication number
GB2425868B
GB2425868B GB0613704A GB0613704A GB2425868B GB 2425868 B GB2425868 B GB 2425868B GB 0613704 A GB0613704 A GB 0613704A GB 0613704 A GB0613704 A GB 0613704A GB 2425868 B GB2425868 B GB 2425868B
Authority
GB
United Kingdom
Prior art keywords
logic
computing device
based computing
computing
Prior art date
Legal status (The legal status 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 status listed.)
Expired - Fee Related
Application number
GB0613704A
Other versions
GB0613704D0 (en
GB2425868A (en
Inventor
Peter Hawkins
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Manthatron IP Ltd
Original Assignee
Manthatron IP Ltd
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 Manthatron IP Ltd filed Critical Manthatron IP Ltd
Priority to GB0618546A priority Critical patent/GB2428322A/en
Publication of GB0613704D0 publication Critical patent/GB0613704D0/en
Publication of GB2425868A publication Critical patent/GB2425868A/en
Application granted granted Critical
Publication of GB2425868B publication Critical patent/GB2425868B/en
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • 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
    • G05B15/00—Systems controlled by a computer
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/20—Software design
    • 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
    • G05B15/00—Systems controlled by a computer
    • G05B15/02—Systems controlled by a computer electric
    • 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
    • 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
    • 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
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/20—Software design
    • G06F8/24—Object-oriented
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/30—Arrangements for executing machine instructions, e.g. instruction decode
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/30—Arrangements for executing machine instructions, e.g. instruction decode
    • G06F9/38—Concurrent instruction execution, e.g. pipeline or look ahead
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/30—Arrangements for executing machine instructions, e.g. instruction decode
    • G06F9/38—Concurrent instruction execution, e.g. pipeline or look ahead
    • G06F9/3836—Instruction issuing, e.g. dynamic instruction scheduling or out of order instruction execution
    • G06F9/3851—Instruction issuing, e.g. dynamic instruction scheduling or out of order instruction execution from multiple instruction streams, e.g. multistreaming
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44—Arrangements for executing specific programs
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06N—COMPUTING ARRANGEMENTS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N7/00—Computing arrangements based on specific mathematical models
    • G06N7/08—Computing arrangements based on specific mathematical models using chaos models or non-linear system models
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/06—Resources, workflows, human or project management; Enterprise or organisation planning; Enterprise or organisation modelling

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Software Systems (AREA)
  • General Engineering & Computer Science (AREA)
  • Automation & Control Theory (AREA)
  • Business, Economics & Management (AREA)
  • Strategic Management (AREA)
  • Human Resources & Organizations (AREA)
  • Entrepreneurship & Innovation (AREA)
  • Economics (AREA)
  • General Business, Economics & Management (AREA)
  • Marketing (AREA)
  • Tourism & Hospitality (AREA)
  • Quality & Reliability (AREA)
  • Operations Research (AREA)
  • Multimedia (AREA)
  • Mathematical Physics (AREA)
  • Computational Mathematics (AREA)
  • Nonlinear Science (AREA)
  • Computing Systems (AREA)
  • Mathematical Analysis (AREA)
  • Mathematical Optimization (AREA)
  • Pure & Applied Mathematics (AREA)
  • Algebra (AREA)
  • Evolutionary Computation (AREA)
  • Data Mining & Analysis (AREA)
  • Artificial Intelligence (AREA)
  • Development Economics (AREA)
  • Educational Administration (AREA)
  • Game Theory and Decision Science (AREA)
  • Processing Or Creating Images (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • Stored Programmes (AREA)
  • Feedback Control In General (AREA)
GB0613704A 2004-10-18 2005-10-17 Logic-based Computing Device and Method Expired - Fee Related GB2425868B (en)

Priority Applications (1)

Application Number Priority Date Filing Date Title
GB0618546A GB2428322A (en) 2004-10-18 2005-10-17 Acting on a subject system

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
GBGB0423110.6A GB0423110D0 (en) 2004-10-18 2004-10-18 Acting on a subject system
PCT/EP2005/055310 WO2006042841A2 (en) 2004-10-18 2005-10-17 Acting on a subject system

Publications (3)

Publication Number Publication Date
GB0613704D0 GB0613704D0 (en) 2006-08-23
GB2425868A GB2425868A (en) 2006-11-08
GB2425868B true GB2425868B (en) 2007-07-04

Family

ID=33462924

Family Applications (3)

Application Number Title Priority Date Filing Date
GBGB0423110.6A Ceased GB0423110D0 (en) 2004-10-18 2004-10-18 Acting on a subject system
GB0613704A Expired - Fee Related GB2425868B (en) 2004-10-18 2005-10-17 Logic-based Computing Device and Method
GB0618546A Withdrawn GB2428322A (en) 2004-10-18 2005-10-17 Acting on a subject system

Family Applications Before (1)

Application Number Title Priority Date Filing Date
GBGB0423110.6A Ceased GB0423110D0 (en) 2004-10-18 2004-10-18 Acting on a subject system

Family Applications After (1)

Application Number Title Priority Date Filing Date
GB0618546A Withdrawn GB2428322A (en) 2004-10-18 2005-10-17 Acting on a subject system

Country Status (7)

Country Link
EP (1) EP1805704A2 (en)
JP (1) JP5128949B2 (en)
CN (1) CN101288090B (en)
AU (1) AU2005296859B2 (en)
CA (1) CA2583921C (en)
GB (3) GB0423110D0 (en)
WO (1) WO2006042841A2 (en)

Families Citing this family (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8078552B2 (en) * 2008-03-08 2011-12-13 Tokyo Electron Limited Autonomous adaptive system and method for improving semiconductor manufacturing quality
US8190543B2 (en) 2008-03-08 2012-05-29 Tokyo Electron Limited Autonomous biologically based learning tool
US8725667B2 (en) 2008-03-08 2014-05-13 Tokyo Electron Limited Method and system for detection of tool performance degradation and mismatch
US8396582B2 (en) 2008-03-08 2013-03-12 Tokyo Electron Limited Method and apparatus for self-learning and self-improving a semiconductor manufacturing tool
CA2692018A1 (en) 2009-02-06 2010-08-06 It Actual Sdn. Bhd. Computing platform based on a hierarchy of nested data structures
CA2679786A1 (en) * 2009-09-16 2009-12-16 Ibm Canada Limited - Ibm Canada Limitee Conceptual representation of business processes for cross-domain mapping
US9641601B2 (en) 2011-10-31 2017-05-02 Fraunhofer-Gesellschaft zur Förderung der angewandten Forschung e.V. Apparatus and method for synchronizing events
KR102011094B1 (en) * 2017-06-28 2019-08-14 백옥기 Method for managing self-adaptive dynamic multidimensional array to enable neuroplasticity for self-adaptive and progressive machine learning and computer software using the same
CN109460214B (en) * 2018-11-06 2021-07-27 上海航天测控通信研究所 Spacecraft software structuring method based on IDEF modeling
CN110164082B (en) * 2019-06-21 2021-01-15 山东大学 Design method and system for static controller of home security alarm system
CN117099057A (en) 2021-04-02 2023-11-21 三菱电机株式会社 Program generating device and program generating method

Citations (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
GB2212949A (en) * 1987-11-26 1989-08-02 Stonecrest Limited Energy management system
US5596331A (en) * 1988-05-13 1997-01-21 Lockheed Martin Corporation Real-time control sequencer with state matrix logic
WO1999030230A1 (en) * 1997-12-12 1999-06-17 Cacheon, L.L.C. Naturally parallel computing system and method
US20030229407A1 (en) * 2002-06-06 2003-12-11 Honda Giken Kogyo Kabushiki Kaisha Control system for plant
US20040098145A1 (en) * 2002-11-14 2004-05-20 Liu Zhenduo Hybrid cascade model-based predictive control system
WO2004046835A2 (en) * 2002-11-15 2004-06-03 Applied Materials, Inc. Method, system and medium for controlling manufacture process having multivariate input parameters
US20040128019A1 (en) * 2002-11-13 2004-07-01 Fujitsu Limited CAM system and program, and method for controlling CAM system
US20040158442A1 (en) * 2002-11-27 2004-08-12 Koichi Kondo Simulation method, apparatus, and computer program using hybrid model

Family Cites Families (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH02109127A (en) * 1988-10-19 1990-04-20 Hitachi Ltd Specification processing method
US5638539A (en) * 1994-02-28 1997-06-10 International Business Machines Corporation Tool for defining complex systems
US5887143A (en) * 1995-10-26 1999-03-23 Hitachi, Ltd. Apparatus and method for synchronizing execution of programs in a distributed real-time computing system
JP3598732B2 (en) * 1997-05-20 2004-12-08 三菱電機株式会社 Configuration management method for distributed control system and data used for the method
JPH113108A (en) * 1997-06-13 1999-01-06 Sony Corp Method and device for controlling working

Patent Citations (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
GB2212949A (en) * 1987-11-26 1989-08-02 Stonecrest Limited Energy management system
US5596331A (en) * 1988-05-13 1997-01-21 Lockheed Martin Corporation Real-time control sequencer with state matrix logic
WO1999030230A1 (en) * 1997-12-12 1999-06-17 Cacheon, L.L.C. Naturally parallel computing system and method
US20030229407A1 (en) * 2002-06-06 2003-12-11 Honda Giken Kogyo Kabushiki Kaisha Control system for plant
US20040128019A1 (en) * 2002-11-13 2004-07-01 Fujitsu Limited CAM system and program, and method for controlling CAM system
US20040098145A1 (en) * 2002-11-14 2004-05-20 Liu Zhenduo Hybrid cascade model-based predictive control system
WO2004046835A2 (en) * 2002-11-15 2004-06-03 Applied Materials, Inc. Method, system and medium for controlling manufacture process having multivariate input parameters
US20040158442A1 (en) * 2002-11-27 2004-08-12 Koichi Kondo Simulation method, apparatus, and computer program using hybrid model

Non-Patent Citations (2)

* Cited by examiner, † Cited by third party
Title
A process-driven, event-based business object model, Riemer. K. *
Multi-log Processor - Towards Scalable Event-Driven Multiprocessors, Vinod Viswanath *

Also Published As

Publication number Publication date
JP2008517362A (en) 2008-05-22
GB2428322A9 (en) 2007-02-12
JP5128949B2 (en) 2013-01-23
GB0613704D0 (en) 2006-08-23
EP1805704A2 (en) 2007-07-11
CA2583921C (en) 2017-01-24
WO2006042841A2 (en) 2006-04-27
AU2005296859A1 (en) 2006-04-27
AU2005296859B2 (en) 2011-03-10
CA2583921A1 (en) 2006-04-27
GB2428322A (en) 2007-01-24
CN101288090A (en) 2008-10-15
WO2006042841A8 (en) 2008-01-17
GB0423110D0 (en) 2004-11-17
CN101288090B (en) 2013-09-04
GB2425868A (en) 2006-11-08
GB0618546D0 (en) 2006-11-01

Similar Documents

Publication Publication Date Title
GB2404748B (en) Computing device and method
GB2425868B (en) Logic-based Computing Device and Method
EP1710950A4 (en) Information processing device and method
EP1791111A4 (en) Content creating device and content creating method
IL179173A0 (en) Access and closure device and method
HK1080960A1 (en) Information processing device and information processing method
EP1726414A4 (en) Web processing device and web processing method
EP1808679A4 (en) Movement detection device and movement detection method
EP1816606A4 (en) Drawing device and drawing method
EP1941820A4 (en) Pan-turning method and device thereof
EP1591875A4 (en) Handwriting-input device and method
EP1775685A4 (en) Information processing device and program
PL1779284T3 (en) Data processing method and device
IL182931A0 (en) Jamming device and method
EP1679739A4 (en) Sheet-peeling device and method
HK1101950A1 (en) Data processing device and data processing method
GB0408415D0 (en) Control device and method
EP1795359A4 (en) Printing device and printing method
GB0318417D0 (en) Method and device
GB0313032D0 (en) Device and method
GB0412475D0 (en) Device and method
EP1826725A4 (en) Plotting device and plotting method
IL165035A0 (en) Method and device for incorporating different modewireless
GB0320773D0 (en) Method and device
GB0407976D0 (en) Device and method

Legal Events

Date Code Title Description
PCNP Patent ceased through non-payment of renewal fee

Effective date: 20181017