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.

In today’s digital media data communication over the internet increasing day by day. Therefore the data security becomes the most important issue over the internet. With the increase of data transmission, the number of intruders also increases. That’s the reason it is needed to transmit the data over the internet very securely. Steganography is a popular method in this field. This method hides the secret data with a cover medium in a way so that the intruders cannot predict the existence of the data. Here a steganography method is proposed which uses a video file as a cover medium. This method has five main steps. First, convert the video file into video frames. Then a particular frame is selected for embedded the secret data. Second, the Least Significant Bit (LSB) Coding technique is used with the double key security technique. Third, an 8 characters password verification process. Fourth, reverse the encrypted video. Fifth, signature verification process to verify the encryption and decryption process. These five steps are followed by both the encrypting and decrypting processes.

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.

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.

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.

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.

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.

Steganography is the branch of cryptology that deals with concealing information inside another information. it’s prefer over cryptography as it hides a message inside another innocent looking message, while cryptography shows scrambled message that might arouse attention of an attacker, however the challenges in steganography is the modification of carrier that causes some abnormalities which is detectable and often the methods are not optimize. This paper presents a novel approach in cryptography and steganography, which utilizes mathematical concept of bits combination to optimize time of transmission using sets of multiple transmitter, and receiver’s addresses where each abstractly represents a bits combination without itself modified. In addition, the paper introduces a concept of dynamical clockwise and anti-clockwise rotation of bits combination over addresses after every transmission to reinforce resistivity against steganalysis.

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 a two-stage ADC based on pseudo-differential operational transconductance amplifier (OTA), which is designed for the readout circuit of X-ray linear array sensor. This hybrid ADC employs an incremental sigma-delta ADC and a cyclic ADC, achieving a good trade-off between accuracy and conversion speed. The two stages share the same hardware to reduce power consumption and die area. A common-mood feedback module is used to suppress the influence of charge injection, and the effectiveness is demonstrated by detailed theoretical analysis. A test chip of 14-bit ADC is fabricated in 0.35μm CMOS technology. The measured root mean square (RMS) value of DNL is 0.254 LSB, and the maximum value of INL is -0.776/+1.56 LSB. The measured effective number of bits (ENOB) is 13.43 bits.

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 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.

Depth-sensing technology has led to broad applications of inexpensive depth cameras that can capture human motion and scenes in 3D space. Background subtraction algorithms can be improved by fusing color and depth cues, thereby allowing many issues encountered in classical color segmentation to be solved. In this paper, we propose a new fusion method that combines depth and color information for foreground segmentation based on an advanced color-based algorithm. First, a background model and a depth model are developed. Then, based on these models, we propose a new updating strategy that can eliminate ghosting and black shadows almost completely. Extensive experiments have been performed to compare the proposed algorithm with other, conventional RGB-D algorithms. The experimental results suggest that our method extracts foregrounds with higher effectiveness and efficiency.

Recognizing the need to enhance immune cells' ability to target and eliminate tumor cells by focusing on tumor-associated antigens is crucial for the success of immunotherapy. Numerous cell-based therapies, such as CAR-T cell therapy, tumor-infiltrating lymphocyte (TIL) therapy, CAR-NK cell therapy, and T-cell receptor (TCR)-based therapies, are currently undergoing clinical and pre-clinical evaluation across various cancer types. However, a significant challenge lies in managing the inflammatory responses that are harmful to cancer patients. To overcome this, developing advanced strategies to target tumor cells precisely while preserving immune balance in cancer patients is imperative. One promising approach involves using modified tumor-associated macrophages (TAMs), which constitute approximately 50% of the tumor microenvironment (TME) and play a pivotal role in tumor progression. CAR-Macrophage (CAR-M) therapy is an emerging potential asset of immunotherapy for a wide range of tumors.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

Exponential increase in mobile video delivery will continue with the demand for higher resolution, multi-view and large-scale multicast video services. Novel fifth generation (5G) 3GPP New Radio (NR) standard will bring a number of new opportunities for optimizing video delivery across both 5G core and radio access network. One of the promising approaches for video quality adaptation, throughput enhancement and erasure protection is the use of packet-level random linear network coding (RLNC). In this work, we discuss the integration of RLNC into the 5G NR standard, building upon the ideas and opportunities identified in 4G LTE. We explicitly identify and discuss in detail novel 5G NR features that provide support for RLNC-based video delivery in 5G, thus pointing out to the promising avenues for future research.

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.

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.

Chaotic theory is commonly being researched for application in image encryption scheme (IES). In this paper, a novel two-dimensional cross hyperchaotic Sine-modulation-Logistic map (2D-CHSLM) based on the famous Sine and Logistic maps. The hyperchaotic behaviors of 2D-CHSLM is testified with the help of their bifurcation diagrams, trajectory plots, Lyapunov exponents, sample entropy, C0 complexity, permutation entropy and 0-1 test. A new bit-level IES with traditional encryption structure is proposed utilizing 2D-CHSLM. The 2D-CHSLM-IES performs a 2D-CHSLM-based bit-level confusion using zig-zag transform and a 2D-CHSLM-based cross coupled diffusion operations for generating a highly secure cipher-image. Then the simulations and security analyses are further carried out with the help of key space, key sensitivity, histogram, correlation, information entropy, differential attack, noise and data loss attacks, prove that the security of the proposed 2D-CHSLM-IES

An adaptor signature can be viewed as a signature concealed with a secret value and, by design, any two of the trio yield the other. In a multiparty setting, an initial adaptor signature allows each party create additional adaptor signatures without the original secret. Adaptor signatures help address scalability and interoperabity issues in blockchain. They can also bring some important advantages to cryptocurrencies, such as low on-chain cost, improved transaction fungibility, and less limitations of a blockchain’s scripting language. In this paper, we propose a new two-party adaptor signature scheme that relies on quantum-safe hard problems in coding theory. The proposed scheme uses a hash-and-sign code-based signature scheme introduced by Debris-Alazard et al. and a code-based hard relation defined from the well-known syndrome decoding problem. To achieve all the basic properties of adaptor signatures formalized by Aumayr et al., we introduce further modifications to the aforementioned signature scheme. We also give a security analysis of our scheme and its application to the atomic swap. After providing a set of parameters for our scheme, we show that it has the smallest pre-signature size compared to existing post-quantum adaptor signatures.

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.

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.

