Abstract: The present invention provides a method and system to implement a distributed array using the distributed property as an attribute attachable to an array. The present invention maintains the top level array implementation so as to avoid making the top level users to learn how to use a brand new class for creating and manipulating distributed arrays.

Abstract: When a method is invoked from a computing environment, techniques presented herein automatically compare array input parameters with data-types accepted by methods defined within the object-oriented environment. Based on this comparison, the invention selects a method that best accepts the input arrays. The invention, therefore, allows a user to easily invoke methods from external objects, such as Java objects, directly from the technical computing environment of the mathematical tool.

Abstract: A method and system is provided that allows a well-behaved program to execute more quickly than dynamically typed programming languages did in the past, thereby allowing a the dynamically typed language to be competitive with static declarative programming languages. A method includes converting lines of source code representing functions to byte-codes representing functions, selecting a subsequence of the byte-codes based on the byte-codes and the dynamic run-time properties of program variables, generating processor instructions in a compiler for the subsequence, and interpreting the byte-codes not contained in the subsequence.

Abstract: A tool that can be used in connection with a programming or modeling environment is disclosed. The tool can be incorporated into the programming or modeling environment or implemented separately from the programming or modeling environment. The tool receives the execution or simulation results data of the programs or models from the programming or modeling environment, and analyzes the data to provide information on the execution results of the programs or models to a user, such as a programmer and a designer. The information is provided to the user in such a manner that the user can perceive the execution results easily.

Abstract: Methods and systems for the design and execution of an aerospace or aeronautic system are provided. The aerospace or aeronautic system may incorporate planetary environment models and models of equations of motion. The planetary environment models mathematically represent planetary environment specifications, such as atmosphere and wind. Atmosphere models include standard day atmosphere models and non-standard day atmosphere models, and wind models include continuous wind turbulence models and discrete wind turbulence models. The models of equations of motion include models of three-degree-of-freedom equations of motion with variable mass and models for six-degree-of-freedom equations of motion with variable mass. As a result, the present invention can design and execute a target system more accurately than the conventional system that provides only standard day planetary environment models, continuous wind turbulence models, or fixed mass equations of motion models.

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: A method of synchronizing a block diagram view of a system being modeled with a three-dimensional view of the system being modeled and with the underlying block diagram model data is disclosed. Changes in the block diagram model data are reflected in both views to the degree that the views contain a point of correspondence. User selected changes to the block diagram view of the system being modeled cause changes in the underlying model data. A view generator examines the model data to determine if a point of correspondence equivalent to the changed portion of the block diagram view exists in the three dimensional view. If a point of correspondence exists in the three-dimensional view the view is updated to reflect the changes in the block diagram view. Similarly, user selected changes in the three-dimensional view cause changes in the underlying block diagram model data.

Abstract: A method is provided for obfuscating code generated from a block diagram model in a graphical programming environment. The obfuscation may be removed through the use of a password. Incorporating the obfuscated code in a block diagram allows for code to be generated from the block diagram incorporating the obfuscated code.

Abstract: A graphical user interface that enables a user to create and specify the properties of custom storage classes is disclosed. The characteristics of each storage class are specified via parameter settings accessible from the graphical interface. Each custom storage class designed through the interface is defined by a combination of parameter settings. A code preview window in the graphical interface displays salient aspects of the source code references to model data given the selected parameter settings. The display is shown dynamically and adjusted to reflect subsequent changes in parameter settings.

Abstract: A self-contained virtual file system is disclosed for deploying and distributing an application and/or software component. Executable files relating to the application are included in a distributable composite file. The composite file and a user front end application are deployed and distributed to an application user where the application is executed. An application provider can tag the composite file with the version information and other useful meta-data of the files for the application. The format of the composite file may support the storage of any kind of file types and associated meta-data. The composite file may contain the hierarchical directory structure of the files for the application so that the hierarchical directory structure is installed in the application user's electronic device.

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 provides methods and systems for using a design element in a graphical model to represent and identify a precondition for use by a verification tool in verifying an executable form of the design represented by the graphical model. The precondition design element provides a specification of a verification constraint without affecting the behavior of the design. The constraint is to be applied by the verification tool in verifying the design. As such, the precondition design element of the present invention provides a mechanism and formalism in a model-based design approach that is used to constrain automatically generated tests or verification of the design represented by the graphical model.

Abstract: A method and apparatus automatically determines equilibrium operating conditions of a system model. The automated method enables users of block diagram models of dynamic systems to utilize simulation to define operating conditions for linearization. The automated method further allows users to generate operating conditions during simulation instead of explicitly specifying them by hand or using trim analysis. In accordance with one example, the method of generating a linear time invariant model includes providing a system model. A user specifies at least one event at which a linearization analysis should be performed. A simulation of the system model is executed. The electronic device automatically performs the linearization analysis upon occurrence of the at least one event as the simulation is running. Output results are generated of the linearization analysis to form the linear time invariant model.

Abstract: Methods, systems and computer program products are provided for ignoring one or more output arguments of a function in a programming environment. Users or programmers may designate one or more output arguments that are not desired by the users. The called function determines which output arguments are designated by the users. The one or more output arguments designated by the users are ignored by the function. The called function may reclaim memory space for the output arguments designated by the users. The called function may also avoid operations for generating values for the output arguments designated by the users. The called function does not need to return values for the output arguments designated by the users.

Abstract: Methods and systems are disclosed for classifying mass spectra to discriminate the absence or existence of a condition. The mass spectra may include raw mass spectrum intensity signals or may include intensity signals that have been preprocessed. The method and systems include determining a first or higher order derivative of the signals of the mass spectra, or any linear combination of the signal and a derivative of the signal, to form a mass spectra data set for training a classifier. The mass spectra data set may be provided as input to train a classifier, such as a linear discrimination classifier. The classifier trained with the derivative-based mass spectra data set then classifies mass spectra samples to improve discriminating between the absence or existence of a condition.

Abstract: A device provides an interface for permitting a user to define a block diagram model that represents a system, linearizing at least a portion of the block diagram model, analyzing a linearization result of at least one block of the block diagram model to determine contribution information of the at least one block toward a linearization result of the block diagram model, and outputting information concerning a result of analyzing the linearization result.

Abstract: An augmented Lagrangian genetic algorithm that may be used to generate solutions for optimization problems subject to linear, bound, and non-linear constraints is discussed. The augmented Lagrangian genetic algorithm uses an adaptive mutation operator to separately handle the linear, and bound constraints, and uses an augmented Lagrangian framework to handle non-linear constraints. The non-linear constraints are handled by creating a sub-problem without the linear and bound constraints and solving the sub-problem using Lagrange parameter estimates and a penalty factor. The exclusion of the linear constraints and boundary constraints from the sub-problem allows the sub-problem to be resolved in a more effective manner than is possible using conventional techniques.

Abstract: A system and method that includes line connection navigation in a block diagram by highlighting connections through navigable blocks in the diagram, edit-time label propagation along connections and through navigable blocks that can propagate labels through their ports, API to define navigability between block ports, and displaying implied connections between blocks.

Abstract: In one embodiment, a method of providing a graphical user interface (GUI) for a plurality of optimization solvers is provided. The method includes providing the GUI for the plurality of optimization solvers, the GUI including a control to select a solver from the plurality of solvers; receiving a selection of a first solver from the plurality of optimization solvers; and displaying in the GUI contents tailored to the first solver, the GUI contents including an objective function, wherein the objective function is in an expression in an array-based language.