Manufacturing System Design Verification Using Resource Description Language
Find Innovative SolutionsGenerate Solutions
Solution Overview
Problem
Conventional manufacturing system design verification methods are limited in the types of design information that can be verified, primarily focusing on mechanical CAD drawings and control programs, restricting the scope of what can be adequately assessed.
Innovation Solution
A manufacturing system design verification device is developed, incorporating a design information model, input part, verification logic storage, and verification part, which converts design information into a resource description language for broadened verification capabilities, including process, mechanical, electrical, and control designs, using a query execution engine and comparison engine to validate compliance.
Engineering Contradictions & Design Principles
Engineering Contradiction Analysis
1Adaptability or versatility
If conventional simulation methods are used to verify manufacturing system design information, then verification can be performed on mechanical CAD drawings and control programs, but the types of design information that can be verified are limited
Solution Approach 1:
The patent applies universality by creating a verification system that can handle multiple types of design information (mechanical CAD drawings, control programs, process designs, electrical designs) through a single integrated platform. The design information model serves as a universal framework that can represent different design types, and the query execution engine can process verification queries across all these types, making the system multi-functional rather than requiring separate verification tools for each design type.
Solution Approach 2:
The patent introduces an intermediary layer consisting of the design information model and the resource description language conversion mechanism. This intermediary translates various types of design information into a standardized format that the verification logic can process, acting as a mediator between diverse input formats and the verification engine. This allows the system to handle multiple design information types without requiring complex direct processing for each type.
2Adaptability or versatility
If design information is converted into resource description language expression with reference to design information model, then various design information types can be inputted and verified, but the processing complexity increases
Solution Approach 1:
The patent applies parameter changes by transforming design information from its native formats into a standardized resource description language format. This parameter transformation involves converting different data structures and representations into a common format that can be uniformly processed by the verification system. The design information model provides the parameter mapping rules that guide this transformation, enabling various design types to be expressed in terms of standardized parameters and relationships.
Data Source
AI summary
A manufacturing system design verification device includes a design information model, a design information input part, a verification logic storage part, and a design information verification part. The design information model is a framework integrating and expressing design information. The design information is inputted to the design information input part. The design information input part converts the design information into an expression described a resource description language with reference to the design information model. The verification logic storage part stores a verification logic including a group of a query described in a query language corresponding to the resource description language and an expected result. The design information verification part includes a query execution engine performing the query on the expression an returning an execution result and a comparison engine comparing the execution result with the expected result and returning a verification result.