در دهه 1960 shepherdson, مدلی نااستاندارد و بازگشتی برای زیر نظریه ای از حساب پئانوکه استقراء را به فرمولهای باز محدود می کند ارائه نمود. مدل و غیر نرمال و فاقد عناصر اول نااستاندارد بود. همچنین در آن گویا و معادله فرما برای هر n?3 جواب غیر بدیهی دارد. در اوایل دهه 1980،wilkie و vanden dries با معرفی ساختارهای و w نشان دادند که هر -z حلقه می تواند در یک مدل استقراء باز نشانیده شود. در اواخر این...

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

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

به منظور بررسی سن، سرخ شدگی و محتوای فلزی خوشه کروی m13، با استفاده از داده های آرشیوی دوربین شماره 2 سیاره ای و میدان دید باز تلسکوپ فضایی هابل، منحنی قدر-رنگ خوشه کروی m13 در دو فیلتر استاندارد vو i رسم شده است. با مطالعه ساختار شاخه غول های سرخ و رشته اصلی منحنی قد-رنگ و بر اساس روش ارائه شده توسط ساراجدینی در سال 1994 و اصلاحات صورت پذیرفته توسط ساهن و لی در سال 2001، محتوای فلزی و سرخ شدگی...

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

به منظور توصیف منحنی تغییرات صفات تولید شیر و وزن بدن در طی دورۀ شیردهی بزهای نژاد مهابادی، مدل های آماری گوناگون برازش شدند. بدین منظور از 1665 رکورد درخصوص صفات تولید شیر، درصد چربی، مقدار چربی، درصد پروتئین، مقدار پروتئین، درصد لاکتوز، و snf و 833 رکورد مربوط به وزن بدن که به صورت روزانه از 123 بز در طی سال های 1391-1392 جمع آوری شده بودند، استفاده شد. به منظور انتخاب بهترین مدل از معیار های...

طراحی مناسب و موفق یک ستون جاذب، مستلزم پیش­بینی تغییرات زمانی غلظت جریان خروجی یا همان منحنی رخنه است که با بهره­گیری از مدل­سازی فرایند جذب امکان­پذیر است. به این منظور، آزماییش­هایی­ با عبور جریان محلول­های استاندارد با غلظت 75 و 150 میلی­گرم در لیتر نیترات و آب آلوده­ی یکی از چاه­های استان گیلان از ستون جاذب حاوی رزین آنیونی purolite a-400 انجام شد.  نمونه­برداری از آب خروجی ستون در زمان­ها...

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

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