نتایج جستجو برای: توصیف و وارسی صوری

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

ژورنال: :نشریه دانشکده فنی 2006
علی موقر رحیم آبادی الهام موسوی نیلوفر رضوی مرجان سیرجانی

باتوجه به رشد روز افزون استفاده از سیستم های همروند، داشتن مدلی مناسب برای توصیف این گونه سیستم ها امری ضروری است. در این مقاله یک زبان مبتنی براکتور، که زبانی شیء بنیاد و همروند است انتخاب شده و معنای عملیاتی آن به شکل صوری در سیستم گذار پایه بیان گردیده است. به این ترتیب درک و استفاده از زبان و همچنین تشخیص هرگونه ناسازگاری و یا ابهام و نقص در آن آسان تر شده است. اشیا‎ء واکنشی مستقل از هم، اج...

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

درمهندسی نرم افزار توصیف و وارسی سیستم های نرم افزاری با استفاده از روش های صوری اهمیت ویژه ای دارد. برای سیستم های دقیق و بلادرنگ یک ضرورت اجتناب ناپذیر است و توصیف و وارسی سیستم های بلادرنگ مبتنی بر مولفه ها از مسایل مهم در مهندسی نرم افزار است با توسعه ای که در مهندسی نرم افزار در توسعه خودکارهای ورودی خروجی داده شده است می توانیم راه حلی برای توصیف و وارسی سیستم های ناهمگن مبتنی بر مولفه ها...

Journal: :Journal of Entomological Society of Iran 2023

گونه‌های Charipinae جمع آوری شده از هند، بازنگری و تغییراتی در تاکسونومی برخی گونه‌هایی که اخیراً این کشور توصیف شده‌اند پیشنهاد شد. تعداد معتبر آرایه هفت عدد است عبارتند Alloxysta brevis (Thomson, 1862)، A. consobrina (Zetterstedt, 1838)، nottoni Ferrer-Suay & Pujade-Villar, 2015، pleuralis (Cameron, 1879)، Phaenoglyphis indica 2013، P. longicornis (Hartig, 1840) villosa 1841). ochracea Bijoy R...

الهام موسوی علی موقر رحیم آبادی مرجان سیرجانی نیلوفر رضوی

باتوجه به رشد روز افزون استفاده از سیستم‌های همروند، داشتن مدلی مناسب برای توصیف این گونه سیستم‌ها امری ضروری است. در این مقاله یک زبان مبتنی براکتور، که زبانی شیء بنیاد و همروند است انتخاب شده و معنای عملیاتی آن به شکل صوری در سیستم گذار پایه بیان گردیده ‌است. به این ترتیب درک و استفاده از زبان و همچنین تشخیص هرگونه ناسازگاری و یا ابهام و نقص در آن آسان تر شده ‌است. اشیا‎ء واکنشی مستقل از هم، ...

2016

شور و داوم اه : ،یبرجت همین قیقحت نیا رد 28 نیماتیو ،نیرمت ،لرتنک هورگ راهچ هب یفداصت روط هب و باختنا قاچ رتخد C یبیکرت و دندش میسقت . نیرمت تدش اب يزاوه 50 ات 70 ،رثکادح بلق نابرض دصرد 3 تدم هب و هتفه رد هسلج 8 هتفه دش ماجنا . هورگ ياه نیماتیو C و صرق یبیکرت 500 یلیم نیماتیو یمرگ C ار 3 فرصم هتفه رد راب دندومن . هنومن و لبق اتشان ینوخ ياه 48 هلخادم نیرخآ زا سپ تعاس اه عم...

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

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

2010
Mohammad-Ayman A. Safi

تاسياقلما فلتخم ىلع ءوضلا ضعب ءاقلإ تم ةعجارلما هذه يف دضتسلماب دضلا تلاعافت ىلع دمتعت يتلا ةموسولما ةيعانلما ةيعانلما و ،ةيقلأتلا ةيعانلما تاسايقلما لمشت يتلاو Ag-Ab هذه فيرعت تم .)EIA, ELISA( ةييمزنلإا ةيعانلما و ،ةيعاعشلا و تلاعافتلا أدبلم رصتخم فصو عم لًاوأ ةثلاثلا تاسياقلما اهروطت حيضوتل يخيراتلا جردتلا بسح تشقون مث ،تاقيبطتلا امك .لماك لكشب ةيلآ ةينقت ىلإ ةياهنلا يف داق يذلا يجيردتلا ةخطلل...

2008
Nezhat moosavifar Fatemeh Behdani Atefeh Soltanifar Paria Hebrani

Address: Department of Gynecology and Obstetrics, Montasariya Infertility Center, Mashhad University of Medical Sciences, Mashhad, Iran Tel: +98 511 8534021 Email: [email protected] همدقم : ناـمز رد نز بارطـضا حطـس لـثم يرـيغتم لـماوع هب هتسباو دناوت يم يروراب كمك نامرد تيقفوم دشاب نامرد . راب نانز بارطضا و يگدرسفا ريثات يبايزرا يارب هعلاطم نيا يروراـب كـمك ناـمرد دمايپ رب رو تسا هدش يحارط ...

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

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

ژورنال: :مهندسی برق مدرس 0
said jalili tarbiat modarres university behruz - tork ladani tarbiat modarres university

اگرچه روشهای تحلیل منطقی و روشهای ساخت حمله، دو رویکرد کلی در زمینه تحلیل پروتکل های رمزنگاری است، اما اغلب برای تحلیل پروتکل ها، به کارگیری توام آنها مناسبتر است. در این مقاله، یک چارچوب عمومی برای یکپارچه سازی تحلیل امنیت پروتکل های رمزنگاری ارایه شده است. بر اساس این چارچوب می توان روشهایی تحلیلی ارایه کرد که در آنها وارسی وجود ویژگیهای امنیتی در پروتکل، همراه با وارسی وجود سناریوهای نقض ویژ...

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

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