Search results for "RDW"

showing 10 items of 1401 documents

Notice of Violation of IEEE Publication Principles: Robust Delay-Dependent $H_{\infty}$ Control of Uncertain Time-Delay Systems With Mixed Neutral, D…

2011

The problem of robust mode-dependent delayed state feedback H∞ control is investigated for a class of uncertain time-delay systems with Markovian switching parameters and mixed discrete, neutral, and distributed delays. Based on the Lyapunov-Krasovskii functional theory, new required sufficient conditions are established in terms of delay-dependent linear matrix inequalities for the stochastic stability and stabilization of the considered system using some free matrices. The desired control is derived based on a convex optimization method such that the resulting closed-loop system is stochastically stable and satisfies a prescribed level of H∞ performance, simultaneously. Finally, two numer…

Time delaysMarkov processDelay dependentsymbols.namesakeHardware and ArchitectureRobustness (computer science)Control theoryConvex optimizationsymbolsElectrical and Electronic EngineeringRobust controlMarkovian switchingFunctional theoryMathematicsIEEE Transactions on Circuits and Systems I: Regular Papers
researchProduct

A simple timestamping data acquisition system for ToF-ERDA

2015

A new data acquisition system, ToF-DAQ, has been developed for a ToF-ERDA telescope and other ToF-E and ToF-ToF measurement systems. ToF-DAQ combines an analogue electronics front-end to asynchronous time stamped data acquisition by means of a FPGA device. Coincidences are sought solely in software based on the timestamps. Timestamping offers more options for data analysis as coincidence events can be built also in offline analysis. The system utilises a National Instruments R-series FPGA device and a Windows PC as a host computer. Both the FPGA code and the host software were developed using the National Instruments LabVIEW graphical programming environment. Up to eight NIM ADCs can be han…

ToF-ERDANuclear and High Energy Physicsta114ta213Computer sciencebusiness.industryData acquisitionTimestampingSoftwareData acquisitionAsynchronous communicationTimestampingLabVIEWMicrosoft WindowsTimestampbusinessField-programmable gate arrayInstrumentationHost (network)FPGAComputer hardwaretiedonhankintaNuclear Instruments and Methods in Physics Research Section B: Beam Interactions with Materials and Atoms
researchProduct

Multi-label Classification Using Stacked Hierarchical Dirichlet Processes with Reduced Sampling Complexity

2018

Nonparametric topic models based on hierarchical Dirichlet processes (HDPs) allow for the number of topics to be automatically discovered from the data. The computational complexity of standard Gibbs sampling techniques for model training is linear in the number of topics. Recently, it was reduced to be linear in the number of topics per word using a technique called alias sampling combined with Metropolis Hastings (MH) sampling. We propose a different proposal distribution for the MH step based on the observation that distributions on the upper hierarchy level change slower than the document-specific distributions at the lower level. This reduces the sampling complexity, making it linear i…

Topic modelComputational complexity theoryComputer science02 engineering and technologyLatent Dirichlet allocationDirichlet distributionsymbols.namesakeArtificial Intelligence020204 information systems0202 electrical engineering electronic engineering information engineeringMathematicsMulti-label classificationbusiness.industrySampling (statistics)Pattern recognitionHuman-Computer InteractionDirichlet processMetropolis–Hastings algorithmHardware and ArchitectureTest setsymbols020201 artificial intelligence & image processingArtificial intelligencebusinessAlgorithmSoftwareInformation SystemsGibbs sampling2017 IEEE International Conference on Big Knowledge (ICBK)
researchProduct

A Lightweight Network Discovery Algorithm for Resource-constrained IoT Devices

2019

Although quite simple, existing protocols for the IoT suffer from the inflexibility of centralized infrastructures and require several configuration stages. The implementation of these protocols is often prohibitive on resource-constrained devices. In this work, we propose a distributed lightweight implementation of network discovery for simple IoT devices. Our approach is based on the exchange of symbolic executable code among nodes. Based on this abstraction, we propose an algorithm that makes even IoT resource-constrained nodes able to construct the network topology graph incrementally and without any a priori information about device positioning and presence. The minimal set of executab…

