Chapter

The Verification of Compatibility of Planimetric Points

January 2016

DOI:10.1007/978-3-319-28457-6_6

In book: Survey Control Points (pp.37-87)

Authors:

Technical University of Košice

Technical university of Košice

Slavomír Labant

Technical University of Košice

Show all 5 authorsHide

The verification of compatibility of points in planimetric geodetic controls that are part of national, regional network structures, or individual local, purpose-built networks represents a very important component of all processes of complementing and expansion of networks by new points that are necessary for different geodetic activities, requiring reliable geodetic bases, i.e., points.

ResearchGate has not been able to resolve any citations for this publication.

ResearchGate has not been able to resolve any references for this publication.

Article

ABSTRACT: Pore Pressure Controls on the Origin of Regional Fractures: Experimental Verification of a...

January 2001 · AAPG Bulletin

Rhett, Douglas, Phillips Petroleum

Conference Paper

Full-text available

Using SystemVerilog Assertions in Gate-Level Verification Environments

February 2006

Mark Litterick

Real-world requirements such as multiple clock domains and low-power modes of operation, including frequency and voltage scaling, often necessitate gate-level System-on-Chip (SoC) verification environments to complement the standard RTL based simulations. If the verification environment relies on assertion-based checkers to validate grey-box operation then gate-level simulations will also benefit ... [Show full abstract] from reuse of these assertions. This paper provides an overview of the problems related to gate-level timing and connectivity with a focus on how these affect the operation of the SVA code. A methodology is presented that enables reliable operation and reuse of the SVA in simulation environments that support RTL and gate-level implementations of the device- under-test. The paper also discusses SVA timing checks that can be added to the gate-level environment to improve checking and coverage.

Chapter

The Verification of Compatibility of Height Points

December 2016

The compatibility of height points HL, i.e., a geometric height identity of horizontal tangent plane of height survey mark (Fig. 4. 1) with height data h from a certain vertical datum S(h) defined relative to the geoid or quasigeoid by the relevant level surface of the field of gravity (tangential to the survey mark), is just as important for the correct and reliable performance of altimetric ... [Show full abstract] measurements and determination of heights of new points as requirements for positional compatibility of geodetic controls.

Article

Research on compressor performance simulation based on radial basis function neural network

March 2014 · WIT Transactions on Information and Communication Technologies

Aiming at the difficult that lack of adequate compressor characteristics data, the radial basis function neural network method is investigated. Firstly, the same rotational speed 13 networks are built, and the experiment data are expanded. Secondly, the 169 group data provided by manufacturers are used for neural network training and verification in all rotational speed regions, and the ... [Show full abstract] experiment data under different rotational speed are expanded. Lastly, the relative error of verification is analyzed. The consequence shows that the method based on Radial basis function network provide high degree credence.

Article

Full-text available

Comment on "Domain Reduction Method for Three-Dimensional Earthquake Modeling in Localized Regions,...

April 2005 · Bulletin of the Seismological Society of America

Ezio Faccioli

Conference Paper

An Active Search of Local Individualities for an Off-line Signature Verification.

January 2000

Article

A new efficient algorithm for finding all d -minimal cuts in multi-state networks

May 2017 · Reliability Engineering & System Safety

Reliability evaluation of multi-state systems gives a reasonable demonstration of system performance, and thus is of great importance to their planning, designing and operation. One of the common methods for reliability evaluation is using d-minimal cuts (d-MCs). This paper proposes a new method to solve the d-MC problem. Specifically, several efforts have been devoted to searching for all d-MCs ... [Show full abstract] from two aspects: (i) A new technique is developed to calculate lower capacity bounds of edges which are appropriately used to determine some real d-MCs without any verification, and further to reduce the number of d-MC candidates; (ii) A new approach is put forward to correctly and effectively detect duplicate d-MCs, and the approach brings important insights into the underlying reason why a d-MC derived from one MC can be generated from another MC once again. A simple example and a real case study of the LCD monitor delivery are provided to illustrate the solution procedure, and the utility of the proposed algorithm, respectively. In addition, numerical experiments conducted on four benchmark networks show that the proposed algorithm outperforms a newly developed method in the literature.

Article

9TH CONFERENCE ON LOCAL COMPUTER NETWORKS.

January 1984

The following topics are dealt with: selection of local networks; performance; local networks in corporations; and protocols. 9 papers were presented, of which 8 are published in full in the present proceedings. Abstracts of individual papers can be found under the relevant classification codes in this or other issues.

Article

CFM SOLVES A WORST CASE.

January 1988

Dan Arnold

Manufacturing mixed-technology assemblies (surface mount and through-hole components) efficiently in the flexible environment of a contract manufacturer is a challenge. To produce high volumes of mixed-technology assemblies and stay flexible, a continuous flow manufacturing (CFM) method is used. CFM reduces waste and increases quality by continuously monitoring all elements of operation. Products ... [Show full abstract] are processed one unit at a time. This differs from common manufacturing procedures where products are handled in batches. Three requirements for achieving CFM are given: in-process controls, preventive maintenance and process verification. Each is necessary to efficiently produce a quality product.

Article

Reliable design of H2 optimal reduced-order controllers via a homotopy algorithm

February 1992 · Proceedings of SPIE - The International Society for Optical Engineering

Due to control processor limitations, the design of reduced-order controllers is an active area of research. Suboptimal methods based on truncating the order of the corresponding linear- quadratic-Gaussian (LQG) compensator tend to fail if the requested controller dimension is sufficiently small and/or the requested controller authority is sufficiently high. Also, traditional parameter ... [Show full abstract] optimization approaches have only local convergence properties. This paper discusses a homotopy algorithm for optimal reduced-order control that has global convergence properties. The exposition is for discrete-time systems. The algorithm has been implemented in MATLAB and is applied to a benchmark problem.

Article

Full-text available

An efficient searching method for minimal path vectors in multi-state networks

May 2022 · Annals of Operations Research

Searching for minimal path vectors (MPVs) is an important topic in solving network related problems, especially for the evaluation of network reliability. One of the popular approaches, namely the three-stage method (TSM), is influenced deeply on the efficiency of searching for minimal path vectors in multi-state networks (MSN). TSM consists of three stages, i.e., searching for all minimal path ... [Show full abstract] sets, searching for all MPVs, and calculating union probability on MPVs. After reviewing previous works in the literaure, this paper proposes a more efficient method based on cyclic check on the candidates of MPVs, which can do an efficient searching for MPVs in MSNs and even reduce the three-step approach to two-step approach. Benchmarking with the well-known algorithms are made in this paper, and more complicated networks are also examined for verification of the proposed method.

Article

Five years MDRO network Baden-Wuerttemberg - An evaluation -

January 2014 · Hygiene + Medizin

Five years ago the network "multidrug-resistant organisms (MDRO) in Baden-Wuerttemberg" started with a pilot phase initially supported by five local health offices. In each of the correspond-ing administrative districts one regional network had to be established. All these networks were coordinated by the State Health Office of Baden-Wuerttemberg. The one-year pilot phase was evaluated by an ... [Show full abstract] external expert. She came to the conclusion that the central coordination should be continued and further regional networks should be gradually estab-lished across the whole state. In 2012, as a result of the achievements by the MDRO-network Baden-Wuerttemberg, various health insurance agencies in Baden-Wuerttemberg started sponsoring a coordination centre at the State Health Office for a three year period. Meanwhile 36 of the 38 health offices in the state of Baden-Wuerttemberg have implemented a regional network in their districts.

Last Updated: 07 Dec 2024