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

به منظور پیش بینی فعالیت آنتی hiv یکسری از مشتقات فنتیل تیازولیل تیواوره (peet)، مدلهای ارتباط کمی ساختار- فعالیت (qsar) با استفاده از توصیفگرهای محاسبه شده، ساخته شد. روش رگرسیون مرحله ای جهت کاهش تعداد توصیفگرهای (متغییرها) محاسبه شده توسط دراگون به گار گرفته شد. متغییرهای انتخاب شده سپس به عنوان ورودی برای تولید مدلهای qsar با استفاده از رگرسیون خطی خطی چندگانه(mlr) و شبکه عصبی مصنوعی(ann)قر...

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

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

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

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

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

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

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

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