-
公开(公告)号：US07472103B1
公开(公告)日：2008-12-30
申请号：US11317927
申请日：2005-12-23
申请人： Dongzhe Yang
发明人： Dongzhe Yang
摘要： The present invention provides a method and system for registering rules for attributes of an entity with an entity validation and inference unit. The entity validation and inference unit can further validate input values for an entity and/or infer attributes of an entity using the associated registered rules. The entity validation and inference unit can also provide information regarding attributes, relations, and behaviors of an entity using the associated registered rules in response to a query. The present invention also provides a mechanism for a user to query an entity or the entity validation and inference unit regarding valid values for an entity. The mechanism also allows the user to query the registered rule associated with the entity.
摘要翻译： 本发明提供了一种用于通过实体验证和推理单元注册实体的属性的规则的方法和系统。 实体验证和推理单元可以使用相关联的注册规则进一步验证实体的输入值和/或推断实体的属性。 实体验证和推理单元还可以使用响应于查询的相关联的注册规则来提供关于实体的属性，关系和行为的信息。 本发明还提供了一种用于用户查询实体或实体验证和推理单元关于实体的有效值的机制。 该机制还允许用户查询与实体相关联的注册规则。
-
2.发明授权Generation of intermediate representations based on user specified elements in a graphical model that enable simulation, propagation and code generation 有权基于图形模型中的用户指定元素生成中间表示，以实现模拟，传播和代码生成公开(公告)号：US08046202B1
公开(公告)日：2011-10-25
申请号：US11487727
申请日：2006-07-17
摘要： The present invention provides for converting a user-specified element of a graphical model into at least one intermediate representation that represents the user-specified element. An intermediate representation of the present invention may support simulation, propagation, and/or code generation. An element for a graphical model is provided, and the element and/or the graphical model are converted into an intermediate representation that may represent algorithmic aspects of the element or that is capable of being simulated and/or capable allowing propagation. The present invention allows a user to provide a single code for a user-specified element that may be used to support simulation, propagation and/or code generation of an element or graphical model.
摘要翻译： 本发明提供将图形模型的用户指定元素转换为表示用户指定元素的至少一个中间表示。 本发明的中间表示可以支持模拟，传播和/或代码生成。 提供了用于图形模型的元素，并且元素和/或图形模型被转换为可以表示元素的算法方面或者能够被模拟和/或能够允许传播的中间表示。 本发明允许用户为可以用于支持元素或图形模型的模拟，传播和/或代码生成的用户指定元素提供单个代码。
-
公开(公告)号：US07805398B1
公开(公告)日：2010-09-28
申请号：US12572041
申请日：2009-10-01
申请人： Dongzhe Yang
发明人： Dongzhe Yang
摘要： The present invention provides a method and system for registering rules for attributes of an entity with an entity validation and inference unit. The entity validation and inference unit can further validate input values for an entity and/or infer attributes of an entity using the associated registered rules. The entity validation and inference unit can also provide information regarding attributes, relations, and behaviors of an entity using the associated registered rules in response to a query. The present invention also provides a mechanism for a user to query an entity or the entity validation and inference unit regarding valid values for an entity. The mechanism also allows the user to query the registered rule associated with the entity.
摘要翻译： 本发明提供了一种用于用实体验证和推理单元注册实体的属性的规则的方法和系统。 实体验证和推理单元可以使用相关联的注册规则进一步验证实体的输入值和/或推断实体的属性。 实体验证和推理单元还可以使用响应于查询的相关联的注册规则来提供关于实体的属性，关系和行为的信息。 本发明还提供了一种用于用户查询实体或实体验证和推理单元关于实体的有效值的机制。 该机制还允许用户查询与实体相关联的注册规则。
-
公开(公告)号：US07610256B1
公开(公告)日：2009-10-27
申请号：US11841871
申请日：2007-08-20
申请人： Dongzhe Yang
发明人： Dongzhe Yang
摘要： The present invention provides a method and system for registering rules for attributes of an entity with an entity validation and inference unit. The entity validation and inference unit can further validate input values for an entity and/or infer attributes of an entity using the associated registered rules. The entity validation and inference unit can also provide information regarding attributes, relations, and behaviors of an entity using the associated registered rules in response to a query. The present invention also provides a mechanism for a user to query an entity or the entity validation and inference unit regarding valid values for an entity. The mechanism also allows the user to query the registered rule associated with the entity.
摘要翻译： 本发明提供了一种用于用实体验证和推理单元注册实体的属性的规则的方法和系统。 实体验证和推理单元可以使用相关联的注册规则进一步验证实体的输入值和/或推断实体的属性。 实体验证和推理单元还可以使用响应于查询的相关联的注册规则来提供关于实体的属性，关系和行为的信息。 本发明还提供了一种用于用户查询实体或实体验证和推理单元关于实体的有效值的机制。 该机制还允许用户查询与实体相关联的注册规则。
-
-
-
搜索结果
4 条记录 (耗时 0.01 秒)