Topology constructionSIMPLE (military communications protocol)Computer scienceExecutable code exchangeResource-constrained devicecomputer.file_formatConstruct (python library)Network topologyDistributed processingSet (abstract data type)Computer Networks and CommunicationHardware and ArchitectureA priori and a posterioriGraph (abstract data type)Symbolic processingExecutableInternet of ThingAlgorithmcomputerSoftwareAbstraction (linguistics)2019 International Conference on Computing, Networking and Communications (ICNC)
researchProduct

Capacity-based calculation of passenger car equivalents using traffic simulation at double-lane roundabouts

2018

Abstract Calculation of passenger car equivalents for heavy vehicles represents the starting point for the operational analysis of road facilities and other traffic management applications. This paper introduces a criterion to find the passenger car equivalents that reflect traffic conditions at double-lane roundabouts, where the capacity is typically estimated for each entry lane. Based on the equivalence defined by the proportion of capacity used by vehicles of different classes, the criterion implies a comparison between the capacity that would occur with a traffic demand of passenger cars only and the capacity reached beginning from a demand with a certain percentage of heavy vehicles. …

Traffic microsimulationGenetic algorithmAIMSUNPassenger car equivalentDouble-lane roundabout050210 logistics & transportationComputer scienceSubroutine05 social sciencesTraffic simulation02 engineering and technologyAutomotive engineeringSettore ING-INF/04 - AutomaticaHardware and ArchitectureModeling and Simulation0502 economics and businessTraffic conditionsRoundabout0202 electrical engineering electronic engineering information engineeringSettore ICAR/04 - Strade Ferrovie Ed Aeroporti020201 artificial intelligence & image processingSoftwareSimulation Modelling Practice and Theory
researchProduct

A Compact SPICE Model for Organic TFTs and Applications to Logic Circuit Design

2016

This work introduces a compact DC model developed for organic thin film transistors (OTFTs) and its SPICE implementation. The model relies on a modified version of the gradual channel approximation that takes into account the contact effects, occurring at nonohmic metal/organic semiconductor junctions, modeling them as reverse biased Schottky diodes. The model also comprises channel length modulation and scalability of drain current with respect to channel length. To show the suitability of the model, we used it to design an inverter and a ring oscillator circuit. Furthermore, an experimental validation of the OTFTs has been done at the level of the single device as well as with a discrete-…

Transistor modelMaterials scienceFlexible electronics; organic thin film transistors; SPICE modelingSpiceSemiconductor device modelingHardware_PERFORMANCEANDRELIABILITY02 engineering and technologyRing oscillatorIntegrated circuit01 natural scienceslaw.inventionComputer Science::Hardware ArchitectureComputer Science::Emerging Technologieslaw0103 physical sciencesElectronic engineeringHardware_INTEGRATEDCIRCUITSElectrical and Electronic EngineeringFlexible electronics010302 applied physicsChannel length modulationbusiness.industryTransistorSchottky diodeCondensed Matter::Mesoscopic Systems and Quantum Hall Effect021001 nanoscience & nanotechnologyFlexible electronicsComputer Science Applicationsorganic thin film transistorsLogic gateSPICE modelingInverterOptoelectronics0210 nano-technologybusinessHardware_LOGICDESIGNIEEE Transactions on Nanotechnology
researchProduct

On the satisfiability problem for fragments of two-variable logic with one transitive relation

2019

