Search results for "DEVICES"

showing 10 items of 615 documents

Hybrid passive and communications-based methods for islanding detection in medium and low voltage smart grids

2013

Islanding condition takes place when a distributed generator (DG) continues to power a part of the grid even if power from electric utility is no longer present. Adverse effects of islanding are power quality deterioration, grid-protection interference, equipment damage, and personnel safety hazards. For these reasons, DG systems must detect an islanding condition and immediately disconnect from the grid (anti-islanding protection). This paper proposes an hybrid solution, for both low voltage (LV) and medium voltage (MV) applications, which makes use of passive and communication-based methods for islanding detection. Among the existing communication technologies, the study is focused on pow…

Engineeringdistributed generationbusiness.industryElectrical engineeringGridPower (physics)interface devicesElectric utilitySmart gridIslanding Detection smart grids active distribution networks power system communications power line communication distributed generation interface devicesElectronic engineeringIslandingactive distribution networksbusinessLow voltagepower line communication power system communications smart gridsSettore ING-INF/07 - Misure Elettriche E ElettronicheVoltagePower controlIslanding Detection
researchProduct

Uptake rates of semipermeable membrane devices (SPMDs) for PCDDs, PCDFs and PCBs in water and sediment.

2000

Uptake rates of several PCDDs, PCDFs and PCBs were measured for semipermeable membrane devices (SPMDs) under controlled conditions in bulk water and sediment. The study was performed at 19 degrees C and 11 degrees C, and water and sediment concentrations were measured during the exposure. Linear uptake rates for specific PCDD/Fs and PCBs in 19 degrees C water varied from 34 to 111 l/m2 day and in 11 degrees C water from 8.8 to 96 l/m2 day for the whole SPMD. Uptake rates at 19 degrees C sediment ranged from 9.0 to 80 mgOC/m2 day and in 11 degrees C sediment, from 3.0 to 31, mgOC/m2 day. Partitioning of the compounds between membrane and lipid was also measured during the linear uptake phase…

Environmental EngineeringPolychlorinated DibenzodioxinsChemistryHealth Toxicology and MutagenesisPublic Health Environmental and Occupational HealthSedimentWaterMembranes ArtificialGeneral MedicineGeneral ChemistryBulk waterDibenzofurans PolychlorinatedPollutionPolychlorinated BiphenylsPermeabilitySoilMembraneSemipermeable membrane devicesEnvironmental chemistryEnvironmental ChemistryPassive detectionSemipermeable membraneWater pollutionBenzofuransChemosphere
researchProduct

Polymeric microcontainers improve oral bioavailability of furosemide.

2016

Microcontainers with an inner diameter of 223 μm are fabricated using the polymer SU-8, and evaluated in vitro, in situ and in vivo for their application as an advanced oral drug delivery system for the poorly water soluble drug furosemide. An amorphous sodium salt of furosemide (ASSF) is filled into the microcontainers followed by applying a lid using Eudragit L100. It is possible to control the drug release in vitro, and in vitro absorption studies show that the microcontainers are not a hindrance for absorption of ASSF. In situ perfusion studies in rats are performed with ASSF-filled microcontainers coated with Eudragit and compared to a furosemide solution. The absorption rate constant …

Eudragit l100PolymersPharmaceutical ScienceAdministration OralBiological Availability02 engineering and technologyAbsorption (skin)PharmacologyMicro devices030226 pharmacology & pharmacy03 medical and health sciences0302 clinical medicineDrug Delivery SystemsPolymethacrylic AcidsIn vivoDelivery systemsFurosemideOral bioavailabilitymedicineAnimalsHumansIntestinal MucosaRats WistarIntestinal mucusChromatographyChemistryFurosemide021001 nanoscience & nanotechnologyBioavailabilityDrug LiberationMucusOral deliveryEpoxy CompoundsFemaleDelivery systemIntestinal perfusionCaco-2 Cells0210 nano-technologyOral retinoidmedicine.drugInternational journal of pharmaceutics
researchProduct

