CA2583921C - Dispositif de calcul fonde sur la logique et methode - Google Patents

Dispositif de calcul fonde sur la logique et methode Download PDF

Info

Publication number
CA2583921C
CA2583921C CA2583921A CA2583921A CA2583921C CA 2583921 C CA2583921 C CA 2583921C CA 2583921 A CA2583921 A CA 2583921A CA 2583921 A CA2583921 A CA 2583921A CA 2583921 C CA2583921 C CA 2583921C
Authority
CA
Canada
Prior art keywords
action
event
model
actions
queue
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
CA2583921A
Other languages
English (en)
Other versions
CA2583921A1 (fr
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
Publication of CA2583921A1 publication Critical patent/CA2583921A1/fr
Application granted granted Critical
Publication of CA2583921C publication Critical patent/CA2583921C/fr
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/20—Software design
    • 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
    • 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)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • Business, Economics & Management (AREA)
  • Economics (AREA)
  • Entrepreneurship & Innovation (AREA)
  • Human Resources & Organizations (AREA)
  • Strategic Management (AREA)
  • Tourism & Hospitality (AREA)
  • General Business, Economics & Management (AREA)
  • Marketing (AREA)
  • Operations Research (AREA)
  • Quality & Reliability (AREA)
  • Automation & Control Theory (AREA)
  • Educational Administration (AREA)
  • Game Theory and Decision Science (AREA)
  • Development Economics (AREA)
  • Multimedia (AREA)
  • Mathematical Analysis (AREA)
  • Pure & Applied Mathematics (AREA)
  • Computational Mathematics (AREA)
  • Data Mining & Analysis (AREA)
  • Evolutionary Computation (AREA)
  • Algebra (AREA)
  • Mathematical Optimization (AREA)
  • Artificial Intelligence (AREA)
  • Computing Systems (AREA)
  • Mathematical Physics (AREA)
  • Nonlinear Science (AREA)
  • Processing Or Creating Images (AREA)
  • Stored Programmes (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • Feedback Control In General (AREA)
CA2583921A 2004-10-18 2005-10-17 Dispositif de calcul fonde sur la logique et methode Expired - Fee Related CA2583921C (fr)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
GBGB0423110.6A GB0423110D0 (en) 2004-10-18 2004-10-18 Acting on a subject system
GB0423110.6 2004-10-18
PCT/EP2005/055310 WO2006042841A2 (fr) 2004-10-18 2005-10-17 Action sur un systeme d'interet

Publications (2)

Publication Number Publication Date
CA2583921A1 CA2583921A1 (fr) 2006-04-27
CA2583921C true CA2583921C (fr) 2017-01-24

Family

ID=33462924

Family Applications (1)

Application Number Title Priority Date Filing Date
CA2583921A Expired - Fee Related CA2583921C (fr) 2004-10-18 2005-10-17 Dispositif de calcul fonde sur la logique et methode

Country Status (7)

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

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
US8725667B2 (en) 2008-03-08 2014-05-13 Tokyo Electron Limited Method and system for detection of tool performance degradation and mismatch
US8190543B2 (en) 2008-03-08 2012-05-29 Tokyo Electron Limited Autonomous biologically based learning tool
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 (fr) 2009-02-06 2010-08-06 It Actual Sdn. Bhd. Plate-forme de calcul basee sur la hierarchie de structures de donnees emboitees
CA2679786A1 (fr) * 2009-09-16 2009-12-16 Ibm Canada Limited - Ibm Canada Limitee Representation conceptuelle de procedes commerciaux pour application de "cross-domain"
AU2011380289B2 (en) * 2011-10-31 2015-03-26 Fraunhofer-Gesellschaft Zur Foerderung Der Angewandten Forschung E.V. Apparatus and method for synchronizing events
KR102011094B1 (ko) * 2017-06-28 2019-08-14 백옥기 인공지능의 신경가소성 및 자가적응 유연성을 구현하기 위하여 자가적응형 동적 다차원 배열을 관리하는 방법과 이를 이용한 컴퓨터 소프트웨어
CN109460214B (zh) * 2018-11-06 2021-07-27 上海航天测控通信研究所 基于idef建模的航天器软件结构化方法
CN110164082B (zh) * 2019-06-21 2021-01-15 山东大学 家庭安防报警系统的静态控制器设计方法及系统
CN117099057A (zh) * 2021-04-02 2023-11-21 三菱电机株式会社 程序生成装置和程序生成方法

Family Cites Families (13)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
IE873207L (en) * 1987-11-26 1989-05-26 Schering Ag An energy management system
US5596331A (en) * 1988-05-13 1997-01-21 Lockheed Martin Corporation Real-time control sequencer with state matrix logic
JPH02109127A (ja) * 1988-10-19 1990-04-20 Hitachi Ltd 仕様処理方法
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 (ja) * 1997-05-20 2004-12-08 三菱電機株式会社 分散制御システムの構成管理方法およびこれに用いるデータ
JPH113108A (ja) * 1997-06-13 1999-01-06 Sony Corp 加工制御方法及び加工制御装置
WO1999030230A1 (fr) * 1997-12-12 1999-06-17 Cacheon, L.L.C. Systeme et procede de traitement informatique naturellement parallele
JP3863069B2 (ja) * 2002-06-06 2006-12-27 本田技研工業株式会社 プラントの制御装置
JP2004164328A (ja) * 2002-11-13 2004-06-10 Fujitsu Ltd 一人ｃａｍシステムおよび一人ｃａｍプログラム
US7006900B2 (en) * 2002-11-14 2006-02-28 Asm International N.V. Hybrid cascade model-based predictive control system
AU2003290932A1 (en) * 2002-11-15 2004-06-15 Applied Materials, Inc. Method, system and medium for controlling manufacture process having multivariate input parameters
JP3940665B2 (ja) * 2002-11-27 2007-07-04 株式会社東芝 ハイブリッドシミュレーション装置およびプログラム

Also Published As

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

Similar Documents

Publication Publication Date Title
CA2583921C (fr) Dispositif de calcul fonde sur la logique et methode
US7822592B2 (en) Acting on a subject system
CN108633309A (zh) 协同程序的编译器优化
US20080250227A1 (en) General Purpose Multiprocessor Programming Apparatus And Method
US20030105620A1 (en) System, method and article of manufacture for interface constructs in a programming language capable of programming hardware architetures
Arvind et al. Dataflow architectures
Barnes Communicating Process Architectures 2004 201 Ian East, Jeremy Martin, Peter Welch, David Duce, and Mark Green (Eds.) IOS Press, 2004
Kamburjan et al. Session-based compositional analysis for actor-based languages using futures
US6438514B1 (en) Generation of a system model
Degano et al. A two-component language for adaptation: design, semantics and program analysis
Achten et al. An introduction to task oriented programming
Müller et al. An ASM based SystemC simulation semantics
Colburn et al. Decoupling as a fundamental value of computer science
Cheong Actor-oriented programming for wireless sensor networks
Hills et al. Towards a module system for K
Zurowska et al. A customizable execution engine for models of embedded systems
Catto Nondeterministic Programming in a Dataflow Environment
St-Denis Designing reactive systems: integration of abstraction techniques into a synthesis procedure
Harvey InceOS: The Insense-specific operating system
Bagheri et al. Partial Order Reduction for Timed Actors
Knapp Generating rewrite theories from UML collaborations
Kotov Concurrency+ modularity+ programmability= MARS
Rawson et al. Petri Net Parallel Computing Theory and Applications
Serbânescu Software development by abstract behavioural specification
Reinders et al. Data Parallel C++: Programming Accelerated Systems Using C++ and SYCL

Legal Events

Date Code Title Description
EEER Examination request
MKLA Lapsed

Effective date: 20191017