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

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

帮助

条数/页：排序方式：
	Verification of size-resolved population balance modeling for engineered nanoparticles under high concentration 期刊论文 OAI收割 CHEMICAL ENGINEERING JOURNAL, 2017, 卷号: 323, 期号: 2017, 页码: 592-604 作者: Lin, Jianzhong; Seipenbusch, Martin; Cao, Junji; Yu, Mingzhou \| 收藏 \| 浏览/下载：33/0 \| 提交时间：2018/10/16 Size-resolved Population Balance Modeling Fractal-like Aggregate High Concentration Verification
	带时间和资源约束的实例化过程模型验证方法期刊论文 OAI收割计算机系统应用, 2014, 期号: 10, 页码: 172-177 李伟亨; 谢淼; 翟健; 杨秋松 \| 收藏 \| 浏览/下载：21/0 \| 提交时间：2014/12/16 实例化过程模型软件过程建模验证模型检测形式化方法 process instantiation model software process modeling verification model checking formal method
	Eight-neighborhood based background modeling (EI CONFERENCE) 会议论文 OAI收割 2012 2nd International Conference on Materials Science and Information Technology, MSIT 2012, August 24, 2012 - August 26, 2012, Xi'an, Shaan, China Yan L.; Ming D.; Lei J. 收藏 \| 浏览/下载：11/0 \| 提交时间：2013/03/25 In order to solve the Gaussian kernel density-based background modeling we propose a background modeling method based on an 8-neighborhood pixels sample set. In this method we use the target pixel and its surrounding 8-neighborhood pixels to analyze whether it is included in the background or in the foreground sample space. Experimental results show that the method can judge the object as the background interference caused by the cyclical movement. By practical verification the algorithm of the background modeling can full meet the requirements of the target detection algorithm. (2012) Trans Tech Publications Switzerland.
	modeling and analysis of real-time cooperative systems using petri nets 期刊论文 OAI收割 IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, 2007, 卷号: 37, 期号: 5, 页码: 643-654 Du YuYue; Jiang ChangJun; Zhou MengChu \| 收藏 \| 浏览/下载：15/0 \| 提交时间：2011/07/01 interorganizational workflow modeling realtime cooperative system temporal logic time Petri net (TPN) verification workflow analysis