• Un algoritmo genético para resolver el problema de asignar y secuenciar entregas con restricción de ventanas de tiempo

      José Rodolfo Torres Matus; JOSÉ RODOLFO TORRES MATUS (Instituto Tecnológico y de Estudios Superiores de Monterrey, 2005)
    • Urban radio propagation for vehicular environments, a spatial vehicular traffic density channel characterization

      Granda Gutiérrez, Fausto Lenin
      Vehicular Ad Hoc Networks (VANETs) are envisaged to be a critical building block of Smart Cities and Intelligent Transportation System (ITS). Although there is a significant research effort in V2X (Vehicle-to-Infrastructure or Vehicle-to-Vehicle) radio channel characterization, the use of a deterministic approach as a complement of theoretical and empirical models is required to understand more accurately the propagation phenomena in urban environments. In this work, three computational tools were integrated to simulate the effects of the Vehicular Traffic Density (VTD) in the Urban Radio Propagation Channel (URPC) at 5.9Ghz: a 3D Ray-Launching (3D-RL), a detailed geographic database and a microscopic traffic simulator. Considerations as distance segmentation and spatial position from the transmitter were taken into account for accuracy and consistency in the subsequent analysis. Large-scale, small-scale, multipath metrics and coverage analysis is complemented with statistical characterization to explain the influence of different VTD levels in the URPC. Large-scale and small-scale results show the impact that factors such as relative Transmitter-Receiver (TX-RX) position, distance, link frequency, obstacles geometry, obstacles dielectric properties, and vehicle speed, have in the V2X propagation channel where parameters such as path loss exponent, amplitude of fading, and distribution shape factor cannot be assumed constant given the non-stationary nature of the vehicular communications channel. Otherwise, statistical characterization shows that Lognormal, and Weibull distributions can describe the fading RSS behavior for the VTD tested levels. The influence of the VTD in more significant in V2V and I2V links where. higher RSS values are related with the high VDT level, mainly in the vicinity of the TX, while there are not clear tendency or significant change in the RSS for V2X in remote areas from TX. These results are useful for radio-planning Wireless Sensor Networks (WSNs) designers and deployment of urban Road Side Units (RSUs)
    • WebMC : a model checker for the Web

      Victor Ferman; VICTOR FERMAN (Instituto Tecnológico y de Estudios Superiores de Monterrey, 2016)
    • A Wrapper Component-Based Methodology for Integrating Distributed Robotics Systems

      Guedea Elizalde, Federico (Instituto Tecnológico y de Estudios Superiores de Monterrey, 2008-01-05)
      Building an intelligent robot system has been an extensive research area. There are many advances in components needed to construct a robotic system, such as vision systems, sensory systems, and planning systems among others. Integration of these components represents a big challenge for robot designers, because each component comes from different vendors and they run with different interfaces or under different operating systems. This will be even more difficult if the overall system development has to deal with environmental uncertainties or changing conditions. In these cases, new tools and equipments are necessary to adapt the initial configuration to the new changing requirements. Each added component increases the complexity of integration due to the interconnection required with the previous components. This thesis research presents a novel approach to solve the integration problem using the concepts of distributed framework and distributed computing systems. We named this methodology DWC (Divide-Wrap-Connect). This methodology is based on the mechanisms used by standard middleware software to provide transparency and porta- bility among different operating systems and languages. The idea is to define software modules named Wrapper Components, which are object-oriented modules that create an abstract interface for a specific class of hardware or software components. These modules are the components of a bigger system. Basic steps in this methodology are: a) Divide, b) Wrap and c) Connect. The creation of Wrapper Components is the core activity of the second step (b) but its design is af- fected by the first and third step of this methodology. We provide some basic definitions in order to clarify the scope of different design alternatives. Furthermore, we present how using standard mechanisms from distributed computing such as Event services and Naming services, the third step (c) is improved. We tested our approach by solving an experimental classical AI problem, block-world problem. The intelligent functions are object recognition, environment recognition, planning, tracking capabilities, tasks control and robot arm control. These functions were developed into several components and a coordinator module. This coordinator modules interacts with the user and the other components in order to solve the block- world problem. The construction of the system was done in an incremental way showing the benefits of this methodology.