The definition of UTC in 1972 balanced the needs of the time and frequency community for a universal time scale that was traceable to the definition of frequency in the SI system of units with the needs of the astronomical community for a time scale that was closely linked to UT1, a time scale related to the rotation of Earth. The balance between these two considerations has changed very significantly since 1972, and there is widespread agreement that the method of relating UTC to UT1 should be changed by increasing the maximum tolerance between the two scales to more than the current limit of 0.9 s. I propose to realize this decision by means of an algorithmic adjustment process based on the variation in the length of the day over the previous centuries. I use these historical data to extrapolate the length of the day for a century into the future, and to compute a periodic rate adjustment to UTC based on this extrapolation. The adjustment process will not use time steps. The magnitude of the periodic rate adjustment will be re-considered every century, but the basic adjustment algorithm will not change. I suggest a maximum tolerance between UT1 and UTC that is large enough to absorb the irregular and unpredictable variations in the length of the day with respect to the long-term average increase in this value but plays no role in determining the parameters of the adjustment process that is proposed. I also propose that the adjustment be implemented at 12 UTC on 1 January since that is closest to a universal holiday in all time zones.

Misuse of measurement units and orientations leads to errors in scientific applications, Cyber Physical Systems (CPS), and IoT C/C++ programs. Standard type system are inadequate in preventing such errors. Although dimensional and orientational analysis in physics can manually detect these errors in equations, analyzing complex code with intricate physical computations is impractical. To overcome this challenge, we propose an advanced type system that incorporates units and orientations as integral components within a specialized type library. Our enhanced type system automatically detects potential errors during compile time by representing physical quantities as types and utilizing dimensional analysis, orientational analysis, and metaprogramming techniques. Our improved type system enables formal verification of C++ software, successfully verifying programs with extensive codebases. We also employ it for runtime verification of dynamic linking and pointer operations in C++ programs. The integration of compile-time verification, dimensional analysis, orientational analysis, and advanced type system enhances the robustness and accuracy of scientific applications, CPS, and IoT C/C++ programs. By leveraging these approaches, we ensure precise calculations and prevent errors related to measurement units and orientations, resulting in substantial improvements in reliability and accuracy.

MIMO (multiple-input multiple-output) radar provides much more flexibility than the traditional radar for its ability to realize far more observation channels than the actual number of T/R (transmit and receive) elements. Designing the array of MIMO imaging radar, the commonly used virtual array theory generally assumes that all elements are placed on the same line. However, due to the physical size of the antennas and coupling effect between T/R elements, a certain height difference between T/R arrays is essential, resulting in the defocusing of edge points of the scene. On the other hand, the virtual array theory implies far-field approximation, leading to inevitable high grating lobes in the imaging result of near-field edge points of the scene observed by common MIMO array. To tackle these problems, this paper derives the relationship between target’s PSF (point spread function) and pattern of T/R arrays, by which the design criterion of near-field imaging MIMO array is presented. Firstly, the proper height between T/R arrays is designed to focus the near-field edge points well. Secondly, the far-field array is modified to suppress the grating lobes in the near-field area. Finally, the validity of the proposed methods is verified by simulations and an experiment.

The relaxation process of lithium batteries caused by load variation is considered. It is shown that such processes have strong dependence on internal physical and chemical processes and battery technical conditions. Theoretical expressions of the relaxation process caused by a step-like load variation have been obtained for 1^st and 2^nd order equivalent electrical circuits. The experimental investigations show that the obtained models fit the real relaxation processes and the behavior of the identified parameters could be explained by specific features of physical and chemical processes within the lithium battery. It should be noted that the obtained results can be generalized for a different type of electrochemical power source. The proposed approach makes it possible to provide means for electrochemical power source characterization and diagnostic, the main advantages of which are good time localization of measurement procedures and inexpensive apparatus implementation.

Education for sustainable development seeks transformative learning in order to empower learners to change the ways they understand the world. In order to achieve its goals, teaching materials are needed, that reflect its principles and goals in their content and pedagogy they promote. The study of the epistemological background on which the teaching material is structured is a research proposal, which is addressed to researchers, authors and practitioners for sustainable development, pointing out that the structuring and development of the materials should be based on a theoretical framework that effectively link the teaching activity with all 17 Sustainable Development Goals with a focus on Quality Education. This scoping review attempts to map the existing literature that assesses the effectiveness of formal and non-formal educational materials that seek to promote education for sustainability. In addition, research is presented that evaluates the effectiveness of teaching materials from the perspective of sociocultural learning theory, considering that education for sustainable development (an ideal to be achieved) is in a dynamic relationship with constructivism (a learning theory) on the basis of knowledge construction, learning and sustainability's sociocultural aspects. It was found that the international literature investigating the contradictions presented by educational materials in relation to the objectives they set and achieve and the way in which the activities they propose are implemented in practice, is limited.

Formal Calculation uses an auxiliary form to calculate various nested sums and provides results in three forms. In addition to computation, it is also a powerful tool for analysis, allowing one to study various numbers in a unified way. This article contains many results of two types of Stirling numbers, associated Stirling numbers, and Eulerian numbers, making a great generalization of Euler polynomials, Wilson's theorem, and Wolstenholme's theorem, showing that they are just special cases. Formal Calculation provides a novel method for obtaining combinatorial identities and analyzing q-binomial.This article has obtained a large number of results in q-analogues, including inversion formulas for q-binomial coefficients. This article also introduces a theorem on symmetry.

This study aims to spatially analyze the distribution characteristics of vacant homes in Asan-si, Chungcheongnam-do, and understand the differences in factors causing vacant homes by type. We use a variety of statistical methods to examine these factors and identify key influencing factors such as the number of vacant stores, changes in overall population, land use complexity, and physical characteristics of land and buildings. The findings reveal that the factors contributing to the occurrence of vacant homes vary significantly by region and property type, highlighting the need for region-specific policies. For instance, in old town areas, small lot ratios and land use complexity are significant, while in rural village, the average number of floors and land use complexity play a major role. This study underscores the diversity of factors influencing vacant homes, suggesting that policies should be tailored to the unique characteristics of different regions to effectively address this issue.

Robotic systems have been widely used in various industries, so the security of communication between robots and their components has become an issue that needs to be focused on. As a framework for developing robotic systems, the security of ROS2 can directly affect the security of the upper-level robotic systems. Therefore, it is a worthwhile research topic to detect and analyze the security of ROS2. In this paper, we adopt a formal approach to analyze the security of the communication mechanism of ROS2. First, we use a state transition system to model the potential vulnerabilities of ROS2 based on the ROS2 communication mechanism and the basic process of penetration testing. Secondly, we introduce the CIA model on the basis of the established vulnerability model and use LTL to define its security properties. Then, we design and implement a vulnerability detection tool for ROS2 applications based on the vulnerability model and security properties. Finally, we experimentally test some ROS2-based applications, and the results show that ROS2 has vulnerabilities without additional protection safeguards.

Formal Calculation uses an auxiliary form to calculate various nested sums and provides results in three forms. It is also a powerful tool for analysis. This article studies the symmetry of the coefficients in Formal Calculation. Three types of extended numbers were introduced, and many formulas for symmetric functions were obtained.

Mutual exclusion algorithms are at the heart of concurrent, distributed/parallel, real-time and operating systems. It is well-known that such algorithms are very difficult to analyze and in the literature different conjectures about starvation-freedom and the number of by-passes (also said the overtaking factor), which in turn affects the (hopefully) bounded waiting time that a process competing for entering the critical section has to suffer before accessing the shared resource, have been formulated for specific algorithms. This paper proposes a novel modelling approach based on Timed Automata and the Uppaal toolset, which proves effective for studying all the properties of a mutual exclusion algorithm for N≥2 processes, by exhaustive model checking. Although the approach, as already confirmed by similar experiments reported in the literature, is not scalable due to state explosion problems, and can be practically applied until N≤5, it is of great value for revealing true properties of analyzed algorithms. For dimensions N>5 the statistical model checker of Uppaal can be used which, although based on simulations, can confirm properties by estimations and probabilities. The paper describes the proposed modelling and verification method and applies it to several mutual exclusion algorithms, thus retrieving known properties but also showing new results about properties often studied only by peer-review and intuitive reasoning.

RISC-V offers a modular technical approach combined with an open, royalty-free instruction set architecture (ISA). This openness allows various researches to incorporate RISC-V into both open and proprietary solutions or services. However, despite its advantages as a fundamental building block for many embedded systems, the escalating complexity and functional demands of real-time applications have made adhering to response time deadlines challenging. This has led to an increased demand for comprehensive development insights for real-time systems based on RISC-V. To improve development efficiency, we offer a detailed performance analysis of RISC-V in comparison to various ISAs. In this paper, we analyze the real-time performance of RISC-V through two real-time approaches based on processor architectures. For RTOS applications, we adopted FreeRTOS and evaluated its performance on HiFive1 Rev B (RISC-V) and STM3240G-EVAL (ARM M) to evaluate real-time performance. For Real-time Linux, we utilized Linux with the Preempt-RT patch and tested its performance on VisionFive 2 (RISC-V), MIO5272 (x86-64), and Raspberry Pi 4 B (ARM A). Through these experiments, we examined the real-time mechanism of each operating system. Additionally, in the Preempt-RT experiments, scheduling latencies were evaluated using cyclictest. Finally, in order to practically show the real-time capabilities of RISC-V, we implemented motion control of a six-axis collaborative robot, which was performed on the VisionFive 2 platform. This implementation provided a comparative result of RISC-V’s performance against the x86-64 architecture of MIO-5272. Ultimately, the results indicated that the real-time performance of RISC-V for real-time applications was slightly inferior to that of the x86-64 architecture. A noticeable achievement of this research was the first implementation of an EtherCAT Master on RISC-V designed for real-time applications featuring a multi-tasking structure. The research offers valuable insights into the real-time capabilities of RISC-V compared to established architectures like x86-64. While RISC-V might not surpass these architectures in real-time performance, its flexibility, modularity, and open nature make it a compelling choice for a wide range of real-time applications. The successful implementation of the EtherCAT Master on RISC-V further expands its potential in the domain of real-time embedded control systems.

This paper provides attempts to formalize Hayek’s theory of knowledge. It has been theoretically shown that exponential income distribution is a spontaneous order of the well-functioning market economy. We show that this theoretical result is supported by the empirical evidence from the United Kingdom and China. In particular, we empirically show how the income structure of China evolved towards an exponential distribution after the market-oriented economic reformation. Furthermore, we strictly prove that, if the income structure of an economy obeys an exponential distribution, the income summation over all households leads to an aggregate production function with Hicks-neutral-like technical progress, in which the technology factor is exactly equal to society’s information stock that is a result of combining all of decentralized decisions.

The disparity between software design and implementation, especially concerning IoT security and forensics, often lacks clarity and precision. Formal languages, rooted in mathematical rules, logic, and symbols, have proven priceless for expressing specifications and verifying system designs. Various semi-formal and formal languages, such as JSON, XML, predicate logic, and regular expressions, along with formal models like Turing machines, cater to specific domains. This paper introduces a novel formal language, named ObTFL (Object Transaction Formal Language), initially developed for IoT forensics and authentication purposes but later extended to encompass general distributed systems. The paper elucidates the syntax and semantics of ObTFL and presents several case studies showcasing its versatility and effectiveness.

