Verification Work Research Articles

Forces, Hierarchy, Unification

Force or energy is both a relationship and a pulse between objects (relational physics). Based on this idea, I have succeeded in unifying the gravitational and electromagnetic forces, as well as the strong and weak forces, using the same framework. Through this verification work, I have also been able to determine the radius and mass of the neutrino. In my deep consideration of the background of the formation of the weak and strong forces, I also succeeded in unifying alpha and beta decay by combining radioactive decay with the vision of the pulse.

Can heterolocalism explain the residential patterns of small populations of foreigners in Japan? The cases of Afghans, Laotians, Bolivians and Turks

AbstractThis paper examines whether the residential patterns of small nationality‐based ethnic groups in Japan, such as Afghans, Laotians, Bolivians and Turks, can be successfully explained by the model of heterolocalism, which is well‐known for comprehensively explaining the patterns of new immigrants. This verification work is conducted based on census microdata, mapping and interviews with the foreigners. The model is characterized by five propositions, two of which are found not to apply to the Japanese case. Namely, regarding the ‘spatial dispersion’ proposition, a series of small‐sized clusters of foreign inhabitants was confirmed, suggesting that nodal heterolocalism as a modified model is better than the original model. As for the proposition of ‘spatial disjuncture between home and work’, we find that the places of work and residence show spatial proximity rather than separation, reflecting the fact that most of the foreign inhabitants are engaged in blue‐collar occupations. The obtained results serve as criticism of the heterolocalism model, which emphasizes that it is valid not only for the relatively privileged but also for certain lower‐status groups.

A Systematic Translation Validation Framework for MLIR-Based Compilers

This paper introduces an innovative translation validation framework designed for MLIR-based compilers, which has garnered considerable prominence in fields such as machine learning, high-performance computing and hardware design. Despite rigorous testing, compilers based on MLIR might still induce incorrect results and undefined behaviors, necessitating verification work. Our framework first takes a pair of MLIR programs as inputs and check their function signature’s compatibility before encoding them into SMT expressions. Then it uses the Z3 SMT solver to check whether the target program refines the source program. Our framework transcends the dialect limitations of past solutions, thereby providing validation support to a wider range of MLIR-based compilers. We demonstrate its effectiveness through evaluations on prominent open-source MLIR-based compilers, where we identified bugs and undefined behaviors. We further demonstrate the capability of this framework by validating two practical deep-learning accelerator designs.

Hydrodynamic performance of pitching foils with two leading-edge protuberances

Inspired by the tubercles on humpback whales, the ‘tubercle-effect’ first identified by (Fish and Battle, 1995; Fish and Lauder, 2006) had been studied extensively to understand their influence on overall efficiency for airfoils and wings. Pitching and/or heaving motion of foils produces net thrust inspired from fin-based locomotion of aquatic animals, and is often being proposed as a greener means of propulsion having reduced acoustic signature. With this aim in mind, the present work investigates the effect of using tubercles on pitching motion of foils. The hydrodynamic characteristics of finite aspect ratio pitching foils having leading-edge modifications in the form of two protuberances are investigated using experiments. The thrust and efficiency with and without protuberances are investigated for pure pitching motions at reduced frequencies (1.8 – 3.2) and pitching amplitudes (7.5°- 20°) for Reynolds number 2 × 104. The experimental results are compared with inviscid linear theory calculations which over-predict the mean thrust, while the amplitude of the lift force and its variation with reduced frequency is similar. The performance improvements in terms of thrust and efficiency for the modified design are restricted to ≥15° pitching amplitudes at higher reduced frequencies. The wake vorticity patterns obtained using Computational Fluid Dynamics investigations show the influence of the leading-edge vortex, which gets modified when the protuberances are used. The transition from 2S wake to 2P wake with the increase in the amplitude of oscillation is captured. The reversal of von Kármán Vortex Street with the pitching frequency and thus the transition from drag to thrust generation is observed for both the baseline and modified foil designs. The results indicate that protuberances over the leading-edge of hydrofoils can influence the hydrodynamics during pitching motion and can be effectively employed for performance tailoring based on the geometry and motion characteristics. The simplified setup used here is also meant to serve as a basis towards future research including verification and validation work for numerical solvers.

