Meta-models, environment and layers: agent-oriented engineering of complex systems

Traditional software engineering approaches and metaphors fall short when applied to areas of growing relevance such as electronic commerce, enterprise resource planning, and mobile computing: such areas, in fact, generally call for open architectures that may evolve dynamically over time so as to accommodate new components and meet new requirements. This is probably one of the main reasons that the agent metaphor and the agent-oriented paradigm are gaining momentum in these areas. This thesis deals with the engineering of complex software systems in terms of the agent paradigm. This paradigm is based on the notions of agent and systems of interacting agents as fundamental abstractions for designing, developing and managing at runtime typically distributed software systems. However, today the engineer often works with technologies that do not support the abstractions used in the design of the systems. For this reason the research on methodologies becomes the basic point in the scientific activity. Currently most agent-oriented methodologies are supported by small teams of academic researchers, and as a result, most of them are in an early stage and still in the first context of mostly \academic" approaches for agent-oriented systems development. Moreover, such methodologies are not well documented and very often defined and presented only by focusing on specific aspects of the methodology. The role played by meta- models becomes fundamental for comparing and evaluating the methodologies. In fact a meta-model specifies the concepts, rules and relationships used to define methodologies. Although it is possible to describe a methodology without an explicit meta-model, formalising the underpinning ideas of the methodology in question is valuable when checking its consistency or planning extensions or modifications. A good meta-model must address all the different aspects of a methodology, i.e. the process to be followed, the work products to be generated and those responsible for making all this happen. In turn, specifying the work products that must be developed implies dening the basic modelling building blocks from which they are built. As a building block, the agent abstraction alone is not enough to fully model all the aspects related to multi-agent systems in a natural way. In particular, different perspectives exist on the role that environment plays within agent systems: however, it is clear at least that all non-agent elements of a multi-agent system are typically considered to be part of the multi-agent system environment. The key role of environment as a first-class abstraction in the engineering of multi-agent system is today generally acknowledged in the multi-agent system community, so environment should be explicitly accounted for in the engineering of multi-agent system, working as a new design dimension for agent-oriented methodologies. At least two main ingredients shape the environment: environment abstractions - entities of the environment encapsulating some functions -, and topology abstractions - entities of environment that represent the (either logical or physical) spatial structure. In addition, the engineering of non-trivial multi-agent systems requires principles and mechanisms for supporting the management of the system representation complexity. These principles lead to the adoption of a multi-layered description, which could be used by designers to provide different levels of abstraction over multi-agent systems. The research in these fields has lead to the formulation of a new version of the SODA methodology where environment abstractions and layering principles are exploited for en- gineering multi-agent systems.

Fiber-Optic Technologies for Wireline and Wireless In-building Networks

This doctoral dissertation aims to establish fiber-optic technologies overcoming the limiting issues of data communications in indoor environments. Specific applications are broadband mobile distribution in different in-building scenarios and high-speed digital transmission over short-range wired optical systems. Two key enabling technologies are considered: Radio over Fiber (RoF) techniques over standard silica fibers for distributed antenna systems (DAS) and plastic optical fibers (POFs) for short-range communications. Hence, the objectives and achievements of this thesis are related to the application of RoF and POF technologies in different in-building scenarios. On one hand, a theoretical and experimental analysis combined with demonstration activities has been performed on cost-effective RoF systems. An extensive modeling on modal noise impact both on linear and non-linear characteristics of RoF link over silica multimode fiber has been performed to achieve link design rules for an optimum choice of the transmitter, receiver and launching technique. A successful transmission of Long Term Evolution (LTE) mobile signals on the resulting optimized RoF system over silica multimode fiber employing a Fabry-Perot LD, central launch technique and a photodiode with a built-in ball lens was demonstrated up to 525m with performances well compliant with standard requirements. On the other hand, digital signal processing techniques to overcome the bandwidth limitation of POF have been investigated. An uncoded net bit-rate of 5.15Gbit/s was obtained on a 50m long POF link employing an eye-safe transmitter, a silicon photodiode, and DMT modulation with bit and power loading algorithm. With the insertion of 3x2N quadrature amplitude modulation constellation formats, an uncoded net-bit-rate of 5.4Gbit/s was obtained on a 50 m long POF link employing an eye-safe transmitter and a silicon avalanche photodiode. Moreover, simultaneous transmission of baseband 2Gbit/s with DMT and 200Mbit/s with an ultra-wideband radio signal has been validated over a 50m long POF link.

