26,206 research outputs found
Event-driven grammars: Relating abstract and concrete levels of visual languages
The final publication is available at Springer via http://dx.doi.org/10.1007/s10270-007-0051-2In this work we introduce event-driven grammars, a kind of graph grammars that are especially suited for visual modelling environments generated by meta-modelling. Rules in these grammars may be triggered by user actions (such as creating, editing or connecting elements) and in their turn may trigger other user-interface events. Their combination with triple graph transformation systems allows constructing and checking the consistency of the abstract syntax graph while the user is building the concrete syntax model, as well as managing the layout of the concrete syntax representation. As an example of these concepts, we show the definition of a modelling environment for UML sequence diagrams. A discussion is also presented of methodological aspects for the generation of environments for visual languages with multiple views, its connection with triple graph grammars, the formalization of the latter in the double pushout approach and its extension with an inheritance concept.This work has been partially sponsored by the Spanish Ministry of Education and Science with projects MOSAIC (TSI2005-08225-C07-06) and MODUWEB (TIN 2006-09678)
Recommended from our members
High-Performance Integrated Window and Façade Solutions for California
The researchers developed a new generation of high-performance façade systems and supporting design and management tools to support industry in meeting California’s greenhouse gas reduction targets, reduce energy consumption, and enable an adaptable response to minimize real-time demands on the electricity grid. The project resulted in five outcomes: (1) The research team developed an R-5, 1-inch thick, triplepane, insulating glass unit with a novel low-conductance aluminum frame. This technology can help significantly reduce residential cooling and heating loads, particularly during the evening. (2) The team developed a prototype of a windowintegrated local ventilation and energy recovery device that provides clean, dry fresh air through the façade with minimal energy requirements. (3) A daylight-redirecting louver system was prototyped to redirect sunlight 15–40 feet from the window. Simulations estimated that lighting energy use could be reduced by 35–54 percent without glare. (4) A control system incorporating physics-based equations and a mathematical solver was prototyped and field tested to demonstrate feasibility. Simulations estimated that total electricity costs could be reduced by 9-28 percent on sunny summer days through adaptive control of operable shading and daylighting components and the thermostat compared to state-of-the-art automatic façade controls in commercial building perimeter zones. (5) Supporting models and tools needed by industry for technology R&D and market transformation activities were validated. Attaining California’s clean energy goals require making a fundamental shift from today’s ad-hoc assemblages of static components to turnkey, intelligent, responsive, integrated building façade systems. These systems offered significant reductions in energy use, peak demand, and operating cost in California
One machine, one minute, three billion tetrahedra
This paper presents a new scalable parallelization scheme to generate the 3D
Delaunay triangulation of a given set of points. Our first contribution is an
efficient serial implementation of the incremental Delaunay insertion
algorithm. A simple dedicated data structure, an efficient sorting of the
points and the optimization of the insertion algorithm have permitted to
accelerate reference implementations by a factor three. Our second contribution
is a multi-threaded version of the Delaunay kernel that is able to concurrently
insert vertices. Moore curve coordinates are used to partition the point set,
avoiding heavy synchronization overheads. Conflicts are managed by modifying
the partitions with a simple rescaling of the space-filling curve. The
performances of our implementation have been measured on three different
processors, an Intel core-i7, an Intel Xeon Phi and an AMD EPYC, on which we
have been able to compute 3 billion tetrahedra in 53 seconds. This corresponds
to a generation rate of over 55 million tetrahedra per second. We finally show
how this very efficient parallel Delaunay triangulation can be integrated in a
Delaunay refinement mesh generator which takes as input the triangulated
surface boundary of the volume to mesh
Diagrammatic Coupled Cluster Monte Carlo
We propose a modified coupled cluster Monte Carlo algorithm that
stochastically samples connected terms within the truncated
Baker--Campbell--Hausdorff expansion of the similarity transformed Hamiltonian
by construction of coupled cluster diagrams on the fly. Our new approach --
diagCCMC -- allows propagation to be performed using only the connected
components of the similarity-transformed Hamiltonian, greatly reducing the
memory cost associated with the stochastic solution of the coupled cluster
equations. We show that for perfectly local, noninteracting systems, diagCCMC
is able to represent the coupled cluster wavefunction with a memory cost that
scales linearly with system size. The favorable memory cost is observed with
the only assumption of fixed stochastic granularity and is valid for arbitrary
levels of coupled cluster theory. Significant reduction in memory cost is also
shown to smoothly appear with dissociation of a finite chain of helium atoms.
This approach is also shown not to break down in the presence of strong
correlation through the example of a stretched nitrogen molecule. Our novel
methodology moves the theoretical basis of coupled cluster Monte Carlo closer
to deterministic approaches.Comment: 31 pages, 6 figure
Avoiding Unnecessary Information Loss: Correct and Efficient Model Synchronization Based on Triple Graph Grammars
Model synchronization, i.e., the task of restoring consistency between two
interrelated models after a model change, is a challenging task. Triple Graph
Grammars (TGGs) specify model consistency by means of rules that describe how
to create consistent pairs of models. These rules can be used to automatically
derive further rules, which describe how to propagate changes from one model to
the other or how to change one model in such a way that propagation is
guaranteed to be possible. Restricting model synchronization to these derived
rules, however, may lead to unnecessary deletion and recreation of model
elements during change propagation. This is inefficient and may cause
unnecessary information loss, i.e., when deleted elements contain information
that is not represented in the second model, this information cannot be
recovered easily. Short-cut rules have recently been developed to avoid
unnecessary information loss by reusing existing model elements. In this paper,
we show how to automatically derive (short-cut) repair rules from short-cut
rules to propagate changes such that information loss is avoided and model
synchronization is accelerated. The key ingredients of our rule-based model
synchronization process are these repair rules and an incremental pattern
matcher informing about suitable applications of them. We prove the termination
and the correctness of this synchronization process and discuss its
completeness. As a proof of concept, we have implemented this synchronization
process in eMoflon, a state-of-the-art model transformation tool with inherent
support of bidirectionality. Our evaluation shows that repair processes based
on (short-cut) repair rules have considerably decreased information loss and
improved performance compared to former model synchronization processes based
on TGGs.Comment: 33 pages, 20 figures, 3 table
Innovation Systems, Radical Transformation, Step-by-Step: India in Light of China
The paper introduces a reform trajectory we call ?revolutionary incrementalism? in which partial and incremental measures add up to profound transformation. Recent advances in economic theory demonstrate that growth is not hard to start: it almost starts itself, somewhere, sometimes. But keeping it going is not easy: doing so requires attention to the context of growth binding constraints and situation-specific ways to resolve them. The same goes for institutions: it is almost always possible to find some that are working. The issue is using the ones that work to improve those that don?t. The thrust of the proposal is to rely on variation within existing institutions as the ?Archimedean lever? with which to leverage reform and change. India?s public sector record for implementing and coordinating innovation efforts can be notoriously fragmented and inefficient but there are some parts that perform better than others, and there are recognized pockets of excellence virtually within every ministry or public sector organization. The same internal diversity is even more visible in the private sector. Importantly from a policy perspective, better performing segments of public sector and better performing segments of productive sector are beginning to join forces in a variety of search ...innovation systems, heterogeneity of institutions, radical incrementalism, search networks, open economy industrial policy
- …