This work presents an innovative application of optimal control theory to the strategic scheduling of battery storage in the day-ahead electricity market, with a focus on enhancing profitability while factoring in battery degradation. The study incorporates in the optimisation framework the cost of battery capacity degradation, the effects of capacity degradation and internal resistance degradation into dynamics. We employ a continuous-time representation of the dynamics, in contrast with many other studies that use a discrete-time approximation with rather coarse intervals. We adopt an equivalent circuit model coupled with empirical degradation parameters to simulate a battery cell’s behaviour and degradation mechanisms with good support from experimental data. Utilising direct collocation methods with mesh refinement allows for precise numerical solutions to the complex, nonlinear dynamics involved. Through a detailed case study of Belgium’s day-ahead electricity market, we determine the optimal charging and discharging schedules under varying objectives: maximizing net revenues, profits considering capacity degradation, and profits considering both capacity degradation and internal resistance increase due to degradation. The results demonstrate the viability of our approach and underscore the significance of integrating degradation costs into the market strategy for battery operators, alongside its effects on the battery’s dynamic behaviour. Our methodology extends previous work by offering a more comprehensive model that empirically captures the intricacies of battery degradation, including a fine and adaptive time domain representation, focusing on the day-ahead market, and utilising accurate direct methods for optimal control. The paper concludes with insights into the potential of optimal control applications in energy markets and suggestions for future research avenues.

This paper addresses the input coupling problem for the shape memory alloy (SMA) actuated parallel platform with completely unknown nonlinear dynamics. The problem means that in a parallel platform with multiple SMA actuators acting together, the displacement of one of the actuators will simultaneously affect the remaining actuators to change. Due to the coupling problem and nonlinear characteristics of the SMA actuators, it is not easy to control the platform to achieve bi-directional swing with completely unknown nonlinear dynamics. Therefore, a model-free adaptive sliding mode control method is proposed to improve the control accuracy of the complex motion of the platform, avoiding the complex modeling process of the SMA actuated parallel platform. Based on the model-free adaptive control (MFAC) theory, a multiple input and multiple output (MIMO) dynamic linearized mathematical model of the parallel platform is established using the online input and output data of the system. Then, a sliding mode controller is designed based on the dynamic model. A rigorous theoretical analysis proves that the proposed model-free adaptive sliding mode controller is able to stably control the SMA actuated parallel platform, and its tracking error is uniformly ultimately bounded (UUB). Finally, experiments are conducted on the established SMA actuated parallel platform. The results show that the proposed model-free controller is feasible and effective, and can control the system well to achieve the complex motion of bi-directional swing.

Chipless radio frequency identification (RFID) technology is expected to replace barcode technology due to its ability to read in non-line-of-sight (NLOS) situations, long reading range, and low cost. Currently, there is extensive research being conducted on frequency-coded (FC) co-polarized radar cross-section (RCS)-based tags, which are widely used. However, detecting co-polarized chipless RFID tags in cluttered environments is still a challenge, as confirmed by measuring two co-polarized tags in front of a perfect metal reflector (30.5cm×22.5cm). To address this challenge, a realistic mathematical model for a chipless RFID system has been developed that takes into account the characteristics of the reader and the tag, as well as reflections from cluttered objects. This model has been simulated and verified with measurement results by placing a single flat metal reflector behind two co-polarized one-bit designs: a dipole array tag and a square patch tag. The results showed that the interfering signal completely overlaps the ID of the co-polarized tag, severely limiting its detectability. To solve this issue, the proposed solution involves reading the tag in cross-polarization mode by etching a diagonal slot in the square patch tag. This proposed tag provides high immunity to the environment and can be detected in front of both dielectric and metallic objects.

The engagement of the arresting hook with the arresting cable is a critical maneuver that is essential to the safe operation of aircraft landing on aircraft carrier. A comprehensive understanding of the engagement process dynamics is necessary to optimize landing performance and ensure the safety and efficiency of carrier operations. In this paper, an efficient and accurate simulation and analysis method is presented for studying the arresting hook engaging arresting cable process. The Finite Element Method and Multibody Dynamics (FEM-MBD) approach is employed. By establishing a rigid-flexible coupling model encompassing the aircraft frame, arresting hook, carrier deck and arresting gear system, the dynamic model for the engagement process is obtained. The model incorporates multiple coordinate systems to effectively capture the relative motion between the rigid and flexible components, enabling a thorough understanding of the dynamics characteristics. The analysis conducted in this paper takes into account various factors, including the material properties of the components, the characteristics of the arresting gear system, and the state of the aircraft during the engagement process. The analysis method is verified by comparing the simulation results with experiments of arresting hook rebound obtained from reference. Finally, simulations are performed to analyze the engagement process under different touchdown points and rolling angle of aircraft. The simulation results provide valuable insights into the distribution of stresses during the arresting hook and cable engagement, the center of gravity variations, as well as the response of the tire touch and rollover cable under specific scenarios. The proposed rigid-flexible coupling arresting dynamics model in this paper enables effective analysis of the dynamic behavior during arresting hook engaging arresting cable. The results obtained from this analysis offer valuable insights into the performance of the engagement process, which can be used to improve the design of carrier-based aircraft and techniques for carrier landing.

Reliable quantification of pulmonary arterial pressure is essential in the diagnostic and prognostic assessment of a range of cardiovascular pathologies including rheumatic heart disease, yet an accurate and routinely available method for its quantification remains elusive. This work proposes an approach to infer pulmonary arterial pressure based on scientific machine learning techniques and non-invasive, clinically available measurements. A 0-D multicompartment model of the cardiovascular system was optimized using several optimization algorithms, subject to forward-mode automatic differentiation. Measurement data were synthesized from known parameters to represent the healthy, mitral regurgitant, aortic stenosed and combined valvular disease situations with and without pulmonary hypertension. Eleven model parameters were selected for optimization based on 95 % explained variation in mean pulmonary arterial pressure. A hybrid Adam and limited-memory Broyden-Fletcher-Goldfarb-Shanno optimizer yielded the best results with input data including valvular flow rates, heart chamber volume changes and systematic arterial pressure. Mean absolute percentage errors ranged from 1.8 % to 3.78 % over the simulated test cases. The model was able to capture pressure dynamics under hypertensive conditions with pulmonary arterial systole, diastole, and mean pressure average percentage errors of 1.12 %, 2.49 % and 2.14 %, respectively. The relatively low errors highlight the potential of the proposed model to recover pulmonary pressures for diseased heart valve and pulmonary hypertensive conditions.

Ce-promoted NiMgAl mixed-oxide (NiCex-C, x = 0, 1,5,10) catalysts were prepared from the quaternary hydrotalcite precursors for CO2 hydrogenation to methane. By engineering the Ce contents, NiCe5-C showed its prior catalytic performance in low-temperature CO2 hydrogenation, being about 3 times higher than that of Ce-free NiCe0-C catalyst (TOF of NiCe5-C and NiCe0-C: 1.19 h-1 vs 0.39 h-1 @ 250 oC). With extensive characterization, it was found that Ce dopants promoted the reduction of NiO by adjusting the interaction between Ni and Mg(Ce)AlOx support. The higest ratio of surface Ni0/(Ni2+Ni0) was obtained over NiCe5-C. Meanwhile, the surface basicity was tailored with Ce dopants. The strongest medium-strength basicity and highest capacity of CO2 adsorption was achieved on NiCe5-C with 5wt% Ce content. The TOF tests indicated a good correlation with medium-strength basicity over the NiCex-C samples. The results showed that the high medium-strength and Ce-promoted surface Ni0 species endows the enhanced low-temperature catalytic performance in CO2 hydrogenation to methane.

The reactive nature of traditional frequency stability methods can lead to delayed corrective actions and unnecessary loss-of-load. This work presents a distributed model predictive control method for proactive power system frequency stability. Dynamic state estimation model is derived through a particle filter. By being able to estimate the future state of frequency, corrective actions can be taken before the system reaches a critical condition. Proactive approach makes it possible to optimize the response to a disturbance, which results in a decrease of the amount of compensation utilized. The method is tested via Matlab simulations based on Kundur's Two-Area System, and the IEEE 14-Bus system. Performance metrics are provided and evaluated against other contemporary solutions found in literature. Easy-to-derive model, without hard-to-design parameters, indicate potential towards real-life applications.

The average age of in-service bridges has increased in recent years in the United States. To address this issue, structural health monitoring and damage identification approaches can be employed to prioritize maintenance/replacement of aging bridges. Among the damage identification and operational health monitoring approaches, finite element (FE) model updating methods can offer a solution to evaluate the mechanics-based characteristics of bridges. However, in a real-world setting, unidentifiability and mutual dependency between model parameters, modeling errors, especially due to boundary conditions, as well as ill-conditioning of updating algorithms can pose challenges to the application of FE model updating methods. To address these challenges, this study presents a two-step FE model updating approach. In the first step, modal-based model updating is used to estimate linear model parameters mainly related to the stiffness of boundary conditions and material properties. In the second step, in order to refine parameter estimation accounting for nonlinear response behavior of the bridge, a time-domain model updating is carried out. In this step, boundary conditions are fixed at their final estimates using modal-based model updating. To prevent the convergence of updating algorithm to local solutions, the initial estimates for nonlinear material properties are selected based on their corresponding final estimates in the modal-based model updating. To validate the applicability of the two-step FE model updating approach, a series of forced-vibration experiments are designed and carried out on a pair of decommissioned and deteriorated prestressed bridge I-girders. After carrying out the two-step FE model updating, the final estimates of concrete compressive strength are shown to provide reasonable assessment of the damage extent in the girders.

As a new plant slope protection technology, living stumps can effectively improve slope stability. The current study attemptes to investigate the mechanical characteristics of the root system of living stumps and their reinforcement mechanism on slopes by carrying out a three-dimensional living stump slope modeling test. Using ABS materials, a 3D model of a living elm stump was created by 3D printing and a slope model test was carried out. The reinforcement mechanism of the living stump was studied through a combination of model testing and numerical simulation. The results indicate that, due to the presence of living stumps in the lower and middle parts of the slope, the maximum shear stress area of the soil moved to a deeper direction. The stress state of the soil around the living stump was effectively improved due to the existence of the lateral root system.Living stumps in the lower part of the slope cross the potential sliding surface and transferred the soil shear stress gradually to the root system through root-soil interaction. Moreover, the tap roots and lateral roots of living stumps form a robust spatial structure that bears the shear stress of soil together, thus increasing the stability of the slope.

The cell case temperature versus time profiles of a multistage fast charging technique (4C-1C-CV)/fast discharge (4C) in a 2.3 Ah cylindrical lithium-ion cell are analyzed using a 1D thermal model. Heat generation is dominated by the irreversible component associated to cell overpotential, although evidences of the reversible component are also observed, associated to the heat related to entropy from the electrode reactions. The final charging stages (i.e., 1C-CV) significantly reduce heat generation and cell temperature during charge, resulting in a thermally safe charging protocol. Cell heat capacity was determined from cell specific heats and cell materials thickness. The 1D model adjustment of the experimental data during the 2 min. resting period between discharge and charge allowed us to calculate both the time constant of the relaxation process and the cell thermal resistance. The obtained values of these thermal parameters used in the proposed model are almost equal to those found in the literature for the same cell model, which suggests that the proposed model is suitable for its implementation in thermal management systems.

Pavement crack detection is one of the key links in highway pavement maintenance management. In the current road crack detection, the network model easily ignores the shallow geometric features of cracks and cannot extract the key feature information of cracks. Aiming at the above problems, an EC-YOLOX network model is proposed. The CFPN is constructed to cross-fuse different scale features to solve the feature scale invariance. In the strengthen feature extraction layer, ECANet is fused to enhance the ability to pay attention to key information. The WEIoU loss function is proposed, which assigns different penalty terms to the target box in the vertical and horizontal directions. In terms of data, geometric distortion constraint correction is performed on the single-point perspective pavement image. The experimental data show that the accuracy of EC-YOLOX on the self-built data set reaches 76.34% mAP@0.5, which is 4.45% higher than that of YOLOX. The loss curve of EC-YOLOX is smoother than that of YOLOX, and the minimum training loss value is 2.136, which is 0.648 lower than the minimum loss value 2.784 of YOLOX. Many experiments have verified the effectiveness of EC-YOLOX in improving the detection effect in pavement crack detection.

Estimation of core and surface temperature is one of the crucial functionalities of the lithium-ion Battery Management System (BMS) towards providing effective thermal management, fault detection and operational safety. While, it is impractical to measure core temperature using physical sensors, implementing a complex estimation strategy in on-board low-cost BMS is challenging due to high computational cost and the cost of implementation. Typically, a temperature estimation scheme consists of a heat generation model and a heat transfer model. Several researchers have already proposed ranges of thermal models having different levels of accuracy and complexity. Broadly, there are first-order and second-order heat capacitor-resistor-based thermal models of lithium-ion batteries (LIBs) for core and surface temperature estimation. This paper deals with a detailed comparative study between these two models using extensive laboratory test data and simulation study to access suitability in online prediction and onboard BMS. The aim is to guide whether it’s worth investing towards developing a second-order model instead of a first-order model with respect to prediction accuracy considering modelling complexity, experiments required and the computational cost. Both the thermal models along with the parameter estimation scheme are modelled and simulated using MATLAB/Simulink environment. Models are validated using laboratory test data of a cylindrical 18650 LIB cell. Further, a Kalman Filter with appropriate process and measurement noise levels are used to estimate the core temperature in terms of measured surface and ambient temperatures. Results from the first-order model and second-order models are analyzed for comparison purposes.

