Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks

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.

Fingerprint Liveness Detection from Different Fingerprint Materials Using Convolutional Neural Network and Principal Component Analysis

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 Liveness Detection Based on Multi-Scale LPQ and PCA

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.

Detecting Iris Liveness with Batch Normalized Convolutional Neural Network

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.

Iris Liveness Detection Using Fragmental Energy of Haar Transformed Iris Images Using Ensemble of Machine Learning Classifiers

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.

Boundedness and liveness enforcement for labeled Petri nets using transition priority

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.

Integrate Liveness Detection with Iris Verification to Construct Support Biometric System

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.

Liveness evaluation of multi-living agent system

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.

A divide & conquer approach to liveness model checking under fairness & anti-fairness assumptions

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.

Liveness characterization for GFC systems (Ⅱ)

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.

Liveness characterization for GFC systems(Ⅰ)

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.

Notes on Liveness and Boundedness of Extended Strong Asymmetric Choice Nets Ⅱ

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 Ⅱ.

Thriving on Tradition

Supportive policies and generational skills change lives in remote villages of Xizang.AAGQU,the city with the highest average altitude in China and a gateway to Xizang Autonomous Region,is an important transportation hub along two national highways.It is also a focus of the local government’s rural revitalization drive to improve the lives of local residents,who are mostly farmers and herdsmen,by promoting traditional crafts and establishing local brands.

Deletion of Salmonella pathogenicity islands SPI-1, 2 and 3 induces substantial morphological and metabolic alternation and protective immune potential

The Salmonella pathogenicity islands(SPIs) play crucial roles in the progression of Salmonella infection. In this study, we constructed an improved λ Red homologous recombination system to prepare single and triple deletion mutants of 3 prominent SPIs(SPI-1, 2, and 3), aiming at the impact of deletion on morphology, carbon source metabolism, adhesion and invasion capacity, in vivo colonization, and immune efficacy in chicks. Our examination revealed that the surface of the single deletion mutants(SM6ΔSPI1, ΔSPI2, and ΔSPI3) exhibited a more rugged texture and appeared to be enveloped in a layer of transparent colloid, whereas the morphology of the triple deletion mutant(SM6ΔSPI1&2&3) remained unaltered when compared to the parent strain. The carbon metabolic spectrum of the SPI mutants underwent profound alterations, with a notable and statistically significant modification observed in 30 out of 95 carbon sources, primarily carbohydrates(17 out of 30). Furthermore, the adhesion capacity of the 4 mutants to Caco-2 cells was significantly reduced when compared to that of the parent strain. Moreover,the invasion capacity of mutants SM6ΔSPI1 and SM6ΔSPI1&2&3 exhibited a substantial decrease, while it was enhanced to varying degrees for SM6ΔSPI3 and SM6ΔSPI2. Importantly, none of the 4 mutants induced any clinical symptoms in the chicks. However, they did transiently colonize the spleen and liver. Notably, the SM6ΔSPI1&2&3mutant was rapidly cleared from both the spleen and liver within 8 days post-infection and no notable pathological changes were observed in the organs. Additionally, when challenged, the mutants immunized groups displayed a significant increase in antibody levels and alterations in the CD3+CD4+ and CD3+CD8+ subpopulations, and the levels of IL-4 and IFN-γ cytokines in the SM6ΔSPI1&2&3 immunized chicken serum surpassed those of other groups.In summary, the successful construction of the 4 SPI mutants lays the groundwork for further exploration into the pathogenic(including metabolic) mechanisms of SPIs and the development of safe and effective live attenuated Salmonella vaccines or carriers.

基于LIVE2D技术的博物馆动态形象设计实践研究

探索以Live2D技术作为新的设计手段,进一步提升二维平面形象设计的表现力和影响力,寻找塑造新颖的博物馆动态形象的可行性,为博物馆提供适应现代多种媒体渠道传播形式的动态形象设计。以Live2D技术为核心,从文化传承与发展的角度出发,结合博物馆实地调研与文物设计转化,拓宽博物馆形象设计在其馆内的应用范围,将传统平面原画通过2D建模,进而增强二维形象的可动性和真实感,结合符号学语义,实现以山东博物馆“亚丑钺”为例的动态形象设计实践。围绕博物馆藏品为原型,从平面设计图实现二维建模,实现文物藏品转化为角色形象,设计出基于Live2D技术的动态博物馆形象,为观展流程增添吸引力和沉浸感。促进博物馆以文物为原型的形象良性发展,丰富与观众的交互形式,帮助藏品达成创造性转化、创新性发展,从而为山东博物馆以及其他文化机构提供关于形象设计多元化创新的可借鉴新形式。

