Acumen : an open-source testbed for cyber-physical systems research

Developing Cyber-Physical Systems requires methods and tools to support simulation and verification of hybrid (both continuous and discrete) models. The Acumen modeling and simulation language is an open source testbed for exploring the design space of what rigorousbut- practical next-generation tools can deliver to developers of Cyber- Physical Systems. Like verification tools, a design goal for Acumen is to provide rigorous results. Like simulation tools, it aims to be intuitive, practical, and scalable. However, it is far from evident whether these two goals can be achieved simultaneously. This paper explains the primary design goals for Acumen, the core challenges that must be addressed in order to achieve these goals, the “agile research method” taken by the project, the steps taken to realize these goals, the key lessons learned, and the emerging language design.

Frequency adjustable MEMS vibration energy harvester

Ambient mechanical vibrations offer an attractive solution for powering the wireless sensor nodes of the emerging "Internet-of-Things". However, the wide-ranging variability of the ambient vibration frequencies pose a significant challenge to the efficient transduction of vibration into usable electrical energy. This work reports the development of a MEMS electromagnetic vibration energy harvester where the resonance frequency of the oscillator can be adjusted or tuned to adapt to the ambient vibrational frequency. Micro-fabricated silicon spring and double layer planar micro-coils along with sintered NdFeB micro-magnets are used to construct the electromagnetic transduction mechanism. Furthermore, another NdFeB magnet is adjustably assembled to induce variable magnetic interaction with the transducing magnet, leading to significant change in the spring stiffness and resonance frequency. Finite element analysis and numerical simulations exhibit substantial frequency tuning range (25% of natural resonance frequency) by appropriate adjustment of the repulsive magnetic interaction between the tuning and transducing magnet pair. This demonstrated method of frequency adjustment or tuning have potential applications in other MEMS vibration energy harvesters and micromechanical oscillators.

Gesture based IoT light control for smart clothing

In this paper, a smart wireless wristband is proposed. The potential of innovative gesture based interactivity with connected lighting solutions is reviewed. The solution is intended to offer numerous benefits, in terms of ease of use, and enhanced dynamic interactive functionality. A comparative analysis will be carried out between this work and existing solutions. The evolution of lighting and gesture controls will be discussed and an overview of alternative applications will be provided, as part of the critical analysis.

Privacy matters: issues within mechatronics

As mechatronic devices and components become increasingly integrated with and within wider systems concepts such as Cyber-Physical Systems and the Internet of Things, designer engineers are faced with new sets of challenges in areas such as privacy. The paper looks at the current, and potential future, of privacy legislation, regulations and standards and considers how these are likely to impact on the way in which mechatronics is perceived and viewed. The emphasis is not therefore on technical issues, though these are brought into consideration where relevant, but on the soft, or human centred, issues associated with achieving user privacy.

Seudonimización de datos en el entorno sanitario

Los problemas de privacidad están aumentando con el uso masivo de dispositivos IoT (Internet of Things) en el ámbito de la Salud y el Bienestar. Estos dispositivos manejan gran cantidad de datos relativos a la salud del individuo que son almacenados y transferidos a través de diferentes dispositivos y plataformas propiedad de empresas privadas. El tratamiento confidencial de estos datos es, por tanto, fundamental para mantener la privacidad de los usuarios. En este trabajo se ha realizado una extensa revisión de la legislación internacional y trabajos de investigación publicados con respecto a los datos que deben protegerse en el ámbito de la salud. El propósito es garantizar la protección de los datos de las personas que hacen uso de estos servicios. Se ha clasificado y optimizado la colección de atributos obtenida con esta revisión a través de la identificación de duplicados y eliminación de aquellos no utilizados. Posteriormente, el conjunto de datos obtenido se ha sometido al criterio de expertos utilizando diferentes técnicas como entrevistas y cuestionarios con el objetivo de obtener el conjunto de datos que debe ser objeto de estudio en cada caso concreto para su protección en el ámbito de la Salud. Los datos finales obtenidos se presentan en este trabajo.