Overview of in-bore pipe cutting and welding tools for the maintenance of CFETR and EU-DEMO

In the remote maintenance of fusion nuclear devices, one of the most challenging tasks is the cutting and the re-welding of large pipes that feed the breeding blanket. The narrow space around some of the pipes hinders the suitability of conventional orbital processes. For such pipes, both the cutting system and the welding one have to be compact enough to move along their interior, lock against the pipe inner wall and keep the position during the operation. The inner diameter and thickness of the pipes together with the other severe requirements related to the remote maintenance drive the choice of the processing technologies and the design of the tooling configuration. In this work, activities carried out by a joint team from EU-DEMO and CFETR on the in-bore cutting and welding operations are presented and discussed. For the in-bore cutting system a solution for the simultaneous parting and bevelling has been developed opting for a mechanical cutting with a pair of symmetrically distributed knives. A preliminary dimensioning of the motors has been made assuming the radial feed and the cutting speed of the knives. For the in-bore welding system, the TIG welding with filler wire has been considered as the most reliable and suitable technology within prescribed requirements and constraints. A multi-pass welding operation has been assumed. A conceptual design of both tools has been developed. The space constraint remains the most critical issue. Further verification and validation work is planned in close collaboration between European laboratories and the Comprehensive Research fAcility for Fusion Technology (CRAFT) at ASIPP in Hefei.

Adaptation of the method for identification and quantification of mono- and diacylglycerols in vegetable oils

The article presents the research on the adaptation and implementation of a method for determining mono- and diacylglycerols in vegetable oils. The relevance of the research is determined by the introduction of standardization of monochloropropanediols and glycidol in vegetable oils and some types of fat and oil products since 2025. According to the scientific literature, mono- and diacylglycerols, formed during the ripening of oil seeds under the influence of the enzyme lipase, are precursors of monochloropropanediols and glycidol, which, in turn, according to the World Health Organization, are carcinogenic substances. Some of the most probable mechanisms for the formation of contaminants from mono- and diacylglycerols have been considered; according to them diacylglycerols are considered to be the main source of glycidyl ethers, and monoacylglycerols are that of monochloropropanediols. An important factor influencing the speed and completeness of the described reactions is the presence in the system of water molecules, chlorine ions, hydrogen protons, as well as high temperatures. Catalysts for such side reactions are heavy metals, including their salts. Thus, in order to implement effective measures to control the formation of contaminants in oil, it is important to have a complete picture of the quality indicators of the feedstock and, above all, data on the content of mono- and diacylglycerols, methods for determining which are not available in laboratory practice in the Russian Federation.The goal of the research is to develop a method for the quantitative determination of mono- and diacylglycerols in vegetable oils.As a result of the research, the sample preparation method has been improved, calibration dependencies have been determined using an internal standard, and an identification and quantitative analysis technique has been proposed, on the basis of gas chromatography with a flame ionization detector and the use of a high-temperature capillary column. Verification work has been carried out and the metrological characteristics of the proposed method have been determined. The method has been tested on real objects – various types of vegetable oils.

Fog Computing for Data Security and Privacy in Health-Care System¬¬

Abstract: The application of the Internet of Things has been greatly expanded; meanwhile, real-time and efficient communication has become an important feature of the Internet of Things. However, the centralized characteristics of cloud computing cannot meet the needs of low latency and high computing efficiency. To solve these issues, we utilized fog computing which is a new distributed computing paradigm that extends cloud services to the edge of the network, with mobility and low latency. Nevertheless, fog computing also brings new security issues, especially identity authentication. Authentication and key exchange are significant challenges that need to be taken into consideration in fog computing. We proposed the architecture of the mutual authentication key establishment scheme based on elliptic curve cryptography for fog computing. After mutual authentication, the cloud server can transfer the remaining verification work to fog nodes. Fog nodes will be responsible for authenticating the device and distributing the established session key, thereby reducing the computational cost of the cloud server. After mutual authentication is completed, the cloud server, fog nodes, and devices can communicate with each other. The Security of the proposed scheme proved that it is strong enough against several attacks

