Synthesis,size-dependent optoelectronic and charge transport properties of thieno(bis)imide end-substituted molecular semiconductors

The synthesis of two new thieno(bis)imide (TBI, N) end functionalized oligothiophene semiconductors is reported. In particular, trimer (NT3N) and pentamer (NT5N) have been synthesized and characterized. Two different synthetic approaches for their preparation were tested and compared namely conventional Stille cross coupling and direct arylation reaction via C–H activation. Theoretical calculations, optical and electrochemical characterization allowed us to assess the role of the π-conjugation extent, i.e., of the oligomer size on the optoelectronic properties of these materials. In both TBI ended compounds, due to the strong localization of the LUMO orbital on the TBI unit, the LUMO energy is almost insensitive to the oligomer size, this being crucial for the fine-tailoring of the energy and the distribution of the frontier orbitals. Surprisingly, despite its short size and contrarily to comparable TBI-free analogues, NT3N shows electron charge transport with mobility up to μ_N = 10⁻⁴ cm² V⁻¹ s⁻¹, while increasing the oligomer size to NT5N promotes ambipolar behavior and electroluminescence properties with mobility up to μ_N = 0.14 cm² V⁻¹ s⁻¹ and to μ_P = 10⁻⁵ cm² V⁻¹ s⁻¹.     

Synthesising CCS bisimulation using graph rewriting

The paper presents a case study on the synthesis of labelled transition systems (ltss) for process calculi, choosing as testbed Milner’s Calculus of Communicating System (ccs).The proposal is based on a graphical encoding: each ccs process is mapped into a graph equipped with suitable interfaces, such that the denotation is fully abstract with respect to the usual structural congruence.Graphs with interfaces are amenable to the synthesis mechanism proposed by Ehrig and König and based on borrowed contexts (bcs), an instance of relative pushouts originally introduced by Milner and Leifer.The bc mechanism allows the effective construction of an lts that has graphs with interfaces as both states and labels, and such that the associated bisimilarity is automatically a congruence.Our paper focuses on the analysis of the lts distilled by exploiting the encoding of ccs processes: besides offering major technical contributions towards the simplification of the bc mechanism, a key result of our work is the proof that the bisimilarity on processes obtained via bcs coincides with the standard strong bisimilarity for ccs.     

Linux real-time framework for fusion devices

A new framework for the development and execution of real-time codes is currently being developed and commissioned at JET. The foundations of the system are Linux, the Real Time Application Interface (RTAI) and a wise exploitation of the new i386 multi-core processors technology.The driving motivation was the need to find a real-time operating system for the i386 platform able to satisfy JET Vertical Stabilisation Enhancement project requirements: 50 μs cycle time. Even if the initial choice was the VxWorks operating system, it was decided to explore an open source alternative, mostly because of the costs involved in the commercial product.The work started with the definition of a precise set of requirements and milestones to achieve: Linux distribution and kernel versions to be used for the real-time operating system; complete characterization of the Linux/RTAI real-time capabilities; exploitation of the multi-core technology; implementation of all the required and missing features; commissioning of the system.Latency and jitter measurements were compared for Linux and RTAI in both user and kernel-space. The best results were attained using the RTAI kernel solution where the time to reschedule a real-time task after an external interrupt is of 2.35 ± 0.35 μs. In order to run the real-time codes in the kernel-space, a solution to provide user-space functionalities to the kernel modules had to be designed. This novel work provided the most common functions from the standard C library and transparent interaction with files and sockets to the kernel real-time modules. Kernel C++ support was also tested, further developed and integrated in the framework.The work has produced very convincing results so far: complete isolation of the processors assigned to real-time from the Linux non real-time activities, high level of stability over several days of benchmarking operations and values well below 3 μs for task rescheduling after external interrupt. From being the alternative option, RTAI has been finally chosen as the platform for the project. A first stable version of the framework has been integrated on the JET system and is already being commissioned. It will be soon be used on the Vertical Stabilisation Enhancement for the Plasma Control Upgrade (PCU) project at JET.     

Tool-supported requirements prioritization: Comparing the AHP and CBRank methods

Requirements prioritization aims at identifying the most important requirements for a software system, a crucial step when planning for system releases and deciding which requirements to implement in each release. Several prioritization methods and supporting tools have been proposed so far. How to evaluate their properties, with the aim of supporting the selection of the most appropriate method for a specific project, is considered a relevant question.In this paper, we present an empirical study aiming at evaluating two state-of-the art tool-supported requirements prioritization methods, AHP and CBRank. We focus on three measures: the ease of use, the time-consumption and the accuracy. The experiment has been conducted with 23 experienced subjects on a set of 20 requirements from a real project. Results indicate that for the first two characteristics CBRank overcomes AHP, while for the accuracy AHP performs better than CBRank, even if the resulting ranks from the two methods are very similar. The majority of the users found CBRank the “overall best” method.