Verification Technology Research Articles

Low-Waste Technology for High-Precision Connecting Rod Forging Manufacturing.

This study refers to the application of an advanced tool in the form of numerical modelling in order to develop a low-waste hot die forging technology to produce a connecting rod forging. The technology aims at ensuring a limited amount of the charge material is necessary to produce one forging, as well as minimizing forging forces, and thus the electric energy consumption. The study includes a verification of the current production technology, which constituted the basis for the construction and development of a numerical model. A new construction of the forging tools was developed, with an additional pre-roughing pass (0X). The new process consists of die forging in the pre-roughing pass (0X), the roughing pass (1X) and the finishing impression (2X). Numerical modelling was subsequently conducted with the use of the Forge 3.0 NxT software. A detailed analysis was conducted on the accuracy of the tool impression filling (including the pre-roughing pass) by the deformed material, the distribution of temperatures for the forgings and the plastic deformations, as well as the courses of forging forces and energy. The results were verified under industrial conditions and compared with the forgings obtained in the previous technology (a roughing pass and a finishing impression). As a result of introducing the pre-roughing pass 0X, the forces were distributed between three impressions, including the especially developed pre-roughing pass. It was confirmed that the abovementioned changes in terms of forging tool construction had a positive effect on relieving the roughing pass and the finishing impression as well as limiting the charge material, and they also lowered the process energy consumption by 10%. This study also validated the relevance of using FE modelling to verify processes under virtual conditions before being implemented under industrial conditions. Therefore, the proposed approach based on multi-variant numerical simulations can be successfully used to improve other manufacturing processes in terms of reducing energy and material consumption and increasing tool service life.

Peran Inovasi (PETIK DUREN) Pelayanan Tilik Kampung Penduduk Rentan dalam Meningkatkan Kesejahteraan Masyarakat Kabupaten Lamongan

PETIK DUREN Program (Pelayanan Tilik Kampung Penduduk Rentan) is a public service innovation in Lamongan Regency aimed at improving access to civil administration for vulnerable groups, such as individuals with mental health disorders (ODGJ) and persons with disabilities. This study analyzes the program's success using Everett M. Rogers' diffusion of innovation theory, which includes indicators of relative advantage, compatibility, complexity, trialability, and observability. Using a descriptive qualitative method with a case study approach, data were collected through in-depth interviews and official government reports.The analysis results show that the program successfully registered 161 individuals in 2023 and an additional 16 individuals by May 2024. Success is evident in the trialability and observability aspects, demonstrated through improved access to healthcare, education, and social assistance services. Simplified procedures and a proactive approach facilitate vulnerable groups in accessing civil documents. The program meets innovation indicators, especially relative advantage and compatibility, by creating efficient services tailored to local needs.However, challenges such as low community participation in certain areas and logistical constraints remain. Recommendations include strengthening data verification technology, training officers, and implementing a zoning approach to expand coverage. With these improvements, PETIK DUREN has the potential to become a national model for public service innovation in improving the welfare of vulnerable communities.

Research and verification of high power density hydraulic energy storage technology

Research and verification of high power density hydraulic energy storage technology

Research on airworthiness verification technology of minimum weight MOC8 test of civil aircraft

Research on airworthiness verification technology of minimum weight MOC8 test of civil aircraft

Research on airworthiness verification technology of handling quality after control surface malfunction MOC8 test of civil aircraft

Research on airworthiness verification technology of handling quality after control surface malfunction MOC8 test of civil aircraft

Research on airworthiness verification technology for cargo compartment fire extinguishing agent distribution system under security clauses

Research on airworthiness verification technology for cargo compartment fire extinguishing agent distribution system under security clauses

The IAEA and Irreversibility: Addressing Political, Institutional, and Technological Verification Challenges in Former Nuclear-Armed States

