公开(公告)号：US10545731B1

公开(公告)日：2020-01-28

申请号：US15829302

申请日：2017-12-01

Applicant: The MathWorks, Inc.

Inventor： John E. Ciolfi ,  Sudha S. Dhoorjaty ,  Raju Kottamadal ,  Karthik Srinivasan ,  Rajesh Bandreddi

IPC: G06F9/44 ,  G06F8/34 ,  G06F8/35 ,  G06F17/50

Abstract: Systems and methods provide, as part of an executable graphical model, a region for providing variants that includes one or more computational choices defining alternative execution implementations of the region. Conditions assigned to the one or more computational choices indicate which of the computational choices is active. The conditions specify logical expressions of variables that evaluate to True or False. For a given simulation of the executable graphical model, all of the logical expressions may evaluate to False, such that none of the computational choices are active. All of the computational choices of the executable graphical model may be removed for the given simulation.

公开(公告)号：US10521197B1

公开(公告)日：2019-12-31

申请号：US15829402

申请日：2017-12-01

Applicant: The MathWorks, Inc.

Inventor： John E. Ciolfi ,  Sudha S. Dhoorjaty ,  Raju Kottamadal ,  Karthik Srinivasan ,  Rajesh Bandreddi

IPC: G06F8/34 ,  G06F8/35

Abstract: Systems and methods provide, as part of an executable graphical model, a region for providing variants that includes one or more computational choices defining alternative execution implementations of the region. Conditions assigned to the one or more computational choices indicate which of the computational choices is active. The conditions specify logical expressions of variables that evaluate to True or False. Two or more of the logical subexpressions may be combined to form a combination logical expression, which may be assigned to two or more model elements included in at least one of the computational choices. The combination logical expression may be decomposed into its logical subexpressions, and at least one of the decomposed logical subexpressions may be traced to one or more of the model elements to which the at least one of the logical subexpressions is assigned.

公开(公告)号：US09489290B1

公开(公告)日：2016-11-08

申请号：US14072515

申请日：2013-11-05

Applicant: The MathWorks, Inc.

Inventor： David M. Boissy ,  John E. Ciolfi

IPC: G06F9/44 ,  G06F11/36

CPC classification number: G06F11/3688

Abstract: Disclosed herein are tools and methods for selecting and scheduling executable test program the use in testing, evaluating, monitoring, and analyzing an executable test program or any portion thereof. The tools and methods disclosed can analyze an executable test program developed in a text based programming language environment and an executable test program developed in a graphical modeling based programming environment. The tools and methods identify and analyze the quantitative measures of an executable test program and compute one or more scores for the executable test program. The tools and methods can use the scores computed to rank and order the executable test programs for execution to test an executable program or any portion thereof.

Abstract translation: 这里公开了用于选择和调度可执行测试程序的用于测试，评估，监视和分析可执行测试程序或其任何部分的工具和方法。 所公开的工具和方法可以分析在基于文本的编程语言环境中开发的可执行测试程序和在基于图形建模的编程环境中开发的可执行测试程序。 工具和方法识别和分析可执行测试程序的定量测量，并计算可执行测试程序的一个或多个分数。 这些工具和方法可以使用计算出的分数对可执行测试程序进行排序和排序以执行以测试可执行程序或其任何部分。

公开(公告)号：US12086204B1

公开(公告)日：2024-09-10

申请号：US18209702

申请日：2023-06-14

Applicant: The MathWorks, Inc.

Inventor： Fu Zhang ,  Murali K. Yeddanapudi ,  Pieter J. Mosterman ,  John E. Ciolfi ,  Ebrahim Mehran Mestchian

IPC: G06F17/11 ,  G06F3/04842 ,  G06F16/248 ,  G06F16/332

CPC classification number: G06F17/11 ,  G06F3/04842 ,  G06F16/248 ,  G06F16/3328

Abstract: A method and system automatically generates a display of symbolic equations from a graphical model (or vice versa) which is readable, parametric, and interactive.

公开(公告)号：US11520956B2

公开(公告)日：2022-12-06

申请号：US17352818

申请日：2021-06-21

Applicant: The MathWorks, Inc.

Inventor： Haihua Feng ,  Tao Cheng ,  John E. Ciolfi ,  Pieter J. Mosterman ,  Fu Zhang

IPC: G06F30/20 ,  G06F30/15 ,  G06F30/333

Abstract: Systems and methods automatically construct a realization of a model from an available set of alternative co-simulation components, where the realization meets one or more objectives, such as fidelity, execution speed, or memory usage, among others. The systems and methods may construct the realization model by setting up and solving a constrained optimization problem, which may select particular ones of the alternative co-simulation components to meet the objectives. The systems and methods may configure the realization, and execute the realized model through co-simulation. The systems and methods may employ and manage different execution engines and/or different solvers to run the realization of the model.

公开(公告)号：US20210312110A1

公开(公告)日：2021-10-07

申请号：US17352818

申请日：2021-06-21

Applicant: The MathWorks, Inc.

Inventor： Haihua Feng ,  Tao Cheng ,  John E. Ciolfi ,  Pieter J. Mosterman ,  Fu Zhang

IPC: G06F30/20