Owing to the expansion of non-face-to-face activities, security issues in video conferencing systems are becoming more critical. In this paper, we focus on the end-to-end encryption (E2EE) function among security services of video conferencing systems. First, the E2EE-related protocols of Zoom and Secure Frame (SFrame), which are representative video conferencing systems, are thoroughly investigated, and the two systems are compared and analyzed overall. Next, the E2EE protocol in the Government Public Key Infrastructure (GPKI)-based video conferencing system, in which the user authentication mechanism is fundamentally different from those used in private sector systems, such as Zoom or SFrame, will be considered. In particular, among E2EE-related protocols, we propose a detailed mechanism in which the post-quantum cryptography (PQC) key encapsulation mechanism (KEM) is applied to the user key exchange process. As the session key is not disclosed to the central server even in futuristic quantum computers, the mechanism to which the PQC KEM method proposed in this study is applied satisfies the E2EE security requirements and can be applied to domestic GPKI-based systems. It is expected to contribute in strengthening the safety of the next-generation video conferencing system.

In industry 4.0 era, video applications such as surveillance visual systems, video conferencing, or video broadcasting have been playing a vital role. In these applications, for manipulating and tracking objects in decoded video, the quality of decoded video should be consistent because it largely affects to the performance of the machine analysis. To cope with this problem, we propose a novel perceptual video coding (PVC) solution in which a full reference quality metric named Video Multimethod Assessment Fusion (VMAF) is employed together with a deep convolutional neural network (CNN) to obtain the consistent quality while still achieving the high compression performance. First of all, to achieve the consistent quality requirement, we propose a CNN model with an expected VMAF as input to adaptively adjust the quantization parameters (QP) for each coding block. Afterwards, to increase the compression performance, a Lagrange coefficient of Rate-Distortion optimization (RDO) mechanism is adaptively computed under Rate-QP and Quality-QP models. Experimental results show that the proposed PVC has achieved two targets simultaneously: the quality of video sequence is kept consistently with an expected quality level and the bit rate saving of the proposed method is higher than traditional video coding standards and relevant benchmark, notably with around 10% bitrate saving in average.

The operations of digitization, transmission and storage of medical data, particularly images require increasingly effective encoding methods not only in terms of compression ratio and flow of information but also in terms of visual quality. At first, there was DCT (discrete cosine transform) then DWT (discrete wavelet transform) and their associated standards in terms of coding and image compression. After that, the 2nd generation wavelets seeks to be positioned and confronted to the image and video coding methods currently used. It is in this context that we suggested a method combining bandelets and SPIHT (set partitioning in hierarchical trees) algorithm. There are two main reasons for our approach: the first lies in the nature of the bandelet transform to take advantage by capturing the geometrical complexity of the image structure. The second reason stems in the suitability of encoding the bandelet coefficients by the SPIHT encoder. Quality measurements shows that in some cases (for low bit rates) the performances of the proposed coding compete with the well-established ones and opens up new application prospects in the field of medical imaging.

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.

Against the background of the sky, imaging and perception of aircraft are cru- cial. Among these, the location of aircrafts is not a very difficult problem in general, because that deep learning algorithms and object detection models based on convolutional neural network(CNN) are ever-evolving. In order to have a better identification of various aircrafts, or to accurately locate different types of flying targets in the sky, it becomes significant to distinguish and recognize different types of aircrafts. One question is that, distinguishing and recognizing between sub-categories of aircrafts pose great challenges. Although fine-grained recognition focuses on exploring and studying such problems, aircrafts under different sub-categories and granularities lead us to rethink the application of features. We noticed that features in swin-transformer demonstrates the under- standing and processing of images, fully showcasing the encoding and indexing of information. Through this research and proposed approach, we discovered a better understanding of features encoding and use, which are inspired by the feature encoding and computation in swin-transformer. In our paper, our ap- proach has achieved effects on features encoded graphically, manifested from the architecture design and convolutional neural network computation, and outper- forms other famous fine-graiend classification models on this issue. Not only approach we proposed has demonstrated superior performance in fine-grained aicraft classification, but also the mechanisms of the feature encoding under different sample space partitions is revealed for this issue, which provides a re- search for the representation of aircraft fineness characteristics. The relationship between representation orientation of aircraft feature information under various grained divisions, shows that the recognition of different categories according to man-made, such as aircraft, can be achieved by means of the feature represen- tations studied in this paper, for more specific defined classification tasks and various man-made targets partition criteria, which may influences the princi- ple of design for calculation and feature extraction in fine-grained classification models.

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 Study proposes possible solution to enhance Password Authentication using Association Technique based on the Ecological theory of memory and data at the Presbyterian university College Ghana. The study used a deductive research approach and employed two empirical Studies using the non-probability sampling technique where few respondents were selected in categories out of the populace by means of openness in other to get similar categories of respondents with different age groups and education background. The two Empirical study also used a quasi-experimental approach which structure incorporate observation, experimental treatment and timing. The First empirical study carried out an investigation to identify existing Password authentication Technique used by End Users, as well as their behavior in password utilization through a self-completed questionnaires which was analyzed using SPSS version 21 . The Second empirical study was an experiment to compared three kinds of password constructions that is own set, modified dictionary, and association against one another to see which of them would be best meet the ecological theory of memory and data which aims at creating a secured password that is easy to recall. The computation and evaluation of password construction was done using My1login Password meter whiles Levenshtein Distance String Edit Software was also used to compute the memorability of all given password. Across-tabulation was then employed out of the experiment using SPSS version 21. The result from the analysis revealed that the majority of the respondents do have weak passwords and also have few passwords which they even end up sharing with families and friends and reuse it. This confirms statements made by researchers that human being is the weakest connection in information system securities. To maintain Confidentiality, Availability and Integrity of data, the study therefore recommended the use of the Association Password technique which makes it easier to develop a much secured password that is difficult to crack but easy remember.

Multi-receiver encryption enables a sender to encrypt a message and transmit the ciphertext to a set of authorized users, while no one out this group of authorized users can decrypt the message. Multi-receiver encryption is of great importance in many sectors such as broadcast communication, cloud computing, wireless communications, networking applications, e-voting, lottery, and medical applications. This paper proposes an efficient multi-receiver public key encryption scheme based on Lucas sequences. The results of the computational analysis show that, projected scheme is better against renown attacks and prevailing anonymous multireceiver algorithms

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.

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.

