فهرس المقالات اتوماتا

• حرية الوصول المقاله
  • صفحة الملخص
  • نص كامل
  
  1 - مدل سازی ابر گروه های شبه مرتبه روی اتوماتای فازی عمومی
  محمد حری
  در این مقاله، ابتدا یک قسمت ساده شده از یک اتوماتای فازی عمومی با ثابت c تعریف شده و سپس یک زیرقسمت از یک قسمت ساده شده از یک اتوماتای فازی عمومی با ثابت c تعریف می شود و همبندی و همبندی قوی آنها بررسی شده و در نهایت، مدلی از یک ابرگروه شبه مرتبه روی اتوماتای فازی عمومی أکثر

  در این مقاله، ابتدا یک قسمت ساده شده از یک اتوماتای فازی عمومی با ثابت c تعریف شده و سپس یک زیرقسمت از یک قسمت ساده شده از یک اتوماتای فازی عمومی با ثابت c تعریف می شود و همبندی و همبندی قوی آنها بررسی شده و در نهایت، مدلی از یک ابرگروه شبه مرتبه روی اتوماتای فازی عمومی با ثابت cارائه می شود و ارتباطات بین آنها بررسی می شود. در این مقاله، ابتدا یک قسمت ساده شده از یک اتوماتای فازی عمومی با ثابت c تعریف شده و سپس یک زیرقسمت از یک قسمت ساده شده از یک اتوماتای فازی عمومی با ثابت c تعریف می شود و همبندی و همبندی قوی آنها بررسی شده و در نهایت، مدلی از یک ابرگروه شبه مرتبه روی اتوماتای فازی عمومی با ثابت cارائه می شود و ارتباطات بین آنها بررسی می شود. در این مقاله، ابتدا یک قسمت ساده شده از یک اتوماتای فازی عمومی با ثابت c تعریف شده تفاصيل المقالة
• حرية الوصول المقاله
  • صفحة الملخص
  • نص كامل
  
  2 - همنهشتی های فازی مایهیل- نرود متناظر با اتوماتای فازی عمومی
  خدیجه ابول پور محمد مهدی زاهدی مرضیه شمسی زاده
  قضیه‌ی مایهیل- نرود یکی از قضایای اساسی در نظریه‌ی زبان‌ها و اتوماتا است و برای اثبات هم‌ارزی اتوماتاها و زبان‌های آنها استفاده می‌شود. اهمیت این قضیه موجب شده تا پژوهشگران تلاش نمایند آن را روی اتوماتا‌های مختلف گسترش دهند و به نوعی در زمینه‌ی بهینه سازی مدل‌های محاسبا أکثر

  قضیه‌ی مایهیل- نرود یکی از قضایای اساسی در نظریه‌ی زبان‌ها و اتوماتا است و برای اثبات هم‌ارزی اتوماتاها و زبان‌های آنها استفاده می‌شود. اهمیت این قضیه موجب شده تا پژوهشگران تلاش نمایند آن را روی اتوماتا‌های مختلف گسترش دهند و به نوعی در زمینه‌ی بهینه سازی مدل‌های محاسباتی گام بردارند. در این مقاله، به توسعه‌ی مفهوم همنهشتی در اتوماتای فازی عمومی بر پایه‌ی این قضیه می‌پردازیم. بدین منظور، ابتدا با استفاده از مفهوم همنهشتی راست فازی روی یک تکواره‌ی آزاد، اتوماتای فازی عمومی القا شده توسط همنهشتی راست فازی را تعریف می‌کنیم. در ادامه، با استفاده از مفهوم زبان شناسایی شده توسط یک اتوماتا، نشان می‌دهیم که در این اتوماتای القا شده یک زبان قابل شناسایی است، اگر و تنها اگر توسیعی از همنهشتی راست فازی روی تکواره‌ی آزاد باشد. در نتیجه، این زبان شناسایی شده با زبان بخش صریح اتوماتای فوق یکسان است. همچنین، همنهشتی راست فازی نرود و همنهشتی فازی مایهیل متناظر با یک اتوماتای فازی عمومی ماگزیمال-مینیمال را تعریف می‌کنیم و نشان می‌دهیم زبان شناسایی شده بوسیله‌ی اتوماتای فازی عمومی ماگزیمال-مینیمال با زبان شناسایی شده بوسیله‌ی اتوماتای فازی عمومی ماگزیمال-مینیمال القا شده توسط همنهشتی راست فازی نرود یکسان است. در پایان، با ارائه‌ی مثال‌هایی مفاهیم فوق را روشن می‌سازیم. تفاصيل المقالة
• حرية الوصول المقاله
  • صفحة الملخص
  • نص كامل
  
  3 - Zero-forcing Finite Automata
  M. Shamsizadeh M. M. Zahedi M. Golmohamadian KH. Abolpour
  The current study aims to establish a connection between graphs and automata theory, which apparently demonstrate different mathematical structures. Through searching out some properties of one of these structures, we try to find some new properties of the other structu أکثر

  The current study aims to establish a connection between graphs and automata theory, which apparently demonstrate different mathematical structures. Through searching out some properties of one of these structures, we try to find some new properties of the other structure as well. This will result in obtaining some unknown properties. At first, a novel automaton called zero-forcing (Z-F) finite automata is defined according to the notion of a zero-forcing set of a graph. It is shown that for a given graph and for some zero forcing sets, various Z-F-finite automata will be obtained. In addition, the language and the closure properties of Z-F-finite automata, in particular; union, connection, and serial connection are studied. Moreover, considering some properties of graphs such as the closed trail, connected and complete; some new features for Z-F-finite automata are presented. Further, it is shown that there is not any finite graph such that f be a part of the language of its Z-F-finite automata. Actually, it is proved that for every given graph, the Z-F-finite automata of it does not show any closed trail containing all edges for every zero forcing set, but if the graph G has been a closed trail containing all edges, then the Z-F-finite automata of it has a weak closed trail containing all edges. Some examples are also given to clarify these new notions. تفاصيل المقالة
