Modellinspektionsvorrichtung, Modellinspektionsverfahren, Automobilherstellungsverfahren und Programm
Anmelder: Inter-University Research Institute Corporation Research Organization of Information and Systems, Tohoku University 🇯🇵
Details
- Veröffentlichungs-Nr.
- EP4822544
- Anmeldetag
- 17. Dezember 2024
- Veröffentlichung
- 26. Juni 2025
- Rechtsraum
- EP
- IPC
- G06F11/36
Abstract
A model checking device includes a model acquisition unit configured to acquire a state transition model representing state transitions between a plurality of components, a local mathematical feature acquisition unit configured to acquire one or more predetermined local mathematical features associated with each of the plurality of components, a global mathematical feature calculation unit configured to calculate one or more global mathematical features associated with the state transition model based on the local mathematical features associated with the plurality of components, and a checking unit configured to perform model checking on the state transition model based on the one or more global mathematical features.
Anmelder
- Firmen
- Inter-University Research Institute Corporation Research Organization of Information and Systems
Tohoku University - Land
- 🇯🇵 Japan
Staatliche Universität in Sendai, Japan, mit Forschungsschwerpunkten unter anderem in Materialwissenschaften und Werkstofftechnik.
2.166 Patente in unserer Datenbank