A path-based framework for analyzing large markov models

Reliability and dependability modeling can be employed during many stages of analysis of a computing system to gain insights into its critical behaviors. To provide useful results, realistic models of systems are often necessarily large and complex. Numerical analysis of these models presents a formidable challenge because the sizes of their state-space descriptions grow exponentially in proportion to the sizes of the models. On the other hand, simulation of the models requires analysis of many trajectories in order to compute statistically correct solutions. This dissertation presents a novel framework for performing both numerical analysis and simulation. The new numerical approach computes bounds on the solutions of transient measures in large continuous-time Markov chains (CTMCs). It extends existing path-based and uniformization-based methods by identifying sets of paths that are equivalent with respect to a reward measure and related to one another via a simple structural relationship. This relationship makes it possible for the approach to explore multiple paths at the same time,· thus significantly increasing the number of paths that can be explored in a given amount of time. Furthermore, the use of a structured representation for the state space and the direct computation of the desired reward measure (without ever storing the solution vector) allow it to analyze very large models using a very small amount of storage. Often, path-based techniques must compute many paths to obtain tight bounds. In addition to presenting the basic path-based approach, we also present algorithms for computing more paths and tighter bounds quickly. One resulting approach is based on the concept of path composition whereby precomputed subpaths are composed to compute the whole paths efficiently. Another approach is based on selecting important paths (among a set of many paths) for evaluation. Many path-based techniques suffer from having to evaluate many (unimportant) paths. Evaluating the important ones helps to compute tight bounds efficiently and quickly.

Which-path problem for one and two particles with two degrees of freedom and a relation between transverse spatial structure and group velocity of light

Quantum mechanics, optics and indeed any wave theory exhibits the phenomenon of interference. In this thesis we present two problems investigating interference due to indistinguishable alternatives and a mostly unrelated investigation into the free space propagation speed of light pulses in particular spatial modes. In chapter 1 we introduce the basic properties of the electromagnetic field needed for the subsequent chapters. In chapter 2 we review the properties of interference using the beam splitter and the Mach-Zehnder interferometer. In particular we review what happens when one of the paths of the interferometer is marked in some way so that the particle having traversed it contains information as to which path it went down (to be followed up in chapter 3) and we review Hong-Ou-Mandel interference at a beam splitter (to be followed up in chapter 5). In chapter 3 we present the first of the interference problems. This consists of a nested Mach-Zehnder interferometer in which each of the free space propagation segments are weakly marked by mirrors vibrating at different frequencies [1]. The original experiment drew the conclusions that the photons followed disconnected paths. We partition the description of the light in the interferometer according to the number of paths it contains which-way information about and reinterpret the results reported in [1] in terms of the interference of paths spatially connected from source to detector. In chapter 4 we briefly review optical angular momentum, entanglement and spontaneous parametric down conversion. These concepts feed into chapter 5 in which we present the second of the interference problems namely Hong-Ou-Mandel interference with particles possessing two degrees of freedom. We analyse the problem in terms of exchange symmetry for both boson and fermion pairs and show that the particle statistics at a beam splitter can be controlled for suitably chosen states. We propose an experimental test of these ideas using orbital angular momentum entangled photons. In chapter 6 we look at the effect that the transverse spatial structure of the mode that a pulse of light is excited in has on its group velocity. We show that the resulting group velocity is slower than the speed of light in vacuum for plane waves and that this reduction in the group velocity is related to the spread in the wave vectors required to create the transverse spatial structure. We present experimental results of the measurement of this slowing down using Hong-Ou-Mandel interference.

Development of a Real-Time Hierarchical 3D Path Planning Algorithm for Unmanned Aerial Vehicles

