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

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

هدف این مقاله توصیفی، آشناکردن علاقه مندان با نمونه هایی از تلاش هایی است که در جهت استفاده از سیستم های منطقی برای ماشینی سازی اثبات در دست انجام است. اهداف این مقاله عبارتند از (1) ارائه الگوریتیم که با استفاده از ایده کاربر و ادامه روند اثبات توسط رایانه، اثباتی در سیستم گنسنی ارائه دهد. (2) ارائه الگوریتمی که با استفاده از ایده کاربر و ادامه اثبات با رایانه، اثباتی متنی در سیستم استنتاج طبی...

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

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

در این مقاله به بررسی ترکیب عوامل تولید به لحاظ کاربر یا سرمایه بر بودن بر صادرات و واردات فعالیتهای مختلف اقتصاد ایران در سه مقطع زمانی 1370، 1376 و 1382 با استفاده از روش داده – ستانده محاسبه و برحسب قیمتهای ثابت ارائه شده است. فرضیه اساسی مطالعه حاضر این است که در بخشهای مختلف اقتصاد ایران اشتغال زایی صادرات نسبت به واردات بخشها در دوره زمانی مورد بررسی بالاتر است. یافته های این مطالعه نشان ...

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

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