This article presents a description of a new method for solving the factorization problem, based on the gradient descent algorithm. This approach demonstrates significant improvements in efficiency compared to traditional methods proposed in previous research. This article describes a new method for solving the factorization problem, based on the gradient descent algorithm, and demonstrates the transition from algebraic methods to approaches based on functional analysis. The proposed approach not only improves the efficiency of solving the problem but also allows the application of computational algorithms of functional analysis, opening new possibilities for research and optimization.

Abstract: Physicians, physical therapists, and occupational therapists have traditionally assessed hand motor function in hemiplegic patients but often struggle to evaluate complex hand move-ments. To address this issue, in 2019, we developed Fahrenheit, a device and algorithm that uses infrared camera image processing to estimate hand paralysis. However, due to Fahrenheit's de-pendency on specialized equipment, we conceived a simpler solution: developing a smartphone app that integrates MediaPipe. The objective of this study was to measure hand movements in stroke patients using both MediaPipe and Fahrenheit and to assess their criterion-related validity. The analysis revealed moderate-to-high correlations between the two methods. Consistent results were also observed in the peak angle and velocity comparisons across severity stages. Because Fahrenheit determines finger recovery status based on these measures, it has the potential to transfer this function to MediaPipe. This study highlighted the potential use of MediaPipe in pa-ralysis estimation applications.

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.

Wireless sensor networks are usually applied in hostile areas where nodes are easy to be moni-tored and captured by adversary. Key distribution is an essential primitive to provide most of security mechanism. However, the characteristic of limited resources of sensors restricts the direct use of conventional key distribution schemes. In this paper, a complete security key distribution scheme based on asymmetric cryptography technology is proposed in both static and mobile scenarios. Mutual authentication is guaranteed using challenge-response mechanism. The per-formance evaluation and security analysis show that the proposed scheme with low complexity not only provides better security for wireless sensor networks, but also reduces storage overhead and key exposure risks.

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.

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.

Predicting and evaluating the vitality level of public spaces of urban design is crucial before new construction and renewal, especially for developing countries, to avoid failures like "ghost neighborhood" and reduce resource waste. However, existing assessment methods for the urban vitality are either static and ignore changes in the time dimension, or rely on historical big data and are unable to predict unbuilt projects. This study combines previous methods and crowds’ characteristics observation in public space, puts forward the crowd-frequency hypothesis and constructs an algorithm, and establishes a time-dimensional urban vitality dynamic prediction model. Taking the Rundle Mall neighborhood in Adelaide, Australia, as an example, the effec-tiveness of the prediction model was proved through on-site observation sampling comparative verification method. In addition, the decision tree model was used to conduct machine learning on the case data, and a set of algorithm programs were obtained that can directly input some basic information to obtain the urban vitality level (high-medium-low) in a certain period. It can be used as a tool to support the design and decision-making processes of urban planners and government officials, providing a low-cost way to achieve sustainable urban vitality construction of late-developing cities directly.

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

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.

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 aim of this study is to propose and validate the state space mode decomposition technique for precise mode separation of non-classical damping systems and closely distributed modal systems. To assess the reliability and applicability of this technique, a 40-story building with a tuned mass damper is investigated, and acceleration responses measured by the building's health monitoring system are used for the verification of the technique. The mode separation results reveal that the separated modal power spectrum becomes distorted at neighboring natural frequency ranges when the performance index only considers the concentration of power spectral energy at the target natural frequency. However, by introducing an augmented performance index that includes a constraint condition to account for distortion, more accurate mode decomposition can be achieved.

In this study, we focused on the eco-driving of electric vehicles (EVs). The target vehicle is an electric bus developed by our research team. Using the parameters of the bus and speed pattern optimization algorithm, we derived the EV eco-driving speed pattern. Compared to eco-driving of internal combustion engine vehicles (ICVs), we found several different characteristics. We verified these characteristics with actual vehicle driving test data of the target bus, and the results confirmed its rationality. The EV eco-driving method can improve electricity consumption by about 10% - 20% under the same average speed.

Objective: Studies in Sports Psychology and Sociology have validated causality in team-sport athletes by using emotional intelligence as a variable. This study aimed to examine the causal relationship between the types of autonomy support coaching, emotional intelligence, and interruption intention as psychosocial variables among current taekwondo athletes in Korea.Methods: In this study, 217 adult or university athletes registered in the Korea Taekwondo Association in 2020 were evaluated for the type of autonomy support coaching, emotional intelligence, and interruption intention. Results: Autonomy support coaching recognized by taekwondo athletes has a negative and positive effect on interruption intention and emotional intelligence, respectively. Moreover, emotional intelligence has a negative effect on interruption intention. which revealed that autonomy support coaching has a negative effect on interruption intention through emotional intelligence.Conclusions: Such outcomes can serve as a foundation for athletes to have the opportunity to participate in sports in a mature manner and promote positive changes in sports culture. In other words, the sensibility of the athletes can be harmoniously symmetry.

Objective: Studies in Sports Psychology and Sociology have validated causality in team-sport athletes by using emotional intelligence as a variable. This study aimed to examine the causal relationship between the types of autonomy support coaching, emotional intelligence, and interruption intention as psychosocial variables among current taekwondo athletes in Korea. Methods: In this study, 217 adult or university athletes registered in the Korea Taekwondo Association in 2020 were evaluated for the type of autonomy support coaching, emotional intelligence, and interruption intention. Results: Autonomy support coaching recognized by taekwondo athletes has a negative and positive effect on interruption intention and emotional intelligence, respectively. Moreover, emotional intelligence has a negative effect on interruption intention. which revealed that autonomy support coaching has a negative effect on interruption intention through emotional intelligence. Conclusions: Such outcomes can serve as a foundation for athletes to have the opportunity to participate in sports in a mature manner and promote positive changes in sports culture. In other words, the sensibility of the athletes can be harmoniously symmetry.

Autonomous unmanned aerial vehicles (UAVs) require highly reliable navigation information. Generally, navigation systems with the inertial navigation system (INS) and global navigation satellite system (GNSS) have been widely used. However, the GNSS is vulnerable to jamming and spoofing. The terrain referenced navigation (TRN) technique can be used to solve this problem. In this study, to obtain reliable navigation information even if a GNSS is not available or the degree of terrain roughness is not determined, we propose a federated filter based INS/GNSS/TRN integrated navigation system. we also introduce a TRN system that combines batch processing and an auxiliary particle filter to ensure stable flight of UAVs even in a long-term GNSS-denied environment. As an altimeter sensor for the TRN system, we use an interferometric radar altimeter (IRA) to obtain reliable navigation accuracy in high altitude flight. In addition, a parallel computing technique with general-purpose computing on graphics processing units (GPGPU) is applied to process a high resolution terrain database and a nonlinear filter in real time on board. Finally, we verify the performance of the proposed system through software-in-the-loop (SIL) tests and captive flight tests in a GNSS unavailable environment.