ABSTRACT This article addresses challenges the International Atomic Energy Agency (IAEA) may face when conducting nuclear verification activities in former nuclear-armed States after the completion of their disarmament process. It does so by discussing the institutional, political and technological considerations that would present challenges and opportunities for the IAEA, building on discussions held in a workshop with an interactive simulation with eminent practitioners in the field of nuclear verification and scholars. First, the article briefly describes past discussions on the IAEA’s role in verifying former nuclear weapons possessors, and it assesses how nuclear safeguards could ensure irreversibility, verifiability and transparency in a disarmed environment. Second, it explores institutional, political, and technological challenges and opportunities for the IAEA verifying irreversibility. Institutional aspects include resource management, legal frameworks, and the adaptation of policymaking organs. Political aspects discussed are the potential for shifting the Agency’s organisational culture and mitigating financial constraints. Lastly, technological aspects include leveraging existing and new verification methods, dealing with new forms of classified materials, and assessing the completeness of nuclear material inventories.

Review on the Structure Design of Morphing Winglets

Winglets have a significant impact on the aerodynamic performance of aircraft. When aircraft are in different flight phases such as takeoff, climb, cruise, descent, and landing, traditional fixed winglets often cannot provide optimal performance gains. If winglets that can morph according to different flight conditions are employed, it is expected that the aircraft’s lift-to-drag ratio and control performance can be optimized throughout the entire flight process. This paper reviews the current research status, from theoretical studies on the performance gains of morphing winglets and design studies based on mechanical transmission mechanisms, smart materials and novel structures, to optimization techniques and testing and verification technologies in the design of morphing winglets. It elucidates two main reasons for the low technological maturity of current morphing winglet research, and points out three areas worthy of further in-depth study.

Design and Performance of Privacy Protection Model for Big Data Transmission Based on Mixed Encryption

With the advent of the big data era, data security and privacy protection have become particularly important. Big data has advantages such as large scale and diverse types, but it also brings risks of personal privacy leakage and data abuse. However, the symmetric or asymmetric encryption techniques alone have limitations in big data security and privacy protection. Therefore, a privacy protection model for big data transmission based on mixed encryption is proposed and experimentally validated. The research results indicated that the asymmetric encryption algorithm used had an encryption time of less than 20 ms, and the key space occupation was only 0.031 Kb to 0.063 Kb. After improving the symmetric encryption algorithm, it achieved a lower correlation of 0.16 within 18 ms and increased the number of ciphertext transformations to an average of 82 bits. In the performance verification of mixed encryption technology for 60 MB data packets, the proposed mixed encryption technology took 273.1 ms, the decryption took 254.7 ms, the correlation was as low as 0.12, and the average resistance time in resisting violent attacks exceeded 100 s. The model proposed in the study improves the encryption and decryption speed while ensuring data security, which has important practical application value and theoretical significance for data privacy protection in big data environments.

(Invited) Durability Analysis of Meas with Reversal Tolerant Anodes Under Repeated Cell Reversal Conditions

As regulations on greenhouse gas emissions are being strengthened, polymer electrolyte fuel cells (PEFCs) are being applied as a power source in a variety of applications. Mobility such as cars, ships, trains, airplanes, etc. have dynamic operating conditions. Because these operating conditions affect the durability of fuel cells, many studies have been reported analyzing durability of the membrane electrode assemblies (MEAs) by applying repeated operating conditions. 'Cell Reversal’, where the fuel cell voltage drops below 0V, is one of these operating conditions. This phenomenon is observed when electric energy is continuously consumed under hydrogen starvation conditions at the anode or when the required electric energy suddenly increases.In this talk, first, we attempted to find the optimal additive ratio by controlling the additive content of the electrode. Second, the durability of MEAs with three different types of electrocatalysts and additives was analyzed. Lastly, we will discuss strategies to further improve the durability of MEAs with additives in the anode. Acknowledgements This research was supported by a grant from Endowment project of “Development of Basic Technologies in Eco-friendly Ship Fuel Reliability and Safety Evaluation” funded by Korea Research Institute of Ships and Ocean Engineering (PES5100), and this research was also supported by a grant from “Development on operation and reliability verification technology of 1MW class eco-friendly ship fuel and power system under ocean environment (RS-2021-KS211507/PMS5950) funded by the Ministry of Oceans and Fisheries of Korea

