IF-MANET: Interoperable framework for heterogeneous mobile ad hoc networks

The advances in low power micro-processors, wireless networks and embedded systems have raised the need to utilize the significant resources of mobile devices. These devices for example, smart phones, tablets, laptops, wearables, and sensors are gaining enormous processing power, storage capacity and wireless bandwidth. In addition, the advancement in wireless mobile technology has created a new communication paradigm via which a wireless network can be created without any priori infrastructure called mobile ad hoc network (MANET). While progress is being made towards improving the efficiencies of mobile devices and reliability of wireless mobile networks, the mobile technology is continuously facing the challenges of un-predictable disconnections, dynamic mobility and the heterogeneity of routing protocols. Hence, the traditional wired, wireless routing protocols are not suitable for MANET due to its unique dynamic ad hoc nature. Due to the reason, the research community has developed and is busy developing protocols for routing in MANET to cope with the challenges of MANET. However, there are no single generic ad hoc routing protocols available so far, which can address all the basic challenges of MANET as mentioned before. Thus this diverse range of ever growing routing protocols has created barriers for mobile nodes of different MANET taxonomies to intercommunicate and hence wasting a huge amount of valuable resources. To provide interaction between heterogeneous MANETs, the routing protocols require conversion of packets, meta-model and their behavioural capabilities. Here, the fundamental challenge is to understand the packet level message format, meta-model and behaviour of different routing protocols, which are significantly different for different MANET Taxonomies. To overcome the above mentioned issues, this thesis proposes an Interoperable Framework for heterogeneous MANETs called IF-MANET. The framework hides the complexities of heterogeneous routing protocols and provides a homogeneous layer for seamless communication between these routing protocols. The framework creates a unique Ontology for MANET routing protocols and a Message Translator to semantically compare the packets and generates the missing fields using the rules defined in the Ontology. Hence, the translation between an existing as well as newly arriving routing protocols will be achieved dynamically and on-the-fly. To discover a route for the delivery of packets across heterogeneous MANET taxonomies, the IF-MANET creates a special Gateway node to provide cluster based inter-domain routing. The IF-MANET framework can be used to develop different middleware applications. For example: Mobile grid computing that could potentially utilise huge amounts of aggregated data collected from heterogeneous mobile devices. Disaster & crises management applications can be created to provide on-the-fly infrastructure-less emergency communication across organisations by utilising different MANET taxonomies.

Ciudadanía heterogénea y colonización de las prácticas simbólicas micro y macro fronterizas

El objetivo de este ensayo es el de relacionar de forma reflexiva las nuevas dinámicas de colonización, dominación y poder contemporáneas, con las cartografías simbólicas de la ciudad global y sus respectivas fronteras o bordes sistémicos, muchos de ellos desapercibidos por las personas y atravesados por jerarquías y clasificaciones las cuales se hallan inmersas, a su vez,en una multidimensionalidad social tanto positiva como negativa que genera que podamos hablar de una indecibilidad de lo simbólico. En torno a ello se desprende, asimismo, el objetivo de repensar desde una perspectiva crítica y relacional el espacio urbano y heterogéneo en el cual confluyen formas diversas de identidad, subjetividad y aplicabilidad normativa y social de lo jurídico. Finalmente se dejará planteada la pregunta de hasta dónde puede llegar la agencia humana ante cada una de las distintas fronteras y bordes sistémicos y simbólicos de lo global-heterogéneo, considerando para ello aportes teóricos como los de Suely Rolnik, que indican que hoy en día existen subjetividades acríticas por las cuales el poder adquiere cierta plasticidad y hegemonía alienantes.

Reversibility Iteration Method to Understand Reaction Networks and to Solve Micro-Kinetics in Heterogeneous Catalysis

Solving microkinetics of catalytic systems, which bridges microscopic processes and macroscopic reaction rates, is currently vital for understanding catalysis in silico. However, traditional microkinetic solvers possess several drawbacks that make the process slow and unreliable for complicated catalytic systems. In this paper, a new approach, the so-called reversibility iteration method (RIM), is developed to solve microkinetics for catalytic systems. Using the chemical potential notation we previously proposed to simplify the kinetic framework, the catalytic systems can be analytically illustrated to be logically equivalent to the electric circuit, and the reaction rate and coverage can be calculated by updating the values of reversibilities. Compared to the traditional modified Newton iteration method (NIM), our method is not sensitive to the initial guess of the solution and typically requires fewer iteration steps. Moreover, the method does not require arbitrary-precision arithmetic and has a higher probability of successfully solving the system. These features make it ∼1000 times faster than the modified Newton iteration method for the systems we tested. Moreover, the derived concept and the mathematical framework presented in this work may provide new insight into catalytic reaction networks.

Estudo sobre a mortalidade e sobrevivência de micro e pequenas empresas natalenses e seus impactos nas políticas públicas pró-empreendedorismo

