-
公开(公告)号：US08418097B2
公开(公告)日：2013-04-09
申请号：US11842014
申请日：2007-08-20
IPC分类号： G06F17/50
CPC分类号： G06F17/5009 , G06F2217/04
摘要： Systems and methods are provided for a scheme and mechanism for performing static analysis of a sample time aware state diagram model to compute and propagate multiple samples rates associated with the state diagram model. A graphical intermediate representation of the state diagram model, such as a directed graph or control flow graph, is used to determine how the multiple sample rates are propagated via elements of the state diagram model. The graph provides a static representation of the control of flow, including alternative and/or conditional flow paths, of the state diagram model. The present invention determines the propagation of sample rates via analysis and traversal of the intermediate representation. By using the techniques of the present invention, a state diagram model may provide multiple sample rate outputs, such as by function calls and output signals to a graphical model, such as a model representing a dynamic system.
摘要翻译： 提供了用于执行样本时间感知状态图模型的静态分析以计算和传播与状态图模型相关联的多个采样率的方案和机制的系统和方法。 使用诸如有向图或控制流程图的状态图模型的图形中间表示来确定如何通过状态图模型的元素传播多个采样率。 该图提供了状态图模型的流控制的静态表示，包括备选和/或条件流路径。 本发明通过分析和遍历中间表示来确定采样率的传播。 通过使用本发明的技术，状态图模型可以提供多个采样率输出，例如通过功能调用和输出信号到诸如表示动态系统的模型的图形模型。
-
2.发明授权Hierarchically scoped resettable variables in graphical modeling environments 有权图形建模环境中的分层范围的可重定位变量公开(公告)号：US07966162B1
公开(公告)日：2011-06-21
申请号：US11648425
申请日：2006-12-29
IPC分类号： G06G7/48
CPC分类号： G06F17/50 , G06F8/34 , G06T11/206
摘要： The illustrative embodiments of this invention are directed to a method, a medium and a system for realizing resettable hierarchically scoped variables in a graphical modeling environment on a computing device. The method includes creating at least one resettable variable in a model within the graphical modeling environment, wherein the resettable variable is hierarchically scoped. The resettable variable is reset to a preset value before or during a subsequent invocation of a part of the model that contains the resettable variable. The graphical modeling environment may be a state diagramming environment or the graphical modeling environment may be a time-based graphical modeling environment.
摘要翻译： 本发明的说明性实施例涉及用于在计算设备上的图形建模环境中实现可重置层级范围变量的方法，介质和系统。 该方法包括在图形建模环境内的模型中创建至少一个可复位变量，其中可重置变量是分级范围的。 在包含可重置变量的模型的一部分的后续调用之前或期间，可复位变量重置为预设值。 图形建模环境可以是状态图表环境，或者图形建模环境可以是基于时间的图形建模环境。
-
公开(公告)号：US20090013307A1
公开(公告)日：2009-01-08
申请号：US11842014
申请日：2007-08-20
CPC分类号： G06F17/5009 , G06F2217/04
摘要： Systems and methods are provided for a scheme and mechanism for performing static analysis of a sample time aware state diagram model to compute and propagate multiple samples rates associated with the state diagram model. A graphical intermediate representation of the state diagram model, such as a directed graph or control flow graph, is used to determine how the multiple sample rates are propagated via elements of the state diagram model. The graph provides a static representation of the control of flow, including alternative and/or conditional flow paths, of the state diagram model. The present invention determines the propagation of sample rates via analysis and traversal of the intermediate representation. By using the techniques of the present invention, a state diagram model may provide multiple sample rate outputs, such as by function calls and output signals to a graphical model, such as a model representing a dynamic system.
摘要翻译： 提供了用于执行样本时间感知状态图模型的静态分析以计算和传播与状态图模型相关联的多个采样率的方案和机制的系统和方法。 使用诸如有向图或控制流程图的状态图模型的图形中间表示来确定如何通过状态图模型的元素传播多个采样率。 该图提供了状态图模型的流控制的静态表示，包括备选和/或条件流路径。 本发明通过分析和遍历中间表示来确定采样率的传播。 通过使用本发明的技术，状态图模型可以提供多个采样率输出，例如通过功能调用和输出信号到诸如表示动态系统的模型的图形模型。
-
公开(公告)号：US20070288885A1
公开(公告)日：2007-12-13
申请号：US11436475
申请日：2006-05-17
IPC分类号： G06F9/44
摘要： Methods, mediums and systems are provided to enable a user to program the behaviors of a Unified Modeling Language (UML) model in a graphical programming or modeling environment, such as block diagram programming environment. The UML model is exported into a text-based format, which is subsequently imported into the graphical programming or modeling environment. The graphical programming or modeling environment represents the UML model using functional blocks so that the user can program the behaviors of the UML model. The graphical programming or modeling environment also enables the user to simulate or execute the UML model to determine the behaviors of the UML model
摘要翻译： 提供了方法，介质和系统，以使用户能够在图形编程或建模环境（如框图编程环境）中对统一建模语言（UML）模型的行为进行编程。 UML模型导出为基于文本的格式，随后将其导入到图形编程或建模环境中。 图形编程或建模环境表示使用功能块的UML模型，以便用户可以对UML模型的行为进行编程。 图形编程或建模环境还使用户能够模拟或执行UML模型来确定UML模型的行为
-
公开(公告)号：US08436726B2
公开(公告)日：2013-05-07
申请号：US13283107
申请日：2011-10-27
IPC分类号： G08B19/00
CPC分类号： G06F8/10
摘要： The present invention provides a method and system for stage evaluation of a state machine model. Two types of transitions are used: first-stage transitions and second-stage transitions for a two-stage evaluation. In one embodiment, top-down processing and bottom-up processing may be combined using a two-stage evaluation. First-stage transitions are used with top-down processing while second-stage transitions are used with bottom-up processing. Certain conditions are used to determine if a switch from one type of stage processing to another type of stage processing is needed.
-
6.发明授权System and method for providing indicators of textual items having intrinsic executable computational meaning within a graphical language environment 有权用于在图形语言环境中提供具有内在可执行计算意义的文本项目的指示符的系统和方法公开(公告)号：US08225275B2
公开(公告)日：2012-07-17
申请号：US11827451
申请日：2007-07-11
IPC分类号： G06F9/44
CPC分类号： G06F8/34
摘要： An electronic device with a graphical language environment that includes a method which examines a graphical model to identify textual items having intrinsic executable computational meaning within the graphical model is discussed. The method identifies at least one textual item with intrinsic executable computational meaning. The method further provides an indicator for the at least one identified textual item with intrinsic executable computational meaning in a display of the graphical model. The indicator may be based upon a characteristic of the identified textual item.
摘要翻译： 具有图形语言环境的电子设备包括检查图形模型以识别在图形模型内具有固有的可执行计算意义的文本项目的方法。 该方法识别至少一个具有内在可执行计算意义的文本项目。 该方法进一步提供了在图形模型的显示中具有内在可执行计算意义的至少一个识别的文本项的指示符。 指示符可以基于所识别的文本项的特征。
-
公开(公告)号：US20110295578A1
公开(公告)日：2011-12-01
申请号：US13117936
申请日：2011-05-27
IPC分类号： G06G7/48
CPC分类号： G06F11/3664 , G06F8/10 , G06F8/34 , G06F11/3608
摘要： A system and method generates contextual information for a source model. An identification of one or more first model elements of interest within the source model may be received. One or more constraints on inputs of selected model elements also may be received. A scope of analysis regarding outputs of the first model elements may be specified. The contextual information may be derived automatically for the one or more first model elements. The contextual information may include one or more model elements, signals, or states that are contained with the scope of analysis while execution of the source model is limited by the one or more constraints. The derived contextual information may be provided to an output device.
摘要翻译： 系统和方法为源模型生成上下文信息。 可以接收在源模型中的感兴趣的一个或多个第一模型元素的识别。 也可以接收对所选择的模型元素的输入的一个或多个约束。 可以指定关于第一模型元件的输出的分析范围。 可以为一个或多个第一模型元素自动导出上下文信息。 上下文信息可以包括在分析范围内包含的一个或多个模型元素，信号或状态，而源模型的执行受到一个或多个约束的限制。 导出的上下文信息可以被提供给输出设备。
-
公开(公告)号：US20110219350A1
公开(公告)日：2011-09-08
申请号：US13106951
申请日：2011-05-13
IPC分类号： G06F17/50
CPC分类号： G06F8/10
摘要： The present invention provides a method and system for stage evaluation of a state machine model. Two types of transitions are used: first-stage transitions and second-stage transitions for a two-stage evaluation. In one embodiment, top-down processing and bottom-up processing may be combined using a two-stage evaluation. First-stage transitions are used with top-down processing while second-stage transitions are used with bottom-up processing. Certain conditions are used to determine if a switch from one type of stage processing to another type of stage processing is needed.
摘要翻译： 本发明提供了一种用于状态机模型的阶段评估的方法和系统。 使用两种类型的转换：用于两阶段评估的第一阶段转换和第二阶段转换。 在一个实施例中，自顶向下处理和自底向上处理可以使用两阶段评估来组合。 第一级转换用于自顶向下处理，而第二级转换用于自下而上处理。 使用某些条件来确定是否需要从一种类型的级处理到另一种级处理的切换。
-
公开(公告)号：US09268622B2
公开(公告)日：2016-02-23
申请号：US13117859
申请日：2011-05-27
摘要： A system and method may generate executable block diagrams having blocks that run in accordance with message-based execution semantics. A message may include an input data payload that does not change over time, and the message may persist for only a determined time interval during execution of block diagram. A verification engine may provide one or more tools for evaluating and verifying operation of message-based blocks. The verification engine may support one or more verification blocks that may be added to the block diagram and associated with the diagram's message-based blocks. The verification blocks may capture and present messages exchanged among the message-based blocks. The verification blocks may also specify an expected interaction of messages, and determine whether the actual messages are equivalent to the expected interaction.
-
公开(公告)号：US08464188B1
公开(公告)日：2013-06-11
申请号：US11210538
申请日：2005-08-23
CPC分类号： G06F17/5009 , G06F2217/04
摘要： Systems and methods are provided for a scheme and mechanism for performing static analysis of a sample time aware state diagram model to compute and propagate multiple samples rates associated with the state diagram model. A graphical intermediate representation of the state diagram model, such as a directed graph or control flow graph, is used to determine how the multiple sample rates are propagated via elements of the state diagram model. The graph provides a static representation of the control of flow, including alternative and/or conditional flow paths, of the state diagram model. The present invention determines the propagation of sample rates via analysis and traversal of the intermediate representation. By using the techniques of the present invention, a state diagram model may provide multiple sample rate outputs, such as by function calls and output signals to a graphical model, such as a model representing a dynamic system.
-
-
-
-
-
-
-
-
-
搜索结果
30 条记录 (耗时 0.023 秒)