The Use of Hydrodynamic Cavitation to Improve the Anaerobic Digestion of Waste from Dairy Cattle Farming—From Laboratory Tests to Large-Scale Agricultural Biogas Plants

There is a need to find methods to intensify the anaerobic digestion process. One possibility is the use of pretreatment techniques. Many laboratory tests confirm their effectiveness, but in most cases, there is no verification work carried out on industrial plants. A reliable and complete evaluation of new solutions can only be carried out in plants that reflect operating conditions at a higher readiness technological level. This has a direct impact on the scientific value and, above all, on the high application value of innovative technologies. The aim of our research carried out under laboratory conditions and on a large scale was to determine the technological and energy efficiency of the use of hydrodynamic cavitation in the pretreatment of a waste mixture from dairy farms. It has been shown that hydrodynamic cavitation significantly increases the concentration of organic compounds in the dissolved phase. In the most effective variants, the increase in the content of these indicators was over 90% for both COD and TOC. The degree of solubilisation achieved was 49 ± 2.6% for COD and almost 52 ± 4.4% for TOC. Under laboratory conditions, the highest effects of anaerobic digestion were achieved after 10 min of pretreatment. The amount of biogas was, on average, 367 ± 18 mL/gCOD, and the amount of methane was 233 ± 13 mL/gCOD. Further large-scale optimisation trials showed that after 8 min of hydrodynamic cavitation, the biogas yield was 327 ± 8 L/kgCOD with a CH4 content of 62.9 ± 1.9%. With this variant, the net energy yield was 66.4 ± 2.6 kWh/day, a value that was 13.9% higher than the original variant with 10 min of disintegration and 3.1% higher than the variant without pretreatment.

Simulation characterization of measurement errors of the wide-range environmentally friendly current transformers

To accurately measure the hundreds of millions of dollars of electricity consumed, the accuracy, safety, environmental friendliness, and reliability of current transformers become crucial. In response to these problems, there is an urgent need to develop an environmentally friendly current transformer that can adapt to the needs of power systems with wide-range current fluctuations. Therefore, in this paper, the simulation model of a three-phase current transformer with a combined transformer is developed. Simulation and verification work for the relationship between the error characteristics of environmentally friendly current transformers and the influence of magnetic field changes in each phase and the magnitude of the load on the secondary side. We compared the measurement errors before and after active compensation, demonstrating that environmentally friendly current transformers can increase the range and measurement flat frequency range while ensuring their 0.2S class measurement accuracy. This in turn proves the feasibility of wide-range environmentally friendly current transformers.

Construction Safety Management Systems Using Promethee Method

Construction safety management is at the construction site safe working environment security to ensure to control activities a method that can be used. Planning and design taken during the process results of the construction project when the protection is largely affected. Construction and demolition sites, labor protection, and health hazard the result is unique hazards and risks causing professional safety and health management protection of systems organizations and health hazards continue to detect and remove help, incident possibilities reduce, to regulations compliance and risk-reduction implement interventions. Construction industry sites employee health and safety very dangerous to work with one of the workplace environments. Manufacturing processes, labor intensive characteristics, and occupational accidents due to the construction industry the greater the risk, the greater it is scale of financial losses, and the worst the company results from reputation. Construction in the construction industry site security is very important this is an important requirement mostly on project sites is ignored. Correct without safety regulations, hazards of the construction industry and because of the dynamic environment, staff small and large are prone to accidents. Security management systematic risk management in detection, and with it related risks can also help control, at the same time this control activities of the construction site useful in aiding protection it promises to be. Safety management process roughly the following steps outlines: planning related to the workplace at the stage identity hazards and accident or to avoid property damage ensure construction safety appropriate restrictions for making and advance the determination of the step. Accidents possible actions early detection, safe practices followed and safe conditions whether maintained monitoring of verification work. Neighbors are public and private protection of assets at all levels of the organization effective communication implementation and promotion. Safe operating modes attractive to use regularly with incentive programs safety education and training providing. Constant professionalism health and safety compliance with regulations. PROMETHEEE is a priority for assessment enrichment Ranking system and its interactive help Descriptive complementary geometric analysis known as PROMETHEEE methods. In this, The PROMETHEEE method is the best solution from the analysis The shorter the distance and the longer the negative-ideal solution Determines the solution with the distance, but of these distances, The comparison was not considered significant. Alternative is Safety Commitment by Senior Management, Competency Profiles, Safety Climate, Project Management, Safety Requirements and Incentives, Safe Working Environment/ Conditions. Evaluation preference is Government building, Private building, Civil engineering, Industrial building. From the result it is seen that Government building is got the first rank where as is the Industrial building is having the lowest rank. Government building is ranked first and industrial building is ranked lowest.

