انجمن کامپیوتر ایران

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

قابلیت اطمینان شبکه دارای اهمیت ویژه‌ای می‌باشد. نمودار تصمیم دودویی (BDD) یک ساختمان داده مدرن است که در سال‌های اخیر به طور موفقیت‌آمیزی در مباحث مختلف علوم و مهندسی کامپیوتر به کار گرفته شده است. در این مقاله نشان می‌دهیم چگونه می‌توان این ساختمان داده را به منظور محاسبه قابلیت اطمینان شبکه به طور کارآمد به کار گرفت. با روش تجزیه شبکه و با استفاده از BDD قابلیت اطمینان شبکه K-terminal محاسبه می¬شود. در این روش از مفهوم پارتیشن برای نمایش نودها در گراف شبکه استفاده می‌کنیم که منجر به ادغام زیرگراف‌های مشابه در ساختمان داده نمودار تصمیم دودویی به صورت کارا می‌گردد. ادغام زیر گراف‌های مشابه از محاسبات تکراری جلوگیری به عمل آورده و در نتیجه مرتبه زمانی را کاهش می‌دهد. نمونه‌ها و آزمایشات صورت گرفته نشان‌دهنده کارآیی این روش می‌باشد.

خوشه¬بندي، يک رويکرد کارآمد براي تعديل بار بين گره¬ هاي حسگر و افزايش طول عمر شبکه است. با خوشه¬بندي، داده¬هاي ارسالي گره¬هاي درون خوشه توسط سرخوشه تجميع شده و به ايستگاه پايه ارسال مي¬شود. بنابراين گره¬ها مي¬توانند سربار ارتباطي خود را که از ارسال مستقيم داده¬هايشان به ايستگاه پايه حاصل مي¬شود کاهش دهند. در اين تحقيق، يک پروتکل خوشه¬بندي بر مبناي پروتکل مشهور HEED ارائه شده است که بصورت توزيع شده عمل مي¬کند و هدف آن افزايش طول عمر شبکه مي¬باشد. معيار انتخاب سرخوشه در اين پروتکل، ترکيبي رياضي از دو معيار درجه گره و مركزيت گره با ملاحظه انرژي باقي¬مانده آن است. همچنين در اين پروتكل، خوشه¬بندي زماني انجام مي¬شود که حداقل يکي از سرخوشه¬ها بخش معيني از انرژي خود را مصرف کند. پروتکل ارائه شده در اين تحقيق (iHEED) با دو پروتکل مشهور شبکه¬هاي حسگر بيسيم به لحاظ معيارهاي کارآمدي انرژي مقايسه شده است. نتايج شبيه سازي در نرم¬افزار Matlab نشان مي¬دهد که اين پروتکل از ساير پروتكل¬ها بهتر عمل مي¬کند و يک پروتکل خوشه¬بندي انرژي-کارآمد است.

دراین مقاله اثرات تزریق خطا در سه ریزپردازنده 8085 ، Z80 و MC6809 مورد ارزیابی قرار گرفته است. برای رسیدن به این هدف روش‌های کشف خطا در هریک از ریزپردازنده‌ها پیاده‌سازی شده واز روش اغتشاش در منبع تغذیه جهت تزریق خطا استفاده شده‌است. پارامتر بررسی اثرات خطا، میزان پوشش کشف خطا، تأخیر آنها و سربار حافظه است. روش استفاده شده جهت کشف خطا، روش زمان- زمان- نشانی (Time-Time-Address) است که شامل پنج مکانیزم کشف اشکال است که هر یک از آنها می تواند نوع خاصی از اشکال‌های روند کنترل را کشف نمایند. در هر سه ریزپردازنده این پنج مکانیزم در قالب یک پردازنده‌‌ی مراقب طراحی شده است که برای پیاده‌سازی آن از یک FPGA و نرم افزارهای شبیه‌ساز آن استفاده گردیده‌است. نتایج حاصل از آزمایشات نشان داده‌است که میانگین پوشش کلی کشف اشکال مکانیزم‌ها در سه ریزپردازنده حدود 90% است. مقایسه نتایج این آزمایشات نشان می دهد هرچند تفاوت‌هایی درنتایج یک مکانیزم بین سه ریزپردازنده وجود داشته است اما در جمع پنج مکانیزم، میزان پوشش کشف اشکال اختلاف ناچیزی داشته است که بیانگراین است که روش زمان- زمان- نشانی، مستقل از نوع ریزپردازنده پوشش کشف بالایی داشته است.

در این مقاله، تکنیک جدیدی برای طراحی S-box ها با استفاده از الگوریتم‌های ژنتیک شرح داده می‌شود. هدف ما طراحیS-box هایی است که معیارهای غیرخطی بودن، بهمنی اکید، متوازن بودن و معیار انتشار را بر آورده کنند و ضمناً جدول توزیع تفاضلات آنها هموار باشد. تکنیک‌های جدید مطرح شده بر پایه نتایجی که در [1] به دست آمده، ارائه شده است. در [1]، یک تولیدکننده‌ی تصادفی، S-box های کاندید را تولید می کند و زمان زیادی برای تولیدS-box ها هزینه می شود. در تکنیک جدید ارائه شده، از الگوریتم‌های ژنتیک برای تولید S-box استفاده شده است و در زمان بسیار کمتری نسبت به [1] S-box های مطلوبی تولید می شود و این تکنیک با استفاده از زبانC++ پیاده سازی شده و نتایج به دست آمده در مقاله ارائه شده است.