Towards Generic Monitors for Object-Oriented Real-Time Maude Specifications

Non-Functional Properties (NFPs) are crucial in the design of software. Specification of systems is used in the very first phases of the software development process for the stakeholders to make decisions on which architecture or platform to use. These specifications may be an- alyzed using different formalisms and techniques, simulation being one of them. During a simulation, the relevant data involved in the anal- ysis of the NFPs of interest can be measured using monitors. In this work, we show how monitors can be parametrically specified so that the instrumentation of specifications to be monitored can be automatically performed. We prove that the original specification and the automati- cally obtained specification with monitors are bisimilar by construction. This means that the changes made on the original system by adding monitors do not affect its behavior. This approach allows us to have a library of possible monitors that can be safely added to analyze different properties, possibly on different objects of our systems, at will.Universidad de Málaga, Campus de Excelencia Internacional Andalucía Tech. Spanish MINECO/FEDER project TIN2014-52034-R, NSF Grant CNS 13-19109

Florida's West Coast inlets: shoreline effects and recommended action

This report responds to the 1986 Beaches Bill which, in recognition of the potential deleterious impact on Florida's beaches of inlets modified for navigation, mandated a study of those inlets with identification of recommended action to reduce the impacts. This report addresses west Coast inlets; East Coast inlets are the subject of a companion report. There are 37 inlets along that portion of Florida's West Coast commencing from Pensacola Bay Entrance to Caxambas Pass at the south end of Marco Island. Compared to those on the East Coast, most West Coast inlets have not had the deleterious effects on the adjacent beaches, yet all modified inlets without proper management have the potential of impacting unfavorably on the adjacent shorelines. Moreover, at present there is interest in opening three West Coast entrances which either have been open in the past (Midnight Pass) or which have opened occasionally (Navarre Pass and Entrance to Phillips Lake). A review of inlets in their natural condition demonstrates the presence of a shallow broad outer bar across which the longshore transport Occurs. These shallow and shifting bar features were unsuitable for navigation which in many cases has led to the deepening of the channels and fixing with one or two jetty structures. Inlets in this modified state along with inappropriate maintenance practices have the potential of placing great ero$ional stress along the adjacent beaches. Moreover. channel dredging can reduce wave sheltering of the shoreline by ebb tidal shoals and alter the equilibrium of the affected shoreline segments. The ultimate in poor sand management practice is the placement of good quality beach sand in water depths too great for the sand to reenter the longshore system under natural forces; depths of 12 ft. or less are considered appropriate for Florida in order to maintain the sand in the system. With the interference of the nearshore sediment transport processes by inlets modified for navigation, if the adjacent beaches are to be stabilized there must be an active monitoring program with commitment to placement of dredged material of beach quality on shoreline segments of documented need. Several East Coast inlets have such transfer facilities; however. the quantities of sand transferred should be increased. Although an evolution and improvement in the technical capability to manage sand resources in the vicinity of inlets is expected, an adequate capability exists today and a concerted program should be made to commence a scheduled implementation of this capability at those entrances causing greatest erosional stress on the adjacent shorelines. A brief summary review for each of the 37 West Coast inlets is presented including: a scaled aerial photograph, brief historical information, several items related to sediment losses at each inlet and special characteristics relevant to State responsibilities. For each inlet, where appropriate, the above infor~tion is utilized to develop a recommenced action. (PDF has 101 pages.

Employment Polarization and Job Quality in the Crisis

[Excerpt] European labour markets added nearly 30 million new jobs in a golden age of employment creation prior to the onset of the Great Recession in 2008. The markets have subsequently shed five million jobs and unemployment – rising rapidly once again – is at its highest since the late 1990s. This second annual European Jobs Monitor report looks in detail at recent shifts in employment at Member State and European level. The analysis covers three distinct periods: the pre-recession employment expansion (1995–2007); the Great Recession (2008–2010); the stalled recovery (2011–2012). A ‘jobs-based’ approach is applied to describe employment shifts quantitatively (how many jobs were created or destroyed) and qualitatively (what kinds of jobs)

Circular economy for climate neutrality: Setting the priorities for the EU. CEPS Policy Brief No 2019/04, 22 November 2019

The previous Commission policy on resources management was part of the priority for jobs and growth and economic competitiveness. The circular economy will be no less important for the new political priority of climate neutrality; it will become one of the indispensable elements for meeting the EU’s ambitions. EU climate policy and the circular economy are by and large complementary and mutually reinforcing. The circular economy is more than just another ‘product standards’ policy. In order for this to happen, • there is a need for a framework that is able to systematically address trade-offs, such as between the circular and the bioeconomy, but also between material efficiency and energy use, as well as • a mechanism to steer and monitor progress, touching upon the question of whether and if so, how to increase ambition and develop tools to monitor progress, for example via targets, and • the new Commission will need to develop and then scale up successful products and processes to create opportunities for new value chains while addressing risks, such as dependency on raw materials. Circular economy products for the foreseeable future will require both technology push and market pull policies. Both the circular economy and low-carbon economy will require new and often yet unknown business models. This will also require new methods of regulation. The principal challenge will be to create ‘lead markets’ for the circular economy in combination with lowcarbon products. Many ideas for this exist. They include, for example, ‘carbon contracts for difference’, carbon budgets for projects, consumption charges, taxes and tax exemptions, sustainable finance, product standards and public procurement. Ideas now need to be tested to see whether they could work in practice. Finally, the EU circular economy will need to be underpinned by a robust and transparent carbon accounting system. If effective, such as system can at the same time act as a catalyst for investment in the circular economy and low-carbon products and processes

Smart objects as building blocks for the internet of things

The combination of the Internet and emerging technologies such as nearfield communications, real-time localization, and embedded sensors lets us transform everyday objects into smart objects that can understand and react to their environment. Such objects are building blocks for the Internet of Things and enable novel computing applications. As a step toward design and architectural principles for smart objects, the authors introduce a hierarchy of architectures with increasing levels of real-world awareness and interactivity. In particular, they describe activity-, policy-, and process-aware smart objects and demonstrate how the respective architectural abstractions support increasingly complex application

Annual report 1991

This annual report is presented under the following major headings: 1) acting officer-in-charge's report; 2) project coordinator's report; 3) evaluation of some components of the Lake Kariba "kapenta fishing unit"; 4) comparative study of growth of Limnothrissa miodon (Boulenger) in Lake Kariba; 5) the pre-recruitment ecology of the freshwater sardine Limnothrissa miodon (Boulenger) in Lake Kariba; 6) the ecology of the inshore fishery of Lake Kariba; the biology of Synodontis zambezensis ; 7) database; and, 8) publications

