---

---

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

---

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

---

-

---

بررسی روند تغیرات دمایی رخ داده در خلیج فارس می تواند جهت تعیین الگوی تغییرات آب و هوایی منطقه و بررسی تاثیر این تغییرات بر روی زیستمندان آبزی موجود در آبهای خلیج فارس موثر باشد. این تحقیق به منظور بررسی میزان تغییرات دمای سطح آب و تغییرات ناهنجاری آن در جزایر خارگ و هندورابی، با استفاده از داده های دوباره واکاوی شده برنامه دسترسی به داده های بخش زیست محیطی سازمان مدیریت اقیانوسی و جوی ایالات متحد آمریکا انجام گرفته و دمای روزانه سطح آب دریا و داده های ناهنجاری آن را در دوره زمانی ۳۵ ساله را مورد بررسی قرار داده است. نتایج نشان داد که میانگین سالانه دمای سطح آب در طول ۳۵ سال در جزایر خارگ و هندورابی حدود ۱ درجه سانتی گراد و میانگین ناهنجاری دمای سالانه سطح آب در این جزایر حدود ۲ درجه سانتی گراد افزایش یافته است. شیب این روند افزایشی در جزیره خارگ شدیدتر از جزیره هندورابی بود. این بررسی نشان داد که همزمان با گزارش رخ داد سفید شدگی آبسنگ های مرجانی در خلیج فارس در سال‌های مختلف دمای سطحی آب دریا و ناهنجاری دمای سطحی آب دریا افزایش داشته است. مهمترین رخ داد سفید شدگی در خلیج فارس در سال ۲۰۱۷ رخ داد که بیشترین میزان افزایش دما را می توان در سال ۲۰۱۷ مشاهده کرد. با ادامه روند افزایشی دمای آب در سال‌های آتی، احتمالا شرایط زیستی برای مرجان‌های خلیج فارس نامساعدتر شده و صرفا برخی گونه‌های مقاوم بتوانند به حیات خود در این خلیج ادامه دهند.
 

---

ربات‌های موازی شش درجه آزادی به طور گسترده در شبیه‌سازها مورد استفاده قرار می‌گیرند. گسترش بکارگیری ربات‌های شبیه‌ساز برای انواع گوناگون وسایل نقلیه، امکان آموزش‌های پیشرفته را با امنیت بالا در زمان کم و هزینه‌های پایین‌تر فراهم نموده است. غالباً از ربات استوارت با ساختار ۶-UPS به دلیل صلبیت بالا، بزرگ بودن فضای کاری و قابلیت حمل بار بالا به عنوان شبیه‌ساز حرکت استفاده می‌گردد. وجود مفصل کشویی با بار و اینرسی زیاد بین صفحه ثابت و متحرک سبب پایین آمدن راندمان این مکانیزم می‌شود. ربات با ساختار ۶-PUS به علت قرارگرفتن عملگرهای فعال بر روی زمین، می‌تواند جایگزین مناسبی برای ربات استوارت باشد و در کاهش نیروها و همچنین هزینه آن بسیار موثر واقع شود. در این مقاله، تحلیل سینماتیک و دینامیک معکوس ربات ۶-PUS با پیکربندی جامع با استفاده از روش نیوتن- اویلر ارائه شده است. صحت مدل تئوری دینامیک ربات با استفاده از نرم‌افزارهای تحلیل حرکت بررسی شده است. با حذف عبارات مربوط به جرم و اینرسی لینک‌های ربات، مدل دینامیک ساده شده ربات ۶-PUS تهیه شده است. دقت مدل ساده شده به ازای نسبت‌های مختلف جرم و اینرسی بار به لینک، ارزیابی شده است. مدل ساده شده دینامیک به منظور بهبود راندمان محاسباتی حل دینامیک معکوس استفاده می‌شود.

---

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

---

---

عرض شیار برش (عرض کِرف(Kerf)) یک پارامتر کیفی مهم در فرآیند برشکاری با لیزر به‌شمار می‌رود و کاهش آن به معنای دقت بالاتر برش و هزینه کمتر مواد مصرفی است. ازاین‌رو در این تحقیق با بهره‌گیری از دستگاه برش لیزر فایبر ۷۵۰ وات که در دسته لیزرهای نسل جدید قرار می‌گیرد، اثر تمام پارامترهای تأثیرگذار بر عرض شیار برش شامل توان لیزر (در بازه ۴۵۰ تا ۷۵۰ وات)، سرعت برش (در بازه ۳۰ تا ۱۳۰ میلی‌متر بر ثانیه)، موقعیت نقطه کانونی (در بازه ۵- تا ۵+ میلی‌متر)، فاصله نازل تا قطعه‌کار (در بازه ۶/۰ تا ۵/۲ میلی‌متر) و فشار گاز (در بازه ۲/۱ تا ۸/۱ بار)، برای برش ورق فولاد زنگ‌نزن ۳۱۶L با ضخامت‌ ۸/۰ میلی‌متر بررسی شده است. پس از اندازه‌‌گیری عرض شیار با سیستم عکس‌برداری ویژه و تحلیل نتایج با ANOVA، مشخص شد توان لیزر و فشار گاز رابطه مستقیم با عرض شیار برش دارد و نیز سرعت برش و فاصله نازل تا قطعه کار رابطه معکوس با عرض شیار دارد. موقعیت نقطه کانونی لیزر نیز به‌عنوان تأثیرگذارترین پارامتر در شکل‌گیری عرض شیار تعیین شد که بهتر است روی سطح قرار داشته باشد تا عرض شیار کمینه شود. در این تحقیق نشان داده شد با تنظیم صحیح پارامترها، مصرف مواد و دقت برشکاری تا ۷۰ درصد بهبود می‌یابد. همچنین با بهره‌گیری از رگرسیون، مدل تغییرات عرض شیار نسبت به پارامترهای مختلف به‌دست‌ آمد و از مقایسه پاسخ آن با نتایج آزمایشگاهی دقت قابل‌قبول مدل مشاهده شد.