The Jive Verification System and Its Transformative Impact on Weather Forecasting Operations

Abstract Forecast verification is critical for continuous improvement in meteorological organizations. The Jive verification system was originally developed to assess the accuracy of public weather forecasts issued by the Australian Bureau of Meteorology. It started as a research project in 2015 and gradually evolved to be a Bureau operational verification system in 2022. The system includes daily verification dashboards for forecasters to visualize recent forecast performance and “Evidence Targeted Automation” dashboards for exploring the performance of competing forecast systems. Additionally, Jive includes a Jupyter Notebook server with the Jive Python library, which supports research experiments, case studies, and the development of new verification metrics and tools. This paper describes the Jive verification system and how it helped bring verification to the forefront at the Bureau of Meteorology, leading to more accurate, streamlined forecasts. Jive has provided evidence to support forecast automation decisions and has helped to understand the evolving role of meteorologists in the forecast process. It has given operational meteorologists tools for evaluating forecast processes, including identifying when and how manual interventions lead to superior predictions. Work on Jive led to new verification science, including novel metrics that are decision-focused, including diagnostics for extreme conditions. Jive also provided the Bureau with an enterprise-wide data analysis environment and has prompted a clarification of forecast definitions. These collective impacts have resulted in more accurate forecasts, ultimately benefiting society and building trust with forecast users. These positive outcomes highlight the importance of meteorological organizations investing in verification science and technology.

Deep Speech Synthesis and Its Implications for News Verification: Lessons Learned in the RTVE-UGR Chair

This paper presents the multidisciplinary work carried out in the RTVE-UGR Chair within the IVERES project, whose main objective is the development of a tool for journalists to verify the veracity of the audios that reach the newsrooms. In the current context, voice synthesis has both beneficial and detrimental applications, with audio deepfakes being a significant concern in the world of journalism due to their ability to mislead and misinform. This is a multifaceted problem that can only be tackled adopting a multidisciplinary perspective. In this article, we describe the approach we adopted within the RTVE-UGR Chair to successfully address the challenges derived from audio deepfakes involving a team with different backgrounds and a specific methodology of iterative co-creation. As a result, we present several outcomes including the compilation and generation of audio datasets, the development and deployment of several audio fake detection models, and the development of a web audio verification tool addressed to journalists. As a conclusion, we highlight the importance of this systematic collaborative work in the fight against misinformation and the future potential of audio verification technologies in various applications.

Skill Verification Using Blockchain Technology : Ensuring Transparency and Trust

Blockchain technology, with its decentralized, immutable, and transparent nature, offers a promising solution for verifying skills and credentials. This paper explores the potential of blockchain in skill verification, highlighting its advantages, challenges, and potential applications. We delve into the technical aspects of implementing blockchain-based skill verification systems, discussing key considerations such as consensus mechanisms, smart contracts, and data privacy. Additionally, we examine the challenges that may arise in the adoption and implementation of blockchain technology for skill verification, including scalability, interoperability, and regulatory compliance. Finally, we conclude by discussing the future prospects and potential impact of blockchain-based skill verification on various industries

Studying infrasound propagation in the middle atmosphere with ICON and UA-ICON: comparison with the IFS and ground-based remote sensing

Infrasound signals are used to monitor various anthropogenic and natural sources. In particular, infrasound is one of the four verification technologies used by the International Monitoring System (IMS) of the Comprehensive Test-Ban Treaty organisation (CTBTO). To determine accurate source locations and energies, an accurate model of wind and temperature up to the lower thermosphere is necessary, hence operational NWP products are of great importance for routine infrasound monitoring activities. However, many of these models focus on tropospheric conditions, and the middle atmosphere (MA) is not well represented. UA-ICON is an upper atmosphere version of the ICON model that provides modelled atmospheric parameters up to 150 km. First, to assess ICON and IFS operational analysis products, comparisons to lidar observations are made. The main differences between both products were analysed with respect to winds and temperatures in the MA. Second, UA-ICON simulations outputs were compared to ICON and IFS fields to demonstrate the increased wave activity above ~30 km with UA-ICON. The added value of UA-ICON with respect to ICON and IFS for infrasound propagation simulations is discussed. The comparisons between the instrumental observations and the models will be presented, as well as comparisons between modelled and measured infrasound propagation.