Entrainment and stimulated emission of auto-oscillators in an acoustic cavity

We report theory, measurements and numerical simulations on nonlinear piezoelectric ultrasonic devices with stable limit cycles. The devices are shown to exhibit behavior familiar from the theory of coupled auto-oscillators. Frequency of auto-oscillation is affected by the presence of an acoustic cavity as these spontaneously emitting devices adjust their frequency to the spectrum of the acoustic cavity. Also, the auto-oscillation is shown to be entrained by an applied field; the oscillator synchronizes to an incident wave at a frequency close to the natural frequency of the limit cycle. It is further shown that synchronization occurs here with a phase that can, depending on details, correspond to stimulated emission: the power emission from the oscillator is augmented by the incident field. These behaviors are essential to eventual design of an ultrasonic system that would consist of a number of such devices entrained to their mutual field, a system that would be an analog to a laser. A prototype laser is constructed

European Jobs Monitor 2014: Drivers of Recent Job Polarisation and Upgrading in Europe

[Excerpt] European labour markets added nearly 30 million new jobs in a golden age of employment creation prior to the onset of the Great Recession in 2008. These labour markets subsequently shed six million jobs, and unemployment peaked at 11% in 2013, its highest rate in well over a decade. This third annual European Jobs Monitor report looks in detail at recent shifts in employment at Member State and European Union level in the two years from the second quarter of 2011 to the second quarter of 2013. It applies a jobs-based approach, which ranks jobs according to wage and then groups them into five categories of equal size (quintiles) ranging from lowest-paid to highest-paid. The net employment change between the starting and concluding periods (in terms of people employed) for each quintile in each country is summed to establish whether there has been net gain or loss. This analytic approach enables employment shifts to be described quantitatively (how many jobs were created or destroyed) and qualitatively (what sectors and occupations were most affected). The report also examines some of the likely drivers of recent shifts in the employment structure: technological advances, as measured by the cognitive and routine task content of jobs; globalisation and trade, measured as the offshorability of tasks or direct international trade; and labour market institutions

Application of BIM in sustainability analysis

Building Information Modeling (BIM) is the process of generating and managing building data during its life cycle. Typically it uses three-dimensional, real-time, dynamic building modeling software to increase productivity in building design and construction. The process produces the Building Information Model, which encompasses building geometry, spatial relationships, geographic information, quantities and properties of building components. On the other hand, Green Building Index (GBI) as the localized sustainability building rating system in Malaysia assesses the impact of building on environment based on energy efficiency, indoor environment quality, sustainable site & management, materials & resources, water efficiency and innovation. By integrating GBI assessment criteria with BIM technology, this research proposes a comparative case study analysis of Residential New Construction (RNC) and Non-Residential New Construction (NRNC) based on the Autodesk Ecotect Analysis software (a comprehensive, concept-to-detail sustainable design analysis tool that provides a wide range of simulation and analysis functionality through desktop and web-service platforms) and Autodesk Green Building Studio (A web-based energy analysis service which performs whole building analysis, optimizes energy efficiency, and works toward carbon neutrality earlier in the design process) to investigate the influence of construction material on energy consumption, lifecycle energy cost and carbon emission