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

هدف تحقیق حاضر بررسی میزان انطباق نحوه ی ارائه آموزش الکترونیکی دانشگاه امیرکبیر با رویداد های آموزشی الگوی طراحی آموزشی گانیه وبریگز بود. با توجه به ماهیت پژوهش از روش تحقیق توصیفی و بررسی تحلیلی استفاده شد. جامعه آماری در این تحقیق دو گروه بودند:الف متخصصین(دانشجویان) رشته تکنولوژی آموزشی دانشگاه علامه طباطبایی در سال تحصیلی 92-91 که دردر سطح کارشناسی ارشد و دکتری مشغول تحصیل بودند. ب) کل درو...

روشی ساده و حساس برای تشخیص مقادیر بسیار کم آهن کل بعد از جداسازی و پیش تغلیظ به روش استخراج نقطه ابری ارائه شده است. با نزدیک شدن دما به بالای دمای نقطه ابری (c? 42) اجزای آهن(iii) وارد فاز عنی از سورفکتانت می شود. مقدار آهن استخراج شده به فاز غنی از سورفکتانت توسط دستگاه جذب اتمی شعله ای اندازه گیری شد، تاثیر پارامترهای مختلفی از جمله غلظت سورفکتانت triton x- 114، ph محلول، دمای تعادل بررسی ش...

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

مقدمه: رخداد خطا در سیستم های کامپیوتری، مخصوصاً سیستم هایی که در پزشکی استفاده می شوند، می تواند منجر به صدمات جبران ناپذیری شود. بنا بر این وارسی چنین سیستم هایی اهمیت زیادی دارد. چک کردن مدل یکی از روش هایی است که برای اطمینان از عدم وجود خطا در یک مدل استفاده می شود. ماشین قلب-ریه ماشینی است که در جراحی هایی که نیاز است قلب ساکن باشد به کار می رود و وظایف قلب و ریه را به عهده می گیرد. هدف از...

چکیده: وارسی مدل، یک روش خودکار و راهکاری مناسب به­منظور درستی‌یابی سیستم‌های نرم‌افزاری مطمئن است. در این سیستم‌ها، نمی‌توان ریسک بروز خطا را حتی در فرآیند تست پذیرفت و لذا لازم است فرآیند درستی‌یابی، قبل از پیاده‌سازی و در سطح مدل انجام شود. سیستم‌های تبدیل گراف، از پرکاربردترین سیستم‌های مدل­سازی رسمی  و راهکاری مناسب به­منظور مدل­سازی و وارسی سیستم‌های پیچیده هستند. اما این سیستم‌ها در فرآی...

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

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

یک روش سینتیکی-اسپکتروفوتومتری برای اندازه گیری وانادیوم ‏‎(iv)‎‏ در حضور وانادیم ‏‎(v)‎‏ انجام شد. از اثر کاتالیزوری وانادیوم ‏‎(iv)‎‏ در اکسیداسیون آنیلین بلوتوسط برومات در محیط اسیدی ‏‎(ph=4/5)‎‏ به روش اسپکتروفوتومتری در مدت زمانی مشخص جهت اندازه گیری ‏‎v(iv)‎‏ استفاده شد. روش فوق بر اساس اندازه گیری کاهش جذب آنیلین بلو در فاصله زمانی 30 ثانیه تا 5 دقیقه از شروع واکنش، در طول موج 591 نانومت...