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.

Abstract: Methods and systems for translating models generated in one modeling environment into models that can be used in other modeling environments. In particular, information regarding a relationship between components of models in one modeling environment is translated into corresponding elements of models in other modeling environments. In some embodiments of the present invention, for example, mate information between rigid parts in geometric models may be translated into corresponding elements in other modeling environments. The mate information between parts in geometric models may be translated into information representing the degrees of freedom (DoFs) of the parts in the geometric models. The information on the DoFs of the parts in the geometric models may be utilized to build up corresponding elements in other modeling environments that represent the relationship between the parts of the geometric models.

Abstract: The present invention provides a method a system for facilitating enhanced processing of state diagrams in a state diagram environment. The method may include top-down processing a current state in a state diagram environment; determining whether processing of the current state results in an exception event; and passing the exception event to a superstate that includes the current state when it is determined that the current state results in an exception event. The superstate may be made the current state and it may be determined whether the current state can handle the exception event. When it is determined that the current state cannot handle the exception event, it may be determined whether the current state has a second superstate that includes the current state. An error event may be output from the state diagram environment when it is determined that the current state does not have a second superstate.

Abstract: A verification tool in a graphical modeling environment allows the components in the graphical modeling environment to be used to define error or exceptional conditions without adverse affects on the ultimate implementation of the model. In one example, a system presents a graphical interface to facilitate design of a model constructed from graphical blocks; receives an association of a plurality of blocks with a verification subsystem; and performs an operation to verify that the blocks in the verification subsystem do not affect operation of the model external to the verification system.

Abstract: A method for modeling a system as a finite state machine in a modeling environment is discussed. Embodiments receive a representation of a finite state machine model and provide an interface for incorporating a temporal operator into the finite state machine model. The temporal operator may be a Boolean function that includes at least one event parameter and defines a temporal logic condition. Embodiments may also receive a definition of a first temporal operator that defines a logic condition related to a number of occurrences of two or more different base events.

Abstract: The present invention allows a user to graphically define a hierarchy of user-defined, executable classes of graphical objects that can be implemented in a graphical model. The present invention supports the features of inheritance, abstraction and polymorphism. Further, descendant classes of graphical objects can graphically extend the behavior and/or structure of ancestor classes of graphical objects.

Abstract: An automated model componentization feature systematically converts duplicate or otherwise amenable patterns in a model into references. Multiple references are simplified to one unit that contains the otherwise duplicated functionality. Duplicated or selected functionality is identified based on a number of arguments that may be user supplied. These arguments include the level of polymorphism (i.e., which of the sample times, dimensions, and data types can be propagated in) but also the maximum size of the patterns to look for to address the general trade-off of generating few partitions with many blocks or many partitions with few blocks and which modeling constructs are used (e.g., whether Go To/From connections such as in Simulink® are present). Model conversions can result in potentially disjoint partitions.

Abstract: A computer-implemented method for a computing environment employing a matrix-based mathematical programming language includes: generating a heterogeneous dataset in the computing environment, where the heterogeneous dataset embodies a plurality of variables for a plurality of subjects, where each element of a respective variable has a same data type, where the variables comprise at least two data types; accessing contents of the heterogeneous dataset with a single command in the computing environment, where the single command is a brace command, a dot command, or a parentheses command; and providing in the computing environment a portion of the heterogeneous dataset based on the single command.

Abstract: Graphical programming or modeling environments, such as a block diagram environment, are disclosed in which dependencies that influence how a model executes are defined without altering the visual representation of the model. In the graphical modeling or programming environment, users create a model that describes how the system is to execute. The users can then augment the model with non-graphical dependencies that provide general execution goals or specific dependencies between blocks. The user can augment the graphical model with dependency constraints specifying how the model should execute. The constraints are coupled to the model and can be optionally displayed on the model in a debugging/analysis mode to provide further insight into how the model executes.

Abstract: A graphical block that defines the functionality of a lookup table and can be used in a block diagram model to capture time-varying characteristics of a system's behavior in the lookup table is presented. The block uses input and output data of the system to dynamically create and update the contents of the underlying lookup table over time. More specifically, the block utilizes an adaptation process that uses the system (or plant) output data to recompute the table values. The adaptation process is implemented as a statistical and signal processing algorithm, such as Recursive Sample Means (RSM), Least Mean Squares (LMS) and Recursive Least-Squares (RLS). The adaptation can be cell-based or point based.

Abstract: A computer-implemented method for marking-up an executable model includes: displaying the executable model; associating an electronic overlay with the executable model, the electronic overlay operating with the executable model without changing the contents of the executable model; and indicating an electronic markup to the executable model using the electronic overlay wherein the electronic markup affects functionality of the executable model when the executable model is executed with the electronic overlay.