Decades ago, when computational was expensive and limited, the structural design was mostly performed by hand calculations using simple mathematical models. For example, it was a common practice to design a structure as complex as the wing of an aircraft by simple beam analysis. However, ever since the classic paper by Turner et al., due to a rapid increase in computational, more complex mathematical models are being used to simulate the physical behavior of complex structural components. To solve intractable problems unsolvable by hand calculations, numerical techniques like Finite Element Analysis (FEA), Computational Fluid Dynamics (CFD), Finite Difference Method etc. are being employed. In fact, the availability of these methods has led to the development of an entirely new area of research known as Multidisciplinary Design Optimization (MDO) where various disciplines are considered in an optimization problem. The most important question while using a mathematical model to represent practical industrial problems is to what extent these models represent the real-life situation. Computational models are always built on upon assumptions. Simply at looking at the simulation outcomes i.e. the graphical and numerical results, it is often very difficult to ensure if the underlying assumption holds and that the results are reliable. This has led to the development of another field of research known as Verification and Validation (called V&V in short).

Energy Measurement and Verification (M&V) aims to make inferences about the savings achieved in energy projects, given the data and other information at hand. Traditionally, a frequentist approach has been used to quantify these savings and their associated uncertainties. We demonstrate that the Bayesian paradigm is an intuitive, coherent, and powerful alternative framework within which M&V can be done. Its advantages and limitations are discussed, and two examples from the industry-standard International Performance Measurement and Verification Protocol (IPMVP) are solved using the framework. Bayesian analysis is shown to describe the problem more thoroughly and yield richer information and uncertainty quantification than the standard methods while not sacrificing model simplicity. We also show that Bayesian methods can be more robust to outliers. Bayesian alternatives to standard M&V methods are listed, and examples from literature are cited.

Mass plays a strange multiple role in classical physics. This results in a difference between gravity and all other forces - a difference that stood at the beginning of Einstein's development of his general theory of relativity. The equivalence principle (EP) deals with homogenious gravitational fields, which, in fact, don‘t exist in nature. There is only an approximation for this field in Einstein-Lift possible for local situations. Nevertheless this EP can be true, because in classical formal binary logic there can be formulated a true conclusion from a wrong premise or assumption.

This paper is motivated by three main assumptions: (1) The currently dominant forms of knowledge representation (natural language text, formulas, graphics) are suboptimal to facilitate knowledge transfer between control engineering sub-fields and into potential application domains. (2) Formal knowledge representation (in general) is a promising supplementary approach, but (3) the established technologies so far have failed to be significantly adopted for formal representation of control engineering knowledge. Thus, after briefly reviewing existing representation methods, we introduce our own approach: The Python based imperative representation of knowledge (PyIRK) and its application to formulate the Ontology of Control Systems Engineering (OCSE). One of its main features is the possibility to represent the actual content of definitions and theorems as nodes and edges of a knowledge graph, which is demonstrated by selected elements from Lyapunov theory. While the approach is still experimental, the formalization already allows to apply methods of automated quality assurance and a semantic search mechanism. The current feature set of the framework is demonstrated on various examples before directions for further developments are discussed.

Electrical microgrids are deemed to be the future of modern power systems. Microgrids are sophisticated, decentralized, and self-sufficient small-scale power systems consisting of various resources ranging from wind turbines, solar photovoltaics, electric vehicles, smart energy storage, and complex communication infrastructure. However, renewable energy sources such as solar photovoltaics and wind-based generators are highly intermittent, and if not appropriately planned, they can compromise the stability of the grid. Formal methods can define and analyze the functionality and behavior of any system and show if the system design is correct before the actual system is implemented. Although formal methods have been around for many years, it is surprising that little to none are utilized in the design of safety-critical electrical power systems. Currently, in modeling microgrids, few to no attempts of formalization are being used to improve the design reliability and reduce system operating costs and time. This work demonstrates how complex systems such as microgrids can be modeled elegantly using a formal specification method. In this work, the Z state-based formal specification language (Z-Method) is used to model and verify microgrid designs. In this work, 3-interconnected microgrid systems with a high penetration level of solar and wind-based renewable energy sources with plugin hybrid electric vehicles (PHEV) as battery energy storage systems (BESS) are modeled using the Z-method. To the best of authors, the knowledge presented formal method is one of the first reported attempts in modeling microgrid communities using Software Engineering formalism.

The Food and Drug Administration’s 2011 Process Validation Guidance and International Council for Harmonization Quality Guidelines recommend continued process verification (CPV) as a mandatory requirement for pharmaceutical, biopharmaceutical, and other regulated industries. As a part of product life cycle management, after process characterization in stage 1 and process qualification and validation in stage-2, CPV is performed as stage-3 validation during commercial manufacturing. CPV ensures that the process continues to remain within a validated state. CPV requires the collection and analysis of data related to critical quality attributes, critical material attributes, and critical process parameters on a minimum basis. Data is then used to elucidate process control regarding the capability to meet predefined specifications and stability via statistical process control tools. In statistical process control, control charts and Nelson rules are commonly used throughout the industry to monitor and trend data to ensure that a process remains in control. In the control chart, the mean value is taken as the center line, and 3σ limits are placed on either side of the center line. In CPV, manufactured lots are summarized, trended, and discussed at a cross-functional level at pre-defined intervals (either weekly, bi-weekly, or even monthly) based on the batch run rate. A cross-functional team assesses details regarding 1) violation frequency, 2) statistical strength of the signal, 3) violation magnitude and its impact on process or quality, and 4) any potential root causes for out-of-expectation or out-of-trend signals. The cross-functional team must analyze whether any signal identified by the control chart is reliable and must determine whether corrective action should be taken and justify the decision in the CPV meeting minutes based on statistical strength and reliability of the signal. However, basic control charts are susceptible to false alarms and nuisance alarms. Therefore, it is imperative to understand the assumptions behind control charts and the inherent false alarm rates for different Nelson rules. In this article, the authors have detailed the assumptions behind the usage of control charts, the rate of false alarms for different Nelson rules, the impact of skewness and kurtosis of a data distribution on the false alarm rate, and methods for optimizing control chart design by reducing false alarm rates and nuisance signals.

This paper intends to discuss SSLs, how they work, their advantages and drawbacks. It will end with the author’s thoughts on the efficacy of the system and whether it is a viable solution for the majority of network security problems or if those drawbacks prevent that.

The physical roots, interpretation, controversies and precise meaning of the Landauer Principle are surveyed. Landauer's principle is a physical principle pertaining to the lower theoretical limit of energy consumption of computation. It states that an irreversible change in information stored in a computer, such as merging two computational paths, dissipates a minimum amount of heat kBTln2 per a bit of information to its surrounding. The Landauer Principle is discussed in the context of fundamental physical limiting principles, such as the Abbe diffraction limit, the Margolus-Levitin limit and the Bekenstein limit. Synthesis of the Landauer bound with the Abbe, Margolus-Levitin limit and Bekenstein limits yields the minimal time of computation, which scales as τmin~hkBT. Decrease in a temperature of a thermal bath will decrease the energy consumption of a single computation, but, in parallel, it will slow the computation. The Landauer principle bridges between John Archibald Wheeler “it from bit” paradigm and thermodynamics. Experimental verifications of the Landauer Principle are surveyed. Interrelation between thermodynamic and logical irreversibility is addressed. Generalization of the Landauer principle to the quantum and non-equilibrium systems is addressed. Landauer Principle represents the powerful heuristic principle bridging the physics, information theory and computer engineering.

In this paper, we study properties of formal concepts from an order-theoretic perspective. We first establish a natural correspondence between formal contexts and preorders as well as their induced posets. Then, based on the poset induced from a formal context, we provide characterization for join-irreducible or meet-irreducible elements of finite concept lattices. In addition, we introduce the notion of rough conceptual approximations based on topological closure and interior operators. In contrast with the conventional definition of equivalence class of an object used in Pawlakian approximation spaces, we instead utilize the extent of an object concept. We show that rough conceptual approximations are equivalent to approximation operators in the generalized approximation space associated with the preorder corresponding to a formal context. We also illustrate these theoretical results with examples and discuss their potential applications.

This paper proposes a methodology for the development and its Verification and Validation(V&V) of safety-rated software. The development methodology is based on the structured analysis and structured design methodology, which has been proven in the field of safety software development during long period. The suggested the development and the V&V methodology additionally focuses on the quality attributes 3C+T (completeness, Correctness, Consistency and traceability), which are important criteria in IEC international standards. The software development life cycle is compiled from IEC international standardization, which are of the requirements analysis phase, design phase, implementation phase, testing phase, installation/commissioning phase, and operation & maintenance phases. The activities of the development process method were defined from requirements analysis to implementation, and the activities of the verification and validation were defined to include the scope of the developer's activities and then to include the test phase, installation/commissioning phase, and operation phases additionally. In other words, testing phase performed by the developer was defined as informal testing, and testing performed by the verifier according to test criteria, test plans, and test procedures was defined as formal testing. According to proposed methodology, the requirements phase defines the sequence of Entity Relationship Diagram (ERD)-Context Diagram-Data Flow Diagram (DFD), functional decomposition process and defines operational scenario. In the design phase, module design such as task analysis and task allocation were defined. In the implementation phase, we listed the coding guidelines that must be followed for safety-related system. The test phase defined the test criteria, test plan, test procedure, and test result report activities. In the installation/commissioning and operation phases, recommendations for improving reliability, quality, and safety were proposed for deliverables such as user documentation and technical documentation.

This article introduces a new method for modelling and verifying the execution of timed security protocols (TSP) and their time-dependent security properties. The method, which is both novel and reliable, uses an extension of interpreted systems, accessible semantics in multi-agent systems, and timed interpreted systems (TIS) with dense time semantics to model TSP executions. We enhance the models of TSPs by incorporating delays and varying lifetimes to capture real-life aspects of protocol executions. To illustrate the method, we model a timed version of the Needham-Schroeder Public Key Authentication Protocol. We have also developed a new SMT-based bounded model checking reachability algorithm for the proposed structures and implemented it with the tool. The method comprises a new procedure for modelling TSP executions, a translation of TSP into TIS, and a translation of TIS's reachability problem into the SMT problem. The paper also includes thorough experimental results for nine protocols modelled by TIS and discusses the findings in detail.

Wireless Sensor Networks (WSNs) are being increasingly adopted in critical applications, where verifying the correct operation of sensor nodes is a major concern. Undesired events may undermine the mission of the WSNs. Hence their effects need to be properly assessed before deployment to obtain a good level of expected performance and during the operation in order to avoid dangerous unexpected results. In this paper we propose a methodology to support design and deployment of dependable WSNs by means of an event-based formal verification technique. The methodology includes a process to guide designers towards the realization of a dependable WSN and a tool ("ADVISES") to simplify its adoption. The tool allows to generate automatically formal specifications used to check correctness properties and evaluate dependability metrics at design time and at runtime. During the runtime we can check the behavior of theWSN accordingly to the results obtained at design time and we can detect sudden and unexpected failures, in order to trigger recovery procedures. The effectiveness of the methodology is shown in the context of two case studies, aiming to illustrate how the tool is helpful to drive design choices and to check the correctness properties of theWSN at runtime

This paper presents the methods of estimating the mean square error of hydrological forecasts, allowing for assessment of their practical applicability. Depending upon the amount and composition of available hydrometeorological data, an appropriate method for forecast error estimation is chosen. A system of statistical tests for comparison of different forecasting methods for the same hydrologic characteristic with the same lead time is presented. These tests allow for choosing an optimal and most accurate forecasting method. Hydrological forecasting method efficiency estimation is based on comparing the forecast error with climatology or inertial (persistence) forecast error using presented tests.

