کاظم حق نژاد آذر،
دوره 13، شماره 2 - ( 6-1392 )
چکیده
در این مقاله، منظم‌پذیری آرنز را بر روی عمل‌های مدولی بررسی و گزاره‌هایی را از بکر، دلز و لائو برای حالت‌های کلی‌تر تعمیم می‌دهیم. روابطی بین مرکز توپولوژیکی عمل‌های مدولی و خاصیت تجزیه‌پذیری آنها ایجاد کرده و نتایجی را در جبرهای گروه می‌گیریم.
عبدالجواد طاهری زاده، اکرم کیانژاد، ابوالفضل تهرانیان،
دوره 13، شماره 2 - ( 6-1392 )
چکیده
فرض کنیم حلقه‌ای موضعی و نوتری، ایدآلی از آن و M یک R- مدول با تولید متناهی و یک زیررستۀ سِر از رسته R- مدول‌ها و R- هم‌ریختی‌ها باشد. در این مقاله بعضی خاصیت‌های مدولهای همانستگی موضعی صوری را نسبت به یک زیررسته بررسی میکنیم. همچنین زبان مشترکی برای ارائه بعضی خواص مدولهای همانستگی موضعی صوری فراهم می‌آوریم.
یداله اردوخانی، هانیه دهستانی،
دوره 13، شماره 2 - ( 6-1392 )
چکیده
در این مقاله، روش هم محلی بر پایه چندجملهایهای بسل را برای حل معادلات انتگرال-دیفرانسیل فردهلم-ولترا-همرشتاین غیرخطی با شرایط آمیخته به‌کار می‌بریم. در این روش، معادلات انتگرال- دیفرانسیل فردهلم- ولترای- همرشتاین غیرخطی با به‌کارگیری چندجملهایهای بسل نوع اول و نقاط گره‌ای تبدیل به معادله‌ای ماتریسی میشود. معادله ماتریسی متناظربا یک دستگاه معادلات غیرخطی جبری با ضرایب نامعلوم بسل است. نتایج موجود و مقایسه‌ها نشان می‌دهند که تخمین به‌دست آمده از درجۀ دقت زیادی برخوردار است و روش مطرح شده در مقایسه با سایر روش‌ها کاراتر و مفیدتر است.
علیمردان شاهرضایی،
دوره 13، شماره 2 - ( 6-1392 )
چکیده
مسائل منبع گرمایی معکوس یک بعدی، نقش مهمی در بسیاری از شاخه‌های علوم و تکنولوژی دارد. هدف از این مقاله، حل این دسته از مسائل با استفاده از روش تکرار تغییراتی است. این روش نیاز به گسسته سازی دامنه، بر خلاف روشهای متداول مانند روش تفاضلات متناهی، روش عناصر کرانه‌ای یا روشهای دیگر ندارد. با به‌کارگیری این روش، تقریبی پایدار برای منبع گرمایی مجهول در یک معاله گرمایی معکوس از یک شرط فوق اضافی به‌دست می‌آوریم که منبع گرمایی تنها وابسته به زمان است. برخی مثال‌های عددی با استفاده از روش حاضر مطرح و بحث شده است
مهدی امیدی، محسن محمدزاده درودی،
دوره 13، شماره 3 - ( 9-1392 )
چکیده
یکی از ابزارهای قوی برای ساخت توزیع توام متغیرهای وابسته بر اساس توزیع های کناری متغیرها توابع مفصل هستند. این توابع مدلی را ارائه می دهند که بر اساس آن تمام خصوصیات وابستگی متغیرها قابل بیان است. درتحلیل داده های فضایی لازم است توزیع چندمتغیره تحقق های میدان تصادفی و ساختار همبستگی داده ها مشخص شود. به¬علاوه در تحلیل داده های فضایی-زمانی گاهی برای راحتی از تابع کواریانس تفکیک پذیر استفاده می شود در حالیکه این ویژگی در برخی موارد واقع گرایانه نیست و در این گونه موارد استفاده از توابع کواریانس فضایی-زمانی تفکیک ناپذیر ضرورت پیدا می کند. در این مقاله نقش توابع مفصل در تعیین توزیع توام تحقق های میدان تصادفی بررسی و خانواده جدیدی از توابع مفصل فضایی معتبر معرفی می شود، سپس با استفاده از توابع مفصل اقدام به ساخت کواریانس های فضایی و فضایی-زمانی تفکیک ناپذیر معتبر شده است.
فاطمه حسینی، امید کریمی، محسن محمدزاده،
دوره 13، شماره 3 - ( 9-1392 )
چکیده
برای مدل‌بندی پاسخ‌های فضایی گسسته معمولا از مدلهای آمیخته خطی تعمیم‌یافته فضایی استفاده می شود، که در آنها ساختار همبستگی فضایی داده‌ها از طریق متغیرهای پنهان با توزیع نرمال در نظر گرفته میشود. یک مسئله مهم در این مدل ها پیشگویی متغیرهای پنهان در موقعیت های فاقد مشاهده است، که مستلزم برآورد پارامترهای مدل و متغیرهای پنهان در موقعیت های دارای مشاهده پاسخ می باشد. به‌دلیل وجود متغیرهای پنهان و ناگاوسی بودن متغیرهای پاسخ فضایی، در این مدل ها تابع درستنمایی فرم بسته‌ای ندارد و برآوردها به راحتی میسر نیست. در این مقاله الگوریتمی جدید برای برآورد پارامترهای مدل و پیشگویی‌ها معرفی شده است، که از سرعت بسیار بالاتری نسبت به روشهای موجود برخوردار است. این الگوریتم از ترکیب روش ماکسیمم شبه درستنمایی، الگوریتم گرادیانت ماکسیمم سازی امید ریاضی و یک روش تقریبی به‌دست آورده شده است. در یک مطالعه شبیه‌سازی کارایی و دقت الگوریتم مذکور مورد بررسی قرار گرفته و در نهایت تعداد روزهای دارای بارندگی ثبت شده در ایستگاه های هواشناسی استان سمنان در سال 1391 با استفاده از مدل و الگوریتم ارائه شده تحلیل شده است.
علیرضا سرخسی، محمد جهانشاهی،
دوره 13، شماره 3 - ( 9-1392 )
چکیده
در این مقاله با ارائه روش چهار مرحله ای موضعی سازی شرایط کرانه ای در پی به دست آوردن شرایط لازم و کافی برای وجود یا عدم وجود لایه های کرانه ای در نزدیکی نقاط کرانه ای مسئله ی اغتشاشی تکین با شرایط غیر موضعی می باشیم و از آنجایی که اهمیت تشخیص وجود یا عدم وجود لایه های کرانه ای در نزدیکی نقاط کرانه ای رابطه ی مستقیمی با نحوه ی ساختار و به هم پیوستن جواب های تقریبی داخلی و خارجی و در نهایت به دست آوردن جواب تقریبی یکنواخت برای این چنین مسائل اغتشاشی تکین دارد برهمین اساس هدف اصلی در این مقاله تشخیص وجود یا عدم وجود لایه های کرانه ای برای مسئله ی اغتشاشی تکین با شرایط کرانه ای غیر موضعی می باشد.
عاطفه مختاری حسن آبادی، منوچهر خردمندنیا،
دوره 13، شماره 3 - ( 9-1392 )
چکیده
استفاده از یک نمودار واحد برای کنترل همزمان میانگین و واریانس فرآیند، موجب ساده تر شدن روند کنترل فرآیند
می شود. به علاوه اگر این نمودار از قابلیت تشخیص منبع آلودگی نیز برخوردار باشد، سادگی کار دو چندان می شود.
به همین دلیل نمودارهای کنترل همزمان مورد توجه بسیاری از محققان و صنعتگران قرار گرفته است.
اخیرا در متون کنترل فرآیندهای آماری، نمودارهای کنترلی معرفی شده که مبتنی بر استفاده از ایده چگالی پیش بین
بیزی می باشند. نمودارهای کنترل مبتنی بر این ایده علاوه بر اینکه عدم اطمینان ناشی از برآورد پارامترها را به
حساب می آورند، ما را از اغلب شبیه سازی های گسترده نیز بی نیاز می کنند. این نمودارها برای کنترل میانگین و
واریانس فرآیندهای یک و چند متغیره پیشنهاد شده اند.
تاکنون هیچ مطالعه ای راجع به کنترل همزمان میانگین و واریانس مبتنی بر ایده چگالی پیش بین بیزی انجام نشده
است. ما در مقاله حاضر با استفاده از ایده چگالی پیش بین بیزی، یک نمودار جدید برای کنترل همزمان میانگین و
واریانس فرآیندهای یک متغیره معرفی کرده ایم. ما با استفاده از مثال های شبیه سازی قابلیت های مهم این نمودار جدید را آشکار کرده ایم.
نمودار جدید در مواردی که پارامترها مجهولند کاربرد دارد. به عبارت دیگر، عدم اطمینان ناشی ازبرآورد پارامترها
را به حساب می آورد. این نمودار قادر است منبع آلودگی را تشخیص دهد و نسبت به تغییرات کوچک در میانگین و
واریانس حساس است. در این نمودار حدود کنترل به سادگی، بدون نیاز به شبیه سازی، از جدول نرمال بدست می آید.
محمد مهدی مقامی، نصراله ایران پناه،
دوره 13، شماره 3 - ( 9-1392 )
چکیده
تاکنون روشهای مختلفی برای آزمون نیکویی برازش توزیع نرمال چوله مطرح شده است. در این مقاله روش مینتانیس (2007) که بر اساس تابع مولد گشتاور تجربی است، بررسی می شود. این آزمون به طور مجزا برای پارامتر شکل معلوم و مجهول مطرح می شود. مینتانیس (2007) ادعا کرده است که آزمون او از نظر توان با آزمون کلموگروف-اسمیرنف قابل رقابت است. اما این ادعا تنها برای پارامتر شکل معلوم درست است. در این مقاله روشی برای یافتن آماره آزمون ارائه شده است که علاوه بر زمان کمتر، توان آزمون مینتانیس (2007) را نیز به طور قابل ملاحظه‌ای افزایش می دهد. در این روش برای یافتن سوپریمم، به جای محاسبه تابع روی شبکه، از تابع اپتیمم استفاده می گردد. همچنین مینتانیس (2007) برای پارامتر معلوم اندازه آزمون خود را بررسی نکرده است که در این مقاله به بررسی آن می پردازیم.
نادر نعمت‌الهی، آزاده کیاپور،
دوره 13، شماره 3 - ( 9-1392 )
چکیده
روش¬های بیزی استوار به عنوان شاخه¬ای از آمار بیزی به براورد پارامتر نامعلوم یا پیشگویی مشاهده آینده با تعیین یک کلاس از توزیع¬های پیشین به جای یک توزیع پیشین یکتا می¬پردازد. استفاده از روش¬های بیزی استوار بطور گسترده¬ای درعلوم بیمه¬ای برای براورد حق بیمه و پیشگویی میزان خسارت آینده مورد توجه قرار گرفته است. به این منظور، در این مقاله، با ارائه دو کلاس از توزیع-های پیشین تحت تابع زیان توان دوم خطای ناوردای مقیاس، به براوردیابی بیزی استوار حق بیمه و پیشگویی میزان خسارت آینده می-پردازیم. در پایان، با انجام یک مطالعه شبیه¬سازی و با استفاده از تحلیل پیشگویی دنباله¬ای، به مقایسه پیشگوهای بیزی استوار میزان خسارت آینده به‌دست آمده می¬پردازیم.
نصراله ایران پناه، سمانه نوری امام زاده،
دوره 14، شماره 2 - ( 5-1393 )
چکیده
روش¬های پیشنهاد شده برای آزمون برابری میانگین¬ها معمولا براساس فرض نرمال بودن توزیع مشاهدات در هر تیمار است. در روش بوت استرپ پارامتری با استفاده از باز نمونه گیری، آزمون¬ پیشنهادی بوت استرپ برای برآورد p – مقدار آماره آزمون مورد نظر ارائه می¬گردد. در این مقاله ابتدا آزمون¬های فیشر، کاکران، ولچ، جیمز، براون و فرسیت، تقریب فیشر، ویراهاندی و ولچ تعدیل یافته و همچنین آزمون بوت استرپ پارامتری برای بررسی فرض برابری میانگین¬¬ها ارائه می¬گردد. سپس با مطالعات شبیه سازی برای تعداد تیمارهای مختلف و اندازه نمونه¬های متفاوت، اندازه و توان هریک از آزمون ها محاسبه و با یکدیگر مورد مقایسه قرار می¬گیرند. در نهایت برای بررسی عوامل مؤثر بر مقاومت فشاری بتن ، اندازه این آزمون¬ها برای داده¬های شرکت سیمان سپاهان محاسبه می¬گردد.
محمود لطفی هنیاندری، سید محمد حسینی،
دوره 14، شماره 2 - ( 5-1393 )
چکیده
در چند دهه‌ی اخیر حل مسائل کنترل بهینه با قید مشتقات جز‌ئی به طور وسیعی مورد توجه قرار گرفته است. این نوع مسائل بسیار پیچیده بوده و حل عددی آنها از اهمیت ویژه‌ای برخوردار است. در این مقاله به حل مساله کنترل بهینه با قید مشتقات بیضوی می‌پردازیم. ابتدا با استفاده از روش اجزای محدود شکل گسسته‌ی مساله را به دست می‌آوریم، مساله گسسته به دست آمده یک مساله بهینه‌سازی مقید در ابعاد بزرگ است. حل این مساله بهینه‌سازی با روشهای معمول دشوار و نیازمند زمان و حافظه‌ی کامپیوتری زیادی است. اما روش برگمن مجزا با تبدیل مساله مقید به مساله‌ای نامقید در همان بعد در زمان و حافظه لازم صرفه‌جویی میکند. ما این مساله را با روش تکراری برگمن مجزا حل می کنیم و در مثال‌هایی که می‌آوریم سرعت و دقت روش تکراری برگمن مجزا را در حل این نوع از مسائل نشان می‌دهیم. ما همچنین از روش SQP برای حل مساله و مقایسه با روش برگمن مجزا استفاده کرده‌ایم.
بهزاد محمودیان، محسن محمدزاده درودی، لیلا شهبازی،
دوره 14، شماره 2 - ( 5-1393 )
چکیده
در این مقاله مدل فضایی برای تحلیل مقادیر کرانگین با توزیع حاشیه ای مقدار کرانگین تعمیم یافته معرفی می شود، که در آن وابستگی های کوچک مقیاس با استفاده از تابع مفصل تی فاصله مدل بندی و سپس با رویکردی سلسله مراتبی میدانی تصادفی برای جذب وابستگی های بزرگ مقیاس با پارامتر مکان توزیع های حاشیه ای مرتبط می شود. برازش مدل در رهیافت بیزی با استفاده از تکنیک های مونت کارلوی زنجیر مارکوفی انجام می گیرد که شامل الگوریتم نمونه گیر گیبز، متروپولیس- هستینگس قدم تصادفی و نمونه گیر استقلال سازوار می باشد. در الگوریتم پیشنهادی با به دست آوردن توزیع نامزد مناسب امکان بهنگام سازی بردار پارامتر مکان به صورت توام فراهم می گردد. همچنین پیشگویی فضایی بیزی براساس مدل ارائه شده با تقریب توزیع پیشگو به دست آورده می شود. برآوردپذیری پارامترهای مدل جذب و تفکیک وابستگی های فضایی چندمقیاسی در مطالعه شبیه سازی مورد بررسی قرار گرفته و تحلیل مقادیر کرانگین سرعت باد ارائه می شود.
داریوش بهمردی، فاطمه حیدری، فرید بهروزی،
دوره 14، شماره 3 - ( 7-1393 )
چکیده
مفهوم مدوری خیلی از مفهوم مشتق پذیری دور نیست. در بعضی مقالات رابطه بین مدوری و همواری بررسی شده است. در این مقاله رابطه ی جدیذ بین مدوری و خیلی همواری را توصیف خواهیم کرد.
یک فضای باناخ را مدور است در صورتی که وسط هر دو نقطه متمایز واقع بر کره واحد فضای باناخ در داخل گوی باز واحد آن فضا باشد. یک فضای باناخ را هموار گوییم در صورتی که نرم آن در هرنقطه ناصفر فضا مشتق پذیر گاتو باشد و آنرا خیلی هموار گوییم در صورتی که نرم آن خیلی مشتق پذیر گاتو باشد. یعنی، نرم فضای باناخ و نرم دوگان دوم آن در هر نقطه ی ناصفر فضا مشتق پذیر گاتو باشند.
یداله اردوخانی، ندا رحیمی،
دوره 14، شماره 3 - ( 7-1393 )
چکیده
در این مقاله روش توابع هار گویا شده برای تقریب جواب معادلات انتگرال-دیفرانسیل ولترای کسری به کار گرفته شده است. مشتق کسری در مفهوم کا پوتو تعریف شده است. ویژگی های توابع هار گویا شده ارائه شده و ماتریس عملیاتی انتگرال کسری به همراه ماتریس عملیاتی حاصلضرب برای تبدیل معادلات انتگرال-دیفرانسیل ولترای کسری به دستگاه معادلات جبری به کار گرفته شده است. با استفاده از این روش برای حل معادلات انتگرال-دیفرانسیل کسری زمان انجام محاسبات کوتاه است. مثال های عددی برای اثبات کاربرد روش ارائه شده با پایه توابع هار گویا شده به کار گرفته شده است
نصراله ایران پناه، پریسا میکلانی،
دوره 17، شماره 40 - ( 3-1394 )
چکیده
یکی از مسائل مهم در تحلیل سری¬های زمانی برآورد بازه¬¬ی پیشگویی بر اساس مشاهدات گذشته است. در سال¬های اخیر، روش¬های متفاوت بوت¬استرپ برای برآورد بازه¬های پیشگویی بدون هیچ فرضی در مورد توزیع خطاها، ارائه شده است. روش¬های بوت¬استرپ نیم پارامتری بر اساس برازش یک مدل اتورگرسیو بر روی داده¬ها است و نمونه¬های بوت¬استرپ با استفاده از بازنمونه¬گیری از باقیمانده¬ها تولید می¬شود. در این مقاله در ابتدا، روش¬های بوت-استرپ ناپارامتری ارائه می¬شوند و سپس در یک مطالعه¬ی شبیه¬سازی بازه¬های پیشگویی بوت¬استرپ نیم پارامتری با بازه¬ی پیشگویی استاندارد گاوسی مقایسه می¬شوند. در نهایت روش¬های ارائه شده برای برآورد بازه¬های پیشگویی داده¬های سری زمانی دمای هوای اصفهان به کار می¬روند.
بهروز خادم، امیر دانشگر، سیده فهیمه محبی بور،
دوره 17، شماره 40 - ( 3-1394 )
چکیده
در این مقاله به معرفی یک رمز دنباله‌ای مبتنی بر جایگشت آشوبی می‌پردازیم که اساساً متشکل از یک نگاشت آشوبی و یک بخش خطی است و به صورت کلمه محور بر روی یک میدان متناهی طراحی شده است. نشان خواهیم داد که این سامانه میتواند در دو حالت همزمان و خودهمزمان عمل کرده و بالأخص نشان می‌دهیم که در قالب خودهمزمان دارای یک گیرنده از نوع ناظر با ورودی ناشناخته است. ضمن بررسی کارایی این سامانه با توجه به دقت نمایش ماشین محاسباتی، یک نمونه نرم‌افزاری از آن را پیاده‌سازی کرده و به عنوان یک ویژگی اصلی نشان می‌دهیم که خروجی آن حتی با گسسته سازی نگاشت آشوبی، واجد شرایط لازم آماری است. همچنین به ازای پارامترهای مختلف، این سامانه را با رمزهای دنباله‌ای مشابه مقایسه میکنیم و به طور اخص نشان می‌دهیم که در حالت کلید با اندازه کوتاه (حدود 100 بیت) این سامانه از سرعت قابل‌مقایسه و حجم پیاده‌سازی کمتری نسبت به سامانه‌های مشابه موجود برخوردار است.
میلاد رحیمی، موسی گل علی زاده،
دوره 17، شماره 40 - ( 3-1394 )
چکیده
فرایندهای انتشار مثل حرکت براونی و فرایند اورنشتاین-اولن بک کلاسی از فرایندهای تصادفی هستند که در زمینه های مختلف علوم از جمله علوم زیستی مورد توجه محققین بوده و هستند. در مطالعه چنین فرایندهایی معمولا فرض می شود مشاهدات حاصل از آن ها در فضاهای اقلیدسی قرار دارند. اما دربعضی از پدیده های فیزیکی، شیمیایی و زیستی داده هایی یافت می شوند که به دلایلی مثل تناوبی بودن نمی توانند مقادیری از فضاهای اقلیدسی به حساب آیند. در نتیجه، نمی توان آن ها را با مدل بندی-های معمول ریاضی که برای فضاهای اقلیدسی وجود دارند مورد مطالعه قرار داد.علاوه بر این، از نقطه نظر آمار، بررسی و تحلیل آن ها با استفاده از روش های مرسوم آمار خطی ممکن نیست. زوایای دوسطحی که برای شناسایی، مدل بندی و پیش بینی ساختار اصلی پروتئین ها مورد استفاده قرار می گیرند مثالی از این دست داده هاست. چون این زوایا مقادیری را روی چنبره نمایش می دهند، در نتیجه انتظار می رود مدل بندی مناسب آماری فرایندهای انتشار روی چنبره بتواند کمک شایانی به فعالیت های معطوف به شبیه سازی پویای مولکولی در پیش بینی ساختار اصلی پروتئین ها کند. در این مقاله، با استفاده از فاصله های ریمانی روی چنبره، معادلات دیفرانسیل تصادفی برای نمایش حرکت براونی و فرایند اورنشتاین-اولن بک روی این شکل هندسی به دست آورده می شود. سپس با محاسبه توزیع مانای فرایندهای مورد اشاره شبیه سازی های آماری برای ارزیابی مدل ها صورت خواهد گرفت. به علاوه، ارتباط نتایج حاصل با مفاهیم موجود در آمار غیرخطی برجسته خواهد شد.
علی رضا کشوری، سید محمد حسینی،
دوره 17، شماره 40 - ( 3-1394 )
چکیده
روشی جدید برای پیدا کردن پارامتر بهینه در روش منظمسازی TSVD این است که از رسم منحنی بر حسب نرم مانده استفاده میکند ]5[. چون منظمسازی TSVD روشی با پارامتر منظمسازی گسسته است از این رو، این منحنی هم منحنی گسسته است. در این مقاله با بیان تجزیه و تحلیل ریاضی نشان داده میشود رفتار این منحنی L-شکل است و مانند روش L-منحنی کلاسیک نقطه گوشه این منحنی نیز میتواند متناظر با پارامتر منظم‌ساز بهینه باشد. برای پیدا کردن نقطۀ گوشه -Lمنحنی (پارامتر بهینه) از دو روش پرونینگ[1] و ترینینگ[2] استفاده میکنیم. نتایج عددی نشان می‌دهد این منحنی بهتر از L-منحنی کلاسیک عمل میکند
*نویسنده مسئول alireza_keshvari@yahoo.com
[1]. pruning
[2]. triangle
نسرین مهدیان فرد، محسن محمدزاده،
دوره 17، شماره 40 - ( 3-1394 )
چکیده
برقراری پیوند میان سامانه اطلاعات مکانی و روش های تصمیم گیری مرهون ابداع و تکامل روش تلفیق داده های مکانی است. تلفیق اطلاعات، داده ها را با هدف دستیابی به نتیجه بهتر برای افزایش قابلیت تفسیر اطلاعات با یکدیگر ترکیب می کند. در این مقاله روش تلفیق بیزی برای ترکیب اتدازه ها و خروجی مدل های قطعی و کریگیدن مورد بررسی قرار گرفته اند. سپس با استفاده از آن ها داده های ازن شهر تهران که دارای ساختار همبستگی فضایی هستند مورد تحلیل قرار گرفته و با ملاک میانگین توان های دوم خطا نتایج حاصل از آن ها مورد ارزیابی و مقایسه قرار گرفته اند.