The high demand for liquefied natural gas (LNG) requires more LNG carriers (LNGCs) to be in operation. During transportation, there is a high risk due to the required extremely low temperatures and the explosive nature of LNG cargo. Moreover, when there is a lack of experience in operating old LNGCs, there is a serious concern regarding operational accidents. A systematic maintenance strategy, especially for LNG cargo containment systems, is crucial for maintaining safe LNG transportation at sea. The purpose of this study is to develop preventive LNG cargo containment system maintenance models by using LNGC dock specifications from LNGCs of various ages. The dock specifications from a conventional LNGC repairing dock were analyzed using natural language processing techniques in order to develop preventive maintenance models of the LNG cargo containment system. From these results, and by considering the ship’s age, it was found that for young LNGCs the priority for repair should focus on checking routine consumable spare parts by tank inspections, whereas for older LNGCs the focus should be on tank condition maintenance rather than on other facilities. These results are expected to be useful in the development of a maintenance strategy of preventive LNG cargo containment systems in maritime LNG transportation.

A practical wind farm controller for production maximisation based on coordinated control is presented. The farm controller emphasises computational efficiency without compromising accuracy. The controller combines Particle Swarm Optimisation (PSO) with a turbulence intensity based Jensen wake model (TI-JM) for exploiting the benefits of either curtailing upstream turbines using coefficient of power ($C_P$) or deflecting wakes by applying yaw-offsets for maximising net farm production. First, TI-JM is evaluated using convention control benchmarking WindPRO and real time SCADA data from three operating wind farms. Then the optimized strategies are evaluated using simulations based on TI-JM and PSO. The innovative control strategies can optimise a medium size wind farm, Lillgrund consisting of 48 wind turbines, requiring less than 50 seconds for a single simulation, increasing farm efficiency up to a maximum of 6% in full wake conditions.

Effective marketing decision-making benefits from a rigorous, data-driven process that systematically evaluates alternatives based on insights and analysis. This study develops and evaluates a 5-stage decision-making process model integrating marketing engineering principles aimed to optimize marketing decisions. An experiment randomized 150 participants into groups following either the proposed model or an unaided approach. Results indicate the model-following group achieved significantly higher ROI from marketing decisions (19.3% vs 16.4%) and employed key elements like customer segmentation, experimentation, and optimization to a greater extent. However, limitations including the experiment's scenario, self-report measures, and cross-sectional design constrain implications. Future research employing probability sampling, multiple decision contexts, longitudinal designs, manipulation checks, and objective metrics can further validate the proposed model. Overall, the study advances the understanding of how structured decision processes based on marketing engineering principles may optimize marketing decisions and outcomes.

When using meta-heuristic optimization approaches for optimization, a large number of samples are required. In particular, when generating subgeneration, the utilization of existing samples is low and the number of individuals is high. Therefore, surrogate-based optimization has been developed, which greatly reduces the number of individuals in the subgeneration and the cost of optimization. In complex air supply scenarios, single-objective optimization results may not be comprehensive; therefore, this paper developed a double-objective air supply optimization method based on the Kriging surrogate model and Non-dominated Sorting Genetic Algorithms-II. And proposed the infill criteria based on clustering to advance the Pareto Frontier. The method was validated by an inverse prediction case, and in particular, the problems when based on 3D steady-state simulations were analyzed. The results showed that the method can quickly achieve an approximate prediction of the boundary conditions (when prediction were made based on experimental data, the number of simulations was 82 and the average error was 6.8%). Finally, the method was used to optimize the air supply parameters of a dual-aisle, single-row cabin. The Pareto set suggested that an airflow organization with dual circulation may be optimal.

There has been growing interest in using permanent magnet synchronous motors (PMSMs) for pumping applications to improve energy efficiency. One promising approach for powering these motors in variable speed applications is using modular multilevel cascaded converters based on a Triple-Star Bridge Cell (M3C) due to their inherent fault tolerance capability. However, M3C converters require a more complex control system than simpler converters. For instance, A basic M3C control system for power transmission requires seventeen (17) PI controllers, whose adjustment depends on the M3C’s dynamical model parameters’ value knowledge needing extensive and time-consuming testing to obtain them. To solve this control system issue, we propose an adaptive M3C control system for variable speed drives powering multiple PMSM-driven centrifugal pumps that reduces the number of controllers to six (6). Furthermore, the proposal does not require knowledge of the converter, motor, or load parameters, making it more practical and versatile. The proposal introduces an ad-hoc hybrid passivity-based model reference adaptive controller in cascade with a passivity-based control. It has been validated through theoretical stability proof and comparative simulation results with a basic control system under normal and fault operations. As a result, the proposal effectively follows the required rotor speed while enhancing performance by decreasing the current consumption and recovering from a 10% input phase imbalance, a cell short circuit, and an open cell.

Coal combustion in thermal power plants releases ash. Ash is reported to cause different adverse health hazards in humans and other organisms. Owing to the presence of radionuclides, it is also considered as a potential radiation hazard. In this study, based on the surface radiation measurements and relevant ancillary data, expected radiation risk zones were identified with regard to the human population residing near the Thermal Power Plant. With population density as the risk determining criteria, about 20% of the study area was at ‘High’ risk and another 20% of the study area was at ‘Low’ risk zone. The remaining 60% was under medium risk zone. Based on the findings remedial measures which may be adopted have been suggested.

By repeated unloading and loading of the excavation dynamic and static loads, repeated train dynamic and static loads of multi-factors, the underpass tunnel, cross tunnel engineering influence area rock layer, the existing tunnel structure of the three constitutes a multifaceted structure, multi-factor interaction system. Existing tunnels into the prediction theory model of the new tunnel excavation process of dynamic and static loads, dynamic and static loads of existing tunnels are mostly analyzed individually, the results of synergistic analysis needs to be improved. Based on the theory of the current layer method, the paper comprehensively considers the stiffness of the existing tunnel, the stiffness of the new tunnel, the excavation method load and the existing tunnel load, coupled with Peck's empirical formula, the theoretical model of deformation prediction for excavation of a two-lane highway tunnel under the tunnel through the existing railroad is proposed, and verified and optimized by numerical calculations and monitoring data, which proves the applicability and reliability of the theoretical model in the similar strata and the project promotion.

The energy transition requires integration of different energy carriers, including electricity, heat, and transport sectors. Energy modeling methods and tools are essential to provide a clear insight into the energy transition. However, the methodologies often overlook the details of small-scale energy systems. The study states an innovative approach to facilitate sub-national energy systems with 100% renewable penetration and sectoral integration. An optimization model, OSeEM-SN, is developed under the Oemof framework. The model is validated using the case study of Schleswig-Holstein. The study assumes three scenarios representing 25%, 50%, and 100% of the total available biomass potentials. OSeEM-SN reaches feasible solutions without additional offshore wind investment, indicating that they can be reserved for supplying other states’ energy demand. The annual investment cost varies between 1.02 bn – 1.44 bn €/yr for the three scenarios. The electricity generation decreases by 17%, indicating that with high biomass-based combined heat and power plants, the curtailment from other renewable plants can be decreased. Ground source heat pumps dominate the heat mix; however, their installation decreases by 28% as the biomass penetrates fully into the energy mix. The validation confirms OSeEM-SN as a beneficial tool to examine different scenarios for sub-national energy systems.

Background: New open-source electric-grid planning models have the potential to improve power system planning and bring a wider range of stakeholders into the planning process for next-generation, high-renewable power systems. However, it has not yet been established whether open-source models perform similarly to the more established commercial models for power system analysis. This reduces their credibility and attractiveness to stakeholders, postponing the benefits they could offer. In this paper, we report the first model intercomparison between an open-source power system model and an established commercial production cost model. Results: We compare the open-source Switch 2.0 to GE Energy Consulting’s Multi Area Production Simulation (MAPS) for production-cost modeling, considering hourly operation under 17 scenarios of renewable energy adoption in Hawaii. We find that after configuring Switch with similar inputs to MAPS, the two models agree closely on hourly and annual production from all power sources. Comparing production gave a coefficient of determination of 0.996 across all energy sources and scenarios, indicating that the two models agree on 99.6% of the variation. For individual energy sources, the coefficient of determination was 69–100. Conclusions: Although some disagreement remains between the two models, this work indicates that Switch is a viable choice for renewable integration modeling, at least for the small power systems considered here. Although some disagreement remains between the two models, this work indicates that Switch is a viable choice for renewable integration modeling, at least for the small power systems considered here.

Microgrids (MGs) have evolved as critical components of modern energy distribution networks, providing increased dependability, efficiency, and sustainability. Effective control strategies are essential for optimising MG operation and maintaining stability in the face of changing environmental and load conditions. Traditional rule-based control systems are extensively used due to their interpretability and simplicity. However, these strategies frequently lack the flexibility for complex and changing system dynamics. This paper provides a novel method called hybrid intelligent control for adaptive MG that integrates basic rule-based-control and deep learning techniques, including gated recurrent units (GRU), basic recurrent neural network (RNN) and long short-term memory (LSTM). The main target of this hybrid approach is to improve MG management performance by combining the strengths of basic rule-based systems and deep learning techniques. These deep learning techniques readily enhance and adapt control decisions based on historical data and domain-specific rules, leading to increasing system efficiency, stability, and resilience in adaptive MG. Our results show that the proposed method optimises MG operation, especially under demanding conditions such as variable renewable energy supply and unanticipated load fluctuations. This study investigates special RNN architectures and hyper-parameter optimization techniques with the aim of predicting power consumption and generation within the adaptive MG system. Our promising results show the highest-performing models indicating high accuracy and efficiency in power prediction. The finest-performing model accomplishes an R2 value close to 1, representing a strong correlation between predicted and actual power values.

This study presents an innovative approach named Optimal Adaptive Continuous Barrier Function Terminal Sliding Mode Control (OACBF-TSMC) approach with a novel switching manifold, to control mathematical model of nonlinear systems under model uncertainties and external disturbances. The proposed OACBF-TSMC approach combines the advantages of adaptive control, continuous barrier functions, and terminal sliding mode control to achieve robust stability of the mathematical model of nonlinear systems, and by using a genetic algorithm that tries to optimize the controller parameters as much as possible so that the proposed controller is the most to have efficiency and performance. The proposed method is designed to address the challenges of systems and provide superior performance in terms of stabilization accuracy, disturbance rejection, and robustness against uncertainties. However, the critical challenge facing the proposed controller is the complete elimination of the chattering phenomenon, which is the most important problem of ordinary sliding mode controllers. The simulation results show that the system trajectories in the proposed approach have converged to the origin with minimal overshoot and under-shoot in a finite time; In addition, the chattering problem in the control inputs has been well eliminated, which makes the proposed method suitable for various systems, including chaotic systems, energy sources, and distributed production systems. Furthermore, the OACBF-TSMC approach has the potential to enhance the stability and reliability of control systems, contributing to the integration of the system states.

In the last decades synthetic jet actuators have gained much interest among the flow control techniques due to their short response time, high jet velocity and absence of traditional piping, that matches the requirements of reduced size and low weight. A synthetic jet is generated by the diaphragm oscillation (generally driven by a piezoelectric element) in a relatively small cavity, producing periodic cavity pressure variations associated with cavity volume changes. The pressured air exhausts through an orifice, converting diaphragm electrodynamic energy into jet kinetic energy. This review paper faces the development of various lumped-element models (LEMs) as practical tools to design and manufacture the actuators. LEMs can quickly predict device performances such as the frequency response in terms of diaphragm displacement, cavity pressure and jet velocity, as well as the efficiency of energy conversion of input Joule power into useful kinetic power of air jet. The actuator performance is analyzed also by varying typical geometric parameters such as cavity height and orifice diameter and length, through a suited dimensionless form of the governing equations. A comprehensive and detailed physical modeling aimed to evaluate the device efficiency is introduced, shedding light on the different stages involved in the process. Overall, the influence of the coupling degree of the two oscillators, the diaphragm and the Helmholtz’s one, on the device performance is discussed throughout the paper.

