Anchoring Modularity in HTML

AbstractModularity is a key feature at design, programming, proving, testing, and maintenance time, as well as a must for reusability. Most languages and systems provide built-in facilities for encapsulation, importation or parameterization. Nevertheless, there exists also languages, like HTML, with poor support for modularization. A natural idea is therefore to provide generic modularization primitives.To extend an existing language with additional and possibly formal capabilities, the notion of anchorage and Formal Island has been introduced recently. TOM for example, provides generic matching, rewriting and strategy extensions to JAVA and C.In this paper, we show on the HTML example, how to add modular features by anchoring modularization primitives in HTML. This allows one to write modular HTML descriptions, therefore facilitating their design, reusability, and maintenance, as well as providing an important step towards HTML validity checking

Anchoring modularity in HTML.

Modularity is a key feature at design, programming, proving, testing, and maintenance time, as well as a must for reusability. Most languages and systems provide built-in facilities for encapsulation, importation or parameterization. Nevertheless there exists also languages, like HTML, with poor support for modularization. A natural idea is therefore to provide generic modularization primitives. To extend an existing language with additional and possibly formal capabilities, the notion of \textit{anchorage} and \textit{Formal Island} has been introduced recently. TOM for example, provides generic matching, rewriting and strategy extensions to JAVA and~C. In this paper, we show on the HTML example, how to add modular features by anchoring modularization primitives in HTML. This allows one to write modular HTML descriptions, therefore facilitating their design, reusability, and maintenance, as well as providing an important step towards HTML validity checking

Floating solar panel park

Treball desenvolupat dins el marc del programa 'European Project Semester'.This Final Report is the culmination of a four month long design study on floating solar panel park feasibility in Vaasa, Finland. The Floating Ideas Team was tasked with coming up with a design that would not only work, but also make a profit. The team focused a lot of time on initial research, an iterative design process, and experiments to gather information that could not be found during the research phase. In this report, one can expect to find the major findings from research in many different areas such as location, panel design, flotation design, cooling techniques, and efficiency adding techniques. The first takeaway is that implementing floating solar parks in Finland would require adding efficiency techniques such as mirrors or concentrators. Second, how the panels are placed means a lot in a location so far north. Placing the panels far away from each other and horizontally will reduce the negative impact of shadows. And third, the rotation of the structure is important in increasing efficiency. Multiple axis tracking is not necessary, but tracking in the vertical axis can add a 50% increase in power generated. This research then lead into the defining of four initial designs which were eventually paired down into one. The largest factors leading to the change in design were the combination of rotation and anchoring methods, the flotation structure, and the structure required hold the panel modules together. In the end, the final design is a modular circular design with panels and mirrors to help add efficiency, approximately 37%. From there, an economic and environmental feasibility study was done and for both, this design was deemed feasible for Finland. With the design, detailed in this report, it would be possible to implement this and make a profit off of it, leading the team to believe that this should be implemented in places looking for alternatives for renewable energy production

The Penn Jerboa: A Platform for Exploring Parallel Composition of Templates

We have built a 12DOF, passive-compliant legged, tailed biped actuated by four brushless DC motors. We anticipate that this machine will achieve varied modes of quasistatic and dynamic balance, enabling a broad range of locomotion tasks including sitting, standing, walking, hopping, running, turning, leaping, and more. Achieving this diversity of behavior with a single under-actuated body, requires a correspondingly diverse array of controllers, motivating our interest in compositional techniques that promote mixing and reuse of a relatively few base constituents to achieve a combinatorially growing array of available choices. Here we report on the development of one important example of such a behavioral programming method, the construction of a novel monopedal sagittal plane hopping gait through parallel composition of four decoupled 1DOF base controllers. For this example behavior, the legs are locked in phase and the body is fastened to a boom to restrict motion to the sagittal plane. The platform's locomotion is powered by the hip motor that adjusts leg touchdown angle in flight and balance in stance, along with a tail motor that adjusts body shape in flight and drives energy into the passive leg shank spring during stance. The motor control signals arise from the application in parallel of four simple, completely decoupled 1DOF feedback laws that provably stabilize in isolation four corresponding 1DOF abstract reference plants. Each of these abstract 1DOF closed loop dynamics represents some simple but crucial specific component of the locomotion task at hand. We present a partial proof of correctness for this parallel composition of template reference systems along with data from the physical platform suggesting these templates are anchored as evidenced by the correspondence of their characteristic motions with a suitably transformed image of traces from the physical platform.Comment: Technical Report to Accompany: A. De and D. Koditschek, "Parallel composition of templates for tail-energized planar hopping," in 2015 IEEE International Conference on Robotics and Automation (ICRA), May 2015. v2: Used plain latex article, correct gap radius and specific force/torque number

Modular Formal Islands: Embed theory in your practice

Motivated by the proliferation and usefulness of Domain Specific Languages as well as the demand in enriching well established languages by high level capabilities like modularity, pattern matching or strategic rewriting, we have introduced in previous works the Formal Islands framework. The main idea consists in integrating, in existing programs, formally defined parts called Islands, on which proofs and tests can be meaningfully developed. Then, Formal Islands could be safely dissolved into their hosting language to be transparently integrated in the existing user environment. We present this generic framework and we show that language extensions like Mhtml—providing modular constructions for html— or Tom—a Java language extension allowing for pattern matching and rewriting—are indeed Islands and can therefore be used to embed formal software developments into legacy code

AOSD Ontology 1.0 - Public Ontology of Aspect-Orientation

This report presents a Common Foundation for Aspect-Oriented Software Development. A Common Foundation is required to enable effective communication and to enable integration of activities within the Network of Excellence. This Common Foundation is realized by developing an ontology, i.e. the shared meaning of terms and concepts in the domain of AOSD. In the first part of this report, we describe the definitions of an initial set of common AOSD terms. There is general agreement on these definitions. In the second part, we describe the Common Foundation task in detail

Design of Low Cost Modular Robotic Manipulator Joints

The goal of this project was to design and manufacture robotic joints that are inexpensive and capable of being used in a variety of applications. In order to maximize the number of applications in which our design could be utilized, research was done on optimal strength, size, communications, modularity, and price. This project includes the research and design development necessary to engineer such a joint, including part selection, motor control, manufacturing processes, and strength analysis. Two Joints were constructed and tested: a rotator joint and a elbow-joint. The joints performed well under testing conditions and overall prices were kept low. With future development, these joints could be used in fields where size and price are critical

Steven Mithen, The Singing Neanderthals: The Origins of Music, Language, Mind, and Body

Review of Steven Mithen, The Singing Neanderthals: The Origins of Music, Language, Mind, and Body London: Weidenfeld and Nicolson, 2005 (hardcover), 2006 (paperback). ISBN13: 9780297643173 (hardcover) £20.00. ISBN13: 9-780753820513 (paperback) £9.99