中国科学院机构知识库网格系统: 检索

浏览/检索结果: 共6条，第1-6条

帮助

条数/页：排序方式：
	A new modeling scheme for powered parafoil unmanned aerial vehicle platforms: Theory and experiments 期刊论文 OAI收割 Chinese Journal of Aeronautics, 2019, 卷号: 32, 期号: 11, 页码: 2466-2479 作者: Li BB(李兵兵); He YQ(何玉庆); Han JD(韩建达) \| 收藏 \| 浏览/下载：74/0 \| 提交时间：2019/06/18 Active model Data correlation analysis Model complexity Powered parafoil State estimation Unmanned aerial vehicle (UAV)
	State succinctness of two-way finite automata with quantum and classical states 期刊论文 OAI收割 Theoretical Computer Science, 2013, 卷号: 499, 页码: 98-112 Zheng, Shenggen (1); Qiu, Daowen (1); Gruska, Jozef (3); Li, Lvzhou (1); Mateus, Paulo (2) \| 收藏 \| 浏览/下载：30/0 \| 提交时间：2014/12/16 Computing models Quantum finite automata State complexity Succinctness
	ltl model checking via search space partition 会议论文 OAI收割 6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28, Pu Fei; Zhang Wenhui \| 收藏 \| 浏览/下载：33/0 \| 提交时间：2011/07/28 LTL model checking complexity reduction compositional verification memory requirement nondeterministic choice search space partition state space explosion computational complexity formal verification search problems
	ltl model checking via search space partition 会议论文 OAI收割 6th International Conference on Quality Software, Beijing, PEOPLES R CHINA, OCT 27-28, Pu Fei; Zhang Wenhui \| 收藏 \| 浏览/下载：30/0 \| 提交时间：2011/07/28 LTL model checking complexity reduction compositional verification memory requirement nondeterministic choice search space partition state space explosion computational complexity formal verification search problems
	Testing predictability of symbolic sequences using time-delay embedding 期刊论文 OAI收割 PHYSICA A, 1997, 卷号: 247, 期号: 40912, 页码: 473-481 作者: Cao, LY; Cao, LY , Univ Western Australia, Dept Math, Perth, WA 6907, Australia. \| 收藏 \| 浏览/下载：16/0 \| 提交时间：2012/08/29 Space Reconstruction Series Chaos Noise Complexity State