The emphasis in the automotive industry towards sustainable mobility has led to a significant interest in hybrid-electric propulsion systems with high energy density batteries. Addressing the needs of this strategy, the battery market is exploring new technologies to improve the safety and lifespan of electric vehicles. To this end, there is a focus on the all-solid-state battery (ASSB) technology for its cycle capabilities. Filling the current void in the literature pertaining to accurate ageing models for ASSBs, in this work, we present an enhanced version of the numerical ageing model, originally developed for liquid electrolyte based batteries, to forecast the development of the solid electrolyte interface layer that is the major cause of battery capacity fading. The model has been tested on prototype batteries and reveals an accuracy of 99%. The capacity fade in ASSBs has been investigated under different conditions, and the enhanced ageing model has been validated using experimental data from these batteries. The findings suggest that there is potential for solid-state batteries to be commercialized, although significant work is needed to match the manufacturing level of lithium-ion batteries with liquid electrolytes.

Cyber-Physical Systems form the new backbone of digital ecosystems. Their design can be coupled with engineering activities to facilitate dynamic adaptation and (re-)configuration. Behavior-oriented technologies enable highly distributed and while coupled operation of systems. Utilizing them for digital twins as self-contained design entities with federation capabilities makes them promising candidates to develop and run highly functional CPS. In this paper we discuss mapping CPS components to behavior-based digital twin constituents mirroring integration and implementation through subject-oriented models. These models, inspired by agent-oriented system thinking can be executed and increase transparency at design and runtime. Patterns recognizing environmental factors and operation details facilitate configuration of CPS. Subject-oriented runtime support enable dynamic adaptation and federated use.

In the decarbonization of the steel, cement, and chemical industry in Germany, green hydrogen is expected to play a crucial role. The utilization of green hydrogen in the production processes of said industries requires organizations to modify their business model, requiring sustainable business model innovation (SBMI). Numerous tools and frameworks that support organizations in the process of SBMI have been proposed in the literature in recent years. However, the applicability of these tools and frameworks for steel, cement, and chemical companies that intend to utilize green hydrogen to produce their goods remains unexplored. By conducting a systematic literature review on tools and frameworks for SBMI, a literature and practice review to identify and analyze existing green hydrogen projects of steel, cement, and chemical companies, and an evaluation of the identified tools and frameworks in an evaluation matrix, this paper aims to assess the suitability of SBMI tools and frameworks for steel, cement, and chemical companies that plan to use green hydrogen to produce their goods. Based on the evaluation, the Cambridge Business Model Innovation Process (CBMIP) was identified as the most suitable SBMI framework.

Self-adaptive systems are capable of reconfiguring themselves while in use to reduce the risks forced by environments for which they may not have been specifically designed. Run-time validation techniques are required because complex Self-adaptive systems must consistently offer acceptable behavior for important services. The run-time testing can offer further confidence that a Self-adaptive system will continue to act as intended even when operating in unknowable circumstances. This article introduces an evolutionary framework that supports adaptive testing for Self-adaptive systems. To ensure that the adaptive systems continue to operate following its requirements and that both test plans and test cases continuously stay relevant to shifting operational conditions. The proposed approach using the SPEA2 algorithm facilitates both the execution and adaptation of run-time testing operations.

Since smart cities aim at becoming self-monitoring and self-response systems, their deployment relies on close resource monitoring through large-scale urban sensing. The subsequent gathering of massive amounts of data makes essential the development of event filtering mechanisms that enable the selection of what is relevant and trustworthy. Due to the rise of mobile event producers, location information has become a valuable filtering criterion as it not only offers extra information on the event described but also enhances trust on the producer. Implementing mechanisms that validate the quality of location information becomes then imperative. The lack of such strategies in cloud architectures compels the adoption of new communication schemes for IoT-based urban services. To serve the demand for location verification in urban event-based systems (DEBS), we have designed three different fog architectures that combine proximity and cloud communication. Moreover, we have successfully assessed their performance using network simulations with realistic urban traces.

Background. We created agent-based model for short- and longterm forecasting of COVID-19 and for evaluation how the actions of the regulator affected the human and material resources of the healthcare system. Methods. The model was implemented in the AnyLogic software. It includes two state charts – social network and disease transmission. The COVID-19 Essential Supplies Forecasting Tool (COVID-ESFT, version 2.0) was used to determine healthcare resources needed. Results. Satisfactory results were obtained with long-term (up to 50 days) forecasting in the case of a monotonous change in total cases curve. However, if periods of relative stability are accompanied by sudden outbreaks, relatively satisfactory results were obtained with short-term forecasting, up to 10 days. Simulation of various scenarios showed that the most important place for the spread of infection are families. Wherein the maximum number of cases of COVID-19 is observed in the age group of 26-59 years. Due to a set of measures taken by government agencies, the number of cases in Karaganda city was 3.2 times less than was predicted in “no intervention” scenario. Economic effect is estimated at 40 %. Conclusion. Performed model is an attempt to consider as much as possible the peculiarities of the socio-demographic situation in the country. In the future, we will be prepared to some extent for challenges like those we have experienced in the past three years.

Agent-based models (ABMs) are computational models for simulating the actions and interactions of autonomous agents in time and space. These models allow users to simulate the complex interactions between individual agents and the landscapes they inhabit and are increasingly used in epidemiology to understand complex phenomena and make predictions. However, as the complexity of the simulated systems increases, notably when disease control interventions are considered, model flexibility and processing speed can become limiting. Here we introduce SamPy, an open-source Python library for stochastic agent-based modeling of epidemics. SamPy is a modular toolkit for model development, providing adaptable modules that capture host movement, disease dynamics, and disease control interventions. Memory optimization and design provide high computational efficiency allowing modelling of large, spatially-explicit populations of agents over extensive geographical areas. In this article, we demonstrate the high flexibility and processing speed of this new library. The version of SamPy considered in this paper is available at https://github.com/sampy-project/sampy-paper .

Many physiotherapy treatments begin with a diagnosis process. The patient describes symptoms, upon which the physiotherapist decides which tests to perform until a final diagnosis is reached. The relationships between the anatomical components are too complex to keep in mind and the possible actions are abundant. A trainee physiotherapist with little experience naively applies multiple tests to reach the root cause of the symptoms, which is a highly inefficient process. This work proposes to assist students in this challenge by presenting three main contributions: (1) A compilation of the neuromuscular system as components of a system in a Model-Based Diagnosis problem; (2) The PhysIt is an AI-based tool that enables an interactive visualization and diagnosis to assist trainee physiotherapists; and (3) An empirical evaluation that comprehends performance analysis and a user study. The performance analysis is based on evaluation of simulated cases and common scenarios taken from anatomy exams. The user study evaluates the efficacy of the system to assist students in the beginning of the clinical studies. The results show that our system significantly decreases the number of candidate diagnoses, without discarding the correct diagnosis, and that students in their clinical studies find PhysIt helpful in the diagnosis process.

This thesis presents the effects of work done on a software project for generative models and spreadsheets, allowing for a quick creation of the conceptual model of the aircraft. The subject of the work is a response to the current trends and needs prevailing in the field of computer design engineering CAD and aviation. In the initial chapters, theoretical issues related to the work being carried out were introduced and the methodology of creating software for construction and verification of the structure of aircraft along with the needs of interchange between databases of generative models was presented. In the next stages, the concepts and selected solutions for the user interface supporting the knowledge base were presented along with a set of procedures for its operation. Furthermore, the method of database integration with the methods of determining design features for the developed generative models and with the Siemens NX system. Furthermore, problems encountered in software development, as well as solution examples for model application are specified. The results obtained and the models generated on their basis were subjected to a strength analysis using Autodesk Inventor software and analysed in terms of meeting the initial assumptions. In the end, conclusions and observations resulting from the effects of the work presented in the project were formulated.

Day-ahead forecasting of electricity prices is important in deregulated electricity markets for all the stakeholders: energy wholesalers, traders, retailers, and consumers. Electricity price forecasting is an inherently difficult problem due to its special characteristic of dynamicity and non-stationarity. In this paper, we present a robust price forecasting mechanism that shows resilience towards aggregate demand response effect and provides highly accurate forecasted electricity prices to the stakeholders in a dynamic environment. We employ an ensemble prediction model in which a group of different algorithms participate in predicting the price for each hour of a day. We propose two different strategies, namely, Fixed Weight Method (FWM) and Varying Weight Method (VWM), for selecting each hour's expert algorithm from the set of participating algorithms. In addition, we utilize a carefully engineered set of features selected from a pool of features derived from information such as past electricity price data, weather data, and calendar data. The proposed ensemble model offers better results than both the Pattern Sequence-based Forecasting (PSF) method and our own previous work using Artificial Neural Networks (ANN) alone do on the datasets for New York, Australian, and Spanish electricity markets.

The goal of this paper is to contribute the perspective of a systems engineer to the effort to fight pandemics. The availability of low latency case data and effectiveness of social distancing suggest there is sufficient control for successful smoothing and targeting almost any desired level of low or high cases and immunity. This control proceeds from spontaneous public reaction to caseloads and news as well as government mediated recommendations and orders. We simulate multi-step and intermittent-with-feedback partial unlock of social distancing for rapidly-spreading moderate-mortality epidemics and pandemics similar to COVID-19. Optimized scenarios reduce total cases and therefore deaths typically 8% and up to 30% by controlling overshoot as groups cross the herd immunity threshold, or lower thresholds to manage medical resources and provide economic relief. We analyze overshoot and provide guidance on how to damp it. However, we find overshoot damping, whether from expert planning or natural public self-isolation, increases the likelihood of transition to an endemic disease. An SIR model is used to evaluate scenarios that are intended to function over a wide variety of parameters. The end result is not a case trajectory prediction, but a prediction of which strategies produce near-optimal results over a wide range of epidemiological and social parameters. Overshoot damping perversely increases the chance a pathogen will transition to an endemic disease, so we briefly describe the undershoot conditions that promote transition to endemic status.

Although various atmospheric corrosion simulation models have been developed that give good results, industrial environments are still challenging. This paper aims to investigate the effect industrial atmospheres in Bor on the mechanical properties of structural steel S235JR and to create a constitutive model and also laboratory experimental conditions that will give the best results as an accelerated corrosion test. Atmospheric corrosion tests lasted six months, using sites close to the Electrolytic Refining Plant and Sulphuric Acid Plant, as well as air quality monitoring stations at a remote location in the city of Bor. The laboratory experiments included a salt chamber test lasting 120 h and 240 h and immersing the specimen in the electrolyte from the Electrolytic Refining Plant for 30 days. The results were compared with the standard specimens stored in the laboratory. The X-ray diffraction (XRD) method was used to identify the composition of corrosion products. The scanning electron microscopy (SEM) analysis was applied to analyze the fracture surfaces of the specimens. The use of the Complete Gurson Model (CGM) described the tensile characteristics of the corroded specimens. The study has shown that an enhanced acceleration model and conditions could be developed using numerical analysis of the test results.

Biology is about structure. Structures within structures. Organs within animals, tissues within organs, cells within tissues, and molecules, often proteins within cells. The structures are so complex that they can only be described by numbers. No numbers are of more importance than those that describe proteins. The numbers that describe coordinates of its atoms, often determined by Patterson functions (which are inverse Fourier Transforms of intensities) of crystal diffraction. Without these numbers, structural biology would hardly exist. Without numbers, engineering would not exist. Numbers are surely needed by the engineers who produce the x-rays diffracting from atoms of protein crystals. Devices of engineering have function. They are built to implement equations. Engineering devices use structures to implement equations, when power is supplied at the right places, that produces appropriate flows. Flows are the essence of life. Equilibrium means death in most living systems. Flows in biological structures are hard to analyze because we do not know input output equations in advance. Sometimes we do not know their function. Flows, forces, and structures of life (like those of engineering) are related by field equations of conservation laws, partial differential equations, constrained by location and properties of structures. Constraints are boundary conditions located on the complicated domain of biological structure. Dealing with this complexity is simplified if one systematically analyzes structure using the most general field theory known, electricity described by the Maxwell equations, without significant known error. Currents are involved because flows of biology usually involve migration of charges, convection of water and solutes, diffusion of ions that form the plasma of life, and their interactions. Interactions can dominate function. Here I show how a few complex structures can be understood in engineering detail. This approach may be useful in dealing with biological and medical issues in many other cases. In one limited case—the clearance of a toxic waste (potassium ions) from the optic nerve—this approach seems to have succeeded.

Safety management assessment systems for national level units’ in South Korea focus on responding capacity to cope with impending accident occurrence and danger occurrence. Since the four stage systems for prevention-preparation-response-recovery, which are core elements of national disaster management, assess the capacities by item such as those of individuals, disaster management departments, institutions, and management networks, there is no assessment function for the organic operation states of the entire systems. Therefore, for efficient disaster management, systematic evaluation indices that will enable active pre-checks in departments in organizations should be developed in place of the existing simply checking methods. In this study, an assessment model that will enable active disaster management centered on practice was developed using resilience engineering techniques. This model consists of disaster management items from the viewpoint of proactive responses instead of prevention. A total of 56 items that constitute four capacities; which are prediction (13 items), monitoring (14 items), proactive response (15 items), and safety learning (14 items) capacities were adopted in this model through Delphi analysis. Institutional capacities for infectious disease disaster management were evaluated based on this model and the resultant scores were prediction 4.41, monitoring 4.63, proactive response 4.69, safety learning 4.56 out of the full score of 5.0 points with an overall average of 4.51. This is an excellent capacity management score comparable to the score 4.57 of diagnosis of similar capacities by the WHO\_JEE (The Joint External Evaluation) in 2017. In fact, in 2015, when infectious disease capacity management was poor, in case of MERS (Middle East Respiratory Syndrome) infectious disease spread in South Korea, 36 patients died and 6,729 patients were isolated. However, through capacity reinforcement, in the case of MERS occurrence in South Korea in September 2018, a management capacity that prevented spread was shown as one confirmed case was completely cured in 10 days and 21 contacts were isolated and tested negative. Therefore, this capacity management assessment model is judged to be usable in enhancing disaster response and management capacities.

