Patents Assigned to The MathWorks, Inc.
-
Patent number: 8515723Abstract: In an embodiment, in a graphical modeling environment, users may create models that can be executed. Within the graphical modeling environment, users may use implicit iterator systems to manage multiple iterations of systems whereby the indexing of input and output signals may be defined by a user and state may be managed for an iteration. The number of iterations taken by the implicit iterator system can adapt to input and output signal dimensions.Type: GrantFiled: October 15, 2008Date of Patent: August 20, 2013Assignee: The MathWorks, Inc.Inventors: John Ciolfi, Ramamurthy Mani, Kai Tuschner
-
Patent number: 8516384Abstract: One aspect relates to saving and retrieving view-specific information that facilitates views to be saved and retrieved within an interface of a computer system. View-relevant information associated with a visual context of the computer system is saved in memory or other medium, allowing the information to be retrieved in an easy manner. In one embodiment, a computer system displays a thumbnail representation of a specific graphical view, and permits the user to select the representation, causing the system to navigate to the specific graphical view. In this way, the visual context of the computer system can be restored.Type: GrantFiled: October 16, 2007Date of Patent: August 20, 2013Assignee: The Mathworks, Inc.Inventor: Jay Ryan Torgerson
-
Patent number: 8514247Abstract: A system includes a memory, a specialized processing unit and a processor. The processor receives data from a user and creates a first set of objects in a first structure based on the data. The system further creates, contemporaneously with the creation of the first set of objects and based on the first set of objects in the first structure, a second set of objects in a second structure, where the second set of objects is optimized for use by the specialized processing unit, and stores the first and second sets of objects in the memory. The specialized processing unit executes an algorithm based on the second set of objects.Type: GrantFiled: October 31, 2012Date of Patent: August 20, 2013Assignee: The MathWorks, Inc.Inventor: Michael P. Garrity
-
Publication number: 20130212054Abstract: A computing device may include a memory to store data that describes a state machine model that includes destination states and source states. The source states may be associated with conditions upon which the state machine model is to transition from a corresponding source state to one of the destination states. The device may also include a processor configured to generate data to describe a state diagram from the data that describes the state machine model. The state diagram may include the graphical symbols and lines. Each of the graphical symbols may represent one of the source states or one of the destination states. The lines may represent transitions and include one or more vertical lines to represent transitions to one of the destination states from more than one of the source states. The graphical symbol may represent the one of the destination states is not adjacent to the graphical symbols to represent the more than one of the source states.Type: ApplicationFiled: February 15, 2013Publication date: August 15, 2013Applicant: THE MATHWORKS, INC.Inventor: The MathWorks, Inc.
-
Patent number: 8510706Abstract: In an embodiment, a technique for generating a comment for an entity associated with a model. The comment may be generated based on at least (1) a structural usage of the entity and (2) a dynamically-specified rule that is associated with the structural usage of the entity. The rule may be used to control content of the comment. The comment may be incorporated in generated code for the model and the generated code including the comment may be outputted (e.g., displayed, stored).Type: GrantFiled: September 4, 2009Date of Patent: August 13, 2013Assignee: The Mathworks, Inc.Inventor: Andrew C Bartlett
-
Patent number: 8510366Abstract: The present invention provides a method and system for the dynamic distribution of an array in a parallel computing environment. The present invention obtains a criterion for distributing an array and performs flexible portioning based on the obtained criterion. In some embodiment analysis may be performed based on the criterion. The flexible portioning is then performed based on the analysis.Type: GrantFiled: June 17, 2011Date of Patent: August 13, 2013Assignee: The MathWorks, Inc.Inventors: Penelope Anderson, Cleve Moler, Sheung Hun Cheng, Patrick D. Quillen
-
Publication number: 20130205192Abstract: A device receives text that includes data values, and parses the text to identify data types associated with the data values. The device generates, based on the data values and the data types, a graphical representation of the text that includes data cells corresponding to the data values, and provides the graphical representation for display. The device receives one or more selections of one or more data cells in the graphical representation, stores the one or more selections as a selection history, and provides the selection history for display.Type: ApplicationFiled: March 14, 2013Publication date: August 8, 2013Applicant: THE MATHWORKS, INC.Inventor: THE MATHWORKS, INC.
-
Patent number: 8504983Abstract: 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.Type: GrantFiled: February 16, 2010Date of Patent: August 6, 2013Assignee: The MathWorks, Inc.Inventors: Matthew Englehart, Peter Szpak
-
Patent number: 8504336Abstract: The illustrative embodiments of this invention are directed to a method, a medium and a system for realizing resettable hierarchically scoped variables in a graphical modeling environment on a computing device. The method includes creating at least one resettable variable in a model within the graphical modeling environment, wherein the resettable variable is hierarchically scoped. The resettable variable is reset to a preset value before or during a subsequent invocation of a part of the model that contains the resettable variable. The graphical modeling environment may be a state diagramming environment or the graphical modeling environment may be a time-based graphical modeling environment.Type: GrantFiled: June 17, 2011Date of Patent: August 6, 2013Assignee: The MathWorks, Inc.Inventors: Vijay Raghavan, Ebrahim Mehran Mestchian
-
Publication number: 20130198713Abstract: A method, performed by a computer device, includes obtaining an in-memory representation of computer code from a block step method of an executable model in a modeling application, wherein the computer code in-memory representation includes one or more variables. The method also includes identifying, from the one or more variables, a subset of persistent variables and determining if any of the one or more variables in the subset of persistent variables are state variables. When none of the subset of persistent variables are state variables, a block output method is generated based on the computer code in-memory representation and the one or more variables. When the subset of persistent variables includes a state variable, both the block output method and a block update method are generated based on the computer code in-memory representation and the one or more variables.Type: ApplicationFiled: March 14, 2013Publication date: August 1, 2013Applicant: The MathWorks, Inc.Inventors: Fu Zhang, Zhi Han, Murali K. Yeddanapudi, Pieter J. Mosterman
-
Publication number: 20130197677Abstract: A device receives a control system model that includes a fixed portion that models elements of a control system to be controlled and a tunable portion that models elements of the control system used to control the elements modeled by the fixed portion. The device receives information that identifies a tunable parameter of the tunable portion of the control system model, a hard constraint associated with the control system model, and a soft constraint associated with the control system model. The hard constraint identifies a first constraint that is to be satisfied, and the soft constraint identifies a second constraint that is to be reduced. The device calculates a parameter value for the tunable parameter by applying an optimization algorithm to the control system model, based on the control system model, the tunable parameter, the hard constraint, and the soft constraint. The device provides the parameter value.Type: ApplicationFiled: March 13, 2013Publication date: August 1, 2013Applicant: The MathWorks, Inc.Inventor: The MathWorks, Inc.
-
Patent number: 8495114Abstract: In a computational device, a method is provided for determining attributes for results of arithmetic operations with fixed-point numbers, in an environment for fixed-point algorithm development. An indication is received of a plurality of possible word lengths to be used for storing a plurality of digits representing a result of arithmetic operation with fixed-point numbers. An indication is received of how a placement of a radix point is to be determined in the plurality of digits representing the results of the arithmetic operation with fixed-point numbers. When calculating a selected fixed-point arithmetic operation, one of the word lengths in the plurality of possible word lengths is employed for storing the plurality of digits representing a result of the selected fixed-point arithmetic operation. A placement of a radix point in the plurality of digits representing the result of the selected fixed-point arithmetic operation is based on the received indication of how the radix point is to be determined.Type: GrantFiled: May 23, 2005Date of Patent: July 23, 2013Assignee: The MathWorks, Inc.Inventors: Thomas Albert Bryan, Andrew C. Bartlett
-
Patent number: 8489382Abstract: A system receives a model, internals associated with a target processor, and code information associated with the target processor, and obtains a bit-true model simulation for the target processor based on the model, the target processor internals, and the target processor code information.Type: GrantFiled: June 7, 2012Date of Patent: July 16, 2013Assignee: The Mathworks, Inc.Inventor: David Koh
-
Patent number: 8484262Abstract: In a computational device, a method is provided for determining attributes for results of arithmetic operations, including a result for a series of arithmetic operations, with fixed-point numbers, in an environment for fixed-point algorithm development. An indication is received of a plurality of possible word lengths to be used for storing a plurality of digits representing a result of arithmetic operation with fixed-point numbers. An indication is received of how a placement of a radix point is to be determined in the plurality of digits representing the results of the arithmetic operation with fixed-point numbers. When calculating a selected fixed-point arithmetic operation, one of the word lengths in the plurality of possible word lengths is employed for storing the plurality of digits representing a result of the selected fixed-point arithmetic operation.Type: GrantFiled: December 22, 2005Date of Patent: July 9, 2013Assignee: The MathWorks, Inc.Inventor: Tom Bryan
-
Patent number: 8473901Abstract: Exemplary embodiments may provide methods, systems and devices for providing non-literal representations of programming language code. The non-literal representation of a portion of code may provide a representation of the semantics of the portion of code that is different from the source code representation. The non-literal representation may change the way the code is output to a user in order to improve readability of the source code, and may not modify the underlying structure or semantics of the code. While improving readability of the code, the non-literal representation may also retain important information about the underlying code associated with the non-literal representation.Type: GrantFiled: June 12, 2009Date of Patent: June 25, 2013Assignee: The MathWorks, Inc.Inventor: Steve Johnson
-
Publication number: 20130159964Abstract: A system and method introduces one or more errors into computer programming code generated from a model or other source program. The one or more errors are not present in the model, but are introduced into the code generated from the model. The one or more errors may simulate one or more bugs in the code generation process. The generated code, including the one or more introduced errors, may be analyzed by one or more verification tools. The one or more verification tools examine the generated code in an effort to detect the one or more errors that were introduced. The one or more verification tools may compare the generated code to the model or source program. If the one or more verification tools is able to detect the one or more introduced errors, then the one or more verification tools may be considered to be validated.Type: ApplicationFiled: December 15, 2011Publication date: June 20, 2013Applicant: THE MATHWORKS, INC.Inventor: Peter S. Szpak
-
Patent number: 8467888Abstract: Embodiments provide techniques, computer-readable media, and devices for allowing users to perform interactive design of controllers, such as PID controllers, in a free-form modeling environment. Users can tune controllers using characteristics familiar to typical users rather than having to specify gain values for the controller, which may be difficult for a user to relate to the performance of a controller.Type: GrantFiled: October 23, 2009Date of Patent: June 18, 2013Assignee: The MathWorks, Inc.Inventors: Pascal Gahinet, Rong Chen, Bora Eryilmaz
-
Patent number: 8462146Abstract: A method implemented by one or more computers may include receiving data for graphical rendering and distributing a first portion of the data to a first computation process. The method may further include distributing a second portion of the data to a second computation process, where the second computation process is different than the first computation process, creating a first object subtree via the first computation process based on the first portion of the data, and creating a second object subtree via the second computation process based on the second portion of the data. The method may further also include assembling an object tree via a third computation process based on the first object subtree and the second object subtree and rendering a graphical scene based on the assembled object tree.Type: GrantFiled: September 28, 2012Date of Patent: June 11, 2013Assignee: The MathWorks, Inc.Inventor: Michael Patrick Garrity
-
Patent number: 8464226Abstract: A mechanism for providing automatic interoperation between native objects created in a single language computing environment and objects created in external virtual machines and foreign class systems is discussed. Embodiments of the present invention provides a class definition syntax for objects created in the single language computing environment that provides the ability to directly subclass external classes and implement external interfaces. One embodiment of the present invention also permits a foreign object system to instantiate native objects and to create foreign subclasses of native classes. More specifically, one embodiment of the present invention provides bidirectional mapping between metadata associated with objects created with each of a plurality of different types of foreign object systems and metadata created in a form supported by the single language computing environment.Type: GrantFiled: July 30, 2007Date of Patent: June 11, 2013Assignee: The MathWorks, Inc.Inventor: David A. Foti
-
Patent number: 8464204Abstract: A code verification tool verifies that code generated from a model represents all of the functionality of the model and does not contain any unintended functionality. The code verification tool may receive for examination a model or an intermediate representation (IR) of the model and the generated code or an intermediate representation of the generated code. The code verification tool may create further intermediate representations of the model and/or the generated code in order to compare the functionality presented in both.Type: GrantFiled: September 14, 2009Date of Patent: June 11, 2013Assignee: The MathWorks, Inc.Inventors: Joel David Thornton, Matthew Englehart