搜索页_+parallel+model+of+top

常用资源

电子图书

期刊论文

学位会议

外文资源

特色专题

内部出版物

GSW全文库(59)	馆藏书目(3)	CNKI学位论文(21518)	知网期刊论文(11397)
中国地质文献-英文(39)	CNKI会议论文(4)	CNKI期刊论文0611(27)

在“SpringerLink电子期刊”中，命中：698条，耗时：小于0.01 秒

在所有数据库中总计命中：33,047条

1. Model checking of state-rich formalism by linking to \(CSP\,\Vert \,B\)

作者： Kangfeng Ye…

关键词：\(CSP \parallel B\) ; CSPZB ; ProB ; Model checking ; Buffer

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

2. Handling loops in bounded model checking of C programs via k-induction

作者： Mikhail Y. R. Gadelha ; Hussama I. Ismail…

关键词：Software engineering ; Formal methods ; Verification ; Model checkingk ; induction

刊名：International Journal on Software Tools for Technology Transfer

出版年：2017

3. An optimized video synopsis algorithm and its distributed processing model

作者： Longxin Lin ; Weiwei Lin ; Weijun Xiao ; Sibin Huang

关键词：Video synopsis ; Fuzzy set theory ; Fuzzy C means ; Genetic algorithm ; Distributed processing ; Sparse reconstruction ; Multi ; thread ; Video surveillance

刊名：Soft Computing

出版年：2017

4. Cation exchange in a temporally fluctuating thin freshwater lens on top of saline groundwater

作者： S. Eeman ; P. G. B. De Louw ; S. E. A. T. M. Van der Zee

关键词：Oscillating flow ; Drained fields ; Hydrochemical modeling ; Salt ; water/fresh ; water relations

刊名：Hydrogeology Journal

出版年：2017

5. Flux-Rope Twist in Eruptive Flares and CMEs: Due to Zipper and Main-Phase Reconnection

作者： E. R. Priest ; D. W. Longcope

关键词：Sun ; flares ; Sun ; magnetic topology ; Magnetic reconnection ; Helicity

刊名：Solar Physics

出版年：2017

6. Learning and intelligence can happen everywhere, a case study: learning via Non-uniform 1D rulers with applications in image classification and recognition

作者： Yizhen Huang ; Yepeng Guan

关键词：Parameter learning ; Image classification ; Recognition

刊名：Multimedia Tools and Applications

出版年：2017

7. Assessing resilient versus stop-and-restart fault-tolerant solutions in MPI applications

作者： Nuria Losada ; María J. Martín ; Patricia González

关键词：Resilience ; Checkpointing ; Fault tolerance ; MPI

刊名：The Journal of Supercomputing

出版年：2017

作者： Philip A. Allen ; Mei-Ching Lien ; Elliott Jardin

刊名：Psychological Research

出版年：2017

9. Event Evolution Model Based on Random Walk Model with Hot Topic Extraction

关键词：Event evolution ; Hot topic ; Random walk model ; MapReduce ; Spark

刊名：Lecture Notes in Computer Science

出版年：2016

10. Optimum design of a novel redundantly actuated parallel manipulator with multiple actuation modes for high kinematic and dynamic performance

作者： Dong Liang ; Yimin Song ; Tao Sun ; Gang Dong

关键词：Parallel manipulator ; Redundant actuation ; Topology ; Kinematic analysis ; Dynamic model ; Dynamic dimensional synthesis

刊名：Nonlinear Dynamics

出版年：2016

按检索点细分(698)

题名(3)

关键词(6)

文摘(528)

按出版年细分(698)

2017年(8)

2016年(51)

2015年(49)

2014年(65)

2013年(73)

2012年(69)

2011年(18)

2010年(22)

2009年(36)

2008年(45)

2007年(70)

2006年(44)

2005年(57)

2004年(19)

2003年(16)

2002年(15)

2001年(10)

2000年(14)

2000年及以前(17)

地址：北京市海淀区学院路29号邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700