Verification Technology Research Articles

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.

Implementation and Optimization of Digital Ticket Applications Using Java in Online Sales Systems

Online digital ticket sales have become one of the main methods of distributing tickets for various events, from concerts to transportation. Although many digital ticketing applications are available, there are significant challenges regarding performance, security, and integration with payment systems. This research aims to implement and optimize a digital ticket application using Java in an online sales system to increase efficiency and security. This research methodology includes the development of Java-based applications with a microservices architecture approach, which allows separation of functionality and increases scalability. This application is designed to manage the ticket purchasing process, including event selection, payment, and electronic ticket delivery using QR Code technology for verification. In the implementation process, Spring Boot technology was used for server-side development and JavaFX for the user interface. The results of this research show that the Java-based digital ticket application developed can manage transactions efficiently and safely, and can handle high user volumes without significant performance degradation. These findings provide an important contribution in the field of digital ticket application development and can be used as a reference for implementing similar systems in various sectors.

Verifying the Generalization of Deep Learning to Out-of-Distribution Domains

Deep neural networks (DNNs) play a crucial role in the field of machine learning, demonstrating state-of-the-art performance across various application domains. However, despite their success, DNN-based models may occasionally exhibit challenges with generalization, i.e., may fail to handle inputs that were not encountered during training. This limitation is a significant challenge when it comes to deploying deep learning for safety-critical tasks, as well as in real-world settings characterized by substantial variability. We introduce a novel approach for harnessing DNN verification technology to identify DNN-driven decision rules that exhibit robust generalization to previously unencountered input domains. Our method assesses generalization within an input domain by measuring the level of agreement between independently trained deep neural networks for inputs in this domain. We also efficiently realize our approach by using off-the-shelf DNN verification engines, and extensively evaluate it on both supervised and unsupervised DNN benchmarks, including a deep reinforcement learning (DRL) system for Internet congestion control—demonstrating the applicability of our approach for real-world settings. Moreover, our research introduces a fresh objective for formal verification, offering the prospect of mitigating the challenges linked to deploying DNN-driven systems in real-world scenarios.

Toward real-time, volumetric dosimetry for FLASH-capable clinical synchrocyclotrons using protoacoustic imaging.

Fast low angle shot hyperfractionation (FLASH) radiotherapy (RT) holds promise for improving treatment outcomes and reducing side effects but poses challenges in radiation delivery accuracy due to its ultra-high dose rates. This necessitates the development of novel imaging and verification technologies tailored to these conditions. Our study explores the effectiveness of proton-induced acoustic imaging (PAI) in tracking the Bragg peak in three dimensions and in real time during FLASH proton irradiations, offering a method for volumetric beam imaging at both conventional and FLASH dose rates. We developed a three-dimensional (3D) PAI technique using a 256-element ultrasound detector array for FLASH dose rate proton beams. In the study, we tested protoacoustic signal with a beamline of a FLASH-capable synchrocyclotron, setting the distal 90% of the Bragg peak around 35mm away from the ultrasound array. This configuration allowed us to assess various total proton radiation doses, maintaining a consistent beam output of 21 pC/pulse. We also explored a spectrum of dose rates, from 15 Gy/s up to a FLASH rate of 48 Gy/s, by administering a set number of pulses. Furthermore, we implemented a three-dot scanning beam approach to observe the distinct movements of individual Bragg peaks using PAI. All these procedures utilized a proton beam energy of 180 MeV to achieve the maximum possible dose rate. Our findings indicate a strong linear relationship between protoacoustic signal amplitudes and delivered doses (R2=0.9997), with a consistent fit across different dose rates. The technique successfully provided 3D renderings of Bragg peaks at FLASH rates, validated through absolute Gamma index values. The protoacoustic system demonstrates effectiveness in 3D visualization and tracking of the Bragg peak during FLASH proton therapy, representing a notable advancement in proton therapy quality assurance. This method promises enhancements in protoacoustic image guidance and real-time dosimetry, paving the way for more accurate and effective treatments in ultra-high dose rate therapy environments.

Technology verification of Portland cement clinker production driven by concentrated solar energy directly

