Miracle-dz/UniFAR-FTUs huggingface dataset:
Global stability analysis of complex fluids

The bifurcations and control of the flow in a planar X-junction are studied via linear stability analysis and direct numerical simulations. This study reveals the instability mechanisms in a symmetric channel junction and shows how these can be stabilized or destabilized by boundary modification. We observe two bifurcations as the Reynolds number increases. They both scale with the inlet speed of the two side channels and are almost independent of the inlet speed of the main channel. Equivalently, both bifurcations appear when the recirculation zones reach a critical length. A two-dimensional stationary global mode becomes unstable first, changing the flow from a steady symmetric state to a steady asymmetric state via a pitchfork bifurcation. The core of this instability, whether defined by the structural sensitivity or by the disturbance energy production, is at the edges of the recirculation bubbles, which are located symmetrically along the walls of the downstream channel. The energy analysis shows that the first bifurcation is due to a lift-up mechanism. We develop an adjustable control strategy for the first bifurcation with distributed suction or blowing at the walls. The linearly optimal wall-normal velocity distribution is computed through a sensitivity analysis and is shown to delay the first bifurcation from Re = 82.5 to Re = 150. This stabilizing effect arises because blowing at the walls weakens the wall-normal gradient of the streamwise velocity around the recirculation zone and hinders the lift-up. At the second bifurcation, a three-dimensional stationary global mode with a spanwise wavenumber of order unity becomes unstable around the asymmetric steady state. Nonlinear three-dimensional simulations at the second bifurcation display transition to a nonlinear cycle involving growth of a three-dimensional steady structure, time-periodic secondary instability and nonlinear breakdown restoring a two-dimensional flow. Finally, we show that the sensitivity to wall suction at the second bifurcation is as large as it is at the first bifurcation, providing a possible mechanism for destabilization.
A Framework for Designing and Testing the Digital Signal Processing unit of a Pulsar Based Navigation System

Navigation systems using pulsar signals have been of great interest ever since the discovery of pulsars in 1967 and various studies were carried out ever since to determine the feasibility of such systems. The successful working of a navigation system using pulsar would mean that spacecraft can maneuver through the deep space with very little help from earth. Another notable aspect of this navigation mechanism is that pulsar signals are available throughout the cosmos, so this sys- tem could be used for a wide range of orbital configurations such as Low Earth Orbits (LEO), Medium Earth Orbit (MEO), Geosta- tionary Orbits (GEO) and Interplanetary orbits enabling a universal navigation system. In this thesis, a software framework has been developed to replicate the environmental setup for a pulsar navigation system. This frame- work can be used to design a high level system design of the pulsar signal processing unit which will be a part of the navigation system. The framework can be used to generate pulsar templates as it can process the raw data from a receiver. The generated templates will be used in the final navigation system in the stages of correlation and detection. The software framework was developed using a very novel system design approach using SystemC-AMS, which consists of C++ classes that felicitate high level system design involving analog and mixed signals. The design approach, implementation, results and limitations of this framework is also presented. Based on the conclusions derived from the framework, a road-map is provided for future development.
The effect of parallel execution on multi-site computation offloading in mobile cloud computing

The demand for running complex applications on smart mobile devices is rapidly increasing. However, the limitations of resources are restricting the development of intensive applications on these devices. The restrictions can be overcome by offloading the computation of an application in the powerful cloud servers. The objective of the computation offloading is to offload the parts of an application to the cloud server to minimize the response time, energy consumption and monetary cost of the application. Unlike prior work in computation offloading, this work considers the effect of parallel execution—on different devices (external parallelism) and on the different cores of a single device (internal parallelism). This work models each device as a multi-server queueing station. It uses genetic algorithm to determine the near-optimal offloading allocation. The results show that considering the effect of parallel execution yields better pareto-optimal solution for the allocation problem compared to excluding parallelism.
Bipedal Robots : Modeling, Design and Walking Synthesis

