Face liveness detection is essential for securing biometric authentication systems against spoofing attacks,including printed photos,replay videos,and 3D masks.This study systematically evaluates pre-trained CNN model...Face liveness detection is essential for securing biometric authentication systems against spoofing attacks,including printed photos,replay videos,and 3D masks.This study systematically evaluates pre-trained CNN models—DenseNet201,VGG16,InceptionV3,ResNet50,VGG19,MobileNetV2,Xception,and InceptionResNetV2—leveraging transfer learning and fine-tuning to enhance liveness detection performance.The models were trained and tested on NUAA and Replay-Attack datasets,with cross-dataset generalization validated on SiW-MV2 to assess real-world adaptability.Performance was evaluated using accuracy,precision,recall,FAR,FRR,HTER,and specialized spoof detection metrics(APCER,NPCER,ACER).Fine-tuning significantly improved detection accuracy,with DenseNet201 achieving the highest performance(98.5%on NUAA,97.71%on Replay-Attack),while MobileNetV2 proved the most efficient model for real-time applications(latency:15 ms,memory usage:45 MB,energy consumption:30 mJ).A statistical significance analysis(paired t-tests,confidence intervals)validated these improvements.Cross-dataset experiments identified DenseNet201 and MobileNetV2 as the most generalizable architectures,with DenseNet201 achieving 86.4%accuracy on Replay-Attack when trained on NUAA,demonstrating robust feature extraction and adaptability.In contrast,ResNet50 showed lower generalization capabilities,struggling with dataset variability and complex spoofing attacks.These findings suggest that MobileNetV2 is well-suited for low-power applications,while DenseNet201 is ideal for high-security environments requiring superior accuracy.This research provides a framework for improving real-time face liveness detection,enhancing biometric security,and guiding future advancements in AI-driven anti-spoofing techniques.展开更多
Fingerprint-spoofing attack often occurs when imposters gain access illegally by using artificial fingerprints,which are made of common fingerprint materials,such as silicon,latex,etc.Thus,to protect our privacy,many ...Fingerprint-spoofing attack often occurs when imposters gain access illegally by using artificial fingerprints,which are made of common fingerprint materials,such as silicon,latex,etc.Thus,to protect our privacy,many fingerprint liveness detection methods are put forward to discriminate fake or true fingerprint.Current work on liveness detection for fingerprint images is focused on the construction of complex handcrafted features,but these methods normally destroy or lose spatial information between pixels.Different from existing methods,convolutional neural network(CNN)can generate high-level semantic representations by learning and concatenating low-level edge and shape features from a large amount of labeled data.Thus,CNN is explored to solve the above problem and discriminate true fingerprints from fake ones in this paper.To reduce the redundant information and extract the most distinct features,ROI and PCA operations are performed for learned features of convolutional layer or pooling layer.After that,the extracted features are fed into SVM classifier.Experimental results based on the LivDet(2013)and the LivDet(2011)datasets,which are captured by using different fingerprint materials,indicate that the classification performance of our proposed method is both efficient and convenient compared with the other previous methods.展开更多
Fingerprint authentication system is used to verify users' identification according to the characteristics of their fingerprints.However,this system has some security and privacy problems.For example,some artifici...Fingerprint authentication system is used to verify users' identification according to the characteristics of their fingerprints.However,this system has some security and privacy problems.For example,some artificial fingerprints can trick the fingerprint authentication system and access information using real users' identification.Therefore,a fingerprint liveness detection algorithm needs to be designed to prevent illegal users from accessing privacy information.In this paper,a new software-based liveness detection approach using multi-scale local phase quantity(LPQ) and principal component analysis(PCA) is proposed.The feature vectors of a fingerprint are constructed through multi-scale LPQ.PCA technology is also introduced to reduce the dimensionality of the feature vectors and gain more effective features.Finally,a training model is gained using support vector machine classifier,and the liveness of a fingerprint is detected on the basis of the training model.Experimental results demonstrate that our proposed method can detect the liveness of users' fingerprints and achieve high recognition accuracy.This study also confirms that multi-resolution analysis is a useful method for texture feature extraction during fingerprint liveness detection.展开更多
Aim to countermeasure the presentation attack for iris recognition system,an iris liveness detection scheme based on batch normalized convolutional neural network(BNCNN)is proposed to improve the reliability of the ir...Aim to countermeasure the presentation attack for iris recognition system,an iris liveness detection scheme based on batch normalized convolutional neural network(BNCNN)is proposed to improve the reliability of the iris authentication system.The BNCNN architecture with eighteen layers is constructed to detect the genuine iris and fake iris,including convolutional layer,batch-normalized(BN)layer,Relu layer,pooling layer and full connected layer.The iris image is first preprocessed by iris segmentation and is normalized to 256×256 pixels,and then the iris features are extracted by BNCNN.With these features,the genuine iris and fake iris are determined by the decision-making layer.Batch normalization technique is used in BNCNN to avoid the problem of over fitting and gradient disappearing during training.Extensive experiments are conducted on three classical databases:the CASIA Iris Lamp database,the CASIA Iris Syn database and Ndcontact database.The results show that the proposed method can effectively extract micro texture features of the iris,and achieve higher detection accuracy compared with some typical iris liveness detection methods.展开更多
Contactless verification is possible with iris biometric identification,which helps prevent infections like COVID-19 from spreading.Biometric systems have grown unsteady and dangerous as a result of spoofing assaults ...Contactless verification is possible with iris biometric identification,which helps prevent infections like COVID-19 from spreading.Biometric systems have grown unsteady and dangerous as a result of spoofing assaults employing contact lenses,replayed the video,and print attacks.The work demonstrates an iris liveness detection approach by utilizing fragmental coefficients of Haar transformed Iris images as signatures to prevent spoofing attacks for the very first time in the identification of iris liveness.Seven assorted feature creation ways are studied in the presented solutions,and these created features are explored for the training of eight distinct machine learning classifiers and ensembles.The predicted iris liveness identification variants are evaluated using recall,F-measure,precision,accuracy,APCER,BPCER,and ACER.Three standard datasets were used in the investigation.The main contribution of our study is achieving a good accuracy of 99.18%with a smaller feature vector.The fragmental coefficients of Haar transformed iris image of size 8∗8 utilizing random forest algorithm showed superior iris liveness detection with reduced featured vector size(64 features).Random forest gave 99.18%accuracy.Additionally,conduct an extensive experiment on cross datasets for detailed analysis.The results of our experiments showthat the iris biometric template is decreased in size tomake the proposed framework suitable for algorithmic verification in real-time environments and settings.展开更多
In this paper, we study the supervisory control problem of discrete event systems assuming that cyber-attacks might occur. In particular, we focus on the problem of liveness enforcement and consider a sensor-reading m...In this paper, we study the supervisory control problem of discrete event systems assuming that cyber-attacks might occur. In particular, we focus on the problem of liveness enforcement and consider a sensor-reading modification attack(SM-attack) that may disguise the occurrence of an event as that of another event by intruding sensor communication channels. To solve the problem, we introduce non-deterministic supervisors in the paper, which associate to every observed sequence a set of possible control actions offline and choose a control action from the set randomly online to control the system. Specifically, given a bounded Petri net(PN) as the reference formalism and an SMattack, an algorithm that synthesizes a liveness-enforcing nondeterministic supervisor tolerant to the SM-attack is proposed for the first time.展开更多
This paper deals with the supervisory control problem of discrete event systems modeled by labeled Petri nets. The system is originally unbounded. First, the solvability of the problem is confirmed. A necessary condit...This paper deals with the supervisory control problem of discrete event systems modeled by labeled Petri nets. The system is originally unbounded. First, the solvability of the problem is confirmed. A necessary condition is given and proven for the existence of a feasible priority-based controller based on the notions of liveness and transition invariants. Next, a cyclic behavior graph is constructed, which shows the reachable markings that guarantee the maximum liveness of the system within a given bound vector. Finally, an on-line control strategy is proposed to enforce boundedness and liveness to the given system by appending priority relations to transitions. The dynamic priority relation changes flexibly according to the current state of the system and enforces the system evolving in a bounded and live manner. In addition, numerical examples are studied to verify the validity of the proposed approach that remains the structure of the plant net and is efficient for on-line control.展开更多
The probabilities for the technology to be spoofed are widely acknowledged in biometric verification system. Important efforts have been conducted to study such threats and to develop countermeasures to direct attacks...The probabilities for the technology to be spoofed are widely acknowledged in biometric verification system. Important efforts have been conducted to study such threats and to develop countermeasures to direct attacks to the biometric verification system to ensure the security of these systems against spoof attacks and reduce this risk, by using another module that is added to the biometric verification system called the “liveness detection” which uses different anatomical properties to distinguish between real and fake traits. Thus, the robustness of the system against direct attacks can be improved through increasing the security level offered to the final user. This paper is an attempt to construct support biometric security system to protect the iris biometric verification system from spoof attacks, through integrating the iris verification system with addition module called liveness detection which composed of two sub-modules (static and dynamic). A test has been performed, for iris verification phase performed on two types of database (MMU DB) for 180 samples and (CASIA DB) for 90 samples, and gave accuracy (99.44%) with FAR of (0.0277) and FRR (0.0055) for MMU DB, and accuracy (97.77%) with FAR of (0.0333) and FRR (0.0222) for CASIA DB.展开更多
Multi-living agent system （MLAS） is a new concept in the field of complex system research, which is peculiarly suitable for the design and analysis of a complex information system in a serious confrontation and tigh...Multi-living agent system （MLAS） is a new concept in the field of complex system research, which is peculiarly suitable for the design and analysis of a complex information system in a serious confrontation and tight constraint environment. However, the universal method to quantitatively measure the living degree of an MLAS remains uncertain, which is critical to the self-organizing process. Therefore, a novel analytic hierarchy process （AHP） based method with dependent pairwise comparison matrix （PCM） for the evaluation of living degree of the MLAS is proposed, which eliminates the shortcoming of fixed PCM in traditional process. Furthermore, to avoid the annoying procedure of the consistency validation, the PCMs are appropriately reconstructed. Through an illustration of the netted radar system, the calculation detail is explicitly presented. Altogether, the advanced evaluation method successfully accomplishes the preset objective and promotes the development of the MLAS theory and AHP as well.展开更多
This paper proposes an approach to making livehess model checking problems under fairness feasible.The proposed method divides such a problem into smaller ones that can be conquered.It is not superior to existing tool...This paper proposes an approach to making livehess model checking problems under fairness feasible.The proposed method divides such a problem into smaller ones that can be conquered.It is not superior to existing tools dedicated to model checking liveness properties under fairness assumptions in terms of model checking performance but has the following positive aspects:1)the approach can be used to model check liveness properties under anti-fairness assumptions as well as fairness assumptions,2)the approach can help humans better understand the reason why they need to use fairness and/or anti-fairness assumptions,and 3)the approach makes it possible to use existing linear temporal logic model checkers to model check liveness properties under fairness and/or anti-fairness assumptions.展开更多
Several liveness theorems for GFC (the generalized free choice) systems in a reductive approach are presented.What is interesting is that the characterization is just based on deadlocks,rather than on both deadlocks a...Several liveness theorems for GFC (the generalized free choice) systems in a reductive approach are presented.What is interesting is that the characterization is just based on deadlocks,rather than on both deadlocks and traps as Commoner characterizes the liveness of ordinary free-choice systems.Several proof techniques which may be useful for proving liveness of other types of net systems are also introduced.展开更多
The significant features concerning liveness of generalized free-choice (GFC) systems are discussed.These features provide a sound basis for analyzing liveness of GFC systems in a reductive approach.What is interestin...The significant features concerning liveness of generalized free-choice (GFC) systems are discussed.These features provide a sound basis for analyzing liveness of GFC systems in a reductive approach.What is interesting is that the characterization is just based on deadlocks,rather than on both deadlocks and traps as Commoner characterizes the liveness of ordinary free-choice systems.Several proof techniques for proving liveness-related features of GFC systems are introduced.展开更多
In this paper, the Extended Strong Asymmetric Choice Nets Ⅱ (ESACN Ⅱ), a subclass of Asymmetric Choice Nets (ACN) including Extended Free Choice Nets (EFCN) and Strong Asymmetric Choke Nets Ⅱ (SACN Ⅱ, is presented...In this paper, the Extended Strong Asymmetric Choice Nets Ⅱ (ESACN Ⅱ), a subclass of Asymmetric Choice Nets (ACN) including Extended Free Choice Nets (EFCN) and Strong Asymmetric Choke Nets Ⅱ (SACN Ⅱ, is presented. A necessary and sufficient condition for liveness of ESACN Ⅱ is proposed. Moreover, a criterion is introduced, which is necessary and sufficient for judgement of liveness and boundedness of ESACN Ⅱ. Meanwhile a polynomial time algorithm is given to decide liveness and boundedness for ESACN Ⅱ.展开更多
By leveraging the unique qualities of microorganisms,engineered living materials(ELMs)offer functional and economic advantages in everyday applications along with notable ecological benefits.This study contributes to ...By leveraging the unique qualities of microorganisms,engineered living materials(ELMs)offer functional and economic advantages in everyday applications along with notable ecological benefits.This study contributes to the growing field of biodesign by examining the potential of Flavobacteria for thermochromic ELMs.Many Flavobacteria,commonly found in marine environments,produce iridescent structural colorations as their colonies expand on semi-solid surfaces through gliding motility.In this study,we analyzed the effects of temperature variations on flavobacterium Cellulophaga lytica PLY A 2,characterizing distinct changes in colony growth and iridescent colorations at a macroscopic and microscopic scale.Using scanning electron microscopy,we investigated the relationship between iridescent color and the underlying cell-based optical structures.By providing insights into the temperature-responsive behavior of Flavobacteria,our findings highlight their potential for future thermochromic ELMs-with applications ranging from sustainable food packaging to smart textiles-while encouraging further characterization studies within biodesign research.展开更多
Over the past few years,video live streaming has gained immense popularity as a leading internet application.In current solutions offered by cloud service providers,the Group of Pictures(GOP)length of the video source...Over the past few years,video live streaming has gained immense popularity as a leading internet application.In current solutions offered by cloud service providers,the Group of Pictures(GOP)length of the video source often significantly impacts end-to-end(E2E)latency.However,designing an optimized GOP structure to reduce this effect remains a significant challenge.This paper presents two key contributions.First,it explores how the GOP length at the video source influences E2E latency in mainstream cloud streaming services.Experimental results reveal that the mean E2E latency increases linearly with longer GOP lengths.Second,this paper proposes EGOP(an Enhanced GOP structure)that can be implemented in streaming media servers.Experiments demonstrate that EGOP maintains a consistent E2E latency,unaffected by the GOP length of the video source.Specifically,even with a GOP length of 10 s,the E2E latency remains at 1.35 s,achieving a reduction of 6.98 s compared to Volcano-Engine(the live streaming service provider for TikTok).This makes EGOP a promising solution for low-latency live streaming.展开更多
Three-dimensional supramolecular organic frameworks with precisely tunable pore sizes are highly demanded for a wide range of applications,e.g.,encapsulating enzymes to enhance their stability,activity,and reusability...Three-dimensional supramolecular organic frameworks with precisely tunable pore sizes are highly demanded for a wide range of applications,e.g.,encapsulating enzymes to enhance their stability,activity,and reusability.However,precise control and tune the pore size of such frameworks still remains a significant challenge to date.In this study,we constructed supramolecular polymer frameworks using rigid tetrahedral star polyisocyanides with tunable length and sufficiently narrow distribution as building block.First,a series of tetrahedral four-arm star polyisocyanides with controlled chain lengths and narrow molecular weight distributions was prepared via the Pd(Ⅱ)-catalyzed living isocyanide polymerization.Then 2-ureido-4[1H]-pyrimidinone(Upy) unit was installed onto each chain-end of polyisocyanide arms via post-polymerization functionalization.Leveraging the supramolecular hydrogen bonding interactions between the terminal Upy units,well-ordered supramolecular polymer frameworks were readily obtained.Notably,the pore size was dependent on the chain length of the polyisocyanide arms.Precisely control the chain length of polyisocyanide arms,supramolecular polymer frameworks with pore sizes ranging from 5.06 nm to 9.72 nm were achieved.These frameworks,with tunable and large pore apertures,demonstrated exceptional capabilities in encapsulating enzymes of different sizes,such as lipase(TL),horseradish peroxidase(HRP),and glucose oxidase(GOx).The encapsulated enzymes exhibited significantly enhanced catalytic activity and durability.Moreover,the frameworks' tunable and large pore apertures facilitated the co-encapsulation of multiple enzymes,enabling efficient dual-enzyme cascade reactions.展开更多
Live imaging enables direct observation of dynamic biological processes,capturing their progression from molecular to organismal scales in space and time.Through high-resolution observation,it provides a powerful mean...Live imaging enables direct observation of dynamic biological processes,capturing their progression from molecular to organismal scales in space and time.Through high-resolution observation,it provides a powerful means to decode biological complexity by revealing dynamic behaviors,spatial patterns,and regulatory changes.This review illustrates the application of live imaging in investigating complex biological processes with spatiotemporal resolution and mechanistic insight.We first highlight the analytical power and integrative strategies of live imaging,and then summarize recent advances that further extend its capacities.We then focus on four complex processes―cell proliferation,lineage regulation,morphogenesis,and atlas construction―to elucidate how live imaging contributes to their decoding through representative studies.We also discuss the conceptual and practical limitations that currently constrain the full interpretive potential of live imaging,underscoring the need for deeper integration between observation,perturbation,and modeling.Looking ahead,live imaging will benefit from both technical refinement and advances in data standardization and visualization,functional quantification,multiscale integration,and the discovery of generalizable principles.Together,these directions advance a more integrative and mechanistic understanding of complex biological processes.展开更多
Objective:To identify predictors of pregnancy and live birth outcomes in assisted reproductive technology(ART)cycles based on patient characteristics,hormonal profile,and embryo transfer variables.Methods:This retrosp...Objective:To identify predictors of pregnancy and live birth outcomes in assisted reproductive technology(ART)cycles based on patient characteristics,hormonal profile,and embryo transfer variables.Methods:This retrospective cohort study included 50 fresh in vitro fertilization(IVF)/intracytoplasmic sperm injection(ICSI)cycles selected from ART participants at a single tertiary ART center.Controlled ovarian stimulation was performed using recombinant follicle stimulating hormone(rFSH),gonadotropin-releasing hormone(GnRH)antagonist,and menotropins;oocyte retrieval occurred 36 h after trigger and embryo transfer was performed on day 3 or 5.Outcomes(chemical pregnancy,ongoing pregnancy,abortion,live birth)were compared across groups stratified by maternal age,antral follicle count(AFC),anti-Müllerian hormone(AMH),baseline luteinizing hormone(LH),estradiol(E2)at trigger,and endometrial thickness.Multivariate regression was used to identify independent predictors of live birth.Results:A total of 124 ART patients were screened during the study period,of whom 50 participants meeting the eligibility criteria were included in the final analysis.The median age of the participants was 35.8 years[interquartile range(IQR)32.5–39.6].The median AFC was 8(IQR 4–14),AMH level was 1.4 ng/mL(IQR 0.7–2.9),and the median endometrial thickness at embryo transfer was 10.2 mm(IQR 9.0–11.3).Chemical,ongoing,abortion,and live birth rates were 62%,32%,12%,and 16%,respectively.Younger maternal age(<35 years),higher AFC(>12),AMH 1–4 ng/mL,and endometrial thickness≥10 mm were associated with more favorable pregnancy outcomes.In multivariate analysis,higher baseline LH(β=0.089;95%CI 0.017–0.162;P=0.02)and greater endometrial thickness(β=0.145;95%CI 0.011–0.278;P=0.04)independently predicted live birth,whereas age,AFC,AMH,and E2 did not.Conclusions:Maternal age,ovarian reserve markers,LH levels,and endometrial thickness collectively influence ART outcomes.Baseline LH and endometrial receptivity are key independent predictors of live birth and may guide individualized treatment strategies.展开更多
Objective:Heart failure(HF)is a complex clinical syndrome that affects nearly 64 million individuals globally.Frequent hospital readmissions lead to poor health outcomes,impact quality of life(QoL),and are associated ...Objective:Heart failure(HF)is a complex clinical syndrome that affects nearly 64 million individuals globally.Frequent hospital readmissions lead to poor health outcomes,impact quality of life(QoL),and are associated with high mortality rates.This study assessed readmissions,mortality,and QoL outcomes in patients with HF in a tertiary care hospital setting.Methods:Patients aged≥18 years with HF,who visited the tertiary care hospital in Karad,India were included in the study(November2019 to October 2021).Demographics,disease characteristics,and condition at discharge were recorded using the medical records of patients.The quantitative data included readmission rates and mortality rates.The qualitative aspects describing patients'QoL were assessed using a patient-reported 21-question QoL questionnaire.Results:A total of 98 patients,predominantly male(63.3%),with a mean age of 62.9 years were included.The majority of the patients(80.6%)required<15 days of hospitalization.The 2-year readmission rate was 24.4%,while the mortality rate was 43.9%.Self-care pattern showed that patients seemed to be taking mild to average care while taking good care was rare.The QoL data showed that 22.4% were living a good quality life,44.9% average,while 32.7% were living a low-quality life.Better education and better self-care were associated with a low rate of readmission.Conclusions:We were able to assess the incidence of readmission,mortality,and QoL in patients with HF in a tertiary care hospital setting.The study showed that HF impacts patients'physical,emotional,and psychological wellbeing.展开更多
Fig.3.(a)α-particle energy spectra,and(b)decay-time distributions on a logarithmic scale for the observed 288Mc and its descendant nuclei.In the panel(a),the red histograms show the observed full-energy events,while ...Fig.3.(a)α-particle energy spectra,and(b)decay-time distributions on a logarithmic scale for the observed 288Mc and its descendant nuclei.In the panel(a),the red histograms show the observed full-energy events,while the corresponding blue histograms show the reconstructed events.The red smooth curves in panel(b)are the expected time distributions according to the corresponding half-lives extracted from this work.展开更多
基金funded by Centre for Advanced Modelling and Geospatial Information Systems(CAMGIS),Faculty of Engineering and IT,University of Technology Sydney.Moreover,Ongoing Research Funding Program(ORF-2025-14)King Saud University,Riyadh,Saudi Arabia,under Project ORF-2025-。
文摘Face liveness detection is essential for securing biometric authentication systems against spoofing attacks,including printed photos,replay videos,and 3D masks.This study systematically evaluates pre-trained CNN models—DenseNet201,VGG16,InceptionV3,ResNet50,VGG19,MobileNetV2,Xception,and InceptionResNetV2—leveraging transfer learning and fine-tuning to enhance liveness detection performance.The models were trained and tested on NUAA and Replay-Attack datasets,with cross-dataset generalization validated on SiW-MV2 to assess real-world adaptability.Performance was evaluated using accuracy,precision,recall,FAR,FRR,HTER,and specialized spoof detection metrics(APCER,NPCER,ACER).Fine-tuning significantly improved detection accuracy,with DenseNet201 achieving the highest performance(98.5%on NUAA,97.71%on Replay-Attack),while MobileNetV2 proved the most efficient model for real-time applications(latency:15 ms,memory usage:45 MB,energy consumption:30 mJ).A statistical significance analysis(paired t-tests,confidence intervals)validated these improvements.Cross-dataset experiments identified DenseNet201 and MobileNetV2 as the most generalizable architectures,with DenseNet201 achieving 86.4%accuracy on Replay-Attack when trained on NUAA,demonstrating robust feature extraction and adaptability.In contrast,ResNet50 showed lower generalization capabilities,struggling with dataset variability and complex spoofing attacks.These findings suggest that MobileNetV2 is well-suited for low-power applications,while DenseNet201 is ideal for high-security environments requiring superior accuracy.This research provides a framework for improving real-time face liveness detection,enhancing biometric security,and guiding future advancements in AI-driven anti-spoofing techniques.
文摘Fingerprint-spoofing attack often occurs when imposters gain access illegally by using artificial fingerprints,which are made of common fingerprint materials,such as silicon,latex,etc.Thus,to protect our privacy,many fingerprint liveness detection methods are put forward to discriminate fake or true fingerprint.Current work on liveness detection for fingerprint images is focused on the construction of complex handcrafted features,but these methods normally destroy or lose spatial information between pixels.Different from existing methods,convolutional neural network(CNN)can generate high-level semantic representations by learning and concatenating low-level edge and shape features from a large amount of labeled data.Thus,CNN is explored to solve the above problem and discriminate true fingerprints from fake ones in this paper.To reduce the redundant information and extract the most distinct features,ROI and PCA operations are performed for learned features of convolutional layer or pooling layer.After that,the extracted features are fed into SVM classifier.Experimental results based on the LivDet(2013)and the LivDet(2011)datasets,which are captured by using different fingerprint materials,indicate that the classification performance of our proposed method is both efficient and convenient compared with the other previous methods.
基金supported by the NSFC (U1536206,61232016,U1405254,61373133, 61502242)BK20150925the PAPD fund
文摘Fingerprint authentication system is used to verify users' identification according to the characteristics of their fingerprints.However,this system has some security and privacy problems.For example,some artificial fingerprints can trick the fingerprint authentication system and access information using real users' identification.Therefore,a fingerprint liveness detection algorithm needs to be designed to prevent illegal users from accessing privacy information.In this paper,a new software-based liveness detection approach using multi-scale local phase quantity(LPQ) and principal component analysis(PCA) is proposed.The feature vectors of a fingerprint are constructed through multi-scale LPQ.PCA technology is also introduced to reduce the dimensionality of the feature vectors and gain more effective features.Finally,a training model is gained using support vector machine classifier,and the liveness of a fingerprint is detected on the basis of the training model.Experimental results demonstrate that our proposed method can detect the liveness of users' fingerprints and achieve high recognition accuracy.This study also confirms that multi-resolution analysis is a useful method for texture feature extraction during fingerprint liveness detection.
基金This work was supported in part by project supported by National Natural Science Foundation of China(Grant No.61572182,No.61370225)project supported by Hunan Provincial Natural Science Foundation of China(Grant No.15JJ2007).
文摘Aim to countermeasure the presentation attack for iris recognition system,an iris liveness detection scheme based on batch normalized convolutional neural network(BNCNN)is proposed to improve the reliability of the iris authentication system.The BNCNN architecture with eighteen layers is constructed to detect the genuine iris and fake iris,including convolutional layer,batch-normalized(BN)layer,Relu layer,pooling layer and full connected layer.The iris image is first preprocessed by iris segmentation and is normalized to 256×256 pixels,and then the iris features are extracted by BNCNN.With these features,the genuine iris and fake iris are determined by the decision-making layer.Batch normalization technique is used in BNCNN to avoid the problem of over fitting and gradient disappearing during training.Extensive experiments are conducted on three classical databases:the CASIA Iris Lamp database,the CASIA Iris Syn database and Ndcontact database.The results show that the proposed method can effectively extract micro texture features of the iris,and achieve higher detection accuracy compared with some typical iris liveness detection methods.
基金supported by theResearchers Supporting Project No.RSP-2021/14,King Saud University,Riyadh,Saudi Arabia.
文摘Contactless verification is possible with iris biometric identification,which helps prevent infections like COVID-19 from spreading.Biometric systems have grown unsteady and dangerous as a result of spoofing assaults employing contact lenses,replayed the video,and print attacks.The work demonstrates an iris liveness detection approach by utilizing fragmental coefficients of Haar transformed Iris images as signatures to prevent spoofing attacks for the very first time in the identification of iris liveness.Seven assorted feature creation ways are studied in the presented solutions,and these created features are explored for the training of eight distinct machine learning classifiers and ensembles.The predicted iris liveness identification variants are evaluated using recall,F-measure,precision,accuracy,APCER,BPCER,and ACER.Three standard datasets were used in the investigation.The main contribution of our study is achieving a good accuracy of 99.18%with a smaller feature vector.The fragmental coefficients of Haar transformed iris image of size 8∗8 utilizing random forest algorithm showed superior iris liveness detection with reduced featured vector size(64 features).Random forest gave 99.18%accuracy.Additionally,conduct an extensive experiment on cross datasets for detailed analysis.The results of our experiments showthat the iris biometric template is decreased in size tomake the proposed framework suitable for algorithmic verification in real-time environments and settings.
基金supported in part by the Public Technology Research Plan of Zhejiang Province (LGJ21F030001)the National Natural Science Foundation of China (62302448)the Zhejiang Provincial Key Laboratory of New Network Standards and Technologies (2013E10012)。
文摘In this paper, we study the supervisory control problem of discrete event systems assuming that cyber-attacks might occur. In particular, we focus on the problem of liveness enforcement and consider a sensor-reading modification attack(SM-attack) that may disguise the occurrence of an event as that of another event by intruding sensor communication channels. To solve the problem, we introduce non-deterministic supervisors in the paper, which associate to every observed sequence a set of possible control actions offline and choose a control action from the set randomly online to control the system. Specifically, given a bounded Petri net(PN) as the reference formalism and an SMattack, an algorithm that synthesizes a liveness-enforcing nondeterministic supervisor tolerant to the SM-attack is proposed for the first time.
基金the Project of Industrial Internet and Integration of Industrialization and Industrialization of Guangxi,China under Grant No.Guigong2021-37.
文摘This paper deals with the supervisory control problem of discrete event systems modeled by labeled Petri nets. The system is originally unbounded. First, the solvability of the problem is confirmed. A necessary condition is given and proven for the existence of a feasible priority-based controller based on the notions of liveness and transition invariants. Next, a cyclic behavior graph is constructed, which shows the reachable markings that guarantee the maximum liveness of the system within a given bound vector. Finally, an on-line control strategy is proposed to enforce boundedness and liveness to the given system by appending priority relations to transitions. The dynamic priority relation changes flexibly according to the current state of the system and enforces the system evolving in a bounded and live manner. In addition, numerical examples are studied to verify the validity of the proposed approach that remains the structure of the plant net and is efficient for on-line control.
文摘The probabilities for the technology to be spoofed are widely acknowledged in biometric verification system. Important efforts have been conducted to study such threats and to develop countermeasures to direct attacks to the biometric verification system to ensure the security of these systems against spoof attacks and reduce this risk, by using another module that is added to the biometric verification system called the “liveness detection” which uses different anatomical properties to distinguish between real and fake traits. Thus, the robustness of the system against direct attacks can be improved through increasing the security level offered to the final user. This paper is an attempt to construct support biometric security system to protect the iris biometric verification system from spoof attacks, through integrating the iris verification system with addition module called liveness detection which composed of two sub-modules (static and dynamic). A test has been performed, for iris verification phase performed on two types of database (MMU DB) for 180 samples and (CASIA DB) for 90 samples, and gave accuracy (99.44%) with FAR of (0.0277) and FRR (0.0055) for MMU DB, and accuracy (97.77%) with FAR of (0.0333) and FRR (0.0222) for CASIA DB.
基金supported by the National Natural Science Foundation of China(61172176)
文摘Multi-living agent system （MLAS） is a new concept in the field of complex system research, which is peculiarly suitable for the design and analysis of a complex information system in a serious confrontation and tight constraint environment. However, the universal method to quantitatively measure the living degree of an MLAS remains uncertain, which is critical to the self-organizing process. Therefore, a novel analytic hierarchy process （AHP） based method with dependent pairwise comparison matrix （PCM） for the evaluation of living degree of the MLAS is proposed, which eliminates the shortcoming of fixed PCM in traditional process. Furthermore, to avoid the annoying procedure of the consistency validation, the PCMs are appropriately reconstructed. Through an illustration of the netted radar system, the calculation detail is explicitly presented. Altogether, the advanced evaluation method successfully accomplishes the preset objective and promotes the development of the MLAS theory and AHP as well.
文摘This paper proposes an approach to making livehess model checking problems under fairness feasible.The proposed method divides such a problem into smaller ones that can be conquered.It is not superior to existing tools dedicated to model checking liveness properties under fairness assumptions in terms of model checking performance but has the following positive aspects:1)the approach can be used to model check liveness properties under anti-fairness assumptions as well as fairness assumptions,2)the approach can help humans better understand the reason why they need to use fairness and/or anti-fairness assumptions,and 3)the approach makes it possible to use existing linear temporal logic model checkers to model check liveness properties under fairness and/or anti-fairness assumptions.
文摘Several liveness theorems for GFC (the generalized free choice) systems in a reductive approach are presented.What is interesting is that the characterization is just based on deadlocks,rather than on both deadlocks and traps as Commoner characterizes the liveness of ordinary free-choice systems.Several proof techniques which may be useful for proving liveness of other types of net systems are also introduced.
文摘The significant features concerning liveness of generalized free-choice (GFC) systems are discussed.These features provide a sound basis for analyzing liveness of GFC systems in a reductive approach.What is interesting is that the characterization is just based on deadlocks,rather than on both deadlocks and traps as Commoner characterizes the liveness of ordinary free-choice systems.Several proof techniques for proving liveness-related features of GFC systems are introduced.
基金the National Natural Science Foundation of China (No.60073013) and the NKBRSF of China (No.G1998030416).
文摘In this paper, the Extended Strong Asymmetric Choice Nets Ⅱ (ESACN Ⅱ), a subclass of Asymmetric Choice Nets (ACN) including Extended Free Choice Nets (EFCN) and Strong Asymmetric Choke Nets Ⅱ (SACN Ⅱ, is presented. A necessary and sufficient condition for liveness of ESACN Ⅱ is proposed. Moreover, a criterion is introduced, which is necessary and sufficient for judgement of liveness and boundedness of ESACN Ⅱ. Meanwhile a polynomial time algorithm is given to decide liveness and boundedness for ESACN Ⅱ.
基金partial support from the Living Circular Labels project,funded by the Taskforce for Applied Research SIA’s KIEM programme(No.CIE.06.007)in the Netherlands。
文摘By leveraging the unique qualities of microorganisms,engineered living materials(ELMs)offer functional and economic advantages in everyday applications along with notable ecological benefits.This study contributes to the growing field of biodesign by examining the potential of Flavobacteria for thermochromic ELMs.Many Flavobacteria,commonly found in marine environments,produce iridescent structural colorations as their colonies expand on semi-solid surfaces through gliding motility.In this study,we analyzed the effects of temperature variations on flavobacterium Cellulophaga lytica PLY A 2,characterizing distinct changes in colony growth and iridescent colorations at a macroscopic and microscopic scale.Using scanning electron microscopy,we investigated the relationship between iridescent color and the underlying cell-based optical structures.By providing insights into the temperature-responsive behavior of Flavobacteria,our findings highlight their potential for future thermochromic ELMs-with applications ranging from sustainable food packaging to smart textiles-while encouraging further characterization studies within biodesign research.
基金supported by Henan Province Major Science and Technology Project(241100210100).
文摘Over the past few years,video live streaming has gained immense popularity as a leading internet application.In current solutions offered by cloud service providers,the Group of Pictures(GOP)length of the video source often significantly impacts end-to-end(E2E)latency.However,designing an optimized GOP structure to reduce this effect remains a significant challenge.This paper presents two key contributions.First,it explores how the GOP length at the video source influences E2E latency in mainstream cloud streaming services.Experimental results reveal that the mean E2E latency increases linearly with longer GOP lengths.Second,this paper proposes EGOP(an Enhanced GOP structure)that can be implemented in streaming media servers.Experiments demonstrate that EGOP maintains a consistent E2E latency,unaffected by the GOP length of the video source.Specifically,even with a GOP length of 10 s,the E2E latency remains at 1.35 s,achieving a reduction of 6.98 s compared to Volcano-Engine(the live streaming service provider for TikTok).This makes EGOP a promising solution for low-latency live streaming.
基金The National Natural Science Foundation of China (NSFC,Nos.92256201,52273006,22071041,92356302,and 21971052)Natural Science Foundation of Jilin Province (No.20240101181JC) are gratefully appreciated for financial the supportssupported by the User Experiment Assist System of Shanghai Synchrotron Radiation Facility (SSRF)。
文摘Three-dimensional supramolecular organic frameworks with precisely tunable pore sizes are highly demanded for a wide range of applications,e.g.,encapsulating enzymes to enhance their stability,activity,and reusability.However,precise control and tune the pore size of such frameworks still remains a significant challenge to date.In this study,we constructed supramolecular polymer frameworks using rigid tetrahedral star polyisocyanides with tunable length and sufficiently narrow distribution as building block.First,a series of tetrahedral four-arm star polyisocyanides with controlled chain lengths and narrow molecular weight distributions was prepared via the Pd(Ⅱ)-catalyzed living isocyanide polymerization.Then 2-ureido-4[1H]-pyrimidinone(Upy) unit was installed onto each chain-end of polyisocyanide arms via post-polymerization functionalization.Leveraging the supramolecular hydrogen bonding interactions between the terminal Upy units,well-ordered supramolecular polymer frameworks were readily obtained.Notably,the pore size was dependent on the chain length of the polyisocyanide arms.Precisely control the chain length of polyisocyanide arms,supramolecular polymer frameworks with pore sizes ranging from 5.06 nm to 9.72 nm were achieved.These frameworks,with tunable and large pore apertures,demonstrated exceptional capabilities in encapsulating enzymes of different sizes,such as lipase(TL),horseradish peroxidase(HRP),and glucose oxidase(GOx).The encapsulated enzymes exhibited significantly enhanced catalytic activity and durability.Moreover,the frameworks' tunable and large pore apertures facilitated the co-encapsulation of multiple enzymes,enabling efficient dual-enzyme cascade reactions.
基金supported by the National Key Research and Development Program of China(2022YFA1303000 and 2021YFA0805800)the National Natural Science Foundation of China(32325032)the Chinese Academy of Sciences Project for Young Scientists in Basic Research(YSBR-073).
文摘Live imaging enables direct observation of dynamic biological processes,capturing their progression from molecular to organismal scales in space and time.Through high-resolution observation,it provides a powerful means to decode biological complexity by revealing dynamic behaviors,spatial patterns,and regulatory changes.This review illustrates the application of live imaging in investigating complex biological processes with spatiotemporal resolution and mechanistic insight.We first highlight the analytical power and integrative strategies of live imaging,and then summarize recent advances that further extend its capacities.We then focus on four complex processes―cell proliferation,lineage regulation,morphogenesis,and atlas construction―to elucidate how live imaging contributes to their decoding through representative studies.We also discuss the conceptual and practical limitations that currently constrain the full interpretive potential of live imaging,underscoring the need for deeper integration between observation,perturbation,and modeling.Looking ahead,live imaging will benefit from both technical refinement and advances in data standardization and visualization,functional quantification,multiscale integration,and the discovery of generalizable principles.Together,these directions advance a more integrative and mechanistic understanding of complex biological processes.
文摘Objective:To identify predictors of pregnancy and live birth outcomes in assisted reproductive technology(ART)cycles based on patient characteristics,hormonal profile,and embryo transfer variables.Methods:This retrospective cohort study included 50 fresh in vitro fertilization(IVF)/intracytoplasmic sperm injection(ICSI)cycles selected from ART participants at a single tertiary ART center.Controlled ovarian stimulation was performed using recombinant follicle stimulating hormone(rFSH),gonadotropin-releasing hormone(GnRH)antagonist,and menotropins;oocyte retrieval occurred 36 h after trigger and embryo transfer was performed on day 3 or 5.Outcomes(chemical pregnancy,ongoing pregnancy,abortion,live birth)were compared across groups stratified by maternal age,antral follicle count(AFC),anti-Müllerian hormone(AMH),baseline luteinizing hormone(LH),estradiol(E2)at trigger,and endometrial thickness.Multivariate regression was used to identify independent predictors of live birth.Results:A total of 124 ART patients were screened during the study period,of whom 50 participants meeting the eligibility criteria were included in the final analysis.The median age of the participants was 35.8 years[interquartile range(IQR)32.5–39.6].The median AFC was 8(IQR 4–14),AMH level was 1.4 ng/mL(IQR 0.7–2.9),and the median endometrial thickness at embryo transfer was 10.2 mm(IQR 9.0–11.3).Chemical,ongoing,abortion,and live birth rates were 62%,32%,12%,and 16%,respectively.Younger maternal age(<35 years),higher AFC(>12),AMH 1–4 ng/mL,and endometrial thickness≥10 mm were associated with more favorable pregnancy outcomes.In multivariate analysis,higher baseline LH(β=0.089;95%CI 0.017–0.162;P=0.02)and greater endometrial thickness(β=0.145;95%CI 0.011–0.278;P=0.04)independently predicted live birth,whereas age,AFC,AMH,and E2 did not.Conclusions:Maternal age,ovarian reserve markers,LH levels,and endometrial thickness collectively influence ART outcomes.Baseline LH and endometrial receptivity are key independent predictors of live birth and may guide individualized treatment strategies.
文摘Objective:Heart failure(HF)is a complex clinical syndrome that affects nearly 64 million individuals globally.Frequent hospital readmissions lead to poor health outcomes,impact quality of life(QoL),and are associated with high mortality rates.This study assessed readmissions,mortality,and QoL outcomes in patients with HF in a tertiary care hospital setting.Methods:Patients aged≥18 years with HF,who visited the tertiary care hospital in Karad,India were included in the study(November2019 to October 2021).Demographics,disease characteristics,and condition at discharge were recorded using the medical records of patients.The quantitative data included readmission rates and mortality rates.The qualitative aspects describing patients'QoL were assessed using a patient-reported 21-question QoL questionnaire.Results:A total of 98 patients,predominantly male(63.3%),with a mean age of 62.9 years were included.The majority of the patients(80.6%)required<15 days of hospitalization.The 2-year readmission rate was 24.4%,while the mortality rate was 43.9%.Self-care pattern showed that patients seemed to be taking mild to average care while taking good care was rare.The QoL data showed that 22.4% were living a good quality life,44.9% average,while 32.7% were living a low-quality life.Better education and better self-care were associated with a low rate of readmission.Conclusions:We were able to assess the incidence of readmission,mortality,and QoL in patients with HF in a tertiary care hospital setting.The study showed that HF impacts patients'physical,emotional,and psychological wellbeing.
文摘Fig.3.(a)α-particle energy spectra,and(b)decay-time distributions on a logarithmic scale for the observed 288Mc and its descendant nuclei.In the panel(a),the red histograms show the observed full-energy events,while the corresponding blue histograms show the reconstructed events.The red smooth curves in panel(b)are the expected time distributions according to the corresponding half-lives extracted from this work.
