System Constraints Research Articles

Application of quadruple Beltrami state on Saturnian dusty plasma

This investigation explores the potential formation of a relaxed equilibrium state, specifically the quadruple Beltrami state, in a three-component dusty plasma consisting of electrons, ions and negatively charged dust particles. This equilibrium state is derived by employing momentum-balanced equations along with Ampere's law. The quadruple Beltrami state is a composite of four Beltrami states, each associated with four distinct eigenvalues. Using the variational principle, we obtained the same relaxed state based on the system's constraints, which include magnetofluid energy, and the helicity of electrons, ions and dust particles. The unified flow is also derived. Dynamo action is investigated in two configurations: a rectangular geometry and a rectangular geometry with an internal conductor. Small-scale turbulent dynamo behaviour is observed in the former, while large-scale turbulent dynamo effects are noted in the latter. The magnitude of the magnetic field is found to be greater in the configuration with an internal conductor. Additionally, flow profiles are plotted as functions of Beltrami parameters and density variations of plasma species. This study contributes to the understanding of relaxation theory and the underlying physics of systems with an internal conductor, such as Saturn (planetary rings around a magnetosphere) and Jupiter magnetosphere, Uranus, Neptune, etc.

Analysis and assessment of multi-GNSS inter-system bias (ISB) and its benefit on real-time precise point positioning

Abstract To meet the high demand for convergence speed in real-time precise point positioning (RTPPP), this paper comprehensively considers both satellite clock offset services and the PPP user perspective, deriving the inter-system bias (ISB) in detail. Using the precise satellite clock offset products from Wuhan University along with self-computed products, we analyze the datum issues related to satellite clock offsets/ISB, taking into account the effects of daily boundary changes, and propose a reliable ISB product workflow. We examine the statistical characteristics of ISB for different receiver types, highlighting their potential to enhance RTPPP performance as prior constraints. Experimental results indicate that after datum unification, the discontinuity of ISB caused by daily boundary issues can be avoided; the ISB values for the same type of receivers are closely aligned, and the statistical characteristics of ISB remain stable. When utilizing ISB products as prior constraints in the Global Positioning System + BeiDou Navigation Satellite System dual-system RTPPP, the root mean square and convergence time in the East-Up-North direction improve by 18%, 10%, 2%, 8%, 3%, and 1% compared to the original PPP, respectively. For the Global Positioning System + Galileo navigation satellite system, the corresponding improvements are 28%, 26%, 17%, 39%, 31%, and 17%.

No quantum solutions to linear constraint systems in odd dimension from Pauli group and diagonal Cliffords

No quantum solutions to linear constraint systems in odd dimension from Pauli group and diagonal Cliffords

Guaranteed Bounds on Posterior Distributions of Discrete Probabilistic Programs with Loops

We study the problem of bounding the posterior distribution of discrete probabilistic programs with unbounded support, loops, and conditioning. Loops pose the main difficulty in this setting: even if exact Bayesian inference is possible, the state of the art requires user-provided loop invariant templates. By contrast, we aim to find guaranteed bounds , which sandwich the true distribution. They are fully automated, applicable to more programs and provide more provable guarantees than approximate sampling-based inference. Since lower bounds can be obtained by unrolling loops, the main challenge is upper bounds, and we attack it in two ways. The first is called residual mass semantics , which is a flat bound based on the residual probability mass of a loop. The approach is simple, efficient, and has provable guarantees. The main novelty of our work is the second approach, called geometric bound semantics . It operates on a novel family of distributions, called eventually geometric distributions (EGDs), and can bound the distribution of loops with a new form of loop invariants called contraction invariants . The invariant synthesis problem reduces to a system of polynomial inequality constraints, which is a decidable problem with automated solvers. If a solution exists, it yields an exponentially decreasing bound on the whole distribution, and can therefore bound moments and tail asymptotics as well, not just probabilities as in the first approach. Both semantics enjoy desirable theoretical properties. In particular, we prove soundness and convergence, i.e. the bounds converge to the exact posterior as loops are unrolled further. We also investigate sufficient and necessary conditions for the existence of geometric bounds. On the practical side, we describe Diabolo , a fully-automated implementation of both semantics, and evaluate them on a variety of benchmarks from the literature, demonstrating their general applicability and the utility of the resulting bounds.

