中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共9条，第1-9条 帮助

已选(0)清除 条数/页：   排序方式：
Observability Criteria for Boolean Networks 期刊论文
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2022, 卷号: 67, 期号: 11, 页码: 6248-6254
作者:  Yu, Yongyuan;  Meng, Min;  Feng, Jun-E;  Chen, Ge
收藏  |  浏览/下载：118/0  |  提交时间：2023/02/07
Observability  Symmetric matrices  Probabilistic logic  Germanium  Boolean functions  Aerospace electronics  Upper bound  Boolean control network (BCN)  nonaugmented method  observability  probabilistic Boolean network (PBN)  
Analytical Surface Potential-Based Compact Model for Independent Dual Gate a-IGZO TFT 期刊论文
IEEE TRANSACTIONS ON ELECTRON DEVICES, 2021, 卷号: 68, 期号: 4, 页码: 2049-2055
作者:  Guo, Jingrui;  Zhao, Ying;  Yang, Guanhua;  Chuai, Xichen;  Lu, Wenhao;  Liu, Dongyang;  Chen, Qian;  Duan, Xinlv;  Huang, Shijie;  Su, Yue;  Geng, Di;  Lu, Nianduan;  Cui, Tao;  Jang, Jin;  Li, Ling;  Liu, Ming
收藏  |  浏览/下载：231/0  |  提交时间：2021/06/01
Electric potential  Solid modeling  Logic gates  Integrated circuit modeling  Numerical models  Thin film transistors  Analytical models  Analytical models  independent dual gate (IDG) amorphous In-Ga-Zn-O thin-film transistors (IDG a-IGZO TFTs)  Schroder method  surface potential  threshold compensation effect  
Self-Triggered Scheduling for Boolean Control Networks 期刊论文
IEEE TRANSACTIONS ON CYBERNETICS, 2021, 页码: 11
作者:  Meng, Min;  Xiao, Gaoxi;  Cheng, Daizhan
收藏  |  浏览/下载：169/0  |  提交时间：2022/04/02
Probabilistic logic  Lyapunov methods  Switches  Stability criteria  Scheduling  Manganese  Genetics  Boolean control networks (BCNs)  Lyapunov function  self-triggered scheduling  semitensor product  
Weak QMV algebras and some ring-like structures 期刊论文
SOFT COMPUTING, 2017, 卷号: 21, 期号: 10, 页码: 2537-2547
作者:  Lu, Xian;  Shang, Yun;  Lu, Ru-qian;  Zhang, Jian;  Ma, Feifei
收藏  |  浏览/下载：143/0  |  提交时间：2018/07/30
Quantum logic  QMV algebras  Weak QMV algebras  Semirings  Bimonoid  
Computing power of Turing machines in the framework of unsharp quantum logic 期刊论文
THEORETICAL COMPUTER SCIENCE, 2015, 卷号: 598, 页码: 2-14
作者:  Shang, Yun;  Lu, Xian;  Lu, Raqian
收藏  |  浏览/下载：143/0  |  提交时间：2018/07/30
Turing machines  Unsharp quantum logic  Computational power  
Input-state incidence matrix of Boolean control networks and its applications 期刊论文
SYSTEMS & CONTROL LETTERS, 2010, 卷号: 59, 期号: 12, 页码: 767-774
作者:  Zhao, Yin;  Qi, Hongsheng;  Cheng, Daizhan
收藏  |  浏览/下载：135/0  |  提交时间：2018/07/30
Boolean control network  Input-state incidence matrix  Reachability  Observability  Mix-valued logic  
A survey on semi-tensor product of matrices 期刊论文
JOURNAL OF SYSTEMS SCIENCE & COMPLEXITY, 2007, 卷号: 20, 期号: 2, 页码: 304-322
作者:  Cheng, Daizhan;  Qi, Hongsheng;  Xue, Ancheng
收藏  |  浏览/下载：90/0  |  提交时间：2018/07/30
abstract algebra  differential geometry  dynamic systems  logic  semi-tensor product  
Handling non-canonical software requirements based on Annotated Predicate Calculus 期刊论文
KNOWLEDGE AND INFORMATION SYSTEMS, 2007, 卷号: 11, 期号: 1, 页码: 85-104
作者:  Mu, Kedian;  Jin, Zhi;  Lu, Ruqian;  Peng, Yan
收藏  |  浏览/下载：121/0  |  提交时间：2018/07/30
software requirements  inconsistency  redundancy  incompleteness  vagueness  paraconsistent logic  
Entropy of partitions on quantum logic 期刊论文
COMMUNICATIONS IN THEORETICAL PHYSICS, 2005, 卷号: 43, 期号: 3, 页码: 437-439
作者:  Yuan, HJ
收藏  |  浏览/下载：101/0  |  提交时间：2018/07/30
quantum logic  entropy of partitions  state