Implementation of the Spherical Trigonometry Algorithm in a Qibla Direction Application

2025-12-20T07:10:53Z

This research explores the implementation of a spherical trigonometry algorithm in the development of QiblatKita, a mobile-based Qibla direction application designed to address the need for accurate and accessible prayer direction tools for Muslims, especially in the context of global mobility and diverse geographical settings. Built using the Flutter framework to ensure cross-platform compatibility and near-native performance, the application integrates critical device sensors, including GPS, magnetometer, and accelerometer, to collect real-time positional and orientation data. The Agile Software Development Lifecycle (SDLC) was adopted to facilitate iterative refinement and responsiveness to user feedback. By applying the Haversine formula and Spherical Law of Cosines, the system calculates the azimuth angle between the user's location and the Kaaba with high precision, achieving an angular deviation of less than one degree in testing. The results confirm that QiblatKita offers a stable, user-friendly, and scientifically grounded solution, effectively merging spherical trigonometry with modern mobile technology to support religious practice in the digital era.

Hacia una moderna "republica de las ideas" via un nuevo ecosistema de comunicacion cientifica (Toward a modern "Republic of Ideas" via a new Ecosystem of Scientific Communication)

2025-12-04T11:15:53Z

The contemporary academic ecosystem, heir to the Enlightenment's "Republic of Letters," finds itself in a state of profound and unsustainable crisis. That order, based on the free flow of correspondence and the disinterested pursuit of knowledge, has been supplanted by a system teetering under the weight of its own contradictions. This work embarks on a fundamental redesign to articulate an innovative and coherent framework for scientific communication. To this end, four distinct but complementary schools of thought are synthesized: From Ordoliberalism, we take the rigor of designing an "economic constitution" that prevents the concentration of power and fosters fair competition. From Humanistic Economics, we extract the telos, or normative purpose (human flourishing and shared prosperity). From Digital Humanism, we derive the technological ethos, ensuring that the infrastructure serves human dignity. Finally, from Decentralized Science (DeSci), we take the set of architectural tools (smart contracts, DAOs, tokens) capable of building this new order from the ground up. The narrative arc is deliberate: Part 1 offers an anatomy of decay, using the Uddin demand as a scalpel to dissect the economic, institutional, and epistemic pathologies of the current system. Part 2 articulates the philosophical constitution of the new republic. Part 3 details the architectural blueprint and technological infrastructure of this new order. Part 4 subjects this design to rigorous stress tests to forge its resilience and antifragility. Part 5 charts a strategic roadmap for the transition, a plausible path to navigate from the status quo to full community sovereignty. Finally, Part 6 brings the book full circle, returning to the foundational vision. This is a call to action to build the New Republic of Ideas that the pursuit of truth deserves in the 21st century.

Drafting and Multi-Input Switching in Digital Dynamic Timing Simulation for Multi-Input Gates

2025-12-01T06:07:28Z

We present a prototype multi-input gate extension of the publicly available Involution Tool for accurate digital timing simulation and power analysis of integrated circuits introduced by Oehlinger et al. (Integration, 2021). Relying on discrete event simulation, the Involution Tool allows fast timing simulation of circuits made up of an arbitrary composition of supported gates, provides automatic random input stimulus generation, and supports parameter sweeping. It also enables a detailed comparison of the delay predictions obtained by different models, including pure and inertial delays as well as digitized SPICE-generated reference traces. Our extension added support for 2-input gates like NOR and NAND, by implementing novel analytic delay formulas obtained via a refined analysis of a recently proposed thresholded first-order hybrid model of such gates. The resulting formulas faithfully cover not only multi-input switching effects (also known as Charlie effects), but also the decay of short pulses (aka Drafting effects). Besides the fact that our analytic models not only allow the derivation of closed-form delay formulas for arbitrary compositions of such gates, they are also key for a strikingly simple procedure for model parametrization, i.e., for gate characterization, which only needs three characteristic delay values. Using the extended Involution Tool, we compare the delay and power predictions for some benchmarking circuits stimulated by randomly generated input traces. Overall, our results reveal considerably improved prediction accuracy compared to the original Involution Tool, without a noticeable performance penalty.

Fast Resource Management Algorithm for Passive Surveillance Systems

2025-11-24T14:35:38Z

