نتایج جستجو برای: method of stretching variables

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

Journal: :journal of applied and computational mechanics 2015
nassim ale ali ardeshir karami mohammadi

this paper presents a nonlinear model of a clamped-clamped microbeam actuated by an electrostatic load with stretching and thermoelastic effects. the frequency of free vibration is calculated by discretization based on the differential quadrature (dq) method. by separating the real and imaginary parts of frequency, the quality factor of thermoelastic damping is calculated. both the stretching a...

Journal: :Journal of the Korea Society of Computer and Information 2013

2006
Martin Giese

We discuss an adaptation of the technique of saturation up to redundancy, as introduced by Bachmair and Ganzinger [1], to tableau and sequent calculi for classical first-order logic. This technique can be used to easily show the completeness of optimized calculi that contain destructive rules e.g. for simplification, rewriting with equalities, etc., which is not easily done with a standard Hint...

1997
Reiner Hähnle Christian Pape

In this paper several conceptual extensions to the theory of order-restricted free variable clausal tableaux which was initiated in 9, 8] are presented: atom orderings are replaced by the more general concept of a selection function, the substitutivity condition required for lifting is for certain variants of the calculus replaced by a much weaker assumption, and a rst version of order-restrict...

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

the study reflected in this thesis aims at finding out relationships between critical thinking (ct), and the reading sections of tofel and ielts tests. the study tries to find any relationships between the ct ability of students and their performance on reading tests of tofel and academic ielts. however, no research has ever been conducted to investigate the relationship between ct and the read...

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

the aim of this study is investigating the effect of teaching “metacognitive strategies” on the way which scientific information retrieval workes by the using of google scholar searching machine on the students of ms in the psycology & education faculty of allameh tabatabayi university in 2007-2008 academic year. the statistical community was the students of ms in psychology & education facult...

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

in this thesis, a better reaction conditions for the synthesis of spirobarbiturates catalyzed by task-specific ionic liquid (2-hydroxy-n-(2-hydroxyethyl)-n,n-dimethylethanaminium formate), calcium hypochlorite ca(ocl)2 or n-bromosuccinimide (nbs) in the presence of water at room temperature by ultrasonic technique is provided. the design and synthesis of spirocycles is a challenging task becaus...

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

?it is of utmost priority for an experienced teacher to train the mind of the students, and enable them to think critically and correctly. the most important question here is that how to develop such a crucial ability? this study examines a new way to the development of critical thinking utilizing critical discourse analytical tools. to attain this goal, two classes of senior english la...

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

nanotechnology is a general term which is related with field of all advanced science term that generally predicates with all modern technologies which consider nanoscales. improvement in the quality of products by adding some nanoparticles and study of their behavior in the presence of these nanoparticles have been obtained in many researches. on the other hand numerous demands for sowing ...

پایان نامه :دانشگاه آزاد اسلامی - دانشگاه آزاد اسلامی واحد تهران مرکزی - دانشکده زبانهای خارجی 1391

different researchers in different parts of the world have investigated the strategies used to translate written works ranging from novels to classroom assignments. however, by the significant increase in the number of postgraduate students in iran in the last few years, a very common kind of translation in iran includes translating abstracts of master’s theses. in this work, the researcher hav...

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

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