Adaptive Friction Compensation for Tracking Control With Position Error Constraints of Servo Control Systems: A Switched System Point of View

ABSTRACTThis paper will investigate the adaptive backstepping friction compensator for a class of servo control systems from a switched system point of view. Firstly, by introducing a convergence‐invariant unbounded transformation, the position error bounds are incorporated into the original system. Secondly, an integral term is introduced to increase the robustness and the ‐backstepping technique is utilized to deal with the sign‐indefinite term. Then, an adaptive controller with a Coulomb friction estimator is obtained and the generated closed‐loop error system has the upper block‐triangle structure, which can be treated as a pair of cascade‐connected systems. Further, the common Lyapunov function (CLF) is obtained. The objects of asymptotical tracking with position error constraints and identification of the Coulomb friction coefficient can be realized. By similar methods, we propose adaptive friction compensators for the viscous friction model and the Coulomb & viscous model. Finally, the simulation results demonstrate the advantages of the proposed methods.

Analyzing market plans for enhanced energy hub efficiency: strategies for integrating multiple energy sources and collaboration

ABSTRACT In this study, we introduce the Archimedes optimization algorithm as a key component of our methodology. The Archimedes algorithm, renowned for its robustness and efficiency, is specifically tailored to handle complex optimization problems encountered in energy management systems. By leveraging its unique capabilities, we ensure precise solutions and rapid convergence even under challenging solution conditions characterized by uncertain energy demand forecasts. The proposed algorithm operates by iteratively refining solutions based on probabilistic load predictions and system constraints. It employs sophisticated optimization techniques to navigate the multi-dimensional solution space efficiently, thereby identifying optimal strategies for energy resource allocation within EHs. By incorporating the Archimedes algorithm into our framework, we can effectively capture the dynamic interactions between various energy carriers and adapt to changing market conditions in real-time. Furthermore, the Archimedes algorithm’s ability to provide near-optimal solutions without the need for exhaustive computational resources makes it particularly well-suited for practical implementation in energy management systems. Its efficiency ensures that decision-makers can obtain actionable insights and make informed decisions quickly, thereby enhancing the operational efficiency and economic viability of EHs. The proposed optimization algorithm outperforms alternatives like Archimedes optimization algorithm (APO) and genetic algorithm (GA). On average, it requires 25% fewer iterations for convergence. Moreover, it achieves a 90% convergence rate within just 50 iterations, compared to 70 iterations for APO and 60 iterations for GA, based on 30 distinct runs.

Research on Design Methods for Immersive Games Based on Virtual Reality

Virtual Reality (VR) technology has rapidly advanced, offering immersive gaming experiences previously unattainable. However, creating truly immersive VR games remains a challenge despite improved hardware. This study investigates effective VR game design with a focus on environment design, interaction mechanics, and narrative and user interface (UI) design. The paper highlights that detailed environments enhance immersion but must balance visual quality with performance to avoid discomfort. It emphasizes the necessity of natural interaction mechanisms while considering system constraints and explores the importance of combining narrative depth with intuitive UI design. The findings suggest that successful VR game design requires a multifaceted approach that integrates detailed environmental elements, natural interactions, and a cohesive narrative. Additionally, the study underscores the significance of audio design and its role in enhancing realism and immersion. These design strategies are essential for achieving high levels of immersion and meeting the growing demand for engaging VR experiences. The research also points out the importance of testing and iterative refinement to ensure that the final product is both functional and enjoyable for users.

MATHEMATICAL MODEL AND OPTIMIZATION ALGORITHM ACCORDING TO THE CRITERIA OF MINIMUM CONTACT STRESS FOR INVOLUTE SPUR GEARS WITH INCREASED CONTACT RATIO

