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

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

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

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

محققین، برای استفاده از متغیرهای ارزشیابی و شناخت قدرت تبیین آنها در پیش بینی رفتار سود باقیمانده یا پیش بینی نشده، اغلب از یک نسبت در طبقه بندی شرکتها به دو گروه رشدی و ارزشی بر پایه نسبتp/b  و یا p/e آنها استفاده کرده اند و در ایران نیز ارزشیابی ها و قیمتگذاریهای سهام بر پایه نسبت های p/e وگاهاً p/b بطور مجزا صورت گرفته است .لذا تلاش شده است با گروه بندی شرکتها با استفاده توأمان از نسبت های p/...

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

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

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

چکیده: زمینه و هدف: هدف از اجری تحقیق حاضر، بررسی ارتباط بین حجم و شدت پروتکل های درمانده ساز نوارگردان و برازش معادله ریاضی مربوطه در مردان جوان فعال بود. روش تحقیق: تعداد32 نفر از دانشجویان پسر تربیت بدنی(با م‍‍یانگ‍‍ین ± انحراف مع‍‍یار سنی 08/1±20 سال، قد 19/5± 172 سانت‍‍ی متر، وزن 24/7± 6/65 ک‍‍یلوگرم و حداکثر اکسیژن مصرفی 19/3±45/61 میلی لیتر/کیلوگرم/دقیقه)به صورت داوطلبانه بعنوان آزمودنی...

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