Search results for " Simulation"

showing 10 items of 4034 documents

An ACE Wholesale Electricity Market Framework with Bilateral Trading

2011

In this paper, an agent-based simulation model for a hybrid power market structure is presented. A bilateral transaction mechanism is combined with a uniform-pricing auction settlement in order to isolate the impact of medium-term bilateral contracts on market power and spot prices in a competitive wholesale market setting. First we describe the negotiation method for bilateral trading of energy and then introduce a new approach for bidding in the DA market based on the load duration curve. We find that, despite the conventional concerns, the foreclosure effect produced by the bilateral agreement between a generation and a retail business will not necessarily lead to higher prices, and will…

MicroeconomicsMarket structureSpot contractSettore SECS-S/06 -Metodi Mat. dell'Economia e d. Scienze Attuariali e Finanz.Order (exchange)Electricity marketLoad duration curveBusinessMarket powerBiddingWholesale electricity market Bilateral trading Day-ahead market Agent-based simulation modelDatabase transaction
researchProduct

Simplified model to evaluate the fate of micropollutants in an integrated urban drainage system: sensitivity analysis

2016

The paper presents the sensitivity analysis of an integrated urban water quality system by means of the global sensitivity analysis (GSA). Specifically, an home-made integrated model developed in previous studies has been modified in order to include the micropollutant assessment (namely, sulfamethoxazole - SMX). The model takes into account also the interactions between the three components of the system: sewer system (SS), wastewater treatment plant (WWTP) and the receiving water body (RWB). The analysis has been applied to an experimental catchment nearby Palermo (Italy): the Nocella catchment. Five scenarios each characterized by different combinations of sub-systems (i.e., SS, WWTP and…

MicropollutantmodellingSettore ICAR/03 - Ingegneria Sanitaria-Ambientaleurban drainageMonte Carlo simulationsMicropollutants; urban drainage; modelling; Monte Carlo simulations
researchProduct

A Setup for Microscopic Studies of Ultrasounds Effects on Microliters Scale Samples: Analytical, Numerical and Experimental Characterization

2021

International audience; Sonoporation is the process of cell membrane permeabilization, due to exposure to ultrasounds. There is a lack of consensus concerning the mechanisms of sonoporation: Understanding the mechanisms of sonoporation refines the choice of the ultrasonic parameters to be applied on the cells. Cells’ classical exposure systems to ultrasounds have several drawbacks, like the immersion of the cells in large volumes of liquid, the nonhomogeneous acoustic pressure in the large sample, and thus, the necessity for magnetic stirring to somehow homogenize the exposure of the cells. This article reports the development and characterization of a novel system allowing the exposure to …

MicroscopeMaterials scienceSonication[SDV]Life Sciences [q-bio]Pharmaceutical Science02 engineering and technologyultrasoundsArticlelaw.inventionnumerical simulations03 medical and health sciencesPharmacy and materia medicalawFluorescence microscopeFocal lengthsonoporation030304 developmental biology0303 health sciences021001 nanoscience & nanotechnologyCharacterization (materials science)RS1-441MicrobubblesUltrasonic sensor0210 nano-technologySonoporationBiomedical engineeringPharmaceutics
researchProduct

Editorial: Calculation of Passenger Car Equivalents at Roundabouts

2021

Editorial on the Research Topic: Calculation of Passenger Car Equivalents at Roundabouts About this Research Topic: Calculation of Passenger Car Equivalents (PCEs) for heavy vehicles represents the starting point for the operational analysis of road facilities and other traffic management applications. PCEs are used to consider the presence of heavy vehicles in the traffic stream and are expressed as multiples of the effect of an average passenger car. Moreover, the highly curvilinear nature of the roundabout design, both in urban and rural environment, has significant effects on the paths that heavy vehicles would travel; as a consequence, the interaction between the physical and performan…

Microscopic Traffic Simulation ModelsroadsComputer scienceintersectionsSingle-Lane RoundaboutGeography Planning and DevelopmentMicrosimulationBuilding and ConstructionEngineering (General). Civil engineering (General)Transport engineeringUrban Studiespassenger car equivalentHT165.5-169.9Multi-Lane RoundaboutroundaboutsSettore ICAR/04 - Strade Ferrovie Ed Aeroportimicroscopic traffic simulationPassenger car equivalentTA1-2040Alternative Roundaboutslevel-of-service determinationCity planningFrontiers in Built Environment
researchProduct

Life cycle assessment of solar communities

2020

Abstract This study presents the comparison of the life cycle performance of two different urban energy systems, applied to a large mixed-use community, in Calgary (Canada). The two systems investigated consist of an energy efficient conventional system, using heat pumps for heating, cooling and domestic hot water; the second design widely deploys solar thermal panels coupled to district heating infrastructure and a borehole seasonal thermal storage. The analysis is based on the Life Cycle Assessment methodology and includes the stages of raw materials and energy supply, system manufacturing, use stage of the systems, generation and use of energy on-site, maintenance and components’ substit…

Mixed mode communitiesSettore ING-IND/11 - Fisica Tecnica AmbientaleILCDNet zero energy districtsRenewable Energy Sustainability and the EnvironmentImpact assessment020209 energyBorehole02 engineering and technologyNet zero energy buildings021001 nanoscience & nanotechnologyThermal energy storageCivil engineeringBuilding simulationLife cycle assessment0202 electrical engineering electronic engineering information engineeringEnvironmental sustainability of districtsEnvironmental scienceGeneral Materials ScienceStage (hydrology)Energy supply0210 nano-technologyLife-cycle assessmentEfficient energy useSolar Energy
researchProduct

Car sequencing versus mixed-model sequencing: A computational study

2014

Abstract The paper deals with the two most important mathematical models for sequencing products on a mixed-model assembly line in order to minimize work overload the mixed-model sequencing (MMS) model and the car sequencing (CS) model. Although both models follow the same underlying objective, only MMS directly addresses the work overload in its objective function. CS instead applies a surrogate objective using so-called sequencing rules which restrict labor-intensive options accompanied with the products in the sequence. The CS model minimizes the number of violations of the respective sequencing rules, which is widely assumed to lead to minimum work overload. This paper experimentally co…

Mixed modelInformation Systems and ManagementGeneral Computer ScienceMathematical modelComputer scienceManagement Science and Operations Researchcomputer.software_genreIndustrial and Manufacturing EngineeringScheduling (computing)WeightingModeling and SimulationData miningcomputerSimulationEuropean Journal of Operational Research
researchProduct

Is the Ghosh model interesting?

2009

International audience; The overall value of the Ghosh model is appraised. Its treatment of quantities and prices is scrutinized by examining the variant with data in quantities and prices, and the variant with data in value and price indexes. The methodology involves returning to the accounting equations and shows that: (i) the Ghosh model offers solutions of limited interest, being incapable of providing prices or price indexes separately from quantities; (ii) what is taken to be the equation of Ghosh's value model is actually that of Ghosh's physical model; (iii) the Ghosh model may serve for cost-push exercises, but the dual of the Leontief model performs the same task in a much simpler…

Mixed modelLeontief modelJEL : C - Mathematical and Quantitative Methods/C.C6 - Mathematical Methods • Programming Models • Mathematical and Simulation Modeling/C.C6.C67 - Input–Output ModelsSupply-drivenJEL: C - Mathematical and Quantitative Methods/C.C6 - Mathematical Methods • Programming Models • Mathematical and Simulation Modeling/C.C6.C67 - Input–Output ModelsJEL: D - Microeconomics/D.D4 - Market Structure Pricing and Design/D.D4.D46 - Value TheoryJEL: D - Microeconomics/D.D5 - General Equilibrium and Disequilibrium/D.D5.D57 - Input–Output Tables and AnalysisEnvironmental Science (miscellaneous)Development[SHS.ECO]Humanities and Social Sciences/Economics and FinanceAccounting equationDual (category theory)JEL : D - Microeconomics/D.D4 - Market Structure Pricing and Design/D.D4.D46 - Value TheoryInput-OutputPrice indexValue (economics)EconomicsJEL : D - Microeconomics/D.D5 - General Equilibrium and Disequilibrium/D.D5.D57 - Input–Output Tables and Analysis[ SHS.ECO ] Humanities and Social Sciences/Economies and financesCroninDietzenbacher[SHS.ECO] Humanities and Social Sciences/Economics and FinanceMathematical economicsGhosh
researchProduct

Children’s Interactions Within a Virtual Reality Environment for Learning Chemistry

2017

This paper presents a virtual reality based solution for learning. Multimodal interactions are proposed to support students’ engagement through active experimentation and reflective observation. Students tasks are provided within an immersive virtual outdoor environment created using a human-centred design approach. Junior high school teachers and students between ages 14 and 16 were involved in design and test activities. Observations, video recordings, and interviews were used in data collection. Three interaction modalities were provided and tested: visual, auditory and kinesthetic/tangible interactions. The students involved in user testing showed great interest to learn in such an envi…

ModalitiesMultimediaComputer scienceKinesthetic learningVirtual realitycomputer.software_genreExperiential learningScience educationTest (assessment)Resource (project management)Human–computer interactionComputingMilieux_COMPUTERSANDEDUCATIONcomputerInstructional simulation
researchProduct

Towards a Formal Analysis of MQtt Protocol in the Context of Communicating Vehicles

2017

International audience; The paper presents a formal approach to model, analyze, and verify a variant of Message Queue Telemetry Transport protocol (MQtt), dedicated to communicating vehicles (MQtt-CV) that send collected data to automotive infrastructures(subscribers). Our formal approach is based on Promela language and its system verification tool, the model checker SPIN. We propose a slight modification of MQtt protocol to reduce the big volume of data collected and sent by vehicles to infrastructures. Indeed, in the original version of MQtt protocol, when a broker receives data from publishers, it sends them directly to its subscribers without any filtration. As consequence, subscribers…

Model checkingComputer scienceDistributed computingAutomotive industryContext (language use)02 engineering and technology[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE][INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]0202 electrical engineering electronic engineering information engineeringProtocol (object-oriented programming)computer.programming_languageMQTTbusiness.industryVolume (computing)020206 networking & telecommunications020207 software engineering[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationPromela[INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA][INFO.INFO-ET]Computer Science [cs]/Emerging Technologies [cs.ET][INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC]businessMessage queuecomputerComputer network
researchProduct

Verifying a medical protocol with temporal graphs: the case of a nosocomial disease.

2014

Abstract Objective Our contribution focuses on the implementation of a formal verification approach for medical protocols with graphical temporal reasoning paths to facilitate the understanding of verification steps. Materials and methods Formal medical guideline specifications and background knowledge are represented through conceptual graphs, and reasoning is based on graph homomorphism. These materials explain the underlying principles or rationale that guide the functioning of verifications. Results An illustration of this proposal is made using a medical protocol defining guidelines for the monitoring and prevention of nosocomial infections. Such infections, which are acquired in the h…

Model checking[ INFO.INFO-MO ] Computer Science [cs]/Modeling and SimulationComputation tree logicTheoretical computer scienceComputer scienceModel checking Medical protocolMédecine humaine et pathologieCritical Care and Intensive Care MedicineMedical guidelineConsistency (database systems)Clinical Protocols[ SDV.MHEP ] Life Sciences [q-bio]/Human health and pathologyDrug Resistance BacterialHumansFormal verificationProblem SolvingProtocol (science)Cross Infectionbusiness.industryVisual informationModels TheoreticalModélisation et simulationNosocomial diseases[INFO.INFO-MO]Computer Science [cs]/Modeling and SimulationConceptual graphsCatheter-Related InfectionsConceptual graphCarrier StateVisual modelingDisease SusceptibilitySoftware engineeringbusiness[SDV.MHEP]Life Sciences [q-bio]/Human health and pathologyAlgorithmsJournal of critical care
researchProduct