Unmanned aerial vehicles (UAVs) frequently operate in partially or entirely unknown environments. As the vehicle traverses the environment and detects new obstacles, rapid path replanning is essential to avoid collisions. This thesis presents a new algorithm called Hierarchical D* Lite (HD*), which combines the incremental algorithm D* Lite with a novel hierarchical path planning approach to replan paths sufficiently fast for real-time operation. Unlike current hierarchical planning algorithms, HD* does not require map corrections before planning a new path. Directional cost scale factors, path smoothing, and Catmull-Rom splines are used to ensure the resulting paths are feasible. HD* sacrifices optimality for real-time performance. Its computation time and path quality are dependent on the map size, obstacle density, sensor range, and any restrictions on planning time. For the most complex scenarios tested, HD* found paths within 10% of optimal in under 35 milliseconds.

Diversity and path coefficient analysis of Southern African maize hybrids

Detailed knowledge on genetic diversity among germplasm is important for hybrid maize ( Zea mays L.) breeding. The objective of the study was to determine genetic diversity in widely grown hybrids in Southern Africa, and compare effectiveness of phenotypic analysis models for determining genetic distances between hybrids. Fifty hybrids were evaluated at one site with two replicates. The experiment was a randomized complete block design. Phenotypic and genotypic data were analyzed using SAS and Power Marker respectively. There was significant (p < 0.01) variation and diversity among hybrid brands but small within brand clusters. Polymorphic Information Content (PIC) ranged from 0.07 to 0.38 with an average of 0.34 and genetic distance ranged from 0.08 to 0.50 with an average of 0.43. SAH23 and SAH21 (0.48) and SAH33 and SAH3 (0.47) were the most distantly related hybrids. Both single nucleotide polymorphism (SNP) markers and phenotypic data models were effective for discriminating genotypes according to genetic distance. SNP markers revealed nine clusters of hybrids. The 12-trait phenotypic analysis model, revealed eight clusters at 85%, while the five-trait model revealed six clusters. Path analysis revealed significant direct and indirect effects of secondary traits on yield. Plant height and ear height were negatively correlated with grain yield meaning shorter hybrids gave high yield. Ear weight, days to anthesis, and number of ears had highest positive direct effects on yield. These traits can provide good selection index for high yielding maize hybrids. Results confirmed that diversity of hybrids is small within brands and also confirm that phenotypic trait models are effective for discriminating hybrids.

Path relinking for the fixed spectrum frequency assignment problem

International audience

RISK-BASED MULTIOBJECTIVE PATH PLANNING AND DESIGN OPTIMIZATION FOR UNMANNED AERIAL VEHICLES

Safe operation of unmanned aerial vehicles (UAVs) over populated areas requires reducing the risk posed by a UAV if it crashed during its operation. We considered several types of UAV risk-based path planning problems and developed techniques for estimating the risk to third parties on the ground. The path planning problem requires making trade-offs between risk and flight time. Four optimization approaches for solving the problem were tested; a network-based approach that used a greedy algorithm to improve the original solution generated the best solutions with the least computational effort. Additionally, an approach for solving a combined design and path planning problems was developed and tested. This approach was extended to solve robust risk-based path planning problem in which uncertainty about wind conditions would affect the risk posed by a UAV.

Linking heritage: Yenya Punhi Festival a path to reinforce identity. The Katmandu experience