Passive surveillance systems (PSS) detect and track objects that emit electromagnetic signals from hundreds of kilometers away. These systems have a limited number of receivers and can only observe a fraction of the frequencies of interest simultaneously. To improve its behavior, we propose the ResourceTune algorithm, which iteratively constructs optimized schedules to determine which frequencies each receiver should observe at a given time step. The algorithm's main component is the optimization of receiver configurations using a left-right heuristic combined with linear programming. Our approach is unique because, unlike others, we focus on optimizing available resources and observed frequencies, which was never done before. We experimentally compared the proposed algorithm with a greedy and the state-of-the-art method for construction of PSS schedules. In most of the considered scenarios, ResourceTune outperformed both algorithms, and in the most extreme case, its objective value was more than 2.7 times better than the values reached by other methods.

An Exterior-Embedding Neural Operator Framework for Preserving Conservation Laws

2025-11-20T17:29:19Z

Neural operators have demonstrated considerable effectiveness in accelerating the solution of time-dependent partial differential equations (PDEs) by directly learning governing physical laws from data. However, for PDEs governed by conservation laws(e.g., conservation of mass, energy, or matter), existing neural operators fail to satisfy conservation properties, which leads to degraded model performance and limited generalizability. Moreover, we observe that distinct PDE problems generally require different optimal neural network architectures. This finding underscores the inherent limitations of specialized models in generalizing across diverse problem domains. To address these limitations, we propose Exterior-Embedded Conservation Framework (ECF), a universal conserving framework that can be integrated with various data-driven neural operators to enforce conservation laws strictly in predictions. The framework consists of two key components: a conservation quantity encoder that extracts conserved quantities from input data, and a conservation quantity decoder that adjusts the neural operator's predictions using these quantities to ensure strict conservation compliance in the final output. Since our architecture enforces conservation laws, we theoretically prove that it enhances model performance. To validate the performance of our method, we conduct experiments on multiple conservation-law-constrained PDE scenarios, including adiabatic systems, shallow water equations, and the Allen-Cahn problem. These baselines demonstrate that our method effectively improves model accuracy while strictly enforcing conservation laws in the predictions.

Synthesis of mass-spring networks from high-level code descriptions

2025-11-16T17:57:42Z

Structural nonlinearity can be harnessed to program complex functionalities in robotic devices. However, it remains a challenge to design nonlinear systems that will accomplish a specific, desired task. The responses that we typically describe as intelligent -- such a robot navigating a maze -- require a large number of degrees of freedom and cannot be captured by traditional optimization objective functions. In this work, we explore a code-based synthesis approach to design mass-spring systems with embodied intelligence. The approach starts from a source code, written in a \emph{mechanical description language}, that details the system boundary, sensor and actuator locations, and desired behavior. A synthesizer software then automatically generates a mass-spring network that performs the described function from the source code description. We exemplify this methodology by designing mass-spring systems realizing a maze-navigating robot and a programmable lock. Remarkably, mechanical description languages can be combined with large-language models, to translate a natural-language description of a task into a functional device.

Expected by Whom? A Skill-Adjusted Expected Goals Model for NHL Shooters and Goaltenders

2025-11-15T20:29:13Z

This study outlines a light gradient boosted model aimed at predicting shot outcomes in the NHL. The model uses the NHL's spatiotemporal data to account for both the skill of shooters and goaltenders. This approach involves isolating and engineering features for different aspects of shooter and goaltender skill. These aspects include the overall skill, the locational skill, which is engineered using a shot binning technique previously outlined by Shuckers and Curro, and the situational skill, which is engineered using Gower distance. Three separate datasets were created based on the skill of the shooter and goaltender. For each, a baseline model was created in order to compare and contrast its performance with the skill-adjusted model. The results seen in this study show performance increases for the skill-adjusted model over the baseline model in log loss, brier scores, and area under the ROC curve. These performance increases have a high of 5\% and outperform previous works, which have attempted to account only for player skill. This highlights the importance of accounting for both player and goaltender skill, while also accounting for different aspects of their skill. In future works, a skill-adjusted expected goals model could benefit models interested in predicting other aspects of the game, such as scoring leaders or individual game outcomes.

Coherent Optical Quantum Computing-Aided Resource Optimization for Transportation Digital Twin Construction

2025-11-12T21:42:19Z