The Predicted Mean Vote (PMV) and the Predicted Percentage of Dissatisfied (PPD) indices are used to assess the indoor environment in terms of human thermal comfort-discomfort. In this study, an experimental combined objective and subjective investigation of thermal comfort perception has been performed in students between 16-18 years old, in a non-air-conditioned school building. The objective approach included instrumentation measurements and data processing according to ISO 7730, whereas, the subjective one was based on answers collection following ISO 10551. The study is mainly devoted to the verification of Fanger’s approach in a building, in free running conditions, under a mild (moderate) climate.The comparison between instrumentation data and questionnaire results presented an underestimation of the mean vote, predicting a cooler sensation than the actual one.

In an IoT system, the sheer volume of data generated by numerous sensing devices necessitates a well-designed scheme for storing and retrieving data efficiently, enabling streamlined data processing and analytics. One promising storage architecture involves utilizing solid-state drives (SSDs) to cache data from hard disk drives (HDDs), thereby creating an SSD-based caching storage system. To further enhance access performance, it is possible to employ readahead techniques to minimize data access latency. However, the existing Linux readahead scheme falls short in fully leveraging SSD-based caching storage systems. We address this limitation by introducing a novel cross-layered readahead architecture that effectively communicates with the VFS layer, the file system layer, and the block I/O layer. This communication facilitates the acquisition of readahead timing, readahead data continuity, and readahead data location, respectively. To guide prefetching decisions, our architecture analyzes the degree of data access sequentiality, the performance model of the target storage device, and the access patterns of the I/O workload on the corresponding storage device. The implementation of this new architecture in the Linux kernel yields promising experimental results, demonstrating its robustness by consistently outperforming the stock Linux kernel. Notably, our architecture reduces the total execution time of the stock Linux kernel by up to 49%, except in cases of random workloads where both the stock Linux kernel and our architecture exhibit similar performance.

Hydrologic studies on rainfall-runoff have been extensively conducted in many regions around the globe to fulfill various desirable needs with a purpose of effective and proper planning and managing water resources for present and future uses, whereas such study is not well drawn much attention to river catchments of Tonle Sap Lake Basin in Cambodia, which may prevail to water insecurity. The Stung Sreng catchment, which is one among them considered to be a significant basin for water resources management in Cambodia, is remarkably increasing under intolerable pressures in water resources development. This study was to apply HEC-HMS (Hydrological Engineering Center-Hydrological Model System) model to predict streamflow of Stung Sangker catchment, located in Tonlesap Lake Basin in Cambodia. The result showed that the calibration was good at monthly basis. The model performance was given by Nash-Sutcliffe Efficiency criteria followed by 0.44 for daily and 0.71 for monthly basis, respectively. Moreover, the Percent Bias (PBIAS) for daily and monthly simulation was 4.13% and 3.56%, indicating a satisfactory model fit. The HEC-HMS conceptual model can be used to simulate flow of Stung Sangke catchment on a continuous time scale particularly monthly basis. The result also indicated that there was a clear seasonal variation in monthly water availability, especially during both wet and dry season.

This paper proposes an electric vehicle routing problem with considering states of charging stations and suggests solution strategies. Charging of electric vehicles is a main issue in the field of electric vehicle routing problem. There are many studies to find locations of charging stations, recharging functions for batteries of vehicles, and so on. However, states of charging stations significantly affect the routes of electric vehicles, which is not much explored. The states may include open or close of charging stations, occupied or empty of charging slots, and so on. This paper investigates how the states of charging stations are estimated and routing strategies are determined. We formulate a mixed integer programming model and suggest how to solve the problem with exact method. Numerical examples provide the optimal routing strategies of electric vehicles in the changing environments of the states of charging stations.

We aim to evaluate efficiency of two American surveillance systems for monitoring the spread of antimicrobial-resistant (AMR) gonorrhea among men who have sex with men (MSM) using the novel continuous-time agent-based model of gonorrhea transmission. The model was developed using the simulation modelling tool AnyLogic and accounts for susceptible and resistant strains of N. gonorrhoeae, symptomatic and asymptomatic infection and various routes of transmission between different anatomical sites. The model was calibrated using a Bayesian calibration approach. The surveillance systems are the Gonococcal Isolate Surveillance Project (GISP) and the enhanced Gonococcal Isolate Surveillance Project (eGISP). We calculated accuracy, sensitivity, specificity and estimation error for each surveillance system based on the number of isolates submitted in 2018. We also varied that number to see its effect on the outcomes. Our results show that the accuracy of eGISP was between 66% and 92%, while GISP demonstrates low accuracy between 44% and 48%. We also determined that increasing the number of isolates results in improved performance for eGISP, while GISP is not particularly sensitive to it.

For the emerging autonomous swarm technology, from the perspective of systems science and systems engineering, there must be some novel elements and methods to aggregate multiple systems into a group, which distinguish with the general components with specific functions, and we expect to provide the presentation of their existence in the swarm development processes. The inspiration of our methodology origins from the integration of swarm ontology, multi-paradigm modeling, multi-agent system, cyber-physical system, etc. Therefore, we choose the model-driven technology as a framework to acquire an approach of model representation across the multiple levels of abstraction and composition. The autonomous strategic mechanism is defined and formed in parallel with ConOps analysis and systems design, so as to effectively solve the cognitive problem of emergence caused by the nonlinear causation among individual and whole behaviors. This approach highlights to use the MBSE processes and their artifacts to embed the meso mechanism to integrate the operational and the functional, and which means to connect the macro and micro aspects in formalism and so to become a whole with its expected goals, and then to verify and validate within a L-V-C simulation environment.

Timely and accurate information on tree species is crucial for the sustainable management of natural resources, forest inventory, biodiversity detection, and carbon stock calculation. The advancement of remote sensing technology and artificial intelligence has facilitated the acquisition and analysis of remote sensing data, resulting in more precise and effective classification of tree species. Multimodal remote sensing data and deep learning seem to be the current tree species classification research mainstream, whether or not. The current review on the remote sensing data and deep learning tree species classification methods perspectives to analyze the unimodal and multimodal remote sensing data and classification methods in this realm is missing. To bridge the gap, we search for major trends in the remote sensing data and tree species classification methods, provide a detailed overview of classic deep learning-based methods for tree species classification, and discuss the limitations.

In the development of the safety-critical systems, it is important to perform Failure Modes and Effects Analysis (FMEA) process to identify potential failures. However, traditional FMEA activities tend to be considered difficult and time-consuming tasks. To compensate for the difficulty of the FMEA task, various types of tools are used to increase the quality and the effectiveness of the FMEA reports. This paper explains an Automatic FMEA tool which integrates the Model-based Design (MBD), FMEA, and Simulated Fault Injection techniques in a single environment. The Automatic FMEA tool has the following advantages compared to the existing FMEA analysis tool. First, the Automatic FMEA tool automatically generates FMEA reports compared to the traditional spreadsheet-based FMEA tools. Second, the Automatic FMEA tool analyzes the causality between the failure modes and the failure effects by performing model-based fault injection simulation. In order to demonstrate the applicability of the Automatic FMEA, we used the electronic fuel injection system (EFI) Simulink model. The results of the Automatic FMEA were compared to that of the legacy FMEA.

Battery/Supercapacitor(SC) current tracking control is a key issue for hybrid energy storage system (HESS) in electric vehicles. An innovative passivity-based L2-gain adaptive control (PBL2AC) based on port-controlled Hamiltonian model with dissipativity (PCHD) for reference current tracking and bus voltage stability in HESS is presented. The developed PCHD model has considered both parameter variations and external disturbances. By using L2-gain disturbance attenuation, the PBL2AC ensures robust reference current tracking and stable bus voltage. Moreover, adaptive mechanism is adopted to estimate the electrical parameters. To validate the proposed control scheme for HESS, simulations and experiments were done and compared with traditional PID and sliding mode control under several typical driving cycles, and results show that the effectiveness of the proposed controller can be confirmed.

Mixing is considered as a critical process parameter (CPP) during process development due to its significant influence on reaction selectivity and process safety. Nevertheless, mixing issues are difficult to identify and solve owing to their complexity and dependence on knowledge of kinetics and hydrodynamics. In this paper, we proposed an optimization methodology using Computational Fluid Dynamics (CFD) based compartmental modelling to improve mixing and reaction selectivity. More importantly, we have demonstrated that through the implementation of surrogate-based optimization, the proposed methodology can be used as a computationally non-intensive way for rapid process development of reaction unit operations. For illustration purpose, reaction selectivity of a process with Bourne competitive reaction network is discussed. Results demonstrate that we can improve reaction selectivity by dynamically controlling rates and locations of feeding in the reactor. The proposed methodology incorporates mechanistic understanding of the reaction kinetics together with an efficient optimization algorithm to determine the optimal process operation and thus can serve as a tool for quality-by-design (QbD) during product development stage.

Summary: Studying biological systems generally relies on computational modeling and simulation, e.g., for model-driven discovery and hypothesis testing. Progress in standardization efforts led to the development of interrelated file formats to exchange and reuse models in systems biology, such as SBML, the Simulation Experiment Description Markup Language (SED-ML), or the Open Modeling EXchange format (OMEX). Conducting simulation experiments based on these formats requires efficient and reusable implementations to make them accessible to the broader scientific community and to ensure the reproducibility of the results. The Systems Biology Simulation Core Library (SBSCL) provides interpreters and solvers for these standards as a versatile open-source API in Java™. The library simulates even complex bio-models and supports deterministic Ordinary Differential Equations (ODEs); Stochastic Differential Equations (SDEs); constraint-based analyses; recent SBML and SED-ML versions; exchange of results, and visualization of in silico experiments; open modeling exchange formats (COMBINE archives); hierarchically structured models; and compatibility with standard testing systems, including the Systems Biology Test Suite and published models from the BioModels and BiGG databases. Availability and implementation: SBSCL is freely available at https://draeger-lab.github.io/SBSCL/.

The exact dynamics of emergence remains one of the most prominent outstanding questions for the field of complexity science. I first discuss various perspectives on emergence in various contexts, then offer a different perspective on understanding emergence in a graph-theoretic representation. From the discussion, an observer’s choice in state space seems to have an effect for that observer to detect emergent behavior. To test these ideas, I analyze the dynamics of all possible spatial state spaces near the critical temperature in an Ising model. As a result, state space topologies that appear more deterministic flip more bits than topologies that appear more random, which is contrary to our intuitions about randomness. In addition, the size of different state spaces constrain a system’s ability to explore various states within the same time frame. These results are important to understanding emergent phenomena in biological systems, which are layered with various state spaces and observational perspectives.

Predictions of mean values of statistical variables of large scale turbulent flow by the widely used basic k-ϵ model and a new fundamentally based model are verified against published results of Direct Numerical Simulations DNS of the Navier-Stokes equations. The verification concerns turbulent channel flow at shear Reynolds numbers of 950, 2000 and 104. The basic k-ϵ model is largely based on empirical formulations accompanied by calibration constants. This contrasts with the new model where descriptions of leading statistical quantities are based on the general principles of statistical turbulence at large Reynolds number. Predicted values of major output variables such as turbulent viscosity, diffusivity of passive admixture, temperature, and fluid velocities compare well with DNS in case of the new model. Significant differences are seen in case of the basic k-ϵ model.

With the unceasing advancement in wide-bandgap (WBG) semiconductor technology, the minimal reverse-recovery charge Qrr and other more powerful natures of WBG transistors enable totem-pole bridgeless PFC to become a dominant solution for energy storage systems (ESS). This paper focuses on design and implementation of a control structure for a totem-pole boost PFC with newfangled enhancement-mode Gallium Nitride (eGaN) FETs, not only to simplify the control implementation, but also to achieve high power quality and efficiency. The converter is designed to convert a 90-264-VAC input to a 385-VDC output for a 2.6-kW output power. Lastly, to validate the methodology, an experimental prototype is characterized and fabricated. The uttermost efficiency at 230 VAC attains 99.14%. The lowest total harmonic distortion in the current (ITHD) at high line condition (230 V) reaches 1.52% while the power factor gains 0.9985.

Portfolio optimization is a mathematical formulation whose objective is to maximize returns while minimizing risks. A lot of improvement in the model has been made, including adding practical constraints. With the growing of shares trading, the problem becomes dimensionally very large. In this paper, we propose the usage of modified Biogeography-Based Optimization to solve the large scale constrained portfolio optimization. Results indicate the effectiveness of the method used.