DNA double-strand breaks (DSBs) are deleterious lesions that are generated in response to ionizing radiation or replication fork collapse that can lead to genomic instability and cancer. Eukaryotes have evolved two major pathways, namely homologous recombination (HR) and non-homologous end joining (NHEJ) to repair DSBs. Whereas the roles of protein-DNA interactions in HR and NHEJ have been fairly well defined, the functions of small and long non-coding RNAs and RNA-DNA hybrids in the DNA damage response is just beginning to be elucidated. This review summarizes recent discoveries on the identification of non-coding RNAs and RNA-mediated regulation of DSB repair

The Double U-pipe ground heat exchanger, recognized for its straightforward process, cost-effectiveness, high heat exchange efficiency, and low thermal resistance, stands as the predominant ground heat exchanger type in today's shallow geothermal energy development and utilization. Recent years have seen significant research into the heat transfer influencing factors and heat exchange performance of Double U-pipe ground heat ex-changers via experimental testing methods. Yet, studies integrating numerical simulation with in-situ testing have been less frequent. Drawing on the cylindrical heat source model theory and the outcomes of regional in-situ thermal response tests, this paper develops a Double U-pipe ground heat transfer model by establishing physical, mathematical, and heat transfer geometric models. It assesses the impact of varying inlet temperatures, flow rates, and initial ground temperatures on heat exchange efficiency under heating conditions. The results validate the precision of the double U-pipe ground heat exchanger model based on in-situ testing. They show that enhancing the temperature differential between the inlet and initial temperatures, elevating the initial ground temperature, and moderately increasing the flow rate can boost the system's heat exchange efficiency.

The Chang’e-4 (CE-4) lunar rover, equipped with The Visible and Near-IR Imaging Spectrometer(VNIS) which based on acousto-optic tunable filter spectroscopy, was launched to the far side of the moon on December 8, 2018. The detection band of VNIS ranges from 0.45 to 2.4μm. Because of the weak reflection of infrared radiation from the lunar surface, a static electronic phase-locked acquisition method is adopted in the infrared channel for signal amplification. In this paper, full-link simulations and modeling are conducted of the infrared channel information flow of the instrument. The signal/noise characteristics of VNIS are analyzed in depth, and the signal-to-noise(SNR) ratio prediction and laboratory verification are presented. On January 4, 2019, the VNIS started working successfully and acquired high-resolution spectrum data of the far side of the moon for the first time. Through analysis, the SNR ratio is in line with predictions, and the data obtained by VNIS in orbit are consistent with the information model proposed in this paper.

Through the development of the metaverse concept from the Sumerian myth (5500 - 1800 BC) and mind-altering novel, “Snow Crash” in 1992, to today’s information age, human- and society-centred urban metaverse worlds, an extension of residents and urban society where the virtual and the physically real blend and are more organically integrated, are meant to mirror the fabric of urban life with no harm to their residents. The success of urban metaverse cybercommunities depends on the quality of data-driven Smart City (SC) Digital Twins (DTs), the seamless exchange of data between cyber and physical worlds (e.g. between residents and their counterpart “Avatars’’) and the processing of the data effectively and efficiently with no vicious interventions. The potential risks in this ecosystem that incorporates Web3 can be extremer than the ones in Web2 since users are immersed with multiple tightly coupled wearable sensor-rich devices perceiving the blend of the real and the virtual with possible imminent negative experiences. This study, by analysing potential cyberthreats in the urban metaverse cyberspaces, proposes a blockchain-based Decentralised Privacy-Preserving Machine Learning (DPPML) authentication and verification technique, which uses the metaverse immersive devices and can be instrumented effectively against identity impersonation and theft of credentials, identity, or avatars.

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.

Abstract: In recent years, the construction engineering sector has undergone a transformative shift towards the integration of machine learning (ML) techniques, particularly in predicting the properties of steel fiber-reinforced concrete (SFRC). Despite the theoretical sophistication of existing models, a persistent challenge remains – their opacity, lacking transparency and real-world relevance for practi-tioners. To address this gap and advance our current understanding, this study employs the extra gradient (XG) Boosting algorithm, crafting a comprehensive ap-proach. Grounded in a meticulously curated database drawn from 43 seminal pub-lications, encompassing 420 distinct records, this research focuses predominantly on three primary fiber types: crimped, hooked, and mil-cut. Complemented by hands-on experimentation involving 20 diverse SFRC mixtures, this empirical campaign is further illuminated through the strategic use of Partial Dependence Plots (PDPs), revealing intricate relationships between input parameters and con-sequent compressive strength. A pivotal revelation of this research lies in the identification of optimal SFRC formulations, offering tangible insights for real-world applications. The developed ML model stands out not only for its sophistication but also its tangible accuracy, evidenced by exemplary performance against inde-pendent datasets, boasting a commendable mean target-prediction ratio of 99%. To bridge the theory-practice gap, we introduce a user-friendly digital interface, thri-ughly designed to guide professionals in optimizing and accurately predicting the compressive strength of SFRC. This research thus contributes to the construction and civil engineering sectors by enhancing predictive capabilities and refining mix designs, fostering innovation, and addressing the evolving needs of the industry.

Sea fog event over the Eastern Yellow Sea on 15–16 April 2012 was reproduced in the Weather Research and Forecasting (WRF) simulation with high-resolution to investigate the roles of phys-ical processes and synoptic-scale flows on advection fog with sea surface warming. Initially, longwave radiative cooling (LRC) with negative sensible heat flux (SHF) due to the turbulence af-ter sunset triggered a formation of cloud at the surface under the moist advection with a southerly wind. This is a conventional type of advection fog. At night, continuous cooling due to longwave radiation and SHF near the surface modulated the change of the SHF from negative to positive, resulting in a drastic increase in the latent heat flux (LHF) that provided sufficient moisture at lower atmosphere (self-moistening). This is a favorable condition for advection fog with sea sur-face heating (ssH), and this transition represents advection fog with ssH. Enhanced turbulent mixing driven by a buoyancy force increased the depth of the sea fog with a gradual rise in the marine atmospheric boundary layer (MABL) height, even at nighttime. In addition, cold advec-tion with a prevailing northerly wind at the top of the MABL led to a drastic increase in turbulent mixing and the MABL height, which resulted in rapid growth of the height of sea fog due to ver-tical diffusion. After sunrise, shortwave radiative warming in the fog layers offsetting the LRC near the surface weakened thermal instability, which contributed to the reduction in the MABL height, even during the daytime. In addition, dry advection of northerly wind induced dissipa-tion of the fog via evaporation. An additional sensitivity test of sea surface salinity showed weaker and shallower sea fog than the control due to the decrease in both the LHF and local self-moistening.

