The Experts below are selected from a list of 99 Experts worldwide ranked by ideXlab platform
Xu Gusheng - One of the best experts on this subject based on the ideXlab platform.
-
IGARSS - A new least squares method based line generalization in GIS
IEEE International IEEE International IEEE International Geoscience and Remote Sensing Symposium 2004. IGARSS '04. Proceedings. 2004, 2004Co-Authors: Tong Xiaohua, Xu GushengAbstract:The generalization of line features is an important process in both traditional cartography and in many applications of geographic information systems. In this paper, the parcel boundary line generalization is further studied. The uncertainties in Douglas-Peucker based line generalization algorithm is first analyzed, a line-fitting based line generalization algorithm is then proposed. In the new line generalization method, kinds of Conditional Equations in map generalization are therefore derived, including the length Conditional Equation, area Conditional Equation, and end-vertexes identical Equation. Based on the theoretical discussion, a parcel boundary line generalization system is developed. The case studies are carried out to test the methods. The results show that the proposed uncertainty-processing model is feasible to ensure the data quality in map generalization
-
A new least squares method based line generalization in GIS
IGARSS 2004. 2004 IEEE International Geoscience and Remote Sensing Symposium, 2004Co-Authors: Tong Xiaohua, Xu GushengAbstract:The generalization of line features is an important process in both traditional cartography and in many applications of geographic information systems. In this paper, the parcel boundary line generalization is further studied. The uncertainties in Douglas-Peucker based line generalization algorithm is first analyzed, a line-fitting based line generalization algorithm is then proposed. In the new line generalization method, kinds of Conditional Equations in map generalization are therefore derived, including the length Conditional Equation, area Conditional Equation, and end-vertexes identical Equation. Based on the theoretical discussion, a parcel boundary line generalization system is developed. The case studies are carried out to test the methods. The results show that the proposed uncertainty-processing model is feasible to ensure the data quality in map generalization
Tong Xiaohua - One of the best experts on this subject based on the ideXlab platform.
-
IGARSS - A new least squares method based line generalization in GIS
IEEE International IEEE International IEEE International Geoscience and Remote Sensing Symposium 2004. IGARSS '04. Proceedings. 2004, 2004Co-Authors: Tong Xiaohua, Xu GushengAbstract:The generalization of line features is an important process in both traditional cartography and in many applications of geographic information systems. In this paper, the parcel boundary line generalization is further studied. The uncertainties in Douglas-Peucker based line generalization algorithm is first analyzed, a line-fitting based line generalization algorithm is then proposed. In the new line generalization method, kinds of Conditional Equations in map generalization are therefore derived, including the length Conditional Equation, area Conditional Equation, and end-vertexes identical Equation. Based on the theoretical discussion, a parcel boundary line generalization system is developed. The case studies are carried out to test the methods. The results show that the proposed uncertainty-processing model is feasible to ensure the data quality in map generalization
-
A new least squares method based line generalization in GIS
IGARSS 2004. 2004 IEEE International Geoscience and Remote Sensing Symposium, 2004Co-Authors: Tong Xiaohua, Xu GushengAbstract:The generalization of line features is an important process in both traditional cartography and in many applications of geographic information systems. In this paper, the parcel boundary line generalization is further studied. The uncertainties in Douglas-Peucker based line generalization algorithm is first analyzed, a line-fitting based line generalization algorithm is then proposed. In the new line generalization method, kinds of Conditional Equations in map generalization are therefore derived, including the length Conditional Equation, area Conditional Equation, and end-vertexes identical Equation. Based on the theoretical discussion, a parcel boundary line generalization system is developed. The case studies are carried out to test the methods. The results show that the proposed uncertainty-processing model is feasible to ensure the data quality in map generalization
Felix Cornelius - One of the best experts on this subject based on the ideXlab platform.
-
COMPASS/ADT - InterACT: An Interactive Theorem and Completeness Prover for Algebraic Specifications with Conditional Equation
Recent Trends in Data Type Specification, 1996Co-Authors: Marcus Klar, Robert Geisler, Felix CorneliusAbstract:The InterACT tool is an interactive theorem prover for algebraic specifications emphasizing user-friendliness. InterACT is integrated in the existing ACT environment. The main purpose of InterACT is to teach formal methods in universitary courses about formal specification of software systems. It has already been used successfully in this area.
-
interact an interactive theorem and completeness prover for algebraic specifications with Conditional Equation
Workshop on Specification of Abstract Data Types Joint with COMPASS Workshop on Recent Trends in Data Type Specification, 1995Co-Authors: Marcus Klar, Robert Geisler, Felix CorneliusAbstract:The InterACT tool is an interactive theorem prover for algebraic specifications emphasizing user-friendliness. InterACT is integrated in the existing ACT environment. The main purpose of InterACT is to teach formal methods in universitary courses about formal specification of software systems. It has already been used successfully in this area.
Janusz Brzdek - One of the best experts on this subject based on the ideXlab platform.
-
on a Conditional golab schinzel Equation
Archiv der Mathematik, 2005Co-Authors: Janusz Brzdek, Anna MurenkoAbstract:Let \(\mathbb{R}_ + : = (0,\infty ).\) We show that for every function \(f:\mathbb{R}_ + \to \mathbb{R}\) satisfying the Conditional Equation $$ {\text{if }}x + f(x)y > 0,{\text{ then }}f(x + f(x)y) = f(x)f(y) $$ either there exists a solution \(g:\mathbb{R} \to \mathbb{R}\) of the Golab-Schinzel Equation $$ g(x + g(x)y) = g(x)g(y) $$ such that \(f = g|_{\mathbb{R}_ + } \) (i.e., f(x) = g(x) for \(x \in \mathbb{R}_ + \)) or there is x0 > 0 with f(x0) < −1 and f(x) = 0 for x ≠ x0 . In particular we determine the solutions \(f:\mathbb{R}_ + \to \mathbb{R}\) of the Conditional Equation that are continuous at a point, Lebesgue measurable or Baire measurable (i.e., have the Baire property). In this way we solve some problems raised by the first author.
-
On a Conditional Gołab-Schinzel Equation
Archiv der Mathematik, 2005Co-Authors: Janusz Brzdek, Anna MureńkoAbstract:Let $$\mathbb{R}_ + : = (0,\infty ).$$ We show that for every function $$f:\mathbb{R}_ + \to \mathbb{R}$$ satisfying the Conditional Equation $$ {\text{if }}x + f(x)y > 0,{\text{ then }}f(x + f(x)y) = f(x)f(y) $$ either there exists a solution $$g:\mathbb{R} \to \mathbb{R}$$ of the Gołab-Schinzel Equation $$ g(x + g(x)y) = g(x)g(y) $$ such that $$f = g|_{\mathbb{R}_ + } $$ (i.e., f ( x ) = g ( x ) for $$x \in \mathbb{R}_ + $$ ) or there is x _0 > 0 with f ( x _0)
Janusz Brzdȩk - One of the best experts on this subject based on the ideXlab platform.
-
On functional which are orthogonally additive modulo Z
Results in Mathematics, 1996Co-Authors: Janusz BrzdȩkAbstract:Let E be a real inner product space with dimension at least 2, D ⊂ E, f: E → R with f(x+y)−f(x)−f(y) ∈ Z for all orthogonal x,y ∈ E, and f(D) ⊂ (−γ,γ)+Z witn some real γ > 0. We prove that, under some additional assumptions, there are a unique linear functional A: E → R and a unique constant d ∈ R with f(x)−d∥x∥^2−A(x) ∈ Z for x ∈ E. We also show some applications of this result to the determination of solutions F: E → C of the Conditional Equation: F(x+y) = F(x)F(y) for all orthogonal x,y ∈ E.