Verification of Vermicompost Technology on Faba Bean Production at Welmera District, Birbo Watershed, Central Highlands of Ethiopia

Vicia faba, usually known as faba bean, which is commonly cultivated as a crop for human consumption, is the world’s leading source of protein. However, due to the low availability of basic cations, excess of hydrogen and aluminium in exchangeable forms, soil fertility limits its productive potential. Thus, this verification trial was intended to show the effects of Vermicompost technology on faba bean production, productivity and soil properties improvement on Nitisol of Birbo watershed in Welmera district in 2020/23. This verification work indicated that vermicompost application had contributed to the improvement of soil’s chemical properties and yields of faba bean, even if statistically non-significant results were observed. Soil chemical properties like pH, TN and OC were observed due to their application. From this study it is concluded that fifty per cent of nitrogen (0.47 ton ha-1) from Vermicompost and fifty per cent of nitrogen from urea would be recommended to be applied in the areas which have the same agro-ecology and soil properties as Welmera Districts.

Study on low temperature starting strategy for high power density diesel engines

During low-temperature starting, the high viscosity and poor fluidity of diesel engine lubricating oil make it difficult to be timely replenished to the friction pair, leading to the problems of starting difficulties and wear during cold starting. To address this issue, this study completed a simulation verification work through a bench test, and carried out a transient simulation of lubricating system oil filling in the range of 1–5 s starting time and −20°C to 80°C lubricating oil temperature to obtain the transient filling characteristics of the lubrication system oil path and the friction characteristics of the bearing. The results show that extending the starting time can effectively reduce the average dry sliding speed of the bearing, thereby reducing the frictional wear of the critical friction pairs during starting; when the oil temperature is between 20°C and 30°C, the average dry sliding speed of the bearing is low and the dry sliding distance is the shortest. The research results of this study are conducive to in-depth analysis of the lubrication oil filling mechanism during cold starting, and to determine a reasonable cold starting strategy from the perspective of lubrication.

Extracting Technicians' Skills for Human-Machine Collaboration in Aircraft Assembly.

Research on the efficiency and quality issues faced in aircraft assembly was conducted in this article. A new method of human-machine collaborative riveting was proposed, which combined the flexibility of manual collaboration with the precise control of automatic riveting. The research works include: (1) a theoretical model of pneumatic hammer riveting was established to clarify the principle and parameters of riveting process. (2) A smart bucking bar was designed to support the data collection and extraction of manual collaborative riveting process. (3) An automatic riveting experimental platform was designed to test the automatic riveting process incorporating the extracted manual riveting process parameters, and further an optimization strategy was proposed for the automatic riveting process. (4) A human-machine collaborative riveting experimental platform was developed to conduct the verification work. Through the theoretical analysis, experimental research, system scheme design, and process parameters optimization, the application and verification of human-machine collaborative assembly technology have been achieved. This technology is expected to be comprehensively promoted in the field of aircraft manufacturing, and for breaking through the current difficulties of low production efficiency and poor assembly quality control.

Research on the Physical Reproduction Method of Single-phase Grounding Fault in 10 kV Distribution Network Based on Digital Mirroring

