Sökresultat

Filtyp

Din sökning på "fc 26 coins Buyfc26coins.com is EA Sports official for FC 26 coins The service is affordable and quick..qajn" gav 96133 sökträffar

Evaluation of Decentralized Feedback Traffic Light Control with Dynamic Cycle Length

An established rule of thumb in the field of traffic light control prescribes that, during periods of higher demand, it is convenient to have longer cycles. This is in order to reduce the fraction of the cycle length when no incoming lanes receive green light. In this paper, we simulate a novel, provably stable, decentralized feedback traffic light control policy with variable cycle length. The pr

Cleaning up copy–paste clones with interactive merging

Copy-paste-modify is a form of software reuse in which developers explicitly duplicate source code. This duplicated source code, amounting to a code clone, is adapted for a new purpose. Copy-paste-modify is popular among software developers, however, empirical evidence shows that it complicates software maintenance and increases the frequency of bugs. To allow developers to use copy-paste-modify w

Envelope Functions : Unifications and Further Properties

Forward–backward and Douglas–Rachford splitting are methods for structured nonsmooth optimization. With the aim to use smooth optimization techniques for nonsmooth problems, the forward–backward and Douglas–Rachford envelopes where recently proposed. Under specific problem assumptions, these envelope functions have favorable smoothness and convexity properties and their stationary points coincide

On Event-Based Sampling for LQG-Optimal Control

We consider the problem of finding an event-based sampling scheme that optimizes the trade-off between average sampling rate and control performance in a linear-quadratic-Gaussian (LQG) control problem setting with output feedback. Our analysis is based on a recently presented sampled-data controller structure, which remains LQG-optimal for any choice of sampling scheme. We show that optimization

Robust timing synchronization for full duplex communications : Design and implementation

This paper presents a robust timing synchronization method for full duplex orthogonal frequency division multiplexing (OFDM) systems based on Long Term Evolution (LTE). The proposed method contains two essential steps: 1) time alignment between the desired signal and self-interference 2) normalized synchronization peak (NSP) index switching. The time alignment is to make the difference in arrival

Morphological transformation of soot : Investigation of microphysical processes during the condensation of sulfuric acid and limonene ozonolysis product vapors

The morphological transformation of soot particles via condensation of low-volatility materials constitutes a dominant atmospheric process with serious implications for the optical and hygroscopic properties, as well as atmospheric lifetime of the soot. We consider the morphological transformation of soot aggregates under the influence of condensation of vapors of sulfuric acid, and/or limonene oz

Incremental Reference Generation for Nonsingular Control on SE (3)

Rotational singularities inherent to three different geometric controllers on SE (3) are studied. A new singularity-free method of incrementally generating a reference rotation is proposed, removing a class of singularities without affecting proven stability properties of the closed-loop systems. If satisfying a bound on attitude rate and maximum loop rate in the reference generation, the proposed

Temperature Stabilization of the Phase-Reference Line at the European Spallation Source

We consider temperature stabilization of the phase-reference line at the European Spallation Source, a facility for neutron spallation currently under construction. Based on extensive modeling of the heat dynamics, a prototype model-based control system with associated hardware architecture is developed and experimentally evaluated on a small-scale setup. The results indicate that temperature stab

Dynamic Models for the Formal Verification of Big Data Applications Via Stochastic Model Checking

Big Data Applications (BDAs) manage so much data to require a cluster of machines for computation and storage. Their execution often has temporal constraints, such as deadlines to process the data. BDAs are executed within Big Data Frameworks (BDFs), that provide mechanisms to automatically manage the complexity of the computation distribution. For a BDA to fulfill its deadline when executed in a

Continuous experimentation scenarios : A case study in e-commerce

Controlled experiments on software variants enable e-commerce companies to increase sales by providing user-adapted functionality. Our goal is to understand how the context of experimentation influences tool support. We performed a case study at Apptus that develops algorithms for e-commerce. We investigated how the case company uses experiments through five semi-structured interviews. We identifi

Effect of solubility limitation on hygroscopic growth and cloud drop activation of SOA particles produced from traffic exhausts

Hygroscopicity measurements of secondary organic aerosol (SOA) particles often show inconsistent results between the supersaturated and subsaturated regimes, with higher activity as cloud condensation nucleus (CCN) than indicated by hygroscopic growth. In this study, we have investigated the discrepancy between the two regimes in the Lund University (LU) smog chamber. Various anthropogenic SOA wer

FPGA based hybrid computing platform for ESS linac simulator

This paper presents a scalable and high-Throughput hybrid computing platform for the real-Time multi-particle based Linac (Linear accelerator) simulation model to be used at the European Spallation Source (ESS). The multi-particle simulation model with non-linear modeling is needed to provide a realistic behavior of the particle beam for reducing the losses at the superconducting structures. The c

Implementation of an area efficient crypto processor for a NB-IoT SoC platform

This paper presents a cryptographic processor compliant with the security algorithms specified by the 3rd Generation Partnership Project (3GPP) specifications for Long Term Evolution (LTE). The proposed processor has been adapted to the needs of the low end portfolio technologies that compose the Internet of Things (IoT) market, which addresses low-Area, low-cost and low-data rate applications. Th

Modelling multiphase aerosol-cloud processing with the 3-D CTM COSMO-MUSCAT : application for cloud events during HCCT-2010

The online-coupled 3-D chemistry transport model COSMO-MUSCAT was enhanced by a detailed description of aqueous phase chemical processes. The aqueous phase chemistry is represented by the detailed chemical mechanism CAPRAM 3.0i reduced (C3.0RED). In addition, the deposition schemes were improved in order to account for the deposition of matter incorporated in cloud droplets of ground layer clouds

Open Collaborative Data : using OSS principles to share data in SW engineering

Reliance on data for software systems engineering is increasing, e.g., to train machine learning applications. We foresee increasing costs for data collection and maintenance, leading to the risk of development budgets eaten up by commodity features, thus leaving little resources for differentiation and innovation. We therefore propose Open Collaborative Data (OCD) - a concept analogous to Open So

A 20-60ghz digitally controlled composite oscillator for 5G

This paper describes a frequency generator supporting over-an-octave tuning range for 5G receiver front-end. Generator is built by composition of smaller-range oscillators multiplexed to the common output that drives a downconversion mixer. Simulated in 28nm CMOS with full physical device models the composite oscillator exhibits a frequency tuning range from 21.5 to 60.7GHz (95.3%) dissipating les

A Tutorial on Positive Systems and Large Scale Control

In this tutorial paper we first present some foundational results regarding the theory of positive systems. In particular, we present fundamental results regarding stability, positive realization and positive stabilization by means of state feedback. Special attention is also paid to the system performance in terms of disturbance attenuation. Under the asymptotic stability assumption, such perform