LIVENESS

作品数：18被引量：17H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：蒋昌俊夏传良鞠彦兵更多>>
相关机构：中国科学院研究生院中国科学院数学与系统科学研究院北京理工大学济南大学更多>>
相关期刊：《Progress in Natural Science:Materials International》《Journal of Computer Science & Technology》《Science China(Technological Sciences)》《Computer Modeling in Engineering & Sciences》更多>>
相关基金：国家自然科学基金美国国家科学基金国家杰出青年科学基金北京市自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks
《IEEE/CAA Journal of Automatica Sinica》2024年第1期240-248,共9页Dan You Shouguang Wang 
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 m...
关键词：Cyber-attacks cyber-physical system(CPS) LIVENESS non-deterministic supervisors Petri net(PN) 
Boundedness and liveness enforcement for labeled Petri nets using transition priority
《Journal of Electronic Science and Technology》2023年第4期75-90,共16页Ye-Jia Liu Xun-Bo Li 
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 condit...
关键词：BOUNDEDNESS Control strategy LIVENESS Petri nets PRIORITY Transition invariant 
Iris Liveness Detection Using Fragmental Energy of Haar Transformed Iris Images Using Ensemble of Machine Learning Classifiers
《Computer Modeling in Engineering & Sciences》2023年第7期323-345,共23页Smita Khade Shilpa Gite Sudeep D.Thepade Biswajeet Pradhan Abdullah Alamri 
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 ...
关键词：Iris images liveness identification Haar transform machine learning BIOMETRIC feature formation ensemble model 
Tetris:A Heuristic Static Memory Management Framework for Uniform Memory Multicore Neural Network Accelerators
《Journal of Computer Science & Technology》2022年第6期1255-1270,共16页Xiao-Bing Chen Hao Qi Shao-Hui Peng Yi-Min Zhuang Tian Zhi Yun-Ji Chen Distinguished Member,CCF 
the Beijing Natural Science Foundation under Grant No.JQ18013;the National Natural Science Foundation of China under Grant Nos.61925208,61732007,61732002 and 61906179;the Strategic Priority Research Program of Chinese Academy of Sciences(CAS)under Grant No.XDB32050200;the Youth Innovation Promotion Association CAS,Beijing Academy of Artificial Intelligence(BAAI)and Xplore Prize.
Uniform memory multicore neural network accelerators(UNNAs)furnish huge computing power to emerging neural network applications.Meanwhile,with neural network architectures going deeper and wider,the limited memory cap...
关键词：multicore neural network accelerators liveness analysis static memory management memory reuse genetic algorithm 
Ripple+:An Improved Scheme of Ripple Consensus Protocol in Deployability,Liveness and Timing Assumption被引量：1
《Computer Modeling in Engineering & Sciences》2022年第1期463-481,共19页Chuanwang Ma Yu Zhang Binxing Fang Hongli Zhang Yidong Jin Dasheng Zhou 
the National Key Research and Development Program(Grant No.2018YFB1800702);Peng Cheng Laboratory(Grant No.PCL2021A02).
Ripple acts as a real-time settlement and payment system to connect banks and payment providers.As the consensus support of the Ripple network to ensure network consistency,Ripple consensus protocol has been widely co...
关键词：RIPPLE CONSENSUS decentralized trust byzantine fault tolerant protocol 
Face Liveness Detection Based on the Improved CNN with Context and Texture Information被引量：5
《Chinese Journal of Electronics》2019年第6期1092-1098,共7页GAO Chenqiang LI Xindou ZHOU Fengshun MU Song 
supported by the National Natural Science Foundation of China(No.61571071);Chongqing Research Program of Basic Research and Frontier Technology(No.cstc2018jcyj AX0227)
Face liveness detection,as a key module of real face recognition systems,is to distinguish a fake face from a real one.In this paper,we propose an improved Convolutional neural network(CNN)architecture with two bypass...
关键词：FACE LIVENESS detection DEEP learning CONTEXT INFORMATION TEXTURE INFORMATION 
A divide & conquer approach to liveness model checking under fairness & anti-fairness assumptions
《Frontiers of Computer Science》2019年第1期51-72,共22页Kazuhiro OGATA 
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...
关键词：anti-fairness FAIRNESS LIVENESS property MAUDE model checking 
Detecting Iris Liveness with Batch Normalized Convolutional Neural Network被引量：2
《Computers, Materials & Continua》2019年第2期493-504,共12页Min Long Yan Zeng 
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 ir...
关键词：Iris liveness detection batch normalization convolutional neural network biometric feature recognition 
Macro liveness graph and liveness of ω-independent unbounded nets被引量：3
《Science China(Information Sciences)》2015年第3期129-138,共10页WANG ShouGuang GAN MengDi ZHOU MengChu 
supported by the National Science Foundation of USA(Grant No.CMMI-1162482);National Natural Science Foundation of China(Grant Nos.61374148,61472361 and 61100056);Zhejiang Natural Science Foundation for Distinguished Yong Scholars(Grant No.LR14F020001);Zhejiang Science and Technology Project(Grant No.2013C31111);Zhejiang NNST Key Laboratory(Grant No.2013E10012)
Liveness is a basic property of a system and the liveness issue of unbounded Petri nets remains one of the most difficult problems in this field. This work proposes a novel method to decide the liveness of a class of ...
关键词：discrete event system （DES） Petri nets complex systems LIVENESS property analysis 
Liveness evaluation of multi-living agent system被引量：1
《Journal of Systems Engineering and Electronics》2013年第3期435-444,共10页Shengheng Liu Tao Shan Ran Tao Yue Wang 
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 tigh...
关键词：multi-living agent system （MLAS） living degree ana- lytic hierarchy process （AHP）. 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部