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

در این مقاله مدلی برای آنالیز صحیح تیر رابط در قابهای EBF ارائه شده است. در این مدل جان و بال تیر رابط I شکل به طور جداگانه مدل میشوند. ماتریس سختی المان جان تیر رابط شبیه المان غشائی است و از روش اجزاء محدود محاسبه شده و توسط روش گوس در 8 نقطه انتگرال گیری میشود. همچنین این المان در نقاط گوس قابلیت جاری شدن دارد که به این ترتیب میتوان جاری شدن جان تیر رابط را بررسی کرد . همچنین در المانهای تیر...

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

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

هدف: هدف پژوهش حاضر بررسی رابط کاربر صفحات وب شبکه اجتماعی علمی به منظور تعیین میزان انطباق آنها با معیارها و مولفه‌های عمومی و اختصاصی رابط کاربری بوده است. روش‌شناسی: پژوهش از نظر هدف کاربردی و به لحاظ روش از نوع تحقیقات ارزیابی تطبیقی بوده و رابط‌های کاربر(شامل 12 معیار و 93 مولفه) با استفاده از سیاهه وارسی ارزیابی شده است. جامعه پژوهش را نیز 13 شبکه اجتماعی علمی تشکیل می‌دهد. یافته‌ها: با...

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

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

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