It is necessary to construct a physical reproduction environment that conforms to the actual working conditions of single-phase grounding faults in 10 kV distribution networks, to effectively verify the single-phase grounding fault disposal capability of distribution automation equipment. In this article, a physical reproduction method of a single-phase ground fault in distribution networks based on digital mirroring is proposed. A digitized mirror model of a single-phase ground fault of a 10 kV distribution network is constructed. The system architecture for equivalent physical reproduction of single-phase grounding fault characterization is designed. Then the solutions to the critical technical problems in the realization are proposed. The reproduced single-phase ground fault signal was applied in the functional verification work of the first and second fusion distribution equipment. The experimental results show that the single-phase grounding fault in the 10 kV distribution network reproduced by this method comprehensively verifies the correct rate of the equipment for the single-phase ground fault disposal as well as the ability to prevent false action. Moreover, the reasons for the failure of the equipment s single-phase grounding fault disposal function were discovered.

A multi-physical coupling isogeometric formulation for nonlinear analysis and smart control of laminated CNT-MEE plates

This paper presents a novel and comprehensive numerical approach for nonlinear analysis and smart damping control in laminated functionally graded carbon nanotube reinforced magneto-electro-elastic (FG-CNTMEE) plate structures, taking into account multiple physical fields. The approach employs a multi-physical coupling isogeometric formulation based on Non-Uniform Rational Basis Spline (NURBS) to analyze the behavior of laminated FG-CNTMEE plate structures. It incorporates a refined zig-zag theory to accurately capture the Von Kármán nonlinear strain–displacement relationship, as well as the magneto-electro-elastic coupling properties of laminate layers. To achieve nonlinear damped responses, the smart constrained layer damping (SCLD) treatment is applied. Furthermore, to enable smart control of structures using the time-dependent passive/semi-active damping mechanism of viscoelastic materials, the formulation is transformed into the Laplace domain using the Golla–Hughes–McTavish model. The results are then converted back to the time domain through inverse techniques. The proposed approach has been rigorously validated through verification work and demonstrated its effectiveness in simulating and controlling FG-CNTMEE plates in two numerical examples.

Monitoring of structures with bearing elements in the form of long vertical rods

A building structure is considered, which in the design form consists of two vertical rectilinear interacting elements. One of them is loading, the other is carrying. The bearing element is presented in the form of a long thin rod loaded with an external axial vertical force. Due to the errors of geodetic verification and installation work, the bearing rod will be installed with some inclination and displacement relative to the coordinate axes. The external load on the bearing element is represented by the force vector, which is equivalent to the loading rod. Errors of geodetic verification and installation work will change the design direction of the force line and its design position on the supporting element. An inclined force vector will have a vertical and horizontal force component. Thus, the line of action of the loading force and the longitudinal axis of the supporting rod will be located at an angle to each other, which will cause bending momentsand transverse forces in the sections of the rod. A design "changed" in relation to the project is created. Bending moments and horizontal forces in this design will contribute to premature bending of the rod. An unevenly heated rod also acquires the ability to distort. The influence of the specified factors can be increased, and the stability of the rod significantly weakened due to uneven subsidence, horizontal displacement or tilting of the supporting structure due to dangerous exogenous geological processes. Therefore, errors in the position of elements, changes in temperature, geological processes disrupt the linear form of equilibrium of the bearing rod and its position in space. The change in shape and relative position contributes to the premature emergence of an unstable state under an increasing external load. In the changed design, the bearing rod may suddenly find itself in a critical stress-deformed state. The task of monitoring is to sense and properly record changes and dynamics of the stress-strain state. For this purpose, measuring complexes with a certain configuration are designed, which provide with the necessary specified accuracy the measurement of changes in the physical state of the elements of building structures.

Stability Analysis of a Transmission Line Tower and Slope under Heavy Rainfall