An off-grid solar energy storage system (ESS) in National Pingtung University of Science and Technology (NPUST) was built and officially operated on Jun. 16th 2022. The system is installed in a 40' general container with PV panels of solar power 8250 W_p on top of the container. The ESS is made by repurposed lithium iron phosphate (LFP) batteries of 20 kWh capacity, where a battery management system (BMS) is adopted to ensured the safety of the battery system. An energy management system (EMS) is built to receive, process, analyse, store, and output the energy information. In this manuscript, a brief engineering report about the system is given.

This article conceptualises the link between firms’ value chains and distribution networks and the requirements for double materiality assessments in contemporary reporting regulations worldwide. The new European Sustainability Reporting Standards (ESRS) and the standards for sustainability reporting issued by the International Sustainability Standards Board (ISSB), called IFRS S1 and IFRS S2, require companies to report their own direct (scope 1) and indirect (scope 2) greenhouse gas (GHG) emissions as well as GHG emissions in their value chains and distribution networks (both scope 3). However, GHG emissions comprise just one dimension of information that is relevant to understand when assessing, managing and reporting the footprints and impacts of a firm and are, therefore, only a fraction of the key performance indicators (KPIs) related to ESG that should be disclosed. Through a case study, this article demonstrates the connection between the due diligence analysis of firms’ value chains and distribution networks, the analysis of the competitive parameters of the business model, the identified impacts, risks and opportunities, and the double materiality perspective. The double materiality perspective prioritises actions based on probability and significance, creating a natural space to identify KPIs. The article concludes by applying the REGS model and illustrating how it can assist firms in identifying relevant KPIs based on double-materiality assessments.

In Japan, bariatric surgical treatment was started in 1982. The Japanese Society for Treatment of Obesity(JSTO) was established in 2007 and then JSTO started national registry of bariatric surgery cases and multidisciplinary educational program. 44 facilities registered bariatric surgical cases. In this study, the purpose is to clarify the indication, the safety and the effectiveness of the sleeve gastrectomy using national registry data base compiled by JSTO. Preoperative BMI was ranged from 27 to 75, and the mean value was 42.2. As gender, men/women was 1/1.3. Age was 42.2 as mean.　As preoperative complications, DM ratio was 56.1% of the patients, Hypertension 63.2%, dyslipidemia 65.2%, and sleep apnea syndrome 69.4%. As operation method, laparoscopic method were taken in 99.5% of the cases. The intra operative incidents rate was 1.3 %. Conversion rate to open method was 0.98%. Morbidity ratio was 9.8% and mortality was 0 %. Reoperations were performed in 1.5 % of the cases. Postoperative hospital stay was 3.5 days in Median value. Body weight loss was 27.2 kg in the mean value after follow up days of 286 (fig.10). As the effect on the preoperative metabolic complications, DM has improved in 86.9 % of the cases, Hypertension 68.7 % and Dyslipidemia 67.9%. In conclusion, the usefulness of sleeve gastrectomy has been shown and verified that it is safely administered in Japan

This study examined the effect of the media usage environment, particularly TV and SNS devices, on advertisement acceptance, lifestyle, and psychological satisfaction. Hypothesis pathways and comparative structural mediating effects were analyzed. Media and Consumer Research public data were used for empirical analysis. A total of 6,640 people who participated in sports activities were included in the study. The results demonstrated that TV and SNS device usage environments had similar effects on advertisement acceptance. While TV did not influence the pursuit of personal life, SNS device use environments affected the pursuit of personal life. SNS device use environments had a greater effect on individual psychological satisfaction than TV. Adoption had a mediating effect on the influence of media usage environments on the pursuit of personal life. The pursuit of a personal life had a significant mediating effect on the influence of media use environments on psychological stability. This study revealed no differences in the effects of new and traditional media on advertisement acceptance, while new media had a greater influence on lifestyle and psychological satisfaction.

In the Versatile Video Coding (VVC) standard, affine motion models have been applied to enhance the resolution of complex motion patterns. However, due to the high computational complexity involved in affine motion estimation, real-time video processing applications face significant challenges. This paper focuses on optimizing affine motion estimation algorithms in the VVC environment and proposes a fast gradient iterative algorithm based on edge detection for efficient computation. Firstly, we establish judging conditions during the construction of affine motion candidate lists to streamline the redundant judging process. Secondly, we employ the Canny edge detection method for gradient assessment in the affine motion estimation process, thereby enhancing the iteration speed of affine motion vectors. Experimental results demonstrate that our affine motion estimation algorithm reduces encoding time by approximately 15%-35% while maintaining video bitrate and quality.

The paper presents the measured values of tensile forces acting on transmission idlers in the upper and lower run of a conveyor belt placed on a laboratory machine designed at the Department of Machine and Industrial Design, Faculty of Mechanical Engineering, VSB-Technical University of Ostrava). The tensile forces detected by two strain gauge load cells and recorded using DEWESoft software were used to calculate the friction coefficient which acts on the surface of the driving drum casing and the conveyor belt. The friction coefficient at the slip point, or during the slippage of the conveyor belt on the rubber or steel casing of the driving drum was determined for two states of the surfaces which are in contact. Experimental measurements on a laboratory machine determined four values of friction coefficients, for two types of drum surfaces and for two states of contact surfaces, which were compared with the recommended standard values. The measured values reached higher values in comparison with the values given by the CSN standards. The highest deviation of 273.3% is achieved using a steel wet surface, and the lowest deviation of 106.3% is achieved when using a rubber dry lining for the driving drum casing. On the presented laboratory machine, it is possible to measure tensile forces for different speeds of movement, different belt angles on the driving drum, various types of belt surfaces, different types of drum casing linings and different sizes of tension forces for the endless loop of the conveyor belt. For these characteristics of the conveyor belt, the magnitude of the friction coefficient, acting between the belt and the drum surfaces, can be determined.

