搜索结果: 1-15 共查到“工学 Constraint”相关记录46条 . 查询时间(0.046 秒)
Academy of Mathematics and Systems Science, CAS Colloquia & Seminars：Remarks on the vanishing viscosity process of state-constraint Hamilton-Jacobi equations
状态约束 哈密尔顿-雅可比方程 黏度消失
2023/4/21
We investigate the convergence rate in the vanishing viscosity process of the solutions to the subquadratic state-constraint Hamilton-Jacobi equations. We give two different proofs of the fact that, f...
BUILDING FACADE MODELING UNDER LINE FEATURE CONSTRAINT BASED ON CLOSE-RANGE IMAGES
Close-range Image Line Feature Building Modeling
2018/5/15
To solve existing problems in modeling facade of building merely with point feature based on close-range images , a new method for modeling building facade under line feature constraint is proposed in...
Constraint-based program analyses are appealing because elaborate analyses can be described with a concise and simple set of constraint generation rules. Constraint resolution algorithms have been dev...
A Toolkit for Constructing Type- and Constraint-Based Program Analyses
Constructing Type Constraint-Based Program Analyses
2016/5/24
BANE (the Berkeley Analysis Engine) is a publicly available toolkit for constructing type- and constraint-based program analyses.1 We describe the goals of the pro ject, the rationale for BANE's overa...
Partial Online Cycle Elimination in Inclusion Constraint Graphs
Partial Online Cycle Elimination Inclusion Constraint Graphs
2016/5/24
Many program analyses are naturally formulated and implemented using inclusion constraints. We present new results on the scalable implementation of such analyses based on two insights: rst, that onl...
Projection Merging: Reducing Redundancies in Inclusion Constraint Graphs
Projection Merging Reducing Redundancies Inclusion Constraint Graphs
2016/5/24
Inclusion-based program analyses are implemented by adding new edges to directed graphs. In most analyses, there are many di erent ways to add a transitive edge between two nodes, namely through each ...
The Set Constraint/CFL Reachability Connection in Practice
Set constraints context-free language reachability flow analysis type qualifiers
2016/5/24
Many program analyses can be reduced to graph reachability problems involving a limited form of context-free language reachability called Dyck-CFL reachability. We show a new reduction from Dyck-CFL r...
Banshee: A Scalable Constraint-Based Analysis Toolkit
Banshee Scalable Constraint-Based Analysis Toolkit
2016/5/24
We introduce Banshee, a toolkit for constructing constraintbased analyses. Banshee’s novel features include a code generator for creating customized constraint resolution engines, incremental analysis...
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...
Introduction to Set Constraint-Based Program Analysis
Set Constraint-Based Program Analysis
2016/5/24
Introduction to Set Constraint-Based Program Analysis.
Updating Algorithms for Constraint Delaunay TIN
Updating Algorithm Constraint Delaunay TIN Integral Ear Elimination Influence Domain Re-Triangulation Polymorphism
2015/10/12
Present algorithms for D-TIN are far insufficient for the dynamic updating of CD-TIN in different applications. This paper,
based on improvement to present insertion and deletion algorithms for D-TI...
EXTRACTION OF FAC ADES USING RJMCMC AND CONSTRAINT EQUATIONS
Markov Chain constraint equations facade modelling building extraction least squares adjustment
2015/8/31
Today’s processes to extract man-made objects from measurement data are quite traditional. Often, they are still point based, with the exception of a few systems which allow to automatically fit simpl...
EXTRACTION OF FAC¸ ADES USING RJMCMC AND CONSTRAINT EQUATIONS
Markov Chain constraint equations fac赂ade modelling building extraction least squares adjustment
2015/8/28
Today’s processes to extract man-made objects from measurement data are quite traditional. Often, they are still point based, with the exception of a few systems which allow to automatically fit simpl...
Segmentation of point clouds using smoothness constraint
Laser scanning Point cloud segmentation Reverse Engineering Industrial Reconstruction
2015/8/24
For automatic processing of point clouds their segmentation is one of the most important processes. The methods based on curvature and other higher level derivatives often lead to over segmentation, w...
Constraint-based Generalization of Soil Map
Constraint-based Generalization Specific constraints
2015/7/6
Soil map that shows the geographical distribution regularity of different soil types and the soil resources diversity is an important
type of categorical maps. And soil map is applied in various prof...