Constructing realistic digital twins for applications such as training autonomous driving models requires the efficient allocation of real-world data, yet data sovereignty regulations present a major challenge. To address this, we tackle the optimization problem faced by metaverse service providers (MSPs) responsible for allocating geographically constrained data resources. We propose a two-stage stochastic integer programming (SIP) model that incorporates reservation and on-demand planning, enabling MSPs to efficiently subscribe and allocate data from specific regions to clients for training their models on local road conditions. The SIP model is transformed into a quadratic unconstrained binary optimization (QUBO) formulation and implemented for the first time at a practical scale on a 550-qubit coherent Ising machine (CIM), representing an exploratory step toward future quantum computing paradigms. Our approach introduces an MSP-centric framework for compliant data collection under sovereignty constraints, a hybrid cost model combining deterministic fees with probabilistic penalties, and a practical implementation on quantum hardware. Experimental results demonstrate that CIM-based optimization finds high-quality solutions with millisecond-scale ($10^3$ second) computation times, significantly outperforming quantum-inspired solvers like PyQUBO. Although classical solvers such as Gurobi can achieve marginally better solution quality, CIM is orders of magnitude faster, establishing a practical paradigm for quantum-enhanced resource management.

Mapping the Future of Human Digital Twin Adoption in Job-Shop Industries: A Strategic Prioritization Framework

2025-11-10T09:04:02Z

Although Digital Twin is actively deployed in manufacturing, its human-centric counterpart - Human Digital Twin (HDT) is understudied, especially in job-shop production with high task variability and manual labor. HDT applications like ergonomic posture monitoring, fatigue prediction and health-based task assignment offer benefits to industries in emerging economies. However, poor digital maturity, lack of awareness and doubts about use-case applicability hinder adoption. This study provides a strategic prioritization framework to aid human-centric digital evolution in labor-intensive industries for guiding the selection of HDT applications delivering the highest value with the lowest implementation threshold. An integrated Fuzzy AHP-TOPSIS approach evaluates the use-cases based on criteria like implementation cost, technological maturity, scalability. These criteria and use-cases were identified based on input from a five-member expert panel and verified for consistency (CR < 0.1). Analysis shows posture monitoring and fatigue prediction as most influential and practicable, especially in semi-digital environments. Strengths include compliance with Industry 5.0 principles incorporating technology and human factors. Lack of field validation and subjective knowledge pose drawbacks. Future work should include simulation-based validation and pilot tests on real job-shop settings. Ultimately, the research offers a decision-support system helping industries balance innovativeness and practicability in early stage of HDT adoption.

The continuous accumulation of civilization core in the cycle of elements-creature, benefits and weapons

2025-11-02T19:00:42Z

The comprehensive strength of a country varies from strong to weak, divided into three condition: descending, periodicity destruction or rapidly rising, Exploring the differences can solve the development crisis. the most important things for a country are interests, weapons and creature, corresponding to money, technology and people. The ship industry has two attribute of financial benefits and technological weapons. Commercial ships can transport massive commodity and warships carry updating of massive technological weapons; But a new core: equity incentives have emerged, and it has helped the rapid development of the computer industry. This article uses comparative analysis and comparative historical analysis to observe the changes in the United States and China after the mutual circulation of two elements and the double circulation of three elements in history, such as the growth rates of GDP and patent applications. Then, it summarizes the changes brought by the core of civilization to the country.Through this article, it can be concluded that the core of civilization consists of ships, equity incentives, record-wisdom method; Through the circulation of new elements, a country can transform into civilizations with three cycles, achieving mutual circulation among the three and enhancing endogenous power; The core of civilization can enhance the stability of economic development, prevent economic crises, and achieve a more balanced civilization.

Reconfigurable Analog Computers

2025-10-29T20:37:06Z

The Achilles heel of classic analog computers was the complex, error prone, and time consuming process of programming. This typically involved manually patching hundreds or even thousands of connections between individual computing elements as well as setting many precision 10-turn potentiometers manually, often taking hours, or even days. Albeit being simplified by means of removable patch panels, switching from one program to another still was time consuming and thus expensive. With digital computers about to hit physical boundaries with respect to energy consumption, clock frequency, and integration density, analog computers have gained a lot of interest as co-processors for certain application areas in recent years. This requires some means for automatic reconfiguration of these systems under control of an attached digital computer. The following sections give an overview of classic and modern approaches towards such autopatch systems.

Disruption Management in Airline Operations: A Solver-based Approach using Time-Space Network Optimization

2025-10-29T16:20:10Z