Realizzazione di un sistema di automazione domotica con tecnologia open-hardware

Il termine Domotica deriva dall’unione dei termini domus e robotics e spazia oltre alle competenze in ambito informatico ed elettronico, avvalendosi dell’architettura e di determinati campi dell’ingegneria come: energetica, edile, dell’ automazione, elettrotecnica, delle telecomunicazioni. La Domotica agevola gli aspetti della quotidianità all’interno dell’ambiente casalingo o, più in generale, di ambienti antropizzati. Questa tesi ha l’intento di spiegare come può essere realizzato un sistema domotizzato casalingo utilizzando dispositivi open-hardware. Inizialmente verranno messi in chiaro i concetti chiave generici di un sistema domotico e verranno discussi i prodotti attualmente in commercio e verrà fatta una piccola introduzione sul concetto di open-hardware. Successivamente verrà discusso il sistema realizzato dandone una panoramica, si esaminerà la strutturazione sia software che hardware e le tecnologie ed i dispositivi utilizzati, per poi enucleare casi d’uso. A seguire le conclusioni.

Chinese Internet language: A sociolinguistic analysis of adaptations of the Chinese writing system

This paper examines the adaptations of the writing system in Internet language in mainland China from a sociolinguistic perspective. A comparison is also made of the adaptations in mainland China with those that Su (2003) found in Taiwan. In Computer-Mediated Communication (CMC), writing systems are often adapted to compensate for their inherent inadequacies (such as difficulty in input). Su (2003) investigates the creative uses of the writing system on the electronic bulletin boards (BBS) of two college student organizations in Taipei, Taiwan, and identifies four popular and creative uses of the Chinese writing system: stylized English, stylized Taiwanese-accented Mandarin, stylized Taiwanese, and the recycling of a transliteration alphabet used in elementary education. According to Coupland (2001; cited in Su 2003), stylization is “the knowing deployment of culturally familiar styles and identities that are marked as deviating from those predictably associated with the current speaking context”. Within this framework and drawing on the data in previous publications on Internet language and online sources, this study identifies five types of adaptations in mainland China’s Internet language: stylized Mandarin (e.g., 漂漂 piāopiāo for 漂亮 ‘beautiful’), stylized dialect-accented Mandarin (e.g., 灰常 huīcháng for 非常 ‘very much’), stylized English (e.g., 伊妹儿 yīmèier for ‘email’), stylized initials (e.g., bt 变态 biàntài for ‘abnormal’; pk, short form for ‘player kill’), and stylized numbers (e.g., 9494 jiùshi jiùshi 就是就是 ‘that is it’). The Internet community is composed of highly mobile individuals and thus forms a weak-tie social network. According to Milroy and Milroy (1992), a social network with weak ties is often where language innovation takes place. Adaptations of the Chinese writing system in Internet language provide interesting evidence for the innovations within a weak-tie social network. Our comparison of adaptations in mainland China and Taiwan shows that, in maximizing the effectiveness and functionality of their communication, participants of Internet communication are confronted with different language resources and situations, including differences in Romanization systems, English proficiency level, and attitudes towards English usage. As argued by Milroy and Milroy (1992), a weak-tie social network model can bridge the social class and social network. In the Internet community, the degree of diversity of the stylized linguistic varieties indexes the virtual and/or social status of its participants: the more diversified one’s Internet language is, the higher is his/her virtual and/or social status.

The Catholic Internet discussion on cloning : A study in cognitive rhetoric