Design of a Technology Verification Platform for Space Electromagnetic Interference Signal Testing and Analysis

This paper designs a space electromagnetic interference signal test and analysis technology verification platform. The article firstly introduces the general scheme of the technical verification platform and then describes each component unit of the hardware and the overall structure of the software in detail. The platform can achieve a 10 MHz ~ 50 GHz working frequency band, 1.2 GHz acquisition and real-time recording bandwidth, 6 GB/s recording rate, and 12 TB recording capacity.

Remote sensing identification and hazard assessment methods for spoil sites

Spoil sites, as loose accumulations, are prone to instability after disturbances and are a serious threat to the safety of downstream communities. This research aims to rapidly and accurately assess the potential hazards of the numerous spoil sides. An integrated approach that combines spatial, aerial, and ground techniques was developed to rapidly identify and interpret the key factors influencing the stability of spoil sites. Subsequently, based on the results of numerical simulation of multiple combinations of unfavorable working conditions by the material point method, a hazard assessment methodology for spoil sites is proposed, which combines the limit equilibrium method with the improved hierarchical analysis. The proposed method is applied and validated on spoil sites along an expressway. The achieved results reveal that remote sensing combined with unmanned aerial vehicle (UAV) verification technology is capable of quickly and accurately identifying the critical elements of spoil sites. The hazard assessment of the spoil site is represented by the hazard coefficient (P), where 0 < P < 1 indicates safety, 1 ≤ P < 5 signifies instability, and P ≥ 5 represents extreme instability. The effectiveness of the proposed assessment approach is then verified through the on-site validation, which provides a vital reference for rapid identification and batch assessment of spoil sites.

Security protocol for securing notifications about dangerous events in the agglomeration

Our everyday lives cannot function without intelligent devices, which create the so-called Internet of Things networks. Internet of Things devices have various sensors and software to manage the work environment and perform specific tasks without human intervention. Internet of Things networks require appropriate security at various levels of their operation. In this article, we present a new security protocol that protects communication in IoT networks and enables interconnected devices to communicate and exchange information to increase the security of people living in urban agglomerations. The Control Station device evaluates the collected data about events that may threaten the life or health of residents and then notifies the Emergency Notification Center about it. The protocol guarantees the security of devices and transmitted data. We verified this using automatic verification technology, formal verification using Burrows, Abadi and Needham logic and informal analysis. The proposed protocol ensures mutual authentication, anonymity and revocation. Also, it is resistant to Man-in-the-middle, modification, replay and impersonation attacks. Compared to other protocols, our solution uses simple cryptographic techniques that are lightweight, stable and do not cause problems related to high communication costs. It does not require specialist equipment, so we can implement it using typical hardware. At each stage of protocol execution, communication occurs between two entities, so it does not require interaction between different entities, which may limit its adaptability in the context of interoperability.

Delta GUI change detection using inferred models