Modern agent-based models (ABM) and other simulation models require evaluation and testing of many different parameters. Managing that testing for large scale parameter sweeps (grid searches) as well as storing simulation data requires multiple, potentially customizable steps that may vary across simulations. Furthermore, parameter testing, processing, and analysis are slowed if simulation and processing jobs cannot be shared across teammates or computational resources. While high-performance computing (HPC) has become increasingly available, models can often be tested faster through the use of multiple computers and HPC resources. To address these issues, we created the Distributed Automated Parameter Testing (DAPT) Python package. By hosting parameters in an online (and often free) "database", multiple individuals can run parameter sets simultaneously in a distributed fashion, enabling ad hoc crowdsourcing of computational power. Combining this with a flexible, scriptable tool set, teams can evaluate models and assess their underlying hypotheses quickly. Here we describe DAPT and provide an example demonstrating its use.

In this study, we designed a functional neuro-cardiac model to help us examine the role of neuronal regulation and confirm the importance of neural innervation techniques for cardiac tissue regeneration. A three-dimensional (3D) bioprinted neuro-cardiac scaffold composed of a mixture of gelatin-alginate and alginate-genipin-fibrin hydrogels was developed with a 2:1 ratio of AC16 cardiomyocytes (CMs) and retinoic acid differentiated SH-SY5Y neuronal cells (NCs) respectively. A unique semi-3D bioprinting approach was adopted where the CMs were mixed in the cardiac bioink and printed using an anisotropic accordion design to mimic the physiological tissue architecture in vivo. The voids in this 3D structure were methodically filled in using a NCs-gel mixture and cross-linked. Confocal fluorescent imaging using Microtubule-associated protein 2 (MAP-2) antibodies for labeling NCs, and the MyoD1 antibody for CMs revealed functional coupling between the two cell types in the final cross-linked structure. This data confirmed the development of a physiologically functional neuro-cardiac model that can be used to study neuro-cardiac modulation under physiological and pathological conditions.

This work (in two parts) will review the recently developed predictive modeling methodology called “4th-BERRU-PM” and its applicability to energy systems as exemplified by an illustrative application to the Polyethylene-Reflected Plutonium (acronym: PERP) OECD/NEA reactor physics benchmark. The acronym 4th-BERRU-PM designates the “Fourth-Order Best-Estimate Results with Reduced Uncertainties Predictive Modeling” methodology, which yields best-estimate results with reduced uncertainties for the first fourth-order moments (mean values, covariance, skewness, and kurtosis) of the optimally predicted posterior distribution of model results and calibrated model parameters. The 4th-BERRU-PM uses the Maximum Entropy (MaxEnt) principle to incorporate fourth-order experimental and computational information, including fourth (and higher) order sensitivities of computed model responses to model parameters, thus incorporating, as particular cases, the results previously predicted by the second-order predictive modeling methodology 2nd-BERRU-PM, and vastly generalizing the results produced by extant data assimilation and data adjustment procedures. The 4th-BERRU-PM methodology encompasses the scopes of high-order sensitivity analysis (SA), uncertainty quantification (UQ), data assimilation (DA) and model calibration (MC). The application of the 4th-BERRU-PM methodology to energy systems is illustrated by means of the above-mentioned OECD/NEA reactor physics benchmark, which is modeled using the neutron transport Boltzmann equation involving 21976 imprecisely known parameters, the solution of which is representative of “large-scale computations.” The model result (“response”) of interest is the leakage of neutrons through the outer surface of this spherical benchmark, which can be computed numerically and measured experimentally. Part 1 of this work illustrates the impact of high-order sensitivities, in conjunction with parameter standard deviations of various magnitudes, on the determination of the expected value and variance of the computed response in terms of the first four moments of the distribution of the uncertain model parameters. Part 2 of this work will illustrate the capabilities of the 4th-BERRU-PM methodology for combining computational and experimental information, up to and including forth-order sensitivities and distributional moments, for producing best-estimate values for the predicted responses and model parameters while reducing their accompanying uncertainties.

There is a case about a system comprising two queues of M/M(a)/1/K with a due date with FCFS service policy in each queue. Using the methods of simulation and mathematical analysis, the solution diagrams were illustrated for the fixed due date Ɵ=1 second at the phase of due date up to the commencement of the service, limited capacity K₁=5 and K₂=4, for both scenarios of different service management rate resulted. For the analytical solution, first, a SAN model from the system was created in the Mobius tool. For simulation, a java discrete systems simulation code was used. Adjustment of the initial values, selection of the scenarios for service rate, the number of the consumers in the simulation, etc. were all carried out in the simulation code.

Indoor Positioning Systems (IPSs) are designed to provide solutions for location-based services. Wireless local area network (WLAN)-based positioning systems are the most widespread around the globe and are commonly found to have a ready-to-use infrastructure composed mostly of access points (APs). They provide useful information on signal strength to be processed by adequate location algorithms, which are not always capable of achieving the desired localization error only by themselves. In this sense, this paper proposes a new method to improve the accuracy of IPSs by optimizing some of their most relevant infrastructure components. Included are the arrangement of APs over the environment, the number of reference points (RPs), and the number of samples per location estimation test. A simulation environment is also proposed, in which the impact of key influencing factors on system accuracy is analyzed. Finally, a case study is simulated to validate an optimal combination of design parameters and its compliance with the requirements of localization error and the limited number of access points. Our simulation results clearly show that the desired localization accuracy, which is set as a goal, can be achieved while maintaining the factors already mentioned at minimal levels, which decreases both system deployment costs and computational effort.

In this comprehensive review, we delve into the realm of intention recognition within the context of digital forensics and cybercrime. The rise of cybercrime has become a major concern for individuals, organizations, and governments worldwide. Digital forensics is a field that deals with the investigation and analysis of digital evidence in order to identify, preserve, and analyze information that can be used as evidence in a court of law. Whereas, Intention recognition is a subfield of artificial intelligence that deals with the identification of agents’ intentions based on their actions and change of states. In the context of cybercrime, intention recognition can be used to identify the intentions of cybercriminals and even to predict their future actions. Employing a meticulous six-step systematic review approach, we curated research articles from reputable journals and categorized them into three distinct modeling approaches: logic-based, classical machine learning-based, and deep learning-based. Notably, intention recognition has transcended its historical confinement to network security, now addressing critical challenges across various subdomains, including social engineering attacks, AI black box vulnerabilities, and physical security. While deep learning emerges as the dominant paradigm, its inherent lack of transparency poses unique challenges in the digital forensics landscape. We advocate for hybrid solutions that blend deep learning’s power with interpretability. Furthermore, we propose the creation of a comprehensive taxonomy to precisely define intention recognition, paving the way for future advancements in this pivotal field.

For multi-sensor integrated systems, such as a mobile mapping system (MMS), data fusion at sensor-level, i.e., the 2D-3D registration between optical camera and LiDAR, is a prerequisite for higher level fusion and further applications. This paper proposes a line-based registration method for panoramic images and LiDAR point cloud collected by a MMS. We first introduce the system configuration and specification, including the coordinate systems of the MMS, the 3D LiDAR scanners, and the two panoramic camera models. We then establish the line-based transformation model for panoramic camera. Finally, the proposed registration method is evaluated for two types of camera models by visual inspection and quantitative comparison. The results demonstrate that the line-based registration method can significantly improve the alignment of the panoramic image and LiDAR datasets under either the ideal spherical or the rigorous panoramic camera model, though the latter is more reliable.

Soft-matter systems when driven out-of-equilibrium often give rise to structures that usually lie in-between the macroscopic scale of the material and microscopic scale of its constituents. In this paper we review three such systems, the two-dimensional square-lattice Ising model, the Kuramoto model and the Rayeligh-Bénard convection system which when driven out-of-equilibrium give rise to emergent spatio-temporal order through self-organization. A common feature of these systems is that the entities that self-assemble are coupled to one another in some way, either through local interactions or through a continuous media. Therefore, the general nature of non-equilibrium fluctuations of the intrinsic variables in these systems are found to follow similar trends as order emerges. Through this paper, we attempt to look for connections between among these systems and systems in general which give rise to emergent order when driven out-of-equilibrium.

With the rapid development of Earth observation and information technology, people are increasingly able to access geospatial models. Geospatial models, based on principles of geography, utilize mathematical, statistical, as well as computer science methods to interpret and predict geographic phenomena. These models can be applied in the fields such as urban planning, environmental protection, traffic management to help decision-makers solve geography-related problems. However, integrating different geospatial models to collaboratively solve complex geographic problems still faces significant obstacles due to heterogeneity in model structure, dependencies, and running modes. In this study, we propose a containerized service-based integration framework for heterogeneous geospatial models (GeoCSIF). GeoCSIF consists of three main components: (1) Model encapsulation. It breaks down complicated geospatial models into independently manageable model units, and builds as unified service packages with a templated constraint method. (2) Model orchestration. It achieves an optimal combination of large-scale models with complex dependencies using a prioritization-based orchestration method. (3) Model publication. It incorporates heuristics into the model scheduling process, which can provide adaptive deployment for different model runs. Finally, a prototype system was developed to validate the effectiveness and progressiveness of GeoCSIF by the integrating process of heterogeneous flood disaster models.

The COVID-19 pandemic caused by the SARS-CoV-2 virus has inflicted significant mortality and morbidity worldwide. Continuous virus mutations have led to the emergence of new variants. The Omicron BA.1 sub-lineage prevailed as the dominant variant globally at the beginning of 2022 but was subsequently replaced by BA.2 in numerous countries. Wastewater-based epidemiology (WBE) offers an efficient tool for capturing viral shedding from infected individuals, enabling early detection of potential pandemic outbreaks without relying solely on community cooperation and clinical testing resources. This study integrated RT-qPCR assays for detecting general SARS-CoV-2 and its variants levels in wastewater into a modified triple susceptible-infected-recovered-susceptible (SIRS) model. The emergence of the Omicron-BA.1 variant was observed, replacing the presence of its predecessor, the Delta variant. Comparative analysis between the wastewater data and the modified SIRS model effectively described the BA.1 and subsequent BA.2 waves, with the decline of the Delta variant aligning with its diminished presence below the detection threshold in wastewater. This study demonstrates the potential of WBE as a valuable tool for future pandemics. Furthermore, by analyzing the sensitivity of different variants to model parameters, we are able to deduce real-life values of cross-variant immunity probabilities, emphasizing the asymmetry in their strength.

This study focuses on enhancing controllable fibrin-based hydrogels for tissue engineering, addressing existing weaknesses. By integrating a novel copolymer, we improve the foundation for cell-based angiogenesis with adaptable structural features. Tissue engineering often faces challenges like waste disposal and nutrient supply beyond the 200 µm diffusion limit. Angiogenesis breaks through this limitation, allowing the construction of larger constructs. Our innovative scaffold combination significantly boosts angiogenesis, resulting in longer branches and more capillary network junctions. The copolymer attached to fibrin fibers enables precise adjustment of hydrogel mechanical-dynamic properties for specific applications. Our material proves effective for angiogenesis, even under suppression factors like suramin. In our study, we prepared fibrin-based hydrogels with and without the copolymer PVP12400-co-GMA10mol%. Using a co-culture system of human umbilical vein endothelial cells (HUVEC) and mesenchymal stem cells (MSC), we analyzed angiogenetic behavior on and within the modified hydrogels. Capillary-like structures were reproducibly formed on different surfaces, demonstrating the general feasibility of three-dimensional endothelial cell networks in fibrin-based hydrogels. This highlights the biomaterial's suitability for in vitro pre-vascularization of biohybrid implants.

Crash prediction of the sharp horizontal curve segment (SHCS) of a freeway is an important tool in analyzing safety of SHCSs and in building a crash prediction model (CPM). The design and crash report data of 88 SHCSs from different institutions were surveyed and three negative binomial (NB) regression models and three generalized negative binomial (GNB) regression models were built to prove that the interactive influence of explanatory variables plays an important role in fitting goodness. The study demonstrates the effective use of the GNB model in analyzing the interactive influence of explanatory variables and in predicting freeway basic segments. Traffic volume, highway horizontal radius, and curve length have been formulated as explanatory variables. Subsequently, we performed statistical analysis to determine the model parameters and conducted sensitivity analysis. Among the six models, the result of model 6, which considered interactive influence, is much better than those of the other models by fitting rules. We also compared the actual results from crashes of 88 SHCSs with those predicted by models 1, 3, and 6. Results demonstrate that model 6 is much more reasonable than models 1 and 3.

