The measurement,reporting,and verification(MRV) of climate finance was originated from discussions under the United Nations Framework Convention on Climate Change(UNFCCC).It has been one of the key issues of global cl...The measurement,reporting,and verification(MRV) of climate finance was originated from discussions under the United Nations Framework Convention on Climate Change(UNFCCC).It has been one of the key issues of global climate negotiations since 2009 and will continue to be of significant importance in addressing climate change and strengthening international trust.This paper analyses the concept,the objective,and the progress of the MRV of climate finance based on reviews of the latest literature and think-tank reports regarding climate finance regime and MRV.Following the analysis,challenges faced with the MRV of climate finance are illustrated.This paper presents that the comparability of climate finance data needs to be improved due to the variety of methodologies used for disaggregating climate finance.In addition,the integrality of the MRV system of climate finance has been impaired by the lack of feedback mechanism from the recipients to the contributors in reporting system.Furthermore,although accounting system of climate finance has been developing and improving,it remains incapacity in providing accurate data on disbursed climate finance.Responding to the above challenges,this paper proposes the key tasks in establishing a comprehensive MRV system for climate finance at international level.The tasks involve developing a measurement system with consistent data basis and accounting basis,a reporting system with more detailed guidance and standardized formats,as well as a verification mechanism balancing top-down and bottom-up review processes.In the last section,this paper concludes that the establishment of an improved MRV of climate finance requires concerted cooperation and negotiations between developed and developing country Parties under the UNFCCC.As one of the few developing country donors to the Global Environmental Facility(GEF),China is suggested to clarify its propositions as a developing country in aspects such as concept,coverage,and architecture of climate finance and MRV system,and gain bargaining power in improving operating and technical rules of international climate finance regime.展开更多
Identity verification using authenticity evaluation of handwritten signatures is an important issue.There have been several approaches for the verification of signatures using dynamics of the signing process.Most of t...Identity verification using authenticity evaluation of handwritten signatures is an important issue.There have been several approaches for the verification of signatures using dynamics of the signing process.Most of these approaches extract only global characteristics.With the aim of capturing both dynamic global and local features,this paper introduces a novel model for verifying handwritten dynamic signatures using neutrosophic rule-based verification system(NRVS)and Genetic NRVS(GNRVS)models.The neutrosophic Logic is structured to reflect multiple types of knowledge and relations among all features using three values:truth,indeterminacy,and falsity.These three values are determined by neutrosophic membership functions.The proposed model also is able to deal with all features without the need to select from them.In the GNRVS model,the neutrosophic rules are automatically chosen by Genetic Algorithms.The performance of the proposed system is tested on the MCYT-Signature-100 dataset.In terms of the accuracy,average error rate,false acceptance rate,and false rejection rate,the experimental results indicate that the proposed model has a significant advantage compared to different well-known models.展开更多
As location-based techniques and applications have become ubiquitous in emerging wireless networks, the verification of location information has become more important. In recent years, there has been an explosion of a...As location-based techniques and applications have become ubiquitous in emerging wireless networks, the verification of location information has become more important. In recent years, there has been an explosion of activity related to lo- cation-verification techniques in wireless networks. In particular, there has been a specific focus on intelligent transport systems because of the mission-critical nature of vehicle location verification. In this paper, we review recent research on wireless location verification related to vehicular networks. We focus on location verification systems that rely on for- mal mathematical classification frameworks and show how many systems are either partially or fully encompassed by such frameworks.展开更多
This paper presents an off-line handwritten signature verification system based on the Siamese network,where a hybrid architecture is used.The Residual neural Network(ResNet)is used to realize a powerful feature extra...This paper presents an off-line handwritten signature verification system based on the Siamese network,where a hybrid architecture is used.The Residual neural Network(ResNet)is used to realize a powerful feature extraction model such that Writer Independent(WI)features can be effectively learned.A single-layer Siamese Neural Network(NN)is used to realize a Writer Dependent(WD)classifier such that the storage space can be minimized.For the purpose of reducing the impact of the high intraclass variability of the signature and ensuring that the Siamese network can learn more effectively,we propose a method of selecting a reference signature as one of the inputs for the Siamese network.To take full advantage of the reference signature,we modify the conventional contrastive loss function to enhance the accuracy.By using the proposed techniques,the accuracy of the system can be increased by 5.9%.Based on the GPDS signature dataset,the proposed system is able to achieve an accuracy of 94.61%which is better than the accuracy achieved by the current state-of-the-art work.展开更多
Deep learning(DL)models have been useful in many computer vision,speech recognition,and natural language processing tasks in recent years.These models seem a natural fit to handle the rising number of biometric recogn...Deep learning(DL)models have been useful in many computer vision,speech recognition,and natural language processing tasks in recent years.These models seem a natural fit to handle the rising number of biometric recognition problems,from cellphone authentication to airport security systems.DL approaches have recently been utilized to improve the efficiency of various biometric recognition systems.Iris recognition was considered the more reliable and accurate biometric detection method accessible.Iris recognition has been an active research region in the last few decades due to its extensive applications,from security in airports to homeland security border control.This article presents a new Political Optimizer with Deep Transfer Learning Enabled Biometric Iris Recognition(PODTL-BIR)model.The presented PODTL-BIR technique recognizes the iris for biometric security.In the presented PODTL-BIR model,an initial stage of pre-processing is carried out.In addition,the MobileNetv2 feature extractor is utilized to produce a collection of feature vectors.The PODTL-BIR technique utilizes a bidirectional gated recurrent unit(BiGRU)model to recognise iris for biometric verification.Finally,the political optimizer(PO)algorithm is used as a hyperparameter tuning strategy to improve the PODTL-BIR technique’s recognition efficiency.Awide-ranging experimental investigation was executed to validate the enhanced performance of the PODTL-BIR system.The experimental outcome stated the promising performance of the PODTL-BIR system over other existing algorithms.展开更多
Signature verification involves vague situations in which a signature could resemble many reference samples ormight differ because of handwriting variances. By presenting the features and similarity score of signature...Signature verification involves vague situations in which a signature could resemble many reference samples ormight differ because of handwriting variances. By presenting the features and similarity score of signatures from thematching algorithm as fuzzy sets and capturing the degrees of membership, non-membership, and indeterminacy,a neutrosophic engine can significantly contribute to signature verification by addressing the inherent uncertaintiesand ambiguities present in signatures. But type-1 neutrosophic logic gives these membership functions fixed values,which could not adequately capture the various degrees of uncertainty in the characteristics of signatures. Type-1neutrosophic representation is also unable to adjust to various degrees of uncertainty. The proposed work exploresthe type-2 neutrosophic logic to enable additional flexibility and granularity in handling ambiguity, indeterminacy,and uncertainty, hence improving the accuracy of signature verification systems. Because type-2 neutrosophiclogic allows the assessment of many sources of ambiguity and conflicting information, decision-making is moreflexible. These experimental results show the possible benefits of using a type-2 neutrosophic engine for signatureverification by demonstrating its superior handling of uncertainty and variability over type-1, which eventuallyresults in more accurate False Rejection Rate (FRR) and False Acceptance Rate (FAR) verification results. In acomparison analysis using a benchmark dataset of handwritten signatures, the type-2 neutrosophic similaritymeasure yields a better accuracy rate of 98% than the type-1 95%.展开更多
Background:With the exponential growth of testing samples in clinical biochemistry laboratories,traditional manual verification methods are increasingly challenged by inefficiency and human error.Machine learning(ML)t...Background:With the exponential growth of testing samples in clinical biochemistry laboratories,traditional manual verification methods are increasingly challenged by inefficiency and human error.Machine learning(ML)technology offers a promising solution to enhance the accuracy and speed of laboratory report validation.The aim of this study was to develop an artificial intelligence(AI)verification system using ML algorithms to address these challenges.Methods:From January to November 2024,a dataset comprising 6382 clinical reports with 38 biochemical parameters and demographic characteristics was extracted from the Roche Infinity system.Three ML algorithms(XGBoost,random forest,and logistic regression)were trained and validated using 5-fold cross-validation.Model performance was evaluated based on the areas under the receiver operating characteristic curves,precision,recall,F1-score,and average precision.In a double-blind test,experienced laboratory personnel were compared with the AI verification system,and the pass rate,false negative rate,and turnaround time were recorded.Results:The areas under the receiver operating characteristic curves of the XGBoost,random forest,and logistic regression training models for the test set were 0.970,0.985,and 0.742,respectively.The precisions were 0.83,0.87,and 0.55;recalls were 0.92,0.95,and 0.63;and F1-scores were 0.87,0.91,and 0.59,respectively.The precision-recall curves showed that the average precisions were 0.937,0.972,and 0.625,respectively.The AI system achieved a pass rate of 88.14%and a false negative rate of 0.62%in the double-blind test.The median turnaround time was reduced by 23.6%(from 89 to 68 min),with the 90th percentile improving by 14.3%(from 154 to 132 min).Conclusions:The constructed AI verification system performed excellently in terms of accuracy and efficiency.This study provides a new solution for the intelligent verification of clinical biochemistry laboratories and has certain application value.展开更多
This paper presents the design and ground verification for vision-based relative navigation systems of microsatellites,which offers a comprehensive hardware design solution and a robust experimental verification metho...This paper presents the design and ground verification for vision-based relative navigation systems of microsatellites,which offers a comprehensive hardware design solution and a robust experimental verification methodology for practical implementation of vision-based navigation technology on the microsatellite platform.Firstly,a low power consumption,light weight,and high performance vision-based relative navigation optical sensor is designed.Subsequently,a set of ground verification system is designed for the hardware-in-the-loop testing of the vision-based relative navigation systems.Finally,the designed vision-based relative navigation optical sensor and the proposed angles-only navigation algorithms are tested on the ground verification system.The results verify that the optical simulator after geometrical calibration can meet the requirements of the hardware-in-the-loop testing of vision-based relative navigation systems.Based on experimental results,the relative position accuracy of the angles-only navigation filter at terminal time is increased by 25.5%,and the relative speed accuracy is increased by 31.3% compared with those of optical simulator before geometrical calibration.展开更多
Animal robots have outstanding advantages over traditional robots in their own energy supplies,orientation,and natural concealment,delivering significant value in the theories and applications of neural science,nation...Animal robots have outstanding advantages over traditional robots in their own energy supplies,orientation,and natural concealment,delivering significant value in the theories and applications of neural science,national security,and other fields.Presently,many animal robots have been fabricated,but researches about the applications of avian robots are still lacking.In this study,we constructed a Pigeon Robot System(PRS),optimized the electric stimulation parameters,assessed the electric stimulus of navigation,and evaluated the navigation efficiency in the field.Biphasic pulse constant current pattern was adapted,and the optimal stimulus parameters of 4 nuclei tested were of amplitude 0.3 mA,5 pulse trains,frequency 25 Hz,5 pulses,and a 25%duty cycle.Effective ratio of left and right steering behavior response to electric stimulus dorsointermedius ventralis anterior nuclei was 67%and 83%,respectively(mean value 75%).Electrical stimulation efficiency was 0.34-0.68 and path efficiency was 0.72-0.85 among pigeon robot individuals in the open field.Neither electrical stimulation efficiency nor path efficiency differed significantly(P>0.05),suggesting that the navigational PRS performance was not biased in either direction.PRS can achieve continuous navigation along simple pathways and provide the necessary application infrastructure and technical reference for the development of animal robot navigation technology.展开更多
Abstract： The major methods to investigate the airbags cushion system are experimental method, thermodynamic method and finite element method （FEM）. Airbags cushion systems are very complicated and very difficult t...Abstract： The major methods to investigate the airbags cushion system are experimental method, thermodynamic method and finite element method （FEM）. Airbags cushion systems are very complicated and very difficult to be investigated thoroughly by such methods For experimental method, it is nearly impossible to completely analyze and optimize the cushion characteristics of airbags of airborne vehicle because of charge issue, safety concern and time constraint. Thermodynamic method fails to take the non-linear effects of large airbag deformation and varied contact conditions into consideration. For finite element method, the FE model is usually complicated and the calculation takes tens of hours of CPU time. As a result, the optimization of the design based on a nonlinear model is very difficult by traditional iterative approach method. In this paper, a model based on FEM and control volume method is proposed to simulate landing cushion process of airborne vehicle with airbags cushion system in order to analyze and optimize the parameters in airbags cushion system. At first, the performance of airbags cushion system model is verified experimentally. In airdrop test, accelerometers are fixed in 4 test points distributed over engine mount, top, bottom and side armor plate of hull to obtain acceleration curves with time. The simulation results are obtained under the same conditions of the airdrop test and the simulation results agree very well with the experimental results, which indicate the established model is valid for further optimization. To optimize the parameters of airbags, equivalent response model based on Latin Hypercube DOE and radial basis function is employed instead of the complex finite element model. Then the optimal results based on equivalent response model are obtained using simulated annealing algorithm. After optimization, the maximal acceleration of airborne vehicle landing reduces 19.83%, while the energy absorption by airbags increases 7.85%. The performance of the airbags cushion system thus is largely improved through optimization, which indicates the proposed method has the capability of solving the parameter optimization problem of airbags cushion system for airborne vehicle.展开更多
In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity o...In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.展开更多
This paper presents an optimisatiombased verification process for obstacle avoidance systems of a unicycle-like mobile robot. It is a novel approach for the collision avoidance verification process. Local and global o...This paper presents an optimisatiombased verification process for obstacle avoidance systems of a unicycle-like mobile robot. It is a novel approach for the collision avoidance verification process. Local and global optimisation based verification processes are developed to find the worst-case parameters and the worst-case distance between the robot and an obstacle. The kinematic and dynamic model of the unicycle-like mobile robot is first introduced with force and torque as the inputs. The design of the control system is split into two parts. One is velocity and rotation using the robot dynamics, and the other is the incremental motion planning for robot kinematics. The artificial potential field method is chosen as a path planning and obstacle avoidance candidate technique for verification study as it is simple and widely used. Different optimisation algorithms are applied and compared for the purpose of verification. It is shown that even for a simple case study where only mass and inertia variations are considered, a local optimization based verification method may fail to identify the worst case. Two global optimisation methods have been investigated： genetic algorithms （GAs） and GLOBAL algorithms. Both of these methods successfully find the worst case. The verification process confirms that the obstacle avoidance algorithm functions correctly in the presence of all the possible parameter variations.展开更多
In this paper, the design and verification process of an automobile-engine-fan control system on chip （SoC） are introduced. The SoC system, SHU-MV08, reuses four new intellectual property （IP） cores and the design...In this paper, the design and verification process of an automobile-engine-fan control system on chip （SoC） are introduced. The SoC system, SHU-MV08, reuses four new intellectual property （IP） cores and the design flow is accomplished with 0.35 btm chartered CMOS technology. Some special functions of IP cores, the detailed integration scheme of four IP cores, and the verification method of the entire SoC are presented. To settle the verification problems brought by analog IP cores, NanoSim based chip-level mixed-signal verification method is introduced. The verification time is greatly reduced and the first tape-out achieves success which proves the validity of our design.展开更多
Previous studies have proposed higher requirements for the transient characteristics of a DC transformer used in a flexible high-voltage direct current(HVDC) system to achieve faster sampling speed and meet wider band...Previous studies have proposed higher requirements for the transient characteristics of a DC transformer used in a flexible high-voltage direct current(HVDC) system to achieve faster sampling speed and meet wider bandwidth requirements of the control and protection signal, and to eventually suppress the large transient fault current. In this study, a transient characteristics verification method is proposed for transient characteristics verification of a DC transformer used in a flexible HVDC system based on resampling technology and LabVIEW measurement technology after analyzing the key technology for transient characteristics verification of a DC transformer. A laboratory experiment for the transient characteristics of a full-fiber electronic DC transformer is conducted, and experimental results show that such verification method can be employed for frequency response and step response verification of a DC transformer at 10% of the rated voltage and current, and can eventually improve the screening of a DC transformer.展开更多
A secure operating system in the communication network can provide the stable working environment,which ensures that the user information is not stolen.The micro-kernel operating system in the communication network re...A secure operating system in the communication network can provide the stable working environment,which ensures that the user information is not stolen.The micro-kernel operating system in the communication network retains the core functions in the kernel,and unnecessary tasks are implemented by calling external processes.Due to the small amount of code,the micro-kernel architecture has high reliability and scalability.Taking the microkernel operating system in the communication network prototype VSOS as an example,we employ the objdump tool to disassemble the system source code and get the assembly layer code.On this basis,we apply the Isabelle/HOL,a formal verification tool,to model the system prototype.By referring to the mathematical model of finite automata and taking the process scheduling module as an example,the security verification based on the assembly language layer is developed.Based on the Hoare logic theory,each assembly statement of the module is verified in turn.The verification results show that the scheduling module of VSOS has good functional security,and also show the feasibility of the refinement framework.展开更多
Field-programmable-gate-array(FPGA)has been wildly used in many space missions due to its high performance and reconfiguration capability[1].With the feature size continuing scaling down.
In traditional digital twin communication system testing,we can apply test cases as completely as possible in order to ensure the correctness of the system implementation,and even then,there is no guarantee that the d...In traditional digital twin communication system testing,we can apply test cases as completely as possible in order to ensure the correctness of the system implementation,and even then,there is no guarantee that the digital twin communication system implementation is completely correct.Formal verification is currently recognized as a method to ensure the correctness of software system for communication in digital twins because it uses rigorous mathematical methods to verify the correctness of systems for communication in digital twins and can effectively help system designers determine whether the system is designed and implemented correctly.In this paper,we use the interactive theorem proving tool Isabelle/HOL to construct the formal model of the X86 architecture,and to model the related assembly instructions.The verification result shows that the system states obtained after the operations of relevant assembly instructions is consistent with the expected states,indicating that the system meets the design expectations.展开更多
Blockchain can realize the reliable storage of a large amount of data that is chronologically related and verifiable within the system.This technology has been widely used and has developed rapidly in big data systems...Blockchain can realize the reliable storage of a large amount of data that is chronologically related and verifiable within the system.This technology has been widely used and has developed rapidly in big data systems across various fields.An increasing number of users are participating in application systems that use blockchain as their underlying architecture.As the number of transactions and the capital involved in blockchain grow,ensuring information security becomes imperative.Addressing the verification of transactional information security and privacy has emerged as a critical challenge.Blockchain-based verification methods can effectively eliminate the need for centralized third-party organizations.However,the efficiency of nodes in storing and verifying blockchain data faces unprecedented challenges.To address this issue,this paper introduces an efficient verification scheme for transaction security.Initially,it presents a node evaluation module to estimate the activity level of user nodes participating in transactions,accompanied by a probabilistic analysis for all transactions.Subsequently,this paper optimizes the conventional transaction organization form,introduces a heterogeneous Merkle tree storage structure,and designs algorithms for constructing these heterogeneous trees.Theoretical analyses and simulation experiments conclusively demonstrate the superior performance of this scheme.When verifying the same number of transactions,the heterogeneous Merkle tree transmits less data and is more efficient than traditional methods.The findings indicate that the heterogeneous Merkle tree structure is suitable for various blockchain applications,including the Internet of Things.This scheme can markedly enhance the efficiency of information verification and bolster the security of distributed systems.展开更多
The precise estimation of the frequency of the signal is of great significance in the Radar system, the electronic warfare system and many other systems. In this paper, we propose a development and verification platfo...The precise estimation of the frequency of the signal is of great significance in the Radar system, the electronic warfare system and many other systems. In this paper, we propose a development and verification platform for the frequency estimation system in the Matlab and Simulink environment. Its open-extensibility architecture enables the performance evaluation of different frequency estimation algorithms and its graphic interface can greatly promote the system design, simulation and verification efficiency.展开更多
Nowadays, there has been a rapid increase in the variety and popularity of messaging systems and social networks. It is imperative to consider the effect and impact of the number of words feature on the verification p...Nowadays, there has been a rapid increase in the variety and popularity of messaging systems and social networks. It is imperative to consider the effect and impact of the number of words feature on the verification process for modern messaging systems such as Twitter, Facebook, SMS and Email. Given the volume of text is often a restricted factor (due to the nature of messaging systems), key to this investigation is a better understanding of what length of message is required to improve performance. A large historical dataset containing 50 participants, the four datasets containing a large number of messaging system samples (4539 samples for Facebook, 13,616 for Twitter, 6538 for Email and 106,359 for Text message), the best performance was for Text messages, with an EER of 7.6% if the number of words was more than nine;followed by Email with an EER of 14.9% if the number of words was between 25 to 60;then, Twitter tweets, with an EER of 22.5% if the number of words was less than ten. Finally, the Facebook platform with an EER of 31.9% if the number of words was over 11.展开更多
基金supported by the National Natural Science Foundation of China project "The joint mechanism and macro-regulation mechanism for national emission trading market of China"[Grant Number:71503288]the Research Base Project of Beijing Philosophy and Social Science Foundation "Payments for Ecosystem Services Mechanism that Supports The Synergetic Development of Ecological Protection in Beijing-Tianjin-Hebei Region"[Grant Number:16JDYJC039]the project "Environmental Risk Management for Corporate Lending in China's Commercial Banks" sponsored by the Scientific Research Foundation for the returned overseas Chinese scholars,State Education Ministry
文摘The measurement,reporting,and verification(MRV) of climate finance was originated from discussions under the United Nations Framework Convention on Climate Change(UNFCCC).It has been one of the key issues of global climate negotiations since 2009 and will continue to be of significant importance in addressing climate change and strengthening international trust.This paper analyses the concept,the objective,and the progress of the MRV of climate finance based on reviews of the latest literature and think-tank reports regarding climate finance regime and MRV.Following the analysis,challenges faced with the MRV of climate finance are illustrated.This paper presents that the comparability of climate finance data needs to be improved due to the variety of methodologies used for disaggregating climate finance.In addition,the integrality of the MRV system of climate finance has been impaired by the lack of feedback mechanism from the recipients to the contributors in reporting system.Furthermore,although accounting system of climate finance has been developing and improving,it remains incapacity in providing accurate data on disbursed climate finance.Responding to the above challenges,this paper proposes the key tasks in establishing a comprehensive MRV system for climate finance at international level.The tasks involve developing a measurement system with consistent data basis and accounting basis,a reporting system with more detailed guidance and standardized formats,as well as a verification mechanism balancing top-down and bottom-up review processes.In the last section,this paper concludes that the establishment of an improved MRV of climate finance requires concerted cooperation and negotiations between developed and developing country Parties under the UNFCCC.As one of the few developing country donors to the Global Environmental Facility(GEF),China is suggested to clarify its propositions as a developing country in aspects such as concept,coverage,and architecture of climate finance and MRV system,and gain bargaining power in improving operating and technical rules of international climate finance regime.
文摘Identity verification using authenticity evaluation of handwritten signatures is an important issue.There have been several approaches for the verification of signatures using dynamics of the signing process.Most of these approaches extract only global characteristics.With the aim of capturing both dynamic global and local features,this paper introduces a novel model for verifying handwritten dynamic signatures using neutrosophic rule-based verification system(NRVS)and Genetic NRVS(GNRVS)models.The neutrosophic Logic is structured to reflect multiple types of knowledge and relations among all features using three values:truth,indeterminacy,and falsity.These three values are determined by neutrosophic membership functions.The proposed model also is able to deal with all features without the need to select from them.In the GNRVS model,the neutrosophic rules are automatically chosen by Genetic Algorithms.The performance of the proposed system is tested on the MCYT-Signature-100 dataset.In terms of the accuracy,average error rate,false acceptance rate,and false rejection rate,the experimental results indicate that the proposed model has a significant advantage compared to different well-known models.
基金supported by the University of New South Wales and the Australian Research Council under grant No.DP120102607
文摘As location-based techniques and applications have become ubiquitous in emerging wireless networks, the verification of location information has become more important. In recent years, there has been an explosion of activity related to lo- cation-verification techniques in wireless networks. In particular, there has been a specific focus on intelligent transport systems because of the mission-critical nature of vehicle location verification. In this paper, we review recent research on wireless location verification related to vehicular networks. We focus on location verification systems that rely on for- mal mathematical classification frameworks and show how many systems are either partially or fully encompassed by such frameworks.
文摘This paper presents an off-line handwritten signature verification system based on the Siamese network,where a hybrid architecture is used.The Residual neural Network(ResNet)is used to realize a powerful feature extraction model such that Writer Independent(WI)features can be effectively learned.A single-layer Siamese Neural Network(NN)is used to realize a Writer Dependent(WD)classifier such that the storage space can be minimized.For the purpose of reducing the impact of the high intraclass variability of the signature and ensuring that the Siamese network can learn more effectively,we propose a method of selecting a reference signature as one of the inputs for the Siamese network.To take full advantage of the reference signature,we modify the conventional contrastive loss function to enhance the accuracy.By using the proposed techniques,the accuracy of the system can be increased by 5.9%.Based on the GPDS signature dataset,the proposed system is able to achieve an accuracy of 94.61%which is better than the accuracy achieved by the current state-of-the-art work.
基金The Deanship of Scientific Research(DSR)at King Abdulaziz University(KAU),Jeddah,Saudi Arabia has funded this project,under grant no.KEP-3-120-42.
文摘Deep learning(DL)models have been useful in many computer vision,speech recognition,and natural language processing tasks in recent years.These models seem a natural fit to handle the rising number of biometric recognition problems,from cellphone authentication to airport security systems.DL approaches have recently been utilized to improve the efficiency of various biometric recognition systems.Iris recognition was considered the more reliable and accurate biometric detection method accessible.Iris recognition has been an active research region in the last few decades due to its extensive applications,from security in airports to homeland security border control.This article presents a new Political Optimizer with Deep Transfer Learning Enabled Biometric Iris Recognition(PODTL-BIR)model.The presented PODTL-BIR technique recognizes the iris for biometric security.In the presented PODTL-BIR model,an initial stage of pre-processing is carried out.In addition,the MobileNetv2 feature extractor is utilized to produce a collection of feature vectors.The PODTL-BIR technique utilizes a bidirectional gated recurrent unit(BiGRU)model to recognise iris for biometric verification.Finally,the political optimizer(PO)algorithm is used as a hyperparameter tuning strategy to improve the PODTL-BIR technique’s recognition efficiency.Awide-ranging experimental investigation was executed to validate the enhanced performance of the PODTL-BIR system.The experimental outcome stated the promising performance of the PODTL-BIR system over other existing algorithms.
文摘Signature verification involves vague situations in which a signature could resemble many reference samples ormight differ because of handwriting variances. By presenting the features and similarity score of signatures from thematching algorithm as fuzzy sets and capturing the degrees of membership, non-membership, and indeterminacy,a neutrosophic engine can significantly contribute to signature verification by addressing the inherent uncertaintiesand ambiguities present in signatures. But type-1 neutrosophic logic gives these membership functions fixed values,which could not adequately capture the various degrees of uncertainty in the characteristics of signatures. Type-1neutrosophic representation is also unable to adjust to various degrees of uncertainty. The proposed work exploresthe type-2 neutrosophic logic to enable additional flexibility and granularity in handling ambiguity, indeterminacy,and uncertainty, hence improving the accuracy of signature verification systems. Because type-2 neutrosophiclogic allows the assessment of many sources of ambiguity and conflicting information, decision-making is moreflexible. These experimental results show the possible benefits of using a type-2 neutrosophic engine for signatureverification by demonstrating its superior handling of uncertainty and variability over type-1, which eventuallyresults in more accurate False Rejection Rate (FRR) and False Acceptance Rate (FAR) verification results. In acomparison analysis using a benchmark dataset of handwritten signatures, the type-2 neutrosophic similaritymeasure yields a better accuracy rate of 98% than the type-1 95%.
文摘Background:With the exponential growth of testing samples in clinical biochemistry laboratories,traditional manual verification methods are increasingly challenged by inefficiency and human error.Machine learning(ML)technology offers a promising solution to enhance the accuracy and speed of laboratory report validation.The aim of this study was to develop an artificial intelligence(AI)verification system using ML algorithms to address these challenges.Methods:From January to November 2024,a dataset comprising 6382 clinical reports with 38 biochemical parameters and demographic characteristics was extracted from the Roche Infinity system.Three ML algorithms(XGBoost,random forest,and logistic regression)were trained and validated using 5-fold cross-validation.Model performance was evaluated based on the areas under the receiver operating characteristic curves,precision,recall,F1-score,and average precision.In a double-blind test,experienced laboratory personnel were compared with the AI verification system,and the pass rate,false negative rate,and turnaround time were recorded.Results:The areas under the receiver operating characteristic curves of the XGBoost,random forest,and logistic regression training models for the test set were 0.970,0.985,and 0.742,respectively.The precisions were 0.83,0.87,and 0.55;recalls were 0.92,0.95,and 0.63;and F1-scores were 0.87,0.91,and 0.59,respectively.The precision-recall curves showed that the average precisions were 0.937,0.972,and 0.625,respectively.The AI system achieved a pass rate of 88.14%and a false negative rate of 0.62%in the double-blind test.The median turnaround time was reduced by 23.6%(from 89 to 68 min),with the 90th percentile improving by 14.3%(from 154 to 132 min).Conclusions:The constructed AI verification system performed excellently in terms of accuracy and efficiency.This study provides a new solution for the intelligent verification of clinical biochemistry laboratories and has certain application value.
基金supported in part by the Doctoral Initiation Fund of Nanchang Hangkong University(No.EA202403107)Jiangxi Province Early Career Youth Science and Technology Talent Training Project(No.CK202403509).
文摘This paper presents the design and ground verification for vision-based relative navigation systems of microsatellites,which offers a comprehensive hardware design solution and a robust experimental verification methodology for practical implementation of vision-based navigation technology on the microsatellite platform.Firstly,a low power consumption,light weight,and high performance vision-based relative navigation optical sensor is designed.Subsequently,a set of ground verification system is designed for the hardware-in-the-loop testing of the vision-based relative navigation systems.Finally,the designed vision-based relative navigation optical sensor and the proposed angles-only navigation algorithms are tested on the ground verification system.The results verify that the optical simulator after geometrical calibration can meet the requirements of the hardware-in-the-loop testing of vision-based relative navigation systems.Based on experimental results,the relative position accuracy of the angles-only navigation filter at terminal time is increased by 25.5%,and the relative speed accuracy is increased by 31.3% compared with those of optical simulator before geometrical calibration.
基金funded by the Henan Key Laboratory of Brain Science and Brain-Computer Interface Technology(grant no.HNBBL17004)The reviewers are thanked for their helpful advice.
文摘Animal robots have outstanding advantages over traditional robots in their own energy supplies,orientation,and natural concealment,delivering significant value in the theories and applications of neural science,national security,and other fields.Presently,many animal robots have been fabricated,but researches about the applications of avian robots are still lacking.In this study,we constructed a Pigeon Robot System(PRS),optimized the electric stimulation parameters,assessed the electric stimulus of navigation,and evaluated the navigation efficiency in the field.Biphasic pulse constant current pattern was adapted,and the optimal stimulus parameters of 4 nuclei tested were of amplitude 0.3 mA,5 pulse trains,frequency 25 Hz,5 pulses,and a 25%duty cycle.Effective ratio of left and right steering behavior response to electric stimulus dorsointermedius ventralis anterior nuclei was 67%and 83%,respectively(mean value 75%).Electrical stimulation efficiency was 0.34-0.68 and path efficiency was 0.72-0.85 among pigeon robot individuals in the open field.Neither electrical stimulation efficiency nor path efficiency differed significantly(P>0.05),suggesting that the navigational PRS performance was not biased in either direction.PRS can achieve continuous navigation along simple pathways and provide the necessary application infrastructure and technical reference for the development of animal robot navigation technology.
文摘Abstract： The major methods to investigate the airbags cushion system are experimental method, thermodynamic method and finite element method （FEM）. Airbags cushion systems are very complicated and very difficult to be investigated thoroughly by such methods For experimental method, it is nearly impossible to completely analyze and optimize the cushion characteristics of airbags of airborne vehicle because of charge issue, safety concern and time constraint. Thermodynamic method fails to take the non-linear effects of large airbag deformation and varied contact conditions into consideration. For finite element method, the FE model is usually complicated and the calculation takes tens of hours of CPU time. As a result, the optimization of the design based on a nonlinear model is very difficult by traditional iterative approach method. In this paper, a model based on FEM and control volume method is proposed to simulate landing cushion process of airborne vehicle with airbags cushion system in order to analyze and optimize the parameters in airbags cushion system. At first, the performance of airbags cushion system model is verified experimentally. In airdrop test, accelerometers are fixed in 4 test points distributed over engine mount, top, bottom and side armor plate of hull to obtain acceleration curves with time. The simulation results are obtained under the same conditions of the airdrop test and the simulation results agree very well with the experimental results, which indicate the established model is valid for further optimization. To optimize the parameters of airbags, equivalent response model based on Latin Hypercube DOE and radial basis function is employed instead of the complex finite element model. Then the optimal results based on equivalent response model are obtained using simulated annealing algorithm. After optimization, the maximal acceleration of airborne vehicle landing reduces 19.83%, while the energy absorption by airbags increases 7.85%. The performance of the airbags cushion system thus is largely improved through optimization, which indicates the proposed method has the capability of solving the parameter optimization problem of airbags cushion system for airborne vehicle.
基金supported by the National High Technology Research and Development Program of China (863 Program) (2002AA1Z1490)Specialized Research Fund for the Doctoral Program of Higher Education (20040486049)the University Cooperative Research Fund of Huawei Technology Co., Ltd
文摘In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed.The validity of this method is proven theoretically.Specifically, testcases are generated according to many approaches of randomization.Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language.Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily.The comparison method is put to use in the evaluation approach of the testing validity.The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing.The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.
文摘This paper presents an optimisatiombased verification process for obstacle avoidance systems of a unicycle-like mobile robot. It is a novel approach for the collision avoidance verification process. Local and global optimisation based verification processes are developed to find the worst-case parameters and the worst-case distance between the robot and an obstacle. The kinematic and dynamic model of the unicycle-like mobile robot is first introduced with force and torque as the inputs. The design of the control system is split into two parts. One is velocity and rotation using the robot dynamics, and the other is the incremental motion planning for robot kinematics. The artificial potential field method is chosen as a path planning and obstacle avoidance candidate technique for verification study as it is simple and widely used. Different optimisation algorithms are applied and compared for the purpose of verification. It is shown that even for a simple case study where only mass and inertia variations are considered, a local optimization based verification method may fail to identify the worst case. Two global optimisation methods have been investigated： genetic algorithms （GAs） and GLOBAL algorithms. Both of these methods successfully find the worst case. The verification process confirms that the obstacle avoidance algorithm functions correctly in the presence of all the possible parameter variations.
基金Project supported by the IC Special Foundation of Shanghai Municipal Commission of Science and Technology (Grant No.09706201300)the Shanghai Municipal Commission of Economic and Information (Grant No.090344)the Shanghai High-Tech Industrialization of New Energy Vehicles (Grant No.09625029),and the Graduate Innovation Foundation of Shanghai University
文摘In this paper, the design and verification process of an automobile-engine-fan control system on chip （SoC） are introduced. The SoC system, SHU-MV08, reuses four new intellectual property （IP） cores and the design flow is accomplished with 0.35 btm chartered CMOS technology. Some special functions of IP cores, the detailed integration scheme of four IP cores, and the verification method of the entire SoC are presented. To settle the verification problems brought by analog IP cores, NanoSim based chip-level mixed-signal verification method is introduced. The verification time is greatly reduced and the first tape-out achieves success which proves the validity of our design.
基金supported by the State Grid Corporation Science and Technology Project(No.JL71-15-039)
文摘Previous studies have proposed higher requirements for the transient characteristics of a DC transformer used in a flexible high-voltage direct current(HVDC) system to achieve faster sampling speed and meet wider bandwidth requirements of the control and protection signal, and to eventually suppress the large transient fault current. In this study, a transient characteristics verification method is proposed for transient characteristics verification of a DC transformer used in a flexible HVDC system based on resampling technology and LabVIEW measurement technology after analyzing the key technology for transient characteristics verification of a DC transformer. A laboratory experiment for the transient characteristics of a full-fiber electronic DC transformer is conducted, and experimental results show that such verification method can be employed for frequency response and step response verification of a DC transformer at 10% of the rated voltage and current, and can eventually improve the screening of a DC transformer.
基金This work was supported in part by the Natural Science Foundation of Jiangsu Province under grant No.BK20191475the fifth phase of“333 Project”scientific research funding project of Jiangsu Province in China under grant No.BRA2020306the Qing Lan Project of Jiangsu Province in China under grant No.2019.
文摘A secure operating system in the communication network can provide the stable working environment,which ensures that the user information is not stolen.The micro-kernel operating system in the communication network retains the core functions in the kernel,and unnecessary tasks are implemented by calling external processes.Due to the small amount of code,the micro-kernel architecture has high reliability and scalability.Taking the microkernel operating system in the communication network prototype VSOS as an example,we employ the objdump tool to disassemble the system source code and get the assembly layer code.On this basis,we apply the Isabelle/HOL,a formal verification tool,to model the system prototype.By referring to the mathematical model of finite automata and taking the process scheduling module as an example,the security verification based on the assembly language layer is developed.Based on the Hoare logic theory,each assembly statement of the module is verified in turn.The verification results show that the scheduling module of VSOS has good functional security,and also show the feasibility of the refinement framework.
基金National Natural Science Foundation of China(11690041,11805244,11675233)。
文摘Field-programmable-gate-array(FPGA)has been wildly used in many space missions due to its high performance and reconfiguration capability[1].With the feature size continuing scaling down.
基金supported in part by the Natural Science Foundation of Jiangsu Province in China under grant No.BK20191475the fifth phase of“333 Project”scientific research funding project of Jiangsu Province in China under grant No.BRA2020306the Qing Lan Project of Jiangsu Province in China under grant No.2019.
文摘In traditional digital twin communication system testing,we can apply test cases as completely as possible in order to ensure the correctness of the system implementation,and even then,there is no guarantee that the digital twin communication system implementation is completely correct.Formal verification is currently recognized as a method to ensure the correctness of software system for communication in digital twins because it uses rigorous mathematical methods to verify the correctness of systems for communication in digital twins and can effectively help system designers determine whether the system is designed and implemented correctly.In this paper,we use the interactive theorem proving tool Isabelle/HOL to construct the formal model of the X86 architecture,and to model the related assembly instructions.The verification result shows that the system states obtained after the operations of relevant assembly instructions is consistent with the expected states,indicating that the system meets the design expectations.
基金funded by the National Natural Science Foundation of China(62072056,62172058)the Researchers Supporting Project Number(RSP2023R102)King Saud University,Riyadh,Saudi Arabia+4 种基金funded by the Hunan Provincial Key Research and Development Program(2022SK2107,2022GK2019)the Natural Science Foundation of Hunan Province(2023JJ30054)the Foundation of State Key Laboratory of Public Big Data(PBD2021-15)the Young Doctor Innovation Program of Zhejiang Shuren University(2019QC30)Postgraduate Scientific Research Innovation Project of Hunan Province(CX20220940,CX20220941).
文摘Blockchain can realize the reliable storage of a large amount of data that is chronologically related and verifiable within the system.This technology has been widely used and has developed rapidly in big data systems across various fields.An increasing number of users are participating in application systems that use blockchain as their underlying architecture.As the number of transactions and the capital involved in blockchain grow,ensuring information security becomes imperative.Addressing the verification of transactional information security and privacy has emerged as a critical challenge.Blockchain-based verification methods can effectively eliminate the need for centralized third-party organizations.However,the efficiency of nodes in storing and verifying blockchain data faces unprecedented challenges.To address this issue,this paper introduces an efficient verification scheme for transaction security.Initially,it presents a node evaluation module to estimate the activity level of user nodes participating in transactions,accompanied by a probabilistic analysis for all transactions.Subsequently,this paper optimizes the conventional transaction organization form,introduces a heterogeneous Merkle tree storage structure,and designs algorithms for constructing these heterogeneous trees.Theoretical analyses and simulation experiments conclusively demonstrate the superior performance of this scheme.When verifying the same number of transactions,the heterogeneous Merkle tree transmits less data and is more efficient than traditional methods.The findings indicate that the heterogeneous Merkle tree structure is suitable for various blockchain applications,including the Internet of Things.This scheme can markedly enhance the efficiency of information verification and bolster the security of distributed systems.
文摘The precise estimation of the frequency of the signal is of great significance in the Radar system, the electronic warfare system and many other systems. In this paper, we propose a development and verification platform for the frequency estimation system in the Matlab and Simulink environment. Its open-extensibility architecture enables the performance evaluation of different frequency estimation algorithms and its graphic interface can greatly promote the system design, simulation and verification efficiency.
文摘Nowadays, there has been a rapid increase in the variety and popularity of messaging systems and social networks. It is imperative to consider the effect and impact of the number of words feature on the verification process for modern messaging systems such as Twitter, Facebook, SMS and Email. Given the volume of text is often a restricted factor (due to the nature of messaging systems), key to this investigation is a better understanding of what length of message is required to improve performance. A large historical dataset containing 50 participants, the four datasets containing a large number of messaging system samples (4539 samples for Facebook, 13,616 for Twitter, 6538 for Email and 106,359 for Text message), the best performance was for Text messages, with an EER of 7.6% if the number of words was more than nine;followed by Email with an EER of 14.9% if the number of words was between 25 to 60;then, Twitter tweets, with an EER of 22.5% if the number of words was less than ten. Finally, the Facebook platform with an EER of 31.9% if the number of words was over 11.