Fuel substitution is an important measure for heat substitution and carbon emissions reduction in cement production by using low-carbon fuels such as solid waste, natural gas, biomass energy and solar energy. In this study, a technology that uses concentrated solar energy to directly drive solar cement clinker production is proposed and its feasibility is experimental demonstrated. The results showed that cement clinker could be burned using concentrated solar energy. Because the sintering rate is rapid, rapid burning and/or under-burning also occurs during the sintering process, which causes the clinker structure exhibit a sheet structure. The chemical composition analysis showed that the total mass fraction of dicalcium silicate (C2S) and tricalcium silicate (C3S) exceeded 70 %, the mass fraction of f-CaO was higher than the standard value (≤1.5 %). Controlling the sintering temperature and time, and increasing the cooling rate are significant factors in ensuring the quality of the cement clinker.

Augmented Reality Framework for Retrieving Information of Moving Objects on Construction Sites

The construction industry is undergoing a digital transformation, with the digital twin serving as a core system for project information. This digital twin provides an opportunity to utilize AR technology for real-time verification of on-site project information. Although many AR developments for construction sites have been attempted, they have been limited to accessing information on stationary components via Building Information Models. There have been no attempts to access information on dynamically changing resources, such as personnel and equipment. This paper addresses this gap by presenting an AR framework that enables site managers to verify real-time information on specific personnel or equipment. It introduces a matching algorithm for retrieving the necessary information from the digital twin. This algorithm is pivotal in identifying and retrieving the specific information needed from the vast dataset within the digital twin. The matching process integrates object detection and tracking algorithms applied to video frames from AR devices, along with GPS and IMU sensor data. Experimental results demonstrate the potential of this matching algorithm to streamline on-site management and reduce the effort required to interact with digital twin information. This paper highlights the transformative potential of AR and digital twin technologies in revolutionizing construction site operations.

Decentralized Identity Verification in Metaverse Auditing Using Blockchain Technology

This research paper presents a comprehensive review of decentralized identity verification in the context of metaverse auditing, leveraging blockchain technology. With the rapid evolution of virtual environments and the emergence of the metaverse, ensuring trust, transparency, and security becomes paramount. Traditional centralized identity verification systems face challenges in such decentralized and dynamic environments. Blockchain technology offers promising solutions by providing a transparent, immutable, and decentralized ledger for identity management and verification. Conceptual Analysis research methodology used in this research paper because theoretical and conceptual clarity are crucial for understanding complex phenomena. The paper begins by exploring the concept of decentralized identity management systems and their significance in virtual environments. It discusses various challenges associated with traditional identity verification methods and highlights the potential of blockchain-based solutions in addressing these challenges. Through a systematic literature review, the paper examines existing research and developments in decentralized identity verification, metaverse auditing, and blockchain technology. Key topics covered include the architecture of decentralized identity systems, consensus mechanisms for identity verification on blockchain networks, privacy-preserving techniques, and interoperability standards for cross-platform identity management. Furthermore, the paper investigates the role of smart contracts and decentralized applications (DApps) in facilitating identity verification processes within the metaverse. The review also discusses the potential implications of decentralized identity verification in enhancing trust and security in virtual economies, enabling seamless user experiences, and fostering innovation in digital asset management. Moreover, it identifies current gaps and challenges in the field and proposes future research directions to address these issues. Overall, this research paper contributes to the understanding of decentralized identity verification in metaverse auditing using blockchain technology. It serves as a valuable resource for researchers, practitioners, and policymakers interested in exploring the intersection of decentralized identity, virtual environments, and blockchain technology. The insights provided aim to stimulate further research and innovation in this rapidly evolving domain.

Investigating the use of pixel scrambling and diffusion in secure radiographic inspections

In warhead verification, physical encryption technology could play a critical role in protecting confidential information on geometric structure and isotopic composition of a true warhead. As an important supplement to physical encryption, algorithmic encryption still has great potential in improving defense-in-depth security for nuclear arms control verification. To further supplement feasible nuclear arms control verification technologies, we propose a verification method based on neutron induced fission reactions employing both physical field flux encryption and algorithm encryption. Physical encryption processes the classified geometry or composition information by encrypting the fission neutron signal of the tested item with a randomly shielded mask. Algorithm encryption adopts pixel scrambling, pixel diffusion for secondary encryption. To verify the robustness and security of this new verification method, numerical simulations are performed using the Monte Carlo toolkit Geant4. Verification results indicate a high level of robustness and security with a low level of noise (∼<0.5%).

국가 연구기술 사업화(기술이전)를 위한 디자인의 역할 및 시사점