This paper presents AIRS, a day-of-operations disruption-recovery system. AIRS.ACR models integrated aircraft-crew recovery on a Time-Space Network (TSN) and solves a mixed-integer linear program (MILP) that enforces rotation continuity, crew legality, maintenance windows, slot capacities, and multi-leg integrity via flow-balance constraints; disruption-aware search-space construction and warm starts control combinatorial growth. A companion module, AIRS.PaxR, performs rapid passenger re-accommodation using greedy assignment and lightweight evolutionary search while preserving aircraft-crew feasibility. Across realistic evaluations, AIRS meets operational decision windows and reduces recovery costs relative to manual or sequential methods, providing a scalable, extensible decision-support capability for operations control centers.

Design-Based Supply Chain Operations Research Model: Fostering Resilience And Sustainability In Modern Supply Chains

2025-10-22T14:44:26Z

In the rapidly evolving landscape of global supply chains, where digital disruptions and sustainability imperatives converge, traditional operational frameworks often struggle to adapt. This paper introduces the Design-Based Supply Chain Operations Research Model, a novel extension of the Design SCOR framework, which embeds operational research techniques to enhance decision-making, resilience, and environmental stewardship. Building on the foundational processes of DSCOR such as Design, Orchestrate, Plan, Order, Source, Transform, Fulfil, and Return DSCORM incorporates predictive analytics, simulation modelling, and optimization algorithms to address contemporary challenges like supply chain volatility and ESG (environmental, social, governance) compliance. Through a comprehensive literature synthesis and methodological approach involving case-based simulations, we explore DSCORM's hierarchical structure, performance metrics, implementation strategies, and digital modernization pathways. Results from simulated scenarios indicate potential efficiency gains of 15to25 percent, reduced carbon footprints by up to 20 percent, and improved agility in dynamic markets. Discussions delve into practical implications for industries like manufacturing and logistics, highlighting barriers such as data integration hurdles and the need for skilled workforces. By humanizing supply chain management emphasizing collaborative, adaptive strategies over rigid automation DSCORM positions itself as a blueprint for sustainable growth. Conclusions underscore its role in advancing digital transformation, with recommendations for future empirical validations in real-world settings

Optimization research for rescue hot standby EMU location and coverage area in a large-scale high-speed railway network

2025-10-21T08:38:48Z

With the extension of China high-speed railway network, the number of railway stations is increasing. The challenge that railway companies are facing is how to reasonably plan the location of hot standby Electric Multiple Units (EMU) and determine the rescue coverage area of each hot standby EMU. It is uneconomical to configure a hot standby EMU for each station. Railway companies want to use the minimum number of hot standby EMUs to provide rescue tasks for the entire high-speed railway network. In this paper, we develop the optimization models for hot standby EMU location and coverage area, respectively. The models aim to maximize the rescue distance and minimize the number of hot standby EMUs. Wha'ts more, in order to reduce the complexity of the models, a method of merging railway lines is used to transform the "point-to-network" to "point-to-point" rescue problem. Two numerical examples are carried to demonstrate the effectiveness of the models. The developed models are linear, and we use Python 3.7 to call Gurobi 9.5.2 to solve the models. In the results, we can find that the developed models can provide an optimal and reasonable plan for the location and coverage area of hot standby EMUs.

STM32-Based IoT Framework for Real-Time Environmental Monitoring and Wireless Node Synchronization

2025-10-20T18:51:39Z

The fast pace of technological growth has created a heightened need for intelligent, autonomous monitoring systems in a variety of fields, especially in environmental applications. This project shows the design process and implementation of a proper dual node (master-slave) IoT-based monitoring system using STM32F103C8T6 microcontrollers. The structure of the wireless monitoring system studies the environmental conditions in real-time and can measure parameters like temperature, humidity, soil moisture, raindrop detection and obstacle distance. The relay of information occurs between the primary master node (designated as the Green House) to the slave node (the Red House) employing the HC-05 Bluetooth module for information transmission. Each node displays the sensor data on OLED screens and a visual or auditory alert is triggered based on predetermined thresholds. A comparative analysis of STM32 (ARM Cortex-M3) and Arduino (AVR) is presented to justify the STM32 used in this work for greater processing power, less energy use, and better peripherals. Practical challenges in this project arise from power distribution and Bluetooth configuration limits. Future work will explore the transition of a Wi-Fi communication protocol and develop a mobile monitoring robot to enhance scalability of the system. Finally, this research shows that ARM based embedded systems can provide real-time environmental monitoring systems that are reliable and consume low power.