Reducing the mass and dimensions of involute spur gears is an actual task of modern mechanical engineering. One of the perspective ways to solve it is the use of gearing with an increased working tooth depth and profile contact ratio εα ≥ 2. The study is devoted to the development of optimal design methods for such gears. Optimality criteria is formulated as follows: the contact stresses in the pitch point must take a minimum value when all constructive, geometric, kinematic, and technological constraints are met, first, when the profile contact ratio εα ≥ 2 is ensured. Variables planning are defined. These are addendum coefficients of the basic racks tooth for pinion and wheel h*a1, h*a2; profile angle of the basic rack α; addendum modification coefficient of the pinion x1. Formed a system of constraints for the variables planning: the main functional constraint of the minimum value of the profile contact ratio: εα ≥ 2; constraint for the addendum coefficients of the basic racks tooth for pinion and wheel h*a1, h*a2; constraint for profile angle of the basic rack α; constraint for addendum modification coefficients x1, x2; absence of the cutter interference for tooth dedendum; absence of the sharpening for tooth addendum; absence of the mesh interference; ensuring the bending strength of pinion and wheel teeth. A method for solving the problem of optimal design is chosen. The method of probing the space of design parameters was chosen from all the variety. The points of the LPτ-sequence are used as test points. The method allows you to operate with a significant number of parameters – up to 51, provides a sufficiently large number of evenly distributed test points – up to 220. The algorithm for optimal design of gear has been developed. The main stages of the algorithm are as follows: setting input data (numerical constraints on design variables, gear parameters and its load); generation of LPτ-sequence for variables planning with simultaneous consideration of their numerical constraints; checking of functional constraints; additional verification calculations (if necessary) of the gearing contact strength; formation of an array of possible solutions; searching of the best solution variant (the test point corresponding to the minimum value of the objective function) by sorting the array.

Design study of a camera system for Earth observation as a payload on the small satellite ROMEO

AbstractThe importance of a safe food supply has increased due to climate change and its consequences. The number and severity of floods, droughts and plant diseases are rising which causes massive crop failures. Early and precise detection of plant diseases can lower crop failures as it enables early containment. Moreover, it promotes the targeted use of pesticides to protect the biodiversity. Satellite sensors improve the detection of plant diseases by enabling frequent and extensive vegetation observation. Hence, we present the design of a camera system for Earth observation on small satellites with a focus on the detection of plant diseases. The disease detection of sugar beets was chosen as the primary objective due to their importance for the German agriculture. This work is divided into two parts. First, the spectra of sugar beets are analyzed to determine spectral channels for a camera system. Second, a camera system is defined to capture spectral information within the previously defined wavelength ranges. The spectra of healthy and diseased sugar beets were measured in fields for agricultural research in Central Germany using a portable spectroradiometer. The investigated diseases are Cercospora leaf spot and virus yellows, which are among the most important pathogens worldwide. Based on the measured data, the so-called Normalized Difference Sugar Beet Index (NDSBI) is defined, which is a custom index to detect these diseases. We can prove that this index enables more precise detection of these sugar beet diseases than existing indices like the Normalized Difference Vegetation Index (NDVI). The camera system is designed as a payload for the small satellite Research and Observation in Medium Earth Orbit (ROMEO), which is being developed at the University of Stuttgart’s (US) Institute of Space Systems (IRS). The proposed design fulfills the high radiation requirements as well as the system constraints of mass and volume. Three different options for the camera system are developed: two designs for the development at the US, one with lens optics and one with mirror optics, and an adjusted commercial camera system. All defined camera systems permit the measurement of the NDSBI to precisely detect sugar beet diseases.

New Advanced Strategy for Controlling the Charging and Discharging of a Storage Unit in a Microgrid Using a Finite Control Set Predictive Model

Storage units are critical in microgrids to ensure stable operation, making optimal and robust control during charging and discharging essential. In this work, we propose a novel finite control set model predictive control (FCS-MPC) strategy to manage the charging and discharging of a battery in a DC microgrid powered by renewable energy. Unlike traditional Proportional-Integral (PI) controllers, the FCS-MPC approach optimizes control actions in real-time, considering system constraints and providing enhanced dynamic response. This work demonstrates the superiority of FCS-MPC in controlling a bi-directional DC/DC converter under various test scenarios, ensuring continuous power supply to a 15W DC load. Simulations in Matlab/Simulink validate the proposal, showing that the FCS-MPC delivers higher efficiency and better performance compared to the PI controller.

