Algorithmic Verification of Continuous and Hybrid Systems

We provide a tutorial introduction to reachability computation, a class of computational techniques that exports verification technology toward continuous and hybrid systems. For open under-determined systems, this technique can sometimes replace an infinite number of simulations.Comment: In Proceedings INFINITY 2013, arXiv:1402.661

Photoluminescence quenching in gold - MoS2 hybrid nanoflakes

Achieving tunability of two dimensional (2D) transition metal dichalcogenides (TMDs) functions calls for the introduction of hybrid 2D materials by means of localized interactions with zero dimensional (0D) materials. A metal-semiconductor interface, as in gold (Au) - molybdenum disulfide (MoS2), is of great interest from the standpoint of fundamental science as it constitutes an outstanding platform to investigate plasmonic-exciton interactions and charge transfer. The applied aspects of such systems introduce new options for electronics, photovoltaics, detectors, gas sensing, catalysis, and biosensing. Here we consider pristine MoS2 and study its interaction with Au nanoislands, resulting in local variations of photoluminescence (PL) associated with various Au-MoS2 hybrid configurations. By controllably depositing monolayers of Au on MoS2 to form Au nanostructures of given size and thickness, we investigate the electronic structure of the resulting hybrid systems. We present strong evidence of PL quenching of MoS2 as a result of charge transfer from MoS2 to Au: p-doping of MoS2. The results suggest new avenues for 2D nanoelectronics, active control of transport or catalytic properties

Applications of lattice QCD techniques for condensed matter systems

We review the application of lattice QCD techniques, most notably the Hybrid Monte-Carlo (HMC) simulations, to first-principle study of tight-binding models of crystalline solids with strong inter-electron interactions. After providing a basic introduction into the HMC algorithm as applied to condensed matter systems, we review HMC simulations of graphene, which in the recent years have helped to understand the semi-metal behavior of clean suspended graphene at the quantitative level. We also briefly summarize other novel physical results obtained in these simulations. Then we comment on the applicability of Hybrid Monte-Carlo to topological insulators and Dirac and Weyl semi-metals and highlight some of the relevant open physical problems. Finally, we also touch upon the lattice strong-coupling expansion technique as applied to condensed matter systems.Comment: 20 pages, 5 figures, Contribution to IJMPA special issue "Lattice gauge theory beyond QCD". List of references update

Factors Influencing Success of Wind-Diesel Hybrid Systems in Remote Alaska Communities: Results of an Informal Survey

In 2008 the Alaska State Legislature created and funded the Renewable Energy Fund. As a result of this available funding, the number of wind-diesel hybrid power systems is increasing dramatically in rural Alaska. Development, integration, and operation of complex wind technologies in remote, rural communities are challenging. With multiple communities in Alaska installing and operating these systems, it is important to understand the factors that influence successful completion, operation and long-term maintenance of projects (Fay, Schwoerer and Keith 2010; Colt, Goldsmith and Wiita 2003). As of fall 2011, over $107 million has been spent constructing wind projects in 27 communities (Alaska Energy Authority 2011). The majority of these systems were built since 2008 and utilized$50.8 million in appropriations from the REF by the Alaska legislature (Fay, Crimp and Villalobos-Melendez 2011) This report summarizes the findings of an informal survey conducted on the most important characteristics of a successful wind-diesel hybrid power project in small remote rural communities. The survey was done to help guide socioeconomic research in Alaska on community capacity under a U.S. Department of Energy project entitled “Making Wind Work for Alaska: Supporting the Development of Sustainable, Resilient, Cost-Effective Wind-Diesel Systems for Isolated Communities”.United States Department of Energy. EPSCoR project Grant DE-PS02-9ER09-12.Introduction / Methods / Findings / Conclusion and Limitations / Reference

Developing a Blended Type Course of Introduction to Hybrid Vehicles

An innovative course of introduction to hybrid vehicles is developed for both associate and bachelor degree programs for engineering technology with automotive/mechanical concentration. The hybrid vehicle course content includes several topics, such as the rational of pure electric vehicle and hybrid vehicle, hybrid vehicle propulsion systems, fundamentals of motor/generator systems, fundamentals of battery and energy management system, and introduction to various configurations of hybrid vehicle systems available in market and under development. Hybrid vehicle technology is a new area and developed rapidly in the field of automotive and mechanical engineering. Students need not only the fundamentals and concepts from college, but also the ability to keep up with the latest technology after their graduation. Therefore, a blended course type is employed to help students have a better understanding of the fundamentals of hybrid vehicle and developing their self-studying ability. Topics in the course have three steps of learning. Firstly, on-ground lecture is given in class, where the instructor explains basic knowledge, such as principles, equations, and design rules. In this way, the students will have enough background knowledge and be able to conduct further self-reading and research work. Secondly, students are required to go to university's desire to learn (D2L) online system and finish the online part of the topic. In the D2L system, students will find a quiz and its supporting materials. Thirdly, students come back to the on-ground lecture and discuss the quiz in groups with instructor. After the discussion, the instructor gives students a conclusion of the topic and moves forward to the next topic. A computer simulation class is also given to help student better understand the operation strategies of the hybrid vehicle systems and have a trial of design of hybrid vehicle

Socionics: Sociological Concepts for Social Systems of Artificial (and Human) Agents

Socionics is an interdisciplinary approach with the objective to use sociological knowledge about the structures, mechanisms and processes of social interaction and social communication as a source of inspiration for the development of multi-agent systems, both for the purposes of engineering applications and of social theory construction and social simulation. The approach has been spelled out from 1998 on within the Socionics priority program funded by the German National research foundation. This special issue of the JASSS presents research results from five interdisciplinary projects of the Socionics program. The introduction gives an overview over the basic ideas of the Socionics approach and summarizes the work of these projects.Socionics, Sociology, Multi-Agent Systems, Artificial Social Systems, Hybrid Systems, Social Simulation