Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond

There is a hidden intrigue in the title. CT is one of the most abstract mathematical disciplines, sometimes nicknamed "abstract nonsense". MDE is a recent trend in software development, industrially supported by standards, tools, and the status of a new "silver bullet". Surprisingly, categorical patterns turn out to be directly applicable to mathematical modeling of structures appearing in everyday MDE practice. Model merging, transformation, synchronization, and other important model management scenarios can be seen as executions of categorical specifications. Moreover, the paper aims to elucidate a claim that relationships between CT and MDE are more complex and richer than is normally assumed for "applied mathematics". CT provides a toolbox of design patterns and structural principles of real practical value for MDE. We will present examples of how an elementary categorical arrangement of a model management scenario reveals deficiencies in the architecture of modern tools automating the scenario.Comment: In Proceedings ACCAT 2012, arXiv:1208.430

Towards a cloud‑based automated surveillance system using wireless technologies

Cloud Computing can bring multiple benefits for Smart Cities. It permits the easy creation of centralized knowledge bases, thus straightforwardly enabling that multiple embedded systems (such as sensor or control devices) can have a collaborative, shared intelligence. In addition to this, thanks to its vast computing power, complex tasks can be done over low-spec devices just by offloading computation to the cloud, with the additional advantage of saving energy. In this work, cloud’s capabilities are exploited to implement and test a cloud-based surveillance system. Using a shared, 3D symbolic world model, different devices have a complete knowledge of all the elements, people and intruders in a certain open area or inside a building. The implementation of a volumetric, 3D, object-oriented, cloud-based world model (including semantic information) is novel as far as we know. Very simple devices (orange Pi) can send RGBD streams (using kinect cameras) to the cloud, where all the processing is distributed and done thanks to its inherent scalability. A proof-of-concept experiment is done in this paper in a testing lab with multiple cameras connected to the cloud with 802.11ac wireless technology. Our results show that this kind of surveillance system is possible currently, and that trends indicate that it can be improved at a short term to produce high performance vigilance system using low-speed devices. In addition, this proof-of-concept claims that many interesting opportunities and challenges arise, for example, when mobile watch robots and fixed cameras would act as a team for carrying out complex collaborative surveillance strategies.Ministerio de Economía y Competitividad TEC2016-77785-PJunta de Andalucía P12-TIC-130

Model-based spacecraft and mission design for the evaluation of technology

In order to meet the future vision of robotic missions, engineers will face intricate mission concepts, new operational approaches, and technologies that have yet to be developed. The concept of smaller, model driven projects helps this transition by including life-cycle cost as part of the decision making process. For example, since planetary exploration missions have cost ceilings and short development periods, heritage flight hardware is utilized. However, conceptual designs that rely solely on heritage technology will result in estimates that may not be truly representative of the actual mission being designed and built. The Laboratory for Spacecraft and Mission Design (LSMD) at the California Institute of Technology is developing integrated concurrent models for mass and cost estimations. The purpose of this project is to quantify the infusion of specific technologies where the data would be useful in guiding technology developments leading up to a mission. This paper introduces the design-to-cost model to determine the implications of various technologies on the spacecraft system in a collaborative engineering environment. In addition, comparisons of the benefits of new or advanced technologies for future deep space missions are examined

San Francisco Bay: Preparing for the next level

This report provides new insights on the impacts climate change poses on San Francisco Bay, the opportunities this challenge brings and some potential guidelines on how to move forward, as the Bay Area continues to position itself in leading the way nationally and internationally on climate change adaptation. This report is also a landmark in the cooperation between the Netherlands and California on climate change adaptation. A team of professionals from both sides of the ocean has worked on this projec

Bayesian Modeling of a Human MMORPG Player

This paper describes an application of Bayesian programming to the control of an autonomous avatar in a multiplayer role-playing game (the example is based on World of Warcraft). We model a particular task, which consists of choosing what to do and to select which target in a situation where allies and foes are present. We explain the model in Bayesian programming and show how we could learn the conditional probabilities from data gathered during human-played sessions.Comment: 30th international workshop on Bayesian Inference and Maximum Entropy, Chamonix : France (2010

Specifications and Development of Interoperability Solution dedicated to Multiple Expertise Collaboration in a Design Framework

This paper describes the specifications of an interoperability platform based on the PPO (Product Process Organization) model developed by the French community IPPOP in the context of collaborative and innovative design. By using PPO model as a reference, this work aims to connect together heterogonous tools used by experts easing data and information exchanges. After underlining the growing needs of collaborative design process, this paper focuses on interoperability concept by describing current solutions and their limits. Then a solution based on the flexibility of the PPO model adapted to the philosophy of interoperability is proposed. To illustrate these concepts, several examples are more particularly described (robustness analysis, CAD and Product Lifecycle Management systems connections)

The Lotic Intersite Nitrogen Experiments: an example of successful ecological research collaboration

Collaboration is an essential skill for modern ecologists because it brings together diverse expertise, viewpoints, and study systems. The Lotic Intersite Nitrogen eXperiments (LINX I and II), a 17-y research endeavor involving scores of early- to late-career stream ecologists, is an example of the benefits, challenges, and approaches of successful collaborative research in ecology. The scientific success of LINX reflected tangible attributes including clear scientific goals (hypothesis-driven research), coordinated research methods, a team of cooperative scientists, excellent leadership, extensive communication, and a philosophy of respect for input from all collaborators. Intangible aspects of the collaboration included camaraderie and strong team chemistry. LINX further benefited from being part of a discipline in which collaboration is a tradition, clear data-sharing and authorship guidelines, an approach that melded field experiments and modeling, and a shared collaborative goal in the form of a universal commitment to see the project and resulting data products through to completion

A Price Worth Paying: The Case for Controlling Marine Emissions in the Pearl River Delta

The Pearl River Delta (PRD) is a region with a single airshed, but different administrative and legal practices for controlling air quality. Under the Regional Cooperation Plan on Building a Quality Living Area (QLA Plan) released in June 2012 the Governments of Hong Kong, Guangdong and Macau have outlined a strategy to collaborate in reducing emissions from vessels throughout the PRD. This report provides evidence designed to assist policymakers in the region with this objective. It focuses on regulating toxic exhaust emissions from ocean-going vessels (OGVs) -- the most significant contributors of marine emissions. The findings show that marine sources of sulphur dioxide (SO2) emissions currently account for 519 premature deaths per annum in the PRD. These deaths could be reduced by 91% should an Emission Control Area (ECA) mandating the use of fuels with lower sulphur content be introduced. The report also demonstrates that three less comprehensive control measures would also reduce OGV emissions and associated public health impacts by 41-62%. Policymakers are encouraged to introduce these measures as stepping-stones on the way to establishment of an ECA for the PRD