Validity of Wearable Inertial Sensors for Gait Analysis: A Systematic Review.

Background/Objectives: Gait analysis, traditionally performed with lab-based optical motion capture systems, offers high accuracy but is costly and impractical for real-world use. Wearable technologies, especially inertial measurement units (IMUs), enable portable and accessible assessments outside the lab, though challenges with sensor placement, signal selection, and algorithm design can affect accuracy. This systematic review aims to bridge the benchmarking gap between IMU-based and traditional systems, validating the use of wearable inertial systems for gait analysis. Methods: This review examined English studies between 2012 and 2023, retrieved from the Scopus database, comparing wearable sensors to optical motion capture systems, focusing on IMU body placement, gait parameters, and validation metrics. Exclusion criteria for the search included conference papers, reviews, unavailable papers, studies without wearable inertial sensors for gait analysis, and those not involving agreement studies or optical motion capture systems. Results: From an initial pool of 479 articles, 32 were selected for full-text screening. Among them, the lower body resulted in the most common site for single IMU placement (in 22 studies), while the most frequently used multi-sensor configuration involved IMU positioning on the lower back, shanks, feet, and thighs (10 studies). Regarding gait parameters, 11 studies out of the 32 included studies focused on spatial-temporal parameters, 12 on joint kinematics, 2 on gait events, and the remainder on a combination of parameters. In terms of validation metrics, 24 studies employed correlation coefficients as the primary measure, while 7 studies used a combination of error metrics, correlation coefficients, and Bland-Altman analysis. Validation metrics revealed that IMUs exhibited good to moderate agreement with optical motion capture systems for kinematic measures. In contrast, spatiotemporal parameters demonstrated greater variability, with agreement ranging from moderate to poor. Conclusions: This review highlighted the transformative potential of wearable IMUs in advancing gait analysis beyond the constraints of traditional laboratory-based systems.

Unravelling the Constraints Associated with Groundnut Marketing: A Comprehensive Review

This review identifies and analyzes constraints in groundnut marketing systems, particularly for smallholder farmers in developing regions. It proposes strategies to enhance efficiency, profitability, and sustainability, thereby improving farmers' livelihoods. A comprehensive literature review of academic journals, policy reports, and case studies identifies key constraints in groundnut marketing. The review utilizes a structured conceptual framework that encompasses supply chain structure, market dynamics, institutional and policy environments, socioeconomic factors and draws on theoretical foundations such as Transaction Cost Economics, Value Chain Analysis, Market Structure-Conduct-Performance Paradigm, Rural Livelihoods Framework, and Supply Chain Risk Management. The study also applied economic and supply chain management theories to groundnut marketing, emphasizing the relevance of Transaction Cost Economics, Value Chain Analysis, and the Market Structure-Conduct-Performance Paradigm. This theoretical framework can be adapted for other agricultural commodities facing similar constraints. The review identifies critical constraints in groundnut marketing, including fluctuating market prices, inadequate storage facilities, limited access to credit, lack of market information, and high transaction costs. These are exacerbated by poor infrastructure, fragmented supply chains, and socioeconomic barriers, indicating the need for holistic, context-specific interventions. The review suggests practical interventions including investment in infrastructure development, enhancing market information accessibility through digital platforms, fostering farmer cooperatives, and implementing price stabilization mechanisms. These measures can empower smallholder farmers, improve market access, and increase profitability. Policymakers, development agencies, and private sector stakeholders can leverage these insights to formulate targeted support programs for groundnut farmers.

Models and methods for forming service packages for solving of the problem of designing services in information systems of providers