This paper presents geometric analyses of welded frames after free relaxing and vibratory stress relief (VSR). Respected frames were tested components of a prototype packaging machine. Two types of relaxation were carried out to remove stresses introduced as a result of welding process. One of the frame was subjected to free relaxing, while the other one to accelerated vibration relaxing. Detection of the frame geometry changes was performed using a photogrammetric system. In addition, an evaluation of the geometry change was conducted for fifteen variants of steel frame support. A comparative analysis of the geometric deviations of the frames after free and vibratory stress relief confirmed the assumption that the frame after vibration stress relief better reproduces the nominal dimensions. Nevertheless, it should be emphasized that after vibratory stress relief the frame is not subject to further deformation, which is a desirable effect. In the case of free relaxing, the frame undergoes dimensional changes in a random manner. In summary, carrying out accelerated vibratory stress relief allows control of spontaneous dimensional changes in the designed frame of a packaging machine resulting from spontaneous relaxation of stresses arising from the welding process. The shortening of the relaxation process of the welded frame is also an unquestionable advantage.

This case report describes the successful repair of a radial bone fracture and skin defect in a dog using an ulnar bone graft and an advancement flap. A one-year-old spayed female Poodle dog weighing 1.7 kg was brought in with non-weight-bearing lameness, an open wound, and a frac-ture in the right forelimb. The dog had fallen off the bicycle being ridden by its owner, causing its right forelimb to be caught in the wheel. The treatment included surgical debridement of the necrotic tissue, skin reconstruction with an advancement flap, and radial bone reconstruction with an ulnar bone graft, bone morphogenetic protein (BMP), humeral cancellous bone and a ti-tanium T-shaped plate. Postoperative management included antibiotics, pain medication, and activity restriction. The dog made a good recovery and was able to bear weight on the affected limb four months after surgery.

In view of the problem that the output thrust of solenoid actuator is affected by various factors and is difficult to calculate in actual working conditions, this paper proposes a semi-analytical model constructed by magnetic field subdomain method with internal and external boundary conditions in cylindrical coordinate system for calculation, and the general solution equations of magnetic vector potential for each subdomain are derived and solved by MATLAB. Taking a push-pull electromagnet as an example, the finite element simulation and experimental comparative analysis are carried out. The correctness and applicable conditions of the subdomain method are illustrated by comparing the gradient plot of magnetic vector potential, inductance curve and electromagnetic force. By calculating the output thrust after considering the core gravity, spring force and electromagnetic force, it is shown that this method has the advantage of computational flexibility compared with the finite element method, and it is easier to write special algorithms according to various working conditions to calculate the important parameters in engineering applications.

Export participation and restricted access to external formal credit are two factors attracting meticulous attention from researchers and policymakers, especially in developing countries. Exploring the interactive relationship of these factors in both the static and dynamic models is the purpose of this study. The study uses data sets from small and medium-sized manufacturing enterprises (SMEs) in Vietnam for the period 2009 - 2015. The instrumental variable approach is implemented to deal with the endogenous variable problem in the model. The results show an effect of credit constraint on the firms’ exporting status, and continuous exports are likely to reduce the limit of credit constraint.

The antimicrobial peptide LRGG (LLRLLRRGGRRLLRLL-NH2) was designed and chemically synthesized in a study conducted by Jia et al. Gram-negative bacteria were found to be sensitive to LRGG and exhibited a high therapeutic index. Genetic engineering methods were used to create the prokaryotic fusion expression vector pQE-GFP-LRGG, and the resulting corresponding fusion protein GFP-LRGG was subsequently expressed and purified. The precursor GFP was then removed by TEV proteolysis, and pure LRGG was obtained after another round of purification and endotoxin removal. The prokaryotic-expressed antimicrobial peptide LRGG displays a broad-spectrum antibacterial effect on gram-negative bacteria and can eliminate 99.99% of E. coli within 100 minutes at the minimal MIC concentration. Compared to the chemically synthesized LRGG, the prokaryotic-expressed LRGG exhibits similar temperature, pH, salt ion, serum stability, and cell selectivity. Furthermore, prokaryotic-expressed LRGG showed excellent therapeutic effects in both the infection model of cell selectivity and no embryotoxicity in a Galleria mellonella infection model. The mechanism by which LRGG causes bacterial death was found to be disruption of Gram-negative cell membrane.

A Wireless Body Area Network (WBAN) is a network of wirelessly connected sensing and actuating devices. WBANs used for recording biometric information and administering medication are classified as part of a Cyber Physical System (CPS). Preserving user security and privacy is a fundamental concern of WBANs, which introduces the notion of using biometric readings as a mechanism for authentication. Extensive research has been conducted regarding the various methodologies (e.g. ECG, EEG, gait, head/arm motion, skin impedance). This paper seeks to analyze and evaluate the most prominent biometric authentication techniques based on accuracy, cost, and feasibility of implementation. We suggest several authentication schemes which incorporate multiple biometric properties.

Because data authenticity and validity are becoming more and more of a concern in the digital age file security and integrity must be guaranteed. This paper investigates the application of HMAC-SHA256 which combines the Secure Hash Algorithm 256 (SHA256) with a private key for transmission-side source file authentication and verification. The study creates a prototype application to evaluate the efficacy of HMAC-SHA256 in securing file transfers by examining previous investigations on SHA and HMAC. The findings demonstrate that SHA256 produces unique file signatures which successfully guards against unwanted changes. Through the use of cryptographic hashes and secret keys to create distinct digital signatures that guarantee file authenticity HMAC improves security. The study shows that HMAC-SHA256 protects data integrity and detects tampering effectively. It does however stress how crucial it is to comprehend cryptographic concepts and apply these strategies with caution in order to prevent vulnerabilities. Overall the study finds that when properly implemented and updated HMAC-SHA256 greatly enhances file security in the digital age.

Abscisic acid (ABA) plays a major role in promoting ripening in sweet cherry, a non-climateric fruit. Exogenous application of ABA has been performed to study fruit ripening and cracking, but this growth regulator is not used for commercial production. To determine the potential of this growth regulator to improve sweet cherry fruit quality, ABA canopy spraying was assayed in four cultivars. Canopy spraying of S-ABA significantly: 1) enhanced sweet cherry fruit color in ‘Glenred’, ‘Lapins’ and 'Bing' cultivars, but not in ‘Royal Rainier’ (a bi-colored cultivar), and 2) decreased fruit size and firmness in ‘Lapins’, ‘Bing’ and ‘Royal Rainier’. Seasonally reproducible effects were seen in ‘Lapins’ (mid/late-maturing) but not in ‘Glenred’ (early-maturing). Canopy spraying of nordihydroguaiaretic acid (NDGA) decreased color and increased fruit size in ‘Lapins’, but not in ‘Glenred’. Direct application of ABA on fruits attached to the tree, without application to the foliage, increased Lapins' fruit color without reducing size. These results suggest a localized fruit response to exogenous ABA application on fruit color development, but that a decrease in fruit size may be due to the effects of exogenous ABA on the tree canopy foliage.

The digital transformation of critical infrastructures, such as energy or water distribution systems, is essential for their smart management. Faster issue identification and smoother services enable better adaptation to consumers' evolving demands. However, these large-scale infrastructures are often outdated. Their digital transformation is crucial to enable them supporting societies. This process must be carefully planned, providing guidance that ensures that the data they rely on is dependable and that the system remains fully operational during the transition. This paper presents a formal model that supports reliable data acquisition in legacy critical infrastructures, facilitating their evolution towards a data-driven smart system. Our model provides the foundation for a flexible transformation process while generating dependable data for system management. We demonstrate the model's applicability in a use case within the water distribution domain and discuss its benefits.

The implementation of Boolean functions using Nano crossbar- based switching lattices has been suggested as a substitute for conventional CMOS-based approaches in digital circuits . This alternative may satisfy the needs of future electronic designs, con- sidering the expected end of Moore’s law. This study introduces CVM, a Crossbar-based circuit Verification through Modeling tech- nique

The World Health Organization(WHO) in 2016 considered mHealth as: “the use of mobile wireless technologies including smart devices such as smartphones and smartwatches for public health” as an important resource for health services delivery and public health given their ease of use, broad reach and acceptance. WHO emphasizes the potential of this technology to increase access to health information, services and skills as well as promoting positive changes in health behaviors and management of diseases. In this regard, the capability of smartphones and smartwatches for m-health monitoring as well as verification of the patient the signal has become an important component of mHealth system. Most of the smartwatches could extract more than one bioelectrical signal therefore, therefore they provide suitable platform for extracting health data for e-monitoring. The existing approaches have not considered the integrity of data obtained from these smart devices. Therefore, it is important that the integrity of the collected data be verified continuously through user authentication. This could be done using any of the bioelectrical signals extracted and transmitted for e-monitoring. In this article, a smartwatch is used for extracting bioelectrical signal before decomposing the signal into sub-bands of Detail and Approximation Coefficient for user authentication. To select suitable features using biorthogonal wavelet decomposition of signal from a non-intrusive extraction, a detailed experiment is conducted extracting suitable statistical features from the bioelectrical signal from 30 subjects using different biorthogonal wavelet family. Ten features are extracted using Biorthogonal wavelet to decompose the signal into three levels of sub-band Detail and Approximation Coefficient and features extracted from each level the decomposed Detail and Approximation Coefficients. Comparison analysis is done after the classification of the extracted features based on the Equal Error Rate (EER). Using Neural Network (NN) classifier, Biorthogonal Wavelet Detail Coefficient Sub-band level 3 of bior1.1 achieved the best result of EER 13.80% with the fusion of the best sub-band three levels of bior1.1 achieving a better result of 12.42% EER.

Face verification for unrestricted faces in the wild is a challenging task. This paper proposes a method based on two deep convolutional neural networks(CNN) for face verification. In this work, we explore to use identification signal to supervise one CNN and the combination of semi-verification and identification to train the other one. In order to estimate semi-verification loss at a low computation cost, a circle, which is composed of all faces, is used for selecting face pairs from pairwise samples. In the process of face normalization, we propose to use different landmarks of faces to solve the problems caused by poses. And the final face representation is formed by the concatenating feature of each deep CNN after PCA reduction. What's more, each feature is a combination of multi-scale representations through making use of auxiliary classifiers. For the final verification, we only adopt the face representation of one region and one resolution of a face jointing Joint Bayesian classifier. Experiments show that our method can extract effective face representation with a small training dataset and our algorithm achieves 99.71% verification accuracy on LFW dataset.

We consider the financial planning problem of a retiree wishing to enter a retirement village at a future uncertain date. The date of entry is determined by the retiree's utility and bequest maximisation problem within the context of uncertain future health states. In addition, the retiree must choose optimal consumption, investment, bequest and purchase of insurance products prior to her full annuitisation on entry to the retirement village. A hyperbolic absolute risk-aversion (HARA) utility function is used to allow necessary consumption for basic living and medical costs. The retirement village will typically require an initial deposit upon entry. This threshold wealth requirement leads to exercising the replication of an American put option at the uncertain stopping time. From our numerical results, active insurance and annuity markets are shown to be a critical aspect in retirement planning.

This paper presents a case study analyzing which learning cognitive strategies are employed by students who play digital games in both in-school and out-of-school learning contexts. As a Case Study, it falls within the qualitative research category. The researcher integrated themselves to the subjects' learning facility for data-gathering, following all recommended ethical protocols for research involving underage subjects. The following data collection instruments were used: research diary, questionnaire, and interviews, conducted with teenagers who play digital games during formal learning activities. Analysis involved data-crossing and checking our data against existing studies and theories, as well as a cartographic production. Data indicates that digital games enhance student usage of cognitive strategies and favor competencies and abilities-based learning over formal learning contents.

With the proliferation of locating devices, more and more raw spatial trajectories are formed, and many works enrich these raw trajectories with semantics, and mine patterns from both raw and semantic trajectories, but access control of spatial trajectories is not considered yet. We present a multi-policy secure model for semantic spatial trajectories. In our model, Mandatory Access Control, Role Based Access Control and Discretionary Access control are all enforced, separately and combined, and we represent the model semi-formally in Ontology Web Language.