Vaccines decrease morbidity and mortality. Nevertheless, their benefits depend on public response. During COVID-19, vaccine hesitancy and refusal were rampant, threatening public health. A thorough understand-ing of opponents' arguments is required to address the diffusion of unreliable information on social media and prevent vaccine hesitancy from developing into vaccine refusal. Accordingly, the article examines vac-cine opponents' justifications on social media. Textual content analysis of reader comments on three health-related Israeli Facebook pages was conducted. Data collection encompassed the Israeli COVID-19 vaccination period from October 2020 to May 2022. The comments were analyzed according to the health beliefs model (HBM). We found that vaccine opponents were characterized by low perceptions of the severity of the disease combined with high perceptions of the damages of the vaccine; low perceived benefits of vac-cine compliance; vaccine hesitancy and fear along with public distrust as barriers to change; and call for ac-tion to resist the vaccine and spread related anti-establishment views on the web. As vaccination hesitancy was found to develop into public distrust in the state systems and escalate into conspiracy beliefs and an-ti-vaccination activism, its early detection may prevent future vaccine resistance.

The cell concentration measurement on a culture assay using bioimpedance is a very useful tool, but it is complex to translate impedance to cell concentration values. The purpose of this work is to find a method to obtain in real time the cell concentration values for a given cell-culture assay using an oscillator as the measurement circuit. From a basic cell-electrode model, enhanced models of the cell culture immersed in a saline solution (culture medium) can be derived. These models can be used in a fitting routine to real time estimation of the cell concentration in a cell culture, using the oscillation frequency and amplitude delivered by measurement circuits proposed by the authors. Based on real experimental data (frequency and amplitude of oscillations) obtained by connecting the cell culture to an oscillator as a load, the fitting routine is simulated, and real time data of cell concentration is achieved. These results are compared with concentration data found by traditional optical methods for counting. In addition, the error obtained is divided and analyzed in two parts: in the first part of the experiment (when the few cells are adapting to the culture medium) and the second part of the experiment (when the cells grow exponentially until they completely cover the well).Low error values are obtained in the growth phase of the cell culture (the relevant phase), therefore the results obtained are considered to be promising, proving that the fitting routine is valid, and that the cell concentration can be measured in real time using an oscillator.

By 2020, over 100 countries expanded electric and plug-in hybrid electric vehicle (EV/PHEV) technologies, with global sales surpassing 7 million units. Governments are adopting cleaner vehicle technologies due to proven environmental and health implications of internal combustion engine vehicles (ICEVs), evidenced by the recent COP26 meeting. This article proposes an agent-based model of vehicle activity as a tool for quantifying energy consumption by simulating a fleet of EV/PHEVs within an urban street network at various spatio-temporal resolutions. Driver behaviour plays a significant role in fuel consumption, thus, simulating various levels of individual behaviour enhancing heterogeneity should provide more accurate results of potential energy demand in cities. The study found that 1) energy consumption is lowest when speed limit adherence increases (low variance in behaviour) and is highest when acceleration/deceleration patterns vary (high variance in behaviour) and 2) on average, for tested vehicles, EV/PHEVs were £116.33 cheaper to run than ICEVs across all experiment conditions. The difference in the average fuel costs (electricity and petrol) shrinks at the vehicle level as driver behaviour is less varied (more homogeneous). This research should allow policymakers to quantify the demand for energy and subsequent fuel costs in cities.

Stenting is a common method for treating atherosclerosis. A metal or polymer stent is deployed to open the stenosed artery or vein. After the stent is deployed, the blood flow dynamics influence the mechanics by compressing and expanding the structure. If the stent does not respond properly to the resulting stress, vascular wall injury or re-stenosis can occur. In this work, Discrete Multiphysics is used to study the mechanical deformation of the coronary stent and its relationship with the blood flow dynamics. The major parameters responsible for deforming the stent are sort in terms of dimensionless numbers and a relationship between the elastic forces in the stent and pressure forces in the fluid is established. The blood flow and the stiffness of the stent material contribute significantly to the stent deformation and affect the rate of deformation. The stress distribution in the stent is not uniform with the higher stresses occurring at the nodes of the structure.

Wind turbine plants are complex dynamic and uncertain processes driven by stochastic inputs and disturbances, as well as different loads represented by gyroscopic, centrifugal, and gravitational forces. Moreover, as their aerodynamic models are nonlinear, both modelling and control become challenging problems. On one hand, high-fidelity simulators should contain different parameters and variables in order to accurately describe the main dynamic system behaviour. Therefore, the development of modelling and control for wind turbine systems should consider these complexity aspects. On the other hand, these control solutions have to include the main wind turbine dynamic characteristics without becoming too complicated. The main point of this paper is thus to provide two practical examples of development of robust control strategies when applied to a simulated wind turbine plant. Experiments with the wind turbine simulator and the Monte–Carlo tools represent the instruments for assessing the robustness and reliability aspects of the developed control methodologies when the model-reality mismatch and measurement errors are also considered. Advantages and drawbacks of these regulation methods are also highlighted with respect to different control strategies via proper performance metrics.

Rubella infection is typically mild or asymptomatic except when infection occurs during pregnancy. Infection in early pregnancy can cause miscarriage, stillbirth, or congenital rubella syndrome. Only individuals that are still susceptible to rubella infection during child-bearing age are vulnerable to this burden. Rubella containing vaccine (RCV) is safe and effective, providing life-long immunity. However, average age-at-infection increases with increasing vaccination coverage, which could potentially lead to increased disease burden as well, if the absolute risk of infection during child-bearing age increases. Dynamics of rubella transmission were explored using EMOD, a software tool for building stochastic, agent-based infection models. Simulations of pre-vaccine, endemic transmission of rubella virus introduced RCV at varying levels of coverage to determine the expected future trajectories of disease burden. Introducing RCV reduces both rubella virus transmission and disease burden for a period of around 15 years. Increased disease burden is only possible more than a decade post-introduction, and only for contexts with low current burden and high transmission intensity. Low or declining rubella virus transmission intensity is concurrently associated with both greater disease burden and greater vaccine effectiveness. The risk of increasing burden through vaccination only exists for locations with persistently high infectivity, high connectivity, and high fertility. A trade-off between the risk of a small, future burden increase and a large, immediate burden decrease strongly favors RCV introduction.

In the context of growing global political tension and introduction of world trade barriers, the urgent task is to develop new tools for assessing their consequences. In the paper we present the agent-based model of trade wars, considering organizations, states and residents generated using initial statistical data. Simulation determines changes in output and supplies of organizations under trade restrictions. Results of calculations on the developed model and comparison of various model complexes forecasts with real consequences of trade wars between the USA and China in 2018 and Western countries against Russia in 2022 are presented. Within calculations four scenarios were considered: (1) baseline, (2) new restrictions between China and the USA, (3) more serious sanctions against China and Russia by the USA and the EU, (4) a global trade war. In the second scenario deviation GDP of the USA and China from the baseline scenario does not exceed 0.5%. In the third scenario, the range of countries involved is expanding, and the fall in GDP in them is expected at the level of 0.7-1%. In the fourth scenario, the entire world economy experiences a serious slowdown, and the EU are facing the most severe consequences, going into recession.

In this paper, we revisit the q-states clock model for small systems. We present results for the thermodynamics of the q-states clock model from $q=2$ to $q=20$ for small square lattices $L \times L$, with L ranging from $L=3$ to $L=64$ with free-boundary conditions. Energy, specific heat, entropy and magnetization are measured. We found that the Berezinskii-Kosterlitz-Thouless (BKT)-like transition appears for $q>5$ regardless of lattice size, while the transition at $q=5$ is lost for $L<10$; for $q\leq 4$ the BKT transition is never present. We report the phase diagram in terms of $q$ showing the transition from the ferromagnetic (FM) to the paramagnetic (PM) phases at a critical temperature T$_1$ for small systems which turns into a transition from the FM to the BKT phase for larger systems, while a second phase transition between the BKT and the PM phases occurs at T$_2$. We also show that the magnetic phases are well characterized by the two dimensional (2D) distribution of the magnetization values. We make use of this opportunity to do an information theory analysis of the time series obtained from the Monte Carlo simulations. In particular, we calculate the phenomenological mutability and diversity functions. Diversity characterizes the phase transitions, but the phases are less detectable as $q$ increases. Free boundary conditions are used to better mimic the reality of small systems (far from any thermodynamic limit). The role of size is discussed.

This article considers the concepts of sustainability and sustainable development in relation to disaster risk reduction and climate change adaptation. We conceptualize sustainability from a social systemic perspective, that is, from a perspective that encompasses the multiple functionalities of a social system and their interrelationships in particular environmental contexts. The systems perspective is applied in our consideration and analysis of disaster risk reduction (DRR), climate change adaptation (CCA), and sustainable development (SD). Section 1 introduces briefly sustainability and sustainable development, followed by a brief presentation of the theory of complex social systems (Section 2). The theory conceptualizes interdependent subsystems, their multiple functionalities, and the agential and systemic responses to internal and external stressors on a social system. Section 3 considers disaster risk reduction (DRR) and climate change adaptation (CCA), emerging in response to one or more systemic stressors. It illustrates these with disaster risk reduction in the cases of food and chemical security regulation in the EU. CCA is illustrated by initiatives and developments on the island of Gotland, Sweden and in the Gothenburg Metropolitan area, which go beyond a limited CCA perspective, taking into account long-term sustainability issues. Section 4 discusses the limitations of DRR and CCA, not only their technical limitations but economic, socio-cultural, and political limitations, as informed from a sustainability perspective. It is argued that DRRs are only partial subsystems and must be considered and assessed in the context of a more encompassing systemic perspective. Part of the discussion is focused on the distinction between sustainable and non-sustainable DRRs and CCAs. Section 5 presents a few concluding remarks about the importance of a systemic perspective in analyzing DRR and CCA as well as other similar subsystems in terms of sustainable development.

With the continuous development of Artificial Intelligence technology and Internet of Things engineering, more and more driver-less vehicles have been developed and put into the industrial production. The birth of driver-less vehicles undoubtedly brings new vitality to a large amount of industries, particularly in transportation. For the mining industry, transportation is undoubtedly an extremely important link in the whole production process. If the driver-less vehicles can be applied to the underground mines, it can not only improve the production and transportation capacity of the whole mine, but also can reduce the occurrence of many mine safety accidents. ZigBee WSN technology can play a greater role in the narrow environment like underground mines according to the relevant literature, this concept paper just like a engineering project plan mainly tries to integrate the ZigBee WSN technology and the communication-based train control (CBTC) system to explore the possibility of the driver-less vehicles to be used in the underground mines, which aims to solve practical engineering problems for the engineering projects. As the mining engineers, we put forward the concept of this integrated system in this concept paper, but we need to continue to work hard for the future of the underground mines. This concept paper serves just as a guide to the Tossing out a brick to get a jade gem, has a few implications for the development of underground mine transportation.

Object recognition is an essential element of machine intelligence tasks. However, one model cannot practically be trained to identify all the possible objects it encounters. An ensemble of models may be needed to cater to a broader range of objects. Building a mathematical understanding of the relationship between various objects that share comparable outlined features is envisaged as an effective method of improving the model ensemble through a pre-processing stage, where these objects' features are grouped under a broader classification umbrella. This paper proposes a mechanism to train an ensemble of recognition models coupled with a model selection scheme to scale-up object recognition in a multi-model system. An algorithmic relationship between the learnt parameters of a trained classification model and the features of input images is presented in the paper for the system to learn the model selection scheme. The multiple models are built with a CNN structure, whereas the image features are extracted using a CNN/VGG16 architecture. Based on the models' excitation weights, a neural network model selection algorithm, which links a new object with the models and decides how close the features of the object are to the trained models for selecting a particular model for object recognition is developed and tested on a five-model neural network platform. The experiment results show the proposed model selection scheme is highly effective and accurate in selecting an appropriate model for a network of multiple models.

Climate change is a global issue that draws widespread attention from the international society. As an important component of the climate system, the water cycle is directly affected by climate change. Thus, it is very important to study the influences of climate change on the basin water cycle with respect to maintenance of healthy rivers, sustainable use of water resources, and sustainable socioeconomic development in the basin. In this study, by assessing the suitability of multiple General Circulation Models (GCMs) recommended by the Intergovernmental Panel on Climate Change, Statistical Downscaling Model (SDSM) and Automated Statistical Downscaling model (ASD) were used to generate future climate change scenarios. These were then used to drive distributed hydrologic models (Variable Infiltration Capacity, Soil and Water Assessment Tool) for hydrological simulation of the Yangtze River and Yellow River basins, thereby quantifying the effects of climate change on the basin water cycle. The results showed that suitability assessment adopted in this study could effectively reduce the uncertainty of GCMs, and that statistical downscaling was able to greatly improve precipitation and temperature outputs in global climate mode. Compared to a baseline period (1961–1990), projected future periods (2046–2065 and 2081–2100) had a slightly decreasing tendency of runoff in the lower reaches of the Yangtze River basin. In particular, a significant increase in runoff was observed during flood seasons in the southeast part. However, runoff of the upper Yellow River basin decreased continuously. The results provide a reference for studying climate change in major river basins of China.