Interplay of pi–pi stacking and hydrogen bonding in conjugated supramolecular systems studied by solid-state NMR

In this work supramolecular organic systems based on rigid pi-conjugated building blocks and flexible side chains were studied via solid-state NMR spectroscopy. Specifically, these studies focussed on phenylene ethynylene based macrocycles, polymer systems including polythiophenes, and rod-coil copolymers of oligo(p-benzamide) and poly(ethylene glycol). All systems were studied in terms of the local order and mobility. The central topic of this dissertation was to elucidate the role of the flexible side chains in interplay of different non-covalent interactions, like pi-pi-stacking and hydrogen bonding.Combining the results of this work, it can be concluded that the ratio of the rigid block and the attached alkyl side chains can be crucial for the design of an ordered pi-conjugated supramolecular system. Through alkyl side chains, it is also possible to introduce liquid-crystalline phases in the system, which can foster the local order of the system. Moreover in the studied system longer, unbranched alkyl side chains are better suited to stabilize the corresponding aggregation than shorter, branched ones.The combination of non-covalent interactions such as pi-pi-stacking and hydrogen bonding play an important role for structure formation. However, the effect of pi-pi-stacking interaction is much weaker than the effect of hydrogen bonding and is only observed in systems with a suitable local order. Hence, they are often not strong enough to control the local order. In contrast, hydrogen bonds predominantly influence the structural organization and packing. In comparison the size of the alkyl side chains is only of minor importance. The suppression of certain hydrogen bonds can lead to completely different structures and can induce a specific aggregation behavior. Thus, for the design of a supramolecular ordered system the presence of hydrogen bonding efficiently stabilizes the corresponding structure, but the ratio of hydrogen bond forming groups should be kept low to be able to influence the structure selectively.

Silicon Photonics Integrated Circuits for Flexible Optical Systems

This dissertation deals with the design and the characterization of novel reconfigurable silicon-on-insulator (SOI) devices to filter and route optical signals on-chip. Design is carried out through circuit simulations based on basic circuit elements (Building Blocks, BBs) in order to prove the feasibility of an approach allowing to move the design of Photonic Integrated Circuits (PICs) toward the system level. CMOS compatibility and large integration scale make SOI one of the most promising material to realize PICs. The concepts of generic foundry and BB based circuit simulations for the design are emerging as a solution to reduce the costs and increase the circuit complexity. To validate the BB based approach, the development of some of the most important BBs is performed first. A novel tunable coupler is also presented and it is demonstrated to be a valuable alternative to the known solutions. Two novel multi-element PICs are then analysed: a narrow linewidth single mode resonator and a passband filter with widely tunable bandwidth. Extensive circuit simulations are carried out to determine their performance, taking into account fabrication tolerances. The first PIC is based on two Grating Assisted Couplers in a ring resonator (RR) configuration. It is shown that a trade-off between performance, resonance bandwidth and device footprint has to be performed. The device could be employed to realize reconfigurable add-drop de/multiplexers. Sensitivity with respect to fabrication tolerances and spurious effects is however observed. The second PIC is based on an unbalanced Mach-Zehnder interferometer loaded with two RRs. Overall good performance and robustness to fabrication tolerances and nonlinear effects have confirmed its applicability for the realization of flexible optical systems. Simulated and measured devices behaviour is shown to be in agreement thus demonstrating the viability of a BB based approach to the design of complex PICs.

Donor–acceptor systems in the quest for organic semiconductors

