Task swapping networks in distributed systems

In this paper we propose task swapping networks for task reassignments by using task swappings in distributed systems. Some classes of task reassignments are achieved by using iterative local task swappings between software agents in distributed systems. We use group-theoretic methods to find a minimum-length sequence of adjacent task swappings needed from a source task assignment to a target task assignment in a task swapping network of several well-known topologies.Comment: This is a preprint of a paper whose final and definite form is published in: Int. J. Comput. Math. 90 (2013), 2221-2243 (DOI: 10.1080/00207160.2013.772985

Reducing work-related Musculoskeletal Disorders (MSDs) through design: Views of ergonomics and design practitioners

This is the accepted manuscript version of the article. The definitive published version is available at: http://dx.doi.org/10.3233/WOR-152126BACKGROUND: Work-related Musculoskeletal Disorders (MSDs) affect the well-being of workers. Unfortunately, user requirements for design to reduce workplace risk factors for MSDs are not always effectively communicated to designers creating a mismatch between the user requirements and what is ultimately produced. OBJECTIVE: To understand the views of practitioners of design and ergonomics regarding tools for participatory design and features they would like to see in such tools. METHODS: An online questionnaire survey was conducted with a cohort of practitioners of ergonomics and design (n=32). In-depth interviews were then conducted with a subset of these practitioners (n=8). To facilitate discussion, a prototype integrated design tool was developed and demonstrated to practitioners using a verbalized walkthrough approach. RESULTS: According to the results of the questionnaire survey, the majority (70%) believed an integrated approach to participatory design would help reduce work-related MSDs and suggested ways to achieve this, for example, through sharing design information. The interviews showed the majority (n=7) valued being provided with guidance on design activities and ways to manage and present information. CONCLUSION: It is believed that an integrated approach to design in order to help reduce work-related MSDs is highly important and a provision to evaluate design solutions would be desirable for practitioners of design and ergonomics

TESS Delivers Five New Hot Giant Planets Orbiting Bright Stars from the Full-frame Images

We present the discovery and characterization of five hot and warm Jupiters - TOI-628 b (TIC 281408474; HD 288842), TOI-640 b (TIC 147977348), TOI-1333 b (TIC 395171208, BD+47 3521A), TOI-1478 b (TIC 409794137), and TOI-1601 b (TIC 139375960) - based on data from NASA's Transiting Exoplanet Survey Satellite (TESS). The five planets were identified from the full-frame images and were confirmed through a series of photometric and spectroscopic follow-up observations by the TESS Follow-up Observing Program Working Group. The planets are all Jovian size (R P = 1.01-1.77 R J) and have masses that range from 0.85 to 6.33 M J. The host stars of these systems have F and G spectral types (5595 ≤ T eff ≤ 6460 K) and are all relatively bright (9.5 1.7 R J, possibly a result of its host star's evolution) and resides on an orbit with a period longer than 5 days. TOI-628 b is the most massive, hot Jupiter discovered to date by TESS with a measured mass of 6.31-0.30+0.28 M J and a statistically significant, nonzero orbital eccentricity of e = 0.074-0.022+0.021. This planet would not have had enough time to circularize through tidal forces from our analysis, suggesting that it might be remnant eccentricity from its migration. The longest-period planet in this sample, TOI-1478 b (P = 10.18 days), is a warm Jupiter in a circular orbit around a near-solar analog. NASA's TESS mission is continuing to increase the sample of well-characterized hot and warm Jupiters, complementing its primary mission goals

A Hybrid Heuristic Algorithm for HW-SW Partitioning Within Timed Automata

Hardware/Software (HW-SW) partitioning is a critical problem in co-design of embedded systems. This paper focuses on the synchronous system model, and formalizes the partitioning problem using timed automata (TA), which captures the key elements of the partitioning problem. Based on the TA model, we propose a hybrid heuristic algorithm to obtain near-optimal solutions effectively and efficiently. The experiments conducted show that our approach can deal with large applications with hundreds of nodes in task graph.Computer Science, Artificial IntelligenceComputer Science, Interdisciplinary ApplicationsSCI(E)EICPCI-S(ISTP)

An Optimal Approach to Hardware/software Partitioning for Synchronous Model

Computer aided hardware/software partitioning is one of the key challenges in hardware/software co-design. This paper describes a new approach to hardware/software partitioning for synchronous communication model. We transform the partitioning into a reachability problem of timed automata. By means of an optimal reachability algorithm, an optimal solution can be obtained in terms of limited resources in hardware. To relax the initial condition of the partitioning for optimization, two algorithms are designed to explore the dependency relations among processes in the initial specification. Moreover, we propose a scheduling algorithm to improve the synchronous communication e#ciency further after partitioning stage. Some experiments are conducted with model checker UPPAAL to show our approach is both e#ective and e#cient. Pu Geguang is a fellow at UNU/IIST on leave from the School of Mathematical of Bejing University, China, where he is a Ph.D candidate. His research interest includes programming theory, codesign techniques for real-time systems, object-oriented technology. Email: [email protected] Wang Yi is a professor at Uppsala University, Sweden. His research interests are mainly in methods and tools for the design, verification and implementation of embedded and real time systems. Email: [email protected] Dang van Hung is a research fellow of UNU/IIST, on leave of absence from the Institute of Information Technology, Hanoi, Vietnam. His research interests include formal techniques of programming, concurrent and distributed systems, real-time systems. Email: [email protected] He Jifeng is a senior research-fellow of UNU/IIST. He is also a professor of computer science at the Software Engineering Institute of East China Normal University. His research interests include t..

In Situ Signature of Cyclotron Resonant Heating in the Solar Wind

The dissipation of magnetized turbulence is an important paradigm for describing heating and energy transfer in astrophysical environments such as the solar corona and wind; however, the specific collisionless processes behind dissipation and heating remain relatively unconstrained by measurements. Remote sensing observations have suggested the presence of strong temperature anisotropy in the solar corona consistent with cyclotron resonant heating. In the solar wind, in situ magnetic field measurements reveal the presence of cyclotron waves, while measured ion velocity distribution functions have hinted at the active presence of cyclotron resonance. Here, we present Parker Solar Probe observations that connect the presence of ion-cyclotron waves directly to signatures of resonant damping in observed proton-velocity distributions using the framework of quasilinear theory. We show that the quasilinear evolution of the observed distribution functions should absorb the observed cyclotron wave population with a heating rate of 10-14 W/m3, indicating significant heating of the solar wind. © 2022 American Physical Society.Immediate accessThis item from the UA Faculty Publications collection is made available by the University of Arizona with support from the University of Arizona Libraries. If you have questions, please contact us at [email protected]