Liver transplantation and resection in patients with hepatocellular cancer and portal vein tumor thrombosis: Feasible and effective?

Patients with locally advanced hepatocellular cancer(HCC)and portal vein tumor thrombosis(PVTT)have a dismal prognosis since limited treatment options are available for them.In recent years,effective systemic therapy,and advances in the understanding of technicalities and effectiveness of ablative therapies especially radiotherapy,have given some hope to prolong survival in them.This review summarized recent evidence in literature regarding the possible role of liver resection(LR)and liver transplantation(LT)in patients with locally advanced HCC and PVTT with no extrahepatic disease.Downstaging therapies have helped make curative resection or LT a reality in selected patients.This review emphasizes on the key points to focus on when considering surgery in these patients,who are usually relegated to palliative systemic therapy alone.Meticulous patient selection based on tumor biology,documented downstaging based on imaging and decrease in tumor marker levels,and an adequate waiting period to demonstrate stable disease,may help obtain satisfactory long-term outcomes post LR or LT in an intention to treat strategy in patients with HCC and PVTT.

Development and validation of a prediction model for early screening of people at high risk for colorectal cancer

BACKGROUND Colorectal cancer(CRC)is a serious threat worldwide.Although early screening is suggested to be the most effective method to prevent and control CRC,the current situation of early screening for CRC is still not optimistic.In China,the incidence of CRC in the Yangtze River Delta region is increasing dramatically,but few studies have been conducted.Therefore,it is necessary to develop a simple and efficient early screening model for CRC.AIM To develop and validate an early-screening nomogram model to identify individuals at high risk of CRC.METHODS Data of 64448 participants obtained from Ningbo Hospital,China between 2014 and 2017 were retrospectively analyzed.The cohort comprised 64448 individuals,of which,530 were excluded due to missing or incorrect data.Of 63918,7607(11.9%)individuals were considered to be high risk for CRC,and 56311(88.1%)were not.The participants were randomly allocated to a training set(44743)or validation set(19175).The discriminatory ability,predictive accuracy,and clinical utility of the model were evaluated by constructing and analyzing receiver operating characteristic(ROC)curves and calibration curves and by decision curve analysis.Finally,the model was validated internally using a bootstrap resampling technique.RESULTS Seven variables,including demographic,lifestyle,and family history information,were examined.Multifactorial logistic regression analysis revealed that age[odds ratio(OR):1.03,95%confidence interval(CI):1.02-1.03,P<0.001],body mass index(BMI)(OR:1.07,95%CI:1.06-1.08,P<0.001),waist circumference(WC)(OR:1.03,95%CI:1.02-1.03 P<0.001),lifestyle(OR:0.45,95%CI:0.42-0.48,P<0.001),and family history(OR:4.28,95%CI:4.04-4.54,P<0.001)were the most significant predictors of high-risk CRC.Healthy lifestyle was a protective factor,whereas family history was the most significant risk factor.The area under the curve was 0.734(95%CI:0.723-0.745)for the final validation set ROC curve and 0.735(95%CI:0.728-0.742)for the training set ROC curve.The calibration curve demonstrated a high correlation between the CRC high-risk population predicted by the nomogram model and the actual CRC high-risk population.CONCLUSION The early-screening nomogram model for CRC prediction in high-risk populations developed in this study based on age,BMI,WC,lifestyle,and family history exhibited high accuracy.

Establishing delivery route-dependent safety and efficacy of living biodrug mesenchymal stem cells in heart failure patients