Abstract We study the satisfiability problem for two-variable first-order logic over structures with one transitive relation. We show that the problem is decidable in 2-NExpTime for the fragment consisting of formulas where existential quantifiers are guarded by transitive atoms. As this fragment enjoys neither the finite model property nor the tree model property, to show decidability we introduce a novel model construction technique based on the infinite Ramsey theorem. We also point out why the technique is not sufficient to obtain decidability for the full two-variable logic with one transitive relation; hence, contrary to our previous claim, [FO$^2$ with one transitive relation is deci…

Transitive relationLogic010102 general mathematics0102 computer and information sciences01 natural sciencesTheoretical Computer ScienceCombinatoricsVariable (computer science)Arts and Humanities (miscellaneous)010201 computation theory & mathematicsHardware and Architecture0101 mathematicsBoolean satisfiability problemSoftwareMathematicsJournal of Logic and Computation
researchProduct

Inductive Power Transfer for 100W battery charging

2013

Today, Inductive Power Transfer (IPT) is widely investigated to provide wireless battery charge. Potential applications range from a few Watts of handheld devices to kWatts of automotive applications. Despite of comfort and safety options, wireless charging features relatively poor power conversion efficiency. In the literature, several solutions are proposed addressing efficiency related issues. In this paper, a 100W wireless charging station for electric bikes which improves the power conversion efficiency is proposed. The magnetic structure design is analyzed thoroughly as well as the proposed power electronics system architectures of both the power transmitter and power receiver. The ef…

Trickle chargingEngineeringbusiness.industrywireless chargingElectrical engineeringSettore ING-IND/32 - Convertitori Macchine E Azionamenti ElettriciInductive power transfercontactless battery charging.Settore ING-INF/01 - ElettronicaMaximum power point trackingCharging stationHardware_GENERALPower modulePower electronicsbattery chargingElectronic engineeringMaximum power transfer theoremAutomotive batteryElectric powerbusinessIECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society
researchProduct

On solving separable block tridiagonal linear systems using a GPU implementation of radix-4 PSCR method

2018

Partial solution variant of the cyclic reduction (PSCR) method is a direct solver that can be applied to certain types of separable block tridiagonal linear systems. Such linear systems arise, e.g., from the Poisson and the Helmholtz equations discretized with bilinear finite-elements. Furthermore, the separability of the linear system entails that the discretization domain has to be rectangular and the discretization mesh orthogonal. A generalized graphics processing unit (GPU) implementation of the PSCR method is presented. The numerical results indicate up to 24-fold speedups when compared to an equivalent CPU implementation that utilizes a single CPU core. Attained floating point perfor…

Tridiagonal linear systemsProgramvaruteknikComputer Networks and CommunicationsComputer sciencePartial solution techniquereduction010103 numerical & computational mathematicsParallel computingtietotekniikka01 natural scienceslineaariset mallitTheoretical Computer ScienceSeparable spaceinformation technologyArtificial IntelligenceSeparable block tridiagonal linear systemBlock (telecommunications)Fast direct solverRadix0101 mathematicsta113Computer Sciencesta111Linear systemSoftware EngineeringGPU computingSolverComputer Science::Numerical Analysis010101 applied mathematicsPSCR methodDatavetenskap (datalogi)partial solution techniqueHardware and ArchitectureComputer Science::Mathematical Softwarepienennyslinear modelsSoftwareRoofline modelCyclic reductionJournal of Parallel and Distributed Computing
researchProduct

A Cost-Effective Approach to Hardware-in-the-Loop Simulation

2012

This paper presents an approach for developing cost effective hardware-in-the-loop (HIL) simulation platforms for the use in controller software test and development. The approach is aimed at the many smaller manufacturers of e.g. mobile hydraulic machinery, which often do not have very advanced testing facilities at their disposal. A case study is presented where a HIL simulation platform is developed for the controller of a truck mounted loader crane. The total expenses in hardware and software is less than 10.000$.

TruckLoaderDynamic simulationSoftwarebusiness.industryComputer scienceController (computing)Local area networkHardware-in-the-loop simulationControl engineeringComputerApplications_COMPUTERSINOTHERSYSTEMSHydraulic machinerybusiness
researchProduct