In today’s world heritage worldwide are at the risk not only because of natural process of decay and destruction but also by social change like urbanization, globalization and homogenization of cultures. With these emerging problems, the heritage conservation discourse also has reached to a new dimension including broader range of concepts like tangible heritage, intangible heritage, community participation, indigenous knowledge and many more. Even with the changing scenario in the international context about the heritage conservation, Nepal’s heritage conservation still focus on monuments, sites and buildings. In add to that the conservation practices are still top-down approach and community involvements are limited only in plans. While numerous intangible heritages like masking dances chariot processions, festivals and rituals, which form an integral part of the daily social life of people are still being continued and managed by the community and its people, without with out serious attention form the government. In Kathmandu Valley these heritages has been maintained with the traditional social association of people known as “Guthi” which has been continuing since 5th Century. Most of the tangible and intangible heritages have survived for centuries because of this unique association of people. Among the numerous festivals of the Kathmandu Valley, the festival Yenya Punhi was chosen as a case for this study, which is also a major festival of Kathmandu. This festival is the perfect example for the study as its celebrated in the city that is the most urbanized city of Nepal with the challenges of the every modern city like social changes and urbanization. Despite modern challenges Guthi still plays a major role in the heritage conservation in Kathmandu Valley. Now there are some interventions of the various formal institutions. So this study will be focusing on the management, continuity and problems of the festival along with Nepal’s position in terms of intangible heritage conservation. The problem of Kathmandu and Yenya Punhi festival is the problem of every country in the similar situation so with this case study it can be a good example for finding solutions of the similar problem not only the other festivals within Nepal but also elsewhere in the world; Resumo: Conexão de Património: Festival Yenya Punhi um caminho de fortalecimento de identidade: A experiência de Catmandu Nos dias de hoje, os patrimónios mundiais encontram-se em risco, não só devido ao processo natural de degradação e destruição, mas também pelas mudanças sociais, tais como a urbanização, globalização e homogeneização de culturas. Com o emergir destes problemas, o discurso de conservação de Património atingiu também uma nova dimensão, incluíndo uma área mais abrangente de conceitos, como por exemplo, património material, património imaterial, participação da comunidade, conhecimento indígena, entre outros. Mesmo com este cenário de mudança no contexto mundial de conservação do património, a preservação do património do Nepal continua a focar-se em monumentos, sítios e edíficios. A acrescentar a isso, as práticas de conservação ainda têm uma abordagem descendente e os envolvimentos da comunidade são limitados por planificações. Enquanto que os numerosos patrimónios imateriais como danças com máscaras, procissões, festivais e rituais, os quais formam uma parte integral da vida diária social das pessoas que as continuam e as gerem em comunidade, sem uma atenção séria por parte do governo. No Vale de Catmandu, este património tem sido mantido pela associação tradicional de pessoas conhecidas como ''Guthi'' desde o século V. A maior parte destes patrimónios materiais e imateriais tem sobrevivido durante séculos graças a esta associação única de pessoas. Entre os numerosos festivais do Vale de Catmandu, o festival Yenya Puhni foi escolhido para este estudo, pois é também um grande festival em Catmandu. Este festival é o exemplo perfeito para este estudo, pois é celebrado na cidade mais urbanizada do Nepal, com os desafios das cidades modernas tais como mudanças sociais e urbanização. Apesar dos desafios da modernização, os ''Guthi'' ainda desempenham um papel importante na preservação do património do Vale de Catmandu. Agora, existem algumas intervenções de várias instituições formais Então, este estudo irá focar-se na gestão, continuidade e problemas do festival, juntamente com a posição do Nepal em termos de conservação de património imaterial. O problema de Catmandu e do festival Yenya Punhi é o problema de todos os países em situação semelhante então, este estudo pode ser um bom exemplo para encontrar soluções de problemas parecidos, não só em outros festivais no Nepal mas também para qualquer parte do mundo.

Mission and Scenario Planning for Unmanned Aerial Vehicles (Path Planning and Collision Avoidance Systems)

As unmanned autonomous vehicles (UAVs) are being widely utilized in military and civil applications, concerns are growing about mission safety and how to integrate dierent phases of mission design. One important barrier to a coste ective and timely safety certication process for UAVs is the lack of a systematic approach for bridging the gap between understanding high-level commander/pilot intent and implementation of intent through low-level UAV behaviors. In this thesis we demonstrate an entire systems design process for a representative UAV mission, beginning from an operational concept and requirements and ending with a simulation framework for segments of the mission design, such as path planning and decision making in collision avoidance. In this thesis, we divided this complex system into sub-systems; path planning, collision detection and collision avoidance. We then developed software modules for each sub-system

Insights into the Fallback Path of Best-Effort Hardware Transactional Memory Systems