Chapter 1. Bipedal Robots and Walking. 1.1. Introduction. 1.2. Biomechanical approach. 1.3. Human walking. 1.4. Bipedal walking robots: state of the art. 1.5. Different applications. 1.6. Conclusion. 1.7. Bibliography. Chapter 2. Kinematic and Dynamic Models for Walking. 2.1. Introduction. 2.2. The kinematics of walking. 2.3. The dynamics of walking. 2.4. Dynamic constraints. 2.5. Complementary feasibility constraints. 2.6. Conclusion. 2.7. Bibliography. Chapter 3. Design Tools for Making Bipedal Robots. 3.1. Introduction. 3.2. Study of influence of robot body masses. 3.3. Mechanical design: the architectures carried out. 3.4. Actuators. 3.5. Sensors. 3.6. Conclusion. 3.7. Appendix. 3.8. Bibliography. Chapter 4. Walking Pattern Generators. 4.1. Introduction. 4.2. Passive and quasi-passive dynamic walking. 4.3. Static balance walking. 4.4. Dynamic synthesis of walking. 4.5. Walking synthesis via parametric optimization. 4.6. Conclusion. 4.7. Bibliography. Chapter 5. Control 5.1. Introduction. 5.2. Hybrid systems and stability study. 5.3. Taking into account the unilateralism of the contact constraint. 5.4. Online modification of references. 5.5. Taking an under-actuated phase into account. 5.6. Taking the double support phase into account. 5.7. Intuitive and neural network methods. 5.8. Passive movements. 5.9. Conclusion. 5.10. Bibliography. Index.
JUDGING A SHIP'S LATERAL POSITION AND DIRECTION OF MOTION WITH SIMULATED VISUAL AIDS TO NAVIGATION

An appropriately designed parallax (two-station) range allows a mariner to accurately determine a range line--the correct path to steer a vessel--at great distances. Less expensive alternatives to parallax ranges are desirable, and many ideas for single-station ranges have been proposed, but mariners' abilities to establish range lines with them have not been measured. The present work quantified the sensitivity of three different range systems and determined how much information can be provided by a range in order to achieve a criterion performance level. These systems use (a) temporal characteristics, (b) spatial representation, or (c) color changes of the signal to represent changes in lateral position. Range systems were simulated either opto-mechanically or on a high-resolution computer display system. The ability of the mariner to determine both lateral position in a channel and direction of motion across a channel was assessed psychophysically for each range. The performance was compared with that obtained with a parallax range. This allowed quantification of performance and evaluation of the implications of replacing parallax ranges with the single-station ranges.
Control and Protection of VSC-based Multi-terminal DC Networks

The increasing global energy needs and the high integration of renewable energy generation have changed the requirements for the electricity grid. Countries are becoming unable to cover their energy demands with their own means and the need for power exchange between neighboring countries has increased. Consequently, power needs to be transmitted over longer distances and multi-terminal complex grids need to be created to facilitate the energy evolution. Contrary to the existing AC grids, HVDC is an appealing alternative for future grids. VSC technology has been the focus of recent HVDC research due to its inherent advantages. However, the use of fully-controllable switches becomes a disadvantage in case of DC contingencies. Thus far, opening the AC breakers has been the only way to clear DC faults, by completely de-energising the system and interrupting the power transfer with significant economic and societal consequences. Other protection concepts include multi-level converters with full-bridge submodules, which are able to limit the fault current; and control methods which identify the faulty lines. However, DC switch breakers are necessary to isolate the faulty line from the network, allowing normal operation to be resumed. The main contributions of this thesis are the comparison of different grid operating topologies under fault cases; and the impact analysis of different current limiting measures and control strategies on the developing DC fault currents. A four terminal grid in radial configuration was simulated using Matlab/Simulink®, and the natural fault response of the stations in most common HVDC grid topologies was studied. Additionally, two selective fault detection methods are proposed, which take into account the current direction on DC lines and the rate of rise of the fault currents. Four DC breaker technologies were simulated for all analysed grid topologies, and compared on the basis of the total DC fault interruption time and their influence on the system post-fault coordination and operation restoration. With the concepts analysed in this thesis, MTDC network system designers will be able to understand and tackle DC contingencies to facilitate an uninterruptible power flow between the different interconnected AC grids.
FIELD MONITORING AND EVALUATION FOR SIGN SUPPORT STRUCTURES SUBJECT TO DYNAMIC LOADS

Recent changes in the sign support specification have resulted in an increase in design wind pressures. As a result, some existing overhead bridge highway sign structures supported by two vertical trusses are no longer adequate, even though they have performed acceptably over the years. As a result of the new design provisions, a program was begun to reinforce the sign supports, which involved adding stiffeners to the vertical truss chords. An initial review of the, then, current design procedures, using estimated effective length factors, indicated that use of a more rigorous stability analysis could show that many of the existing vertical trusses had sufficient strength to meet the new wind loading without the expensive field modifications. This could be achieved through more accurate calculations of the effective lengths for the vertical truss chords. The study reported herein was undertaken to use the new stability software to study existing sign supports, review alternative approaches for strengthening the trusses when the improved stability analysis is not sufficient, and revise the overall design approach and design software used by the Connecticut Department of Transportation (ConnDOT). The results presented in this study can be used in both the review of existing sign structures and the design of new sign structures.
Prediction of Long-Term Durability of Vasco Da Gama Bridge in Lisbon