In modern times, technology has become more than just a tool; it is a vital component of our lives, driving society and humanity towards new horizons, better living standards, and solu-tions for complex, global challenges. This article explores the world of dependable systems, specifically focusing on system design, software solutions, and architectural decisions that fa-cilitate collaborative work. It aims to dive into the intricacies of designing robust and effective document collaboration software. Throughout this paper, readers will gain insights into the proposed design process, enabling them to understand, learn from, and critically evaluate the examined methodologies and outcomes. Like everything else in the software technology field, there are multiple solutions to any given problem, and this work is no exception to this rule. The objective of this study is to provide a detailed architectural overview of the microservices pattern in an orchestrated cloud environment based on independent containers. To examine the pros and cons of such a system, the paper will detail how a real-time document collaboration system can benefit from such an architecture regarding availability, elasticity, scaling, and disaster recovery. Moreover, the paper will analyze how cloud-native technologies can be used to create a scalable platform solution, capable of handling traffic, dynamic resource storage, asynchronous com-munication, and application scaling. The intricate nature of this system renders this paper a valuable resource for prospective investigations within the domain of dependable systems, cloud computing, and distributed systems. This paper not only showcases the design and implementation process but also sets a founda-tion for future research and innovation in dependable systems, collaborative technologies, sustainable solutions, and distributed system architecture.

Aiming at the problems of inaccurate segmentation of long object and information loss of small object in real-time semantic segmentation algorithm, this paper proposes a lightweight multi-branch real-time semantic segmentation network based on BiseNetV2. The new auxiliary branch makes full use of spatial details and context information to cover the long object in the field of view. Meanwhile, in order to ensure the inference speed of the model, the asymmetric convolution is used in each stage of the auxiliary branch to design a structure with low computational complexity. In the multi-branch fusion stage, the alignment and fusion module is designed to provide guidance information for deep and shallow feature mapping, so as to make up for the problem of feature misalignment in the fusion of information at different scales, and thus reduce the loss of small target information. In order to further improve the model’s awareness of key information, a global context module is designed to capture the most important features in the input data. The proposed network uses NVIDIA GeForce RTX 3080 Laptop GPU experiment, on the road street view data set Cityscapes and CamVid average occurring simultaneously ratio reached 77.1% and 78.4% respectively, with running speed of 127 frames/s respectively and 112 frames/s. The experimental results show that the proposed algorithm can achieve real-time segmentation and improve the accuracy significantly, showing good semantic segmentation performance

Meixner's historical remark in 1969 "... it can be shown that the concept of entropy in the absence of equilibrium is in fact not only questionable but that it cannot even be defined...." is investigated from today's insight. Several statements --such as the three laws of phenomenological thermodynamics, the embedding theorem and the adiabatical uniqueness-- are used to get rid of non-equilibrium entropy as a primitive concept. In this framework, Clausius inequality of open systems can be derived by use of the defining inequalities which establish the non-equilibrium quantities contact temperature and non-equilibrium molar entropy which allow to describe the interaction between the Schottky system and its controlling equilibrium environment.

The rapid development of LiDAR technology has promoted great changes in forest resource surveys. The airborne LiDAR point cloud can provide precise tree height and detailed vertical structure of the tree stands. Coordinating some representative ground sample plots, LiDAR can be used to estimate key forest resource indicators such as forest stock volume, diameter at breast height, and forest biomass at a large scale. By establishing relationship models between the forest parameters of sample plots and the calculated parameters of LiDAR, these developments may eventually expand the models to large-scale forest resource surveys of entire areas. In this study, eight sample plots in northeast China are used to verify and update the information using point cloud obtained by the LiDAR scanner riegl-vq-1560i. Firstly, the tree crowns are segmented using the profile-rotating algorithm, and dominant trees height are used to check and rectify the tree locations. Secondly, considering the correlation between forestry parameters and tree species, we establish models to distinguish between species using geometric characteristics of tree crowns. Thirdly, when the tree species is known, parameters such as height, crown width, diameter at breast height, biomass and stock volume can be extracted from trees. The prediction models of forestry parameters can also be verified, which can be extended to accurate large-scale forestry surveys based on LiDAR data. Finally, experiment results demonstrate that the F-score of the eight plots in the tree segmentation exceed 0.95, the accuracy of tree species correction exceeds 90%, and the R2 of tree height, east-west canopy width, north-south canopy width, diameter at breast height, above-ground biomass and stock volume are 0.893, 0.757, 0.694, 0.840, 0.896 and 0.891, respectively. The above results indicate that the LiDAR-based estimation of forestry parameters is practical and that these forestry parameter prediction models can be widely applied in forest resource monitoring.

This case report investigates 5 real cases which followed legal channels and were judged by Mato Grosso Court in Brazil. Audio systems served as elements of key evidence on those lawsuits. The goal here is to analyze the cases by using a methodology based on the forensic speaker verification by using the Ordinary Least Squares (OLS) algorithm and to compare results with analyses obtained on real cases. The comparative analysis is assessed for time elapsed for obtaining results, as well as results quality. In Brazil, the lawsuit duration is very important, since the Penal Code foresees prescription after a given time, and it may lead to impunity. Results show that the analysis, by using OLS, generates immediate, effective results when compared to those obtained with traditional methodologies on the studied Brazilian lawsuits.

We present the result of comparison of Gaia DR2 parallaxes and photometry with data derived from a combined analysis of 2MASS, SDSS, GALEX, and UKIDSS surveys in four selected high-latitude sky areas. We have shown that, under certain circumstances, multicolor photometric data from large modern surveys can be successfully used for parameterization of stars, including estimation of distance and interstellar extinction value.

This study explores novel techniques to improve the detection accuracy of skarn iron deposits using advanced image processing methodologies. Leveraging the capabilities of Aster image, Band Ratio (BR) images, and Principal Component Analysis (PCA), alongside the power of 3D Convolutional Neural Networks (3D-CNN), the research aims to enhance the precision and efficiency of ore detection in complex geological environments. The proposed method employs a specific 3D-CNN architecture, accepting input as a 7×7×C image patch, where C represents the combined number of selected Aster image bands, Principal Component (PC) bands, and computed BR images. To evaluate the accuracy of the proposed method, five distinct image bands combinations, including the proposed bands combination, were tested and evaluated based on the overall accuracy (OA), average accuracy (AA), and kappa coefficient. The results demonstrated that while the incorporation of BR images alongside Aster bands initially seemed promising, it introduced significant confusion in certain classifications, leading to unexpected mis-classification rates. Surprisingly, utilizing solely Aster bands as input parameters yielded higher accuracy rates (OA= 93.13%, AA = 91.96%, Kappa = 90.91%) compared to scenarios involving the integration with band ratios (OA = 87.02%, AA = 79.15, and Kappa = 82.60%) or the integration of BR images to PC bands (OA= 87.78%, AA = 82.39%, Kappa = 83.81%). However, the amalgamation of Aster bands with selected PC bands showed slight improvements in accuracy (OA= 94.65%, AA = 92.93%, Kappa = 93.45%), although challenges in accurately classifying certain features persisted. Ultimately, the proposed combination of Aster bands, PC bands, and BR images (proposed bands combination) presented the most visually appealing and statistically accurate results (OA = 96.95%, AA= 94.87%, and Kappa = 95.93%), effectively addressing misclassifications observed in the other combinations. These findings underscore the synergistic contributions of each of the Aster bands, PC bands, and BR images, with Aster bands proving pivotal for optimal skarn classification, PC bands enhancing intrusions classification accuracy, and BR images strengthening wall rock classification accuracy. In conclusion, the proposed combination of input image bands emerges as a robust and comprehensive methodology, demonstrating unparalleled accuracy in the remote sensing detection of skarn iron minerals.

The Soil and Water Assessment Tool (SWAT) is one of the most widely used hydrologic models. SWAT has been undergoing constant changes since its development. However, compartment review and testing of SWAT are comparably limited, especially the flood routing functions. In this study, the daily flood routing subroutines of different SWAT versions were reviewed and tested using a well observed segment of the Weser river located in Germany. Results show several problems with the flood routing subroutines of SWAT. The variable storage subroutine of SWAT (revision 664) does not transform the flood wave. Unphysical results could be obtained with the variable storage routing of SWAT (revision 528). The Muskingum subroutine of SWAT (revisions 664 and 528) overestimates channel evaporation (resulting in a bias of 14\% to 19% in streamflow) and underestimates transmission losses. Simulated results show that the timing and shape of the flood wave could be improved with a corrected Muskingum subroutine. Based on the results of this study, we suggest the SWAT user community to review their existing SWAT models to see how the aforementioned issues will affect their methods, findings and conclusions.

The concept of Digital Twins has been in the field for a long time, constantly challenging the specification, modeling, design, implementation, and exploitation of complex cyber-physical systems. Despite the various foundations, standards, and platforms in Systems Engineering, there are ongoing challenges with Verification and Validation methodology. This study aims to establish a generic framework that addresses the various aspects of Digital Twinning. The multifaceted nature of the problem requires raising the abstraction level in both the Real (Actual) and Virtual domains, effective dissemination of information resources, and a design inspired by verification and validation. The proposed framework combines the Quintuple Helix model with the Problem and Operational Domains of a Real (Actual) Twin, the Solution and Implementation Domains of a Virtual Twin, and the Execution Domain as the bridge that links them. Verification and Validation dimensions follow the Meta Object Facility abstraction layers (Instance, Model, Meta-model, and Meta-meta-model) mapping over five Helices. Embedding the complexity reduction mechanisms in the proposed framework builds a suite for extendible and verifiable digital twinning in simulation and real-time scenarios.

With the rise of Internet of Things (IoT) devices and Cyber-Physical Systems, the demand for more functional and high-quality software has increased tremendously. To meet this need, we must reengineer and reuse existing software, as well as develop new software formal verification methods. One such method is based on physical quantities defined by the System International, which have physical dimensions. The homogeneity of physical dimensions in software code enables us to check the software code in the space of base units, making it the first basis of the new software verification method. However, this method cannot check expressions with angles, angle speed, and other similar features. To address this, a transformation for physical value orientation introduced by Siano allows us to check software code for orientational, stabilization, and other related branches. This makes the orientational homogeneity the second basis of the new software verification method. To assess the effectiveness of the proposed method, we developed special software defect models based on the statistical characteristics of software code. We used a special statistical analysis tool to define the statistical characteristics of modern software and analyzed over 2 GB of C++ GITHUB code for drones. Based on the actual distribution of software characteristics, the proposed method can detect over 60% of latent software defects. Implementing this method can significantly reduce testing time, improve reliability, and enhance overall software quality.

The rapid growth of Artificial Intelligence (AI) has led to considerable progress in Automated Fact Verification (AFV). This process involves collecting evidence for a statement, assessing its relevance, and predicting its accuracy. Recently, research has begun to explore automatic explanations as an integral part of the accuracy analysis process. However, the explainability within AFV is lagging compared to the wider field of explainable AI (XAI), which aims at making AI decisions more transparent. This study looks at the notion of explainability as a topic in the field of XAI, with a focus on how it applies to the specific task of Automatic Fact Verification. It examines the explainability of AFV, taking into account architectural, methodological, and dataset-related elements, with the aim of making AI more comprehensible and acceptable to the general society. Although there is a general consensus on the need for AI systems to be explainable, there a dearth of systems and processes to achieve it. In this research, we investigate the concept of explainable AI in general and demonstrate its various aspects through the particular task of Automated Fact Verification. We explore topic of faithfulness in the context of local and global explainability and how these correspond with architectural, methodological and data-based ways of achieving it. We examine these concepts for the specific case of AFV and analyze the current datasets used for AFV and how they can be adapted to further the identified aims on XAI. The paper concludes by highlighting the gaps and limitations in current data science practices and possible recommendations for modifications in architectural and data curation processes that would further the goals of XAI.