Die letzten Jahrzehnte brachten eine Vielzahl neuer organischen Halbleiter hervor, welche erfolgreich als aktive Materialien in Bauteilen eingesetzt wurden, wie zum Beispiel Feldeffekttransistoren (FET), organische Leuchtdioden (OLED), organischen Photovoltaikzellen (OPV) und Sensoren. Einige dieser Materialien haben, obwohl sich die Technolgie noch in der „Pubertät“ befindet, die minimalen Anforderungen für eine kommerzielle Anwendung erreicht, wobei jedoch vieles noch zu entdecken, erklären und verstehen bleibt. Diese Arbeit beschreibt das Design, die Synthese und Charakterisierung neuartiger halbleitender Polymere mit speziell eingestellten optoelektronischen Eigenschaften, welche effiziente ambipolare oder n-Leitung in OFET’s und OPV’s zeigen. Das Hauptziel wurde dadurch erreicht, dass sowohl die vorteilhaften Eigenschaften des planaren, elektronenarmen heterozyklischen Bausteines Thiadiazolo[3,4-g]quinoxalin als auch von Ethinbrücken, welche den Donor (D) und den Akzeptor (A) in einem D-A-Copolymer verbinden, durch systematische Optimierung ausgenutzt wurden. Neben synthetischen Herausforderungen werden in dieser Arbeit auch detailiiete Untersuchungen der optoelektronischen Eigenschaften der hergestellten konjugierten Polymere und Modellverbindungen dargelegt. Darüber hinaus beschreibt diese Arbeit erstmals ein Beispiel für ein Polymer, welches Dreifachbindungen im Polymerrückgrat enthält, und nahezu eine ausgeglichene ambipolare Ladungsträgerleitung in OFET’s zeigt. Zusätzlich werden gemischt-valente Phenothiazine, verbrückt mittels elektronenarmen pi-Brücken wie etwa Benzo[c][2,1,3]thiadiazol, und deren Elektronentransferprozesse, im Rahmen der Marcus-Hush-Theorie, untersucht.

Synthetic strategies of new spin-labelled supramolecular systems

Molecular recognition and self-assembly represent fundamental issues for the construction of supramolecular systems, structures in which the components are held together through non-covalent interactions. The study of host-guest complexes and mechanical interlocked molecules, important examples in this field, is necessary in order to characterize self-assembly processes, achieve more control over the molecular organization and develop sophisticated structures by using properly designed building blocks. The introduction of paramagnetic species, or spin labelling, represents an attractive opportunity that allows their detection and characterization by the Electron Spin Resonance spectroscopy, a valuable technique that provides additional information to those obtained by traditional methods. In this Thesis, recent progresses in the design and the synthesis of new paramagnetic host-guest complexes and rotaxanes characterized by the presence of nitroxide radicals and their investigation by ESR spectroscopy are reported. In Chapter 1 a brief overview of the principal concepts of supramolecular chemistry, the spin labelling approach and the development of ESR methods applied to paramagnetic systems are described. Chapter 2 and 3 are focused on the introduction of radicals in macrocycles as Cucurbiturils and Pillar[n]arenes, due to the interesting binding properties and the potential employment in rotaxanes, in order to investigate their structures and recognition properties. Chapter 4 deals with one of the most studied mechanical interlocked molecules, the bistable [2]rotaxane reported by Stoddart and Heath based on the ciclobis (paraquat-p-phenylene) CBPQT4+, that represents a well known example of molecular switch driven by external stimuli. The spin labelling of analogous architectures allows the monitoring by ESR spectroscopy of the switch mechanism involving the ring compound by tuning the spin exchange interaction. Finally, Chapter 5 contains the experimental procedures used for the synthesis of some of the compounds described in Chapter 2-4.

Mathematical Optimization Applied to Thermal and Electrical Energy Systems

This Thesis aims at building and discussing mathematical models applications focused on Energy problems, both on the thermal and electrical side. The objective is to show how mathematical programming techniques developed within Operational Research can give useful answers in the Energy Sector, how they can provide tools to support decision making processes of Companies operating in the Energy production and distribution and how they can be successfully used to make simulations and sensitivity analyses to better understand the state of the art and convenience of a particular technology by comparing it with the available alternatives. The first part discusses the fundamental mathematical background followed by a comprehensive literature review about mathematical modelling in the Energy Sector. The second part presents mathematical models for the District Heating strategic network design and incremental network design. The objective is the selection of an optimal set of new users to be connected to an existing thermal network, maximizing revenues, minimizing infrastructure and operational costs and taking into account the main technical requirements of the real world application. Results on real and randomly generated benchmark networks are discussed with particular attention to instances characterized by big networks dimensions. The third part is devoted to the development of linear programming models for optimal battery operation in off-grid solar power schemes, with consideration of battery degradation. The key contribution of this work is the inclusion of battery degradation costs in the optimisation models. As available data on relating degradation costs to the nature of charge/discharge cycles are limited, we concentrate on investigating the sensitivity of operational patterns to the degradation cost structure. The objective is to investigate the combination of battery costs and performance at which such systems become economic. We also investigate how the system design should change when battery degradation is taken into account.

