Making more flexible ATISMART+ model for traffic simulations using a CAS

Traffic simulations usually require the search of a path to join two different points. Dijkstra’s algorithm [1] is one of the most commonly used for this task due to its easiness and quickness. In [2, 3] we developed an accelerated time simulation of car traffic in a smart city using Dijkstra’s algorithm to compute the paths. Dijkstra’s algorithm provides a shortest path between two different points but this is not a realistic situation for simulations. For example, in a car traffic situa- tion, the driver may not know the shortest path to follow. This ignorance can be produced, among others, because one of the following two facts: the driver may not know the exact length of the lanes, or, even knowing the exact length, the driver may not know how to find the shortest path. Even more, in many cases, a mixture of both facts occurs. A more realistic simulation should therefore consider these kind of facts. The algorithm used to compute the path from one point to another in a traffic simulation might consider the possibility of not using the shortest path. In this talk, we use a new probabilistic extension of Dijkstra’s algorithm which covers the above two situations. For this matter, two different modifications in Di- jkstra’s algorithm have been introduced: using non-exact length in lanes, and the choice of a non-shortest path between two different points. Both modifications are used in a non-deterministic way by means of using probability distributions (classi- cal distributions such as Normal or Poisson distributions or even "ad hoc" ones). A precise, fast, natural and elegant way of working with such probability distributions is the use of a CAS in order to deal with exact and explicit computations. As an example of use of this extension of Dijkstra’s algorithm, we will show the ATISMART+ model. This model provides more realistic accelerated time sim- ulations of car traffics in a smart city and was first introduced in [4] and extended in [5]. This model was developed combining J AVA for the GUI and M AXIMA for the mathematical core of the algorithm. The studies developed in the above mentioned works, dealt with Poisson, Ex- ponential, Uniform and Normal distributions. In this talk we will introduce, as a novelty, the possibility of using other continuous probability distributions such as: Lognormal, Weibul, Gamma, Beta, Chi-Square, Student’s t, Z, Pareto, Lo- gistic, Cauchy or Irwin-Hall, and other discrete distributions such as: Bernouille, Rademacher, Binomial, Geometric, Negative Binomial or Hypergeometric. Even 1 more, this new version allows to deal with any “ad-hoc” continuous, discrete or mixed user’s distributions. This fact improves the flexibility of ATISMART+ model.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech

Dos importantes fuentes documentales sobre la historia de la población española publicadas por el Instituto Nacional de Estadística: El recuento de 1590 - 91 y la documentación primaria del censo de Floridablanca (1786 - 87)

Sin resume

Characterization of the Solvability of Generalized Constrained Variational Equations

In a general context, that of the locally convex spaces, we characterize the existence of a solution for certain variational equations with constraints. For the normed case and in the presence of some kind of compactness of the closed unit ball, more specifically, when we deal with reflexive spaces or, in a more general way, with dual spaces, we deduce results implying the existence of a unique weak solution for a wide class of linear elliptic boundary value problems that do not admit a classical treatment. Finally, we apply our statements to the study of linear impulsive differential equations, extending previously stated results.This research is partially supported by the Junta de Andaluca Grant FQM359

El banquete funerario en el mediodía hispano: una observación

Sin resume

EA 164 and the God Amun

AMARNA letter 164 presents a problem on line 40: how to interpret the signs DINGIR.A. What could have been a minor question turns out to be one of some relevance, as the context involves diplomacy issues between Egypt and her Levantine vassals in the mid-fourteenth century B.C.Peer reviewe

Presentación

Sin resume

Characterization of electrical crosstalk in 4T-APS arrays using TCAD simulations

TCAD simulations have been conducted on a CMOS image sensor in order to characterize the electrical component of the crosstalk between pixels through the study of the electric field distribution. The image sensor consists on a linear array of five pinned photodiodes (PPD) with their transmission gates, floating diffusion and reset transistors. The effect of the variations of the thickness of the epitaxial layer has been addressed as well. In fact, the depth of the boundary of the epitaxial layer affects quantum efficiency (QE) so a correlation with crosstalk has been identified.Ministerio de Economía y Competitividad TEC2015-66878-C3-1RJunta de Andalucía TIC 2012-2338Office of Naval Research (USA) N00014141035