مقدمه: امروزه پیشرفت های جدید در زمینه ی نرم افزار و سخت افزارهای کامپیوتری به تولید وسایل و دستگاه های پیشرفته ای در زمینه ی صنعت و ازجمله دندان پزشکی منجر شده است. یکی از این وسایل، سیستم طراحی به کمک کامپیوتر ( cad یا computer aided design ) و ساخت با کمک کامپیوتر ( cam یا computer aided manufacturing ) است. سیستم های cad/cam قادر به جمع آوری اطلاعات و طراحی و تولید طیف گسترده ای از رستوریشن...

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

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

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

هدف از پژوهش حاضر بررسی الگو و میزان استناد مقالات رشته کتابداری و اطلاع رسانی به سایر رشته ها طی ده ساله 73-82 بوده است . در این مطالعه سهم انواع محمل های اطلاعاتی مورد استناد به منابع تالیفی و ترجمه ای و مولفان پر استناد مورد بررسی قرار گرفته است . روش تحلیل استنادی جهت تحقق هدف پژوهش حاضر مورد استفاده قرار گرفته است . یافته ها نشان می دهد که میزان و الگوی پیوندهای فرا رشته ای طی دوره مطالعه ...

  بررسی اثر تعداد نقاط مرجع بالینی بر دقت ترسیم منحنی قوس دندانی به روش سه بعدی       دکتر مهتاب نوری1- دکتر آرش فرزان2 - دکتر سید محمدرضا صفوی3 – دکتر علیرضا اکبرزاده باغبان 4   1- دانشیار مرکز تحقیقات ناهنجاریهای دندانی فکی و گروه آموزشی ارتودنسی دانشگاه علوم پزشکی شهیدبهشتی   2- دستیار تخصصی گروه آموزشی ارتودنسی دانشکده دندانپزشکی دانشگاه علوم پزشکی شهید بهشتی   3- عضو مرکز تحقیقات علوم دندا...

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

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

این مقاله در پی تبیین پارادایم حاکم بر فلسفه ذهن در دوران معاصر است. نویسنده با روش تحلیلی، پس ازذکر کلیّاتی در باب نگرش پارادایمی توماس کوهن، در پی توضیح این مطلب برآمده که پاردایم حاکم برفلسفه ذهن معاصر، شدیدًا متأّثر از علوم تجربی – اعمّ از فیزیک، روانشناسی تجربی، زیستشناسی، علوماعصاب، علوم کامپیوتر – بوده است . حکومت پارادایم مذکور را میتوان در برخی مسائل و مباحث محوری دراصل سادگی (تیغ اکام) و ...