Today, in the telecommunications industry, service is one of the fundamental concepts. Building a service architecture is a key stage in the service life cycle. Information systems of telecommunications providers are designed, implemented and supported by IT companies based on the End-to-End model. This requires the IT company to solve a number of complex problems. In these conditions, building a service architecture, implementing and providing a service are divided into subproblems. Solutions to subproblems must be integrated to determine the coordinated activities of both the IT company and the provider. In this case, it is necessary to take into account the goals of IT companies, providers and their customers in such a way that it is beneficial to all parties. One of such subproblems is the formation of service packages that the IT company offers to providers. The article proposes formal models for the subproblem of forming service packages that allow taking into account the interests of the IT company and providers. These are multi-criteria nonlinear mathematical programming models. To solve the subproblem of forming service packages, a two-stage algorithm and a modified version of the guided genetic algorithm are proposed. The use of these methods allows us to take into account the interests of the IT company and providers. Also, such important factors that affect the formation of packages as the base price of the service, service dependency, discount system, resource and other constraints of the IT company and providers are taken into account. The two-stage algorithm at the first stage uses classical algorithms for solving the knapsack problem, and at the second stage implements a compromise scheme to improve the solution. The second of the proposed methods uses three types of tools in combination. The first tool controls the convergence of the genetic algorithm. The second tool determines the choice of the best solutions taking into account the features of the multi-criteria problem. The third tool allows to obtain the best solutions to the optimization problem with the simultaneous choice of a discount strategy. Experimental studies have confirmed the effectiveness of the proposed methods. Their ability to form the basis of the technology of forming service packages as a component of the platform for supporting the life cycle of services is also confirmed.

An Integrated Analysis of Technical and Economic Problems to Support Power System Constraints with a Highly Dependence of Thermal Power Plants

In a centralized wholesale power system market scenario, the transmission and distribution constraints limit dispatch and require additional generation to support an integrated area known as Security Generation. This one must be covered in each area, and its cost transferred to the final users. The security generation cost gets higher when operation implicates the use of thermal power plants whose price equation depends on international fuels costs. This paper examines the consequences of a high reliance on thermal power plants. It focuses on scheduled reserves affecting electricity unit costs and the potential for constraints to lead to long-term consequences. The paper analyzes the security generation behavior based on reports and uses a real scenario to support simulations and decisions, evidencing monthly cost and an estimated CO2 emission. Results show the direct cost-saving potential of investing in renewable projects and technology. The paper can allow to replicate the analysis in comparable areas and regions with similar challenges.

Exploring activist perspectives on Indigenous-settler solidarity in Toronto’s food sovereignty movement

While food movements have increasingly taken up the framework of Indigenous food sovereignty in their work, settler food activists continue to define food systems on stolen lands. In this article, we explore whether and how food activists in Toronto are building solidarity with Indigenous peoples and movements in their work. Drawing on semi-structured interviews with food activists and content analysis of Toronto food organizations, we identify three main themes: (un)learning, relationship-building, and systemic constraints and visions for the future. Our findings reveal that many settler food activists are engaging in (un)learning processes, building decolonizing relationships, and supporting greater Indigenous leadership at their organizations. However, participants’ solidarity-building efforts are in the minority among food organizations more broadly, and there is significant work to be done to prioritize Indigenous struggles for land and sovereignty in food movement work. Further, NGO structure and function, corporatized and donor-centric funding models, and settler colonialism more broadly, significantly constrain the capacities of food organizations to align with Indigenous goals and visions. We argue that settler food activists have a responsibility to more deeply consider the role of food activism in upholding and challenging settler colonialism, to let go of settler claims to authority over food and knowledge systems on stolen lands, and to advocate for deeper systemic changes that redistribute power and resources to Indigenous peoples and Indigenous-led initiatives.

Identifying Best Practices for Improving the Evaluation and Management of Stroke in Rural Lower-Resourced Settings: A Scientific Statement From the American Heart Association.