Abstract: In one embodiment, a system, method and computer readable media are disclosed for trimming geographic data that defines polygons to boundaries of a quadrangle. The geographic data is converted to map coordinates in a novel azimuthal map projection. Each map projected point in the azimuthal map projection has an azimuthal angle that is proportional to longitude of the point, and has a radius from the center of the azimuthal map projection that is proportional to both the longitude and latitude of the point. Polygons are trimmed along a lower limit of the quadrangle and along an upper longitude limit of the quadrangle using the azimuthal map projection. The map coordinates in the azimuthal map projection are then converted back to geographic data.

Abstract: The present invention provides systems and methods for transfer of information between various modeling environments in a model of a system. In one embodiment, a system and method for transferring data between a discrete event model environment and an external model environment other than a discrete event environment is provided.

Abstract: A mechanism for providing equation-level diagnostic error messages for system models undergoing circuit simulations is discussed. The components in a model of a system being simulated are converted into multiple numerical equations where each equation corresponds to a component in the system being simulated or a topology equation for the system model. Each numerical equation is numerically analyzed in order to identify illegal configurations in the system. Upon detection of an error, an error message listing the components associated with the illegal configuration is generated for the user.

Abstract: The present invention enables customized technical computing within a database. The present invention provides a method and system to insert a software function implemented in a technical computing environment into a database to manipulate data and use the software function as a database procedure. Once the software function is generated, in response to a single action being performed, two components are generated and stored in the database. The two components working together allow the software function to be invoked as a database procedure. The present invention offloads a user's burden to learn the often complicated database query language and decreases the amount of network traffic between a client computer and a database.

Abstract: Exemplary embodiments allow executable graphical models, such as block diagram models, to be graphically partitioned for execution on concurrent computing resources. Embodiments allow model components to be grouped into subtasks that are affiliated with tasks associated with concurrent computing resources. Tasks and sub graphs can be mapped to concurrent computing resources according to characteristics, such as sample time, solver type, etc. Embodiments further allow mappings to be visually indicated to a user via various display techniques including color, text, icons, shading, grouping of identifiers, etc. Concurrently executing portions of a model allows model results to be obtained faster than can be obtained when models are executed on a single computing resource, such as a single processor.

Abstract: Methods, systems and computer program products are disclosed for automatically generating hardware description language code from a model. The hardware description language code may be generated from a graphical program/model, such as a block diagram model. The hardware description language code may also be generated from a text-based program/model, such as a model created using MATLAB® tools. In particular, the present invention provides for the automatic code generation of an interface between components in the model. The present invention may provide options for selecting at least one of multiple types or styles of the component interfaces in the model. The selection of the interface types or styles may be controlled by the user or inferred by other parameters, such as implementation parameters.

Abstract: In an implementation, a computing device-implemented method includes identifying a non-blocking block in a graphical block diagram that includes the non-blocking block and other blocks, the other blocks including one or more non-blocking blocks, one or more blocking blocks, or a combination of one or more non-blocking blocks and one or more blocking blocks, determining whether one or more of the other blocks are dependent on an output from the non-blocking block, and partitioning execution of the non-blocking block into two or more execution stages, generating an order of execution of the graphical blocks, the order including a first stage of execution of the two or more execution stages for the non-blocking block, followed by an execution of one or more of the other blocks that have been determined not be dependent on the output from the non-blocking block, followed by a second stage of execution of the two or more execution stages.

Abstract: A memory profiler is provided in a programming environment. The memory profiler records memory usage information at a point of a program that runs in the programming environment. The memory profiler may record information on the amount of allocated memory, the amount of freed memory and the amount of peak memory usage. The memory profiler may also record the number of allocations and frees. The memory usage information is associated with individual points in the program so that a user can utilize this information to change the program to use less memory. With the memory usage information, the present invention enables a user to recognize how much memory is being allocated and used on behalf of a program and to track down what code is actually causing a problem in the program.

Abstract: An instrument-based distributed computing system is disclosed that accelerates the measurement, analysis, verification and validation of data in a distributed computing environment. A large computing work can be performed in a distributed fashion using the instrument-based distributed system. The instrument-based distributed system may include a client that creates a job. The job may include one or more tasks. The client may distribute a portion of the job to one or more remote workers on a network. The client may reside in an instrument. One or more workers may also reside in instruments. The workers execute the received portion of the job and may return execution results to the client. As such, the present invention allows the use of instrument-based distributed system on a network to conduct the job and facilitate decreasing the time for executing the job.