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

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

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

there are many approaches for solving variety combinatorial optimization problems (np-compelete) that devided to exact solutions and approximate solutions. exact methods can only be used for very small size instances due to their expontional search space. for real-world problems, we have to employ approximate methods such as evolutionary algorithms (eas) that find a near-optimal solution in a r...

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

abstract amino acids are building blocks of proteins, and play a vital role in living beings existence and their functionality. the interaction of these compounds with metal ions is of great importance to biochemists, and chemists, because their functions can be utilized as a model in understanding enzymes mechanism for transport of metal ions to tissues. among twenty essential amino acids w...

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

در این پروژه ترکیبات 3-آریل-2h-بنزو[b]-4،1-اکسازین ها از مواد اولیه تجاری مشتقات دو آمینو فنول و ?-هالو کتون های آروماتیک در مایع یونی 1-اکتیل-3-متیل ایمیدازولیوم تترا فلورو بورات([omim]bf4) سنتز شده است. این واکنش توسط باز پتاسیم کربنات محلول از طریق o-آلکیلاسیون و سپس یک واکنش آمیداسیون درون مولکولی خود بخود در مدت زمان کوتاه انجام می شود. ترکیبات 4،1-بنزوکسازین به این روش با بهره خوب تا آلی ...

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

abstractof two mcall programs introducing 100 vocabulary items through two im the researcher of the present study was intrigued to compare the effects age modalities (pictures and streaming video) with those of a conventional method (teacher instruction) in an efl context. she set out to investigate whether such multimedia environments could provide a more effective environment for vocabulary...

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

deployable scissor type structures are composed of the so-called scissor-like elements (sles), which are connected to each other at an intermediate point through a pivotal connection and allow them to be folded into a compact bundle for storage or transport. several sles are connected to each other in order to form units with regular polygonal plan views. the sides and radii of the polygons are...

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

the main objective in sampling is to select a sample from a population in order to estimate some unknown population parameter, usually a total or a mean of some interesting variable. a simple way to take a sample of size n is to let all the possible samples have the same probability of being selected. this is called simple random sampling and then all units have the same probability of being ch...

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

among the low–dimensional allotropes of carbon, nanotubes and graphene have attracted very much attention from nano–science and nanotechnology specialists. they have been proposed as building blocks in nanometer device engineering. however, these structures are not defect–free. in this thesis, we focused on defective carbon nanotubes and graphene, and studied the effect of couple of very common...

Journal: :IEEE Trans. Software Eng. 1992
Zohar Manna Richard J. Waldinger

An informal tutorial is presented for program synthesis, with an emphasis on deductive methods. According to this approach, to construct a program meeting a given specification, we prove the existence of an object meeting the specified conditions. The proof is restricted to be sufficiently constructive, in the sense that, in establishing the existence of the desired output, the proof is forced ...

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

in this project, 4,4?-methylenebis(3-chloro-2,6-diethyl trimellitimidobenzene) as a diacid, was prepared by the reaction of trimellitic anhydride (tma) with 4,4?-methylenebis(3-chloro-2,6-diethylaniline) (mcdea). the novel poly(amide-imide) (pai) was synthesized from the reaction of 4,4?-methylenebis(3-chloro-2,6-diethyl trimellitimidobenzene) as a diacid with mcdea under green condition using ...

Journal: :gas processing 0
gholam reza salehi islamic azad university branch of nowshahr, iran majid amidpour energy system engineering department, k.n.toosi university of technology, iran bahram ghorbani energy system engineering department, k.n.toosi university of technology, iran kazem hasanzadeh lashkajani energy system engineering department, k.n.toosi university of technology, iran

the synthesis of heat integrated multi-component distillation systems is complex due to its huge search space for structural combination and optimization computation. to provide a systematic approach and tools for the synthesis design of distillation systems, a new method for modeling heat integrated columns is presented, and the operating cost objective function is minimized by improved harmon...

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

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