Introducing TRIM
نویسنده
چکیده
We present TRIM, an abstract machine capable of executing a subset of the algebraic speci cation language OBJ3. A speci cally designed compiler translates the order sorted conditional equations of an OBJ3 speci cation into TRIM code. The fact that TRIM supports order sorted term rewriting natively di erentiates it from many other abstract term rewriting machines. To obtain more e cient abstract machine code we discuss and include two optimizers in our compiler system; a peep-hole optimizer and a rule-base optimizer. The whole TRIM system is seamlessly integrated into the OBJ3 environment. Compiling OBJ3 speci cations provides roughly an order of magnitude speed-up over interpreted specications.
منابع مشابه
One-dimensional Cutting Stock Problem (1d-csp): a Study on Data Dependent Trim Loss
A generalized approach is introduced for getting minimal trim in onedimensional cutting stock problem (1D-CSP) which occurs extensively while manufacturing of different engineering objects. Our study is especially focused on transmission tower manufacturing industry. The concept of computing total trim by using the idea of pre-defined sustainable trim has been explored in previous work of autho...
متن کاملTRIM: An architecture for transparent IMS-based mobility
In recent years, the development and deployment of new wired and wireless access network technologies have made the ubiquitous Internet a reality. Users can access anywhere and anytime to the broad set of value-added Internet services, which are delivered by means of the IP protocol. In this context, 3GPP is currently developing the IP Multimedia Subsystem (IMS), as a key element that allows to...
متن کاملTrim and Maneuverability Analysis Using a New Constrained PSO Approach of a UAV
Performance characteristic of an Unmanned Air Vehicle (UAV) is investigated using a newly developed heuristic approach. Almost all flight phases of any air vehicle can be categorized into trim and maneuvering flights. In this paper, a new envelope called trim-ability envelope, is introduced and sketched within the conventional flight envelope for a small UAV. Optimal maneuverability of the inte...
متن کاملThe trim loss concentration in one-dimensional cutting stock problem (1D-CSP) by defining a virtual cost
Nowadays, One-Dimensional Cutting Stock Problem (1D-CSP) is used in many industrial processes and re-cently has been considered as one of the most important research topic. In this paper, a metaheuristic algo-rithm based on the Simulated Annealing (SA) method is represented to minimize the trim loss and also to fo-cus the trim loss on the minimum number of large objects. In this method, the 1D-...
متن کاملShip Trim Optimization for the Reduction of Fuel Consumption
Greenhouse gas emissions and atmospheric pollutants, economic savings, as well as alignment with the new rules of the shipping industry's leading is a new concern. In order to meet and achieve these goals, many efforts have been made. In this paper, some methods for reducing fuel consumption, including optimization of floating trim, have been considered in design draught. In this regard, the bo...
متن کامل