---

شکلات شیری یکی از محبوب‌ترین و لذت‌بخش‌ترین خوراکی‌ها است که طرفداران زیادی در تمامی سنین دارد. ترکیب اصلی شکلات، کره کاکائو می‌باشد. از عوامل اصلی عدم ناپایداری حرارتی شکلات پایین بودن دمای ذوب کره کاکائو نسبت به دمای محیط در هوای گرم و مناطق گرمسیر است، بنابراین هدف از انجام این پژوهش جایگزین کردن ژلاتین استخراج شده از پای مرغ با ژلاتین تجاری(گاوی) در غلظت‌های مختلف(۰، ۳، ۵ و ۷ درصد) با کره کاکائو برای رسیدن به نقطه ذوب بالا با هدف جلوگیری از ذوب شدن شکلات در دمای بالای مناطق گرمسیر صورت گرفت. در این پژوهش خواص فیزیکوشیمیایی و حسی شکلات شیری بررسی شد و نتایج بدست‌ آمده نشان داد که با افزایش غلظت ژلاتین(پای مرغ و تجاری) دانسیته نمونه‌ها افزایش یافت. سختی نمونه‌های شکلات با افزایش غلظت ژلاتین پای مرغ و افزایش غلظت ژلاتین تجاری(گاوی) کاهش پیدا کرد بطوری که بیشترین میزان سختی بین نمونه‌های حاوی ژلاتین مربوط به نمونه حاوی ۳ درصد ژلاتین تجاری(۳/۵۹۳۶) و کمترین میزان سختی مربوط به نمونه حاوی ۷ درصد ژلاتین پای مرغ(۵/۵۳۴۲) است همچنین با بررسی ناهمواری سطحی تیمارها، بیشترین ناهمواری مربوط به نمونه شاهد می‌باشد. ویسکوزیته(گرانروی) ظاهری تیمارها با افزایش غلظت ژلاتین پای مرغ و افزایش غلظت ژلاتین تجاری افزایش یافت. نقطه ذوب نمونه‌ها با افزایش ژلاتین پای مرغ و ژلاتین تجاری(گاوی) بصورت مستقل افزایش یافت. با افزایش سطح ژلاتین پای مرغ و ژلاتین تجاری(گاوی) بصورت مستقل فعالیت آبی تیمارها کاهش پیدا کرد. از لحاظ پارامترهای رنگی(L, a, b) تیمارها مورد بررسی قرار گرفت و بیشترین میزان روشنایی را نمونه حاوی ۷ درصد ژلاتین پای مرغ داشته است. از لحاظ حسی، پارامترهای رنگ، طعم، بو، بافت و در نهایت پذیرش کلی شکلات‌ها مورد بررسی قرار گرفت. از لحاظ پارامترها اختلاف معنی‌د‌اری بین نمونه‌ها مشاهده شد و همه نمونه‌ها مقبولیت لازم را داشتند.
 

---

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

---

شبکه‌های دولایه‌ی ساخته‌شده با سیستم پیونده‌ی گویسان که دسته‌ی مهمی از سازه‌های فضاکار هستند، ازجمله سازه‌های رایج و پرکاربرد برای اجرای سقف‌ها می‌باشند. شناسایی مشخصات دینامیکی این سازه‌ها برای تکمیل فرآیند پایش سلامت سازه‌ای، به‌روزرسانی مدل اجزای محدود و تشخیص آسیب ضروری است. محدودیت‌های روش شناسایی ورودی-خروجی باعث شده که در سازه‌های مهندسی از روش خروجی-تنها استفاده شود. در این کار، مدل فیزیکی یک شبکه‌ی دولایه در آزمایشگاه ساخته شد. با انجام آزمایش مودال خروجی-تنها و با استفاده از دو روش حوزه‌ی بسامد تجزیه در حوزه‌ی بسامد تعمیم یافته (EFDD) و تجزیه در حوزه‌ی بسامد با برازش منحنی (CFDD) و نیز دو روش حوزه‌ی زمان شناسایی زیرفضای تصادفی با داده‌ی خام (SSI-DD) و شناسایی زیرفضای تصادفی با کوواریانس داده‌ها (SSI-Cov)، پارامترهای مودال این شبکه‌ی دولایه تعیین شدند. برای تحریک شبکه از دو نوع بارگذاری تحریک مستقیم و تحریک غیرمستقیم استفاده شد. به‌منظور بررسی دقت پارامترهای شناسایی‌شده، یک آزمایش مودال ورودی-خروجی نیز بر روی شبکه انجام و نتایج حاصله به عنوان مبنا گزیده شدند. نتایج نشان داده که دقت پارامترهای شناسایی شده با بارگذاری مستقیم بالاتر از نتایج مشابه با بارگذاری غیرمستقیم بوده است. بیشترین اختلاف نتایج بسامد‌های طبیعی شبکه‌ی دولایه با نتایج مبنا مربوط به مود دوم شبکه و برابر ۰۷/۲ % بوده است. میانگین خطای نسبی پارامترهای شناسایی شده نشان داده که روش‌های حوزه‌ی زمان، نسبت میرایی را با خطای کمتری تخمین زدند؛ درحالی‌که روش‌های حوزه‌ی بسامد، بسامد‌های طبیعی و شکل‌های مودی را با دقت بالاتری شناسایی نمودند.