Modelling and simulating in systems biology: an approach based on multi-agent systems

Systems Biology is an innovative way of doing biology recently raised in bio-informatics contexts, characterised by the study of biological systems as complex systems with a strong focus on the system level and on the interaction dimension. In other words, the objective is to understand biological systems as a whole, putting on the foreground not only the study of the individual parts as standalone parts, but also of their interaction and of the global properties that emerge at the system level by means of the interaction among the parts. This thesis focuses on the adoption of multi-agent systems (MAS) as a suitable paradigm for Systems Biology, for developing models and simulation of complex biological systems. Multi-agent system have been recently introduced in informatics context as a suitabe paradigm for modelling and engineering complex systems. Roughly speaking, a MAS can be conceived as a set of autonomous and interacting entities, called agents, situated in some kind of nvironment, where they fruitfully interact and coordinate so as to obtain a coherent global system behaviour. The claim of this work is that the general properties of MAS make them an effective approach for modelling and building simulations of complex biological systems, following the methodological principles identified by Systems Biology. In particular, the thesis focuses on cell populations as biological systems. In order to support the claim, the thesis introduces and describes (i) a MAS-based model conceived for modelling the dynamics of systems of cells interacting inside cell environment called niches. (ii) a computational tool, developed for implementing the models and executing the simulations. The tool is meant to work as a kind of virtual laboratory, on top of which kinds of virtual experiments can be performed, characterised by the definition and execution of specific models implemented as MASs, so as to support the validation, falsification and improvement of the models through the observation and analysis of the simulations. A hematopoietic stem cell system is taken as reference case study for formulating a specific model and executing virtual experiments.

Saccharide based nanocapsules - From monomer building blocks to improved capsules properties

In dieser Arbeit wurde der vielfältige Nutzen von Kohlenhydraten in Nanokapsel Systemen untersucht. Drei verschiedene Nanokapsel-Typen wurden durch Reaktion an der Grenzfläche von inversen Miniemulsionen hergestellt. Es wurde gezeigt, dass die Kohlenhydrate nach Modifizierung als Monomer an der Kapselbildung teilnehmen können, oder zur Erhöhung der Sensitivität eines verkapselten Kontrastmittels beitragen können. Im Folgenden werden die Ergebnisse der einzelnen Projekte zusammengefasst. Eine neuartige Grenzflächen-Synthese zur Herstellung von Nanokapseln wurde entwickelt und untersucht. Bei der Reaktion handelt es sich um eine Ruthenium katalysierte Olefin-Kreuzmetathese, welche für die Reaktion an der Grenzfläche angepasst wurde. Als wasserlösliches Macromonomer wurde Dextranacrylat synthetisiert. Der Reaktionspartner war ein öl-löslichen Phosphoester (Phenyldi(undec-10-en-1-yl)phosphat). Anhand von NMR-Spektren wurde gezeigt, dass die Kapselbildung auf Olefin Kreuzmetathese beruht. Im Vergleich zu konventionellen Estern haben Phosphorester eine weitere Möglichkeit zur chemischen Funktionalisierung. Dies wurde exemplarisch durch die Verwendung von fluoreszenzmarkierten Phosphoestern gezeigt. Die Markierung wurde verwendet, um die pH-induzierte Abbaubarkeit der Nanokapseln mittels Fluoreszenz-Korrelations-Spektroskopie zu beobachten. Ziel des zweiten Projekts war es, Nanostrukturen zu entwickeln, um Infektionen mit Antibiotika-resistenten Bakterien lokal zu behandeln. Dazu wurden mit Dextranmethacrylat vernetzte Poly(acrylamid) basierte Nanogele synthetisiert und Zinknitrat zugesetzt. Die Synthese der Nanogele wurde erweitert, um durch Vernetzung freier Alkoholgruppen mit Toluoldiisocyanat eine Kapselschale zu erhalten. Die Schalenbildung spiegelte sich in einer geringeren Quellbarkeit der Gel- Schale-Hybride wieder. Die erhaltenen Gel-Schale-Hybride waren in der Lage das Wachstum von zwei Methicillin-resistenten Bakterienstämmen (S. aureus) zu unterdrücken und verzögern. Die synthetisierten Hybridstrukturen könnten in der Beschichtung von Wundauflagen Verwendung finden, um bakterielle Infektionen lokal und direkt nach Ausbruch zu behandeln. Ziel des dritten Projektes war es, die wichtigen Parameter in der Herstellung von Nanokapseln mit hoher Kontrastmittel Sensitivität zu identifizieren. Relaxivität/Signalsensitivität des Kontrastmittels ist von großer Bedeutung für die Bildgebung mittels MRI, dies kann durch die Begrenzung der Mobilität des Kontrastmittels erreicht werden. Aufgrund seiner hohen Komplexstabilität und seiner klinischen Bedeutung wurde das Kontrastmittel Gadobutrol für die Verkapselung verwendet. Das Kontrastmittel wurde in Polyharnstoff-Kapseln eingeschlossen, die durch einen inversen Miniemulsion-Prozess hergestellt wurden. Um die Viskosität im Inneren der Nanokapsel zu erhöhen, wurden zusätzlich Saccharose, Dextran und Polyacrylsäure verkapselt. In Gegenwart von Saccharose konnte die Relaxivität verdoppelt werden. Dies gründet sich vermutlich auf einem Second-sphere Effekt der Saccharose, einer auf Wasserstoffbrückenbindungen beruhende Interaktion von Kontrastmittel und Saccharose.

