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

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

帮助

条数/页：排序方式：
	Bayesian Filtering for High-Dimensional State-Space Models With State Partition and Error Compensation 期刊论文 OAI收割 IEEE/CAA Journal of Automatica Sinica, 2024, 卷号: 11, 期号: 5, 页码: 1239-1249 作者: \| 收藏 \| 浏览/下载：19/0 \| 提交时间：2024/04/10 Bayesian estimation error compensation high-dimensional systems state estimation state partition
	Treatment of particle/gas partitioning using level III fugacity models in a six-compartment system 期刊论文 OAI收割 CHEMOSPHERE, 2021, 卷号: 271, 页码: 14 作者: Li, Yi-Fan; Qin, Meng; Yang, Pu-Fei; Liu, Li-Yan; Zhou, Lin-Jun \| 收藏 \| 浏览/下载：66/0 \| 提交时间：2021/06/07 Fugacity model Equilibrium Steady state Particle/gas partition SVOCs
	Equilibrium statistical characteristics of hyperbranched reaction system of AB(g) type 期刊论文 OAI收割 Chemical Journal of Chinese Universities-Chinese, 2006, 卷号: 27, 期号: 12, 页码: 2426-2429 J. M. Song; H. J. Wang 收藏 \| 浏览/下载：22/0 \| 提交时间：2012/04/14 hyperbranched polymer partition function free energy equation of state polymer-solutions thermodynamics equation state
	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 \| 收藏 \| 浏览/下载：27/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 \| 收藏 \| 浏览/下载：22/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