Currently, differences in perspectives on technology verification persist between suppliers(researchers) and consumers(private companies, etc.) of national research technology, making it difficult to disseminate research results. This is because the research results are simply at the level of prototypes(prototypes) for technology implementation, which creates a difference in thinking from consumers who have actual commercialization in mind. In order to connect research technology to a business for sale, technology development that combines design must take precedence, and in particular, the importance of design for prototype production is greatly increased. The design elements that need to be considered in addition to research technology are very extensive, and it is very important to apply them in the R&amp;D stage to increase the value of research technology. Therefore, this study seeks to understand the importance of the role of design, which has had a passive impact on technology commercialization, and examine the role and implications of design for revitalizing the research industry.

Dietary supplement of sodium butyrate improves the growth performance and intestinal health by targeting Wnt/β‐catenin signaling pathway in rabbits

AbstractSupplementation of sodium butyrate (SB) has been proved to be beneficial for improving the growth performance and health of animals, but its effects on rabbits have not been well understood. Therefore, this study aimed to investigate the effects of SB supplementation on growth performance, meat quality, and intestinal health of rabbits by evaluating feed intake and efficiency, diarrhea index, blood and cecum metabolites, cecal pH and short‐chain fatty acids (SCFAs), histological staining, nutritional composition of meat, and gene expression profile of cecum. A total of 14 weaned male New Zealand White rabbits (35 ± 2 days, 1.70 ± 0.09 kg) were randomly divided into two groups: rabbits in Control group were fed normally with the basal diet, and rabbits in Butyrate group were supplemented with 0.75 g/kg SB on the basis of the basal diet. After a 1‐week acclimatization period, the formal trial lasted for 10 weeks. Results suggest that dietary SB reduced the feed conversion ratio and diarrhea index of rabbits (p &lt; 0.05). SB treatment significantly increased serum glutamyl transpeptidase, total bile acid, total cholesterol, triglyceride, and glucose levels and decreased tCO2 content relative to the Control group (p &lt; 0.05). Meanwhile, crude ash content in rabbits' meat was significantly increased by SB treatment (p &lt; 0.05). Furthermore, SB treatment significantly increased the integrity of epithelial villi and number of goblet cells in the cecum and decreased cecal pH compared with the Control group. Dietary SB also upregulated levels of Na+‐K+ ATPase, Ca2+‐Mg2+ ATPase, total superoxide dismutase, and glutathione peroxidase in cecum. SCFAs analysis revealed that dietary supplementation with SB increases butyric acid in the cecum contents. Furthermore, SB supplementation is demonstrated to stimulate the proliferation and migration of cecal epithelial cells through activating Wnt/β‐catenin pathways in rabbits both in vitro and in vivo by using transcriptome sequencing and gene function verification technologies. Taken together, our findings provide a theoretical basis for the application of SB as an alternative to antibiotics in livestock production.

Streamlining last-mile delivery in Delta State: Enhancing logistics management for efficient distribution

This study investigates the challenges and potential solutions of last-mile delivery experienced by customers purchasing from online and physical stores in Delta State, Nigeria. Utilizing a mixed-method approach, data were collected from a sample size of 349 participants, comprising customers of both online and physical retail outlets. Quantitative data analysis involved the examination of contingency tables and the calculation of chi-square statistics to determine the significance of differences in last-mile delivery challenges between online and physical stores. Additionally, qualitative data were obtained through open-ended survey questions and thematic analysis to explore potential strategies for addressing identified challenges. The findings reveal that customers encounter similar challenges in last-mile delivery across both online and physical stores. While there may be variations in the frequencies of these challenges between the two types of stores, statistical analysis in this study indicates that these differences are not significant. Furthermore, findings reveal that the identified challenges have a substantial impact on customer satisfaction and purchasing behavior, particularly in online stores. Strategies were identified to address these challenges such as the integration of seamless payment options, address verification technology, involvement of locals in the delivery process, among others. These recommendations emphasizes the importance of implementing tailored strategies to improve last-mile delivery services and enhance the overall shopping experience for customers in Delta State. This study contributes to the existing literature by providing insights into the challenges and potential solutions of last-mile delivery in the context of both online and physical retail environments. The findings offer practical implications for logistics management and customer service strategies, guiding retailers in addressing common challenges and driving business growth in the competitive retail landscape of Delta State. Keywords: Last-Mile Delivery, Route Optimization, Innovative Delivery Models, Delivery Tracking Mechanism, Operational Efficiency, Customer Satisfaction