Since sensor-based perception systems are used in autonomous vehicle applications, validating such systems is imperative to guarantee the robustness of the systems before they are being put to use. In this study, a comprehensive corruption-related simulation-based robustness verification and enhancement process for sensor-based perception systems is proposed. Firstly, we present a methodology and scenario-based corruption generation tools for creating diverse simulated test scenarios that can analogously represent real-world traffic environments, especially considering corruption types related to safety concern. Then, an effective corruption similarity filtering algorithm is proposed to remove corruption types with high similarity and identify the representative corruption types to represent all considered corruption types. As a result, we can generate efficient corruption-related robustness test scenarios with less testing time and good scenario coverage. Subsequently, we perform the vulnerability analysis of object detection models to identify model weaknesses and construct an effective training dataset for model vulnerability enhancement. This enhances the tolerance of object detection models to weather and noise-related corruptions, ultimately improving the robustness of the perception system. We employ case studies to demonstrate the feasibility and effectiveness of the proposed robustness verification and enhancement procedures. Additionally, we explore the impact of different "similarity overlap threshold" parameter settings on scenario coverage, effectiveness, scenario complexity (size of training and testing datasets), and time costs.

In the current industrial revolution, advanced technologies and methods can be effectively utilized for the detection and verification of defects in high-speed steel filament production. This paper introduces an innovative methodology for the precise detection and verification of micro surface defects found in steel filaments through the application of the Eddy current principle. Permanent magnets are employed to generates a magnetic field with high frequency surrounding a coil of sensor positioned at the filament's output end. The sensor's capacity to detect defects is validated through a meticulous rewinding process, followed by a thorough analysis involving scanning electron microscopy (SEM) and energy-dispersive spectroscopy (EDS). Artificial defects were intentionally introduced into a sample, and their amplitudes were monitored to establish a threshold value. The amplitude signal of these created defect was identified at approximately 10% FSH, which corresponds to a crack depth of about 20 µm. In the experimental production of 182 samples covering 38 km, the defect ratio was notably high, standing at 26.37%. These defects appeared randomly along the length of the samples. The verification results underscore the exceptional precision achieved in the detection of micro surface defects within steel filaments. These defects were primarily characterized by longitudinal scratches and inclusions containing physical tungsten carbide.

Steganalysis is the practice of identifying potential secret communication and taking appropriate action, such as deciphering to uncover the hidden contents or destroying the object containing the hidden information if it cannot be uncovered. At times, it’s very necessary to perform Steganalysis due to the fact that steganography is often misused by those with bad intentions, making it a platform for criminal communication. This paper presents a methodology for the detection of timing steganography. The method is based on user behavior during chat, such as the time taken to read, edit, and send text, etc. The method was tested using simulation-based chat software, and it can detect intended timing samples correctly. However, this method is not a very robust one due to some reasons. For instance, it only works well with text-based chat applications, and there are many factors that affect the typing and reading speed of an individual as well as their behavior during chat. These often make the method susceptible to fault detection as it is not easy to set an accurate mean value and deviation to accommodate different typists' normal behavior, which appears as an intended timing.

With the large-scale application of Internet of Things (IoT) in the medical field, eHealthcare has attracted wide attention. With the help of IoT devices, eHealthcare allows doctors to monitor patients’ health conditions and make recommendations accordingly. The addition of cloud computing greatly saves Healthcare Center’s (HC) computing resources. In order to provide privacy and fine-grained access control, Attribute-b ased encryption (ABE) is widely favored. HC usually operates multiple medical institutions in different regions, and each medical institution can be regarded as a attribute authority. Therefor, multi-authority (MA) ABE is usually concerned to encrypt the patient data. However for existing MA-ABE algorithms, the ciphertext is long and the efficiency of encryption and decryption is low. These problems will greatly increase the computing burden of patients and seriously affect the efficiency of data transmission. Hence we propose a decentralized key-policy MA-ABE in eHealthcare. The proposed algorithm can achieve decentralization, that is, it does not need central authority. Meanwhile, compared with existing MA-ABE algorithms, the length of ciphertext generated by our algorithm is shorter, and the efficiency of encryption and decryption is significantly improved. With the help of Java Pairing Based Cryptography, we carried out the experiments which show that our algorithm can effectively reduce the time required for encryption and decryption.

In this paper, we perform the neural cryptanalysis and comprehensively analyze five block ciphers, Data Encryption Standard (DES), Simplified DES (SDES), Advanced Encryption Standard (AES), Simplified AES (SAES), and SPECK. The vulnerability of the block ciphers is investigated in three different attacks, such as Encryption Emulation (EE), Plaintext Recovery (PR), Key Recovery (KR), and Ciphertext Classification (CC) attacks. For the plaintexts, randomly generated block-sized bit arrays and texts are used. The block ciphers apply different numbers of round functions in the encryption of the block-sized bit arrays, and they are investigated by using the deep learning models trained with different numbers of data in EE, PR, and KR attacks. Moreover, the block ciphers use two different text encryption methods, Word-based Text Encryption (WTE) and Sentence-based Text Encryption (STE), to encrypt the texts in various operation modes, and they are analyzed with deep learning models in EE, PR, and CC attacks. As a result, the block ciphers can be vulnerable to deep learning-based EE and PR attacks using a large amount of train data, and STE can improve the strength of the block ciphers, unlike WTE, which shows almost the same classification accuracy as the plaintexts, especially in CC attack. Additionally, when the keys that are the same as the plaintexts are used in encryption, the block ciphers can be perfectly broken in KR attack. Moreover, especially in KR attack, the RNN-based deep learning model shows higher average Bit Accuracy Probability (BAPavg) than the fully connected-based deep learning model, which is used more often in previous works of neural cryptanalysis. Furthermore, although the transformer-based deep learning model is a state-of-the-art model in Natural Language Processing (NLP), the RNN-based deep learning model is more suitable for CC attack and shows higher classification accuracy.

