Sökresultat

Filtyp

Din sökning på "*" gav 549344 sökträffar

Model Checking a Self-Adaptive Camera Network with Physical Disturbances

The paper describes the design and verification of a self-adaptive system, composed of multiple smart cameras connected to a monitoring station, that determines the allocation of network bandwidth to the cameras. The design of such a system poses significant challenges, since multiple control strategies are active in the system simultaneously. In fact, the cameras adjust the quality of their strea

Continuous-Time Model Identification Using Non-Uniformly Sampled Data

This contribution reviews theory, algorithms, and validation results for system identification of continuous-time state-space models from finite input- output sequences. The algorithms developed are autoregressive methods, methods of subspace-based model identification and stochastic realization adapted to the continuous-time context. The resulting model can be decomposed into an input-output mode

Control of Exhaust Recompression HCCI using Hybrid Model Predictive Control

Homogeneous Charge Compression Ignition (HCCI) holds promise for reduced emissions and increased efficiency compared to conventional internal combustion engines. As HCCI lacks direct actuation over the combustion phasing, much work has been devoted to designing controllers capable of set-point tracking and disturbance rejection. This paper presents results on model predictive control (MPC) of the

Appraisal of strategies to improve thermophilic hydrogen production exploiting Caldicellulosiruptor species

The transition from a fossil to a bio-based economy is of vital importance to stem the effects of ongoing climate change.This bio-based economy will necessitate the production of both biofuels and chemical compounds from biologicalsources. Hydrogen is a promising candidate as a renewable energy carrier due to its high energy density, carbonneutrality when combusted and its potential use as a reduc

Liver-related complications and metabolic comorbidities during long-term follow-up of patients with Non-Alcoholic Fatty Liver Disease

Background: Non-alcoholic fatty liver disease (NAFLD) is highly associated with the metabolic syndrome, and due to increasing prevalence of for example obesity it is now the most common liver disease in the world. A minority progress to advanced fibrosis/cirrhosis, which is associated with increased mortality, but it is not entirely clear which patients who have an increased risk of fibrosis.Gener

Non-invasive fibrosis scoring systems can predict future metabolic complications and overall mortality in non-alcoholic fatty liver disease (NAFLD)

BACKGROUND AND AIM: Progression to fibrosis in non-alcoholic fatty liver disease (NAFLD) is associated with an increased risk of liver-related events, overall mortality and possibly metabolic comorbidities. Our aim was to determine if non-invasive fibrosis scoring systems can predict the future risk of diabetes mellitus, cardiovascular disease (CVD), chronic kidney disease (CKD), liver-related eve

Insulin resistance with impaired fasting glucose increases the risk of NAFLD

Background: Our aim was to investigate the frequency of elevated liver enzymes and NAFLD in patients with known insulin resistance during 15 years of follow-up. Methods: Subjects with insulin resistance were identified from a population-based prospective cohort study in Sweden, Malm? Diet and Cancer Study, conducted in 1991-1996. Inall, 285 non-diabetic subjects with insulin resistance established

A Computer Algorithm for Determining Local Activation Times in Electrograms Obtained during Atrial Fibrillation

A critical factor in analyzing the propagation of activation waves in the myocardium is the definition of local activation times (LAT) in the electrogram. The authors have formulated and tested a definition of LAT in bipolar electrograms applicable to atrial electrograms containing deflections with wide variation in complexity, e.g. those obtained during rapid, irregular atrial rhythm, i.e. atrial

Nonlinear Beam Physics

A condensed treatment of conventional beam physics (both linear and nonlinear) is given for the non-expert; this constitutes a minimum knowhow for constructing simulations of rudimentary beamlines. The criteria for an ideal nonlinear charged-particle simulation algorithm are then presented, leading to the derivation of a symplectic, explicit, Lorentz-covariant integrator.Space charge (inter-particA condensed treatment of conventional beam physics (both linear and nonlinear) is given for the non-expert; this constitutes a minimum knowhow for constructing simulations of rudimentary beamlines. The criteria for an ideal nonlinear charged-particle simulation algorithm are then presented, leading to the derivation of a symplectic, explicit, Lorentz-covariant integrator.Space charge (inter-partic

Epicardial Right Free Wall Mapping in Chronic Atrial Fibrillation—Documentation of Repetitive Activation with a Focal Spread—A Hitherto Unrecognized Phenomenon in Man

BACKGROUND: Previous studies have shown that atrial fibrillation of recent onset in man is based on a varying number of simultaneously present activation waves reentering either themselves or each other. In the present study, right atrial activation during chronic atrial fibrillation in man was studied. METHODS AND RESULTS: In 16 patients with chronic atrial fibrillation multiple epicardial record

Swedish and Scottish National Transport Policy and Spend: A Social Equity Analysis

The topic of social equity in transport planning has been dealt with, in particular, by authorssuch as Martens (2012) and Martens and Golob (2012) using a social justice based-approach. However,such an approach, whilst valuable and analytically rigorous (based as it is on accessibility modelling),does not consider a wide range of possible other social impacts of transport, as set out in a framewor