• حرية الوصول المقاله
  • صفحة الملخص
  • نص كامل
  
  4 - آﺷﮑﺎرﺳﺎزی ﺗﻐﯿﯿﺮات ﮐﺎرﺑﺮی و ﭘﻮﺷﺶ اراﺿﯽ در اﻓﻖ 2025 ﺑﺎ اﺳﺘﻔﺎده از ﻣﺪل اتوماتای سلولی CA (ﻣﻄﺎﻟﻌﻪ ﻣﻮردی: شمال شهر اصفهان)
  اعظم خدادادی رحیم سرور مجید ولی شریعت پناهی
  چکیده ﺟﻬﺎﻧﻲ ﻛﻪ اﻣﺮوز ﻣﺎ در آن زﻧﺪﮔﻲ می‌کنیم، ﺟﻬﺎن ﺷﻬﺮی اﺳﺖ ﻛﻪ ﻣﺘﺄﺳﻔﺎﻧﻪ ﻧﺘﻴﺠﻪ آن، دوری از ﻣﺤﻴﻂ ﻃﺒﻴﻌﻲ و ﭘﺬﻳﺮش ﻧﺎﺧﻮاﺳﺘﻪ ﺷﺮاﻳﻂ ﻧﺎﻣﺘﻌﺎدﻟﻲ اﺳﺖ ﻛﻪ از رواﺑﻂ ﻧﺎﻣﻮزون انسان‌ها و ﻓﻀﺎی ﺷﻬﺮی ﻧﺸﺄت می‌گیرد. روش متنوعی‌های ﺑﺮای ﻣﺪل ﺳﺎزی ﺗﻐﻴﻴﺮات ﭘﻮﺷﺶ و ﻛﺎرﺑﺮی اراﺿﻲ وﺟﻮد دارد ﻛﻪ از ﺟﻤﻠﻪ أکثر

  چکیده ﺟﻬﺎﻧﻲ ﻛﻪ اﻣﺮوز ﻣﺎ در آن زﻧﺪﮔﻲ می‌کنیم، ﺟﻬﺎن ﺷﻬﺮی اﺳﺖ ﻛﻪ ﻣﺘﺄﺳﻔﺎﻧﻪ ﻧﺘﻴﺠﻪ آن، دوری از ﻣﺤﻴﻂ ﻃﺒﻴﻌﻲ و ﭘﺬﻳﺮش ﻧﺎﺧﻮاﺳﺘﻪ ﺷﺮاﻳﻂ ﻧﺎﻣﺘﻌﺎدﻟﻲ اﺳﺖ ﻛﻪ از رواﺑﻂ ﻧﺎﻣﻮزون انسان‌ها و ﻓﻀﺎی ﺷﻬﺮی ﻧﺸﺄت می‌گیرد. روش متنوعی‌های ﺑﺮای ﻣﺪل ﺳﺎزی ﺗﻐﻴﻴﺮات ﭘﻮﺷﺶ و ﻛﺎرﺑﺮی اراﺿﻲ وﺟﻮد دارد ﻛﻪ از ﺟﻤﻠﻪ آن‌ها می‌توان ﺑﻪ ﻣﺪل CA ﻣﺎرﻛﻮف اﺷﺎره ﻛﺮد. اﯾﻦ ﺗﺤﻘﯿﻖ در ﺻﺪد اﺳﺖ اﻟﮕﻮی روش ﺷﻨﺎﺧﺘﯽ ﺟﺪﯾﺪ را ﺑﺮای ﺷﺒﯿﻪ ﺳﺎزی دﯾﻨﺎﻣﯿﮏ ﮐﺎرﺑﺮی اراﺿﯽ ﺷﻬﺮی، ﺑﺎ اﺳـﺘﻔﺎده ازﺳـﻨﺠﺶ از دور، GIS و ﻣـﺪل سلول‌های ﺧﻮدﮐﺎر ﻓﺮاﻫﻢ ﻧﻤﺎﯾﺪ.در اﻳـﻦ پژوهش، شمال ﺷـﻬﺮ اﺻـﻔﻬﺎن و حدودتقریبی اراﺿـﻲ اﻃﺮاف آن ﺑﻪ ﻋﻨﻮان ﻣﻨﻄﻘﻪ ﻣﻮرد ﻣﻄﺎﻟﻌﻪ اﻧﺘﺨﺎب ﺷﺪ و از ﺗﺼﺎوﻳﺮ ﻣﺎﻫﻮارهای ﺳـﺎل 1991 و ﺳـﺎل 2001 وسال 2017 ﺑﺮای ﺗﻬﻴﻪ نقشه‌های ﭘﻮﺷﺶ اراﺿﻲ ﻣﻨﻄﻘﻪ اﺳﺘﻔﺎده ﺷﺪ. این پژوهش ﺑﻪ اﻳﻦ ﻧﺘﻴﺠﻪ رﺳﻴﺪ ﻛـﻪ در پیش‌بینی ده سال آینده در ابتدا تصویر طبقه‌بندی شده سال 1991 و بعد تصویر طبقه‌بندی شده سال 2001 به مدل معرفی گردید که از این طریق ماتریس تبدیلات به دست آمد، برای پیش‌بینی سال 2025، که بعد از این مرحله، تصویر سال 2017 را همراه با ماتریس تبدیلات به دست آمده از دوره قبل و لایه‌های محدودیت رشد به مدل معرفی گردید و پیش‌بینی سال 2025 به دست آمد نشان می‌دهد از ﻣﺪل زنجیره‌ای CA ﻣﺎرﻛﻮف و ﻓﻴﻠﺘﺮ ﺑﺮای ﭘﻴﺶ ﺑﻴﻨﻲ ﺗﻐﻴﻴﺮات ﭘﻮﺷﺶ اراﺿﻲ در ده ﺳﺎل آﻳﻨﺪه ﺑﻬﺮه ﮔﺮﻓﺘﻪ ﺷﺪ، اﻳﻦ ﻣﺪل ﺑﻄـﻮر ﺗﻠﻔﻴﻘـﻲ CA-Markov ﻧﺎﻣﻴﺪه می‌شود. ﺑﺮای ﺑﺮرﺳﻲ ﺗﻮاﻧﺎﻳﻲ ﻣﺪل ﻣﺎرﻛﻮف ﻧﻴﺰ از روش دقت کلی و ضریب کاپا ﻣﺤﺎﺳﺒﻪ اﺳﺘﻔﺎده ﺷﺪ، مدل CA-MARKOV دارای شاخص کاپای 13/88 می‌باشد. تفاصيل المقالة
• حرية الوصول المقاله
  • صفحة الملخص
  • نص كامل
  
  5 - ارائه روش سخت‌افزاری کاهش خطا در ادوات الکترونیکی نانوماهواره‌های کوانتومی
  مژده مهدوی محمدامین امیری وحید سادات پور
  امروزه، فناوری فضایی به عنوان یکی از زمینه های رقابتی در بین کشورها شناخته می شود و دستاوردهای مختلف فناوری فضایی، مبنای دقیقی برای مقایسه کشورها ازنظر توسعه صنعتی محسوب می گردد. درآینده نزدیک، نانوماهواره ها به گرایش اصلی توسعه شاخه مانیتورینگ منطقه ای زمین و موقعیت یا أکثر

  امروزه، فناوری فضایی به عنوان یکی از زمینه های رقابتی در بین کشورها شناخته می شود و دستاوردهای مختلف فناوری فضایی، مبنای دقیقی برای مقایسه کشورها ازنظر توسعه صنعتی محسوب می گردد. درآینده نزدیک، نانوماهواره ها به گرایش اصلی توسعه شاخه مانیتورینگ منطقه ای زمین و موقعیت یابی تبدیل خواهندشد. گردش مالی که ساخت یک ماهواره بخود اختصاص می دهد میلیونها دلار می باشد بنابراین بخش قابل توجهی از سرمایه گذاری هر کشور در بخش هوافضا بوده و در صورت عدم موفقیت، هزینه زیادی به سازنده تحمیل می‌شود. به همین دلیل قبل از پرتاب ماهواره، ملاحظاتی صورت می گیرد تا ماهواره ها بتوانند عملیات محوله را بدون کوچکترین خطا انجام دهند. تاکنون استفاده از مدارات میکروالکترونیک بدلیل مزایایی که دارند، از جمله در دسترس بودن و قابلیت پیکربندی مجدد، در کاربردهای فضایی رایج بود، اما این قطعات نسبت به محیط تشعشعات آسیب‌پذیر هستند. از طرفی دیگر، بدلیل تحولات سریع الکترونیک به سمت فناوری نانو و برتری‌هایی که مدارات نانو الکترونیک دارند، در آینده‌ای نه چندان دور، قطعات نانوالکترونیک جایگزین مناسبی در کاربردهای فضایی خواهند شد. باکاهش ابعاد قطعات، حساسیت مدار بیشتر شده و مدارهای کوانتومی نسبت به تشعشعات محیط فضا آسیب‌پذیرتر هستند. در این مقاله به ارائه روش افزایش تحمل پذیری خطا و شبیه سازی آنها در سیم باینری نانوماهواره ها در تکنولوژی اتوماتای سلولی کوانتومی می‌پردازیم. تفاصيل المقالة
• حرية الوصول المقاله
  • صفحة الملخص
  • نص كامل
  
  6 - تولید اعداد شبه تصادفی مبتنی بر اتوماتای سلولی و مورچه های لانگتون
  سید مرتضی حسینی حسین کریمی مجید وفایی جهان
  رفتار تکاملی و پیچیده اتوماتای سلولی باعث کاربرد آن در تولید اعداد شبه تصادفی، رمزنگاری اطلاعات و حل مسائلبهینه سازی شده است. در تولید اعداد شبه تصادفی، این ساختارتوانایی تولید دنباله نامحدود و طولانی ندارد و این باعث شده استکه برای افزایش دنباله اعداد از اتوماتای سلولی أکثر

  رفتار تکاملی و پیچیده اتوماتای سلولی باعث کاربرد آن در تولید اعداد شبه تصادفی، رمزنگاری اطلاعات و حل مسائلبهینه سازی شده است. در تولید اعداد شبه تصادفی، این ساختارتوانایی تولید دنباله نامحدود و طولانی ندارد و این باعث شده استکه برای افزایش دنباله اعداد از اتوماتای سلولی غیرهمگن(با قوانین متغیر ) و یا از عامل های تحریک کننده اتوماتای سلولی باترکیب چند اتوماتا استفاده شود. در این مقاله از اتوماتای سلولی ترکیبی غیرهمگن با کمک مورچه های لانگتون، برای تولید اعدادشبه تصادفی استفاده شده است. مورچههای لانگتون یک سیستم دینامیکی گسسته می باشند که دارای رفتاری بسیار پیچیدههستند.اتوماتای سلولی به عنوان مولد اعدد شبه تصادفی و مورچه لانگتون به عنوان محرک اتوماتای سلولی و انتخاب کننده قانوناتوماتا است.نتایج به دست آمده نشان می دهد که در ای ن روش، برخلاف انتظار، مورچه های لانگتون و اتوماتای سلولی رفتارآشوب گونه ندارند و رفتاری شبه تصادفی از خود نشان می دهند که در نتیجه باعث به وجود آمدن دنباله ای بسیار طولانی با تعداد2 می توان دست یافت. در این راستا آزمونهای مولد اعداد 􀬷􀯡 سلول به دنباله ای با طول n محدودی سلول می شود؛ به طوری که باو آزمونهای دیگر نشان دهند ة موفقیت این مولد در NIST و Diehard شبه تصادفی انجام شده همچون آزمون آنتروپی، آزمونایجاد دنباله شبه تصادفی است. تفاصيل المقالة
• حرية الوصول المقاله
  • صفحة الملخص
  • نص كامل
  
  7 - رمزنگاری بلاکی مبتنی بر اتوماتای سلولی سه بعدی
  مجید وفایی جهان سید مرتضی حسینی
  اتوماتای سلولی ساختاری خودسازمانده با مجموعه‌ای از سلولهاست که در آن هر سلول بوسیله قوانین مشخصی آپدیت می شود که به تعداد محدودی از سلولهای همسایه وابسته است. اتوماتای سلولی دارای خصوصیاتی از قبیل انجام عملیات داخلی، رفتار تکاملی و پیچیده و انجام موازی عملیات است که این أکثر

  اتوماتای سلولی ساختاری خودسازمانده با مجموعه‌ای از سلولهاست که در آن هر سلول بوسیله قوانین مشخصی آپدیت می شود که به تعداد محدودی از سلولهای همسایه وابسته است. اتوماتای سلولی دارای خصوصیاتی از قبیل انجام عملیات داخلی، رفتار تکاملی و پیچیده و انجام موازی عملیات است که این خصوصیات باعث کاربرد آن در تولید اعداد تصادفی، رمزنگاری اطلاعات و حل مسائل بهینه‌سازی شده است. در این مقاله یک متد جدیدی از رمزنگاری بلاکی مبتنی بر مد رمزنگاری CBC با استفاده از ترکیب اتوماتای سلولی 3 بعدی بازگشت پذیر با قابلیت برنامه ریزی و s-box مبتنی بر کلید ارئه شده است. برمبنای این طرح 16 قانون بازگشتی ارائه شده است و طول بلاک برای رمزنگاری و رمزگشایی برابر 256 بیت در نظر گرفته شده است. در این طرح هر بیت از متن ساده با شش بیت از کلید همسایه است و بر طبق مقادیر این همسایه‌ها یکی از 16 قانون بر روی آن اعمال می شود. نتایج بدست آمده از تست ها نشان می دهد که توزیع 0 و 1 ها در متن رمزشده تقریباً برابرند و آنتروپی داده‌های رمزشده بسیار نزدیک به حداکثر آنتروپی می‌باشد و تغییر بسیار جزئی در کلید یا متن ساده باعث تغییرات کلی در متن رمزشده می‌شود. مقاومت این طرح در برابر حملات تفاضلی و خطی نیز بحث شده و نشان داده شده است که این طرح در برابر این حملات بسیار مقاوم می‌باشد و حمله کننده برای موفقیت در این حملات نیاز به زمان و منابع بسیار زیادی خواهد داشت. تفاصيل المقالة
• حرية الوصول المقاله
  • صفحة الملخص
  • نص كامل
  
  8 - مدلسازی تغییرات کاربری اراضی و پیش‌بینی‌های آینده با استفاده از شبیه-سازی CA-ANN در حوضه آبخیز 25 شنرود سیاهکل
  رقیه جهدی
  در این مطالعه، روندهای مکانی–زمانی پویایی کاربری اراضی برای دوره 1401-1380 با استفاده از داده سنجش از دور مورد تجزیه و تحلیل قرار گرفت. طبقه‌بندی تصویر بر اساس سه طبقه عمده کاربری اراضی یعنی جنگل، مناطق انسان‌ساز (کشاورزی و ساخته شده) و سایر مناطق طبیعی (اراضی لخت أکثر

  در این مطالعه، روندهای مکانی–زمانی پویایی کاربری اراضی برای دوره 1401-1380 با استفاده از داده سنجش از دور مورد تجزیه و تحلیل قرار گرفت. طبقه‌بندی تصویر بر اساس سه طبقه عمده کاربری اراضی یعنی جنگل، مناطق انسان‌ساز (کشاورزی و ساخته شده) و سایر مناطق طبیعی (اراضی لخت، علفزار، جنگلکاری، درختچه‌زار، نواحی آبی و اراضی جنگلی) انجام شد. نقشه‌های تغییرات کاربری اراضی منطقه در دوره 1401-1380 نشان می‌دهند که مناطق انسان‌ساز 3/9 درصد افزایش یافته‌اند. در مقابل، جنگل و سایر مناطق طبیعی به ترتیب 1/7 درصد و 2/2 درصد کاهش یافتند. علاوه بر این، تکنیک شبکه عصبی مصنوعی-اتوماتای سلولی (CA-ANN) برای پیش‌بینی تغییرات کاربری اراضی در دوره 1422-1401 استفاده شد. درصد صحت برای شبیه‌سازی 91 درصد و مقدار کاپا کلی 86/0 بود. به‌طور مشابه با نقشه‌های طبقه‌بندی شده در دوره 1401-1380، نقشه‌های پیش‌بینی شده در دوره 1422-1401 روند افزایشی را در مناطق انسان‌ساز به میزان 7/4 درصد و روند کاهشی در جنگل و سایر مناطق طبیعی به‌ترتیب به میزان 3/4 درصد و 4/0 درصد نشان می‌دهد. در این کار، مدل‌های رگرسیونی حداقل مربعات معمولی (OLS) برای پیش‌بینی تغییرات کاربری اراضی در منطقه مورد مطالعه به عنوان تابعی از متغیرهای توصیفی [ارتفاع، شیب و متغیرهای مجاورت مانند فاصله تا مرکز شهر، جاده‌ها، روستاها و آبراهه‌ها] اجرا شد. نتایج مدل های OLS عملکرد نسبتاً خوبی را برای پیش‌ینی تغییرات کاربری اراضی با مقدار R2 بیشتر از 5/0 نشان داد. این نتایج دانش مهمی را ارائه می‌کند که می‌تواند به توسعه برنامه‌ریزی و مدیریت پایدار آینده کمک کند و هم‌چنین به مدیران در تصمیم‌گیری آگاهانه برای بهبود شرایط محیط‌زیستی و اکولوژیکی کمک کند. تفاصيل المقالة
• حرية الوصول المقاله
  • صفحة الملخص
  • نص كامل
  
  9 - پیش بینی رﺷﺪ و ﺗﻮﺳﻌﻪ شهرستان بندرگز ﺑﺎ استفاده از ﻣﺪل اتوماتای سلولیﻓﺎزى (FCA)
  علیرضا دنیائی
  ﻣﺪلﻫﺎى ﻣﺒﺘﻨﻰ ﺑﺮ اتوماتای سلولی(CA) از ﺟﻤﻠﻪ ﻣﺪل‌هاﻳﻰ اﺳﺖ ﻛﻪ در آن‌ها ﻗﻮاﻧﻴﻦ ﺗﺒﺪﻳﻞ در ﺣﺎﻟﺘﻰ ﻏﻴﺮﻣﻨﻌﻄﻒ ﺗﻌﺮﻳﻒ ﻣﻰﮔﺮدﻧﺪ. ﺗﺮﻛﻴﺐ ﻣﻨﻄﻖ ﻓﺎزى ﺑﺎ ﻣﺪل اتوماتای سلولیﻛﻼﺳﻴﻚ اﻣﻜﺎن مدل‌سازی ﻋﺪم ﻗﻄﻌﻴﺖ ﺣﺎﻛﻢ ﺑﺮ ﻓﺮآﻳﻨﺪ ﺷﺒﻴﻪﺳﺎزى توسعه ﺷﻬﺮى را از ﻃﺮﻳﻖ ﺗﻌﺮﻳﻒ ﻗﻮاﻧﻴﻦ ﺗﺒﺪﻳﻞ ﺑﺎ درﺟﺎت ﻋﻀﻮﻳﺖ ﻓﺎزى ﻓﺮا أکثر

  ﻣﺪلﻫﺎى ﻣﺒﺘﻨﻰ ﺑﺮ اتوماتای سلولی(CA) از ﺟﻤﻠﻪ ﻣﺪل‌هاﻳﻰ اﺳﺖ ﻛﻪ در آن‌ها ﻗﻮاﻧﻴﻦ ﺗﺒﺪﻳﻞ در ﺣﺎﻟﺘﻰ ﻏﻴﺮﻣﻨﻌﻄﻒ ﺗﻌﺮﻳﻒ ﻣﻰﮔﺮدﻧﺪ. ﺗﺮﻛﻴﺐ ﻣﻨﻄﻖ ﻓﺎزى ﺑﺎ ﻣﺪل اتوماتای سلولیﻛﻼﺳﻴﻚ اﻣﻜﺎن مدل‌سازی ﻋﺪم ﻗﻄﻌﻴﺖ ﺣﺎﻛﻢ ﺑﺮ ﻓﺮآﻳﻨﺪ ﺷﺒﻴﻪﺳﺎزى توسعه ﺷﻬﺮى را از ﻃﺮﻳﻖ ﺗﻌﺮﻳﻒ ﻗﻮاﻧﻴﻦ ﺗﺒﺪﻳﻞ ﺑﺎ درﺟﺎت ﻋﻀﻮﻳﺖ ﻓﺎزى ﻓﺮاﻫﻢ ﻣﻰﺳﺎزد. ﭘﮋوﻫﺶ ﺣﺎﺿﺮ ﻣﺪﻟﻰ از ﺗﻮﺳﻌﻪ ﺷﻬﺮى را ﺑﺮ ﻣﺒﻨﺎى اﺻﻮل اتوماتای سلولی و ﻣﻨﻄﻖ ﻓﺎزى اراﺋﻪ می‌نماید. در اﻳﻦ راﺳﺘﺎ اﺑﺘﺪا ﻣﻬﻤﺘﺮﻳﻦ ﺷﺎﺧﺺﻫﺎى ﻣﺆﺛﺮ ﺑﺮ توسعه ﺷﻬﺮى و ﺳﺎﺧﺘﺎر ﺷﺒﻜﻪاى ﺷﺎﺧﺺﻫﺎ ﺑﺎ روش دﻳﻤﺎﺗﻞ به‌دﺳﺖ آﻣﺪ، ﺳﭙﺲ وزن ﻫﺮ ﺷﺎﺧﺺ ﺑﺎ روش ﻓﺮآﻳﻨﺪ ﺗﺤﻠﻴﻞ ﺷﺒﻜﻪ (ANP) ﻣﺤﺎﺳﺒﻪ ﺷﺪ. ﺑﺮاى ﺷﺒﻴﻪ ﺳﺎزى توسعه ﺷﻬﺮى در ﻣﺤﺪوده ﻣﻮرد ﻣﻄﺎﻟﻌﻪ (شهرستان بندرگز) ﺑﺮاى ﺳﺎل2100 از ٣ ﺗﺼﻮﻳﺮ ﻣﺎﻫﻮاره‌اى ﻣﺮﺑﻮط ﺑﻪ ﺳﺎلﻫﺎى 2012، 2014 و 2019 اﺳﺘﻔﺎده ﺷﺪ. ﺑﻌﺪ از اﻧﺠﺎم ﻋﻤﻠﻴﺎت ﭘﻴﺶﭘﺮدازش، ﻃﺒﻘﻪﺑﻨﺪى ﺗﺼﺎوﻳﺮ ﺑﺮاى ﻫﺮ ﺳﻪ دوره ﺑﺎ روش ﺣﺪاﻛﺜﺮ ﺷﺒﺎﻫﺖ ﺻﻮرت ﮔﺮﻓت. ﺑﺮاى ﺑﺮرﺳﻰ ﺻﺤﺖ ﻧﻘﺸﻪﻫﺎ در دو ﻣﺮﺣﻠﻪ از ﺷﺎﺧﺺ ﻛﺎﭘﺎ اﺳﺘﻔﺎده ﺷﺪ، اﺑﺘﺪا ﻧﻘﺸﻪﻫﺎى ﺳﺎلﻫﺎى ﻣﺒﺪا ﻃﺒﻘﻪﺑﻨﺪى و ﺻﺤﺖ آن‌ها ﺑﺎ واﻗﻌﻴﺖ ﺑﺮرﺳﻰ ﺷﺪ، سپس ﺑﺮاى ﺷﺒﻴﻪﺳﺎزى ﻧﻘﺸﻪ ﺳﺎلﻫﺎى دﻳﮕﺮ اﻗﺪام ﺷﺪ و ﻣﺠﺪدا ﺻﺤﺖ عملیات مورد ارزیابی قرار گرفت. از آﻧﺠﺎ ﻛﻪ ﻣﻴﺰان ﺻﺤﺖ ﻣﺪل ﺑﺮاى دورهﻫﺎى داراى ﻧﻘﺸﻪ ﻗﺎﺑﻞ ﻗﺒﻮل ارزﻳﺎﺑﻰ ﺷﺪ، ﺑﻨﺎﺑﺮاﻳﻦ ﺑﺮاى ﺷﺒﻴﻪﺳﺎزى توسعه ﺷﻬﺮى ﺳﺎل2100 ﻣﺪل رﮔﺮﺳﻴﻮن ﺧﻄﻰ و ﻣﺎﺗﺮﻳﺲ اﺣﺘﻤﺎﻻت ﺗﺒﺪﻳﻞ ﻣﻮرد اﺳﺘﻔﺎده ﻗﺮار ﮔﺮﻓت. ﻧﺘﺎﻳﺞ ﻧﺸﺎن داد که ﻣﺪل اراﺋﻪ ﺷﺪه ﻗﺎﺑﻞ ﻗﺒﻮل بوده به‌طوریکه در ﺷﺒﻴﻪﺳﺎزى ﺷﻬﺮى ﻧﺴﺒﺖ ﺑﻪ ﻣﺪل ﻛﻼﺳﻴﻚ CA بهتر عمل می‌نماید. همچنین رﺷﺪ و ﺗﻮﺳﻌﻪ شهرستان بندرگز در دورهﻫﺎى ﻣﺨﺘﻠﻒ بیشتر در ﺟﻬﺖهای شرقی و غربی ﺻﻮرت ﮔﺮﻓﺘﻪ اﺳﺖ. تفاصيل المقالة
• حرية الوصول المقاله
  • صفحة الملخص
  • نص كامل
  
  10 - معرفی یک D Flip-Flop مبتکرانه برای طراحی ثبات چهار ارزشی QCA
  علیرضا نویدی رضا صباغی ندوشن مسعود دوستی
  اتوماتای سلولی نقاط کوانتومی (QCA) با بهره‌گیری از پیشرفت‌های فن‌آوری نانو، بسیاری از محدودیت‌هایی که نیمه‌رسانا اکسید فلزی مکمل (CMOS) با آن روبرو شده بود را برطرف کرده است. مشخصه‌های نامطلوب همانند جریان‌های نشتی زیاد، طراحی‌های CMOS را در ابعاد نانو محدود می‌سازد. ای أکثر

  اتوماتای سلولی نقاط کوانتومی (QCA) با بهره‌گیری از پیشرفت‌های فن‌آوری نانو، بسیاری از محدودیت‌هایی که نیمه‌رسانا اکسید فلزی مکمل (CMOS) با آن روبرو شده بود را برطرف کرده است. مشخصه‌های نامطلوب همانند جریان‌های نشتی زیاد، طراحی‌های CMOS را در ابعاد نانو محدود می‌سازد. ایده‌ی طراحی سیستم‌های چند ارزشی منطقی (MVL) به جای دودویی استاندارد، برای بسیاری از طراحان جذاب شده است. کاربرد MVL در طراحی مدارهای دیجیتال، مزایای بسیاری نسبت به روش‌های مرسوم دارد. فلیپ فلاپ D یک مدار ترتیبی عمده در هر ثباتی است. در این مقاله، یک فلاپ فلاپ D چهار ارزشی مبتنی بر اتوماتای سلولی نقاط کوانتومی چهارچهاری (QQCA) معرفی شده و ساختار مدل چهارچهاری پیشنهادی شرح داده شده است. همچنین ما با استفاده از فلیپ فلاپ D چهارچهاری ارائه شده، یک ثبات 4 کوبیتی پیشنهاد کرده‌ایم. هر دو مدار توسط QCASim (نسخه چهارچهاری)، شبیه‌سازی و ارزیابی شده‌اند. QCASim می‌تواند نتیجه‌ی شبیه‌سازی را در قالب شکل موج و جدول صحت نمایش دهد. کار ما با سایر آثار منتشر شده مورد مقایسه قرار گرفته است. نتایج شبیه‌سازی نشان می‌دهد که مدار پیشنهادی از نظر تاخیر و مصرف انرژی کارآمد است. تفاصيل المقالة
• حرية الوصول المقاله
  • صفحة الملخص
  • نص كامل
  
  11 - آﺷﮑﺎرﺳﺎزی ﺗﻐﯿﯿﺮات ﮐﺎرﺑﺮی و ﭘﻮﺷﺶ اراﺿﯽ در اﻓﻖ 2025 ﺑﺎ اﺳﺘﻔﺎده از ﻣﺪل اتوماتای سلولی CA (ﻣﻄﺎﻟﻌﻪ ﻣﻮردی: شمال شهر اصفهان)
  اعظم خدادادی رحیم سرور مجید ولی شریعت پناهی
  چکیده ﺟﻬﺎﻧﻲ ﻛﻪ اﻣﺮوز ﻣﺎ در آن زﻧﺪﮔﻲ می‌کنیم، ﺟﻬﺎن ﺷﻬﺮی اﺳﺖ ﻛﻪ ﻣﺘﺄﺳﻔﺎﻧﻪ ﻧﺘﻴﺠﻪ آن، دوری از ﻣﺤﻴﻂ ﻃﺒﻴﻌﻲ و ﭘﺬﻳﺮش ﻧﺎﺧﻮاﺳﺘﻪ ﺷﺮاﻳﻂ ﻧﺎﻣﺘﻌﺎدﻟﻲ اﺳﺖ ﻛﻪ از رواﺑﻂ ﻧﺎﻣﻮزون انسان‌ها و ﻓﻀﺎی ﺷﻬﺮی ﻧﺸﺄت می‌گیرد. روش متنوعی‌های ﺑﺮای ﻣﺪل ﺳﺎزی ﺗﻐﻴﻴﺮات ﭘﻮﺷﺶ و ﻛﺎرﺑﺮی اراﺿﻲ وﺟﻮد دارد ﻛﻪ از ﺟﻤﻠﻪ أکثر

  چکیده ﺟﻬﺎﻧﻲ ﻛﻪ اﻣﺮوز ﻣﺎ در آن زﻧﺪﮔﻲ می‌کنیم، ﺟﻬﺎن ﺷﻬﺮی اﺳﺖ ﻛﻪ ﻣﺘﺄﺳﻔﺎﻧﻪ ﻧﺘﻴﺠﻪ آن، دوری از ﻣﺤﻴﻂ ﻃﺒﻴﻌﻲ و ﭘﺬﻳﺮش ﻧﺎﺧﻮاﺳﺘﻪ ﺷﺮاﻳﻂ ﻧﺎﻣﺘﻌﺎدﻟﻲ اﺳﺖ ﻛﻪ از رواﺑﻂ ﻧﺎﻣﻮزون انسان‌ها و ﻓﻀﺎی ﺷﻬﺮی ﻧﺸﺄت می‌گیرد. روش متنوعی‌های ﺑﺮای ﻣﺪل ﺳﺎزی ﺗﻐﻴﻴﺮات ﭘﻮﺷﺶ و ﻛﺎرﺑﺮی اراﺿﻲ وﺟﻮد دارد ﻛﻪ از ﺟﻤﻠﻪ آن‌ها می‌توان ﺑﻪ ﻣﺪل CA ﻣﺎرﻛﻮف اﺷﺎره ﻛﺮد. اﯾﻦ ﺗﺤﻘﯿﻖ در ﺻﺪد اﺳﺖ اﻟﮕﻮی روش ﺷﻨﺎﺧﺘﯽ ﺟﺪﯾﺪ را ﺑﺮای ﺷﺒﯿﻪ ﺳﺎزی دﯾﻨﺎﻣﯿﮏ ﮐﺎرﺑﺮی اراﺿﯽ ﺷﻬﺮی، ﺑﺎ اﺳـﺘﻔﺎده ازﺳـﻨﺠﺶ از دور، GIS و ﻣـﺪل سلول‌های ﺧﻮدﮐﺎر ﻓﺮاﻫﻢ ﻧﻤﺎﯾﺪ.در اﻳـﻦ پژوهش، شمال ﺷـﻬﺮ اﺻـﻔﻬﺎن و حدودتقریبی اراﺿـﻲ اﻃﺮاف آن ﺑﻪ ﻋﻨﻮان ﻣﻨﻄﻘﻪ ﻣﻮرد ﻣﻄﺎﻟﻌﻪ اﻧﺘﺨﺎب ﺷﺪ و از ﺗﺼﺎوﻳﺮ ﻣﺎﻫﻮارهای ﺳـﺎل 1991 و ﺳـﺎل 2001 وسال 2017 ﺑﺮای ﺗﻬﻴﻪ نقشه‌های ﭘﻮﺷﺶ اراﺿﻲ ﻣﻨﻄﻘﻪ اﺳﺘﻔﺎده ﺷﺪ. این پژوهش ﺑﻪ اﻳﻦ ﻧﺘﻴﺠﻪ رﺳﻴﺪ ﻛـﻪ در پیش‌بینی ده سال آینده در ابتدا تصویر طبقه‌بندی شده سال 1991 و بعد تصویر طبقه‌بندی شده سال 2001 به مدل معرفی گردید که از این طریق ماتریس تبدیلات به دست آمد، برای پیش‌بینی سال 2025، که بعد از این مرحله، تصویر سال 2017 را همراه با ماتریس تبدیلات به دست آمده از دوره قبل و لایه‌های محدودیت رشد به مدل معرفی گردید و پیش‌بینی سال 2025 به دست آمد نشان می‌دهد از ﻣﺪل زنجیره‌ای CA ﻣﺎرﻛﻮف و ﻓﻴﻠﺘﺮ ﺑﺮای ﭘﻴﺶ ﺑﻴﻨﻲ ﺗﻐﻴﻴﺮات ﭘﻮﺷﺶ اراﺿﻲ در ده ﺳﺎل آﻳﻨﺪه ﺑﻬﺮه ﮔﺮﻓﺘﻪ ﺷﺪ، اﻳﻦ ﻣﺪل ﺑﻄـﻮر ﺗﻠﻔﻴﻘـﻲ CA-Markov ﻧﺎﻣﻴﺪه می‌شود. ﺑﺮای ﺑﺮرﺳﻲ ﺗﻮاﻧﺎﻳﻲ ﻣﺪل ﻣﺎرﻛﻮف ﻧﻴﺰ از روش دقت کلی و ضریب کاپا ﻣﺤﺎﺳﺒﻪ اﺳﺘﻔﺎده ﺷﺪ، مدل CA-MARKOV دارای شاخص کاپای 13/88 می‌باشد. تفاصيل المقالة
• حرية الوصول المقاله
  • صفحة الملخص
  • نص كامل
  
  12 - شبکه‌های اسپینی بستری برای پردازش توزیع شده: مطالعه موردی حل مسئله انتخاب بهینه‌سبدسهام
  مجید وفایی جهان محمدرضا اکبرزاده‎توتونچی
  امروزه خواص فیزیکی اجسام، دستاویزی برای حل مسائل بهینه‌سازی است تا پاسخ بهینه مسائل با تعداد حالات زیاد سریع‌تر و دقیق‌تر یافته شود. به‌عنوان نمونه می‌توان به الگوریتم‌‌های بهینه‌سازی مبتنی بر اسپین‌گلاس (شبکه‌های اسپینی)‌ اشاره کرد که به‌دلیل داشتن قابلیت جستجوی محلی و أکثر

  امروزه خواص فیزیکی اجسام، دستاویزی برای حل مسائل بهینه‌سازی است تا پاسخ بهینه مسائل با تعداد حالات زیاد سریع‌تر و دقیق‌تر یافته شود. به‌عنوان نمونه می‌توان به الگوریتم‌‌های بهینه‌سازی مبتنی بر اسپین‌گلاس (شبکه‌های اسپینی)‌ اشاره کرد که به‌دلیل داشتن قابلیت جستجوی محلی و پردازش توزیع شده مورد توجه قرار دارند. از آنجایی که شبکه‌های اسپینی، بیشتر مبتنی بر الگوریتم‌های تصادفی - مونت‌کارلو همچون تبرید تدریجی (SA) برای یافتن حالت بهینه استفاده می‌کنند، از سرعت همگرایی پائینی برخورداند. بنابراین برای افزایش سرعت، از الگوریتم‌های بهینه‌سازی اکتشافی، تکاملی و غیره استفاده می‌شود. در این مقاله با در نظر گرفتن قابلیت شبکه‌اسپینی در حل مسائل بهینه‌سازی،کوشش شده است یکی از مسائل غیرچندجمله‌ای (NP) با عنوان مسئله انتخاب بهینه سبدسهام با استفاده از تبرید تدریجی حل شود؛ سپس با توجه به خواص توزیع‌شده‌گی اینگونه از شبکه‌ها، الگوریتم جدید مبتنی بر اتوماتای‌یادگیر(LA) بعنوان پردازش متمرکزو همچنین بهینه‌سازی‌اکسترمال (EO) بعنوان پردازش توزیع شده، ارائه گردیده است. نتایج آزمایش‌ها نشان می‌دهند که هرچند دو الگوریتم ارائه شده از حیث عملکرد، متفاوتند؛ ‌‌‌‌ولی هردو در محدوده پاسخ، تقریبا توزیع احتمال یکسانی برای انتخاب اسپین‌های برتر فراهم می‌کنند. به عبارت دیگر این دو روش از مرحله‌‌ای به بعد، شبیه هم عمل کرده و نتایج یکسانی تولید می‌کنند و کارایی شبکه‌های اسپینی از حیث سرعت همگرایی با حفظ دقت را به مقدار زیادی افزایش می‌دهند. همچنین دستاوردها نشان می‌دهد که انتخاب روش مبتنی بر LA یا EO برای شبکه‌های با تعداد اسپین‌کم تفاوتی ندارد؛ اما برای شبکه‌های بزرگ، EO که توانایی پردازش توزیع شده منحصر بفردی دارد، بسیار بهتر از روش‌های مبتنی بر یادگیری پاسخ می‌دهد که نتایج آزمایش‌های حاصل بر 5 بورس معتبر دنیا این موضوع را تائید می‌کند. تفاصيل المقالة
• حرية الوصول المقاله
  • صفحة الملخص
  • نص كامل
  
  13 - الگوریتم جدید مبتنی بر اتومات یادگیری برای حل مسئله پوشش k هدف در شبکه های حسگر بی سیم
  لیلا عجم ali Nodehi Hosein Mohamadi
  اخیراً تعدادی الگوریتم برای حل مشکل پوشش هدف در شبکه های حسگر بی سیم (WSN) پیشنهاد شده است. به طور معمول، فرض بر این است که تنها یک سنسور برای پوشش یک هدف کافی است. اگرچه در شرایط واقعی ممکن است بیش از یک سنسور برای این منظور مورد نیاز باشد. این مشکل به عنوان مشکل پوشش أکثر

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