Applying formal methods to standard development: the open distributed processing experience

Since their introduction, formal methods have been applied in various ways to different standards. This paper gives an account of these applications, focusing on one application in particular: the development of a framework for creating standards for Open Distributed Processing (ODP). Following an introduction to ODP, the paper gives an insight into the current work on formalising the architecture of the Reference Model of ODP (RM-ODP), highlighting the advantages to be gained. The different approaches currently being taken are shown, together with their associated advantages and disadvantages. The paper concludes that there is no one all-purpose approach which can be used in preference to all others, but that a combination of approaches is desirable to best fulfil the potential of formal methods in developing an architectural semantics for OD

Effervescent Breakup and Combustion of Liquid Fuels: Experiment and Modelling

Tato práce se zaměřuje na oblast effervescentních sprejů a jejich aplikace na kapalné spalování s důrazem na průmyslové spalovací komory. Oba aspekty – modelování a experiment – jsou řešeny. Práce obsahuje obecný úvod, ve kterém jsou vysvětleny základní jevy rozpadu kapaliny a vířivého spalování a dále je představena effervescentní atomizace. Poté jsou popsány použité experimentální postupy jak pro měření spreje, tak pro měření tepelných toků do stěn při spalování. V následující kapitole jsou popsány numerické modely a jejich podstata je vysvětlena. Jsou zde uvedeny modely pro rozpad spreje, turbulenci a spalování použité během výzkumu. Vlastní výsledky práce jsou uvedeny formou samostatných článků (vydaných nebo přijatých) s dodatečnou částí věnovanou nepublikovaným relevantním výsledkům. Bylo zjištěno, že standardní modely sprejů jsou do jisté míry schopny popsat effervescentní spreje. Nicméně aby bylo možné predikovat plamen kapalného spreje, jsou zapotřebí detailnější modely sprejů, které dokáží přesně zachytit změnu průměrů kapek v radiálním a axiálním směru. Experimentální měření effervescentních sprejů bylo provedeno pomocí navrhnuté metodiky. Výsledky měření byly analyzovány s důrazem na radiální a axiální vývoj průměrů kapek a některé nové jevy byly popsány. Nepřímá úměrnost mezi gas-liquid-ratio a středním průměrem kapek byla potvrzena. Dále by popsán jev, kdy pro různé axiální vzdálenosti které dojde k úplnému převrácení závislosti středního průměru na axiální vzdálenosti. V závěru je uvedeno shrnutí, které rekapituluje hlavní výsledků a závěry. V závěrečných poznámkách je nastíněn možný budoucí postup. Experimentální data pro ověřování budoucích effervescentních modelů jsou poskytnuta.This thesis presents an investigation of effervescent sprays and their application to spray combustion with emphasis on large-scale combustors. Both aspects – modelling and experiment – are addressed. The thesis contains a general introductory part, where underlying phenomena of spray forming and turbulent combustion are explained and effervescent atomization is presented. Then, adopted experimental approaches are described both for the spray measurement and for the measurement of wall heat fluxes during combustion experiments. In the following chapter numerical models and their philosophy is discussed. Models for spray formation, turbulence and combustion adopted during the research are introduced and explained. The actual results of the thesis are presented in form of separate papers (published or accepted for publication) with an additional section devoted to unpublished relevant results. It is found that standard spray models can to some extent represent effervescent sprays. However, in order to predict a spray flame more detailed spray models are needed in order to describe accurately radial and axial variations of drop sizes. Numerous experimental measurements of effervescent sprays are performed using a proposed methodology. Drop size data are analysed with emphasis on radial and axial drop size evolutions and some new phenomena are described. The inverse relationship between gas-liquid-ratio and mean diameter has been confirmed. Moreover a complete reversal in radial mean diameter trends for various axial locations has been described. Finally, a result summary is put forward that recapitulates the main accomplishments and conclusions. In the closing remarks possible future research is outlined. Experimental data for future effervescent model validations are disclosed.

Challenges of Internet of Things and Big Data Integration

The Internet of Things anticipates the conjunction of physical gadgets to the In-ternet and their access to wireless sensor data which makes it expedient to restrain the physical world. Big Data convergence has put multifarious new opportunities ahead of business ventures to get into a new market or enhance their operations in the current market. considering the existing techniques and technologies, it is probably safe to say that the best solution is to use big data tools to provide an analytical solution to the Internet of Things. Based on the current technology deployment and adoption trends, it is envisioned that the Internet of Things is the technology of the future, while to-day's real-world devices can provide real and valuable analytics, and people in the real world use many IoT devices. Despite all the advertisements that companies offer in connection with the Internet of Things, you as a liable consumer, have the right to be suspicious about IoT advertise-ments. The primary question is: What is the promise of the Internet of things con-cerning reality and what are the prospects for the future.Comment: Proceedings of the International Conference on International Conference on Emerging Technologies in Computing 2018 (iCETiC '18), 23rd -24th August, 2018, at London Metropolitan University, London, UK, Published by Springer-Verla

Creating Space: Building Digital Games

Studies of games, rhetoric, and pedagogy are increasingly common in our field, and indeed seem to grow each year. Nonetheless, composing and designing digital games, either as a mode of scholarship or as a classroom assignment, has not seen an equal groundswell. This selection first provides a brief overview of the existing scholarship in gaming and pedagogy, much of which currently focuses either on games as texts to analyze or as pedagogical models. While these approaches are certainly valuable, I advocate for an increased focus on game design and creation as valuable act of composition. Such a focus engages students and scholars in a deeply multimodal practice that incorporates critical design and computational thinking. I close with suggestions on tools for new and intrepid designers