Considerable variation exists in the delivery of acute stroke care and stroke outcomes across settings and population groups. This is attributable in part to variation in resources among emergency departments in the United States, most notably in rural regions. Structural constraints of the US health care system, including the geographic distribution of where patients live relative to the location of hospitals and certified stroke centers, will continue to mean that many patients with stroke initially present to community emergency departments that have fewer stroke-related resources. These sites also tend to serve populations in rural areas who experience disparities in care and outcomes. Reducing health disparities related to stroke for populations in rural areas requires investment in these more remote community settings as the anchor of the stroke chain of survival for their respective communities. This scientific statement performs a critical appraisal examining challenges in rural stroke care related to access and variation in stroke-related capabilities for the acute phase of care to inform strategies and propose solutions. The scientific statement considers the value of expansion of Acute Stroke Ready Hospital and Primary Stroke Center certification in rural areas, the role of telehealth and improved transfer processes, as well as increased engagement and mentorship from larger, comprehensive centers to the rural hospitals to which they are connected. Multistakeholder collaboration and policy interventions need to be directed to enhance public awareness, impart staff training, grow infrastructure, enhance access to clinical expertise, streamline data management, and implement quality assessment and improvement programs.

Summary of Research Status on Seismic Performance of Multi-tower Cable-stayed Bridge

As one of the important forms of modern bridge structure, the research on the seismic performance of multi-tower cable-stayed bridge is of great significance to the safety and durability of bridge engineering. In this paper, the research status of seismic performance of multi-tower cable-stayed bridges is reviewed from three aspects: experimental research, numerical analysis and theoretical research. The methods of improving seismic performance through structural optimization and the technical means of improving seismic performance through constraint system are discussed. The purpose of this paper is to summarize the existing research results, identify the existing problems, and propose that future research should focus on the application of new damping equipment and the discussion of hybrid control system, so as to provide reference for the seismic design of multi-tower cable-stayed bridge.

Glycemic Control With Layperson-Delivered Telephone Calls vs Usual Care for Patients With Diabetes: A Randomized Clinical Trial.

Diabetes is associated with emotional distress and poor mental health, especially for individuals with low income, hindering patients' ability to manage their condition. The health care system's workforce constraints limit its capacity to holistically support patients. To assess the effectiveness of layperson-delivered empathetic engagement over the telephone in helping improve glycemic management for patients with diabetes. This parallel-arm randomized clinical trial with blinded outcome assessment was conducted from February 12, 2022, to April 15, 2023, with final measurements on November 18, 2023, among 260 patients with uncontrolled diabetes from a federally qualified health center in Austin, Texas, engaging telephonically from home. Patients assigned to the intervention group received empathy-oriented telephone calls by community-hired laypeople for 6 months, while those assigned to the control group received usual care. Patients were stratified by baseline score (≥5 vs <5) on the depressive symptom scale of the 9-item Patient Health Questionnaire (PHQ-9). The primary outcome was hemoglobin A1c level at baseline, 3 months, and 6 months, assessed for interaction between time and trial arm. Secondary outcomes were self-perceptions of managing diabetes, diabetes-related behaviors and distress, and mental health symptoms (measured via surveys). Analysis was performed on an intention-to-treat basis. Of 260 participants (mean [SD] age, 49.5 [10.1] years; 163 of 259 women [62.9%]; 176 of 203 [86.7%] with annual income <$40 000) enrolled, 6 withdrew. At 6 months, 204 of 254 (80.3%; intervention, 109 of 127 [85.8%] and control, 95 of 127 [74.8%]) returned for measurements. Participants in the intervention group had statistically significant mean (SD) decreases in hemoglobin A1c level at 6 months (from 10.0% [1.9%] to 9.3% [2.0%]) compared with those in the control group (from 9.8% [1.6%] to 9.7% [2.3%]) (P = .004). The within-person change in hemoglobin A1c level was -0.7% (95% CI, -1.0% to -0.4%) for the intervention group and 0.02% (95% CI, -0.4% to 0.4%) for the control group. For the subgroup with a PHQ-9 score of 5 or more at baseline (38.1% [99 of 260]), the within-person change in hemoglobin A1c was -1.1% (95% CI, -1.8% to -0.5%) for the intervention group and 0.1% (95% CI, -0.7% to 0.8%; P = .004) for the control group. For the subgroup with a PHQ-9 score less than 5, the within-person change in hemoglobin A1c was -0.4% (95% CI, -0.8% to -0.1%) for the intervention group and -0.02% (95% CI, -0.5% to 0.5%; P = .21) for the control group. At 6 months, 91.7% of the participants (99 of 108) responded that the program was very or extremely beneficial. In this randomized clinical trial of telephone-based layperson-delivered empathetic engagement, patients with diabetes and low income achieved clinically meaningful improvements in glycemic control. With workforce constraints, layperson-delivered programs for diabetes show promise. ClinicalTrials.gov Identifier: NCT05173675.