The existing PDC(Polycrystalline Diamond Compacts) -cone hybrid bit bearing adopts a unilateral support structure, which is prone to stress concentration in the journal area, resulting in fracture and wear failure of the bearing, thus reducing the service life of the hybrid bit. In this paper, a new type of double supported bearing hybrid bit is proposed. The static strength analysis of unilateral and bilateral support bearing structures is carried out by finite element simulation, and the stress and strain distribution of the two structures under the load of 20KN-100KN is obtained. Experimental devices for unilateral and bilateral support bearing structures are designed and manufactured to complete 50KN-100KN static pressure loading experiments. The results showed that the stress and strain of unilateral and bilateral support bearing increased linearly with the increase of load. Compared with unilateral bearing, when the load was 100KN, the maximum Mises stress of bilateral bearing decreased from 358.80MPa to 211.10MPa, with a decrease of 41.16%. The maximum contact stress decreased from 415.20MPa to 378.10MPa, decreased by 8.94%, and the maximum principal strain decreased from 11.01e-4 to 9.71e-4, decreased by 11.81%. The axial strain in the danger zone was reduced by 14.68% and 17.35%, respectively. It is found that the contact stress of the simulation data is highly correlated with the bearing life, and the service life of the bilateral bearing bit is increased by 8.94%. The simulation data and experimental results provide data support for the production of hybrid bits with bilateral bearing support.

This study explores the efficiency and applicability of a HONO collection system that incorporates an ultrasonic nozzle and spray chamber for the measurement of ambient air. The system demonstrates (1) a remarkable efficiency of 97.7% across two serial stages, (2) lower detection limits of 0.1 ppbv for HONO, and (3) absence of interference from NO2 or OH radicals. Practical ambient monitoring with the HONO collection system revealed typical diurnal variations in HONO, O3, and HNO3 concentrations, aligning with photolysis dynamics. Notably, HONO concentrations peaked at 0.37 ppb during nighttime and decreased to 0.27 ppb by midday. O3 demonstrated an inverse relationship with HONO, especially during ozone depletion phases, with r2 values of 0.94, 0.81, and 0.52 across various intervals. The HONO/NOx ratio during periods of enhanced HONO suggested the presence of additional formation mechanisms beyond heterogeneous NOx reactions. Moreover, ozone levels often fell below 20 ppb, indicating a consistent inverse correlation with HONO, thereby confirming periods and highlighting further mechanisms of HONO formation beyond heterogeneous NOx reactions. The real-time atmospheric chemical reactions involving HONO, monitored concurrently with O3 and NOx, were effectively validated by the HONO collection system employed in this investigation.

Aluminium alloys are used for fabrication of fuel clad of research grade nuclear reactors as well as of several types of core components of high flux research reactors. In order to carry out design and safety analysis of these components, their mechanical and fracture properties are required by the designer. In this work, experiments have been conducted on tensile specimens machined from an aluminium alloy block to evaluate the material stress-strain curve. For evaluation of fracture properties, experiments have been conducted on disc shaped compact tension specimens in order to determine the fracture toughness of aluminium alloy. From crystal plasticity based finite element analysis and experimental data, a material damage parameter for prediction of crack initiation has been evaluated. The variation of the parameter for various values of initial a/W ratios of the disc-shaped CT specimens have been studied. It was observed that the damage parameter is independent of crack geometry and hence, it qualifies as transferable material property which can be used to predict crack initiation in a component of this material subjected to different kinds of loading conditions. In addition, the JR curves of the disc-shaped CT specimens have also been evaluated from experiments. The material damage parameter has also been used to study the crack initiation in single crystal fracture specimens with two different orientations. It was observed that the [111] orientation is more susceptible to crack initiation and propagation compared to the [100] orientation as the damage parameter is high in the ligament of the specimen ahead of the crack-tip for the same level of load. The results of the experiments and the material damage parameter shall be helpful for integrity analysis of fuel clad of research reactors as well as components of high flux research reactors.

Mammarenavirus Wenzhouense (WENV) is broadly distributed in Asia, while the he dynamics process of WENV infection remains unclear. A field derived strain of WENV was used to inoculate Sprague-Dawley (SD) rats by intramuscular injection, the process of virus infection was de-tected by controlling time for 28 days. Viral RNA became detectable in the blood at 3 d pi, and remained detectable for about 12 d. In most organ tissues, viral RNA peaked at 7 d pi, then began to decline by 14 d, however remained detectable in intestine and brain tissues at 21 and 28 d pi. Virus shedding had been detected from fecal samples for 5 days from 6 to 11 d pi using qRT-PCR, and was recovered from feces collected at 8 d pi. Horizontal contact infection occurred among cage-mates at 14 and 21 d pi. Antibodies against the nucleocapsid were detected at 5 dpi, next increased and persisted until the end of experiment. The results enabled to discriminate the kinetic of viremic response, virus shedding in feces and horizontal transmission, as well as the potential sites for WENV replication or maintenance of the virus in nature.

In this letter, it is proposed that cryogenic quantum bits could operate based on the nonlinearity due to the quantum capacitance of two-dimensional Dirac materials, and in particular graphene. The anharmonicity of a typical superconducting quantum bit is calculated and the sensitivity of quantum bit frequency and anharmonicty with respect to temperature are found. Reasonable estimates reveal that a careful fabrication process could reveal the expected properties, thus putting the context of quantum computing hardware into new perspectives.

In terahertz communication systems, lens antennas used in transceivers are basically plano-convex dielectric lenses. As the aperture increases and the focal length decreases, the thickness and mass of the plano-convex lens increase rapidly. Through theory and simulation, we designed a Fresnel lens suitable for the terahertz band to meet the requirements of large aperture and short focal length, and simulated the performance, advantages and disadvantages of the terahertz Fresnel lens. A 300GHz terahertz wireless communication system was built to verify the gain effect of the Fresnel lens antenna. The experimental results show that the Fresnel lens can amplify the signal in the terahertz band. The theoretical gain of a 30 cm Fresnel lens is 48.83dB, while the actual measured gain is approximately 45dB.

With the fast growth of smartphones and digital cameras, massive images are generated every day in the world. They are easily transmitted on the insecure channel-Internet. It has been a hot spot for protecting sensitive images during communication. A new cryptosystem is proposed using a six dimensional (6D) hyperchaotic system and DNA computing. The hash value is obtained with the function of SHA-512. It keeps the encrypted result closely connected with the original image. The initial values of the cryptosystem are produced with the hash value and the secret key. The pixel is divided into four parts, and a large matrix is formed. Scrambling is performed on the new image. DNA coding, modern DNA complementary rules, DNA computing, and DNA decoding are performed on the new image. Diffusion is also executed, and ciphered image is achieved finally. The experimental result reveals the outcome of the proposed algorithm. Security analysis shows that the designed algorithm has a huge secret key space, low correlation, and high sensitivity. It also signifies that the designed algorithm could protect against common attacks and is more secure than some existing methods.