The runtime environment is an important concern for self-adaptive systems (SASs). Although researchers have proposed many approaches for developing SASs that address the issue of uncertain runtime environments, the understanding of these environments varies depending on the objectives, perspectives, and assumptions of the research. Thus, the current understanding of the environment in SAS development is ambiguous and abstract. To make this understanding more concrete, we describe the landscape in this area through a systematic literature review (SLR). We examined 128 primary studies and 14 unique environment models. We investigated concepts of the environment depicted in the primary studies and the proposed environment models based on their ability to aid in understanding. This illustrates the characteristics of the SAS environment, the associated emerging environmental uncertainties, and what is expressed in the existing environment models. This paper makes explicit the implicit understanding about the environment made by the SAS research community and organizes and visualizes them.

Identifying productive, profitable and less risky cropping systems is important for sustaining farm-based livelihoods in the context of climatic uncertainties and market volatility in many developing nations. Reductionist field crop research identifies the best-bet solutions based on treatment replicates at a single point in time, which may not account for price instability under climatic uncertainties and volatile markets. Keeping this in mind, we estimated productivity, profitability and weather-related risk from eleven different rice-based cropping systems (eight existing and three potential systems) in the coastal region of West Bengal, India. Information on the crop management practices, yield and prices of the component crops of these eleven cropping systems, under ’best,’ ’normal’ and ‘worst’ situations (scenario), were collected through a ques-tionnaire survey on50 farms of Gosaba Block, West Bengal, India. Irrespective of the scenarios, the rice-lathyrus systems, followed by rice-onion and rice-lentil systems recorded the lowest rice-equivalent yields and system yields. However, the highest rice-equivalent yields and system yields were recorded for rice-chilli systems, followed by rice-tomato and rice-potato-green gram systems. Per hectare total paid-out cost (TPC) of rice-tomato systems was higher, followed by rice-chilli, rice-potato-green gram and rice-potato systems. However, irrespective of seasonal conditions (best, normal and worst), rice-chilli systems gave a higher net return followed by rice-tomato and rice-potato-green gram systems. The rice-fallow system recorded the lowest value for both parameters. Under the worst seasonal conditions, the rice-onion system gave a negative net return. Under all the scenarios, the highest B:C ratio was observed for rice-chilli, rice-tomato, rice-potato-green gram and rice-potato systems. The cumulative probability distribution of the rice-tomato system showed first-degree stochastic dominance over other systems and the rice-chilli system showed second-degree stochastic dominance over the rest of the systems. Only the rice-onion system had a small chance (< 1%) of a negative net return, while the rest of the cropping systems were highly likely to get a positive net return. Taking productivity, economics, and risk assessment of different rice-based systems into account, rice-vegetable systems, especially rice-tomato and rice-chilli among the existing systems and rice-potato-green gram system among the potential systems, can be recommended for sustainable intensification in these coastal saline tracts of the region. We also discuss additional socio-economic factors explored by in-depth in-terviews with the farmers, which might influence the adoption and upscaling of these cropping systems in the region.

Wearable assistant devices play an important role in daily life for people with disabilities. Those who are hearing impaired may face dangers while walking or driving on the road. The major danger is their inability to hear warning sounds from cars or ambulances. Thus, the goal of this study is to develop a wearable assistant device for the hearing impaired to recognize emergency vehicle sirens on the road using edge computing. An EfficientNet-based fuzzy rank-based ensemble model was proposed to classify seven audio sounds, including human vocalizations and emergency vehicle sirens. This model was embedded in an Arduino Nano 33 BLE Sense development board. The audio files were respectively obtained from the CREMA-D dataset and Large Scale Audio dataset of emergency vehicle sirens on the road, with a total number of 8756 files. The seven audio sounds included neutral vocalization, anger vocalization, fear vocalization, happy vocalization, car horn sound, siren sound, and ambulance siren sound. The audio signal was converted into a spectrogram by the short-time Fourier transform as the feature. When one of the car horns, sirens, or ambulance sirens was detected, the wearable assistant device presented alarms through vibration and messages on the OLED panel. The performances of the EfficientNet-based fuzzy rank-based ensemble model in offline computing achieved an accuracy of 97.1%, precision of 97.79%, sensitivity of 96.8%, and specificity of 97.04%. In edge computing, the results were an accuracy of 95.2%, precision of 93.2%, sensitivity of 95.3%, and specificity of 95.1%. Thus, the proposed wearable assistant device has the potential benefit of helping the hearing impaired avoid traffic accidents.

Usually, the vector control of the induction machine (IM) is done by using cascade control structures with conventional linear PI controllers, the inner loop being designed for current control, and the outer loop for rotor flux and speed control. In this paper, starting from the dq model of the IM with the rotor magnetic flux space vector aligned along the d axis, advanced control algorithms are proposed for the two control loops of the cascade structure. For the current inner loop, after the decoupling control of the two dq currents, predictive algorithms with constraints are used to control and limit the currents. Since the outer loop has a nonlinear affine multivariable plant model, a homotopy-based variant of feedback linearization is used to obtain a non-singular decoupling matrix of the feedback transformation even when the rotor flux is zero at the start-up of the motor. During the continuous variation of the homotopy parameter, the model of the plant is variable, in which case the model free algorithms are properly used to control the flux and speed of the IM. The comparative analysis obtained for the cascade structure with conventional PI controllers and advanced algorithms, respectively, shows that the last lead to improve the dynamical performance of the IM.

Electromobility promises to efficiently mitigate consequences of increasing traffic volume and its accompanied greenhouse gas emissions. On an individual level, electrified bikes allow emission free electrified mobility at moderate costs and consequently their stock has increased significantly in recent years. This simultaneously increases the demand for spare parts, which are often manufacturer or application-specific, and due to many variants, challenging to provide for the market. This article evaluates powder-based and extrusion-based metal additive manufacturing of a typical electrified bike component to demonstrate an alternative spare parts supply. The investigation demonstrates how these parts can be additively manufactured function equivalent and with sufficient mechanical properties, also taking economical aspects into account. Furthermore, the needed resources and related environmental consequences for metal-based additive manufacturing spare-part production are compared for both process routes. The results show that both routes are capable of producing spare-parts at comparatively same mechanical performance and resource costs, while needed resources such as energy, gases and manufacturing time are significantly lower for powder-based, respectively machine costs for extrusion-based additive manufacturing. Therefore, additive manufacturing offers a promising opportunity to produce parts in small quantities resource efficient and rapidly.

Incorporating source-side linguistic knowledge into the neural machine translation (NMT) model has recently achieved impressive performance on machine translation tasks. One popular method is to generalize the word embedding layer of the encoder to encode each word and its linguistic features. The other method is to change the architecture of the encoder to encode syntactic information. However, the former cannot explicitly balance the contribution from the word and its linguistic features. The latter cannot flexibly utilize various types of linguistic information. Focusing on the above issues, this paper proposes a novel NMT approach that models the words in parallel to the linguistic knowledge by using two separate encoders. Compared with the single encoder based NMT model, the proposed approach additionally employs the knowledge-based encoder to specially encode linguistic features. Moreover, it shares parameters across encoders to enhance the model representation ability of the source-side language. Extensive experiments show that the approach achieves significant improvements of up to 2.4 and 1.1 BLEU points on Turkish→English and English→Turkish machine translation tasks, respectively, which indicates that it is capable of better utilizing the external linguistic knowledge and effective improving the machine translation quality.

Decision tables have been used for many years in data processing and business applications to simulate complex rule sets. Several computer languages have been developed based on rule systems and they are easily programmed in several current languages. Land management and river-reservoir models simulate complex land management operations and reservoir management in highly regulated river systems. Decision tables are a precise yet compact way to model the rule sets and corresponding actions found in these models. In this study, we discuss the suitability of decision tables to simulate management in the river basin scale Soil and Water Assessment Tool (SWAT+) model. Decision tables are developed to simulate automated irrigation and reservoir releases. A simple auto irrigation application of decision tables was developed using plant water stress as a condition for irrigating corn in Texas. Sensitivity of the water stress trigger and irrigation application amounts were shown on soil moisture and corn yields. In addition, the Grapevine Reservoir near Dallas, Texas was used to illustrate the use of decision tables to simulate reservoir releases. The releases were conditioned on reservoir volumes and flood season. The release rules as implemented by the decision table realistically simulated flood releases as evidenced by a daily NSE (Nash-Sutcliffe Efficiency) of 0.52 and a percent bias of -1.1%. Using decision tables to simulate management in land, river and reservoir models was shown to have several advantages over current approaches including: 1) mature technology with considerable literature and applications, 2) ability to accurately represent complex, real world decision making, 3) code that is efficient, modular and easy to maintain, and 4) tables that are easy to maintain, support, and modify.

Hepatic carboxylesterase 1(CES1) metabolizes many prodrugs into active ingredients or direct-acting drugs into inactive metabolites. We aim to develop a semi-physiologically based pharmacokinetic model(Semi-PBPK model) to simultaneously predict pharmacokinetics of CES1 substrates and their active metabolites in liver cirrhosis(LC) patients. Six prodrugs(enalapril, benazepril, cilazapril, temocapril, perindopril and oseltamivir) and three direct-acting drugs (flumazenil, pethidine and remimazolam) were selected. The parameters including organ blood flows, plasma binding protein concentrations, functional liver volume, hepatic enzymatic activity, glomerular filtration rate(GFR) and gastrointestinal transit rate were introduced into the simulation. Pharmacokinetic profiles of these drugs and their active metabolites were simulated in 100 virtual subjects. The developed semi-PBPK model, following validation in healthy subjects, was extrapolated to LC patients. Most of the observations are within the 5% and 95% quantile of simulations from 100 virtual patients. The estimated AUC and Cmax are within 0.5-2-fold of observation. The sensitivity analysis showed that the decreased plasma exposure of active metabolite due to the decreased CES1 was partly attenuated by the decreased GFR. Conclusion: The developed PBPK model has successfully predicted pharmacokinetics of CES1 substrates and their metabolites in healthy subjects and LC patients, which assists in tailoring dosages of CES1 substrates in LC patients.

This study measured secondary students’ digital literacy using a digital game-based assessment system that was designed and developed based on the Evidence-Centered Game Design (ECGD) approach. A total of 188 secondary students constituted the valid samples in this study. Fine-grained behavioral data generated from students’ gameplay processes were collected and recorded with the assessment system. The Delphi method was used to extract feature variables related to digital literacy from the process data, and the Analytic Hierarchy Process (AHP) method was used to construct the measurement model. The assessment results of the ECGD-based assessment had a high correlation with standardized test scores, which have been shown to be reliable and valid in prior large-scale assessment studies.

In recent years the study of the teacher-student relationship in the teaching-learning processes in physical education has had great emphasis. Previous studies have shown that the use of the Spectrum of teaching Styles can enhance intrinsic motivation, enjoyment, adherence to physical activity and physical activity levels in children and adolescents. The present study aims to assess if a physical education (PE) intervention based on the variations in teaching styles, with reference to production ones, can also have positive effects on physical fitness. The sample involved 4 primary school classes (n = 124 children, mean age = 8-10 years) recruited from the SBAM (Health, Wellness, Food Education and Movement at School) Project in Apulia, Southern Italy. Classes were randomly assigned to Experimental Group (EG) and Control Group (CG). EG followed a 5months experimental intervention based on the variation of teaching styles, while CG performed regular PE lessons. Physical fitness test was assessed with Standing Long Jump (SLJ), Medicine Ball Throw 1kg (MBT), and 20m sprint (20m), while two validated questionnaires were used to evaluate physical self-perception (PSP) and enjoyment. A 2x2 (intervention group x time) ANOVA was carried out to assess significant difference and interaction effect pre (t0) and post (t1) intervention protocol. Data analysis showed a significant improvement of physical fitness in both EG and CG, while PSP and enjoyment increased only in EG. Moreover, significant interaction (p&lt;. 05) effects were found for 20m sprint, PSP and Enjoyment with low effect size (η2 ~. 20). The results of the present study highlight the effectiveness of a PE intervention based on the variation of teaching styles in improving physical fitness, self-perception, and enjoyment. Moreover, the use of production teaching styles significantly impacts self-perception and enjoyment, that are important mediating factors for guarantee better adherence to physical activity.

As a radiant light source within the dynamic range of most spacecraft payloads, the moon pro-vides an excellent reference for on-orbit radiometric calibration. This research hinges on the pre-cise simulation of lunar spectral irradiances and the Earth-based Moon observation geometry. The paper leverages the Hapke model to simulate the temporal changes in lunar spectral irradi-ances, utilizing datasets obtained from Lunar Reconnaissance Orbiter Camera (LROC). The re-search also details the transformation process from the lunar geographic coordinate system to the instantaneous projection coordinate system, thereby delineating the necessary observational geometry. The insights offered by this study have the potential to enhance future in-orbit space-craft calibration procedures, thereby boosting the fidelity of data gathered from satellite obser-vations.

