دانلود مقالات ISI درباره تایید + ترجمه فارسی

Benchmark problems in nuclear data processing and utilization system for innovative reactors

Keywords: تایید; 25.85; 28.20; 28.41Ak; 28.50; 29.85Nuclear data; Benchmark; Verification; Criticality; Shielding; Accelerator-driven system

دانلود رایگان متن کامل مقاله ISI 4 صفحه سال انتشار : 2006 سفارش ترجمه

Orientation feature for fingerprint matching

Keywords: تایید; Orientation; Identification; Verification; False acceptance rate; False rejection rate; Genuine acceptance rate

دانلود رایگان متن کامل مقاله ISI 4 صفحه سال انتشار : 2006 سفارش ترجمه

Dakota Gasification Company CO2 sequestration verification project—a case study of greenhouse gas reduction verification and marketing

Keywords: تایید; Greenhouse gas; Sequestration; Verification; Reduction credit

دانلود رایگان متن کامل مقاله ISI 5 صفحه سال انتشار : 2006 سفارش ترجمه

IEC 61511 and the capital project process—A protective management system approach

Keywords: تایید; IEC 61511; Safety instrumented systems (SIS); Management system; Functional safety; Competence; Verification; Functional assessment; Configuration management; Auditing

دانلود رایگان متن کامل مقاله ISI 5 صفحه سال انتشار : 2006 سفارش ترجمه

Emlan: A Language for model checking of embedded systems software

Keywords: تایید; Verification; Modelling; Embedded systems; Software specification;

دانلود رایگان متن کامل مقاله ISI 6 صفحه سال انتشار : 2006 سفارش ترجمه

VERIFICATION-INTEGRATED FALSIFICATION OF NON-DETERMINISTIC HYBRID SYSTEMS

Keywords: تایید; hybrid systems; verification; falsification; simulation; testing

دانلود رایگان متن کامل مقاله ISI 6 صفحه سال انتشار : 2006 سفارش ترجمه

A FRAMEWORK FOR GRASP SIMULATION AND CONTROL IN DOMESTIC ENVIRONMENTS

Keywords: تایید; Robotic Manipulators; Control; Simulation; Models; Sensors; Design; Verification; Uncertainty

دانلود رایگان متن کامل مقاله ISI 6 صفحه سال انتشار : 2006 سفارش ترجمه

APPLICATION OF DATABASES FOR MANAGEMENT OF DISTRIBUTED CONTROL SYSTEMS

Keywords: تایید; database; distributed computer control systems; Petri nets; HDLs; verification

دانلود رایگان متن کامل مقاله ISI 6 صفحه سال انتشار : 2006 سفارش ترجمه

STUBBORN SET METHOD FOR INTERPRETED PETRI NETS

Keywords: تایید; Petri nets; formal models; simulation; verification

دانلود رایگان متن کامل مقاله ISI 6 صفحه سال انتشار : 2006 سفارش ترجمه

UML MANUFACTURING SYSTEM MODEL ANALYSIS USING PETRI NETS

Keywords: تایید; Discrete Event System; Modelling; UML; Petri Nets; Verification; Fault Identification

دانلود رایگان متن کامل مقاله ISI 6 صفحه سال انتشار : 2006 سفارش ترجمه

RTCP-NET APPROACH TO VERIFICATION OF EMBEDDED SYSTEMS IMPLEMENTED IN ADA

Keywords: تایید; Ada 2005; Ravenscar Profile; RTCP-nets; emedded systems; verification

دانلود رایگان متن کامل مقاله ISI 6 صفحه سال انتشار : 2006 سفارش ترجمه

Gamma histograms for radiotherapy plan evaluation

Keywords: تایید; Radiation therapy; Verification; Evaluation; Gamma index

دانلود رایگان متن کامل مقاله ISI 7 صفحه سال انتشار : 2006 سفارش ترجمه

Validation and error estimation of computational models

Keywords: تایید; Bayesian statistics; Error estimation; Sensitivity; Uncertainty; Validation; Verification

دانلود رایگان متن کامل مقاله ISI 8 صفحه سال انتشار : 2006 سفارش ترجمه

ACTL strong negation and its application to hybrid systems verification

Keywords: تایید; Verification; Hybrid systems; Model checking; Abstraction

دانلود رایگان متن کامل مقاله ISI 9 صفحه سال انتشار : 2006 سفارش ترجمه

Verification for transient heat conduction calculation of multilayer building constructions

Keywords: تایید; Verification; Transient heat conduction; Dynamic thermal behavior data; CTF coefficients; Thermal response factors; Periodic response factors; Frequency characteristics; Bode diagram; Error criterion; Building construction

دانلود رایگان متن کامل مقاله ISI 9 صفحه سال انتشار : 2006 سفارش ترجمه

Simulation and verification of belt grinding with industrial robots

Keywords: تایید; Simulation; Verification; Belt grinding; Industrial robots