The principal purpose of this research was to investigate discriminant factors of survival and failure of micro and small businesses, and the impacts of these factors in the public politics for entrepreneurship in the State of Rio Grande do Norte. The data were ceded by SEBRAE/RN and the Commercial Committee of the Rio Grande do Norte State and it included the businesses that were registered in 2000, 2001 and 2002. According to the theoretical framework 3 groups of factors were defined Business Financial Structure, Entrepreneurial Preparation and Entrepreneurial Behavior , and the factors were studied in order to determine whether they are discriminant or not of the survival and business failure. A quantitative research was applied and advanced statistical techniques were used multivariate data analysis , beginning with the factorial analysis and after using the discriminant analysis. As a result, canonical discriminant functions were found and they partially explained the survival and business failure in terms of the factors and groups of factors. The analysis also permitted the evaluation of the public politics for entrepreneurship and it was verified, according to the view of the entrepreneurs, that these politics were weakly effective to avoid business failure. Some changes in the referred politics were suggested based on the most significant factors found.

Política pública y fortalecimiento de las capacidades competitivas de las micro, pequeñas y medianas empresas costarricenses

Expone los factores críticos que afectan las capacidades competitivas de las Mipymes y se indican los retos y dificultades. Explica las políticas de apoyo institucional que el Estado costarricense ha implementado y analiza los factores institucionales que han incidido en la neutralidad de la política pública de apoyo a las Mipymes. Sugiere recomendaciones para diseñar una política pública que fortalezca las capacidades competitivas de la Mipymes eficientemente. Abstract This paper analyses the relation between the competitiveness of small and medium size enterprises (SMEs) and the public policies framework. Specially, it explains the main policies that have been giving technical and financial support to SMEs in Costa Rica. Thus, institutions such as ministries have designed projects, programs and policies to solve internal and external requirements in term of technology, training, marketing, local infrastructure, credits, research and development, among others. However, small producers and manufactures criticize the labor and the efficiency of these institutions because they do not receive the all support that they need. Therefore, this paper suggests some recommendations to define a better policy framework to improve the competitiveness of SMEs in Costa Rica.

Indoor environment and the impact on the health of pre-exisiting asthmatics at work: the development of a risk management framework

This thesis examines the spatial and temporal variation in nitrogen dioxide (NO2) levels in Guernsey and the impacts on pre-existing asthmatics. Whilst air quality in Guernsey is generally good, the levels of NO2 exceed UK standards in several locations. The evidence indicates that people suffering from asthma have exacerbation of their symptoms if exposed to elevated levels of air pollutants including NO2, although this research has never been carried out in Guernsey before. In addition, exposure assessment of individuals is rarely carried out and research in this area is limited due to the complexity of undertaking such a study, which will include a combination of exposures in the home, the workplace and ambient exposures, which vary depending on the individual daily experience. For the first time in Guernsey, this research has examined NO2 levels in correlation with asthma patient admissions to hospital, assessment of NO2 exposures in typical homes and typical workplaces in Guernsey. The data showed a temporal correlation between NO2 levels and the number of hospital admissions and the trend from 2008-2012 was upwards. Statistical analysis of the data did not show a significant linear correlation due to the small size of the data sets. Exposure assessment of individuals showed a spatial variation in exposures in Guernsey and assessment in indoor environments showed that real-time analysis of NO2 levels needs to be undertaken if indoor micro environments for NO2 are the be assessed adequately. There was temporal and spatial variation in NO2 concentrations measured using diffusion tubes, which provide a monthly mean value, and analysers measuring NO2 concentrations in real time. The research shows that building layout and design are important factors for good air flow and ventilation and the dispersion of NO2 indoors. Environmental Health Officers have statutory responsibilities for ambient air quality, hygiene of buildings and workplace environments and this role needs to be co-ordinated with healthcare professionals to improve health outcomes for asthmatics. The outcome of the thesis was the development of a risk management framework for pre-existing asthmatics at work for use by regulators of workplaces and an information leaflet to assist in improving health outcomes for asthmatics in Guernsey.

Estudo sobre a mortalidade e sobrevivência de micro e pequenas empresas natalenses e seus impactos nas políticas públicas pró-empreendedorismo

The principal purpose of this research was to investigate discriminant factors of survival and failure of micro and small businesses, and the impacts of these factors in the public politics for entrepreneurship in the State of Rio Grande do Norte. The data were ceded by SEBRAE/RN and the Commercial Committee of the Rio Grande do Norte State and it included the businesses that were registered in 2000, 2001 and 2002. According to the theoretical framework 3 groups of factors were defined Business Financial Structure, Entrepreneurial Preparation and Entrepreneurial Behavior , and the factors were studied in order to determine whether they are discriminant or not of the survival and business failure. A quantitative research was applied and advanced statistical techniques were used multivariate data analysis , beginning with the factorial analysis and after using the discriminant analysis. As a result, canonical discriminant functions were found and they partially explained the survival and business failure in terms of the factors and groups of factors. The analysis also permitted the evaluation of the public politics for entrepreneurship and it was verified, according to the view of the entrepreneurs, that these politics were weakly effective to avoid business failure. Some changes in the referred politics were suggested based on the most significant factors found.

Architectural-Physical Co-Design of 3D CPUs with Micro-Fluidic Cooling