Bitext alignment: building and evaluating a bilingual corpus and translation memory of academic course descriptions

Following the internationalization of contemporary higher education, academic institutions based in non-English speaking countries are increasingly urged to produce contents in English to address international prospective students and personnel, as well as to increase their attractiveness. The demand for English translations in the institutional academic domain is consequently increasing at a rate exceeding the capacity of the translation profession. Resources for assisting non-native authors and translators in the production of appropriate texts in L2 are therefore required in order to help academic institutions and professionals streamline their translation workload. Some of these resources include: (i) parallel corpora to train machine translation systems and multilingual authoring tools; and (ii) translation memories for computer-aided tools. The purpose of this study is to create and evaluate reference resources like the ones mentioned in (i) and (ii) through the automatic sentence alignment of a large set of Italian and English as a Lingua Franca (ELF) institutional academic texts given as equivalent but not necessarily parallel (i.e. translated). In this framework, a set of aligning algorithms and alignment tools is examined in order to identify the most profitable one(s) in terms of accuracy and time- and cost-effectiveness. In order to determine the text pairs to align, a sample is selected according to document length similarity (characters) and subsequently evaluated in terms of extent of noisiness/parallelism, alignment accuracy and content leverageability. The results of these analyses serve as the basis for the creation of an aligned bilingual corpus of academic course descriptions, which is eventually used to create a translation memory in TMX format.

An integrated system for building and running reproducible research

Our generation of computational scientists is living in an exciting time: not only do we get to pioneer important algorithms and computations, we also get to set standards on how computational research should be conducted and published. From Euclid’s reasoning and Galileo’s experiments, it took hundreds of years for the theoretical and experimental branches of science to develop standards for publication and peer review. Computational science, rightly regarded as the third branch, can walk the same road much faster. The success and credibility of science are anchored in the willingness of scientists to expose their ideas and results to independent testing and replication by other scientists. This requires the complete and open exchange of data, procedures and materials. The idea of a “replication by other scientists” in reference to computations is more commonly known as “reproducible research”. In this context the journal “EAI Endorsed Transactions on Performance & Modeling, Simulation, Experimentation and Complex Systems” had the exciting and original idea to make the scientist able to submit simultaneously the article and the computation materials (software, data, etc..) which has been used to produce the contents of the article. The goal of this procedure is to allow the scientific community to verify the content of the paper, reproducing it in the platform independently from the OS chosen, confirm or invalidate it and especially allow its reuse to reproduce new results. This procedure is therefore not helpful if there is no minimum methodological support. In fact, the raw data sets and the software are difficult to exploit without the logic that guided their use or their production. This led us to think that in addition to the data sets and the software, an additional element must be provided: the workflow that relies all of them.