One aim of ongoing research in concrete engineering relates to long-term durability of cement-based materials and the evolution of concentration profiles of different aggressive ions in the pore solution and solid phase for a concrete placed in a given environment. This paper presents a predictive model that leads to a better understanding of this evolution. The model is applied to the concrete of the Vasco da Gama Bridge built in the Tagus Bay in Lisbon, Portugal. The service life for this bridge, defined as the initiation period of steel corrosion, is evaluated using the predictive model, taking into account a critical concentration of chloride at the level of the reinforcement. The coupling of numerical calculations and different experimental measurements and observations realized on cores of concrete drilled at various times allowed validation of numerical and realistic predictions on durability of the concrete with regard to the corrosion of reinforcements, the main risk area in this case.
Replication of Quantum Computing towards an Unconventional Environment using QuIDE

Current quantum computer simulation strategies are inefficient in simulation and their realizations are also failed to minimize those impacts of the exponential complexity for simulated quantum computations. We proposed a Quantum computer simulator model in this paper which is a coordinated Development Environment – QuIDE (Quantum Integrated Development Environment) to support the improvement of algorithm for future quantum computers. The development environment provides the circuit diagram of graphical building and flexibility of source code. Analyze the complexity of algorithms shows the performance results of the simulator and used for simulation as well as result of its deployment during simulation
STRUCTURING THE ORGANIZATION OF THE PROCESS OF CREATIVITY

UDC 371.854 DOI: 10.34671/SCH.SVB. 2019.0303. 0014 СТРУКТУРИРОВАНИЕ ОРГАНИЗАЦИИ ПРОЦЕССА СОТВОРЧЕСТВА © 2019 Пичугина Галина Антоновна, кандидат педагогических наук, доцент кафедры «Общая и неорганическая химия» Жилякова Дарья Анатольевна, студент Саратовский государственный университет им. Н. Г. Чернышевского (410026, Россия, Саратов, улица Астраханская, 83, e-mail: oliverbordin08@gmail.com) Аннотация. В связи с требованиями общества, главной задачей для учителя становится воспитание успешного в жизни человека, развитие его как личности. Исходя из этого, возникает необходимость в развитии личностных характеристик учащегося, таких, как творческое мышление, мотивация, познавательный интерес и т. д. Однако результаты анализа педагогического исследования показывают, что большинство учителей применяют в основном репродуктивные методы обучения, влияющие на усвоение теоретической базы и не способствующие развитию творческого мышления, нестандартных действий. В настоящее время в большей степени формирование личностных качеств ученика возможно в рамках педагогики сотворчества. Возникающее противоречие между необходимостью развития творческих способностей у учащихся и недостаточностью разработки методики организации процесса сотворчества на уроке в общеобразовательных учреждениях в большей степени направлено на развитие личностных качеств ученика, его умения находить выход из интеллектуальных затруднений и ситуации неопределённости. Исходя из этого, вопрос использования технологии сотворчества учителя и ученика в образовательном процессе является актуальным. Для решения сложившейся проблемы, нами был разработан методический подход к организации процесса сотворчества с целью развития творческого мышления учащихся. Ключевые слова: образование, педагогика сотворчества в обучении, формы организации процесса сотворчества на уроках химии, развитие личности, развитие творческого мышления учащихся на уроке, структурирование процесса сотворчества, этапы подготовки учителя.
Creating Value in the Digital Era: Achieving Success through Insight, Imagination, and Innovation

From the Publisher: In Creating Value in the Digital Era, Alf Chattell presents the principles of success in the emerging digital economy. New models of business are needed to provide fresh perspectives on creating and sustaining value in an economy founded on human talent. Using extensive illustrations from pioneering companies, this practical guide explains how to revolutionize your management strategies, create value for your customers, and grasp the new opportunities offered by the digital era.
Pillar: A Versatile and Extensible Lightweight Markup Language

There is a plethora of languages to write documentation and documents. From extremely powerful and complex such as LATEX to extremely simple such as Markdown. In this technical article we present Pillar a versatile and extensible lightweight markup language. Pillar's document model and open architecture support exporting from Pillar to various formats such as ASCIIDoc, HTML, LATEX and Markdown. Pillar is currently used to write books, documentation, websites and slide decks (through Beamer and DeckJS). Pillar specially shines when advanced features are needed such as multiple exports (e.g., a printed book and web pages), internal references (e.g., links to figures with captions) and content generation (e.g., to give an up-to-date code size of a documented software).
Object-Centric Replay-Based Conformance Checking: Unveiling Desire Lines and Local Deviations