Recent software development methodologies emphasize iterative and incremental evolution to align with stakeholders’ needs. This perpetual and rapid software evolution demands ongoing research into verification practices and technologies that ensure swift responsiveness and effective management of software delta increments. Strategies such as code review have been widely adopted for development and verification, ensuring readability and consistency in the delta increments of software projects. However, the integration of techniques to detect and visually report delta changes within the Graphical User Interface (GUI) software applications remains an underutilized process. In this paper, we set out to achieve two objectives. First, we aim to conduct a comprehensive review of existing studies concerning GUI change detection in desktop, web, and mobile applications to recognize common practices. Second, we introduce a novel change detection tool capable of highlighting delta GUI changes for this diverse range of applications. To accomplish our first objective, we performed a systematic mapping of the literature using the Scopus database. To address the second objective, we designed and developed a GUI change detection tool. This tool simultaneously transits and compares state models inferred by a scriptless testing tool, enabling the detection and highlighting of GUI changes to detect the widgets or functionalities that have been added, removed, or modified. Our study reveals the existence of a multitude of techniques for change detection in specific GUI systems with different objectives. However, there is no widely adopted technique suitable for the diverse range of existing desktop, web, and mobile applications. Our tool and findings demonstrate the effectiveness of using inferred state models to highlight between 8 and 20 GUI changes in software delta increments containing a large number of changes over months and between 4 and 6 GUI changes in delta increments of small iterations performed over multiple weeks. Moreover, some of these changes were recognized by the software developers as GUI failures that required a fix. Finally, we expose the motivation for using this technique to help developers and testers analyze GUI changes to validate delta increments and detect potential GUI failures, thereby fostering knowledge dissemination and paving the way to standard practices.

ENHANCING SECURITY IN NIGERIA: THE IMPLICATIONS OF SOCIAL MEDIA-BASED CRIME REPORTING

With the widespread use of social media platforms, individuals have increasingly turned to these platforms to report crimes, creating an evolving landscape for law enforcement and security agencies. Social media-based crime reporting has emerged as a transformative approach to public safety, offering real-time updates, accessibility, and community engagement. This study examines how social media platforms like Facebook and Twitter promote community mobilization and real-time information sharing by applying Information Diffusion Theory (IDT) and Social Network Theory (SNT). Notable examples, such as the Aluu Four lynching, End-SARS movement, Chibok kidnapping and the 2023 presidential elections amongst other events, demonstrate how social media plays a crucial role in increasing public knowledge, coordinating group efforts, and impacting legislative reforms. However, this innovative method of reporting also brings forth several security implications that demand careful consideration. By examining the advantages and challenges of social media for crime reporting, this study aims to provide insights into how such practices can enhance security measures while mitigating potential risks. This study, therefore, explores these security concerns and strategies for enhancing the security implications of social media-based crime reporting. It discusses the potential risks of misinformation, privacy issues, tipping off perpetrators, and the inadvertent exposure of victims and witnesses. The results emphasize the importance of adopting a well-rounded strategy to utilize the capabilities of social media for reporting crimes, while also acknowledging the difficulties it presents. The study highlights the need for collaboration between law enforcement agencies, policymakers, social media platforms, and the public to develop a robust legal framework, promote responsible reporting practices, and protect evidence integrity. The study therefore recommends the use of sophisticated verification technology, the establishment of responsible reporting criteria, collaboration with social media platforms, and the implementation of strong privacy protection measures.

Angle Accuracy of Intramedullary Bone Resection Guides for Total Knee Arthroplasty.

The importance of proper prosthetic placement has been confirmed in numerous studies. The objective of this study was to compare the planned resection angles to the verified intraoperative angles of femoral and tibial varus/valgus, tibial slope, and femoral flexion for each total knee performed using intramedullary (IM) cut guides for both distal femur and proximal tibia cuts. A total of 1,000 total knee arthroplasties (TKAs) were evaluated for this study. Intraoperative cut-check technology was used to show real-time validation of these resection angles. Assuming an acceptable range of within 2° of the planned cuts, results show the femoral varus/valgus angles were 75% accurate, the femoral flexion angles were 50.8% accurate, the tibial cuts were 95.2% accurate in the coronal plane, and the tibial slope was the least accurate with only 50.3% within the acceptable range. This showed that IM guides are reasonably accurate in producing desired angles in the coronal plane but less accurate in the sagittal plane, with a greater number of outliers in femoral flexion and posterior slope. Surgeons need to be aware of potential cutting errors when using IM guides as they affect the overall alignment of the implant, and real-time verification technology is available to verify the accuracy of the cuts.