Abstract: A method includes in a system determining a constraint for constraining operation of a portion of a block diagram model, determining if the portion of the block diagram model violates the constraint, and providing a user information based on the violating of the first constraint.
Type:
Application
Filed:
April 15, 2010
Publication date:
August 5, 2010
Applicant:
THE MATHWORKS, INC.
Inventors:
Donald Paul Orofino, II, Michael James Longfritz, Ramamurthy Mani, Darel Allen Linebarger
Abstract: A system for modeling, simulating and analyzing chemical and biochemical reactions includes a modeling environment for constructing a model of a chemical or biochemical system comprising a plurality of chemical reactions. Each chemical reaction has a probability distribution associated therewith based on the kinetics of the particular chemical reaction. The probability distribution may be set by a user, determined automatically, or experimentally determined. The system also includes a simulation engine accepting as input said constructed model of the chemical or biochemical system and generating as output an expected result. The simulation engine calculates a reaction time for each chemical reaction based on the probability distribution associated with the particular chemical reaction. An analysis environment communicates with the simulation engine and displays the expected result.
Abstract: Methods and systems for making a reference to a resource in modeling environments are disclosed. The resource to which the reference is made includes the data of the system designed and/or executed in the modeling environments. The system includes subsystems and hierarchical references are made to the data of the subsystems. In response to users' action to select one of the hierarchical references to the resource, the hierarchical references included in the selected hierarchical reference are provided to users so that the users may navigate the data of the subsystems and select one of the subsystems. If users activate the selected hierarchical reference, the data corresponding to the selected hierarchical reference is retrieved and provided to the users.
Abstract: In a graphical modeling environment, one of a selection of transformation operations is performed on a graphical object by first selecting the graphical object. A user may select a particular transformation operation to be executed on the graphical object from a list of transformation operations displayed to the user. A transformed graphical object derived from the selected graphical object may be then automatically created without retrieving the transformed graphical object from a library or other source.
Abstract: A dynamic collaboration of processes in a concurrent computing environment is disclosed. A user can modify the size of collaboration or the number of processes that execute a computational job after the processes have been launched on the concurrent computing environment. A launched or running process can establish a communication channel with other processes in the collaboration so that the launched or running process can join the collaboration to execute the job. The user can also release a process from the collaboration so the released process can join a new collaboration to execute a different job. Once a job is completed, the processes can leave the collaboration, and the processes are then free to join a new collaboration subsequently.
Abstract: A computer-implemented method may include defining an input bus signal in a graphical block diagram model by associating the input bus signal with a first group of signals, at least two of the first group of signals having a different data type; defining an output bus signal in the graphical block diagram model by associating the second bus signal with a second group of signals, each of the second group of signals corresponding to one of the first group of signals; defining an input to a non-virtual operation block in the graphical block diagram model as the input bus signal; defining an output to the non-virtual operation block in the graphical block diagram as the output bus signal; and simulating an operation performed on the input bus signal by the non-virtual operation block, the operation being performed on each of the first group of signals and output to each of the second group of signals.
Abstract: Exemplary embodiments support multi-threaded subgraph execution control within a graphical modeling or graphical programming environment. In an embodiment, a subgraph may be identified as a subset of blocks within a graphical model, or graphical program, or both. A subgraph initiator may explicitly execute the subgraph while maintaining data dependencies within the subgraph. Explicit signatures may be defined for the subgraph initiator and the subgraph either graphically or textually. Execution control may be branched wherein the data dependencies within the subgraph are maintained. Execution control may be joined together wherein the data dependencies within the subgraph are maintained. Exemplary embodiments may allow subgraphs to execute on different threads within a graphical modeling or programming environment.
Type:
Application
Filed:
December 9, 2009
Publication date:
July 8, 2010
Applicant:
THE MATHWORKS, INC.
Inventors:
John Edward CIOLFI, Ramamurthy MANI, Qu ZHANG
Abstract: In a computer-implemented method for transferring data, data is received from an external source, the data comprising a plurality of units. Each unit of the data is formatted into a formatted data unit having a first format. A full buffer is formed by storing the formatted data units in a data buffer. Contents of the full buffer is provided to an internal data sink, wherein the internal data sink is configured to provide the data units of the full buffer to a data converter, the data converter providing the data units to one or more external data sinks in an associated external data sink compatible format.
Type:
Grant
Filed:
December 4, 2006
Date of Patent:
July 6, 2010
Assignee:
The MathWorks, Inc.
Inventors:
Christian A. Portal, David T. Leffingwell
Abstract: A method and apparatus for enabling interactive programming and/or development environments with the ability to dynamically host ActiveX controls and Java components simultaneously in the same figure window is provided. This type of hosting ActiveX controls is different from the industry standard in that the ActiveX control can be chosen dynamically at runtime. A Java container is disposed in a Java-based operating system window. A plurality of Java canvases are configured in the figure window, such that each Java canvas is supported by the Java container. A plurality of components are positioned on the plurality of Java canvases. Each of the plurality of components can be dynamically added and removed from the plurality of Java canvases without re-creation of the operating system window. Furthermore, at least one of the components does not contain a Java class or a Java interface.
Abstract: A method and system is disclosed for dynamic licensing of software products in a distributed system. A job is generated by a master (or client) and the tasks in the job are distributed to a cluster of workers for the distributed execution of the job. The tasks are distributed with information on the software products for which the master is licensed. The workers receive the tasks with the information on the software products for which the master is licensed. The workers dynamically provide licenses for the software products which the master is licensed for. The workers execute the tasks using the dynamically provided licenses for the software products. The results from the execution of the tasks are returned to the client.
Type:
Grant
Filed:
July 21, 2004
Date of Patent:
July 6, 2010
Assignee:
The Mathworks, Inc.
Inventors:
Loren Dean, Matt Shawver, Eric Raffi, Roy Lurie
Abstract: A software tool in a graphical modeling environment guides a user through the process of preparing a graphical model for embedded code generation. The software tool prompts the user to specify code generation goals for the embedded code and provides feedback to the user regarding the compliance of the graphical model with the specified goals. The software tool can perform selected checks and analysis on the graphical model prior to code generation to ensure compliance with specified conditions. The software tool update parameters of the graphical model to comply with the specified goals, to produce optimized target software based on the model.
Abstract: This invention allows users to build, manipulate, and finally deploy various model configurations with little performance overhead, better syntactic clarity and configuration flexibility.
Abstract: A method and system for providing a block for use in a block diagram in a graphical modeling environment which is capable of outputting information regarding the dynamic state of the block.
Abstract: Exemplary embodiments allow subgraph execution control within a graphical modeling or graphical programming environment. In an embodiment, a subgraph may be identified as a subset of blocks within a graphical model, or graphical program, or both. A subgraph initiator may explicitly execute the subgraph while maintaining data dependencies within the subgraph. Explicit signatures may be defined for the subgraph initiator and the subgraph either graphically or textually. Execution control may be branched wherein the data dependencies within the subgraph are maintained. Execution control may be joined together wherein the data dependencies within the subgraph are maintained.
Type:
Application
Filed:
December 9, 2009
Publication date:
June 17, 2010
Applicant:
THE MATHWORKS, INC.
Inventors:
John Edward CIOLFI, Ramamurthy MANI, Qu ZHANG
Abstract: A system and a method for implementing the system are provided. The system may include a non-Java-based application to communicate in a remote session, via a network including a plurality of remote method invocation (RMI) services, to a Java-based application using RMI; a configuration file including a reference to the non-Java based application; an RMI registry to register a set of the RMI services and the non-Java-based application using the configuration file; and an RMI activation system daemon to manage the non-Java-based application in the remote session.
Abstract: Methods and systems for controlling versions of models in modeling environments are disclosed. The versions of models and component interfaces are stored in a repository and checked in and out of the repository. The version designation of a model is changed when the model is checked in the repository. A selected version of the model is checked out of the repository and loaded directly in a memory so that users may load the selected version of the model without error. The loaded model is displayed with information on the version of the model. The version information may include the version number and author of the version. The version information may also include information on whether the model is locked with a version or in a read only mode.
Type:
Grant
Filed:
July 8, 2004
Date of Patent:
June 15, 2010
Assignee:
The MathWorks, Inc.
Inventors:
Ricardo Monteiro, Mojdeh Shakeri, Michael David Tocci, Robert O. Aberg, Pieter J. Mosterman
Abstract: A method for forecasting batch end conditions through their depiction as a multi-dimensional regions of uncertainty is disclosed. A visualization of the current condition of a continuous process and visualization of the simulated effect of user control moves are generated for a user. Volume visualization tools for viewing and querying intersecting solids in 3-dimensional space are utilized to perform the process visualization. Interactive tools for slicing multi-dimensional (>3) regions and drawing superimposed projections in 3-D space are provided. Additionally, graphical manipulation of the views of process conditions is accomplished by changing the hypothetical future values of contributing variables online in order to provide users the ability to simulate the effect of proposed control actions.
Abstract: In one embodiment, a design is verified by creating a graphical model with a graphical modeling tool executing on a computing device. The graphical model may include a plurality of model elements. A postcondition element is coupled to a selected model element of the plurality of model elements. The postcondition element is associated with a desired result. The graphical model is employed to generate an executable form of the design. The executable form of the design and an indication of the desired result are provided to a verification tool, to instruct the verification tool to implement one or more verification scenarios.
Abstract: The present invention provides methods and systems for using a element in a graphical model to represent and identify a postcondition for use by a verification tool in verifying an executable form of the design represented by the graphical model. The postcondition element comprises desired result for verification without affecting the behavior of the design. The desired result is to be achieved or tested for in verifying the design. As such, the postcondition element of the present invention provides a mechanism and formalism in a model-based design approach that is used to direct automatically generated tests or verification of the design represented by the graphical model.
Abstract: A system generates an executable process for execution by a concurrent computing environment, generates a configuration that specifies configurable properties of the concurrent computing environment, and initiates execution of the executable process, with the concurrent computing environment, to initiate configuration of the concurrent computing environment based on the configurable properties of the configuration.