Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 3

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: normalization procedure

Sortuj według:

Ogranicz wyniki do:

Proof-graphs: a Thorough Cycle Treatment, Normalization and Subformula Property

Alve G.V., Oliveira A.G.,de, Queiroz R., de

Fundamenta Informaticae

2011

Vol. 106, nr 2-4

119-147

A normalization procedure is presented for a classical natural deduction (ND) proof system. This proof system, called N-Graphs, has a multiple conclusion proof structure, where cycles are allowed. With this, we have developed a thorough treatment of cycles, including cycles normalization via an algorithm. We also demonstrate the usefulness of the graphical framework of N-Graphs, where derivations are seen as digraphs. We use geometric perspective techniques to establish the normalization mechanism, thus giving a direct normalization proof. Moreover, the subformula and separation properties are determined.

Feature Based Affine Invariant Watermarking Robust to Geometric Distortions

Hung K,L., He Sh-W.

Fundamenta Informaticae

2009

Vol. 92, nr 1-2

131-143

This work, proposes a robust digital watermarking scheme based on feature points as a defense against illegal user attacks, such as, rotating, scaling and translation. First of all, a Gaussian filter is first adopted to discover the invariant feature points. The local maximum and the local minimum values are then calculated from those feature points. The Affine Invariant Region (AIR) is then divided by combination the values: local maximum, local minimum values and the center of mass. The AIR region is then transformed using affine transform to a block image, called the normalized image, in which the size of the block image is predefined. The watermarks are then embedded into the normalized image. Experimental results indicate that the proposed method can still extract the correct watermark, even after a geometric attack. The proposed method has a lower false positive rate and higher accuracy than Lu's [12] that making it a robust blind watermarking scheme.

Assessment of soil heavy metals pollution in different mining zones of a nonferrous metal mine

Liao G.L.

Archives of Environmental Protection

2008

Vol. 34, no. 4

93-100

The soil pollution features of heavy metals in a nonfprrous metal mine were investigated. The contaminated soil area was divided into the tailing mineral, mineral drainage, settling dust with wind and mineral transportation zones. The concentrations of heavy metals in soil were detected by 1CP-AES. A normalization procedure was established to construct the geochemical baseline model of soil environment. The pollution characteristics of heavy metals in soil were assessed by the baseline model. The seriously polluting metals are Zn (2805.2 mgkg1) and Pb (1709.2 mgkg'). Cd, Cu, and As only had pollution low-level in soil. Heavy metals pollution were mainly distributed in the mineral transportation zone, in which the average concentration of Zn, Pb, Cd, As, and Cu are 7958.5, 5808.3, 5.0, 66.7 and 344.4 mgkg1. The enrichment factors of Zn, Pb, Cd, Cu, and As were 986.8, 1303.8, 0.79, 0.89, and 4.31, respectively