-
公开(公告)号：US11829689B1
公开(公告)日：2023-11-28
申请号：US16896723
申请日：2020-06-09
Applicant: The MathWorks, Inc.
Inventor： Raju Kottamadal , John E. Ciolfi , Sudhir Kumar , Ebrahim M. Mestchian , Vineeth Kartha
IPC: G06F30/20 , G06F111/10
CPC classification number: G06F30/20 , G06F2111/10
Abstract: Systems and methods establish, activate, and deactivate variant choices within an acausal physical component model of a physical system. The systems and methods utilize variant connector blocks to establish cut points in a physical network defined by the physical model. The cut points may be programmatically controlled to activate and/or deactivate a variant choice. The variant connector blocks may include internal connections that may be programmatically controlled to be either open or closed in order to cut or include a variant choice in the acausal physical component model. Variant conditions or labels may be associated with the internal connections, and the systems and methods may evaluate the variant conditions and/or examine the labels to determine whether the internal connections are open or closed.
-
公开(公告)号：US11144434B2
公开(公告)日：2021-10-12
申请号：US16731438
申请日：2019-12-31
Applicant: The MathWorks, Inc.
Inventor： William Potter , William Aldrich , Aaron Hughes , Anjali Joshi , Zsolt Kalmar , Ebrahim M. Mestchian
IPC: G06F11/36
Abstract: Systems and methods for coverage analysis using context information are described. The systems and methods can be used to obtain program code and test information for testing the program code, the test information associated with context information for providing context for testing the program code. Coverage information can be generated by testing the program code according to the test information. A first association can be generated between the context information and the test information. A second association can be generated between the context information and the program code. A third association can be generated between the coverage information and the test information. A subset of the coverage information can be determined based on the third association and a fourth association between the test information and the program code determined based on the first and second associations. An indication of the subset of the coverage information can be displayed.
-
公开(公告)号：US10725440B1
公开(公告)日：2020-07-28
申请号：US15443646
申请日：2017-02-27
Applicant: The MathWorks, Inc.
Inventor： Kerry E. Grand , Yang Xu , Ebrahim M. Mestchian
Abstract: Embodiments include techniques for estimating unknown or missing values for parameters of a motor based on high-level motor information and using the estimated parametric values in generating an executable model for modeling the behavior of the motor. An aspect of the techniques involves assumptions used to establish the predetermined parametric values that are applied to the algorithm for deriving estimates of the unknown parametric values for the motor. The estimated parametric values may then be used in the executable model of the motor to enable development and simulation of a plant (e.g., a closed loop system) including a plant model having a dynamic controller model and a lumped parameter model of a modeling environment of a technical computing environment executing on a data processing system. The simulation of the plant loop can be sufficient to test the dynamic (e.g., feedback-based) controller within a closed loop system, e.g., test motion control of a motorized vehicle seat.
-
公开(公告)号：US20210200519A1
公开(公告)日：2021-07-01
申请号：US16728993
申请日：2019-12-27
Applicant: The MathWorks, Inc.
Inventor： Ebrahim M. Mestchian
Abstract: Systems and methods for syntactical change-resistant code generation are described. A code generator can generate syntactical change-resistant code from original code and new code, where the new code may be intended as a replacement or update for the original code. The code generator can determine, for code portions and/or sub-portions of the new code, whether or not semantic, syntactic, and structural differences from the original code exist. The code generator can generate the syntactical change-resistant code to leverage and include in the syntactical change-resistant code portions and sub-portions of the original code that have been used and tested, so as to improve reliability of the syntactical change-resistant code.
-
公开(公告)号：US20200379886A1
公开(公告)日：2020-12-03
申请号：US16731438
申请日：2019-12-31
Applicant: The MathWorks, Inc.
Inventor： William Potter , William Aldrich , Aaron Hughes , Anjali Joshi , Zsolt Kalmar , Ebrahim M. Mestchian
IPC: G06F11/36
Abstract: Systems and methods for coverage analysis using context information are described. The systems and methods can be used to obtain program code and test information for testing the program code, the test information associated with context information for providing context for testing the program code. Coverage information can be generated by testing the program code according to the test information. A first association can be generated between the context information and the test information. A second association can be generated between the context information and the program code. A third association can be generated between the coverage information and the test information. A subset of the coverage information can be determined based on the third association and a fourth association between the test information and the program code determined based on the first and second associations. An indication of the subset of the coverage information can be displayed.
-
Patent Agency Ranking
公开(公告)号：US11354463B1
公开(公告)日：2022-06-07
申请号：US16580048
申请日：2019-09-24
Applicant: The MathWorks, Inc.
Inventor： Mohamed Babaali , Wurigen Bo , Kiran K. Kintali , Shomit Dutta , Ebrahim M. Mestchian , Naman Saraf
IPC: G06F30/20 , G06F8/35 , G06F17/16 , G06F17/13 , G06F111/10
Abstract: A solver may generate a system of equations for an acausal model. A partitioning engine may transform at least some of the equations into groups of equations whose inputs/outputs are connected directly. The partitioning engine may transform at least some of the equations into groups of linear equations and/or groups of switched linear equations that are connected through nonlinear functions. The solver may determine input-output relationships of the groups of equations. A simulation model generator that may include a library of types of model elements may construct a causal simulation model.
-
7.发明申请EXTENSION OF MODEL-BASED DESIGN TO IDENTIFY AND ANALYZE IMPACT OF RELIABILITY INFORMATION ON SYSTEMS AND COMPONENTS 有权扩展基于模型的设计来识别和分析可靠性信息对系统和组件的影响公开(公告)号：US20160357895A1
公开(公告)日：2016-12-08
申请号：US15171613
申请日：2016-06-02
Applicant: The MathWorks, Inc.
Inventor： Richard Hyde , Ebrahim M. Mestchian
Abstract: Methods and devices for providing and using a technical computing environment (TCE) for receiving a TCE model that, when executed, simulates behavior of a dynamic physical system, and that represents one or more physical components and their respective reliability information in a block diagram model. Applications of the model include automated system-level datasheet and bill of materials generation, component reliability information discovery, fault and stress assertions, and identification of emergent faults.
Abstract translation: 用于提供和使用技术计算环境（TCE）的方法和设备，用于接收在执行时模拟动态物理系统的行为并且表示一个或多个物理组件及其各自的可靠性信息的模块图模型中的TCE模型 。 该模型的应用包括自动化系统级数据表和材料清单生成，组件可靠性信息发现，故障和压力断言以及紧急故障的识别。
-
公开(公告)号：US20160132371A1
公开(公告)日：2016-05-12
申请号：US14997027
申请日：2016-01-15
Applicant: The MathWorks, Inc.
Inventor： Alan J. Moore , Ebrahim M. Mestchian
Abstract: 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.
Abstract translation: 系统和方法可以生成具有根据基于消息的执行语义运行的块的可执行框图。 消息可以包括不随时间改变的输入数据有效载荷，并且消息可以在执行框图期间仅持续确定的时间间隔。 验证引擎可以提供用于评估和验证基于消息的块的操作的一个或多个工具。 验证引擎可以支持一个或多个可以被添加到框图并与图的基于消息的块相关联的验证块。 验证块可以捕获并呈现在基于消息的块之间交换的消息。 验证块还可以指定消息的预期交互，并确定实际消息是否等同于预期的交互。
-
公开(公告)号：US11048487B1
公开(公告)日：2021-06-29
申请号：US16728993
申请日：2019-12-27
Applicant: The MathWorks, Inc.
Inventor： Ebrahim M. Mestchian
Abstract: Systems and methods for syntactical change-resistant code generation are described. A code generator can generate syntactical change-resistant code from original code and new code, where the new code may be intended as a replacement or update for the original code. The code generator can determine, for code portions and/or sub-portions of the new code, whether or not semantic, syntactic, and structural differences from the original code exist. The code generator can generate the syntactical change-resistant code to leverage and include in the syntactical change-resistant code portions and sub-portions of the original code that have been used and tested, so as to improve reliability of the syntactical change-resistant code.
-
公开(公告)号：US10423884B2
公开(公告)日：2019-09-24
申请号：US15171613
申请日：2016-06-02
Applicant: The MathWorks, Inc.
Inventor： Richard Hyde , Ebrahim M. Mestchian
Abstract: Methods and devices for providing and using a technical computing environment (TCE) for receiving a TCE model that, when executed, simulates behavior of a dynamic physical system, and that represents one or more physical components and their respective reliability information in a block diagram model. Applications of the model include automated system-level datasheet and bill of materials generation, component reliability information discovery, fault and stress assertions, and identification of emergent faults.
-
-
-
-
-
-
-
-
-
Search Results
11
records
(took 0.015 seconds)