Market-based Recommendation: Agents that Compete for Consumer Attention

The amount of attention space available for recommending suppliers to consumers on e-commerce sites is typically limited. We present a competitive distributed recommendation mechanism based on adaptive software agents for efficiently allocating the 'consumer attention space', or banners. In the example of an electronic shopping mall, the task is delegated to the individual shops, each of which evaluates the information that is available about the consumer and his or her interests (e.g. keywords, product queries, and available parts of a profile). Shops make a monetary bid in an auction where a limited amount of 'consumer attention space' for the arriving consumer is sold. Each shop is represented by a software agent that bids for each consumer. This allows shops to rapidly adapt their bidding strategy to focus on consumers interested in their offerings. For various basic and simple models for on-line consumers, shops, and profiles, we demonstrate the feasibility of our system by evolutionary simulations as in the field of agent-based computational economics (ACE). We also develop adaptive software agents that learn bidding strategies, based on neural networks and strategy exploration heuristics. Furthermore, we address the commercial and technological advantages of this distributed market-based approach. The mechanism we describe is not limited to the example of the electronic shopping mall, but can easily be extended to other domains

Internet of robotic things : converging sensing/actuating, hypoconnectivity, artificial intelligence and IoT Platforms

The Internet of Things (IoT) concept is evolving rapidly and influencing newdevelopments in various application domains, such as the Internet of MobileThings (IoMT), Autonomous Internet of Things (A-IoT), Autonomous Systemof Things (ASoT), Internet of Autonomous Things (IoAT), Internetof Things Clouds (IoT-C) and the Internet of Robotic Things (IoRT) etc.that are progressing/advancing by using IoT technology. The IoT influencerepresents new development and deployment challenges in different areassuch as seamless platform integration, context based cognitive network integration,new mobile sensor/actuator network paradigms, things identification(addressing, naming in IoT) and dynamic things discoverability and manyothers. The IoRT represents new convergence challenges and their need to be addressed, in one side the programmability and the communication ofmultiple heterogeneous mobile/autonomous/robotic things for cooperating,their coordination, configuration, exchange of information, security, safetyand protection. Developments in IoT heterogeneous parallel processing/communication and dynamic systems based on parallelism and concurrencyrequire new ideas for integrating the intelligent “devices”, collaborativerobots (COBOTS), into IoT applications. Dynamic maintainability, selfhealing,self-repair of resources, changing resource state, (re-) configurationand context based IoT systems for service implementation and integrationwith IoT network service composition are of paramount importance whennew “cognitive devices” are becoming active participants in IoT applications.This chapter aims to be an overview of the IoRT concept, technologies,architectures and applications and to provide a comprehensive coverage offuture challenges, developments and applications

Secure multi-party computation for analytics deployed as a lightweight web application

We describe the definition, design, implementation, and deployment of a secure multi-party computation protocol and web application. The protocol and application allow groups of cooperating parties with minimal expertise and no specialized resources to compute basic statistical analytics on their collective data sets without revealing the contributions of individual participants. The application was developed specifically to support a Boston Women’s Workforce Council (BWWC) study of wage disparities within employer organizations in the Greater Boston Area. The application has been deployed successfully to support two data collection sessions (in 2015 and in 2016) to obtain data pertaining to compensation levels across genders and demographics. Our experience provides insights into the particular security and usability requirements (and tradeoffs) a successful “MPC-as-a-service” platform design and implementation must negotiate.We would like to acknowledge all the members of the Boston Women’s Workforce Council, and to thank in particular MaryRose Mazzola, Christina M. Knowles, and Katie A. Johnston, who led the efforts to organize participants and deploy the protocol as part of the 100% Talent: The Boston Women’s Compact [31], [32] data collections. We also thank the Boston University Initiative on Cities (IOC), and in particular Executive Director Katherine Lusk, who brought this potential application of secure multi-party computation to our attention. The BWWC, the IOC, and several sponsors contributed funding to complete this work. Support was also provided in part by Smart-city Cloud-based Open Platform and Ecosystem (SCOPE), an NSF Division of Industrial Innovation and Partnerships PFI:BIC project under award #1430145, and by Modular Approach to Cloud Security (MACS), an NSF CISE CNS SaTC Frontier project under award #1414119

A Review of Verbal and Non-Verbal Human-Robot Interactive Communication

In this paper, an overview of human-robot interactive communication is presented, covering verbal as well as non-verbal aspects of human-robot interaction. Following a historical introduction, and motivation towards fluid human-robot communication, ten desiderata are proposed, which provide an organizational axis both of recent as well as of future research on human-robot communication. Then, the ten desiderata are examined in detail, culminating to a unifying discussion, and a forward-looking conclusion

An analysis of the application of AI to the development of intelligent aids for flight crew tasks

This report presents the results of a study aimed at developing a basis for applying artificial intelligence to the flight deck environment of commercial transport aircraft. In particular, the study was comprised of four tasks: (1) analysis of flight crew tasks, (2) survey of the state-of-the-art of relevant artificial intelligence areas, (3) identification of human factors issues relevant to intelligent cockpit aids, and (4) identification of artificial intelligence areas requiring further research

SciTech News Volume 71, No. 3 (2017)

Columns and Reports From the Editor.........................3 Division News Science-Technology Division....5 Chemistry Division....................8 Conference Report, Marion E, Sparks Professional Development Award Recipient..9 Engineering Division................10 Engineering Division Award, Winners Reflect on their Conference Experience..15 Aerospace Section of the Engineering Division .....18 Architecture, Building Engineering, Construction, and Design Section of the Engineering Division................20 Reviews Sci-Tech Book News Reviews...22 Advertisements IEEE..........................................