SEPARABLE INTEGRATION VIA HIGHER-ORDER PROGRAMMING

• US 20090030659A1
• Filed: 07/23/2007
• Published: 01/29/2009
• Est. Priority Date: 07/23/2007
• Status: Abandoned Application

• Current Assignee: Microsoft Technology Licensing LLC (Microsoft Corporation)
• Original Assignee: Microsoft Corporation
• Inventors: Beckman, Brian C., Meijer, Henricus Johannes Maria
• Application Number:
  US11/781,519
• Publication Number:
  US 20090030659A1
• Time in Patent Office: Days
• US Class Current: 703/2
• CPC Class Codes: G06F 30/20 Design optimisation, verification or simulation optimisation, verification or simulation of circuit designs G06F30/30

Abstract

Separable integration is provided for simulation contexts where modeling and integration can be considered separately when programmatically implementing the simulations, for example. Thus, modeling concepts can be defined relating to the simulation, and integration of the modeling concept can happen separately to provide more variety to meet modeling specifications. In one embodiment, a state-space form equation can be computed for a modeling concept equation (an equation of motion, for example) and an integration scheme can be applied to the state-space form equation regardless of the modeling equation from which it was computed. In this regard, integration can be focused on to provide a plurality of schemes for different contexts, for example.

Claims

1. A system for providing separable integration for simulation environments, comprising:

an equation modeling component that reshapes an equation of motion for a simulation environment into a state-space form equation; and

a separable integration component that applies at least one integration scheme to the state-space form equation to produce a vector of functions of time related to the simulation environment.

2. The system of claim 1, further comprising a simulation component that implements the simulation environment and provides a simulation output related to at least one function in the vector of functions of time.

3. The system of claim 1, the separable integration component applies the at least one integration scheme based on at least one parameter.

4. The system of claim 3, the parameter is at least one of a simulation time interval, a precision specification, and/or a performance time requirement.

5. The system of claim 1, further comprising an imperative programming language compiler that implements higher-order concept support.

6. The system of claim 5, further comprising a software application that is implemented in the imperative programming language and leverages the higher-order concept support compiler to implement the separable integration component.

7. The system of claim 6, the equation modeling component passes the state-space form equation to the implemented separable integration component as a higher-order concept algorithm.

8. The system of claim 6, the implemented separable integration component provides at least one of enumerations, separate implementable classes, or interfaces to select the integration scheme.

9. The system of claim 6, the implemented separable integration component can accept one or more parameters that specify a geometry for a boundary value problem.

10. The system of claim 1, further comprising an inference component that can automatically select an integration scheme based on one or more analysis heuristics.

11. A method for providing separable integration for simulation environments, comprising:

computing a state-space form equation for a modeling equation;

determining at least one parameter related to context of a simulation environment; and

applying an integration scheme to the state-space form equation based at least in part on the parameter.

12. The method of claim 11, the integration scheme is selected based at least in part on the context of the simulation environment.

13. The method of claim 11, further comprising selecting the modeling equation based at least in part on the context of the simulation environment.

14. The method of claim 11, the parameter specifies a simulation time related to the simulation environment.

15. The method of claim 11, the modeling equation corresponds to a sample of parameters over time of an imperative function.

16. The method of claim 11, further comprising switching to a new integration scheme and applying the new integration scheme to the state-space form equation.

17. The method of claim 11, further comprising implementing a software application that applies the integration scheme to the state-space form equation, the software application leverages functional support in a compiler to receive the state-space form equation as input.

18. The method of claim 17, further comprising utilizing a software library to obtain the modeling equation or the state-space form of the modeling equation.

19. A system for providing separable integration, comprising:

means for selecting an integration scheme to apply to a state-space form equation;

means for applying the integration scheme to the state-space form equation, regardless of an equation from which the state-space form equation was computed, to provide a vector of functions of time related to the equation; and

means for solving at least one function of time in the vector of functions of time for a specific time.

20. The system of claim 19, further comprising means for defining a declarative function related to the equation based at least in part on the solution to the at least one function of time.