هدف از این تحقیق، عرضة نتایج آزمایش روی مواد مورد استفاده در باروری ابرها (پیروتکنیک‌های PV-26) و گزارش چگونگی عملکرد محفظه‌های ابر و هوامیز و همچنین معرفی این محفظه‌ها به‌منظور تحقیقات بیشتر است. تاثیر هسته‌های یخ‌سازِ تولید شده با پیروپاترون‌های PV-26 – که در مرکز ملی تحقیقات و مطالعات باروری ابرها به‌صورت مواد بارورساز ابر مورد استفاده قرار می‌گیرد، روی ابر مصنوعی و در شرایط آزمایشگاهی مورد ب...

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

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

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

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

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

زمان‎بندی درس های دانشگاه یک مسئلۀ پیچیدۀ بهینه‏سازی است. عوامل زیادی مانند گروه های آموزشی، استادان، اتاق ها و دانشجویان، مسئله را بزرگ و حل آن را دشوار می‎کنند. هر عامل، مجموعه‎ای از محدودیت ها را که معمولاً با هم در تضاد هستند، بر فضای حل تحمیل می کند. اگر درس ها در اتاق های متفاوت و در بازه های زمانی معین به‎گونه ای زمان‎بندی شوند که مجموعه محدودیت ها را برآورده کنند، مسئله حل خواهد شد. در ا...

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