Current industry proposals for Hardware Transactional Memory (HTM) focus on best-effort solutions (BE-HTM) where hardware limits are imposed on transactions. These designs may show a significant performance degradation due to high contention scenarios and different hardware and operating system limitations that abort transactions, e.g. cache overflows, hardware and software exceptions, etc. To deal with these events and to ensure forward progress, BE-HTM systems usually provide a software fallback path to execute a lock-based version of the code. In this paper, we propose a hardware implementation of an irrevocability mechanism as an alternative to the software fallback path to gain insight into the hardware improvements that could enhance the execution of such a fallback. Our mechanism anticipates the abort that causes the transaction serialization, and stalls other transactions in the system so that transactional work loss is mini- mized. In addition, we evaluate the main software fallback path approaches and propose the use of ticket locks that hold precise information of the number of transactions waiting to enter the fallback. Thus, the separation of transactional and fallback execution can be achieved in a precise manner. The evaluation is carried out using the Simics/GEMS simulator and the complete range of STAMP transactional suite benchmarks. We obtain significant performance benefits of around twice the speedup and an abort reduction of 50% over the software fallback path for a number of benchmarks.

Path-integral and Coarse-graining Strategies for Complex Molecular Phenomena

Molecular simulation provides a powerful tool for connecting molecular-level processes to physical observables. However, the facility to make those connections relies upon the application and development of theoretical methods that permit appropriate descriptions of the systems or processes to be studied. In this thesis, we utilize molecular simulation to study and predict two phenomena with very different theoretical challenges, beginning with (1) lithium-ion transport behavior in polymers and following with (2) equilibrium isotope effects with relevance to position-specific and clumped isotope studies. In the case of ion transport in polymers, there is motivation to use molecular simulation to provide guidance in polymer electrolyte design, but the length and timescales relevant for ion diffusion in polymers preclude the use of direct molecular dynamics simulation to compute ion diffusivities in more than a handful of candidate systems. In the case of equilibrium isotope effects, the thermodynamic driving forces for isotopic fractionation are often fundamentally quantum mechanical in nature, and the high precision of experimental instruments demands correspondingly accurate theoretical approaches. Herein, we describe respectively coarse-graining and path-integral strategies to address outstanding questions in these two subject areas.

MODELING OF TRANSFER PATH FOR DETERMINATION OF COMBUSTION AND NOISE METRICS ON DIESEL ENGINES

Determination of combustion metrics for a diesel engine has the potential of providing feedback for closed-loop combustion phasing control to meet current and upcoming emission and fuel consumption regulations. This thesis focused on the estimation of combustion metrics including start of combustion (SOC), crank angle location of 50% cumulative heat release (CA50), peak pressure crank angle location (PPCL), and peak pressure amplitude (PPA), peak apparent heat release rate crank angle location (PACL), mean absolute pressure error (MAPE), and peak apparent heat release rate amplitude (PAA). In-cylinder pressure has been used in the laboratory as the primary mechanism for characterization of combustion rates and more recently in-cylinder pressure has been used in series production vehicles for feedback control. However, the intrusive measurement with the in-cylinder pressure sensor is expensive and requires special mounting process and engine structure modification. As an alternative method, this work investigated block mounted accelerometers to estimate combustion metrics in a 9L I6 diesel engine. So the transfer path between the accelerometer signal and the in-cylinder pressure signal needs to be modeled. Depending on the transfer path, the in-cylinder pressure signal and the combustion metrics can be accurately estimated - recovered from accelerometer signals. The method and applicability for determining the transfer path is critical in utilizing an accelerometer(s) for feedback. Single-input single-output (SISO) frequency response function (FRF) is the most common transfer path model; however, it is shown here to have low robustness for varying engine operating conditions. This thesis examines mechanisms to improve the robustness of FRF for combustion metrics estimation. First, an adaptation process based on the particle swarm optimization algorithm was developed and added to the single-input single-output model. Second, a multiple-input single-output (MISO) FRF model coupled with principal component analysis and an offset compensation process was investigated and applied. Improvement of the FRF robustness was achieved based on these two approaches. Furthermore a neural network as a nonlinear model of the transfer path between the accelerometer signal and the apparent heat release rate was also investigated. Transfer path between the acoustical emissions and the in-cylinder pressure signal was also investigated in this dissertation on a high pressure common rail (HPCR) 1.9L TDI diesel engine. The acoustical emissions are an important factor in the powertrain development process. In this part of the research a transfer path was developed between the two and then used to predict the engine noise level with the measured in-cylinder pressure as the input. Three methods for transfer path modeling were applied and the method based on the cepstral smoothing technique led to the most accurate results with averaged estimation errors of 2 dBA and a root mean square error of 1.5dBA. Finally, a linear model for engine noise level estimation was proposed with the in-cylinder pressure signal and the engine speed as components.