Glioblastoma multiforme (GBM) is a highly invasive brain malignancy originating from astrocytes, accounting for approximately 30% of central nervous system malignancies. Despite advancements in therapeutic strategies including surgery, chemotherapy, and radiopharmaceutical drugs, the prognosis for GBM patients remains dismal. The aggressive nature of GBM necessitates the identification of molecular targets and the exploration of effective treatments to inhibit its proliferation. The Notch signaling pathway, which plays a critical role in cellular homeostasis, becomes deregulated in GBM, leading to increased expression of pathway target genes such as MYC, Hes1, and Hey1, thereby promoting cellular proliferation and differentiation. Recent research has highlighted the regulatory role of non-coding RNAs (ncRNAs) in modulating Notch signaling by targeting critical mRNA expression at the post-transcriptional or transcriptional levels. Specifically, various types of ncRNAs, including long non-coding RNAs (lncRNAs) and microRNAs (miRNAs), have been shown to control multiple target genes and significantly contribute to the carcinogenesis of GBM. Furthermore, these ncRNAs hold promise as prognostic and predictive markers for GBM. This review aims to summarize the latest studies investigating the regulatory effects of ncRNAs on the Notch signaling pathway in GBM.

The combination of encryption and digital watermarking technologies is a trend to achieve full lifecycle data protection. Recently, reversible data hiding in encrypted domain (RDHED) has greatly aroused the interests of many scholars. But the fixed order of first encryption and then watermarking makes this kind of algorithms unsuitable to many applications. Commutative encryption and watermarking (CEW) technology realizes the flexible combination of encryption and watermarking, and suits more applications. However, most existing CEW schemes for vector maps are not reversible and unsuitable to high precision maps. To solve this problem, here we propose a commutative encryption and reversible watermarking (CERW) algorithm for vector maps based on virtual coordinates which are uniformly distributed on the number axis. The CERW algorithm consists of virtual interval step based encryption scheme and coordinate difference based reversible watermarking scheme. In the encryption scheme, the map coordinates are moved randomly by multiples of virtual interval step defined as distance between two adjacent virtual coordinates. In the reversible watermarking scheme, difference expansion (DE) technique is used to embed the watermark bit into the coordinate difference computed based on the relative position of a map coordinate in a virtual interval. Since the relative position of a map coordinate in a virtual interval keeps unchanged during the coordinate scrambling encryption process, the watermarking operation and the encryption operation don’t interfere with each other and the commutativity between encryption and watermarking achieves. Results show that: proposed method has high security, high capacity and good invisibility. In addition, the algorithm is not only applicable to polyline and polygon vector data, but also can be applied to sparsely distributed point data which the traditional DE watermarking algorithm often fails to watermark.

As the fast growth of information technology (IT), the safety of image transmission and the storing of images are increasingly concerned. Traditional image encryption algorithms have certain limitations in transmission and security, so there is an urgent need for a secure and reliable image encryption algorithm. A universal compression sensing (CS) image encryption (IE) algorithm based on DNA-triploid mutation (DTM) is presented in this paper. Firstly, by using CS algorithm an image is compressed while obtaining a range of chaotic sequences by iteration of chaotic map. Then DNA sequences are generated by encoding the image, and based on the DTM, new mutant DNA sequences are generated according to specific rules. Next, the chaotic sequences are operated at the DNA level to do confusion and diffusion operations on the image to ensure the security of the data. At last, DNA decoding is carried out to obtain the compressed-encrypted image. Both simulation experiments and performance tests fully show that a high level of security and reliability of the proposed algorithm in protecting image privacy is achieved.

In this research, the concept of the instability of tension in Microgrid still becomes the focus of study and purpose. Scrutinously, First-Swing Instability occurs in the system in noted changes with properties of making the system unstable or restore to a state of stability. The latter calls itself as a phenomenon of re-synchronization. Allied to aspects of system instability, it is evident that by connecting fast electric chargers for battery-electric vehicles to the distribution system from microgrids, they increase the necessary basic electrical charges and reduce the stability of the electrical energy system. Transient electrical currents have the characteristic of severely impacting microgrids not prepared in connected states or island of the main system. The occurrences of the electromagnetic incompatibility of the inrush current, due to their unpredictability and intermittent characteristic, have complex identification studies. With the elevation of electricity demand by battery-electric vehicle chargers, concerns about the effects of the integration of the electricity grid increase proportionally. The research described in this article emphasizes the influence of fast chargers’ initialization on the power variation related to the re-synchronization phenomenon and its mitigation of the stability of electricity microgrid. An optimization algorithm based on particle swarm optimization (PSO) implements the development of virtual impedances. The PSO optimization algorithm analyzes all possible operating points and aims to maximize the stability index of microgrid, maintaining reactive energy incompatibilities at the minimum level supported. The fractional objective function facilitates the service to these goals simultaneously. The optimization algorithm is implemented in a case study and the corresponding virtual impedance is incorporated into the microgrid. Voltage levels are verified as a condition in the optimization process, comparing system effectiveness.

Real time condition monitoring and precision health assessment system is a mandatory need for effective maintenance program in industrial sector. Rapid advancement in the information technology and other engineering technologies have invited more proactive attention from research and development in industrial sectors and particularly in condition monitoring of machines and related Industrial processes. In this work, drill bit condition monitoring techniques have been developed based on wavelet analysis and artificial neural networks (ANN) for automatic drill bit fault detection and classification. An experimental work has been conducted to capture the vibration signals for analysis. In this experiment, the CNC drill machine is used with high carbon steel drill bit and mild steel material as work piece. The cutting condition parameters are kept constant and the wear level is varied from 0.2 to 0.6 mm. The Data Acquisition system (DAQ) with Lab VIEW software is used to capture the vibration signals for drill bit with different wear conditions using accelerometer. The captured vibrations data are analyzed using continuous wavelet transform (CWT) with Morlet wavelet and Daubechies wavelet as a prime function. In general, the CWT coefficient is used to generate the inputs features to ANN for automatic tool condition classification, with two outputs (0, 1) for healthy and (1, 0) for faulty. The outcome of ANN showed 98% of accuracy in the wear prediction and this results show the effectiveness of the combed WT and ANN for automatic classification of tool wear conditions with high success rate.

Security is a major topic in recent researchers, and finding new methods deliver was the motivations for this research to emphasize and as an awareness to browsers developers to handle images with more care and to enhance exploit detection technology in the browser, as this paper proves that hackers now can attack users with just an image.