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

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

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

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

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

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

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

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

در این مقاله شیوه جدیدی بر مبنای گراف سیگنال جریان برای مدلسازی مبدل Cuk ارائه شده و در کنار آن روش اولیه مبتنی بر گراف سیگنال جریان پیشنهاد شده در مراجع نیز بر روی مبدل Cuk پیاده شده است. روش پیشنهادی فرآیند بسیار ساده­تری در مقایسه با سایر روش­های مدلسازی و هم چنین روش قدیمی­تر مبتنی بر گراف سیگنال جریان داشته و از گراف به دست آمده می­توان سه مدل سیگنال کوچک، سیگنال بزرگ و حالت ماندگار مبدل ر...

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