Colloidal Nanoplatelet/Conducting Polymer Hybrids: Excitonic And Material Properties

2016

WOS:000370678700053 Here we present the first account of conductive polymer/colloidal nanoplatelet hybrids. For this, we developed DEH-PPV-based polymers with two different anchor groups (sulfide and amine) acting as surfactants for CdSe nanoplatelets, which are atomically flat semiconductor nanocrystals. Hybridization of the polymers with the nanoplatelets in the solution phase was observed to cause strong photoluminescence quenching in both materials. Through steady-state photoluminescence and excitation spectrum measurements, photoluminescence quenching was shown to result from dominant exciton dissociation through charge transfer at the polymer/nanoplatelet interfaces that possess a sta…

Excitation spectrumMaterials sciencePhotoluminescenceSulfideDEH-PPV-Based PolymersSulfideExcitonCdSe NanoplateletsNanotechnology02 engineering and technologySurface active agents010402 general chemistryOptoelectronic devices01 natural sciencesDissociation (chemistry)ColloidCharge transferQuenchingHybrid optoelectronic devicesPhysical and Theoretical ChemistryPhotoluminescenceSulfur compoundsAmineSemiconductor nanocrystalsConductive polymerchemistry.chemical_classificationExcited statesBuilding blockesPolymerInterface statesEmission quenching021001 nanoscience & nanotechnology0104 chemical sciencesSurfaces Coatings and FilmsElectronic Optical and Magnetic MaterialsPolymer/Colloidal Nanoplatelet HybridsGeneral EnergyChemical engineeringchemistryExcited stateAnchorsExcitons0210 nano-technologyDissociationConductive polymerPhotoluminescence quenchingExciton dissociation
researchProduct

Reordering Method and Hierarchies for Quantum and Classical Ordered Binary Decision Diagrams

2017

We consider Quantum OBDD model. It is restricted version of read-once Quantum Branching Programs, with respect to "width" complexity. It is known that maximal complexity gap between deterministic and quantum model is exponential. But there are few examples of such functions. We present method (called "reordering"), which allows to build Boolean function $g$ from Boolean Function $f$, such that if for $f$ we have gap between quantum and deterministic OBDD complexity for natural order of variables, then we have almost the same gap for function $g$, but for any order. Using it we construct the total function $REQ$ which deterministic OBDD complexity is $2^{\Omega(n/\log n)}$ and present quantu…

FOS: Computer and information sciencesComputer Science - Computational ComplexityQuantum PhysicsTheoryofComputation_COMPUTATIONBYABSTRACTDEVICESComputer Science::Logic in Computer ScienceComputingMethodologies_SYMBOLICANDALGEBRAICMANIPULATIONFOS: Physical sciencesComputational Complexity (cs.CC)Computer Science::Artificial IntelligenceComputer Science::Computational ComplexityQuantum Physics (quant-ph)Hardware_LOGICDESIGN
researchProduct

NP has log-space verifiers with fixed-size public quantum registers

2011

In classical Arthur-Merlin games, the class of languages whose membership proofs can be verified by Arthur using logarithmic space (AM(log-space)) coincides with the class P \cite{Co89}. In this note, we show that if Arthur has a fixed-size quantum register (the size of the register does not depend on the length of the input) instead of another source of random bits, membership in any language in NP can be verified with any desired error bound.

FOS: Computer and information sciencesComputer Science - Computational ComplexityQuantum PhysicsTheoryofComputation_COMPUTATIONBYABSTRACTDEVICESFOS: Physical sciencesComputational Complexity (cs.CC)Computer Science::Computational ComplexityQuantum Physics (quant-ph)
researchProduct

One-counter verifiers for decidable languages

2012

