Search results for "Modeling and Simulation"

showing 10 items of 1561 documents

Cimo: An efficient 2-phases calculator of multimodal itineraries for real trans-territories based on a dynamic programming

2015

In this work we propose an exact solution for calculating multimodal itinerary. This solution is named Cimo (Calculateur d'Itineraires Multimodaux Ordonnes). Cimo is an exact optimal itineraries' calculator wherein itineraries are sorted, multimodal, and trans-territorial. The solution is based on a dynamic programming algorithm "cut", "price" and "share". This solution is multi-objectives and multi-constraints. Several versions of this algorithm are proposed following a methodological approach that enables evaluation of efficiency and complexity's gain : through theoretical calculus and benchmarks. In the first version of realistic problem, we propose a solution with itineraries calculated…

050210 logistics & transportationScheduleTheoretical computer scienceDegree (graph theory)Hierarchy (mathematics)Computer scienceModulo05 social sciencesContext (language use)02 engineering and technology[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE][INFO.INFO-MO]Computer Science [cs]/Modeling and Simulationlaw.inventionDynamic programming[INFO.INFO-IU]Computer Science [cs]/Ubiquitous Computing[INFO.INFO-CR]Computer Science [cs]/Cryptography and Security [cs.CR]Calculatorlaw[INFO.INFO-MA]Computer Science [cs]/Multiagent Systems [cs.MA]0502 economics and business0202 electrical engineering electronic engineering information engineering020201 artificial intelligence & image processing[INFO.INFO-ET]Computer Science [cs]/Emerging Technologies [cs.ET][INFO.INFO-DC]Computer Science [cs]/Distributed Parallel and Cluster Computing [cs.DC]
researchProduct

Branch-and-price-and-cut for a service network design and hub location problem

2015

In the context of combined road-rail freight transport, we study the integrated tactical planning of hub locations and the design of a frequency service network. We consider a number of real-world constraints such as multiple transshipments of requests at hubs, transport time limits for requests, request splitting, and outsourcing possibilities. To our knowledge, the combination of problem features we deal with has not been described before. We present a path-based model and solve it with a branch-and-price-and-cut algorithm. Computational experiments show that large realistic instances from a major German rail freight company can be solved close to optimality within one hour on a standard …

050210 logistics & transportationService (systems architecture)021103 operations researchInformation Systems and ManagementGeneral Computer ScienceOperations researchComputer sciencebusiness.industryBranch and price05 social sciences0211 other engineering and technologiesContext (language use)02 engineering and technologyHub location problemManagement Science and Operations ResearchIndustrial and Manufacturing EngineeringOutsourcingNetwork planning and designModeling and Simulation0502 economics and businessPath (graph theory)Service Network Design Hub Location Intermodal Transport Branch-and-Price-and-CutbusinessSimulationEuropean Journal of Operational Research
researchProduct

The directed profitable rural postman problem with incompatibility constraints

2017

[EN] In this paper, we study a variant of the directed rural postman problem (RPP) where profits are asso- ciated with arcs to be served, and incompatibility constraints may exist between nodes and profitable arcs leaving them. If convenient, some of the incompatibilities can be removed provided that penalties are paid. The problem looks for a tour starting and ending at the depot that maximizes the difference between collected profits and total cost as sum of traveling costs and paid penalties, while satisfying remaining incompatibilities. The problem finds application in the domain of road transportation service, and in particular in the context of horizontal collaboration among carriers …

050210 logistics & transportationService (systems architecture)Mathematical optimization021103 operations researchInformation Systems and ManagementGeneral Computer ScienceComputer science05 social sciences0211 other engineering and technologiesContext (language use)Incompatibility constraints02 engineering and technologyManagement Science and Operations ResearchGeneralized independent set problem Incompatibility constraints Routing Rural postman problem Management Science and Operations Research Information Systems and ManagementIndustrial and Manufacturing EngineeringGeneralized independent set problemDomain (software engineering)Rural postman problemModeling and SimulationIndependent set0502 economics and businessRouting (electronic design automation)MATEMATICA APLICADARouting
researchProduct

The periodic rural postman problem with irregular services on mixed graphs

2019

Abstract In this paper, we deal with an extension of the rural postman problem in which some links of a mixed graph must be traversed a given number of times over a time horizon. These links represent entities that must be serviced a specified number of times in some subsets of days (or periods) of the time horizon. The aim is to design a set of minimum-cost tours, one for each day/period of the time horizon, that satisfy the service requirements. We refer to this problem as the periodic rural postman problem with irregular services (PRPP–IS). Some practical applications of the problem can be found in road maintenance operations and road network surveillance, for example. In order to solve …

050210 logistics & transportationService (systems architecture)Mathematical optimization021103 operations researchInformation Systems and ManagementGeneral Computer ScienceComputer science05 social sciences0211 other engineering and technologiesMixed graphTime horizon02 engineering and technologyExtension (predicate logic)Management Science and Operations ResearchIndustrial and Manufacturing EngineeringSet (abstract data type)Modeling and Simulation0502 economics and businessPeriodic graph (geometry)Routing (electronic design automation)Branch and cutArc routingEuropean Journal of Operational Research
researchProduct

Introduction to Gestural Similarity in Music. An Application of Category Theory to the Orchestra

2019

Mathematics, and more generally computational sciences, intervene in several aspects of music. Mathematics describes the acoustics of the sounds giving formal tools to physics, and the matter of music itself in terms of compositional structures and strategies. Mathematics can also be applied to the entire making of music, from the score to the performance, connecting compositional structures to acoustical reality of sounds. Moreover, the precise concept of gesture has a decisive role in understanding musical performance. In this paper, we apply some concepts of category theory to compare gestures of orchestral musicians, and to investigate the relationship between orchestra and conductor, a…

18B05 18B10 16D90 03B52InformationSystems_INFORMATIONINTERFACESANDPRESENTATION(e.g.HCI)History and Overview (math.HO)MathematicsofComputing_GENERALvisual artscomputer.software_genreFuzzy logic050105 experimental psychology060404 musicgesture performance orchestral conducting category theory similarity composition visual arts interdisciplinary studies fuzzy logicinterdisciplinary studiesSimilarity (psychology)FOS: Mathematics0501 psychology and cognitive sciencesCategory Theory (math.CT)Category theoryComposition (language)similaritySettore ING-INF/05 - Sistemi Di Elaborazione Delle InformazioniSettore INF/01 - Informaticabusiness.industryMathematics - History and OverviewApplied Mathematics05 social sciencesMathematics - Category Theory06 humanities and the artsSettore MAT/04 - Matematiche ComplementariComputational Mathematicscategory theorySettore MAT/02 - AlgebraComputer Science::SoundcompositionModeling and SimulationgestureArtificial intelligencefuzzy logicorchestral conductingbusinesscomputer0604 artsMusicNatural language processingperformanceGesturecategory theory; composition; fuzzy logic; gesture; interdisciplinary studies; orchestral conducting; performance; similarity; visual arts
researchProduct

Uncertainty quantification on a spatial Markov-chain model for the progression of skin cancer

2019

AbstractA spatial Markov-chain model is formulated for the progression of skin cancer. The model is based on the division of the computational domain into nodal points, that can be in a binary state: either in ‘cancer state’ or in ‘non-cancer state’. The model assigns probabilities for the non-reversible transition from ‘non-cancer’ state to the ‘cancer state’ that depend on the states of the neighbouring nodes. The likelihood of transition further depends on the life burden intensity of the UV-rays that the skin is exposed to. The probabilistic nature of the process and the uncertainty in the input data is assessed by the use of Monte Carlo simulations. A good fit between experiments on mi…

65C05Skin NeoplasmsComputer scienceQuantitative Biology::Tissues and OrgansMarkovin ketjut0206 medical engineeringMonte Carlo methodPhysics::Medical PhysicsBinary number02 engineering and technologyArticleihosyöpä03 medical and health sciencesMicemedicineAnimalsHumansComputer SimulationStatistical physicsUncertainty quantification60J20stokastiset prosessit030304 developmental biologyProbability0303 health sciencesMarkov chainApplied MathematicsProbabilistic logicUncertaintyState (functional analysis)medicine.disease020601 biomedical engineeringAgricultural and Biological Sciences (miscellaneous)Markov ChainsCardinal pointModeling and Simulation65C40Disease Progressionmatemaattiset mallitSkin cancerMonte Carlo MethodJournal of Mathematical Biology
researchProduct

Formulations and exact algorithms for the distance-constrained generalized directed rural postman problem

2017

[EN] The generalized directed rural postman problem is an arc routing problem with many interesting real-life applications, such as routing for meter reading. In this application, a vehicle with a receiver travels through a series of neighborhoods. If the vehicle gets closer than a certain distance to a meter, the receiver is able to record the gas, water, or electricity consumption. Therefore, the vehicle does not need to traverse every street, but only a few, to get close enough to each meter. We study an extension of this problem in which a fleet of vehicles is available. Given the characteristics of the mentioned application, the vehicles have no capacities but there is a maximum distan…

90C27Mathematical optimizationControl and OptimizationTraverseManagement Science and Operations ResearchMathematicsT57-57.97Applied mathematics. Quantitative methodsSeries (mathematics)Extension (predicate logic)90C1090B99QA75.5-76.9590C57Constraint (information theory)Computational MathematicsClose-enough arc routing problemBranch-and-cutModeling and SimulationElectronic computers. Computer scienceRouting (electronic design automation)Distance constrainedMATEMATICA APLICADABranch and cutArc routingAlgorithmAutomatic meter readingMultivehicleGeneralized directed rural postman problem
researchProduct

Modelling temperature-dependent dynamics of single and mixed infections in a plant virus

2022

Multiple viral infection is an important issue in health and agriculture with strong impacts on society and the economy. Several investigations have dealt with the population dynamics of viruses with different dynamic properties, focusing on strain competition during multiple infections and the effects on viruses’ hosts. Recent interest has been on how multiple infections respond to abiotic factors such as temperature (T). This is especially important in the case of plant pathogens, whose dynamics could be affected significantly by global warming. However, few mathematical models incorporate the effect of T on parasite fitness, especially in mixed infections. Here, we investigate simple mat…

Abiotic componenteducation.field_of_studybiologyMathematical modelCo-infection dynamicsApplied Mathematicsmedia_common.quotation_subjectPopulationTranscritical bifurcationsRNA virusAbiotic stressbiology.organism_classificationCompetition (biology)BifurcationsCompetition modelTranscritical bifurcationThermal reaction normsEvolutionary biologyNonlinear dynamicsModeling and SimulationPlant virusDynamical systemseducationmedia_commonApplied Mathematical Modelling
researchProduct

Factors affecting basket catheter detection of real and phantom rotors in the atria: A computational study

2018

[EN] Anatomically based procedures to ablate atrial fibrillation (AF) are often successful in terminating paroxysmal AF. However, the ability to terminate persistent AF remains disappointing. New mechanistic approaches use multiple-electrode basket catheter mapping to localize and target AF drivers in the form of rotors but significant concerns remain about their accuracy. We aimed to evaluate how electrode-endocardium distance, far-field sources and inter-electrode distance affect the accuracy of localizing rotors. Sustained rotor activation of the atria was simulated numerically and mapped using a virtual basket catheter with varying electrode densities placed at different positions withi…

Ablation TechniquesNormalization propertyTime FactorsPhysiologymedicine.medical_treatmentAction Potentials02 engineering and technology030204 cardiovascular system & hematologylaw.invention0302 clinical medicineModelslawHeart RateMedicine and Health SciencesMapping cathetersCardiac Atrialcsh:QH301-705.5Numerical AnalysisEcologyRotor (electric)HeartAblationElectrophysiologyComputational Theory and Mathematicsmedicine.veinModeling and SimulationRotorsPhysical SciencesInferior Vena CavaEngineering and TechnologyAnatomyBasket catheterArrhythmiaInterpolationResearch ArticleBiotechnologyMaterials scienceCatheters0206 medical engineeringPhase (waves)CardiologyInferior vena cavaModels BiologicalMembrane PotentialImaging phantomVeinsTECNOLOGIA ELECTRONICA03 medical and health sciencesCellular and Molecular NeuroscienceAblation Techniques; Action Potentials; Atrial Fibrillation; Computational Biology; Computer Simulation; Heart Atria; Heart Conduction System; Heart Rate; Humans; Models Biological; Time FactorsHeart Conduction SystemPhase analysisGeneticsmedicineHumansComputer SimulationHeart AtriaMolecular BiologyEcology Evolution Behavior and SystematicsMechanical EngineeringComputational BiologyBiology and Life SciencesBiological020601 biomedical engineeringAtrial fibrillationInterpolationlcsh:Biology (General)Cardiovascular AnatomyBlood VesselsMedical Devices and EquipmentMathematicsBiomedical engineeringEndocardium
researchProduct

Global-Local model for guided wave scattering problems with application to defect characterization in built-up composite structures

2020

Abstract Predicting scattering of elastic guided waves in multi-layered solid plates with geometrical and/or material discontinuities is of great interest to many fields, including ultrasonic-based Non-Destructive Testing (NDT) and health monitoring of critical structural components (SHM). The problem is complicated by the multimode and dispersive behaviour of the guided waves. This paper describes a unified Global-Local (GL) approach that is computationally efficient in cases that can be very complex in terms of geometry and/or material properties. One example of this is a composite built-up structure. The proposed GL procedure discretizes the “local” region with the scattering discontinui…

AcousticsNon-destructive testingClassification of discontinuitiesScatteringNondestructive testingGlobal-Local methodGeneral Materials ScienceGuided elastic wavePhysicsStructural health monitoringGuided wave testingScatteringbusiness.industryApplied MathematicsMechanical EngineeringCondensed Matter PhysicsFinite element methodDiscontinuity (linguistics)Mechanics of MaterialsComposite structureModeling and SimulationReflection (physics)Ultrasonic sensorSettore ICAR/08 - Scienza Delle CostruzionibusinessSemi-analytical finite element methodInternational Journal of Solids and Structures
researchProduct