A DBR laser is step-wise tunable thanks to a superimposed fiber grating external cavity. The stability against tuning current variations in the DBR is excellent. Single-mode operation is achieved with SMSR better than 30 dB.
FlyZone is a testbed architecture to experiment with aerial drone applications. Unlike most existing drone testbeds that focus on low-level mechanical control, FlyZone offers a high-level API and features geared towards experimenting with application-level functionality. These include the emulation of environment influences, such as wind, and the automatic monitoring of developer-provided safety constraints, for example, to mimic obstacles. We conceive novel solutions to achieve this functionality, including a hardware/software architecture that maximizes decoupling from the main application and a custom visual localization technique expressly designed for testbed operation. We deploy two instances of FlyZone and study performance and effectiveness. We demonstrate that we realistically emulate the environment influence with a positioning error bound by the size of the smallest drone we test, that our localization technique provides a root mean square error of 9.2cm, and that detection of violations to safety constraints happens with a 50ms worst-case latency. We also report on how FlyZone supported developing three real-world drone applications, and discuss a user study demonstrating the benefits of FlyZone compared to drone simulators.
We present the design and evaluation of a 3.5-year embedded sensing deployment at the Mithræum of Circus Maximus, a UNESCO-protected underground archaeological site in Rome (Italy). Unique to our work is the use of energy harvesting through thermal and kinetic energy sources. The extreme scarcity and erratic availability of energy, however, pose great challenges in system software, embedded hardware, and energy management. We tackle them by testing, for the first time in a multi-year deployment, existing solutions in intermittent computing, low-power hardware, and energy harvesting. Through three major design iterations, we find that these solutions operate as isolated silos and lack integration into a complete system, performing suboptimally. In contrast, we demonstrate the efficient performance of a hardware/software co-design featuring accurate energy management and capturing the coupling between energy sources and sensed quantities. Installing a battery-operated system alongside also allows us to perform a comparative study of energy harvesting in a demanding setting. Albeit the latter reduces energy availability and thus lowers the data yield to about 22% of that provided by batteries, our system provides a comparable level of insight into environmental conditions and structural health of the site. Further, unlike existing energy-harvesting deployments that are limited to a few months of operation in the best cases, our system runs with zero maintenance since almost 2 years, including 3 months of site inaccessibility due to a COVID19 lockdown
Cyberphysical systems (CPS) integrate embedded sensors,actuators, and computing elements for controlling physicalprocesses. Due to the intimate interactions with thesurrounding environment, CPS software must continuouslyadapt to changing conditions. Enacting adaptation decisionsis often subject to strict time requirements to ensure controlstability, while CPS software must operate within the tightresource constraints that characterize CPS platforms. Developersare typically left without dedicated programmingsupport to cope with these aspects. This results in either toneglect functional or timing issues that may potentially ariseor to invest significant efforts to implement hand-crafted solutions.We provide programming constructs that allow developersto simplify the specification of adaptive processingand to rely on well-defined time semantics. Our evaluationshows that using these constructs simplifies implementationswhile reducing developers’ effort, at the price of a modestmemory and processing overhead.
We present design concepts, programming constructs, and automatic verification techniques to support thedevelopment of adaptive Wireless Sensor Network (WSN) software. WSNs operate at the interface betweenthe physical world and the computing machine, and are hence exposed to unpredictable environment dynamics.WSN software must adapt to these dynamics to maintain dependable and efficient operation. Whilesignificant literature exists on the necessary adaptation logic, developers are left without proper support inmaterializing such a logic in a running system. Our work fills this gap with three key contributions: i) designconcepts help developers organize the necessary adaptive functionality and understand their relations,ii) dedicated programming constructs simplify the implementations, iii) custom verification techniques allowdevelopers to check the correctness of their design before deployment. We implement dedicated toolsupport to tie the three contributions, facilitating their practical application. Our evaluation considers representativeWSN applications to analyze code metrics, synthetic simulations, and cycle-accurate emulationof popular WSN platforms. The results indicate that our work is effective in simplifying the developmentof adaptive WSN software; for example, implementations are provably easier to test and to maintain, therun-time overhead of our dedicated programming construct is negligible, and our verification techniquesreturn results in a matter of seconds.
An important concern with using silicon nanoribbon field-effect transistors (SiNR FET) for ion-sensing is the pH-response of the gate oxide surface. Depending on the application of the FET sensor, this response has to be chemically manipulated. Thus in silicon oxide-gated pH-sensors with integrated sensor and reference FETS, a surface with high pH-sensitivity, compared to the bare gate oxide, is required in the sensor FETs (SEFET), whereas in the reference FETs (REFET) the surface has to be relatively pH-insensitive. In order to control the sensitivity and chemistry of the oxide surface of the nanoribbons, a silanization reagent with a functional group is often self-assembled on the SiNR surface. Choice of a silanization reaction that results in a self-assembled layer on a silicon oxide surface has been studied extensively over the past decades. However, the effect of various self-assembled layers such as monolayers or mixed layers on the electrical response of SiNR FETs in aqueous solution needs to be exploited further, especially for future integrated SEFET/REFET systems. In this work, we have performed a comprehensive study on 3-aminopropyltriethoxysilane (APTES) silanization of silicon oxide surfaces using microwave (MW) heating as a new biocompatible route to conventional methods. A set of complementary surface characterization techniques (ellipsometry, AFM and ATR-FTIR) was used to analyze the properties of the APTES layer deposited on the silicon surface. We have found that a uniform monolayer can be achieved within 10 min by heating the silanization solution to 75 °C using MW heating. Furthermore, electrical measurements suggest that little change in device performance is observed after exposure to MW irradiation. Real-time pH measurements indicate that a uniform APTES monolayer not only reduces the pH sensitivity of SiNR FET by passivating the surface silanol groups, but also makes the device less sensitive to cation concentration in the background electrolyte. Our silanization route proves promising for future chemical surface modification of on-chip REFETs.
We present a novel microfluidic system that integrates droplet microfluidics with a silicon nanoribbon field-effect transistor (SiNR FET), and utilize this integrated system to sense differences in pH. The device allows for selective droplet transfer to a continuous water phase, actuated by dielectrophoresis, and subsequent detection of the pH level in the retrieved droplets by SiNR FETs on an electrical sensor chip. The integrated microfluidic system demonstrates a label-free detection method for droplet microfluidics, presenting an alternative to optical fluorescence detection. In this work, we were able to differentiate between droplet trains of one pH-unit difference. The pH-based detection method in our integrated system has the potential to be utilized in the detection of biochemical reactions that induce a pH-shift in the droplets.
To ensure traffic safety and proper operation of vehicular networks, safety messages or beacons are periodically broadcasted in Vehicular Adhoc Networks (VANETs) to neighboring nodes and road side units (RSU). Thus, authenticity and integrity of received messages along with the trust in source nodes is crucial and highly required in applications where a failure can result in life-threatening situations. Several digital signature based approaches have been described in literature to achieve the authenticity of these messages. In these schemes, scenarios having high level of vehicle density are handled by RSU where aggregated signature verification is done. However, most of these schemes are centralized and PKI based where our goal is to develop a decentralized dynamic system. Along with authenticity and integrity, trust management plays an important role in VANETs which enables ways for secure and verified communication. A number of trust management models have been proposed but it is still an ongoing matter of interest, similarly authentication which is a vital security service to have during communication is not mostly present in the literature work related to trust management systems. This paper proposes a secure and publicly verifiable communication scheme for VANET which achieves source authentication, message authentication, non repudiation, integrity and public verifiability. All of these are achieved through digital signatures, Hash Message Authentication Code (HMAC) technique and logging mechanism which is aided by blockchain technology.
Four different chitosans with different charge densities and different molecular weights were used for investigation of the mechanisms involved in selective flocculation of cell debris particles in E.coli disintegrates. It was found that the main mechanism for flocculation is a "non-equilibrium" bridging process in which a very efficient removal of cell debris particles can be achieved with highly charged chitosans. The high molecular weight (6.5-6.6x105) chitosans produce very large and shear resistant flocs suitable for filtration as well as settling and centrifugation. The low molecular weight (1x105) product forms smaller and more shear sensitive flocs best suited for centrifugation. There are small differences in flocculation dosages depending on molecular weight, but large differences are found with significant changes in charge densities. A decrease in the deacetylation degree from 93 to 39% increased the flocculation dosages by 100 to 150%. A low molecular weight chitosan gave a much broader flocculation region than that of a high molecular weight. Flocculation by addition of urea revealed a hydrogen bonding capacity of chitosan toward cell debris particles which was not involved in chitosan´s interaction with proteins or nucleic acids. The purification of the enzyme -galactosidase could be increased by a factor of 3.7 when using a two step flocculation procedure. The enzyme yield was 82% and the enzyme solution was essentially free of both nucleic acids and cell debris particles.
The effects of ionic strength and multivalent metal ions on the flocculation performance in Escherichia coli cell disintegrates using the polycationic chitosan as a flocculant were investigated. The study showed that ionic strength could be used to optimize the selectivity in flocculation. The best selectivity was obtained at 0.5 M sodium chloride where 95% of the cell debris and 88% of the nucleic acids could be removed from the disintegrate by sedimentation, leaving 99% of proteins and 86% of -galactosidase enzyme activity in clarified solution. We will also discuss the mechanisms for interaction between chitosan and different groups of components in the disintegrate: cell debris particles, nucleic acid polymers and proteins.
Packing items in bins is an old but nevertheless challenging combinatorial problem with numerous applications in industry. We report on an original approach based on constraint programming and rule-based modelling, which has been investigated in the framework of the FP6 ‘specific targeted research project’ Net-WMS (Towards integrating virtual reality and optimization techniques in a new generation of Networked businesses in Warehouse Management Systems under constraints). It has applications in the automotive industry.
In this paper, a practical non-stationary three-dimensional (3-D) channel models for massive multiple-input multiple-output (MIMO) systems, considering beam patterns for different antenna elements, is proposed. The beam patterns using dipole antenna elements with different phase excitation toward the different direction of travels (DoTs) contributes various correlation weights for rays related towards/from the cluster, thus providing different elevation angle of arrivals (EAoAs) and elevation angle of departures (EAoDs) for each antenna element. These include the movements of the user that makes our channel to be a non-stationary model of clusters at the receiver (RX) on both the time and array axes. In addition, their impacts on 3-D massive MIMO channels are investigated via statistical properties including received spatial correlation. Additionally, the impact of elevation/azimuth angles of arrival on received spatial correlation is discussed. Furthermore, experimental validation of the proposed 3-D channel models on azimuth and elevation angles of the polarized antenna are specifically evaluated and compared through simulations. The proposed 3-D generic models are verified using relevant measurement data.
Manufacturers of automated systems and their components have been allocating an enormous amount of time and effort in R&D activities, which led to the availability of prototypes demonstrating new capabilities as well as the introduction of such systems to the market within different domains. Manufacturers need to make sure that the systems function in the intended way and according to specifications. This is not a trivial task as system complexity rises dramatically the more integrated and interconnected these systems become with the addition of automated functionality and features to them. This effort translates into an overhead on the V&V (verification and validation) process making it time-consuming and costly. In this paper, we present VALU3S, an ECSEL JU (joint undertaking) project that aims to evaluate the state-of-the-art V&V methods and tools, and design a multi-domain framework to create a clear structure around the components and elements needed to conduct the V&V process. The main expected benefit of the framework is to reduce time and cost needed to verify and validate automated systems with respect to safety, cyber-security, and privacy requirements. This is done through identification and classification of evaluation methods, tools, environments and concepts for V&V of automated systems with respect to the mentioned requirements. VALU3S will provide guidelines to the V&V community including engineers and researchers on how the V&V of automated systems could be improved considering the cost, time and effort of conducting V&V processes. To this end, VALU3S brings together a consortium with partners from 10 different countries, amounting to a mix of 25 industrial partners, 6 leading research institutes, and 10 universities to reach the project goal.
Verification and Validation (V&V) of automated systems is becoming more costly and time-consuming because of the increasing size and complexity of these systems. Moreover, V&V of these systems can be hindered if the methods and processes are not properly described, analysed, and selected. It is essential that practitioners use suitable V&V methods and enact adequate V&V processes to confirm that these systems work as intended and in a cost-effective manner. Previous works have created different taxonomies and models considering different aspects of V&V that can be used to classify V&V methods and tools. The aim of this work is to provide a broad, comprehensive and a easy to use framework that addresses characterisation needs, rather than focusing on individual aspects of V&V methods and processes.To this end, in this paper, we present a multi-domain and multi-dimensional framework to characterize and classify V&V methods and tools in a structured way. The framework considers a comprehensive characterization of different relevant aspects of V&V. A web-based repository has been implemented on the basis of the framework, as an example of use, in order to collect information about the application of V&V methods and tools. This way, practitioners and researchers can easily learn about and identify suitable V&V processes.
Ethanol derived from biomass has the potential to be a renewable transportation fuel that can replace gasoline. This work was carried out to establish an optimized ethanol organosolv pretreatment of Norway spruce (Picea abies) for bioethanol production (63 wt% EtOH, pH ~3.5 in aqueous phase, 170–240 °C, 90 min) utilizing hydrolytic enzymes in the saccharification step. To test the generality of the method, a series of ethanol organosolv pretreatments were also performed on sugarcane bagasse (50 wt% EtOH, pH ~3.5 in aqueous phase, 155–210 °C, 90–120 min). The degree of delignification increased with increasing temperature during pretreatment, and the fastest increase was observed with sugarcane bagasse. The pretreatments were carried out in a batch mode. The maximum degree of delignification of ~65 % was reached at ~235 °C for Norway spruce, while sugarcane bagasse reached ~80 % at ~210 °C. Cellulose was subjected to degradation (5–10 % points) at these temperatures. Subsequent enzymatic hydrolysis (30 FPU/g cellulose, 32 pNPGU/g cellulose, 50 °C, 48 h) of ethanol organosolv-pretreated biomass achieved complete conversion for both raw materials at the highest degrees of delignification.