Condon and Lipton (FOCS 1989) showed that the class of languages having a space-bounded interactive proof system (IPS) is a proper subset of decidable languages, where the verifier is a probabilistic Turing machine. In this paper, we show that if we use architecturally restricted verifiers instead of restricting the working memory, i.e. replacing the working tape(s) with a single counter, we can define some IPS's for each decidable language. Such verifiers are called two-way probabilistic one-counter automata (2pca's). Then, we show that by adding a fixed-size quantum memory to a 2pca, called a two-way one-counter automaton with quantum and classical states (2qcca), the protocol can be spac…

FOS: Computer and information sciencesComputer Science - Computational ComplexityQuantum PhysicsTheoryofComputation_COMPUTATIONBYABSTRACTDEVICESFormal Languages and Automata Theory (cs.FL)FOS: Physical sciencesF.1.1; F.1.2Computer Science - Formal Languages and Automata TheoryF.1.2Computational Complexity (cs.CC)Quantum Physics (quant-ph)F.1.1Computer Science::Formal Languages and Automata Theory
researchProduct

New Results on the Minimum Amount of Useful Space

2014

We present several new results on minimal space requirements to recognize a nonregular language: (i) realtime nondeterministic Turing machines can recognize a nonregular unary language within weak $\log\log n$ space, (ii) $\log\log n$ is a tight space lower bound for accepting general nonregular languages on weak realtime pushdown automata, (iii) there exist unary nonregular languages accepted by realtime alternating one-counter automata within weak $\log n$ space, (iv) there exist nonregular languages accepted by two-way deterministic pushdown automata within strong $\log\log n$ space, and, (v) there exist unary nonregular languages accepted by two-way one-counter automata using quantum an…

FOS: Computer and information sciencesComputer Science - Computational ComplexityQuantum PhysicsTheoryofComputation_COMPUTATIONBYABSTRACTDEVICESTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESFormal Languages and Automata Theory (cs.FL)FOS: Physical sciencesComputer Science - Formal Languages and Automata TheoryComputational Complexity (cs.CC)Computer Science::Computational ComplexityQuantum Physics (quant-ph)Computer Science::Formal Languages and Automata Theory
researchProduct

New results on classical and quantum counter automata

2019

We show that one-way quantum one-counter automaton with zero-error is more powerful than its probabilistic counterpart on promise problems. Then, we obtain a similar separation result between Las Vegas one-way probabilistic one-counter automaton and one-way deterministic one-counter automaton. We also obtain new results on classical counter automata regarding language recognition. It was conjectured that one-way probabilistic one blind-counter automata cannot recognize Kleene closure of equality language [A. Yakaryilmaz: Superiority of one-way and realtime quantum machines. RAIRO - Theor. Inf. and Applic. 46(4): 615-641 (2012)]. We show that this conjecture is false, and also show several s…

FOS: Computer and information sciencesComputer Science - Computational ComplexityQuantum PhysicsTheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGESTheoryofComputation_COMPUTATIONBYABSTRACTDEVICESFormal Languages and Automata Theory (cs.FL)FOS: Physical sciencesComputer Science - Formal Languages and Automata TheoryComputational Complexity (cs.CC)Quantum Physics (quant-ph)Nonlinear Sciences::Cellular Automata and Lattice GasesComputer Science::Formal Languages and Automata Theory
researchProduct

Real-Time Vector Automata

2013

We study the computational power of real-time finite automata that have been augmented with a vector of dimension k, and programmed to multiply this vector at each step by an appropriately selected $k \times k$ matrix. Only one entry of the vector can be tested for equality to 1 at any time. Classes of languages recognized by deterministic, nondeterministic, and "blind" versions of these machines are studied and compared with each other, and the associated classes for multicounter automata, automata with multiplication, and generalized finite automata.

FOS: Computer and information sciencesComputer Science - Computational ComplexityTheoryofComputation_COMPUTATIONBYABSTRACTDEVICESFormal Languages and Automata Theory (cs.FL)Computer Science - Formal Languages and Automata TheoryComputational Complexity (cs.CC)Nonlinear Sciences::Cellular Automata and Lattice GasesComputer Science::Formal Languages and Automata Theory
researchProduct