Electron transport in molecular systems

The remarkable advances in nanoscience and nanotechnology over the last two decades allow one to manipulate individuals atoms, molecules and nanostructures, make it possible to build devices with only a few nanometers, and enhance the nano-bio fusion in tackling biological and medical problems. It complies with the ever-increasing need for device miniaturization, from magnetic storage devices, electronic building blocks for computers, to chemical and biological sensors. Despite the continuing efforts based on conventional methods, they are likely to reach the fundamental limit of miniaturization in the next decade, when feature lengths shrink below 100 nm. On the one hand, quantum mechanical efforts of the underlying material structure dominate device characteristics. On the other hand, one faces the technical difficulty in fabricating uniform devices. This has posed a great challenge for both the scientific and the technical communities. The proposal of using a single or a few organic molecules in electronic devices has not only opened an alternative way of miniaturization in electronics, but also brought up brand-new concepts and physical working mechanisms in electronic devices. This thesis work stands as one of the efforts in understanding and building of electronic functional units at the molecular and atomic levels. We have explored the possibility of having molecules working in a wide spectrum of electronic devices, ranging from molecular wires, spin valves/switches, diodes, transistors, and sensors. More specifically, we have observed significant magnetoresistive effect in a spin-valve structure where the non-magnetic spacer sandwiched between two magnetic conducting materials is replaced by a self-assembled monolayer of organic molecules or a single molecule (like a carbon fullerene). The diode behavior in donor(D)-bridge(B)-acceptor(A) type of single molecules is then discussed and a unimolecular transistor is designed. Lastly, we have proposed and primarily tested the idea of using functionalized electrodes for rapid nanopore DNA sequencing. In these studies, the fundamental roles of molecules and molecule-electrode interfaces on quantum electron transport have been investigated based on first-principles calculations of the electronic structure. Both the intrinsic properties of molecules themselves and the detailed interfacial features are found to play critical roles in electron transport at the molecular scale. The flexibility and tailorability of the properties of molecules have opened great opportunity in a purpose-driven design of electronic devices from the bottom up. The results that we gained from this work have helped in understanding the underlying physics, developing the fundamental mechanism and providing guidance for future experimental efforts.

E-Learning Systems, Environments and Approaches

The volume consists of twenty-five chapters selected from among peer-reviewed papers presented at the CELDA (Cognition and Exploratory Learning in the Digital Age) 2013 Conference held in Fort Worth, Texas, USA, in October 2013 and also from world class scholars in e-learning systems, environments and approaches. The following sub-topics are included: Exploratory Learning Technologies (Part I), e-Learning social web design (Part II), Learner communities through e-Learning implementations (Part III), Collaborative and student-centered e-Learning design (Part IV). E-Learning has been, since its initial stages, a synonym for flexibility. While this dynamic nature has mainly been associated with time and space it is safe to argue that currently it embraces other aspects such as the learners’ profile, the scope of subjects that can be taught electronically and the technology it employs. New technologies also widen the range of activities and skills developed in e-Learning. Electronic learning environments have evolved past the exclusive delivery of knowledge. Technology has endowed e-Learning with the possibility of remotely fomenting problem solving skills, critical thinking and team work, by investing in information exchange, collaboration, personalisation and community building.

Building silent compartments at the nuclear periphery: a recurrent theme.

In eukaryotes, the genetic material is stored in the nucleus, which is enclosed in a double lipid bilayer, the nuclear envelope (NE). It protects the genome from physical stress and separates it from the rest of the cell. On top of this physical function, growing evidence shows that the nuclear periphery contributes to the 3D organization of the genome. In turn, tridimensional organization of chromatin in the nuclear space influences genome expression. Here we review recent findings on the function of this physical barrier in gene repression and latest models on how silent subnuclear compartments at the NE are built in yeast as well as in the nematode C. elegans and mammalian cells; trying to draw parallels between the three systems.