This work combines the cognitive theory of folk-theoretical thought with the classical Aristotelian theory of artistic proof in rhetoric. The first half of the work discusses the common ground shared by the elements of artistic proof (logos, pathos, ethos) and the elements of folk-theoretical thought (naïve physics, folk biology, folk psychology, naïve sociology). Combining rhetoric with the cognitive theory of folk-theoretical thought creates a new point of view for argumentation analysis. The logos of an argument can be understood as the inferential relations established between the different parts of an argument. Consequently, within this study the analysis of logos is to be viewed as the analysis of the inferential folk-theoretical elements that make the suggested factual states-of-things appear plausible within given argumentative structures. The pathos of an argumentative structure can be understood as determining the quality of the argumentation in question in the sense that emotive elements play a great part in what can be called a distinction between good and deceptive rhetoric. In the context of this study the analysis of pathos is to be viewed as the analysis of the emotive content of argumentative structures and of whether they aim at facilitating surface- or deep cognitive elaboration of the suggested matters. The ethos of an argumentative structure means both the speaker-presentation and audience-construct that can be discerned within a body of argumentation. In the context of this study, the analysis of ethos is to be understood as the analysis of mutually manifest cognitive environments in the context of argumentation. The theory is used to analyse Catholic Internet discussion concerning cloning. The discussion is divided into six themes: Human Dignity, Sacred Family, Exploitation / Dehumanisation, Playing God, Monsters and Horror Scenarios and Ensoulment. Each theme is analysed for both the rhetorical and the cognitive elements that can be seen creating persuasive force within the argumentative structures presented. It is apparent that the Catholic voices on the Internet extensively oppose cloning. The voices utilise rhetoric that is aggressive and pejorative more often than not. Furthermore, deceptive rhetoric (in the sense presented above) plays a great part in argumentative structures of the Catholic voices. The theory of folk-theoretical thought can be seen as a useful tool for analysing the possible reasons why the Catholic speakers think about cloning and choose to present cloning in their argumentation as they do. The logos utilized in the argumentative structures presented can usually be viewed as based on folk-theoretical inference concerning biology and psychology. The structures of pathos utilized generally appear to aim at generating fear appeal in the assumed audiences, often incorporating counter-intuitive elements. The ethos utilised in the arguments generally revolves around Christian mythology and issues of social responsibility. These structures can also be viewed from the point of view of folk psychology and naïve sociological assumptions.

Polymorphism in Opto-Electronic Materials with a Benzothiazole-fluorene Core: A Consequence of High Conformational Flexibility of pi-Conjugated Backbone and Alkyl Side Chains

Fluorene and its derivatives are well-known organic semiconducting materials in the field of opto-electronic devices because of their charge transport properties. Three new organic semiconducting materials, namely, 2,2'-((9,9-butyl-9H-fluorene-2,7-diyl)bis(4,1 phenylene))bisbenzod]thiazole, C4; 2,2'-((octyl-9H-fluorene-2,7-diyl)bis(4,1 phenylene))bisbenzod]thiazole, C8; and 2,2'-((9,9-dodecayl-9H-fluorene-2,7-diyl)bis(4,1 phenylene))bisbenzod]thiazole, C12 with a benzothiazole-fluorene backbone, were synthesized and characterized for their photophysical properties. A phenomenon of concomitant polymorphism has been investigated in the first two derivatives (C4 and C8) and has been analyzed systematically in terms of the packing characteristics involving pi ... pi interactions. The conformational flexibility of the pi-conjugated 2,2'-(fluorene-2,7-diyl)bis(4,1 phenylene)bisbenzod]thiazole backbone coupled with orientational freedom of the terminal alkyl chains were found to be the key factors responsible for these polymorphic modifications. Attempts to grow suitable crystals for single crystal X-ray diffraction of compound C12 were unsuccessful.

High Catalytic Activity of Amorphous Ir-Pi for Oxygen Evolution Reaction