Dynamic Bidirectional Associations Between Global Positioning System Mobility and Ecological Momentary Assessment of Mood Symptoms in Mood Disorders: Prospective Cohort Study.

Although significant research has explored the digital phenotype in mood disorders, the time-lagged and bidirectional relationship between mood and global positioning system (GPS) mobility remains relatively unexplored. Leveraging the widespread use of smartphones, we examined correlations between mood and behavioral changes, which could inform future scalable interventions and personalized mental health monitoring. This study aims to investigate the bidirectional time lag relationships between passive GPS data and active ecological momentary assessment (EMA) data collected via smartphone app technology. Between March 2020 and May 2022, we recruited 45 participants (mean age 42.3 years, SD 12.1 years) who were followed up for 6 months: 35 individuals diagnosed with mood disorders referred by psychiatrists and 10 healthy control participants. This resulted in a total of 5248 person-days of data. Over 6 months, we collected 2 types of smartphone data: passive data on movement patterns with nearly 100,000 GPS data points per individual and active data through EMA capturing daily mood levels, including fatigue, irritability, depressed, and manic mood. Our study is limited to Android users due to operating system constraints. Our findings revealed a significant negative correlation between normalized entropy (r=-0.353; P=.04) and weekly depressed mood as well as between location variance (r=-0.364; P=.03) and depressed mood. In participants with mood disorders, we observed bidirectional time-lagged associations. Specifically, changes in homestay were positively associated with fatigue (β=0.256; P=.03), depressed mood (β=0.235; P=.01), and irritability (β=0.149; P=.03). A decrease in location variance was significantly associated with higher depressed mood the following day (β=-0.015; P=.009). Conversely, an increase in depressed mood was significantly associated with reduced location variance the next day (β=-0.869; P<.001). These findings suggest a dynamic interplay between mood symptoms and mobility patterns. This study demonstrates the potential of utilizing active EMA data to assess mood levels and passive GPS data to analyze mobility behaviors, with implications for managing disease progression in patients. Monitoring location variance and homestay can provide valuable insights into this process. The daily use of smartphones has proven to be a convenient method for monitoring patients' conditions. Interventions should prioritize promoting physical movement while discouraging prolonged periods of staying at home.

Fast embedded tube-based MPC with scaled-symmetric ADMM for high-order systems: Application to load transportation tasks with UAVs.

One of the most significant advantages of Model Predictive Control (MPC) is its ability to explicitly incorporate system constraints and actuator specifications. However, a major drawback is the computational cost associated with calculating the optimal control sequence at each sampling time, posing a substantial challenge for real-time implementation in high-order systems with fast dynamics. Additionally, uncertainties are inherently present in dynamic systems, requiring a robust formulation that accounts for these uncertainties. Additionally, uncertainties are inherently present in dynamic systems, requiring a robust formulation that accounts for these uncertainties. The tube-based MPC is one of the robustification formulations that can tackle these challenges. We propose a comprehensive methodology for designing a tube-based MPC framework specifically tailored for high-order Linear Parameter-Varying (LPV) systems with fast dynamics, along with its real-time implementation in embedded systems. Our innovations include the use of zonotopes for the offline computation of reachable sets, significantly reducing computational costs, and the development of new Linear Matrix Inequality (LMI) conditions that ensure the existence of nominal control and state sets. Additionally, we introduce a novel scaled-symmetric ADMM-based optimization algorithm, which diverges from conventional quadratic programming structures and integrates acceleration strategies and normalization techniques for enhanced numerical robustness and rapid convergence. The methodology is validated on a tiltrotor UAV with a suspended load, demonstrating its effectiveness in a trajectory tracking problem. Experimental results using a controller-in-the-loop (CIL) framework with a high-fidelity 3D simulator confirm its suitability for real-time control in practical scenarios.