Abstract: Systems and methods automatically construct a realization of a model from an available set of alternative co-simulation components, where the realization meets one or more objectives, such as fidelity, execution speed, or memory usage, among others. The systems and methods may construct the realization model by setting up and solving a constrained optimization problem, which may select particular ones of the alternative co-simulation components to meet the objectives. The systems and methods may configure the realization, and execute the realized model through co-simulation. The systems and methods may employ and manage different execution engines and/or different solvers to run the realization of the model.

公开(公告)号：US11126407B1

公开(公告)日：2021-09-21

申请号：US16715883

申请日：2019-12-16

Applicant: The MathWorks, Inc.

Inventor： John E. Ciolfi ,  Sudha S. Dhoorjaty

IPC: G06F9/44 ,  G06F8/34 ,  G06F30/20 ,  G06F8/35

Abstract: Systems and methods provide, as part of an executable graphical model, a region for providing variants that includes one or more computational choices defining alternative execution implementations of the region. Conditions assigned to the one or more computational choices indicate which of the computational choices is active. The conditions specify logical expressions of variables that evaluate to True or False. For a given simulation of the executable graphical model, all of the logical expressions may evaluate to False, such that none of the computational choices are active. All of the computational choices of the executable graphical model may be removed for the given simulation.

公开(公告)号：US10740514B1

公开(公告)日：2020-08-11

申请号：US14189591

申请日：2014-02-25

Applicant: The MathWorks, Inc.

Inventor： Fu Zhang ,  Robert O. Aberg ,  Murali K. Yeddanapudi ,  John E. Ciolfi ,  Pieter J. Mosterman ,  Zhi Han

IPC: G06F17/50 ,  G06F30/23

Abstract: A device may receive a model that includes multiple blocks. The model may include first variables that contribute to a first calculation and second variables that contribute to a second calculation. The device may determine first dependencies associated with the first variables and may determine second dependencies associated with the second variables. The device may generate a first execution function based on determining the first dependencies. The first execution function may identify first blocks that are to be executed to perform the first calculation. The device may generate a second execution function based on determining the second dependencies. The second execution function may identify second blocks that are to be executed to perform the second calculation. The device may cause the first blocks and the second blocks to be executed in a different manner based on the first execution function and the second execution function.

公开(公告)号：US09442702B1

公开(公告)日：2016-09-13

申请号：US13835918

申请日：2013-03-15

Applicant: The MathWorks, Inc.

Inventor： Yogesh Dalal ,  John E. Ciolfi ,  Sanjai Singh

IPC: G06F9/44

CPC classification number: G06F8/34

Abstract: A device receives information that identifies a parameter associated with a masked block that represents elements of a block diagram model that, when executed, simulates a behavior of a system. The masked block is associated with a first user interface that allows a value of the parameter to be specified for the masked block. The device receives an indication that the parameter is to be associated with a derived block that represents the elements of the block diagram model. The derived block inherits one or more properties from the masked block. The device creates the derived block, and associates the derived block with the parameter and a second user interface that allows a value of the parameter to be specified for the derived block. The device outputs or stores information that identifies the parameter, the derived block, and the association between the parameter and the derived block.

Abstract translation: 设备接收标识与被屏蔽块相关联的参数的信息，所述参数表示被执行时模拟系统行为的框图模型的元素。 被屏蔽的块与第一个用户界面相关联，允许为被掩码的块指定参数的值。 该设备接收到该参数将与代表框图模型的元素的派生块相关联的指示。 派生块从掩蔽块继承一个或多个属性。 设备创建派生块，并将派生块与参数相关联，第二个用户界面允许为派生块指定参数的值。 设备输出或存储标识参数，导出块以及参数与派生块之间关联的信息。

公开(公告)号：US09378562B1

公开(公告)日：2016-06-28

申请号：US13724620

申请日：2012-12-21

Applicant: The MathWorks, Inc.

Inventor： John E. Ciolfi ,  Sanjai Singh ,  Amar Nath Satrawala

IPC: G06F7/60 ,  G06T11/00 ,  G06T17/00

CPC classification number: G06T11/00 ,  G06F17/50 ,  G06T17/00

Abstract: A device receives variants associated with a model generated in a graphical modeling environment, and determines a hierarchy of the variants based on a hierarchy of the model. The device receives mode information for the variants, where the mode information includes a subset of a number of variant permutations. For each mode, the device receives control variables for the variants and optional constraints for the variants in the mode. The control variables define which variants are active, and the optional constraints ensure modeling correctness by enabling identification of conflicts between the variants. The device generates a variant manager tool based on the hierarchy of the variants, the mode information, the control variables, and the optional constraints, and outputs or stores variant information via the variant manager tool.

Abstract translation: 设备接收与在图形建模环境中生成的模型相关联的变体，并且基于模型的层次来确定变体的层次结构。 设备接收用于变型的模式信息，其中模式信息包括多个变体排列的子集。 对于每个模式，设备将接收变量的控制变量和模式中变体的可选约束。 控制变量定义哪些变体是活动的，并且可选约束通过确定变体之间的冲突来确保建模的正确性。 该设备基于变体的层级，模式信息，控制变量和可选约束生成变体管理器工具，并通过变体管理器工具输出或存储变体信息。