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

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

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

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

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

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

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

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