دانلود رایگان متن کامل مقاله ISI 9 صفحه سال انتشار : 2006 سفارش ترجمه

A comparison of CT- and ultrasound-based imaging to localize the prostate for external beam radiotherapy

Keywords: تایید; Prostate cancer; Radiotherapy; Verification; Ultrasound;

دانلود رایگان متن کامل مقاله ISI 10 صفحه سال انتشار : 2006 سفارش ترجمه

An analysis of BioHashing and its variants

Keywords: تایید; BioHashing; FaceHashing; PalmHashing; Biometrics; Verification; Security; User identity; Password

دانلود رایگان متن کامل مقاله ISI 10 صفحه سال انتشار : 2006 سفارش ترجمه

Gait recognition using linear time normalization

Keywords: تایید; Gait; Angular analysis; Time normalization; Recognition; Verification

دانلود رایگان متن کامل مقاله ISI 11 صفحه سال انتشار : 2006 سفارش ترجمه

Test diversity

Keywords: تایید; Testing tools; Verification; Theory; Experimentation; Conditional diversity; Data diversity; Standard deviation; Diversity matrix; Linear independence; Orthogonality

دانلود رایگان متن کامل مقاله ISI 12 صفحه سال انتشار : 2006 سفارش ترجمه

Ten iterative steps in development and evaluation of environmental models

Keywords: تایید; Model testing; Verification; Uncertainty; Sensitivity; Integrated assessment; System identification

دانلود رایگان متن کامل مقاله ISI 13 صفحه سال انتشار : 2006 سفارش ترجمه

A formal verification framework and associated tools for Enterprise Modeling: Application to UEML

Keywords: تایید; Enterprise Modeling; Verification; Validation; Property; UEML

دانلود رایگان متن کامل مقاله ISI 14 صفحه سال انتشار : 2006 سفارش ترجمه

Self-centering probes with parallel kinematics to verify machine-tools

Keywords: تایید; Self-centering probe; Parallel kinematics; Ball artifacts; Verification; Machine-tools

دانلود رایگان متن کامل مقاله ISI 15 صفحه سال انتشار : 2006 سفارش ترجمه

Analysis of the laminar flamelet concept for nonpremixed laminar flames

Keywords: تایید; Laminar nonpremixed flames; Flamelet concept; Steady and unsteady flamelets; Radiation; Differential diffusion; Verification

دانلود رایگان متن کامل مقاله ISI 18 صفحه سال انتشار : 2006 سفارش ترجمه

Upper bounds of the error in local quantities using equilibrated and compatible finite element solutions for linear elastic problems

Keywords: تایید; Local quantities; Error estimation; Dual analysis; Adaptive refinement; Verification

دانلود رایگان متن کامل مقاله ISI 18 صفحه سال انتشار : 2006 سفارش ترجمه

Specification of exception flow in software architectures

Keywords: تایید; Exception handling; Software architecture; Architecture description languages; Verification; Alloy

دانلود رایگان متن کامل مقاله ISI 22 صفحه سال انتشار : 2006 سفارش ترجمه

The role of science in treaty verification

Keywords: تایید; Treaty; Transparency; Verification; IAEA; NPT; CTBT;

دانلود رایگان متن کامل مقاله ISI 5 صفحه سال انتشار : 2005 سفارش ترجمه

The international FORUM of fire research directors: A position paper on verification and validation of numerical fire models

Keywords: تایید; Fire modeling; Verification; Validation; Uncertainty;

دانلود رایگان متن کامل مقاله ISI 6 صفحه سال انتشار : 2005 سفارش ترجمه

Verification of mass transfer simulation with CFD using highly accurate solutions

Keywords: تایید; CFD; Modeling; Simulation; Mass transfer; Verification;

دانلود رایگان متن کامل مقاله ISI 6 صفحه سال انتشار : 2005 سفارش ترجمه

Modeling, specification and verification of ad-hoc sensor networks using SPIN

Keywords: تایید; Ad-hoc sensor networks; Finite model-checking; Linear temporal logic; Specification; Verification;

دانلود رایگان متن کامل مقاله ISI 7 صفحه سال انتشار : 2005 سفارش ترجمه

On-matrix derivatisation-extraction of precursors of nitrogen- and sulfur-mustards for verification of chemical weapons convention

Keywords: تایید; Nitrogen mustard; Sulfur mustard; Chemical weapons convention; Verification; Derivatisation; Extraction;

دانلود رایگان متن کامل مقاله ISI 7 صفحه سال انتشار : 2005 سفارش ترجمه

A feasibility study for image guided radiotherapy using low dose, high speed, cone beam X-ray volumetric imaging

Keywords: تایید; Cone beam CT; Image guided radiotherapy; Image registration; Verification;

دانلود رایگان متن کامل مقاله ISI 8 صفحه سال انتشار : 2005 سفارش ترجمه

Identity authentication using improved online signature verification method

