Causal Attribution of Coastal Water Clarity Degradation to Nickel Processing Expansion at the Indonesia Morowali Industrial Park, Sulawesi
Sandy Hardian Susanto Herho, Alfita Puspa Handayani, Iwan Pramesti Anwar
et al.
Indonesia's nickel ore export ban has driven rapid expansion of smelting and hydrometallurgical processing capacity at the Indonesia Morowali Industrial Park (IMIP), now the world's largest integrated nickel processing complex, on the coast of Central Sulawesi. Whether this industrialization has degraded the adjacent marine environment remains unquantified. We apply Bayesian structural time-series (BSTS) causal inference to a multi-decadal, multi-sensor satellite ocean color record of the diffuse attenuation coefficient at 490 nm, $K_d(490)$, to test for a causal link between IMIP expansion and nearshore turbidity change. A consensus structural breakpoint, a significant posterior causal effect estimated against a Banda Sea counterfactual, and a distribution-free placebo rank test collectively establish that coastal water clarity deteriorated after the transition from initial nickel pig iron production to hyper-expansion of high-pressure acid leaching facilities for battery-grade nickel. Satellite-derived land cover analysis independently corroborates this timing, showing substantial built-area growth and concurrent tree cover loss within the IMIP footprint. The resulting euphotic zone shoaling occurs in oligotrophic waters supporting high marine biodiversity, where even moderate optical degradation may impair coral photosynthesis and compress depth-dependent reef habitat. These findings quantify a marine environmental cost absent from Indonesia's mineral downstreaming policy discourse and demonstrate a transferable, satellite-based quasi-experimental framework for causal impact assessment at coastal industrial sites in data-limited tropical settings.
en
physics.ao-ph, physics.soc-ph
Distributionally Robust Joint Planning of Coastal Distribution Network and PV-Storage-EV Stations
Wenhao Gao, Yongheng Wang, Wei Chen
et al.
The rapid integration of renewable energy resources, such as tidal and photovoltaic (PV) power, coupled with the growing deployment of electric vehicle (EV) charging infrastructure, necessitates coordinated planning for coastal urban distribution networks (DN). This paper presents a tri-layer distributionally robust optimization framework to jointly optimize the sitting of PV-storage-EV stations (PSES) and the configuration of coastal DNs, addressing uncertainties related to power load, PV generation, and EV charging demands. At the upper layer, optimal PSES siting and network topology decisions are made to minimize total investment and operational costs. The middle-layer formulation tackles worst case uncertainty scenarios via the optimal power flow model, utilizing ambiguity sets to capture correlated uncertainties. To handle non-convexities introduced by binary variables for energy storage systems, we propose and rigorously prove the exactness of a novel relaxation approach. At the lower layer, considering the dynamic pricing driven by tidal energy fluctuations, operational decisions-including electricity procurement and carbon emissions are optimized. An inexact column-and-constraint generation (i-CCG) algorithm is developed for efficient problem-solving. Numerical results from a realistic 47-node coastal DN in China illustrate that the proposed method effectively reduces costs and ensures robust, low-carbon planning under substantial uncertainties.
Towards Emotionally Intelligent Software Engineers: Understanding Students' Self-Perceptions After a Cooperative Learning Experience
Allysson Allex Araújo, Marcos Kalinowski, Matheus Paixao
et al.
[Background] Emotional Intelligence (EI) can impact Software Engineering (SE) outcomes through improved team communication, conflict resolution, and stress management. SE workers face increasing pressure to develop both technical and interpersonal skills, as modern software development emphasizes collaborative work and complex team interactions. Despite EI's documented importance in professional practice, SE education continues to prioritize technical knowledge over emotional and social competencies. [Objective] This paper analyzes SE students' self-perceptions of their EI after a two-month cooperative learning project, using Mayer and Salovey's four-ability model to examine how students handle emotions in collaborative development. [Method] We conducted a case study with 29 SE students organized into four squads within a project-based learning course, collecting data through questionnaires and focus groups that included brainwriting and sharing circles, then analyzing the data using descriptive statistics and open coding. [Results] Students demonstrated stronger abilities in managing their own emotions compared to interpreting others' emotional states. Despite limited formal EI training, they developed informal strategies for emotional management, including structured planning and peer support networks, which they connected to improved productivity and conflict resolution. [Conclusion] This study shows how SE students perceive EI in a collaborative learning context and provides evidence-based insights into the important role of emotional competencies in SE education.
A Root-Zone Soil Salinity Observatory for Coastal Southwest Bangladesh
Showmitra Kumar Sarkar, Mafrid Haydar, Rhyme Rubayet Rudra
et al.
The research assesses soil salinity in the southwest coastal region of Bangladesh, collecting a total of 162 topsoil samples between March 1 and March 9, 2024, and processing them following the standard operating procedure for soil electrical conductivity (soil/water, 1:5). Electrical conductivity (EC) measurements obtained using a HI-6321 advanced conductivity benchtop meter were analyzed and visualized using bubble density mapping and the Empirical Bayesian Kriging interpolation method. The findings indicate that soil salinity in the study area ranges from 0.05 to 9.09 mS/cm, with the highest levels observed near Debhata and Koyra. A gradient of increasing soil salinity is clearly evident from the northern to southern regions. This dataset provides a critical resource for soil salinity-related research in the region, offering valuable insights to support decision-makers in understanding and mitigating the impacts of soil salinity in Bangladesh's coastal areas.
Coastal Kelvin Mode and the Fractional Quantum Hall Edge
Gustavo M. Monteiro, Sriram Ganeshan
This letter explores the relationship between the coastal Kelvin mode observed in the shallow water model of ocean waves and the edge mode of a fractional quantum Hall (FQH) state. The hydrodynamic equations for the FQH state can be written as a generalized form of the shallow water equations with Coriolis force, where the density replaces the height of the fluid column and the magnetic field plays the role of the Coriolis parameter. In the FQH case, the potential vorticity associated with the shallow water model becomes a constant. In contrast to the shallow water equations, the hydro system for the FQH state contains higher derivatives of velocity which enforces the no-stress boundary condition in addition to the no-penetration condition at the hard wall or coastal boundary. For these boundary conditions, the linearized edge dynamics has two chiral edge modes propagating in the same direction: a non-dispersing Kelvin mode and a dispersing chiral boson mode. We investigate the nature of these modes in the presence of a tangent electric field. Our results show that the Kelvin mode cannot be excited by this field, and as a result, it cannot transport charge along the edge. However, the dispersive chiral boson mode is compatible with the edge dynamics of the FQH state and satisfies the anomaly equation.
en
cond-mat.str-el, physics.flu-dyn
Reservoir Prediction by Machine Learning Methods on The Well Data and Seismic Attributes for Complex Coastal Conditions
Dmitry Ivlev
The aim of this work was to predict the probability of the spread of rock formations with hydrocarbon-collecting properties in the studied coastal area using a stack of machine learning algorithms and data augmentation and modification methods. This research develops the direction of machine learning where training is conducted on well data and spatial attributes. Methods for overcoming the limitations of this direction are shown, two methods - augmentation and modification of the well data sample: Spindle and Revers-Calibration. Considering the difficulties for seismic data interpretation in coastal area conditions, the proposed approach is a tool which is able to work with the whole totality of geological and geophysical data, extract the knowledge from 159-dimensional space spatial attributes and make facies spreading prediction with acceptable quality - F1 measure for reservoir class 0.798 on average for evaluation of "drilling" results of different geological conditions. It was shown that consistent application of the proposed augmentation methods in the implemented technology stack improves the quality of reservoir prediction by a factor of 1.56 relative to the original dataset.
PHYFU: Fuzzing Modern Physics Simulation Engines
Dongwei Xiao, Zhibo Liu, Shuai Wang
A physical simulation engine (PSE) is a software system that simulates physical environments and objects. Modern PSEs feature both forward and backward simulations, where the forward phase predicts the behavior of a simulated system, and the backward phase provides gradients (guidance) for learning-based control tasks, such as a robot arm learning to fetch items. This way, modern PSEs show promising support for learning-based control methods. To date, PSEs have been largely used in various high-profitable, commercial applications, such as games, movies, virtual reality (VR), and robotics. Despite the prosperous development and usage of PSEs by academia and industrial manufacturers such as Google and NVIDIA, PSEs may produce incorrect simulations, which may lead to negative results, from poor user experience in entertainment to accidents in robotics-involved manufacturing and surgical operations. This paper introduces PHYFU, a fuzzing framework designed specifically for PSEs to uncover errors in both forward and backward simulation phases. PHYFU mutates initial states and asserts if the PSE under test behaves consistently with respect to basic Physics Laws (PLs). We further use feedback-driven test input scheduling to guide and accelerate the search for errors. Our study of four PSEs covers mainstream industrial vendors (Google and NVIDIA) as well as academic products. We successfully uncover over 5K error-triggering inputs that generate incorrect simulation results spanning across the whole software stack of PSEs.
What Pakistani Computer Science and Software Engineering Students Think about Software Testing?
Luiz Fernando Capretz, Abdul Rehman Gilal
Software testing is one of the crucial supporting processes of the software life cycle. Unfortunately for the software industry, the role is stigmatized, partly due to misperception and partly due to treatment of the role. The present study aims to analyze the situation to explore what restricts computer science and software engineering students from taking up a testing career in the software industry. To conduct this study, we surveyed 88 Pakistani students taking computer science or software engineering degrees. The results showed that the present study supports previous work into the unpopularity of testing compared to other software life cycle roles. Furthermore, the findings of our study showed that the role of tester has become a social role, with as many social connotations as technical implications.
A mathematical model of marine mucilage, the case of the liga on the Basque coast
Charles Pierre, Guy Vallet
In this paper we are interested in modeling the production of mucus by diatoms under the constraint of a nutrient limitation. The initial questioning comes from the observation of the so-called ''liga'' on the Aquitaine coast. The biological origin of the phenomenon is presented and discussed based on the existing litterature.A mathematical model is proposed and its theoretical properties are analized: well-posedness and differentiability with respect to the model parameters.Finally, numerical experiments are provided, investigating the possibility of parameter identification for the model using chemostat-type experiments.
Just Enough, Just in Time, Just for "Me": Fundamental Principles for Engineering IoT-native Software Systems
Zheng Li, Rajiv Ranjan
By seamlessly integrating everyday objects and by changing the way we interact with our surroundings, Internet of Things (IoT) is drastically improving the life quality of households and enhancing the productivity of businesses. Given the unique IoT characteristics, IoT applications have emerged distinctively from the mainstream application types. Inspired by the outlook of a programmable world, we further foresee an IoT-native trend in designing, developing, deploying, and maintaining software systems. However, although the challenges of IoT software projects are frequently discussed, addressing those challenges are still in the "crossing the chasm" period. By participating in a few various IoT projects, we gradually distilled three fundamental principles for engineering IoT-native software systems, such as just enough, just in time, and just for "me". These principles target the challenges that are associated with the most typical features of IoT environments, ranging from resource limits to technology heterogeneity of IoT devices. We expect this research to trigger dedicated efforts, techniques and theories for the topic IoT-native software engineering.
Requirement Engineering Challenges for AI-intense Systems Development
Hans-Martin Heyn, Eric Knauss, Amna Pir Muhammad
et al.
Availability of powerful computation and communication technology as well as advances in artificial intelligence enable a new generation of complex, AI-intense systems and applications. Such systems and applications promise exciting improvements on a societal level, yet they also bring with them new challenges for their development. In this paper we argue that significant challenges relate to defining and ensuring behaviour and quality attributes of such systems and applications. We specifically derive four challenge areas from relevant use cases of complex, AI-intense systems and applications related to industry, transportation, and home automation: understanding, determining, and specifying (i) contextual definitions and requirements, (ii) data attributes and requirements, (iii) performance definition and monitoring, and (iv) the impact of human factors on system acceptance and success. Solving these challenges will imply process support that integrates new requirements engineering methods into development approaches for complex, AI-intense systems and applications. We present these challenges in detail and propose a research roadmap.
A Survey of Requirement Engineering Process in Android Application Development
Ali Nawaz, Attique Ur Rehman, Wasi Haider Butt
Mobile application development is the most rapidly growing industry in the world. Nowadays, people totally depend on smart phones for performing daily routine tasks which results in tremendous rises in the expectation of human being from IT industry which increase the requirements of human being. In order to tackle the uncontrolled changes in the requirements, IT experts performed some proper requirement engineering process (REP). Therefore, in this paper we are performing industry survey by asking them several questions related to the REP from android developer in order to understand the REP used in the IT industry. Results we extract from this study is satisfactory used in order to make REP more effective.
Multioutput Gaussian Processes with Functional Data: A Study on Coastal Flood Hazard Assessment
A. F. López-Lopera, D. Idier, J. Rohmer
et al.
Surrogate models are often used to replace costly-to-evaluate complex coastal codes to achieve substantial computational savings. In many of those models, the hydrometeorological forcing conditions (inputs) or flood events (outputs) are conveniently parameterized by scalar representations, neglecting that the inputs are actually time series and that floods propagate spatially inland. Both facts are crucial in flood prediction for complex coastal systems. Our aim is to establish a surrogate model that accounts for time-varying inputs and provides information on spatially varying inland flooding. We introduce a multioutput Gaussian process model based on a separable kernel that correlates both functional inputs and spatial locations. Efficient implementations consider tensor-structured computations or sparse-variational approximations. In several experiments, we demonstrate the versatility of the model for both learning maps and inferring unobserved maps, numerically showing the convergence of predictions as the number of learning maps increases. We assess our framework in a coastal flood prediction application. Predictions are obtained with small error values within computation time highly compatible with short-term forecast requirements (on the order of minutes compared to the days required by hydrodynamic simulators). We conclude that our framework is a promising approach for forecast and early-warning systems.
Maximal Steered Coherence Protection by Quantum Reservoir Engineering
Yusef Maleki, Bahram Ahansaz
We show that the effects of decoherence on quantum steering ellipsoids can be controlled by a specific reservoir manipulating, in both Markovian and non-Markovian realms. Therefore, the so-called maximal steered coherence could be protected through reservoir engineering implemented by coupling auxiliary qubits to the reservoir.
A Hybrid Approach Combining Control Theory and AI for Engineering Self-Adaptive Systems
Ricardo Diniz Caldas, Arthur Rodrigues, Eric Bernd Gil
et al.
Control theoretical techniques have been successfully adopted as methods for self-adaptive systems design to provide formal guarantees about the effectiveness and robustness of adaptation mechanisms. However, the computational effort to obtain guarantees poses severe constraints when it comes to dynamic adaptation. In order to solve these limitations, in this paper, we propose a hybrid approach combining software engineering, control theory, and AI to design for software self-adaptation. Our solution proposes a hierarchical and dynamic system manager with performance tuning. Due to the gap between high-level requirements specification and the internal knob behavior of the managed system, a hierarchically composed components architecture seek the separation of concerns towards a dynamic solution. Therefore, a two-layered adaptive manager was designed to satisfy the software requirements with parameters optimization through regression analysis and evolutionary meta-heuristic. The optimization relies on the collection and processing of performance, effectiveness, and robustness metrics w.r.t control theoretical metrics at the offline and online stages. We evaluate our work with a prototype of the Body Sensor Network (BSN) in the healthcare domain, which is largely used as a demonstrator by the community. The BSN was implemented under the Robot Operating System (ROS) architecture, and concerns about the system dependability are taken as adaptation goals. Our results reinforce the necessity of performing well on such a safety-critical domain and contribute with substantial evidence on how hybrid approaches that combine control and AI-based techniques for engineering self-adaptive systems can provide effective adaptation.
Investigating Wave Energy Potential in Southern Coasts of the Caspian Sea Using Grey Wolf Optimizer Algorithm
Erfan Amini, Seyed Taghi Omid Naeeni, Pedram Ghaderi
et al.
There is a significantly accelerating trend in the application of the marine wave energy converters in recent years. As a result, it is imperative to adopt a suitable point for implementing these systems. Besides, the Caspian Sea, as one of the most important marine renewable energy sources in Asia, is capable of supplying the coastal areas with a large amount of energy. Therefore, areas around nine ports in the southern coasts of the Caspian Sea were selected to measure their wave energy potential. Initially, the amount of energy on these points was measured using the irregular energy theory. It was observed that the wave power was higher in the southwestern areas (within the Kiashahr coast and Anzali port) than the southeastern areas. A new approach was developed to compare these points and measure their fitnesses in supplying the maximum energy using the Grey Wolf optimizer (GWO) algorithm and time history analysis. In this method, the optimal parameters were first extracted from the algorithm for assessing the points within the southern areas of the Caspian Sea. These values were regarded as the assessment indices. Then, the fitness of each point was obtained using the correlation function and the norm vector to present the most optimal position with maximum wave energy exploitation potential. This new approach was validated with analytical data, and its accuracy in predicting and comparing the wave power on different points was approved. Finally, by a side-by-side comparison of the parameters affecting the wave energy, the optimum range of significant wave height and wave energy period was achieved.
Using Experience Sampling to link Software Repositories with Emotions and Work Well-Being
Miikka Kuutila, Mika Mäntylä, Maëlick Claes
et al.
Background: The experience sampling method studies everyday experiences of humans in natural environments. In psychology it has been used to study the relationships between work well-being and productivity. To our best knowledge, daily experience sampling has not been previously used in software engineering. Aims: Our aim is to identify links between software developers self-reported affective states and work well-being and measures obtained from software repositories. Method: We perform an experience sampling study in a software company for a period of eight months, we use logistic regression to link the well-being measures with development activities, i.e. number of commits and chat messages. Results: We find several significant relationships between questionnaire variables and software repository variables. To our surprise relationship between hurry and number of commits is negative, meaning more perceived hurry is linked with a smaller number of commits. We also find a negative relationship between social interaction and hindered work well-being. Conclusions: The negative link between commits and hurry is counter-intuitive and goes against previous lab-experiments in software engineering that show increased efficiency under time pressure. Overall, our work is an initial step in using experience sampling in software engineering and validating theories on work well-being from other fields in the domain of software engineering.
Characterizing the deep uncertainties surrounding coastal flood hazard projections: A case study for Norfolk, VA
Kelsey L. Ruckert, Vivek Srikrishnan, Klaus Keller
Coastal planners and decision makers design risk management strategies based on hazard projections. However, projections can differ drastically. What causes this divergence and which projection(s) should a decision maker adopt to create plans and adaptation efforts for improving coastal resiliency? Using Norfolk, Virginia, as a case study, we start to address these questions by characterizing and quantifying the drivers of differences between published sea-level rise and storm surge projections, and how these differences can impact efforts to improve coastal resilience. We find that assumptions about the complex behavior of ice sheets are the primary drivers of flood hazard diversity. Adopting a single hazard projection neglects key uncertainties and can lead to overconfident projections and downwards biased hazard estimates. These results highlight key avenues to improve the usefulness of hazard projections to inform decision-making such as (i) representing complex ice sheet behavior, (ii) covering decision-relevant timescales beyond this century, (iii) resolving storm surges with a low chance of occurring (e.g., a 0.2% chance per year), (iv) considering that storm surge projections may deviate from the historical record, and (v) communicating the considerable deep uncertainty.
Physics-Driven Regularization of Deep Neural Networks for Enhanced Engineering Design and Analysis
Mohammad Amin Nabian, Hadi Meidani
In this paper, we introduce a physics-driven regularization method for training of deep neural networks (DNNs) for use in engineering design and analysis problems. In particular, we focus on prediction of a physical system, for which in addition to training data, partial or complete information on a set of governing laws is also available. These laws often appear in the form of differential equations, derived from first principles, empirically-validated laws, or domain expertise, and are usually neglected in data-driven prediction of engineering systems. We propose a training approach that utilizes the known governing laws and regularizes data-driven DNN models by penalizing divergence from those laws. The first two numerical examples are synthetic examples, where we show that in constructing a DNN model that best fits the measurements from a physical system, the use of our proposed regularization results in DNNs that are more interpretable with smaller generalization errors, compared to other common regularization methods. The last two examples concern metamodeling for a random Burgers' system and for aerodynamic analysis of passenger vehicles, where we demonstrate that the proposed regularization provides superior generalization accuracy compared to other common alternatives.
The Innovative Behaviour of Software Engineers: Findings from a Pilot Case Study
Cleviton Monteiro, Fabio Queda Bueno da Silva, Luiz Fernando Capretz
Context: In the workplace, some individuals engage in the voluntary and intentional generation, promotion, and realization of new ideas for the benefit of individual performance, group effectiveness, or the organization. The literature classifies this phenomenon as innovative behaviour. Despite its importance to the development of innovation, innovative behaviour has not been fully investigated in software engineering. Objective: To understand the factors that support or inhibit innovative behaviour in software engineering practice. Method: We conducted a pilot case study in a Canadian software company using interviews and observations as data collection techniques. Using qualitative analysis, we identified relevant factors and relationships not addressed by studies from other areas. Results: Individual innovative behaviour is influenced by individual attitudes and also by situational factors such as relationships in the workplace, organizational characteristics, and project type. We built a model to express the interacting effects of these factors. Conclusions: Innovative behaviour is dependent on individual and contextual factors. Our results contribute to relevant impacts on research and practice, and to topics that deserve further study.