Relationships of the three bryophyte lineages (liverworts, mosses, and hornworts) to vascular plants is a pivotal question in the study of origin and evolution of land plants. In recent decades, this question has been subject to intense phylogenetic analyses using morphological characters, multigene DNA sequences, and genome structural characters. A tentative consensus reached ten years ago suggested that bryophytes are a paraphyletic group, with liverworts being sister to all other land plants and hornworts being sister to vascular plants. However, several more recent nuclear phylogenomic studies have concluded that bryophytes represent a monophyletic group that is sister to vascular plants. A discussion is presented here on strengths and weaknesses of different types of characters (morphological traits, nucleotide sequences, and genome structural arrangements), and their suitability for resolving deep phylogenetic relationships. Moreover, several criteria for credible phylogenetic reconstruction are proposed. Strong statistical support for reconstructed relationships should be derived from high quality, independent characters selected for suitability to the particular question being addressed. The relationships inferred in a study should be congruent with those from as many other lines of phylogenetic evidence as possible. Any incongruities should be explicable by well-understood biological mechanisms. It is concluded that the relationships of the three bryophyte lineages to vascular plants should currently be viewed as unresolved. This is a difficult phylogenetic problem; the land plants underwent a rapid radiation a long time ago. Yet, further exploration of analytical methods and careful choice of characters should lead to eventual elucidation of diversification patterns among early land plants.

African yam bean (Sphenostylis stenocarpa Hochst, Ex. A. Rich. Harms) is an important grain legume in sub-Saharan Africa because of its nutritional value and adaptability to various agroecological zones. To foster the varietal development of improved African yam bean (AYB) genotypes with economic traits, it is necessary to validate parental polymorphism for key markers in selecting progenies from crosses between desired parents. The study aims to analyze the genetic fidelity between parents and F1 progenies in African yam bean through putative cowpea Simple sequence repeat (SSR) markers. Hence, a total of seventy-seven progenies were derived from four sets of biparental crossings using drought-susceptible (TSs-96, TSs-363, and TSs-274) and drought-tolerant (TSs-417, TSs-111, and TSs-78) AYB accessions. These were validated using 120 cowpea primers targeting SSR under optimal PCR conditions, and the size of the PCR-amplified DNA fragments was checked using gel electrophoresis. Twenty primers exhibited polymorphism in the parental lines, while ten displayed higher levels of the same polymorphism. The average polymorphism level for the surveyed SSR markers was 0.36. Given these findings, our study demonstrates that cowpea SSR markers are a reliable method for regular testing and clear identification of AYB crosses, indicating potential AYB improvements.

The digital transformation in Industry 4.0 has revolutionized quality control paradigms, integrating advanced technologies such as augmented reality, deep learning, and computer vision systems into a new era called "Quality 4.0". This study systematically reviews how these technologies are shaping new practices in continuous quality supervision and improvement, adapting to increasingly automated and connected production environments. Through a comprehensive analysis of the literature, practical applications in various industrial sectors, from manufacturing and agriculture to the production of sweets and snacks, are highlighted. Additionally, the conceptual and detailed design of a quality control system using artificial intelligence tools is presented, focusing on the inspection of dimensions, color, weight, and labeling of MDF boxes. The proposed system demonstrates an effective integration of sensors, high-definition cameras, and deep learning algorithms, validated through tests with boxes of different sizes. The results suggest that the adoption of these technologies not only improves the accuracy and efficiency of inspections but is also essential to maintaining high-quality standards in a dynamic and competitive industrial environment.

The article adds new policy insights to the way in which formal teaching methods of environmental stewardship education areas are evaluated in Tuvalu. We aimed to answer three questions: 1. What are the formal policies shaping environmental stewardship education in Tuvalu? 2. Are national educational and environmental policies mutually consistent? and 3. Are these national policies consistent with regional and global policies? These questions were addressed using a study of Tuvaluan online-available documentary assessments of national policies, frameworks, and curricula in conjunction with those obtained from the Education Department. Our findings revealed limitations and weaknesses regarding the provisions of environmental stewardship education at the national scale, including misaligned curricula, policy documents, and formal educational provisions with Tuvalu’s national environmental policy. We also found inconsistencies with regional and global policies such as the Pacific Islands Framework for Nature Conservation, the Framework for Resilient Development in the Pacific, and international strategic plans for biodiversity and climate change. These cross-scalar policy weaknesses and limitations highlight the need for the Tuvaluan government to align educational and environmental policies at different scales. We recommend a multi-pronged strategy where modes of informal environmental education can support and complement formal government policymaking on education and the environment.

Sharding shows great potential for extending the blockchain. The current challenge facing sharded blockchain technology lies in addressing the extended transaction confirmation times caused by isolated states between shards and unbalanced transaction allocation strategies. These factors contribute to an increase in cross-shard transactions and disproportionate shard workload, ultimately resulting in indefinite confirmation delays for cross-shard transactions. A critical priority for sharded blockchain systems is to conduct a comprehensive qualitative analysis to better understand and mitigate the prolonged transaction confirmation times. We introduce a Product-Form Queue Network (PFQN) model to address the transaction confirmation time problem in sharded blockchains and incorporate a new confirmation queue to more accurately simulate the actual transaction confirmation process in the blockchain. In addition, we provide a detailed quantitative analysis of the relationship between network load, consensus efficiency, and security in sharded blockchains, laying a theoretical foundation for achieving robustness and efficiency in sharded blockchains. This research not only contributes to addressing the scalability issues in sharded blockchains but also offers a new perspective for future research directions.

Lightning is responsible for most annually burned area by wildfires in the extratropical region of the Northern Hemisphere. Hence, predicting the occurrence of wildfires requires reliable forecasting of the chance of cloud-to-ground lightning strikes during storms. Here, we describe the development and verification of a probabilistic lightning-strike algorithm designed to run on a uniform 20-km grid over the Continental USA and Alaska. The algorithm consists of a large set of logistic equations parameterized via logistic regression using long-term data records of observed lightning strikes and meteorological reanalysis fields from NOAA. Principal Component Analysis was employed to extract 13 Principal Components (strong predictors) from a list of 611 potential predictors. Our statistical analysis revealed that the occurrence of cloud-to-ground lightning strikes primarily depends on three factors: horizontal temperature distribution by pressure levels, amount of low-level atmospheric moisture, and wind vectors. These physical variables impact the vertical separation of electric charges in the lower troposphere during storms causing the voltage potential between ground and the cloud deck to increase to a level that triggers electrical discharges. Results from a forecast verification using independent data showed excellent model skill, thus making this algorithm suitable for inclusion into software systems forecasting the chance of wildfire ignitions.

In this paper, we consider the Cauchy problem of a time fractional nonlinear diffusion equation. According to the Kaplan’s first eigenvalue method, we first prove the blow-up of the solutions in finite time for some sufficient conditions. We next give sufficient conditions for the existence of global solutions by using the result of Zhang and Sun. In conclusions, we find the second critical exponent for the existence of global and non-global solutions via the decay rates of the initial data at spatial infinity.

This paper aims to explore differences in personality traits, focusing on the levels of primary psychopathy, between formal leaders of family and non-family companies as well as assessing differences in the job satisfaction levels of their employees. Moreover, we assess the relationship between the employees' perception of their formal leader’s primary psychopathy levels and their job satisfaction levels in family firms. The empirical evidence is provided by a sample of 95 Portuguese employees, who responded to a questionnaire that included their perception of their formal leader’s primary psychopathy level and job satisfaction measures. All respondents work in small and medium-sized private companies with no management responsibilities and under formal hieratical supervision. The initial idea that family firms’ employees perceive lower levels of primary psychopathy in their formal leaders than non-family firms’ employees was confirmed. However, employees of family and non-family firms did not differ in their job satisfaction levels. The results also support the notion that perceived levels of primary psychopathy in formal leaders are negatively associated with the employees’ job satisfaction levels. These findings contribute to the research literature by addressing two aspects under-addressed in the comparison between family and non-family firms, while offering insights on the relationship between primary psychopathy in formal leaders and job satisfaction levels of employees working in family firms.

