• 不 限
  • 期刊论文
  • 硕博论文
  • 会议论文
  • 报 纸
  • 英文论文
  2. 您的位置
  3. 首页
  4. 期刊论文
  5. Verification analysis of self-verifying automata via semi-tensor product of matrices

Verification analysis of self-verifying automata via semi-tensor product of matrices

来源 :中国邮电高校学报（英文版） | 被引量 : 0次 | 上传用户：poilkjqwe123
【作 者】
：
YAN Yong-yi CHEN Zeng-qiang LIU Zhong-xin 
【机 构】
：
College of Computer and Control Engineering, Nankai University, Tianjin 300071, China;College of Com
【出 处】
：
中国邮电高校学报（英文版）
【发表日期】
：
2014年4期
【关键词】
：
SVA  recognition power  matrix approach  STP matrices 
下载到本地 , 更方便阅读
下载此文 赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
Online social network model with renewal and accelerated growth
期刊
online social network network evolution model degree distribution average sho
Data streams classification with ensemble model based on decision-feedback
期刊
ensemble classificationnovel classconcept driftingdecision-feedback
Application of underdetermined blind source separation in ultra-wideband communication signals
期刊
UBSSUWBsingle source area detectionhough-windowedamended subspace projection
Joint power allocation and relay selection for decode-and-forward cooperative relay in secure commun
期刊
physical layer securityCJCRpower allocationSDPGP
Differentially private feature selection under MapReduce framework
期刊
data miningfeature selectiondifferential privacyMapReduce
Intelligent test case generation based on branch and bound
期刊
test case generation constraint satisfaction problem branch and bound state s
Variational learning for finite Beta-Liouville mixture models
期刊
variational inference model selection factorized approximation Beta-Liouville
Distribution of static equilibrium points in static electric field produced by fixed electrons
期刊
fixed electrons static electric field static equilibrium points
Offline traffic analysis system based on Hadoop
期刊
MapReduceHadoopcloud computingtraffic analysis
Secure and privacy-preserving DRM scheme using homomorphic encryption in cloud computing
期刊
digital rights managementhomomorphic encryptionproxy re-encryptionprivacy pre