搜索结果: 1-6 共查到“工学 invariants”相关记录6条 . 查询时间(0.046 秒)
Symbolic Heap Abstraction with Demand-Driven Axiomatization of Memory Invariants
Heap Analysis Relational Static Analysis Array Analysis Memory Invariants
2016/5/24
Many relational static analysis techniques for precise reasoning about heap contents perform an explicit case analysis of all possible heaps that can arise. We argue that such precise relational reaso...
We describe a Guess-and-Check algorithm for computing algebraic equation invariants of the form ∧ifi(x1, . . . , xn) = 0, where each fi is a polynomial over the variables x1, . . . , xn of the program...
MODELLING CANOPY REFLECTANCE WITH SPECTRAL INVARIANTS
Spectral invariant 3D canopy structure Monte Carlo ray tracing
2015/9/8
The concept of using spectral invariants to describe the scattering and absorption processes in a vegetation canopy has been
developed for application to remote sensing studies in recent years. It ha...
Heading judgments in minimal environments:The value of a heuristic when invariants are rare
Heading judgments minimal environments heuristic invariants
2015/8/13
Observers made systematic heading judgments in two experiments simulating their translation through an environment with only two trees. When those trees converged or decelerated apart, ob-servers tend...
Perceiving motion while moving,or how pairwise invariants make optical flow cohere
Perceiving motion while moving pairwise invariants optical flow cohere
2015/8/13
Computer-generated sequences simulated observer movement toward 10 randomly placed poles, 1moving and 9 stationary. When observers judged their direction of movement, or heading, they used 3 related i...
LAND COVER CATEGORY DEFINITION BY IMAGE INVARIANTS FOR AUTOMATED CLASSIFICATION
Automation Classification Remote Sensing Land use/Land cover Global change
2015/2/4
The definition of conventional land cover categories (legend) is usually formulated by statements which describe a land
cover category by criteria derived from an interdisciplinary approach. Such a s...