BACKGROUND Mesenchymal stem cells(MSCs)as living biopharmaceuticals with unique properties,i.e.,stemness,viability,phenotypes,paracrine activity,etc.,need to be administered such that they reach the target site,maintaining these properties unchanged and are retained at the injury site to participate in the repair process.Route of delivery(RoD)remains one of the critical determinants of safety and efficacy.This study elucidates the safety and effectiveness of different RoDs of MSC treatment in heart failure(HF)based on phase II randomized clinical trials(RCTs).We hypothesize that the RoD modulates the safety and efficacy of MSCbased therapy and determines the outcome of the intervention.AIM To investigate the effect of RoD of MSCs on safety and efficacy in HF patients.METHODS RCTs were retrieved from six databases.Safety endpoints included mortality and serious adverse events(SAEs),while efficacy outcomes encompassed changes in left ventricular ejection fraction(LVEF),6-minute walk distance(6MWD),and pro-B-type natriuretic peptide(pro-BNP).Subgroup analyses on RoD were performed for all study endpoints.RESULTS Twelve RCTs were included.Overall,MSC therapy demonstrated a significant decrease in mortality[relative risk(RR):0.55,95%confidence interval(95%CI):0.33-0.92,P=0.02]compared to control,while SAE outcomes showed no significant difference(RR:0.84,95%CI:0.66-1.05,P=0.11).RoD subgroup analysis revealed a significant difference in SAE among the transendocardial(TESI)injection subgroup(RR=0.71,95%CI:0.54-0.95,P=0.04).The pooled weighted mean difference(WMD)demonstrated an overall significant improvement of LVEF by 2.44%(WMD:2.44%,95%CI:0.80-4.29,P value≤0.001),with only intracoronary(IC)subgroup showing significant improvement(WMD:7.26%,95%CI:5.61-8.92,P≤0.001).Furthermore,the IC delivery route significantly improved 6MWD by 115 m(WMD=114.99 m,95%CI:91.48-138.50),respectively.In biochemical efficacy outcomes,only the IC subgroup showed a significant reduction in pro-BNP by-860.64 pg/mL(WMD:-860.64 pg/Ml,95%CI:-944.02 to-777.26,P=0.001).CONCLUSION Our study concluded that all delivery methods of MSC-based therapy are safe.Despite the overall benefits in efficacy,the TESI and IC routes provided better outcomes than other methods.Larger-scale trials are warranted before implementing MSC-based therapy in routine clinical practice.

The impact of the Rural Minimum Living Standard Guarantee(Rural Dibao)Program on child nutrition outcomes

The Rural Minimum Living Standard Guarantee(Rural Dibao)is an important unconditional cash transfer program to alleviate poverty in rural China.Despite the importance of children’s nutrition in breaking poverty cycles,little is known about the impact of Rural Dibao on child nutrition outcomes.Using China Family Panel Studies(CFPS),this paper examines the effects of Rural Dibao on child nutrition outcomes and investigates potential pathways and heterogeneous effects.We exploit propensity score matching and difference-in-differences techniques to evaluate the effects of the Rural Dibao program on child nutrition outcomes.Our results suggest that Rural Dibao significantly impacts the nutrition outcomes of children up to 15 years of age.Specifically,our results suggest that Rural Dibao improves child height-to-age z-scores by 1.05 standard deviations and lowers the probability of stunting by 11.9 percentage points.Additional analyses suggest that increased protein intake is the main pathway through which Rural Dibao participation contributes to better nutrition outcomes.We also find that the effect of the program is more pronounced among girls,children who are non-left-behind or live with highly educated mothers,and those from low-income families and poor areas.Our findings suggest that Rural Dibao participation helps improve child nutrition outcomes through improving diet quality.

Study on Distribution of Four Pseudomonas Species in Living Environment Using Multiplex PCR

Purpose: The genus Pseudomonas is a ubiquitous microorganism frequently detected from immunocompromised patients. The inherent resistance to numerous antimicrobial agents contributes to the opportunistic character of this pathogen exhaustive monitoring of this pathogen is considered of critical importance to public health organizations. The reliable identification method able to distinguish genetic close Pseudomonas species is needed, because these organisms are difficult to differentiate by phenotypic or biochemical methods. The purpose of the present study was to design species-specific primers in order to identify and detect four Pseudomonas species which are frequently detected from the human oral cavities, and to investigate the distribution of these organisms in the living environment using a multiplex PCR. Methods: Polymerase chain reaction (PCR) primers were designed based on partial sequences of the rpoD gene of four Pseudomonas species. Swab samples were collected from fifty washstands, and the distribution of Pseudomonas species was investigated using a conventional PCR at genus level and a multiplex PCR at species level. Results: Multiplex PCR method developed in this study was able to distinguish four Pseudomonas species clearly. The genus Pseudomonas was detected from all samples (100%), whereas P. putida, P, aeruginosa, P. stutzeri and P. fluorescens were detected at 44%, 8%, 4% and 2% in fifty swab samples, respectively. Conclusion: Our developed one-step multiplex PCR method is accurate, specific, cost-effective, time-saving, and works without requiring DNA extraction. It was indicated that washstands were the uninhabitable environment for P. putida, P, aeruginosa, P. stutzeri and P. fluorescens.