نتایج جستجو برای: to verifying apparatus performance

تعداد نتایج: 10865814  

Journal: :Journal of Symbolic Computation 1987

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه علامه طباطبایی - دانشکده ادبیات و زبانهای خارجی 1392

while performance-based language assessment has led to an increased authenticity and content validity in the practice of writing assessment, the reliability of ratings has become a major issue. research findings have shown different reactions by native english speaker (nes) and non-native english speaker (nns) teachers to students’ writings. the focus of this study is on investigating whether i...

ژورنال: علوم آب و خاک 2019

The aim of this study was the effect of raw water quality on the efficiency of domestic reverse osmosis apparatus in Khuzestan province. The results showed that the purified water quality was related to the quality of entrance raw water. With increasing in salt concentrations (EC) or TDS, purification efficiency was decreased. The cation and anions content of refinery water was related to TDS a...

Journal: :Journal of Computer Security 2021

Informal arguments that cryptographic protocols are secure can be made rigorous using inductive definitions. The approach is based on ordinary predicate calculus and copes with infinite-state systems. Proofs generated Isabelle/HOL. human effort required to analyze a protocol as little week or two, yielding proof script takes few minutes run. Protocols inductively defined sets of traces. A trace...

2013
Carl A. Miller Yaoyun Shi

Self-testing a quantum apparatus means verifying the existence of a certain quantum state as well as the effect of the associated measuring devices based only on the statistics of the measurement outcomes. Robust (i.e., error-tolerant) self-testing quantum apparatuses are critical building blocks for quantum cryptographic protocols that rely on imperfect or untrusted devices. We devise a genera...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه بوعلی سینا - دانشکده علوم پایه 1391

abstract: in this thesis, we focus to class of convex optimization problem whose objective function is given as a linear function and a convex function of a linear transformation of the decision variables and whose feasible region is a polytope. we show that there exists an optimal solution to this class of problems on a face of the constraint polytope of feasible region. based on this, we dev...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه فردوسی مشهد - دانشکده ادبیات و علوم انسانی دکتر علی شریعتی 1392

like any other learning activity, translation is a problem solving activity which involves executing parallel cognitive processes. the ability to think about these higher processes, plan, organize, monitor and evaluate the most influential executive cognitive processes is what flavell (1975) called “metacognition” which encompasses raising awareness of mental processes as well as using effectiv...

Journal: :E3S web of conferences 2022

This paper presents the research efforts that seek to improve efficiency of conducting advanced thermal simulations in detailed design stage process. A prototype for an application facilitates a quick and inexpensive setup EnergyPlus (EP) models Danish office buildings was developed co-creation process involving simulation practitioners. The is designed mitigate barriers migrating from current ...

ژورنال: مهندسی دریا 2019

Skirted foundations are an appropriate alternative to deep foundations in onshore and offshore structures, which have the ability to withstand uplift loads, are also easy to be installed. The tensile performance of skirted foundations on sand was studied by physical and numerical modeling. Laboratory tests were carried out on small-scale foundation models with peripheral skirts. Numerical model...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید