گراف های متناظر با مولکول های فولرن‎،‎ گراف های مسطح‎،‎ سه منتظم و سه همبندی هستند که همه ی وجه های آن ها پنج ضلعی و شش ضلعی است‎.‎ جدیدترین الگوریتم برای تولید گراف های متناظر با فولرن ها در سال ‎2012‎ ارائه شده است‎.‎ اجرای این الگوریتم ‎3/5‎ برابر سریع تر از پرسرعت ترین تولیدکننده ی قبلی فولرن ها یعنی فولجن است و اولین برنامه بعد از فولجن است که برای تولید فولرن های با بیش از ‎100‎ راس مفید ...

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

هدف این پژوهش، بررسی تأثیر عدالت سازمانی بر رفتار شهروندی سازمانی با میانجی گری کیفیت زندگی کاری بوده است. این تحقیق از نوع کاربردی بوده و به روش توصیفی – همبستگی انجام گرفته است. جامعة آماری تحقیق همة کارمندان زن و مرد (419 نفر) دانشگاه مازندران بودند که با به کارگیری روش نمونه گیری تصادفی طبقه ای، 156 نفر از آنان به عنوان شرکت کننده در پژوهش انتخاب شدند. ابزار تحقیق پرسشنامه های عدالت سازمانی...

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

در این تحقیق, ابتدا با تعریف ابرگراف, ابرگراف جهت دار و ابرمسیر آشنا خواهیم شد. سپس الگوریتمی را برای به دست آوردن کوتاه ترین ابرمسیر روی یک ابرگراف جهت دار معرفی خواهیم کرد. در ادامه الگوریتم هایی معرفی می شوند که با استفاده از آن ها می توانیم k‎ تا از کوتاه ترین ابرمسیرها را از راس مبدا s به راس مقصد t‎ به دست آوریم و این الگوریتم ها از نظر زمان اجرا با هم مقایسه می شوند. بعد از آن یکی از کار...

گراف تسلط کلمات دودویی، گرافی است جهت‌دار با مجموعه رئوس تمام کلمات دودویی به طول n که با نماد (Γ_n ) ⃗ نشان داده می‌شود، برای هر رأس دلخواه w=w_1 w_2⋯w_n از آن قرار می‌دهیم B_1 (w)={1≤i≤n|w_i=1} و دو رأس v و w را با پیکان جهت‌دار v→w به هم وصل می‌کنیم هرگاه داشته باشیم B_1 (w)⊆B_1 (v). در این مقاله، به مطالعه و محاسبه برخی پارامترهای این گراف می‌پردازیم؛ به عنوان مثال، پس از محاسبه فاصله هر دو ...

این آزمایش در سال1394 در قالب طرح فاکتوریل و بصورت کاملا تصادفی اجرا شد. میوه ها در 2مرحله و به فاصله  زمانی  15 روزه به سردخانه انتقال داده شدند و پس از بسته بندی به 3دسته و با 3تکرار  تقسیم شدند. و خصوصیات کمی و کیفی شامل جرم تر، مواد جامد محلول، تغییرات درصد ماده خشک، تغییرات وزن جعبه، تغییرات جرم ماده خشک آنها بلافاصله پس از برداشت ارزیابی شد. نتایج بدست آمده نشان داد که طی دوره انبارمانی ب...

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

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

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