Keywords: تایید; Online signature; Verification; Handwriting; Biometrics

دانلود رایگان متن کامل مقاله ISI 9 صفحه سال انتشار : 2005 سفارش ترجمه

Simulation of long-range transport of air pollutants over Northeast Asia using a comprehensive acid deposition model

Keywords: تایید; Long-range transport; Comprehensive transport/chemistry model; Observed concentrations; Verification; Sensitivity to inputs

دانلود رایگان متن کامل مقاله ISI 11 صفحه سال انتشار : 2005 سفارش ترجمه

An Environment for the Development of Concurrent Object-Based Applications

Keywords: تایید; Edition; verification; simulation; code generation;

دانلود رایگان متن کامل مقاله ISI 11 صفحه سال انتشار : 2005 سفارش ترجمه

Integrated Java Bytecode Verification

Keywords: تایید; abstract interpretation; verification; optimization;

دانلود رایگان متن کامل مقاله ISI 12 صفحه سال انتشار : 2005 سفارش ترجمه

Adapted user-dependent multimodal biometric authentication exploiting general information

Keywords: تایید; Biometrics; Multimodal; Authentication; Verification; User; Local; Global; Support vector machine; Fingerprint; Signature

دانلود رایگان متن کامل مقاله ISI 12 صفحه سال انتشار : 2005 سفارش ترجمه

Policy Analysis and Verification by Graph Transformation Tools

Keywords: تایید; verification; policy languages; conflicts;

دانلود رایگان متن کامل مقاله ISI 12 صفحه سال انتشار : 2005 سفارش ترجمه

Abstractions for Model-Based Testing

Keywords: تایید; Model-based testing; SUT; verification; specification;

دانلود رایگان متن کامل مقاله ISI 13 صفحه سال انتشار : 2005 سفارش ترجمه

A Dual Language Approach to the Development of Time-Critical Systems

Keywords: تایید; time-critical system; verification; testing; UML; OTL; OCL;

دانلود رایگان متن کامل مقاله ISI 13 صفحه سال انتشار : 2005 سفارش ترجمه

The optimization of quantitative reverse transcription PCR for verification of cDNA microarray data

Keywords: تایید; Microarray analysis; Optimization; Q-PCR; Real-time PCR; Verification;

دانلود رایگان متن کامل مقاله ISI 13 صفحه سال انتشار : 2005 سفارش ترجمه

Performance evaluation and verification of communication protocol for railway signaling systems

Keywords: تایید; Communication protocol for railway signaling; Simulation; LTS (Labeled Transition System); Verification; Modal mu-calculus; Model checking method;

دانلود رایگان متن کامل مقاله ISI 13 صفحه سال انتشار : 2005 سفارش ترجمه

A systems engineering perspective on the human-centered design of health information systems

Keywords: تایید; Systems engineering; Human factors engineering; Methodology; Health information systems; Microergonomics; Macroergonomics; Validation; Verification;

دانلود رایگان متن کامل مقاله ISI 14 صفحه سال انتشار : 2005 سفارش ترجمه

ACTAS : A System Design for Associative and Commutative Tree Automata Theory

Keywords: تایید; term rewriting; AC-tree automata; verification; cryptographic protocols;

دانلود رایگان متن کامل مقاله ISI 15 صفحه سال انتشار : 2005 سفارش ترجمه

Kleene Algebra and Bytecode Verification

Keywords: تایید; Java; bytecode; verification; static analysis; abstract interpretation; Kleene algebra;

دانلود رایگان متن کامل مقاله ISI 16 صفحه سال انتشار : 2005 سفارش ترجمه

On the importance and uses of feedback information in FEA

Keywords: تایید; Finite elements; Mathematical models; Hierarchic models; Adaptivity; Feedback information; Verification; Validation;

دانلود رایگان متن کامل مقاله ISI 16 صفحه سال انتشار : 2005 سفارش ترجمه

Analysing Password Protocol Security Against Off-line Dictionary Attacks

Keywords: تایید; Password protocols; dictionary attacks; verification; pi calculus;

دانلود رایگان متن کامل مقاله ISI 17 صفحه سال انتشار : 2005 سفارش ترجمه

Structural Encoding of Static Single Assignment Form

Keywords: تایید; mobile code; verification; optimization;

دانلود رایگان متن کامل مقاله ISI 18 صفحه سال انتشار : 2005 سفارش ترجمه

Compositional Properties of Sequential Processes

Keywords: تایید; chop operator; modal logic; compositionality; verification; bisimulation; characteristic formula; process algebra;

دانلود رایگان متن کامل مقاله ISI 18 صفحه سال انتشار : 2005 سفارش ترجمه

From individual-based models to partial differential equations

Keywords: تایید; Elver; Eulerian; Individual-based models; Lagrangian; Verification;

دانلود رایگان متن کامل مقاله ISI 19 صفحه سال انتشار : 2005 سفارش ترجمه