تبلیغات
تبلیغات متنی
آموزشگاه آرایشگری مردانه شفیع رسالت
دکتر علی پرند فوق تخصص جراحی پلاستیک
بهترین دکتر پروتز سینه در تهران
محبوبترینها
راهنمای انتخاب شرکت‌های معتبر باربری برای حمل مایعات در ایران
چگونه اینورتر های صنعتی را عیب یابی و تعمیر کنیم؟
جاهای دیدنی قشم در شب که نباید از دست بدهید
سیگنال سهام چیست؟ مزایا و معایب استفاده از سیگنال خرید و فروش سهم
کاغذ دیواری از کجا بخرم؟ راهنمای جامع خرید کاغذ دیواری با کیفیت و قیمت مناسب
بهترین ماساژورهای برقی برای دیسک کمر در بازار ایران
بهترین ماساژورهای برقی برای دیسک کمر در بازار ایران
آفریقای جنوبی چگونه کشوری است؟
بهترین فروشگاه اینترنتی خرید کتاب زبان آلمانی: پیک زبان
با این روش ساده، فروش خود را چند برابر کنید (تست‌شده و 100٪ عملی)
خصوصیات نگین و سنگ های قیمتی از نگاه اسلام
صفحه اول
آرشیو مطالب
ورود/عضویت
هواشناسی
قیمت طلا سکه و ارز
قیمت خودرو
مطالب در سایت شما
تبادل لینک
ارتباط با ما
مطالب سایت سرگرمی سبک زندگی سینما و تلویزیون فرهنگ و هنر پزشکی و سلامت اجتماع و خانواده تصویری دین و اندیشه ورزش اقتصادی سیاسی حوادث علم و فناوری سایتهای دانلود گوناگون
مطالب سایت سرگرمی سبک زندگی سینما و تلویزیون فرهنگ و هنر پزشکی و سلامت اجتماع و خانواده تصویری دین و اندیشه ورزش اقتصادی سیاسی حوادث علم و فناوری سایتهای دانلود گوناگون
آمار وبسایت
تعداد کل بازدیدها :
1866145847
به همت پژوهشگران دانشگاه تبريز روش جديدي براي كنترل امنيت سيستمهاي رايانه ای ارائه -
واضح آرشیو وب فارسی:سایت ریسک: به همت پژوهشگران دانشگاه تبريز روش جديدي براي كنترل امنيت سيستمهاي رايانه ای ارائه PhonieX 19 فروردين 1388, 14:28پژوهشگران علوم كامپيوتر دانشگاه تبريز با ارائه روشي صوري براي توصيف و درست يابي تركيبي سيستمهاي نرم افزاري مبتني بر مولفه‌ها موفق به طراحي ابزاري شده‌اند كه به كارشناسان توسعه دهنده سيستمهاي نرم افزاري امكان مي‌دهد عملكرد يك سيستم بزرگ نرم افزاري را به صورت گرافيكي و بدون درگيري با معاني رياضي، توصيف كنند. به گزارش ایسنا دكتر جابر كريم پور، نخستين دانش‌آموخته دكتري علوم كامپيوتر دانشگاه تبريز كه در تحقيقات رساله‌اش موفق به ارائه اين روش شده است، با بيان اين مطلب خاطرنشان كرد: ابزار تهيه شده با توجه به معاني، مدل‌ها و اثبات هاي رياضي، درستي توصيف كارشناسان رايانه را از نظر خاصيت امنيت بررسي مي‌كند و اگر در مواردي خطايي باشد آن را گزارش مي‌كند تا كارشناسان نسبت به رفع آن اقدام كنند و اگر سيستم از نظر خواص امنيتي به طور كامل درستي يابي شود به اين معني است كه درستي آن سيستم قبل از پياده سازي، آزمايش و استفاده، به صورت رياضي ثابت شده است و نرم افزار حاصل از اين توصيف، درست كار خواهد كرد. به گفته وي، در اين ابزار نرم افزاري، يك سيستم بزرگ به صورت مجموعه‌اي از اجزا يا مولفه در نظر گرفته شده و براي هر مولفه و ارتباط آن با ساير مولفه‌ها و بالاخره براي عملكرد كل سيستم،يك مدل رياضي ساخته شده است. كريم پور افزود: اين مدل رياضي، اثبات درستي سيستم را به صورت تركيبي فراهم مي‌كند، به طوري كه از درستي اجزاي سيستم، درستي كل سيستم نتيجه مي‌شود. وي همچنين در جلسه دفاع از رساله خود با بيان اينكه برخي از سيستمهاي رايانه‌يي با جان و مال مردم سر و كار دارند، افزود: از جمله اين سيستم‌ها كه به آنها سيستمهاي بحراني نيز مي‌گويند، مي‌توان به كنترل كننده‌هاي نيروگاه‌هاي هسته‌يي و دستگاه‌هاي راديولوژي، اشاره كرد كه نقص و با توقف اين سيستم‌ها خسارت جبران ناپذيري به بار مي‌آورد. دانش آموخته دانشگاه تبريز با بيان اينكه يكي از روشهاي تضمين درستي اين سيستم‌ها، آزمايش آنان است افزود: به دليل بزرگي اين سيستم‌ها نمي‌شود تمامي جوانب آنها را آزمايش كرد و از طرفي آزمايش سيستمهاي حياتي مانند يك فضاپيما و يا يك دستگاه پزشكي امكان‌پذير نيست و بايستي قبل از پياده سازي از درستي عملكرد نرم افزار سيستم مطئمن باشيم كه بر اين اساس مساله اثبات درستي عملكرد نرم افزار اهميت بيشتري مي‌يابد. گفتني است، كريم پور رساله دكتري خود را با راهنمايي دكتر آياز عيسي زاده از اساتيد گروه علوم كامپيوتر دانشكده علوم رياضي دانشگاه تبريز و با كمك اساتيد مشاور دكتر ميركمال ميرنيا از گروه رياضي كاربردي دانشكده علوم رياضي دانشگاه تبريز و دكتر سيد حسن ميريان از دانشكده مهندسي كامپيوتر دانشگاه صنعتي شريف انجام داده است. به گفته وي، در راستاي تدوين اين رساله پژوهشي، 8 مقاله در مجلات خارجي چاپ و در كنفرانس‌هاي بين‌المللي ارايه شده است منبع ()
این صفحه را در گوگل محبوب کنید
[ارسال شده از: سایت ریسک]
[مشاهده در: www.ri3k.eu]
[تعداد بازديد از اين مطلب: 173]
-
گوناگون
پربازدیدترینها