The performance, energy efficiency and cost improvements due to traditional technology scaling have begun to slow down and present diminishing returns. Underlying reasons for this trend include fundamental physical limits of transistor scaling, the growing significance of quantum effects as transistors shrink, and a growing mismatch between transistors and interconnects regarding size, speed and power. Continued Moore's Law scaling will not come from technology scaling alone, and must involve improvements to design tools and development of new disruptive technologies such as 3D integration. 3D integration presents potential improvements to interconnect power and delay by translating the routing problem into a third dimension, and facilitates transistor density scaling independent of technology node. Furthermore, 3D IC technology opens up a new architectural design space of heterogeneously-integrated high-bandwidth CPUs. Vertical integration promises to provide the CPU architectures of the future by integrating high performance processors with on-chip high-bandwidth memory systems and highly connected network-on-chip structures. Such techniques can overcome the well-known CPU performance bottlenecks referred to as memory and communication wall. However the promising improvements to performance and energy efficiency offered by 3D CPUs does not come without cost, both in the financial investments to develop the technology, and the increased complexity of design. Two main limitations to 3D IC technology have been heat removal and TSV reliability. Transistor stacking creates increases in power density, current density and thermal resistance in air cooled packages. Furthermore the technology introduces vertical through silicon vias (TSVs) that create new points of failure in the chip and require development of new BEOL technologies. Although these issues can be controlled to some extent using thermal-reliability aware physical and architectural 3D design techniques, high performance embedded cooling schemes, such as micro-fluidic (MF) cooling, are fundamentally necessary to unlock the true potential of 3D ICs. A new paradigm is being put forth which integrates the computational, electrical, physical, thermal and reliability views of a system. The unification of these diverse aspects of integrated circuits is called Co-Design. Independent design and optimization of each aspect leads to sub-optimal designs due to a lack of understanding of cross-domain interactions and their impacts on the feasibility region of the architectural design space. Co-Design enables optimization across layers with a multi-domain view and thus unlocks new high-performance and energy efficient configurations. Although the co-design paradigm is becoming increasingly necessary in all fields of IC design, it is even more critical in 3D ICs where, as we show, the inter-layer coupling and higher degree of connectivity between components exacerbates the interdependence between architectural parameters, physical design parameters and the multitude of metrics of interest to the designer (i.e. power, performance, temperature and reliability). In this dissertation we present a framework for multi-domain co-simulation and co-optimization of 3D CPU architectures with both air and MF cooling solutions. Finally we propose an approach for design space exploration and modeling within the new Co-Design paradigm, and discuss the possible avenues for improvement of this work in the future.

Texture evolution and grain refinement of ultrafine-grained copper during micro-extrusion

Samples of oxygen-free high conductivity (OFHC) coarse-grained (CG) and ultrafine-grained (UFG) copper were micro-extruded to an equivalent strain of 2.8 in one pass at room temperature. Samples of the OFHC copper were annealed at 650C for 2 h to produce CG copper. Some samples were subsequently processed by equal channel angular pressing of eight passes, route Bc, at room temperature to produce the UFG material. Crystallographic texture and misorientation distributions were obtained locally from EBSD mappings at different radial positions after micro-extrusion. To model the strain path during micro-extrusion, the analytic flow line model of Altan etal. [J Mater. Process. Tech. 33 (1992) p.263] was used and also validated by finite element calculations. Modelling was carried out using the viscoplastic self-consistent (VPSC) model and a recently developed grain refinement model. The results showed large texture variations along the cross-section of the extruded sample for both UFG and CG copper. These cyclic drawing textures in UFG copper were simulated in good agreement with experiments using the presented modelling framework.

MINING AND VERIFICATION OF TEMPORAL EVENTS WITH APPLICATIONS IN COMPUTER MICRO-ARCHITECTURE RESEARCH

Computer simulation programs are essential tools for scientists and engineers to understand a particular system of interest. As expected, the complexity of the software increases with the depth of the model used. In addition to the exigent demands of software engineering, verification of simulation programs is especially challenging because the models represented are complex and ridden with unknowns that will be discovered by developers in an iterative process. To manage such complexity, advanced verification techniques for continually matching the intended model to the implemented model are necessary. Therefore, the main goal of this research work is to design a useful verification and validation framework that is able to identify model representation errors and is applicable to generic simulators. The framework that was developed and implemented consists of two parts. The first part is First-Order Logic Constraint Specification Language (FOLCSL) that enables users to specify the invariants of a model under consideration. From the first-order logic specification, the FOLCSL translator automatically synthesizes a verification program that reads the event trace generated by a simulator and signals whether all invariants are respected. The second part consists of mining the temporal flow of events using a newly developed representation called State Flow Temporal Analysis Graph (SFTAG). While the first part seeks an assurance of implementation correctness by checking that the model invariants hold, the second part derives an extended model of the implementation and hence enables a deeper understanding of what was implemented. The main application studied in this work is the validation of the timing behavior of micro-architecture simulators. The study includes SFTAGs generated for a wide set of benchmark programs and their analysis using several artificial intelligence algorithms. This work improves the computer architecture research and verification processes as shown by the case studies and experiments that have been conducted.