In recent years, our country’s transmission lines have often been in danger due to geological disasters such as landslides when passing through fragile geological environments, which has brought great challenges and risks to the operation and maintenance of transmission lines. In order to understand the impact of transmission line towers on tower foundation slopes under heavy rainfall conditions, the influence of towers at different locations, rainfall intensities, and slopes on slope stability was analyzed by using Geo-Studio finite element analysis software. The results show that the slope has an important influence on the selection of the reasonable position of the tower. When the tower is located at the lower part of the slope, the safety factor of the slope is the highest. The safety factor of the slope is also reduced, and eventually the slope will be unstable and destroyed; the stability coefficient of the slope in the natural state is 1.221, which is in a stable state. Slopes are prone to overall sliding, with the spoil and overburden as the sliding body and the rock–soil contact surface as the sliding surface. This result provides a scientific basis for further understanding the influence mechanism of the slope angle at the location of the tower pole on this type of landslide under rainfall conditions. Further research can use the results of this paper as a benchmark to carry out corresponding experimental analysis and verification work.

Contribution analysis of carcass traits on auction price for Hanwoo steers in the Yeongnam region of Korea

In this study, Data were the carcass grade on each 53,829 head of hanwoo steers slaughtered 3 years before (2017, 2018, 2019), 32,910 head of hanwoo steers slaughtered after (2020, 2021, 2022) COVID-19 at Yeongnam region and 54,369 head of hanwoo steers slaughtered same period at except for Yeongnam region. To find out the contribution of carcass traits to auction price and total price were analyzed through regression coefficients by using multiple regression analysis. As environmental factors affecting these carcass traits, slaughter year and slaughter season were set and analyzed through the least square method. The results of slaughter year showed that the grade of carcass traits in Yeongnam region increased over the years. In addition, in the slaughter season, the grade of carcass traits in the fall was found to be excellent. According to the contribution analysis, the results of the contribution ratio to auction price of before and after COVID-19 in Yeongnam region and after COVID-19 in all regions except Yeongnam were the same in order of marbling score, backfat thickness, eye muscle area, carcass weight. Also, the contribution ratio to total price were the same in order of carcass weight, marbling score, backfat thickness, eye muscle area. The general carcass grade is intended to use and analyze data from Yeongnam region, which has excellent backfat thickness and carcass weight, also has the largest number of elite cows selected through the verification work of elite cow by Korea Animal Improvement Association, and use it as a means for strategies to increase farm’s income and advance to high quality about Korean beef.

Development and Verification of a Simulation Model of an Automated Assembly Line

Simulation models are integral to IT solutions built according to the Industry 4.0 concept. They are often the basis for developing digital twin solutions, which is why development environments are constantly developed and improved to meet the growing requirements of manufacturing enterprises. This work presents the development and verification of a simulation model of an automated assembly line located in the Smart Factory laboratory of the Poznań University of Technology. One of the criteria for designing the assembly process on this line is the time it takes for transport pallets to pass through individual stations. The work is a response to the need to quickly analyze the designed product assembly scenarios to choose the best one. The operation of the automated line with six assembly stations and allowing for the simultaneous transport of six pallets were considered. The main purpose of the work was to build a simulation model that would allow us to obtain assembly times close to real. The model was created using the Tecnomatix Plant Simulation 16.0 software, and verification work was carried out through a comparative analysis of the results of the simulation time of various assembly scenarios in relation to the actual operation of the line.

Verification and validation of blade-resolved viscous-flow tidal turbine simulations

Tidal turbines are a renewable energy source on the rise. The exceptional predictability of tidal currents contributes to a high reliability of this technology, which represents a key advantage in the endeavor to become a major contributor to the energy mix. To foster the development and to support the design process of tidal turbines, reliable numerical modeling techniques are required. This paper presents verification and validation work performed within the framework of the Supergen ORE Tidal Turbine Benchmarking Study. Viscous-flow CFD code ReFRESCO is used to conduct blade-resolved simulations of the towing tank experiments. In a first approximation, a steady-state frozen-rotor approach is chosen. A transition model, γ-Reθ, is employed to predict the flow state transition on the turbine blades. In the process, the sensitivity to input turbulence quantities is highlighted. The numerical uncertainty is estimated based on mesh refinements. Finally, a conclusion is drawn to which accuracy the presented numerical models can predict the outcome of the experiments.