Large-scale production of hydrogen gas by water electrolysis is hindered by the sluggish kinetics of oxygen evolution reaction (OER) at the anode. The development of a highly active and stable catalyst for OER is a challenging task. Electrochemically prepared amorphous metal-based catalysts have gained wide attention after the recent discovery of a cnbalt-phosphate (Co-Pi) catalyst: Herein, an amorphous iridium-phosphate (Ir-Pi) is investigated as an oxygen evolution catalyst. The catalyst is prepared by the anodic polarization of carbon paper electrodes in neutral phosphate buffer solutions containing IrCl3. The Ir-Pi film deposited on the substrate has significant amounts of phosphate and It centers in an oxidation state higher than +4. Phosphate plays a significant role in the deposition of the catalyst and also in its activity toward OER. The onset potential of OER on the Ir-Pi is about 150 mV lower in comparison with the Co-Pi under identical experimental conditions. Thus, Ir-Pi is a promising catalyst for electrochemical oxidation of water.

Beam energy dependence of the pi(-)/pi(+) ratio

Using the isopin- and momentum-dependant hadronic transport model IBUU04, the effect of symmetry energy on the pi(-)/pi(+) ratio are studied. Our investigations are based on the calculations of the Sn-132+Sn-124 semi-central collisions at beam energies of 400/ A MwV, 600/ A MeV and 800MeV. It is found that both the transverse momentum and kinetic energy distributions of the pi(-)/pi(+) ratio are rather sensitive to the symmetry energy, especially around the Colomb peaks. The position of the coulomb peak is shown to be nearly indrpendant of beam energy. The sesitivity of the pi(-)/pi(+) ratio to the symmetry ebergy decreases as the beam energy increases from 600/ A MeV to 800/ A MeV.

A Smart Grid Information System for Demand Side Participation: Remote Control of Domestic Appliances to Balance Demand

Due to the intermittent nature of renewable generation it is desirable to consider the potential of controlling the demand-side load to smooth overall system demand. The architecture and control methodologies of such a system on a large scale would require careful consideration. Some of these considerations are discussed in this paper; such as communications infrastructure, systems architecture, control methodologies and security. A domestic fridge is used in this paper as an example of a controllable appliance. A layered approach to smart-grid is introduced and it can be observed how each smart-grid component from physical cables, to the end-devices (or smart-applications) can be mapped to these set layers. It is clear how security plays an integral part in each component of the smart-grid so this is also an integral part of each layer. The controllable fridge is described in detail and as one potential smart-grid application which maps to the layered approach. A demonstration system is presented which involves a Raspberry Pi (a low-power, low-cost device representing the appliance controller).

Solvatochromic Shift of the pi -> pi* Transition in All-Trans, Cis-13, Cis-11, Cis-9, and Cis-7 Retinal Isomers Induced by Water and Methanol

The solvatochromic shift of the lowest singlet it pi -> pi* electronic transition in the all-trans, cis-13, cis-11, cis-9, and cis-7 retinal isomers were computed under the influence of water, methanol, and benzene solvents. Excitation energies were calculated in gas phase and in solution. The calculations in solution were performed considering the sequential Monte Carlo (MC) /Quantum Mechanical approach. The MC simulations were performed considering the full retinal isomer molecules and 900 water molecules, 900 methanol, or 400 benzene ones. The OPLS/AA parametrization was chosen for retinal, methanol, and benzene molecules and the SPC model was used for water one. From the MC calculations 100 independent configurations were selected, with 100 solvent molecules in thermodynamical equilibrium at T = 298.15 K. Average point-charges were obtained from those independent configurations for water, methanol, and benzene solvent. TDDFT and CASSCF//CASPT2 methodologies were used to compute the vertical excitation energy of the retinal isomers in different environment. (C) 2010 Wiley Periodicals, Inc. Int J Quantum Chem 110: 2076-2087, 2010

Ah, Libraries: How I Love the Smell of... Electronic Access?!

In the olden days, we Baby-Boomers would walk into our university or college libraries and pause just long enough to take in that wonderful smells of high grade cowhide leather and aging papyrus before rushing off to study. There was something about opening any leather bound edition of anything and being transported by the smell to some distant land, not unlike Charles Swann in Marcel Proust’s famous French novel, A La Recherché du Temps Perdu, Remembrance of Things Past.