نتایج جستجو برای: توصیف و وارسی صوری
تعداد نتایج: 760724 فیلتر نتایج به سال:
شناسایی و ارزیابی ارقام انگور محلی استان آذربایجان غربی با استفاده از روش های آمپلوگرافی و آمپلومتری
بهمنظور شناسایی و ارزیابی صفات مختلف ارقام محلی انگور موجود در استان آذربایجان غربی، مطالعهای سه ساله ( 1382-1384) در باغ کلکسیون ارقام انگور در ایستگاه تحقیقات باغبانی دکتر نخجوانی انجام شد. ارزیابی صفات از زمان باز شدن جوانهها تا هنگام برداشت میوه در هر مرحله فنولوژیکی از برگ جوان، برگ بالغ، گل، شاخه و میوه بر اساس توصیفنامه (ibpgr) انگور انجام شد. تجزیه دادههای مربوط به صفات کمی بر اساس...
پژوهش حاضر، با هدف تعیین مهم ترین عناصر توصیفی مورد نیاز در کاربرگه های تنظیم و توصیف اسناد آرشیوی، انجام شد. روش پژوهش، پیمایش توصیفی و ابزار گردآوری داده ها، پرسشنامه محقق ساخته است. جامعه پژوهش، شامل 7 نفر از صاحب نظران حوزه آرشیو بویژه حوزه تنظیم و توصیف آرشیوی است. نشانگرهای توصیفی پرسشنامه، از مطالعه و بررسی عناصر توصیفی موجود در شیوه نامه استاندارد بین المللی توصیف آرشیوی (isad(g))، قوان...
در این پایان نامه یک چارچوب صوری برای توصیف پیکربندی سیستم ارائه گردیده است تا از تغییر پیکربندی پویا جهت رسیدن به سیستمی تطبیقی پشتیبانی شود. جهت رسیدن به این هدف، در ابتدا شالوده ی سیستم با زبانی صوری توصیف می شود و سپس یک مدل ریاضی وار به نام آداپتور بر پایه قرارداد تطابق و معماری سیستم بنا می گردد. آداپتورها پیکربندی های سیستم را بر عهده می گیرند و جهت رسیدن به تطابقی تاثیر گذار، هنگام نی...
شناسایی و ارزیابی ارقام انگور محلی استان آذربایجان غربی با استفاده از روش¬های آمپلوگرافی و آمپلومتری
بهمنظور شناسایی و ارزیابی صفات مختلف ارقام محلی انگور موجود در استان آذربایجان غربی، مطالعهای سه ساله ( 1382-1384) در باغ کلکسیون ارقام انگور در ایستگاه تحقیقات باغبانی دکتر نخجوانی انجام شد. ارزیابی صفات از زمان باز شدن جوانهها تا هنگام برداشت میوه در هر مرحله فنولوژیکی از برگ جوان، برگ بالغ، گل، شاخه و میوه بر اساس توصیفنامه (ibpgr) انگور انجام شد. تجزیه دادههای مربوط به صفات کمی بر اساس...
چکیده ندارد.
استاندارد،توافقی است که به کنترل فعالیت یا محمصول کمک می کند.آرشیویستها از استاندارد در تنظیم و توصیف اسناد بهره می جویند تا با ایجاد هماهنگی،انسجام و یکپارچگی لازم،بتوانند تبادل و بازیابی اطلاعا را در بین مخازن آرشیوهای مختلف نه تنها ممکن سازند بلکه تسریع و تسهیل کنند.
معماریهای رویدادگرا مدلی هماهنگکننده برای یکپارچهسازی اجزا در سیستمهای توزیعشده اتصال ضعیف فراهم میکند. این امر یکپارچهسازی اجزای خودمختار و ناهمگن در یک سیستم پیچیده را تسهیل میکند و در نتیجه انعطافپذیری، مقیاسپذیری و انطباقپذیری که بسیاری از دامنههای برنامههای کاربردی نیاز دارند، را فراهم مینماید. از سوی دیگر ماشینهای حالت انتزاعی یک روش رسمی موفق در زمینه مدلسازی سیستمهای رو...
تحمل پذیری اشکال از نیازهای اساسی برای اطمینان از عملکرد صحیح سیستم های بحرانی-ایمن حتی در صورت وقوع اشکال در سیستم می باشد. یکی از مراحل تحمل پذیری اشکال، بازیابی است و گرفتن نقطه وارسی و بازیابی رو به عقب، یکی از روش های مناسب برای این کار می باشد. نقطه وارسی گیری بدون دیسک، به عنوان روشی مهم برای ایجاد تحمل پذیری اشکال در سیستم های محاسباتی موازی و توزیع شده شناخته شده است. زمان کوتاه تر برا...
هدف تحقیق حاضر بررسی کیفیت آموزش الکترونیکی دانشگاه امیرکبیر بر اساس عناصر طراحی آموزشی بود. روش تحقیق توصیفی و تحلیلی بود. جامعه آماری این تحقیق کل دروس اصلی و تخصصی رشته ریاضی کاربردی- تحقیق در عملیات دوره آموزش الکترونیکی دانشگاه امیرکبیر در سال تحصیلی 92-91 بودند. روش نمونه گیری از نوع نمونه گیری تصادفی بود که درس احتمال و آمار مهندسی انتخاب شد. ابزار گردآوری داده ها، فهرست وارسی محقق ساخته...
فرایند دوگانسازی در این دو زبان تابع قواعد و قوانین جهانی می باشد و جهانی های صوری و معنایی در آنها صدق مینماید.یعنی همواره در تکرار کل یا بخشی از صورت زبانی خصوصیت همخوان و واکه بودن در نظر گرفته میشود.در این فرایند که فرایندی وندافزاست،اصل همسانی با پایه همواره رعایت میگردد و تعداد تکرارها در هر زبان مشخص می باشد. دوگانسازی انواع مختلفی دارد بر اساس جایگاه وند دوگانی و دوگانوند داده های این د...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید