مقالات مهندسی نرم افزار

مزاياي معنا در سرويس هاي تعاملي و هوشمند به صورت گسترده در مجامع پذيرفته شده است. معاني ميتواند كيفيت سيستم هاي نرم افزاري را بهبود دهد. در اين راستا سيستم هاي پايگاه داده اي رابطه اي بسيار شناخته شده و به صورت گسترده در سازمانها مورد استفاده قرار ميگيرند. مساله اصلي كه منجر به استفاده از روش معناگرا در اين سيستم ها شده است، ناسازگاري معنايي بين سيستم هاي پايگاه داده اي هست كه در تعامل با هم هستند كه اين ناسازگاري بايد قبل از تبادل داده بين آنها حل شود. از آنجايي كه سيستم هاي پايگاه داده به طور مستقل از هم طراحي و پياده سازي ميشوند تقريب معنا بين اين سيستم ها كاري بسيار مشكل است. راه حل اين مشكل استفاده از تكنولوژي آنتولوژي ها به منظور تقريب معنايي بين پايگاه هاي داده رابطه اي ميباشد. به همين علت است كه، اخيرا آنتولوژي يك كاربرد رايج براي وب معنايي و پردازش داده هاي معنايي شده است. در واقع آنتولوژي يك نقش مركزي در تسهيل تبادل داده ها بين منابع مختلف را ايفا مي كند. در اين مقاله يك ديدگاه جديد استفاده از آنتولوژي براي پردازش پرس و جوها با پايگاه داده رابطه اي و با هدف توسعه نتايج يك پرس و جو نشان داده مي شود.

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

شبكه هاي گريد امروزه به راه حل جايگزيني براي ابركامپيوترها تبديل شده اند. در حال حاضر اين شبكه ها به طور گسترده اي در كشورهاي توسعه يافته به منظور جلوگيري از هدر رفتن منابع و استفاده بهينه از آنها مورد استفاده قرار مي گيرند. اساس كار اين شبكه ها تقسيم يك كار به واحدهاي كوچك و اختصاص آنها بين منابع ناهمگون متعدد براي انجام است. يكي از مهمترين مسايل موجود در اين شبكه ها، زمان بندي اين منابع ناهمگون مي باشد. به عبارت ديگر زمان بندي دراين شبكه ها نحوه تقسيم كار بين منابع با رعايت پارامترهاي كيفيت سرويس مي باشد. در اين مقاله روشي جديد براي زمان بندي منابع در اين شبكه ها ارايه شده است. مسايل مربوط به زمان بندي معمولا از نوع NP بوده و در زمان عادي حل پذير نمي باشند. در اين مقاله با خلاصه سازي فضاي حالت جواب مساله، روشي جديد براي حل اين گونه مسايل ارايه گرديده است.

رفتار نرم افزار، ميتواند اثر بسيار مهم و تعيين كننده اي در سيستم هاي حساس به ايمني داشته باشد. رفتار نامطلوب نرم افزار ميتواند سيستم را با شكست مواجه ساخته و نتايج وخيم و غير قابل جبراني را به بار آورد. ما در اين مقاله، در طي 4 گام، رويكردي را براي تحليل ايمني رفتار نرم افزار ارايه داده و سپس با طرح مساله پروتكل ارتباطي مطمئن در شبكه، چگونگي استفاده از رويكردمان را نشان مي دهيم. ما در اين 4 گام: (1) با استفاده از روش رسمي شبكه هاي پتري، به توصيف رفتار امن نرم افزار ميپردازيم. (2) با ارايه راهكاري، گزاره هاي منطقي پايدار را از شبكه پتري استخراج كرده و آنها را با حساب رخداد بيان ميكنيم. (3) نيازهاي ايمني سيستم را با حساب رخداد توصيف مينماييم. (4) با استفاده از گزاره هاي منطقي پايدار، رفتار نرم افزار را تحليل ميكنيم. گزاره هاي منطقي پايدار كه هسته پايشگر را تشكيل ميدهند، گزاره هاي هميشه برقراري هستند كه رفتار مطلوب نرم افزار را نشان ميدهند.

امروزه توزيع بار ترافيك سرويس ويدئويي در شبكه هاي گسترده به كاربران از موضوعات مهم در حوزه شبكه و نرم افزار مي باشد. در مدل پيشنهادي اساس انتخاب بر پايه تاخير بسته هاي ارسالي و پيام تصديق آنها مي باشد. ولي مانند روشهاي حريصانه و اكتشافي هوشمند نيست. در اغلب مدل هاي ارايه شده از كنترل پذيرش جهت حفظ كيفيت سرويس استفاده شده است مدل ارايه شده TP نام دارد و سعي بر اين است كه راه حل مناسبي جهت انتخاب سرور مناسب، با در نظر گرفتن شرايط كلاينت هاي نزد يك سرور، توزيع بار شبكه روي چندين منبع، انطباق ظرفيت بهينه سرور با درخواسته كلاينت ها ارايه گردد.

با گسترش كاربرد استفاده از تلفن همراه و صنايع مرتبط با آن لزوم بومي سازي و توسعه نرم افزارهاي مبتني بر گوشي هاي تلفن كه در راستاي اهداف فرهنگي و نيارهاي كاربردي كشور باشد احساس مي شود. در اين مقاله كه حاصل يك طرح پژوهشي مي باشد با در نظر گرفتن محورهاي اصلي توسعه محتواي نرم افزاري كشور كه مبتني بر سه اصل توسعه خط وزبان فارسي، توسعه آموزش الكترونيك و توسعه بازي هاي رايانه اي مي باشد. به توسعه و روشهاي مختلف پياده سازي فارسي اين نرم افزارها بر روي گوشي هاي تلفن همراه پرداخته شده است. در اين مقاله تنها يكي از عمومي ترين روشهاي برنامه نويسي موبايل يعني J2ME روي سيستم عامل Symbian مورد بررسي قرار گرفته است. طراحي نرم افزار هاي موبايل تحت سيستم عامل Symbian و بر مبناي كدهاي جاوا يكي از جديدترين كابردهاي علم كامپيوتر مي باشد كه بيش از 70% گوشيهاي جهان را شامل مي شود. برنامه هاي متنوعي براي كدنويسي تحت اين سيستم عامل وارد بازار شده اند كه در اين پروژه برخي از آنها معرفي و مورد استفاده قرار گرفته اند. همچنين مزايا و معايب و ساختار اصلي اين نرم افزارها بررسي شده است و مثال هايي توسط اين برنامه ها از جمله طراحي دفترچه تلفن فارسي پياده سازي شده است

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

يكي از روشهاي مطرح براي وارسي نرم افزارهاي حساس به ايمني، پايش رفتار آنها در برابر سياستها و قيود ايمني است. لذا در اين مقاله از يك رويكرد پيشنهادي چهار گامي و فرمال براي طراحي و ساخت پايشگر يك سيستم حساس به ايمني به نام سيستم پمپ انسولين همراه (CIIP) استفاده ميگردد. هدف نهايي از اين رويكرد، خودكارسازي فرآيند تزريق انسولين كافي و به موقع به بيماران ديابتي بصورت مطمئن تر و ايمنتر است. همچنين درضمن پيشنهاد اين رويكرد سودمند، يك مدل بصري جديد از رفتار و عملكرد اين سيستم نيز ارايه مي شود. يكي از مزاياي اين رويكرد، استخراج رفتارهاي ناامن سيستم از طريق اين توصيف بصري ميباشد.

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

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

در اين مقاله يك روش جديد بهينه سازي دسته اي ذرات (PSO) بر اساس نگاشت آشوب براي پارامتر انطباق پيشنهاد شده است. روش بهينه سازي دسته اي ذرات به نحوي تغيير داده شده كه مشكلات الگوريتم PSO استاندارد را برطرف سازد. اين روش با جايگزيني اعداد كياتيكي بجاي اعداد تصادفي در الگوريتم PSO استاندارد صورت مي گيرد. هدف از اين مقاله يك بهبودي در سرعت همگرايي الگوريتم مي باشد.