Showing papers on "Source transformation published in 2014"

Exhaustive Execution of CHR Through Source-to-Source Transformation

Abstract: Constraint Handling Rules (CHR) is a committed-choice rule-based programming language. Rules rewrite a global multi-set of constraints to another. Overlapping sets of constraints within the rules and the order of constraints within rules and queries entail different derivation paths. In this work, a novel operational strategy is proposed which enables a high-level form of execution control that empowers a comprehensive and customizable execution strategy. It allows full space exploration for any CHR program, thus finding all possible results to a query which is interesting for many non-confluent programs. The proposed transformation is performed as a source-to-source transformation from any CHR program to one utilizing disjunction to force an exhaustive explorative execution strategy. The work is complemented by formal arguments to prove the correctness and completeness of the transformation.

Automatic Differentiation for Matlab With ADiMat

Abstract: The ADiMat software is a tool that offers automatic differentiation of any Matlab function using a hybrid approach combining source transformation and operator overloading. We give a brief overview of ADiMat and its functionality and recent performance improvements.

Vehicle integrated DC source

Abstract: The utility model discloses a vehicle integrated DC power source, comprising a cabinet, and a power source transformation unit, a distribution unit and a monitoring unit arranged in the cabinet. One or more surfaces of the cabinet employ heat sinks; the power source transformation unit comprises one or more power source transformation branch units which are in parallel connection and fixed on inner walls of the heat sinks. The distribution unit is used for controlling on and off of a DC output circuit, is composed of a DC contactor and a relay printing plate and is installed in the cabinet. The monitoring unit comprises a controller and used for monitoring input voltage, output voltage and current of the power source transformation unit and other fault singles in real time; The monitoring unit is also in connection with a host computer through a CAN bus and used for controlling on and off of power source output. The vehicle integrated DC source realizes an integrated function of power source transformation, distribution and monitoring, has the characteristics of reduced equipment size, simple structure and high intelligent degree and can be widely used.