نتایج جستجو برای: tollens method

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

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

in this thesis, we consider a mathematical model of cancer with completely unknown parameters. we study the stability of critical points which are biologically admissible. then we consider a control on the system and introduce situations at which solutions are attracted to critical points and so the cancer disease has auto healing. the lyapunov stability method is used for estimating the un...

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

over the past decades a number of approaches have been applied for forecasting mortality. in 1992, a new method for long-run forecast of the level and age pattern of mortality was published by lee and carter. this method was welcomed by many authors so it was extended through a wider class of generalized, parametric and nonlinear model. this model represents one of the most influential recent d...

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

the effect of the presence of perforations on he stresses of a plate is a problem which is of great interest in structural design and in the mathemattical theory of elasticity. among the many hole patterns that are likely to require consideration is the ring of equally spaced circular holes. the present worke investigates stress & strain analysis of a thin isotropic circular plate containing a ...

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

برای استفاده از روش تفاضلهای محدود ‏‎(finite difference method)‎‏ در حل عددی معادلات حاکم بر جریانهای لزج با مرزهای پیچیده، معمولا این معادلات در یک دستگاه مختصات محاسباتی که منطبق بر مرزهاست نوشته میشوند. برای این منظور میبایست ابتدا شبکه ای که رابطه بین حوزه های فیزیکی و محاسباتی جریان را مشخص میکند، محاسبه شود. هدف از انجام این تحقیق تولید یک شبکه متعامد منطبق بر مرزها در حوزه جریان دو بعدی ...

پایان نامه :دانشگاه تربیت معلم - تهران - دانشکده فنی 1393

a problem of computer vision applications is to detect regions of interest under dif- ferent imaging conditions. the state-of-the-art maximally stable extremal regions (mser) detects affine covariant regions by applying all possible thresholds on the input image, and through three main steps including: 1) making a component tree of extremal regions’ evolution (enumeration), 2) obtaining region ...

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

in this research we have studied the effect of some transition-metals (cu, ag and au) substitutions on two-electron reduction potential of flavins by application of dft method. all geometries have been optimized at blyp level of theory and “6-31+g** + lanl2dz” mixed basis set. the frequency job at the same method and basis sets has been performed to obtain gibbs free energy of compounds. it h...

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

implicit and unobserved errors and vulnerabilities issues usually arise in cryptographic protocols and especially in authentication protocols. this may enable an attacker to make serious damages to the desired system, such as having the access to or changing secret documents, interfering in bank transactions, having access to users’ accounts, or may be having the control all over the syste...

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

در این پایان نامه، تحلیل ارتعاشات آزاد غیرخطی نانولوله های کربنی دوجداره در بستر الاستیک وینکلر با در نظر گرفتن نیروی واندروالس غیرخطی بین لایه ای با استفاده از مدل تیر اویلر ـ برنولی غیرموضعی بررسی شده است. نیروی واندروالس غیرخطی بین لایه ای با تابعی غیرخطی بر حسب جابجایی های جداره داخلی و خارجی مدل شده طوری که اثر تغییرات فاصله بین دو جداره در هنگام نوسان نانولوله در نظر گرفته شده باشد. معادل...

پایان نامه :دانشگاه امام رضا علیه اسلام - دانشکده ادبیات و علوم انسانی 1393

this research aims at answering the questions about translation problems and strategies applied by translators when translating cultural concepts. in order to address this issue, qualitative and quantitative study were conducted on two groups of subjects at imam reza international university of mashhad. these two groups were assigned as beginner and advanced translation students (10 students). ...

2001
Andreas Meier Martin Pollet Volker Sorge

1 Motivation Tactical theorem provers or proof planners, such as Clam 4], HOL3], or mega 2] provide proof tactics and/or proof methods to support abstract level proof construction and to improve the communication with the user. Tactics and methods typically abbreviate frequently recurring low level proof patterns. A system like mega 2] is capable of an explicit maintenance of abstract level pro...

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

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