To understand forest dynamics under today’s changing environmental conditions, it is important to analyze the state of forests at large scales. Forest inventories are not available for all regions, so it is important to use other additional sources of information, e.g. remote sensing observations. Increasingly, remotely sensed data based on optical instruments and airborne LIDAR are becoming widely available for forests. There is great potential in analyzing these measurements and gaining an understanding of forests state. In this work, we combine the new generation radiative transfer model mScope with the individual-based forest model FORMIND to generate reflectance spectra for forests. Combining the two models allows us to account for species diversity at different height layers in the forest. We compare the generated reflectances for forest stands in Finland, in the region of North Karelia, with Sentinel-2 measurements. We investigate which level of forest representation gives the best results. For the majority of the forest stands, we generated good reflectances with all levels forest representation compared to the measured reflectance. Good correlations were also found for the vegetation indices (especially NDVI with R²=0.62). This work provides a forward modelling tool for relating forest reflectance to forest characteristics. With this tool it is possible to generate a large set of forest stands with corresponding reflectances. This opens the possibility to understand how reflectance is related to succession and different forest conditions.

In network analysis, links depict the connections between each pair of network nodes. However, such pairwise connections fail to consider the interactions among more agents, which may be indirectly connected. Such non-pairwise or higher-order connections can be signified by involving simplicial complexes. The higher-order connections become even more noteworthy when it comes to neuronal network synchronization, an emerging phenomenon responsible for the many biological processes in real-world phenomena. However, involving higher-order interactions may considerably increase the computational costs. To confound this issue, map-based models are more suitable since they are faster, simpler, more flexible, and computationally more optimal. Therefore, this paper addresses the impact of pairwise and non-pairwise neuronal interactions on the synchronization state of 10 coupled memristive Hindmarsh-Rose neuron maps. To this aim, electrical, inner linking, and chemical synaptic functions are considered as 2- and 3-body interactions in three homogenous and two non-homogenous cases. The results show that through chemical pairwise and non-pairwise synapses, the neurons achieve synchrony with the weakest coupling strengths.

Computer simulation of normal and diseased human heart activity requires a 3D anatomical model of the myocardium, including myofibres. For clinical applications, such a model has to be constructed based on routine methods of cardiac visualisation such as sonography. Symmetrical models are shown to be too rigid, so an analytical non-symmetrical model with enough flexibility is necessary. Based on previously made anatomical models of the left ventricle, we propose a new, much more flexible spline-based analytical model. The model is fully described and verified against DT-MRI data. We show a way to construct it on the basis of sonography data. To use this model in further physiological simulations, we propose a numerical method to utilise finite differences in solving the reaction-diffusion problem together with an example of scroll wave dynamics simulation.

Precise monitoring of individual crop growth and health status is crucial for precision agriculture practices. However, traditional manual inspection methods are time-consuming, labor-intensive, and often lack the spatial resolution required for detailed analysis. This research addresses the need for efficient and high-resolution crop monitoring by leveraging Unmanned Aerial Vehicle (UAV) imagery and advanced computational techniques. The primary objective was to develop a methodology for precise identification, extraction, and monitoring of individual corn crops throughout their growth cycle. This was achieved by integrating UAV-derived data with image processing, computational geometry, and machine learning techniques. UAV imagery was ac-quired bi-weekly at altitudes of 40m and 70m, capturing the entire growth cycle of a corn crop from planting to harvest. A time-series Canopy Height Model (CHM) was generated by analyzing the differences between the Digital Terrain Model (DTM) and the Digital Surface Model (DSM) derived from the UAV data. Local spatial analysis and image processing techniques were em-ployed to determine the local maximum height of each crop. Subsequently, a Voronoi data model was developed to delineate individual crop canopies, successfully identifying 13,000 out of 13,050 corn crops in the study area. For enhanced accuracy in canopy size delineation, vegetation indices were incorporated into the Voronoi model segmentation, refining the initial canopy area esti-mates by eliminating interference from soil and shadows. The proposed methodology enables precise estimation and monitoring of crop canopy size, height, biomass reduction, lodging, and stunted growth over time, providing valuable insights for precision agriculture practices. This work contributes to the scientific community by demonstrating the potential of integrating UAV technology, computational geometry, and machine learning for accurate and efficient crop mon-itoring at the individual plant level.

This article focuses on methods for designing heuristic models within the paradigm of systems theory and in the disciplinary context of intercultural communication. The main question arises from the striking observation that the common language is insufficient to develop knowledge about human communication, especially when many factors of complexity (such as ambiguity, paradoxes, or uncertainty) are involved in the composition of an abstract research object. This epistemological, theoretical, and methodological problematic is one of the main challenges to the scientificity of anthropological theories and concepts on culture. Moreover, these questions lie at the heart of research in intercultural communication. Authors and theorists in the complexity sciences have already stressed the need, in such case, to think in terms of models or semiotic representations, since these tools of thought can mediate much more effectively than unformalized language between the heterogeneous set of perceptions arising from the field of experience, on the one hand, and the philosophical principles that organize speculative thought, on the other. This sets the scene for a reflection on the need to master the theory of heuristic models when it comes to developing scientific knowledge in the field of intercultural communication. In this essay, my first aim is to make explicit the conditions likely to ensure the heuristic value of a model, while my second aim is to clarify the operational function and required level of abstraction of certain terms such as concepts, categories, headings, models, systems, or theories that are among the most commonly used by academics in their descriptive accounts or explanatory hypotheses. To achieve this second objective, I propose to create cognitive meta-categories to identify the three (nominal, cardinal or ordinal) roles of words in the reference grids we use to classify our ideas, and to specify how to use these meta-categories in the construction of our heuristic models. Alongside the theoretical presentation, examples of application are provided, almost all of which are drawn from my own research into the increased cultural vigilance of the majority population in Quebec since the reasonable accommodation crisis in this French-speaking province of Canada. The typology I propose will perhaps help to avoid the confusions regularly committed by authors who attribute only cosmetic functions to words that nevertheless have a highly heuristic value, and who forget to consider the logical leaps of their theoretical thinking in the construction of heuristic models.

The famous singlet correlations of a composite quantum system consisting of two spatially separated components exhibit notable features of two kinds. The first kind consists of striking certainty relations: perfect correlation and perfect anti-correlation in certain settings. The second kind consists of a number of symmetries, in particular, invariance under rotation, as well as invariance under exchange of components, parity, or chirality. In this note, I investigate the class of correlation functions that can be generated by classical composite physical systems when we restrict attention to systems which reproduce the certainty relations exactly, and for which the rotational invariance of the correlation function is the manifestation of rotational invariance of the underlying classical physics. I call such correlation functions classical EPR-B correlations. It turns out that the other three (binary) symmetries can then be obtained "for free": they are exhibited by the correlation function, and can be imposed on the underlying physics by adding an underlying randomisation level. We end up with a simple probabilistic description of all possible classical EPR-B correlations in terms of a "spinning coloured disk" model, and a research programme: describe these functions in a concise analytic way.

The recovery of precious metals is a project with both economic and environmental significance. In this paper, it presents how to use bacterial mineralization to selectively recover gold from multi-ionic aqueous systems. The Bacillus licheniformis FZUL-63, separated from a landscape lake in FuZhou University, was shown to selectively mineralize and precipitate gold from coexisting ions in aqueous solution. The removal of Au(III) was almost happened in first hour, and FTIR data show that the amino, carboxyl and phosphate groups on the surface of the bacteria are related to the adsorption of gold ions. XPS results implied that Au(III) ions are reduced to monovalent, and then the Au(I) was adsorbed on the bacterial surface at the beginning stage(first hour). XRD results showed the gold biomineralization began about 10 hours after the interaction between Au(III) ions and bacteria. The Au(III) mineralization has been rarely influenced by other co-existing metal ions. TEM analysis shows the gold nanoparticles are polyhedral structure with a particle size of ~20 nm. The Bacillus licheniformis FZUL-63 could selectively mineralize and recover 478 mg/g(dry biomass) gold from aqua regia-based metal wastewater through four cycles. It could be of great potential in the practical application.

The main objective of this work is the assessment of the annual number of hospital admissions for respiratory disease (HARD) due to the exposure to in-healable particulate matter (PM10), within the greater Athens area (GAA), Greece. Towards this aim, the time series of the particulate matter with aerodynamic diameter less than 10μm (PM10) recorded in six monitoring stations located in the GAA, for a 13-year period 2001-2013, is used. Initially, a descriptive statistical treatment of PM10 concentrations took place. Furthermore, the AirQ2.2.3 software developed by the WHO was used to evaluate adverse health effects by PM10 in the GAA during the examined period. The results show that, during the examined period PM10 concentrations present a significant decreasing trend. Also, the mean annual HARD cases per 100,000 inhabitants ranged between 20 (suburban location) and 40 (city centre location). Approximately 70% of the annual HARD cases are due to city centre residents. In all examined locations, a declining trend in the annual number of HARD cases is appeared. Moreover, a strong relation between the annual number of HARD cases and the annual number of days exceeding the European Union daily PM10 threshold value was found.

Linear programming formulations of forest ecosystem management (FEM) problems proposed in the 60s have been adapted and improved upon over the years. Generating management alternatives for forest management planning is a key step in building these models. Global forests are diverse, and a variety of models have been developed to simulate management alternatives. Climate change has made forest management calculations even more complex, requiring flexibility, diverse parameters, models, and methods. Despite this complexity, consistent concepts can be applied in developing management alternatives for forest management planning. This work describes iGen, a flexible forest prescription generator that applies the AI technique Rule-Based System (AI-RBS). iGen projects the state and associated inputs and outputs for a set of management units using rules from its knowledge base. An Inference Engine uses the rules to simulate a set of prescriptions in a tree-like graph structure. Without needing IT specialists, forest managers can describe the potential development of their forest through variables, rules, formulas, functions, and procedures. A key feature of iGen is that it is not limited to, adapted to, or focused on any specific region, landscape, forest condition, projection method, or yield function. Instead, it aims to maximize generality, enabling it to address a broad range of FEM problems. This article introduces iGen, explaining its concepts, structure, and algorithms through two FEM problems: natural regeneration with shelterwood harvests and plantation/coppice. For data and iGen source programs, visit github.com/…/iGen.

model checking techniques are often used for the verification of software systems. Such techniques are accompanied with several advantages. However, state space explosion is one of the drawbacks to model checking. During recent years, several methods have been proposed based on evolutionary and meta-heuristic algorithms to solve this problem. In this paper, a hybrid approach is presented to cope with the SSE problem in model checking of systems modeled by GTS with an ample state space. Most of existence proposed methods that aim to verify systems are applied to detect deadlocks by graph transformations. The proposed approach is based on the fuzzy genetic algorithm and is designed to decline the safety property by verifying the reachability property and detecting deadlocks. In this solution, the state space of the system is searched by a fuzzy genetic algorithm to find the state in which the specified property is refuted/verified. To implement and evaluate the suggested approach, GROOVE is used as a powerful designing and model checking toolset in GTS. The experimental results indicate that the presented hybrid fuzzy method improves speed and performance by comparing other techniques

Vision-based tactile sensors (VBTS) have become the de facto method of giving robots the ability to obtain tactile feedback from their environment. Unlike other solutions to tactile sensing, VBTS offers high spatial resolution feedback without compromising on instrumentation costs or incurring additional maintenance expenses. However, conventional cameras used in VBTS have a fixed update rate and output redundant data, leading to computational overhead downstream. In this work, we present a neuromorphic vision-based tactile sensor (N-VBTS) that employs observations from an event-based camera for contact angle prediction. Particularly, we design and develop a novel graph neural network, dubbed TactiGraph, that asynchronously operates on graphs constructed from raw N-VBTS streams exploiting their spatiotemporal correlations to perform predictions. Although conventional VBTS uses an internal illumination source, TactiGraph is reported to perform efficiently in both scenarios, with and without an internal illumination source. Rigorous experimental results revealed that TactiGraph achieved a mean absolute error of 0.62∘ in predicting the contact angle and was faster and more efficient than both conventional VBTS and other N-VBTS, with lower instrumentation costs. Specifically, N-VBTS requires only 5.5% of the compute-time needed by VBTS when both are tested on the same scenario.

: The cyber-physical gap (CPG) is the difference between the 'real' state of the world and the way the system perceives it. This discrepancy often stems from the limitations of sensing and data collection technologies and capabilities, and is an inevitable issue in any cyber-physical system (CPS). Ignoring or misrepresenting such limitations during system modeling, specification, design, and analysis can potentially result in systemic misconceptions, disrupted functionality and performance, system failure, severe damage, and potential detrimental impacts on the system and its environment. We propose CPG-Aware Modeling & Engineering (CPGAME), a conceptual model-based approach for capturing, explaining, and mitigating the CPG, on top of and in sync with the conventional system model, and as an inherent systems engineering activity. This approach enhances the systems engineer’s ability to cope with CPGs, mitigate them by design, and prevent erroneous decisions, actions, and hazardous implications. CPGAME is a generic, conceptual approach, specified and demonstrated with Object Process Methodology (OPM). OPM is a holistic conceptual modeling paradigm for multidisciplinary, complex, dynamic systems, which is also ISO-19450. We analyze the 1979 Three Miles Island 2 nuclear accident as a prime example of the disastrous consequences of unmitigated CPGs in complex systems.