会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 4. 发明公开
    • Verfahren zur Entwicklung und Implementierung eines Modells zur formalen Beschreibung eines sich aus mehreren verteilten Komponenten zusammensetzenden kollaborativen Systems, insbesondere eines intelligenten flexiblen Produktions-und/oder Prozessautomatisierungssystems
    • 一种用于开发和实施针对多个分布式组件的协作系统的位于组成的形式描述的模型,特别是智能柔性生产和/或过程自动化系统的方法
    • EP1533674A3
    • 2006-06-28
    • EP04027581.0
    • 2004-11-19
    • Schneider Electric GmbH
    • Colombo, Armando WalterSchoop, Ronald
    • G05B19/418
    • G05B19/41845G05B19/41885G05B2219/31338G05B2219/32166G05B2219/32171G05B2219/32259G05B2219/32328G05B2219/32372Y02P90/16Y02P90/18Y02P90/20Y02P90/26Y02P90/86
    • Die Erfindung bezieht sich auf ein Verfahren zur Entwicklung und Implementierung eines Modells (ASM) zur formalen Beschreibung eines sich aus mehreren verteilten Komponenten (HW1-HWN) zusammensetzenden kollaborativen Systems (AS), wobei durch Simulationsverfahren analysierbare Modelle der Komponenten (HW1-HWN) erstellt werden. Um zu erreichen, dass die Entwicklung und Implementierung eines Modells zur formalen Beschreibung eines mehrere verteilte Komponenten aufweisenden kollaborativen Systems vereinfacht wird, ist vorgesehen, dass das Verfahren die weiteren Verfahrensschritte umfasst:

      Erstellen von durch Simulationsverfahren analysierbaren Modellen (M1-MN) von kollaborativen Einheiten (CAU1-CAUN) als autonome Basismodule auf der Grundlage der Modelle der Komponenten, wobei ein Modell (M1-MN) einer kollaborativen Einheit (CAU1-CAUN) zusätzlich zu deren Hardware-Komponente (HW1-HWN) auch deren Software-Komponente (ASE1-ASEN) sowie deren Intelligenz (11-IN) in Form von Informationen für deren autonomes Verhalten in Bezug auf Kooperation mit weiteren Modellen (M1-MN) kollaborativer Einheiten (CAU1-CAUN) beinhaltet;
      Bereitstellen eines Katalogs (K) von Modellen (M1-MN) der kollabbrativen Einheiten (CAU1, CAUN), wobei der Katalog (K) der Modelle (M1-MNN) Ergebnisse einer formalen Validation der strukturellen und/oder verhaltensmäßigen Spezifikationen der kollaborativen Einheiten (CAU1-CAUN) enthält,
      Zuordnen eines Satzes von Regeln (R) zu dem Katalog (K) zur Spezifizierung von Interaktionen zwischen den autonomen Modellen (M1-MN) der kollaborativen Einheiten (CAU1-CAUN) sowie zur Entwicklung des Modells (ASM) des komplexen kollaborativen Systems (AS),
      Zusammensetzen des gewünschten Modells (ASM) unter Verwendung ausgewählter Modelle (M1-MN) der kollaborativen Einheiten als Basismodule aus dem Katalog (K) und unter Berücksichtigung von ausgewählten Regeln (R),
      automatische Adaption des Modells (ASM) durch Ableiten neuer Regeln (R) unter Berücksichtigung von Bewertungsparametern für jeden Anwendungsfall in einem Durchgang.
    • 对于一个协同系统(AS)的形式化描述协作模型(ASM)的开发和实施方法由分布式组件(HW1-HWN),并通过协作单位(CAU1-N)的模型来表示。 根据本发明的方法涉及产生可分析模块(M1-MN)并可以与模拟的方法分析的,提供一个目录模块,一组规则到类别的分配和建立基于所述模块所需型号的。
    • 5. 发明公开
    • Verfahren zur Entwicklung und Implementierung eines Modells zur formalen Beschreibung eines sich aus mehreren verteilten Komponenten zusammensetzenden kollaborativen Systems, insbesondere eines intelligenten flexiblen Produktions-und/oder Prozessautomatisierungssystems
    • 一种用于开发和实施针对多个分布式组件的协作系统的位于组成的形式描述的模型,特别是智能柔性生产和/或过程自动化系统的方法
    • EP1533674A2
    • 2005-05-25
    • EP04027581.0
    • 2004-11-19
    • Schneider Electric GmbH
    • Colombo, Armando WalterSchoop, Ronald
    • G05B19/418
    • G05B19/41845G05B19/41885G05B2219/31338G05B2219/32166G05B2219/32171G05B2219/32259G05B2219/32328G05B2219/32372Y02P90/16Y02P90/18Y02P90/20Y02P90/26Y02P90/86
    • Die Erfindung bezieht sich auf ein Verfahren zur Entwicklung und Implementierung eines Modells (ASM) zur formalen Beschreibung eines sich aus mehreren verteilten Komponenten (HW1-HWN) zusammensetzenden kollaborativen Systems (AS), wobei durch Simulationsverfahren analysierbare Modelle der Komponenten (HW1-HWN) erstellt werden. Um zu erreichen, dass die Entwicklung und Implementierung eines Modells zur formalen Beschreibung eines mehrere verteilte Komponenten aufweisenden kollaborativen Systems vereinfacht wird, ist vorgesehen, dass das Verfahren die weiteren Verfahrensschritte umfasst:

      Erstellen von durch Simulationsverfahren analysierbaren Modellen (M1-MN) von kollaborativen Einheiten (CAU1-CAUN) als autonome Basismodule auf der Grundlage der Modelle der Komponenten, wobei ein Modell (M1-MN) einer kollaborativen Einheit (CAU1-CAUN) zusätzlich zu deren Hardware-Komponente (HW1-HWN) auch deren Software-Komponente (ASE1-ASEN) sowie deren Intelligenz (11-IN) in Form von Informationen für deren autonomes Verhalten in Bezug auf Kooperation mit weiteren Modellen (M1-MN) kollaborativer Einheiten (CAU1-CAUN) beinhaltet;
      Bereitstellen eines Katalogs (K) von Modellen (M1-MN) der kollabbrativen Einheiten (CAU1, CAUN), wobei der Katalog (K) der Modelle (M1-MNN) Ergebnisse einer formalen Validation der strukturellen und/oder verhaltensmäßigen Spezifikationen der kollaborativen Einheiten (CAU1-CAUN) enthält,
      Zuordnen eines Satzes von Regeln (R) zu dem Katalog (K) zur Spezifizierung von Interaktionen zwischen den autonomen Modellen (M1-MN) der kollaborativen Einheiten (CAU1-CAUN) sowie zur Entwicklung des Modells (ASM) des komplexen kollaborativen Systems (AS),
      Zusammensetzen des gewünschten Modells (ASM) unter Verwendung ausgewählter Modelle (M1-MN) der kollaborativen Einheiten als Basismodule aus dem Katalog (K) und unter Berücksichtigung von ausgewählten Regeln (R),
      automatische Adaption des Modells (ASM) durch Ableiten neuer Regeln (R) unter Berücksichtigung von Bewertungsparametern für jeden Anwendungsfall in einem Durchgang.
    • 本发明涉及一种用于开发和实施的一个构成协同系统(AS)的几个分布式组件(HW1-HWN)的形式描述的模型(ASM)的方法,通过创建的组件(HW1-HWN)的模拟方法可分析模型,所述 是。 为了实现该制定和执行多个具有协同系统分布式组件的形式描述的模型的简化,可以设想,该方法包括进一步的步骤:产生由模拟方法模型(M1-MN)(协同单元的可分析 CAU1-CAUN)作为基于组件的模型自主基本模块,其中一个协作单元(CAU1-CAUN)的除了硬件组件(HW1-HWN)也是其软件组件的模型(M1-MN)(ASE1- 日月)及其在其关于与协作单位(CAU1-CAUN)包含的其他型号(M1-MN)合作的自主行为信息的形式智能(11英寸); 提供的kollabbrativen单元(CAU1,CAUN)的模型(M1-MN)一个目录(K),其中,所述目录中的型号(K)(M1-MNN)协作单元的结构和/或行为规范的正式验证的结果( CAU1-CAUN)包含,分配一组规则(R)的目录(K)的交互协作单位(CAU1-CAUN的自主车型(M1-MN)中的规范)和的模型(ASM)的发展 复杂的协作系统(AS)中,所需模型的组装(ASM)使用所选择的模型(M1-MN)(协同单位从目录(K)所考虑的选择规则(R),该模型ASM的自动适应的基本模块 )通过导出新规则R)(考虑到评估参数为在单次通过每个应用程序。