Youth-Physical Activity Towards Health: evidence and background to the development of the Y-PATH physical activity intervention for adolescents

Background: Despite known benefits of regular physical activity for health and well-being, many studies suggest that levels of physical activity in young people are low, and decline dramatically during adolescence. The purpose of the current research was to gather data on adolescent youth in order to inform the development of a targeted physical activity intervention. Methods: Cross-sectional data on physical activity levels (using self report and accelerometry), psychological correlates of physical activity, anthropometic characteristics, and the fundamental movement skill proficiency of 256 youth (53% male, 12.40 ± 0.51 years) were collected. A subsample (n = 59) participated in focus group interviews to explore their perceptions of health and identify barriers and motivators to participation in physical activity. Results: Findings indicate that the majority of youth (67%) were not accumulating the minimum 60 minutes of physical activity recommended daily for health, and that 99.5% did not achieve the fundamental movement skill proficiency expected for their age. Body mass index data showed that 25% of youth were classified as overweight or obese. Self-efficacy and physical activity attitude scores were significantly different (p < 0.05) between low, moderate and high active participants. Active and inactive youth reported differences in their perceived understanding of health and their barriers to physical activity participation, with active youth relating nutrition, exercise, energy and sports with the definition of ‘being healthy’, and inactive youth attributing primarily nutritional concepts to ‘being healthy’. Conclusions: Data show a need for targeting low levels of physical activity in youth through addressing poor health related activity knowledge and low fundamental movement skill proficiency. The Y-PATH intervention was developed in accordance with the present study findings; details of the intervention format are presented.

LIGHTING the PATH 2014 ANNUAL REPORT

Santee Cooper annually publishes a report with statistics, analysis, audit, leadership, and budget statements.

Assessing landscape functional connectivity in a forest carnivore using path selection functions

Context Understanding connectivity patterns in relation to habitat fragmentation is essential to landscape management. However, connectivity is often judged from expert opinion or species occurrence patterns, with very few studies considering the actual movements of individuals. Path selection functions provide a promising tool to infer functional connectivity from animal movement data, but its practical application remains scanty. Objectives We aimed to describe functional connectivity patterns in a forest carnivore using path-level analysis, and to explore how connectivity is affected by land cover patterns and road networks. Methods We radiotracked 22 common genets in a mixed forest-agricultural landscape of southern Portugal. We developed path selection functions discriminating between observed and random paths in relation to landscape variables. These functions were used together with land cover information to map conductance surfaces. Results Genets moved preferentially within forest patches and close to riparian habitats. Functional connectivity declined with increasing road density, but increased with the proximity of culverts, viaducts and bridges. Functional connectivity was favoured by large forest patches, and by the presence of riparian areas providing corridors within open agricultural land. Roads reduced connectivity by dissecting forest patches, but had less effect on riparian corridors due to the presence of crossing structures. Conclusions Genet movements were jointly affected by the spatial distribution of suitable habitats, and the presence of a road network dissecting such habitats and creating obstacles in areas otherwise permeable to animal movement. Overall, the study showed the value of path-level analysis to assess functional connectivity patterns in human-modified landscapes.