We investigate how formal institutional distance (FID) moderates the relationship between cul-tural distance (CD) and the financial performance of foreign subsidiaries firms. Following recent research, we estimate the asymmetric effects of CD by considering its size and direction towards host countries on the opposite poles of each cultural dimension` scale. We propose that a limited understanding of the formal institutions in the host country, as measured by the magnitude and direction of the FID, can have a positive moderating effect, increasing the impact of CD on finan-cial performance. This is mainly because foreign subsidiary firms may be more reliant on their ca-pacity to navigate the less formal (and more implicit) aspects of the host country's institutional environment, such as their ability to cope with the CD. We use foreign subsidiary data from the Orbis database including 22 developed and 22 developing home countries and over 1400 foreign subsidiaries during a period of 3 consecutive years operating in 10 of the largest economies (host countries) in Latin America including: Argentina, Brazil, Colombia, Chile, Ecuador, Mexico, Panama, Peru, Uruguay, and Venezuela. Findings confirm the asymmetric effects of CD, howev-er, by considering the direction of FID, our findings reveal that the higher the FID towards less developed host countries, the more significant the effects of CD on the financial performance. These findings contribute to the knowledge of how formal and informal institutional distances in-teract by showing that the greater the FID towards less developed host countries, to higher the impact of CD on the financial performance of foreign subsidiary firms.

Wear simulation aims to assess wear rates and their dependence on factors like load, kinematics, temperature, and implant orientation. Despite its significance, there's a notable gap in research concerning advancements in simulator control systems and the testing of clinically relevant waveforms. This study addresses this gap by focusing on enhancing the conventional proportional-integral-derivative (PID) controller used in joint simulators through the development of a fuzzy logic-based controller. Leveraging a single-input-multiple-output (SIMO) fuzzy logic control system, the study aimed to improve displacement control, augmenting the traditional Proportional-Integral (PI) tuning approach. Implementation and evaluation of a novel Fuzzy-PI control algorithm were conducted on the Leeds spine wear simulator. The study also included testing of daily-living (DL) profiles, particularly from the hip joint, to broaden the scope of simulation scenarios. While both the conventional PI controller and the Fuzzy-PI controller met ISO tolerance criteria for the spine flexion-extension (FE) profile at 1Hz, the Fuzzy-PI controller demonstrated superior performance at higher frequencies and with DL profiles due to its real-time adaptive tuning capability. The Fuzzy-PI controller represents a significant advancement in joint wear simulation, offering improved control functionalities and a more accurate emulation of real-world physiological dynamics.

Exoskeletons designed to assist patients with activities of daily living are becoming increasingly popular, but still are subject to research. In order to gather requirements for the design of such systems, long-term gait observation of the patients over the course of multiple days in an environment of daily living are required. In this paper a wearable all-in-one data acquisition system for collecting and storing biomechanical data in everyday life is proposed. The system is designed to be cost efficient and easy to use, using off-the-shelf components and a cloud server system for centralized data storage. The measurement accuracy of the system was verified, by measuring the angle of the human knee joint at walking speeds between 3 and 12 km/h in reference to an optical motion analysis system. The acquired data was uploaded to a cloud database via a smartphone application. Verification results showed that the proposed toolchain works as desired. The system reached an RMSE from 2.9° to 8°, which is below most of the comparable system. The system provides a powerful, scalable platform for collecting and processing biomechanical data, which can help to automize the generation of an extensive database for human kinematics.

In electromagnetic ultrasonic testing, it is difficult to recognize small-size bottom cracks by time of flight (ToF), and the lift-off fluctuation of the probe affects the accuracy and consistency of the inspection results. In order to overcome the difficulty, a novel EMAT (electromagnetic acoustic transducer)-PEC (pulse eddy current) composite sensor is designed. We use amplitude of bottom echo recorded by EMAT to identify the tiny bottom crack as well as the amplitude of PEC signals picked up by the integrated symmetric coils to measure the average lift-off of the probe in real time. Firstly, the effects of lift-off and bottom cracks on amplitude of bottom echo are distinguished combining the theoretical analysis and finite element method (FEM). And then an amplitude correction method based on the fusion of EMAT and PEC signals is proposed to reduce the impact of lift-off on the defect signal. The experimental results demonstrate that the designed composite sensor can effectively detect the bottom crack as small as 0.1mm* 0.3mm. The signal fusion method can accurately correct the amplitude of defect signal and the relative error is less than ±8%.

Runtime verification (RV) is a lightweight approach to detecting temporal errors of system at runtime. It confines the verification on observed trajectory which avoids state explosion problem.To predict the future violation, some work proposed the predictive RV which uses the information from models or static analysis. But for software whose models and codes cannot be obtained, or systems running under uncertain environment, these predictive methods cannot take effect. Meanwhile, RV in general takes multi-valued logic as the specification languages, for example the " true, false and inconclusive" in three-valued semantics. They cannot give accurate quantitative description of correctness when "inconclusive" is encountered. We in this paper present a RV method which learns probabilistic model of system and environment from history traces and then generates probabilistic runtime monitor to quantitatively predict the satisfaction of temporal property at each runtime state. In this approach, Hidden Markov Model (HMM) is firstly learned and then transformed to Discrete Time Markov Chain (DTMC). To construct incremental monitor, the monitored LTL property is translated into Deterministic Rabin Automaton (DRA). The final probabilistic monitor is obtained by generating the product of DTMC and DRA, and computing the probabilities for each state. With such method, one can give early warning once the probability of correctness is lower than pre-defined threshold, and have the chance to do adjustment in advance. The method has been implemented and experimented on real UAS (Unmanned Aerial Vehicle) simulation platform.

We show that an experimentally plausible system consisting of a modulated wire medium hosted in a metal cavity can preserve the longitudinal field profile shaping predicted by Boyd et al. (2018) on the basis of a perfectly periodic wire-only structure. These new frequency domain numerical results are a significant step towards justifying the construction of an experimental apparatus to test the field profile shaping in practise.

In rural Zimbabwe, selling of cattle has for a long time been one of the most dependable sources of income that has sustained livelihoods for decades. Informal cattle marketing which involves door to door or gate sales has been the most predominant system for the last three decades. However, the outbreak of the global COVID-19 pandemic followed by the imposition of lockdowns has exposed the vulnerability of rural communities that are regressing into poverty due to a lack of alternative sources of income. The aim of this paper is, therefore, to delineate how formal cattle markets could be used as a sustainable source of income for rural communities’ livelihoods during and post the COVID-19 pandemic era. This qualitative research study relied on secondary data from published journal articles, online publications, and reports to understand the COVID-19 pandemic and also understand how it has impacted the livelihoods of people in rural Zimbabwe. The findings show that the current informal cattle marketing system is no longer suitable for rural communities as it exposes them to infections due to the challenges in ensuring compliance with the World Health Organisation (WHO) precautionary measures. It is recommended that formal (public) cattle markets be reintroduced in all rural areas as there is the certainty that WHO health guidelines will be enforced since they are organised by local and central government institutions. Since formal cattle markets offer competitive market-related prices this will then guarantee the flow of regular income thereby reducing the vulnerability of rural communities to poverty and inequalities.

The term Air Quality (AQ) pertains to the standard of air, which has a direct impact on the health and well-being of individuals. It is crucial to maintain high Air Quality (AQ), for better health and productivity. Though most of people spend more time indoors nowadays, it is not to be overlooked that the pollutant concentration in indoor air is directly linked to the outdoor air quality. Due to the changes in occupancy patterns, outdated maintenance of ventilation systems, and structural flaws in buildings, the indoor air is significantly polluted; pollutants emitted outdoors enter indoor air through open windows, ventilation systems and infiltration. In this paper, we have proposed a new technique, DTMCPM (discrete-time Markov chain (DTMC) model for the analysis and forecasting of AQ, using the power method). Specialized sensors and equipment to measure different pollutants, such as particulate matter, ozone, nitrogen dioxide, sulfur dioxide, benzene and toluene, are used to collect data by the Institute of Pakistan Air Quality Monitor in various cities; the data is converted to US EPA standard for all pollutant species. This data is used to calculate the transition matrix, steady-state values and mean return rate for the analysis of IAQ. The calculated and actual return rates have been compared and the proposed model is found to have a low average prediction error of 2.356%.

A self-propelled electric tea seed-planter is designed to address the lack of tea seed seeding equipment, low seeding efficiency, and poor seeding uniformity. Based on the physical characteristics of the tea seeds and the agronomic requirements of tea planting, the key structure of the planter is designed, and the structural parameters are determined. The motor and battery configurations are determined by calculating the power consumption of the entire machine. In a field experiment, the driving gear (A), ditching depth (B), and planting gear position (C) are used as test factors, and the acceptance index (AI), replay index (RI) and leakage index (LI) are used as test indexes. The test results showed that the driving speed and planting gear position significantly affect the acceptance index, replay, and leakage index, whereas the ditching depth has little effect on the performance indexes. When the driving speed was medium, ditching depth was 30 mm, and planting gear position was in the third gear, the corresponding acceptance index was 87.22%, the replay index was 8.89%, and the leakage index was 3.89%. The test prototype has a good working quality and can provide theoretical guidance for production practices.

Remediation of IT issues encoded into domain-specific or user-defined alerts occurring in cloud environments and customer ecosystems in a vast majority of cases suffers from accurate recommendations which could be timely supplied for recovery of performance degradations. That, of course, is hard to realize through furnishing those abnormality definitions with an appropriate expert knowledge which varies from one environment to another. At the same time, in a large proportion of support cases, the reported problems under Global Support Services (GSS) or Site Reliability Engineering (SRE) treatment ultimately go down to the product teams making them waste costly development hours on investigating self-monitoring metrics of our solutions. Therefore, the mean-time-to-resolution (MTTR) rates of problems/alerts are significantly impacted from lack of a systematic approach towards adopting AI Ops. That would imply building, maintaining, and continuously improving/annotating a data store of insights that ML models are trained and generalized across the whole customer base and corporate cloud services. Our ongoing study is in line with such a vision and validates an approach that learns the alert resolution patterns in such a global setting and explains them using interpretable AI methodologies. The knowledge store of causative rules is then applied in predicting potential sources of the application degradation reflected in an active alert instance. In this communication, we share our experiences with a prototype solution and up to date analysis demonstrating how root conditions are discovered with a high accuracy for a specific type of problem. It is validated against the historical data of resolutions performed by heavy manual development efforts. We also offer a Dempster-Shafer theory-based rule verification framework for experts as a what-if analysis tool to test their hypotheses about underlying environment.

For more than twenty years chemists use peptidic organocatalysts to transfer acyl groups onto alcohols. The goal was and still is the increase of selectivity towards the substrate of choice. One carefully designed example is a highly enantioselective tetrapeptide organocatalyst for the kinetic resolution of trans-cycloalkane-1,2-diols. Until now, the intermediate responsible for the acyl transfer of this tetrapeptide has never been directly observed. It was proposed computationally that a π-methylhistidine moiety is acylated as an intermediate step in the catalytic cycle. In this study we set out to investigate whether we can detect and characterize this key intermediate using NMR-spectroscopy and mass spectrometry. Different mass spectrometric experiments using a nano-ElectroSpray Ionization (ESI) source and tandem MS-techniques allowed the identification of tetrapeptide acylium ions using different acylation reagents. The complexes of trans-cyclohexane-1,2-diols with the tetrapeptide were also detected. Additionally, we were able to detect acylated tetrapeptides in solution using NMR-spectroscopy and monitor the acetylation reaction of a trans-cyclohexane-1,2-diol. These findings are important steps towards the understanding of this organocatalyst and its high enantioselectivity.

Cloud robot is becoming popular and security of cloud robot is important. However, the researches of cloud robot safety are a few. This work develops a security policy to defense DDoS attack of cloud robot. In this policy, complex, but accurate calculation models are deployed on the cloud, simple but efficient calculation models are deployed on the robot. In the cloud, there are master server and standby server. The master server transfers parameters of complex but accurate models to the standby server periodically and the master executes the start-stop backup policy. Specifically, this work proposes and proves an algorithm to dynamically adjust the interval of parameter transfer. According to a PDRA feature of Netflow, when DDoS attacks, the master server sends warning signals to the robot and standby server. The robot runs local models to avoid stopping work until it is connected to the standby server. Then, standby server provides service to the robot until the master server recover. Finally, this work implemented a gesture recognition cloud robot based on convolutional neural network, hidden Markov model and PDRA feature of Netflow to verify the policy. Experiment shows that the security policy to defense DDoS attack for cloud robot is effective.

Chip pad alignment inspection is of great importance in the industrial field. However, due to the fact that chip pads are usually small, problems such as misdetection and missed detection often occur. When applying deep learning methods for chip pad detection, it is necessary to ensure accurate detection of small target chips while meeting the requirements of lightweight detection models for industrial needs. To solve the above problems, this paper proposes a lightweight model based on improved YOLOv5s. Firstly, the feature extraction part is improved to increase the network's focus on the target. Secondly, the feature fusion layer is improved to double the resolution of the prediction head, and the context-aware network is designed to enhance the context-capture ability of key features of small targets. Finally, SIoU is adopted as the loss function to improve the speed and accuracy of the regression frame. The experimental results show that the improved YOLOv5s algorithm improves the detection accuracy by 2.3% and reduces the network parameters by 81.8% compared to the original algorithm. The improved algorithm is combined with image processing techniques to design correction methods for alignment anomalies and realize real-time alignment anomaly correction in industry.

The necessity for precise and current data concerning the dynamics of land cover change in Indonesia is crucial for efforts to reduce natural vegetation cover due to agricultural expansion. The functionality of monitoring systems that incorporate Terra-MODIS is currently compromised by the limited availability of data for the immediate future. This study seeks to assess the potential of VIIRS satellite imagery in developing an early warning system for monitoring vegetation cover change in Indonesia. The Normalized Differential Open Area Index (NDOAI) computed from the 8-day’ VIIRS data was employed to detect changes in vegetation cover based on pixel-by-pixel subtraction in the NDOAI data time series. Evaluating the pixel-level accuracy of change detection is complicated due to the fact that we evaluate a change map at a coarser resolution than the Landsat-based reference map. The results revealed that increasing the threshold percentage is associated with improved accuracy. In change detection, there is often a trade-off between accuracy and sensitivity. A threshold that is too low may result in false positives, while a threshold that is too high may lead to missed changes. This study demonstrates that when a threshold value of less than 20% is applied, Landsat can identify vegetation cover changes at an earlier stage. Conversely, when a threshold value greater than 20% is employed, VIIRS will detect the change 4.5 days earlier than Landsat. Additionally, VIIRS is capable of detecting changes 25.4 days and 54.8 days faster than Landsat, respectively, when using thresholds of 40% and 75%.

In the field of railroad safety, effective detection of surface cracks is critical, necessitating reliable, high-speed non-destructive testing (NDT) methods. This study introduces a hybrid Eddy Current Testing (ECT) probe, specifically engineered for railroad inspection, to address the common issue of ’lift-off noise’ due to varying distances between the probe and test material. Unlike traditional ECT methods, this probe integrates transmit and differential receiver coils, aiming to enhance detection sensitivity and minimize lift-off impact. The study optimizes ECT probes employing different driver coils, emphasizing three main objectives: a) quantitatively evaluating each probe using signal- to-noise ratio (SNR) and outlining a real-time data processing algorithm based on SNR methodology; b) exploring the frequency range proximal to the electrical resonance of the receiver coil; c) examining sensitivity variations across varying lift-off distances. The experimental outcomes indicate that the newly designed probe with figure 8-shape driver coil significantly improves sensitivity in detecting surface cracks on railroads. It achieves an impressive SNR exceeding 100 for defects with minimal dimensions of 1 mm in width and depth. Simulation results closely align with experimental findings, validating the investigation of optimal operational frequency and lift-off distance for selected probe performance, determined to be 0.3 MHz and 0.5 mm, respectively. The realization of this project would lead to notable advancements in enhancing railroad safety by improving crack detection efficiency.

In this paper, a proof similar to the Pusey-Barrett-Rudolph (PBR) theorem is given to prove that time in quantum theory is not epistemic but has ontological reality. For this, we first discuss how time can be encoded as an intrinsic property of a quantum system. We prepare a quantum state containing time as an intrinsic property and show by a PBR-type proof that time cannot be an epistemic notion. In fact, the PBR theorem implies an ontic notion of time. Indeed, if the quantum state is a physical property, then quantum state reduction is a physical process involving information destruction. In this case, quantum probabilities are intrinsic probabilities without epistemic origin, and they generate a genuinely new sequence of events. This novelty introduced by quantum probabilities can be interpreted as time.

One of the notable temporal properties of dynamical systems is that a set of initial states leads the solutions to reach desired states avoiding a predetermined unsafe set.This property, that we call safe reachability has been studied in literature for autonomous systems using Barrier functionand Barrier densities [1]. In this paper, we generalize a sufficient condition for safe reachability of autonomous systemto switched systems under arbitrary switching signals. The condition relies upon the existence of a common Barrier density function for each subsystem. We apply the condition using the sum of squares method together with Putinar Positivstellensatz.

Generator automatic voltage control device (AVC) is an automatic voltage and reactive power optimization control terminal on the power plant side. Aiming at improving the performance of generator automatic voltage control device, this paper introduces a detection method of AVC substation performance based on virtual dispatching terminal environment. During the testing, the upper computer of redundant power plant is connected to the virtual dispatching terminal environment to simulate the sending instructions of AVC master station, the behavior of AVC sub stations and the excitation system of generators. The performance of AVC substation is evaluated according to the feedback adjustment results, which can effectively detect the abnormal behavior of AVC substation in power plant.

We examine how observations can be used to evaluate an air quality analysis by verifying against passive observations (i.e. cross-validation) that are not used to create the analysis and we compare these verifications to those made against the same set of (active) observations that were used to generate the analysis. The results show that both active and passive observations can be used to evaluate of first moment metrics (e.g. bias) but only passive observations are useful to evaluate second moment metrics such as variance of observed-minus-analysis and correlation between observations and analysis. We derive a set of diagnostics based on passive observation–minus-analysis residuals and we show that the true analysis error variance can be estimated, without relying on any statistical optimality assumption. This diagnostic is used to obtain near optimal analyses that are then used to evaluate the analysis error using several different methods. We compare the estimates according to the method of Hollingsworth Lonnberg, Desroziers, a diagnostic we introduce, and the perceived analysis error computed from the analysis scheme, to conclude that as long as the analysis is optimal, all estimates agrees within a certain error margin. The analysis error variance at passive observation sites is also obtained.

Optimal control is a critical tool for mechanical robotic systems, facilitating precise manipulation of dynamic processes. These processes are described through differential equations governed by a control function, addressing a time-optimal problem with bilinear characteristics. Our study utilizes the classical approach complemented by Pontryagin's Maximum Principle (PMP) to explore this inverse optimal problem. The objective is to develop an exact piecewise control function that effectively manages trajectory control while considering the effects of viscous friction. Our simulations demonstrate that the proposed control law markedly diminishes oscillations induced by boundary conditions. This research not only aims to delineate the reachability set but also strives to determine the minimal time required for the process. The findings include an exact analytical solution for the stated control problem.

Quantum gravity theories rely on a minimal measurable length for their formulations, which clashes with the classical formulation of the uncertainty principle and with Lorentz invariance from general relativity. These incompatibilities led to the development of the generalized uncertainty principle (GUP) from string theories and its various modifications. GUP and covariant formulations of the uncertainty principle are discussed, together with implications for space-time quantization.

This work introduces a new architecture for a time-domain feedback-based beamformer designed to meet real-time processing demands. The primary goal of this design is to locate reflective sources by estimating their direction of arrival (DOA) and signal range. Incorporating a feedback mechanism in this architecture is a unique aspect that refines localization precision. We conduct an in-depth analysis highlighting their respective benefits and limitations to compare the effectiveness of time-domain feedback beamforming against conventional time-domain methods. Our evaluation of the proposed architecture, based on critical performance indicators such as peak-to-sidelobe ratio, mainlobe width, and directivity factor, demonstrates its ability to improve beamformer effectiveness significantly.

In the last decades we have experienced great social, cultural, and educational changes, spending more time performing tasks in near vision and less hours in outdoor activities, having more overexposure to digital screens, especially the youngest and increasingly from younger ages. It is common to see cases when performing tasks in near vision the posture or position of the head is not adequate, especially the youngest, being essential to have a correct posture of the head to avoid visual, muscular, or articular problems. We present a procedure to try to control the correct position of the head in real time when performing close-up activities. The aim is to detect the inclination of the head and to know if a bad position is adopted due to a visual problem or simply to inadequate visio-postural habits, warning us of the postural anomaly to correct it.

Accurate traffic simulation models play a crucial role in developing intelligent transport systems that offer timely traffic information to users and efficient traffic management. However, calibrating these models to represent real-world traffic conditions accurately poses a significant challenge due to the dynamic nature of traffic flow and the limitations of traditional calibration methods. This article introduces a machine learning-based approach to calibrate macroscopic traffic simulation models using real-time traffic video stream data. By leveraging computer vision technologies to extract key traffic parameters from video streams, the approach demonstrated a notable improvement in aligning the generated data from the calibrated simulation model with car sensor data, achieving an average improvement of over 50% compared to the uncalibrated macroscopic model. Moreover, there was a substantial reduction in data drift for the machine learning model integrated into the virtual transport space using vehicle-to-everything technology, resulting in a more than fourfold decrease in the average absolute error of the model.

Grain shape and chalkiness are important appearance quality traits of rice, which also affect the yield and milling quality. In this study, 190 F2 families derived from the cross between Hua 5178S and Hua 611 were sequenced to construct a genetic linkage map. Combined with F2 and F2:3 generations grain shape and chalkiness phenotype, a total of 15 QTL were detected. There are 8 grain shape QTL distributed on chromosomes 2, 5, 6, 8, and 10; 7 chalkiness QTL distributed on chromosomes 2, 3, and 6. A QTL cluster affecting multiple chalkiness traits was found on chromosome 6, qWBR6.1, qWCR6 and qCR6 were selected for genetic effect verification. It was found that qWBR6.1, qWCR6 and qCR6 explained 13% and 24%, and 29% of the phenotypic variations respectively, and qWCR6 and qCR6 were co-mapped. This study laid a foundation for further cloning of rice appearance quality genes.

This paper represents the first investigation into the consensus problem of linear time-varying multi-agent systems utilizing an event-triggered communication scheme. First, a general event-triggered consensus control scheme is proposed for a general category of linear time-varying multi-agent systems. Under some suitable assumptions, it is demonstrated that all agents’ states will converge exponentially, with Zeno behaviour being ruled out. Second, the consensus problem in a network of linear time-varying multi-agent systems with a spanning tree is investigated using the proposed control strategy. It demonstrates that the consensus issue for the specified system can be reformulated as a stabilization problem for an error system through a time-varying linear transformation. Then, the event-triggered consensus problem is just a special instance of the general event-triggered consensus problem mentioned above. Finally, to illustrate the efficacy of the event-triggered method proposed in this study, simulation results are shown.

Performing optimisation and scale-up studies of crystallisation systems requires accurate and computationally efficient mathematical models. The assumption of the ideal mixing conditions in batch reactors typically produce inaccurate results while the computational expense of CFD models is still prohibitively high. Therefore, in this work, a new intermediary approach is proposed that takes into account the non-ideal mixing conditions in the reactor and requires less computational resources than full CFD simulations. Starting with the Danckwerts concept of the intensity of segregation, an analogy between its application to chemical reactions and the kinetics of the crystallisation phenomena (such as nucleation and growth) has been made. As a result, the modified kinetics expressions have been derived which incorporate the effect of non-idealities present in stirred reactors. This way, based on the experimental measurements of the mixing time using the Laser Induced Fluorescence (LIF) technique, computationally more efficient mathematical models can be developed in two ways: (1) the accurate semi-empirical correlations are available for standard mixing configurations with the most often used types of impellers, (2) CFD simulations can be utilised for estimation of the mixing time; in this case it is necessary to simulate only the mixing process. The benefits offered by the LIF experimental technique have been demonstrated and some frequent problems in its application analysed. The mixing time results for configurations with and without baffles for three types of impellers and four different rotational speeds have been presented. The false shorter mixing times in the non-baffled configurations have been observed and this phenomena explained by the existence of two segregated zones in the reactor and confirmed by additional experiments. The precise measurements in these cases have been shown as difficult using the LIF technique, particularly for higher rpms. The experimental data has been compared to the preliminary simulation results obtained from the Smoothed Particle Hydrodynamics method and the standard k-ε turbulence model with the modest success. The shortcomings of the SPH model have been recognized and the directions for the future work discussed.

Commuting is a vital travel channel for college students throughout their higher education career; nevertheless, excessive commute time negatively impacts students’ school satisfaction, academic achievement, health, and quality of life. Meanwhile, few studies have explored students’ commute time, covering a large population and scope. Therefore, this study analyzes the dwelling type that influences college and graduate students’ school commute times in the Seoul Metropolitan Area, using data from the 2016 Household Travel Diary Survey. This study uses spatial data on housing development to classify five dwelling types (i.e., new town, housing site development, Seoul, Incheon, and Gyeonggi-do). A multiple linear regression model empirically analyses students’ household and personal characteristics. The results reveal that dwelling type significantly affects students’ commute time. Specifically, Students living in Seoul have a shorter commute to school than those living in new towns. Socioeconomic characteristics have less effect on college and graduate students' school commute time. This study discusses the problem of excessive commuting of college and graduate students in new towns.

As the adoption of renewable energy sources grows, ensuring a stable power balance across various time frames has become a central challenge for modern power systems. In line with the "dual carbon" objectives and the seamless integration of renewable energy sources, harnessing the advantages of various energy storage resources and coordinating the operation of long-term and short-term storage have become pivotal directions for future energy storage deployment. To address the complexities arising from the coupling of different time scales in optimizing energy storage capacity, this paper proposes a method for energy storage planning that accounts for power imbalance risks across multiple time scales. Initially, the Seasonal and Trend decomposition using the Loess (STL) decomposition method is utilized to temporally decouple actual operational data. Subsequently, power balance computations are performed based on the obtained data at various time scales to optimize the allocation of different types of energy storage capacities and assess the associated imbalance risks. Finally, the effectiveness of the proposed approach is validated through hourly applications using real-world data from a province in China over recent years.

To address the challenges of climate change and food security, the establishment of smart farm complexes is necessary. While there have been numerous studies on the productivity and environmental control of individual greenhouses, research on greenhouse complexes is considerably limited. Conducting environmental studies during the design phase of these complexes poses financial constraints and practical limitations in terms of on-site experiments. To identify potential issues that may arise when developing large-scale greenhouse complexes, it is possible to utilize modeling techniques using Computational Fluid Dynamics (CFD) to assess environmental concerns and location issues before constructing the facilities. Consequently, simulating large-scale CFD models that incorporate multiple greenhouses and atmospheric conditions simultaneously presents significant numerical challenges. The objective of this study was to develop a guideline for verifying CFD models for a large-scale Venlo greenhouse, where acquiring field data before construction is not feasible for designing a greenhouse complex. The verification processes of the CFD models were conducted using 2D and 3D iterative simulations of a 2-hectare greenhouse model, using the improved Grid Independence Test (GIT) and wall Y+ approaches. Subsequently, the aerodynamic characteristics were analyzed in a 3D greenhouse model to access its performance when the wind direction was 90° in summer season. The findings revealed that a grid resolution of 0.8 meters and a first layer height of 0.04 meters were suitable for developing large-scale greenhouse models, resulting in a low Root Mean Square Error (RMSE) of 3.9% and a high coefficient of determination (R2) of 0.968. This process led to a significant reduction of 38% in the number of grid cells. These results will serve as design standards for large-scale greenhouses.

The ability to directly look into genome sequences has opened great opportunities in plant breeding. Yet, the assembly of full-length chromosomes remains one of the most difficult problems in modern genomics. Genetic maps are commonly used in de novo genome assembly and are constructed on the basis of a statistical analysis of the number of recombination rather than physical distance in base pairs. This may affect the accuracy of the ordering and orientation of scaffolds within the chromosome, especially in the region of recombination suppression. Here we report the use of Tyr-FISH for validation of genetic and pseudochromosome maps. For probe design we developed a pipeline that is based on selection of a unique sequence with minimal potential fluorescent background arising from non-specific in situ hybridization. In total of 24 unique genes were located on physical chromosomes 2 and 6. The order of markers has been corrected by integration genetic and cytogenetic maps. Tyr-FISH mapping showed that the order of 23.1% (chromosome 2) and 27.3% (chromosome 6) of the tested genes differed between physical chromosomes and pseudochromosomes. Also the position of the mlh1 gene, which was not on the genetic map, was defined on physical chromosome 2. The results suggest the possibility of Tyr-FISH mapping of any gene that may not be neither on the genetic map nor in the assembly. Hence, Tyr-FISH provides valuable information for the improvement of the genome assembly.

This paper proposed an optimal tracking control scheme through adaptive dynamic programming(ADP) for a class of partially unknown discrete-time nonlinear systems based on radial basis function neural network(RBF-NN). In order to acquire the unknown system dynamics, we use two RBF-NNs, the one is used to construct the identifier, and the another is used to directly approximate the steady-state control input, where a novel adaptive law is proposed to update neural network weights. While the optimal feedback control and the cost function are derived via feedforward neural networks approximating, it is proposed to regulate the tracking error, the critic network and the actor network are then trained online to obtain the solution of the associated Hamilton–Jacobi–Bellman (HJB) equation being built under the ADP framework. Simulations verify the effectiveness of the optimal tracking control technique using the neural networks.

In an effort to enhance the efficiency and safety of open-pit mines, this study explores the optimization of end slope road parameters and slope structures, specifically focusing on unmanned driving lanes.A significant aspect of the study is the development of a truck trajectory offset model, which considers the different reaction times between automated sensors and human drivers in adapting to environmental changes. To test these concepts, the study uses numerical simulations to confirm the stability of the proposed end slope designs. Using Victory West Mine No. 1 as a case study, the research determines the optimized width for unmanned driving lanes and the maximum angle for safe steepening of end slopes. The findings indicate that the optimized unmanned lane width for NTE240 mining dump trucks is 1743 mm, allowing for a 2-degree increase in the slope angle at the south end slope. This optimization leads to a steep mining stripping volume of 3.2735 million m³ and a coal output of 2.49628 million tons, maintaining a stripping ratio of 1.31m³/t. These results demonstrate that the unmanned driving road width optimization not only ensures slope safety but also significantly boosts the economic benefits of steep mining in open-pit mines.

Placing a nasogastric tube (NGT) is a frequent nursing technique in intensive care units. The gold standard for its correct positioning is the chest X-ray due to its high sensitivity but represents a radiation source for critically ill patients. Our study aims to analyze whether the ultrasound performed by an intensive care nurse is a valid method to verify the NGT’s correct positioning and to evaluate the degree of interobserver agreement between this nurse and an intensive care physician in the NGT visualization using ultrasound. Its correct positioning was verified by direct visualization of the tube in the stomach and indirect visualization by injecting fluid and air through the tube ("dynamic fogging" technique). 23 critically ill patients participated in the study. A sensitivity of 35% was achieved using direct visualization, increasing up to 85% using indirect visualization. The degree of interobserver agreement was 0.88. Therefore, the NGT indirect visualization by an intensive care nurse using ultrasound could be a valid method to check its positioning. However, the low sensitivity obtained by direct visualization suggests the need for further training of intensive care nurses in ultrasonography. According to the high degree of agreement obtained, ultrasound could be performed by both professionals.

The enormous growth in the penetration of electric vehicles (EVs), has laid the path to advancements in the charging infrastructure. Connectivity between charging stations is an essential prerequisite for future EV adoption to alleviate users’ “range anxiety”. The existing charging stations fail to adopt power provision allocation and scheduling management. To improve the existing charging infrastructure data based on real-time information and availability of reserves at charging stations could be uploaded to the users to help them locate the nearest charging station for an EV. This research article focuses on an a interactive user application developed through SQL and PHP platform to allocate the charging slots based on estimated battery parameters, which uses data communication with charging stations to receive the slot availability information. The proposed server-based real-time forecast charging infrastructure avoids waiting times and its scheduling management efficiently prevents the EV from halting on road due to battery drain out. The proposed model is implemented using a low-cost microcontroller and the system etiquette tested.

Underwater Sensor Networks (UWSNs) can enable a broad range of applications such as resource monitoring, disaster prevention, and navigation-assisted. It is especially relevant for sensor nodes location in UWSNs. Global Positioning System (GPS) is not suitable for using in UWSNs because of the underwater propagation problems. Hence some localization algorithms based on the precise time synchronization between sensor nodes have been proposed which are not feasible for UWSNs. In this paper, we propose a localization algorithm called Two-Phase Time Synchronization-Free Localization Algorithm (TP-TSFLA). TP-TSFLA contains two phases, namely, range-based estimation phase and range-free evaluation phase. In the first phase, we address a time synchronization-free localization scheme base on the Particle Swarm Optimization (PSO) algorithm to decrease the localization error. In the second phase, we propose a Circle-based Range-Free Localization Algorithm (CRFLA) to locate the unlocalized sensor nodes which cannot obtain the location information through the first phase. In the second phase, sensor nodes which are localized in the first phase act as the new anchor nodes to help realize localization. Hence in this algorithm, we use a small number of mobile beacons to help achieve location without any other anchor nodes. Besides, to improve the precision of the range-free method, an extension of CRFLA by designing a coordinate adjustment scheme is updated. The simulation results show that TP-TSFLA can achieve a relative high localization ratio without time synchronization.

Capacitor banks are widely used in current electrical transmission systems in order to improve power quality and increase efficiency. Utilizing high voltage components such as, shunt capacitors in the power grid imposes new challenges to the system which are required to be addressed. One of these challenges is corona discharges that can have negative impacts on capacitor banks such as power loss, insulator erosion followed by equipment failure, and radio interference. Although previous studies have almost exclusively focused on optimization of corona suppression rings for transformers and transmission lines, no specific studies have conducted regarding high voltage capacitor banks. This paper presents a novel study concerning verification and development of corona discharge suppression models on AC and DC capacitor banks with two different voltage levels. The employed method is based on the Maxwell’s equations and finite element method (FEM) which is implemented with the help of COMSOL Multiphysics© software. Results have verified the necessity of suppression methods as well as the efficiency of proposed solutions. Corona inception voltage levels are identified and effective factors on its appearance are reviewed. Analyses of proposed solutions have shown significant improvements in optimization of corona suppression methods as well as enhancement of maintenance maneuverability.

A single paragraph of about 200 words maximum. For research articles, abstracts should give a pertinent overview of the work. We strongly encourage authors to use the following style of structured abstracts, but without headings: (1) Background: Place the question addressed in a broad context and highlight the purpose of the study; (2) Methods: briefly describe the main methods or treatments applied; (3) Results: summarize the article’s main findings; (4) Conclusions: indicate the main conclusions or interpretations. The abstract should be an objective representation of the article and it must not contain results that are not presented and substantiated in the main text and should not exaggerate the main conclusions.

This bibliometric analysis delves into the realm of botanical gardens through the process of mapping literature and discerning research frontiers, underlying themes, and interconnections within the extant body of knowledge. The study uses a dataset of 1340 publications and employs methodologies such as authors' keywords co-occurrence data to examine the discipline's trends, patterns, and knowledge gaps. The study finds significant growth in literature from 1960 to 2023, emphasizing botanical gardens, conservation, taxonomy, biodiversity, ex-situ conservation, and diversity. Key influencers such as Sanja Kovačić, Elaissi, and Chemli have steered research directions towards ex-situ conservation and essential oils, reflecting the field's interdisciplinary nature. The study shows global institutional variation, with entities like the Chinese Academy of Sciences, the Royal Botanic Gardens UK, and the New York Botanical Garden US leading the discourse. Thematic analyses have identified core themes and emerging research topics, with ecological restoration, essential oils, invasive species, and climate change mirroring the field's expanding scope. The consistent prevalence of themes such as 'botanical gardens' and 'conservation' over time underscores their enduring significance. Emerging topics like climate change and biodiversity are gaining prominence, signaling a shift in research priorities. The expanding array of subjects, including 'invasive species' and 'genetic diversity,' indicates an amplified scope and growing complexity in botanical garden research. This study aims to bridge a crucial gap by outlining the developmental trajectory of botanical gardens and offering guidance for future research directions. Diverse research domains within botanical garden studies, including biodiversity, essential oils, taxonomy, and ex-situ conservation, present extensive avenues for exploration. Future research endeavors should delve into these impactful themes to better understand botanical ecosystems and their conservation. The study emphasizes the importance of nurturing interdisciplinary collaborations and multidisciplinary projects, advocating for a comprehensive and collaborative approach to future research in botanical garden studies.

The extent of correlation or co-movement among the returns of developed and/or emerging stock markets remains pivotal for efficiently diversifying global portfolios. This correlation is prone to variation over time as a consequence of escalating economic interdependence fostered by international trade and financial markets. In this study, we analyzed the time-varying correlation and co-movement between the JSE.JO stock market of South Africa and its developed and developing stock market partners. The Dynamic Conditional Correlation - Exponential Generalized Autoregressive Conditional Heteroscedasticity (DCC-EGARCH) methodology is employed with different multivariate distributions to explore the time-varying correlation and volatilities between the JSE.JO stock market and its partners. Based on the conditional correlation results, the JSE.JO stock market is integrated and co-moves with its partners, and the conditional correlation for all markets exhibit time-variant behavior. The conditional volatility results show that the JSE.JO stock market behaves differently from other markets, especially after 2015, indicating a positive sign for investors to diversify between JSE.JO and its partners. The highest value of conditional volatility for markets was in 2020 during the COVID-19 pandemic, representing the riskiest period that investors should avoid due to the lack of diversification opportunities during crises.