Conformance checking methods diagnose to which extent a real system, whose behavior is recorded in an event log, complies with its specification model, e.g., a Petri net. Nonetheless, the majority of these methods focus on checking isolated process instances, neglecting interaction between instances in a system. Addressing this limitation, a series of object-centric approaches have been proposed in the field of process mining. These approaches are based on the holistic analysis of the multiple process instances interacting in a system, where each instance is centered on the handling of an object. Inspired by the object-centric paradigm, this paper presents a replay-based conformance checking method which uses a class of colored Petri nets (CPNs) -- a Petri net extension where tokens in the model carry values of some types (colors). Particularly, we consider conservative workflow CPNs which allow to describe the expected behavior of a system whose components are centered on the end-to-end processing of distinguishable objects. For describing a system’s real behavior, we consider event logs whose events have sets of objects involved in the execution of activities. For replay, we consider a jump strategy where tokens absent from input places of a transition to fire move from their current place of the model to the requested places. Token jumps allow to identify desire lines, i.e., object paths unforeseen in the specification. Also, we introduce local diagnostics based on the proportion of jumps in specific model components. The metrics allow to inform the severity of deviations in precise system parts. Finally, we report experiments supported by a prototype of our method. To show the practical value of our method, we employ a case study on trading systems, where orders from users are matched to trade.
Process evaluation of an evidence-based weight loss program for low-income, mid-life women implemented in local health departments: Application of the RE-AIM framework

Background: Fundamental to successfully translating evidence-based interventions to real life settings with diverse populations is achieving fidelity to the intervention within the given public health setting. Health departments may be key in addressing the obesity epidemic given their unique position to deliver obesity prevention services in community settings. We developed the Weight-Wise II Program from four evidenced-based interventions for implementation in local health departments. For this study, we conducted a process evaluation of the implementation of the Weight-Wise II Program, an intensive evidence-based behavioral weight loss program for low-income, mid-life women. Methods: The Weight-Wise II Program, a 16-week group-based weight loss program, was implemented in six local health departments. The RE-AIM framework (reach, effectiveness, adoption, implementation, and maintenance) served as a guide to conduct a comprehensive process evaluation. Process data were collected and analyzed using quantitative and qualitative methods. Results: The Weight-Wise II Program reached low-income and mid-life women, a high-risk population, and was effective in achieving modest weight loss. Attendance and self-monitoring were positively associated with weight loss. Interventionists delivered the program as intended and it was well received by participants. Planned adaptations enhanced program implementation by being responsive to participant and health department needs. Despite implementation by health department staff, the program was not routinely maintained three years post-intervention. Conclusion: Evidence-based weight loss interventions can be successfully implemented in local health departments. RE-AIM is a useful framework for systematically evaluating the process of implementation and impact of a behavioral weight loss intervention offered in public health settings. The addition of complementary implementation frameworks may help in identification of contextual factors influencing subsequent maintenance of evidence-based interventions in public health settings. Trial registration: ClinicalTrials.gov Identifier: NCT01141348. Registered 9 June 2010 – Retrospectively registered, https://clinicaltrials.gov/ct2/show/NCT01141348
Managing Workplace Stress: A Best Practice Blueprint

Series Foreword by Digby Jones. About the Authors. Introduction. What is Stress? How to Recognise Workplace Stress. The Cost of Stress. What Effect Does Stress Have on Performance and Productivity? Quantifying the Stress Problem. Gaining a Deeper Understanding -- Stress Surveys. Running a Stress Survey. Interpreting the Information. What Do I Do About the Issues? Levels of Intervention. Summary. Glossary. Appendix.
Comprehensive Analysis of Reinforcement Learning Methods and Parameters for Adaptive Traffic Signal Control

Adaptive traffic signal control is a promising technique to alleviate traffic congestion. This paper focuses on the development of an adaptive traffic signal control system using Reinforcement Learning (RL) as one of the efficient approaches to solve such stochastic closed loop optimal control problem. A generic RL control engine is developed and applied to a multi-phase traffic signal at an isolated intersection in Downtown Toronto in a simulation environment. Paramics, a microsimulation simulation platform, is used to train and evaluate the adaptive traffic control system. This paper investigates the following dimensions of the control problem: (1) RL learning method, (2) traffic state representation, (3) action selection method, (4) traffic signal phasing scheme, (5) reward definition, and (6) variability of flow arrivals to the intersection. The RL controller is benchmarked against optimized pretimed control under all the tested cases. The RL agent achieves 48% less delay compared to optimized pretimed control.