搜索结果: 1-15 共查到“工学 static”相关记录92条 . 查询时间(0.099 秒)
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：On vacuum static spaces
真空 静态空间 闭真空
2023/11/29
In this talk, we will discuss vacuum static spaces. We firstly introduce the motivation, recent development and some difficult problems that have yet to be solved on vacuum static spaces. Then we pres...
ASSESSMENT OF A STATIC MULTIBEAM SONAR SCANNER FOR 3D SURVEYING IN CONFINED SUBAQUATIC ENVIRONMENTS
3D modelling accuracy assessment Mechanical Sonar Scanner Terrestrial Laser Scanner
2016/11/11
Mechanical Scanning Sonar (MSS) is a promising technology for surveying underwater environments. Such devices are comprised of a multibeam echosounder attached to a pan & tilt positioner, that allows ...
COMPARISON OF USER PERFORMANCE WITH INTERACTIVE AND STATIC 3D VISUALIZATION – PILOT STUDY
3D visualization exploratory study interactive visualization
2016/7/8
Interactive 3D visualizations of spatial data are currently available and popular through various applications such as Google Earth, ArcScene, etc. Several scientific studies have focused on user perf...
GPS AND GLONASS COMBINED STATIC PRECISE POINT POSITIONING (PPP)
GPS GLONASS Precise Point Positioning (PPP)
2016/7/4
With the rapid development of multi-constellation Global Navigation Satellite Systems (GNSSs), satellite navigation is undergoing drastic changes. Presently, more than 70 satellites are already availa...
Static Type Inference in a Dynamically Typed Language
Static Type Inference Dynamically Typed Language
2016/5/25
We present a type inference system for FL based on an operational, rather than a denotational, formulation of types. The essential elements of the system are a type language based on regular trees and...
Better Static Memory Management: Improvements to Region-Based Analysis of Higher-Order Languages.
Memory Management Region-Based Analysis Higher-Order Languages.
2016/5/24
Static memory management replaces runtime garbage collection with compile-time annotations that make all memory allocation and deallocation explicit in a program. We improve upon the Tofte/Talpin regi...
Effective Static Race Detection for Java
static race detection Java synchronization concurrency multi-threading
2016/5/24
We present a novel technique for static race detection in Java programs,comprised of a series of stages that employ a combination of static analyses to successively reduce the pairs of memory accesses...
Static Detection of Security Vulnerabilities in Scripting Languages
Static Detection Security Vulnerabilities Scripting Languages
2016/5/24
We present a static analysis algorithm for detecting security vulnerabilities in PHP, a popular server-side scripting language for building web applications. Our analysis employs a novel three-tier ar...
Conditional Must Not Aliasing for Static Race Detection
static race detection Java synchronization concurrency multi-threading
2016/5/24
Race detection algorithms for multi-threaded programs using the common lock-based synchronization idiom must correlate locks with the memory locations they guard. The heart of a proof of race freedom ...
We present an interactive texture painting system that allows the user to author digital images by painting with
a palette of input textures. At the core of our system is an interactive texture synth...
Static Error Detection Using Semantic Inconsistency Inference
Static analysis error detection satisfiability inconsistency
2016/5/24
Inconsistency checking is a method for detecting software errors that relies only on examining multiple uses of a value. We propose that inconsistency inference is best understood as a variant of the ...
Small Formulas for Large Programs: On-line Constraint Simplification in Scalable Static Analysis
Small Formulas Large Programs On-line Constraint Simplification Scalable Static Analysis
2016/5/24
Static analysis techniques that represent program states as formulas typically generate a large number of redundant formulas that are incrementally constructed from previous formulas. In addition to q...
Apposcopy: Semantics-Based Detection of Android Malware Through Static Analysis
Android Inter-component Call Graph Taint Analysis
2016/5/24
We present Apposcopy, a new semantics-based approach for identifying a prevalent class of Android malware that steals private user information. Apposcopy incorporates (i) a highlevel language for spec...
Static Analysis Techniques for Predicting the Behavior of Active Database Rules
Static Analysis Techniques Predicting Behavior Active Database Rules
2016/5/24
Methods are given for statically analyzing sets of database production rules to determine if the rules are (1) guaranteed to terminate, (2) guaranteed to produce a unique nal database state, and (3) ...
Static program analysis techniques cannot know certain values,such as the value of user input or network state, at analysis time. While such unknown values need to be treated as non-deterministic choi...