آنالیز مصرف منابع سرویس های فرآیند کسب و کار در محاسبات ابری با استفاده از شبکه پتری

Resources consumption analysis of business process services in cloud computing using Petri Net

چکیده

1. مقدمه

2. مروری بر ادبیات

3. رویکرد تبدیل

3.1. تزریق اطلاعات (BPMN توسعه یافته)

3.2. تبدیل (نگاشت از BPMN توسعه یافته به پتری نت ها)

3.3. اصلاح BPMN توسعه یافته

4. تحلیل مصرف منابع در فرایند کسب و کار

4.1. خصوصیت صحت و درستی

4.2. خصوصیت سازگاری

4.3. خصوصیت تامین کارآمد منابع اولیه

4.4. خصوصیت کشسانی جزئی فرایند کسب و کار

5. مطالعه موردی

6. بحث

7. نتیجه گیری

چکیده

بکارگیری ابر برای شرکتها بر ساخت فرایند کسب و کار تاثیر مثبتی دارد زیرا توانایی درک منابعی نظیر منابع نامحدود را ایجاد می کند. با این حال، این ساختار در ابر هنوز در زمینه کشسانی منابع دارای مشکلات زیادی است، و به ویژه با گذشت زمان، زمانی که سرویس ها و خدمات فرایند کسب و کار در زمینه مصرف منابع بهینه نشده اند، برای شرکتها به صورت هزینه بردار ظاهر می شود. از اینرو، رویکردهای منابع با انتخاب سر ویس های  مشابه کم مصرف برای هر فعالیت، به عناصری مهم برای بهینه سازی ساختار فرایند کسب و کار تبدیل شده اند. دقیقاً، هدف این کار اطمینان از ویژگی همسانی و سازگاری در رویکرد منابع با استفاده از Petri Nets برای تصدیق اجرای درست فرایند کسب و کار با منابع تخصیص داده شده اولیه بر مبنای برخی از خصوصیات و انتخاب مسیر سرویس های مشابه کم مصرف برای به حداقل رساندن کشسانی ابری شرکتها است. 

1. مقدمه

در سالهای اخیر، مفهوم رایانش ابری در دنیای صنعتی اهمیت خاصی پیدا کرده است (Fox et al., 2009 )، نه تنها به این دلیل که امکان استفاده از منابع نامحدود را عرضه می کند، بلکه همچنین به این دلیل که امکان پرداخت بهای منابع را به صورت پرداخت به ازای استفاده فراهم می آورد (Mell and Grance, 2009). این مفهوم جدید به شرکتها اجازه ایجاد، مدیریت، و بهینه سازی فرایند کسب و کارشان (BP) با استفاده از کشسانی را می دهد. چنین کشسانی منابع محاسباتی انعطاف پذیر برای تامین تقاضای مشتری را عرضه می کند.

7. نتیجه گیری

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

Abstract

Using the cloud for companies can have a positive impact on business process construction because it gives the ability to perceive resources such as unlimited. However, this construction in the cloud still has a lot of problems with resource issues in elasticity, especially after over time, this can be costly expensive for companies when services of business process aren’t optimised in resource consumption. Hence, resources perspectives have become important to optimise the business process construction by selecting similar services that have low consumption for each activity. Concretely, the aim of this work is to ensure the consistency feature in resource perspective by using a Petri Nets to verify the right execution of business process with initial allocated resources based on some properties and to select a path of similar services that has a low consumption to minimise cloud elasticity anytime for companies.

1. Introduction

In recent years, cloud computing concept has been of major importance in the industrial world (Fox et al., 2009) not only because they offer the possibility of using unlimited resources, but also because they make it possible to pay for resources on a pay-per-use basis (Mell and Grance, 2009). This new concept allows companies to create, manage and optimise their business process (BP) using elasticity. Such as elasticity offers flexible computing resources to meet customer demand.

7. Conclusion

In this paper, we propose a new approach based on PN that can be considerate as an enterprise solution. This solution can be applied to manage BP resource consumption and can be used to formally verify BP resource consumption in a cloud environment. In addition, it allows the efficient initial resource provisioning between the different activities of a BP with the multiple similar services to be verified in order to choose the best path for activities and their services (services that can consume low resources). Furthermore, the BP soundness property is verified in the PN model simulating resource consumption in the CPN tool by enabling transitions of all services of the BP activities.

تصویری از مقاله ترجمه و تایپ شده در نرم افزار ورد

آنالیز مصرف منابع سرویس های فرآیند کسب و کار در محاسبات ابری با استفاده از شبکه پتری

Resources consumption analysis of business process services in cloud computing using Petri Net

مطالعه مدل سازی و استقامت شبکه های حمل و نقل ریلی با استفاده از شبکه های پتری زماندار

Modeling and Robustness Study of Railway Transport Networks Using P-Timed Petri Nets

1. مقدمه

2. متون تحقيقاتي مربوطه

3. مطالعه موردی: شبکه حمل و نقل ریلی

3. 1. نمایشی از شبکه خطوط ریلی

3. 2. مدلسازی شبکه حمل و نقل ریلی

4. استقامت در مواجهه با اختلالات زمان

4. 1. تعاريف اصلي

4. 2. رویکرد استقامت

5. نتیجه گيري

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

1. مقدمه

در سیستم های حمل و نقل ريلي، اختلالات زمانی قابل پیش بینی یا جلوگیری نيستند. تحقیق ما بر رفع و جبران این اختلالات با استفاده از تکنیک های کنترل استقامت متمركز است.

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

5. نتیجه گيري

مدلسازی و بررسي استراتژی کنترل استقامت در مواجهه با اختلالات که در سیستم  حمل و نقل ريلي  ساختار اصلي  این مقاله را تشكيل مي‌دهد. شبکه های پتری زماندار برای  مدل سازی استفاده شده اند.  برخي تعاریف به منظور به ساختن یک تئوری در مورد مسئله استقامت ذكر شده اند.

دو روش برای کنترل استقامت ارائه شده است. اولین روش شامل جبران اختلال به محض مشاهده آن به منظور جلوگیری از نقض محدودیت در سطح انتقال همزمان مدل شبكه پتري زمان دار می باشد.  دومین استراتژی امكان تولید یک وقفه زمانی یکسان با اختلال را توسط کنترل،  در مسیر موازی انتشار اختلال فراهم مي‌سازد. نشان داده شده است که ایجاد استراتژی امكان جلوگیری از وقايع پيش‌بيني شده فاجعه آميز و اجتناب از نقض محدودیت های زمانی را به منظور تضمین ثبات و ایمنی  ترافیک راه آهن را فراهم مي‌سازد.

Te importance of public transport systems continues to grow.Tese systems must respond to an increasing demand for population mobility and trafc disturbances. Rail transport networks can be considered as Discrete Event Systems (DES) with time constraints. Te time factor is a critical parameter, since it includes dates to be respected in order to avoid overlaps, delays, and collisions between trains. P-time Petri Nets have been recognized as powerful modeling and analysis tools for railway transport systems. Temporal disturbances in these systems include railway infrastructure, trafc management, and disturbances (weather, obstacles on the tracks, malice, social movement, etc.). Te developments presented in this paper are devoted to the modeling and the study of the robustness of the railway transport systems in order to evaluate the stability and the efciency of these networks. In this study two robust control strategies towards time disturbances are presented. Te frst one consists of compensating the disturbance as soon as it is observed in order to avoid constraints violation. Te second one allows generating, by the control, a temporal lag identical to the disturbance in order to avoid the death of marks on the levels of synchronization transitions of the P-time Petri net model.

1. Introduction

In railway transport systems, a temporal disturbance cannot be predicted or prevented. Our research focuses on the elimination and compensation of these disturbances by an application of robustness control techniques.

The robustness is defned as the ability of the system to preserve the specifcations facing some expected or unexpected variations. Te robustness is interpreted into diferent specializations. Te passive robustness is based upon variations included in validity time intervals. Tere is no control loop modifcation to preserve the required specifcations. On the other hand, active robustness uses observed time disturbances to modify the control loop in order to satisfy these specifcations.

5. Conclusion

The modeling and the study of the robust control strategy facing disturbances in railway transport system constitute the main contributions of this paper. P-time Petri nets are used for modeling. Some defnitions are quoted in order to build a theory dealing with robustness problem.

Two approaches for the robust control are presented. Te frst one consists of compensating the disturbance as soon as it is observed in order to avoid constraints violation on the levels of synchronization transitions of P-time PN model. Te second strategy allows generating by the control, a temporal lag identical to the disturbance, on the parallel path of the propagation of the disturbance. It is shown that the established strategy allows averting catastrophic scenarios and avoiding the violation of time constraints in order to guarantee the stability and safety of railway trafc.

تصویری از مقاله ترجمه و تایپ شده در نرم افزار ورد

مطالعه مدل سازی و استقامت شبکه های حمل و نقل ریلی با استفاده از شبکه های پتری زماندار

Modeling and Robustness Study of Railway Transport Networks Using P-Timed Petri Nets

روشهای مبتنی بر شبکه های پتری برای تحلیل امنیت ساختاری در فرآیندهای تجارت الکترونیکی

Petri net-based methods for analyzing structural security in e-commerce business processes

نکات مهم
چکیده
1- مقدمه
2- مثال انگیزشی
3- مفاهیم مرتبط
4- امنیت ساختاری
5- روش های مدل سازی
6- تحلیل امنیت ساختاری
6-1 روش دنباله رفتاری
6-2 روش تحلیل حالت
7- نتیجه گیری ها

چکیده

رشد و توسعه سریع تجارت الکترونیک در سرتاسر جهان به این معنا است که فرآیندهای کسب و کار تجارت الکترونیک ساختارهای دارای چندین مشارکت کننده را بیشتر و بیشتر می پذیرند؛ این ساختارها شامل خریدار، مشتریان، بازرگانان و پلتفورم های پرداخت شخص ثالث (TPP)، بانک ها و غیره است. این پلتفورم ها سیستمی توزیع شده و پیچیده هستند که ارتباطات در بین مشارکت کنندگان به خدمات تحت وب (وب سرویس ها) و رابط های برنامه نویسی برنامه (API) همانند صندوقدار به عنوان یک سرویس (CaaS) تکیه دارد. این مساله چالش های امنیتی جدیدی را به دلیل تعاملات پیچیده در بین مشارکت کنندگان متعدد ایجاد می کند و وجود هرگونه نقص در طراحی ساختارهای روالی می تواند منجر به مسائل جدی امنیتی شود. ما مسائل ساختاری امنیتی مبتنی بر شبکه های پتری را مورد مطالعه قرار می دهیم و چارچوبی را به منظور تجزیه و تحلیل امنیت ساختاری در فرآیند کسب و کار تجارت الکترونیک پیشنهاد می دهیم. مدل سازی مبتنی بر شبکه های پتری و روش های تحلیل نیز در این مقاله ارائه شده است. با توجه به مشخصات فرآیندهای کسب و کار تجارت الکترونیک، روش های پیشنهادی می توانند به طراحان در تحلیل مسائل امنیت ساختاری یک فرآیند کسب و کار تجارت الکترونیک کمک کنند. کلید واژه ها: شبکه پتری ، تجارت الکترونیک ، فرآیند کسب و کار ، امنیت ساختاری

1- مقدمه

تجارت الکترونیک رشد قابل توجهی در سال های اخیر داشته است و کسب و کارهای بیشتر و بیشتری بر بستر اینترنت راه اندازی شده است. حجم روزانه فعالیت های تجارت الکترونیک در حال تغییر است و با سرعت زیادی رشد می کند. بسیاری از پلتفورم های تجارت الکترونیک برای شتاب بخشی به این صنعت توسعه می یابند [1,2]. سیستم های تجارت الکترونیک همراه با مشارکت کنندگان متعدد از جمله پلتفورم های پرداخت شخص ثالث (TPP)، سیستم های تجارت الکترونیک، بانک ها، مشتریان و دیگر برنامه ها به مرز جدیدی برای راه اندازی کسب و کار تبدیل شده اند. فرآیندهای کسب و کار تجارت الکترونیک به عنوان یک برنامه توزیع شده بر روی وب پیچیده تر است و ارتباط آزادتری دارد. مشارکت کنندگان از طریق وب سرویس ها و APIها همانند صندوقدار به عنوان یک سرویس (CaaS) با یکدیگر ارتباط برقرار می کنند [3,4]. فرآیندهای کسب و کار مربوط به مشارکت کنندگان مختلف کل سختار فرآیند را ایجاد می کنند. این یکپارچگی چالش های جدید امنیتی را به دلیل تعاملات پیچیده در بین APIهای مربوط به مشارکت کنندگان متعدد تعاملی معرفی می کند. این چالش ها متفاوت از مسائل متداول امنیتی هستند و چالش های جدید امنیتی به ویروس ها، تروجان ها یا پروتکل های امنیتی اشاره نمی کنند [5,6]. پیوند ساختاری پیچیده مربوط به نقص کنترل و داده ها در سیستم های تجارت الکترونیک می تواند مشکلات بسیاری جدی را ایجاد کند که نمونه آن نقش ویژگی های تراکنش و از دست رفتن منابع مالی کاربر است. این مسائل به عنوان امنیت ساختار تعریف می شوند. در طی سال های اخیر موارد بسیاری در زمینه امنیت ساختاری پدید آمده است. این موارد شامل آسیب پذیری ایجاد شده توسط ترکیبی از سیستم های متن باز خرید آنلاین و TPP، رخداد “دروازه یک یوآن ” مربوط به Taobao در سال 2011 [7] و برامه های وب مبتنی بر دیتابیس MongoDB [8] است.

7- نتیجه گیری ها

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

Abstract

The rapid development of e-commerce worldwide, means more e-commerce business processes adopting the structure of multiple participants; these include shopper clients, merchant and third-party payment platforms (TPPs), banks, and so on. It is a distributed and complex system, where communications among these participants rely on the web services and Application Programming Interfaces (APIs) such as Cashier-as-a-Service or CaaS. This introduces new security challenges due to complex interactions among multiple participants, and any design flaws in procedure structures may result in serious security issues. We study the structural security issues based on Petri nets, and a framework for analyzing structural security in e-commerce business process is proposed. Petri net-based modeling and analysis methods are also provided. Given the specifications of e-commerce business processes, the proposed methods can help designers analyze structural security issues of an e-commerce business process.

1- Introduction

E-commerce has significantly developed in recent years, and more and more business is conducted over the Internet. The daily volume of e-commerce is sizable and continues to grow at a rapid pace. Many e-commerce platforms spring up to accelerate this new industry [1,2]. E-commerce systems with multiple participants, including third-party payment platforms (TPPs), e-commerce systems, banks, clients, and other applications, have become the new frontier for conducting business. As a distributed application on the web, e-commerce business processes are more complex and loosely coupled. The participants communicate with each other through web services and APIs such as Cashier-as-a-Service or CaaS [3,4]. The business processes of different participants construct the entire process structure. This integration introduces new security challenges due to complex interactions among the APIs of multiple interactive participants. These differ from traditional security issues, and the new security challenges do not refer to virus, Trojans or security protocols [5,6]. The complex structural linkage of control and data flows in e-commerce systems may produce very serious problems including the violation of the transaction properties, and losses of user funds. These issues can be defined as structural security. There are many structural security cases that have appeared over recent years. These include the vulnerability caused by a combination of open source online shopping system and TPP [3], ‘‘one yuan gate’’ event of Taobao in 2011 [7], and mongodb-based web applications [8].

7- Conclusions

The rapid development of e-commerce has led to arise structural security issues in business processes. Based on EBPN, this paper discusses the concept of structural security and proposed a modeling method that fuses control and data structures. We propose two analyzing methods to determine the structural security of e-commerce business processes. However, plenty of analyzing methods in this area is still largely open. Even with the deployment of the proposed methods, there is still ample opportunity to conduct further research using additional analytical methods in structural security. In the future, we will focus on more efficient analytical methods and deploy more technologies based on the original Petri nets.

تصویری از مقاله ترجمه و تایپ شده در نرم افزار ورد

روشهای مبتنی بر شبکه های پتری برای تحلیل امنیت ساختاری در فرآیندهای تجارت الکترونیکی

Petri net-based methods for analyzing structural security in e-commerce business processes

بهبود کنترل همزمانی در پایگاه داده توزیعی

Improvement On Concurrency Control In A Distributed Database

چکیده

1.مقدمه

2. روش کار

1-2 معماری یک سیستم مدیریت پایگاه داده توزیعی (DBMS)

2-2 معماری بهبود یافته برای کنترل همزمانی در یک پایگاه داده توزیعی

3-2 روش طراحی شبکه پتری

1-3-2 دیاگرام شبکه پتری یک طرفه برای برای کنترل همزمانی

2-3-2 مدل ریاضیاتی برای کنترل همزمانی یک طرفه

3-3-2 دیاگرام شبکه پتری دو طرفه برای کنترل همزمانی

4-3-2 مدل ریاضی برای جهت گیری رو به جلو دو طرفه

5-3-2 مدل ریاضی برای هدایت رو به عقب دو طرفه

3. نتایج و بحث

1-3 گراف کنترل همزمانی موجود در یک پایگاه داده توزیعی

2-3 جهت گیری بهبود یافته رو به عقب دو طرفه

4. نتیجه گیری

منابع

چکیده

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

1.مقدمه

رایانه و کاربردهای گوناگون آن در سال های اخیر شاهد انقلابی شگرف بوده است. موفقیت عظیم آن به دلیل انعطاف پذیری و قابلیت اطمینانی است که سیستم رایانه ای به کاربران بالقوه ارائه می کند [1]. مطابق با مقاله [2]، دهه اخیر شاهد ایجاد و توسعه سریع حوزه سیستم های رایانه ای توزیعی بوده است. این توسعه به دلیل نیروهای فنی و اجتماعی بوده است و به نظر می رسد که فشار این دو نیرو همچنان ادامه خواهد داشت. کسب و کارها در طی بیست سال فعالیت های پردازشی خود را به صورت آنلاین ارائه کرده اند. بسیاری از کسب و کارها همانند خطوط هواپیمایی و بانک ها بدون وجود سیستم های رایانه ای برخط نمی توانند کارکردی داشته باشند. پایگاه داده برخط آن ها می بایست همواره به روز و صحیح باشد.

4. نتیجه گیری

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

Abstract

This paper presents an Improvement on concurrency control in a distributed database. Concurrency control approach provides rules, methods, design methodology and theories to maintain the consistency of components operating concurrently while interacting and thus the consistency and correctness of the whole system. It is shown that the problem of existing architecture of a distributed database uses bus topology that causes data collision and poor management of data transaction. The proposed architecture of the distributed database uses a star-wired topology with Intelligent Ethernet managed switches Network. This improved architecture ensures consistent and correct transaction, efficient data collection and management and recoverability of data in a distributed database. The mathematical analysis that uses Petri-nets and simulated results are also presented in the paper.

1 INTRODUCTION

Computer and its diverse applications have in recent times witnessed a revolution. Its enormous success is due largely to the flexibility and reliability that computer system offer to potential users [1]. According to [2], the last decade has seen the creation and rapid expansion of the field of distributed computing systems. This has been driven by both technical and social forces and it seems likely that the pressure from both will continue for some time yet. For over 20 years, businesses have been moving their Data processing activities on line. Many businesses, such as airlines and banks, are no longer able to function when their on-line computer system are down. Their on-line database must be up-to-date and correct at all times.

4 CONCLUSION

The general purpose of concurrency control is to provide rules, methods, design methodology and theories to maintain the consistency of components operating concurrently while interacting, and thus, the consistency and correctness of the distributed database system. This work has studied on the improvement of concurrency control in a distributed database. From the analysis and results, it can be seen that, the concurrency control in a distributed database has been improved by 66.7%. The research results indicated that improvements on concurrency control in a distributed database is achievable.

تصویری از مقاله ترجمه و تایپ شده در نرم افزار ورد

بهبود کنترل همزمانی در پایگاه داده توزیعی

Improvement On Concurrency Control In A Distributed Database

یک رویکرد مبتنی بر شبکه‌ پتری برای پشتیبانی قابلیت ردیابی در سیستم‌های تولیدی سایبر- فیزیکی

A PetriNet-Based Approach for Supporting Traceability in Cyber-Physical Manufacturing Systems

• برای دانلود رایگان مقاله انگلیسی با فرمت pdf بر روی عنوان انگلیسی مقاله کلیک نمایید.
• برای خرید و دانلود ترجمه فارسی آماده با فرمت ورد، روی عنوان فارسی مقاله کلیک کنید.

یک رویکرد مبتنی بر شبکه‌ پتری برای پشتیبانی قابلیت ردیابی در سیستم‌های تولیدی سایبر- فیزیکی

A PetriNet-Based Approach for Supporting Traceability in Cyber-Physical Manufacturing Systems

• برای دانلود رایگان مقاله انگلیسی با فرمت pdf بر روی عنوان انگلیسی مقاله کلیک نمایید.
• برای خرید و دانلود ترجمه فارسی آماده با فرمت ورد، روی عنوان فارسی مقاله کلیک کنید.

آنالیز طرح امنیتی احراز هویت وسیله نقلیه توسط RSU ها در وانت

A secure analysis of vehicular authentication security scheme of RSUs in VANET

Abstract

The Vehicular Ad-Hoc Network (VANET) is a network to provide communication between nearby V2V (Vehicular to vehicular) and V2I(Vehicular to Infrastructure). In order to increase the network efficiency, it is required to have stability of transmission and security of reliability. In this paper, we propose a novel Vehicular Authentication Security Scheme (VASS) guaranteeing secure RSUs (Roadside Units) to OBUs(On-Board Units) in VANET on the basis of the ID-based authentication scheme using hi-pass card (or highway pass ticket) and license plate number. We show a usefulness and effectiveness of VASS after analyzed by the Petri nets.

1 Introduction

In Vehicular Ad-Hoc Network(VANET)s, it includes the communication between vehicles and the communication with the Roadside Units (RSUs) installed in major regions. In particular, data such as vehicle location, current time, direction, speed, traffic volume remarks, acceleration and deceleration is distributed by On-Board Units (OBUs) in the VANET. According to such data, VANET plays the role of smoothly manipulating road traffic volume through traffic flow control, accident prevention countermeasures, solution for complicated traffic volume and announcement of alternate roads [1–11].

In the VANET, it is one of the important problems to authenticated vehicle successfully. Raya et al. [9] proposed an authenticated method using large numbers of anonymous public and private key pairs, but this work needs high computation cost and high storage cost. Lu et al. [10] introduced ECPP(Efficient Conditional Privacy Preservation) protocol for VANETs which has three levels of user privacy, to achieve authentication, anonymity, and untraceability. In ECPP, RSUs are responsible for issuing temporary public key certificates to vehicles. However, ECPP uses the signatures and public key certificates on each message resulting in high computation cost for verifying the message. Zhang et al. [11] proposed RAISE (RSU-aided messages authentication scheme) method using the symmetric key hash message authentication code (HMAC) to reduce the signature cost. In [8], PPAS(Privacy preservation authentication scheme) was proposed for V2I (Vehicular to Infrastructure) communication environments which has a lightweight authentication. As mentioned above [8–11], we found that designing a security and privacy preservation authentication scheme with low computation and authentication latency in VANET still remains as a major challenge.

This study focuses on the authentication problem on each vehicle in the communication between vehicles in the high way environment. In other words, definite authentication on vehicles in the communication occurred between vehicles not only prevents accidents but can also be used as basic data for post-accident responsibility matters. Especially, it is necessary to a mutually different ID(identity) in the communication between vehicles, the transmission/reception media should not be tampered, and confidentiality for the communication messages between entities be guaranteed. In order to show the safety efficiency on the security, a novel security mechanism has been proposed for VANET and is verified a usefulness and effectiveness by modeling the Petri Net. Petri nets [12] as a graphical and mathematical tools, are a uniform environment for modeling, analysis, and control of complex systems. The modeling of Petri nets may detect flaws and errors in the security scheme design, and subsequently improve the correctness of the security protocol. We used Petri nets in the security analysis of the proposed scheme.

The remainder of the paper is organized as follows. Followed by the introduction of Sect. 1, Sect. 2 deals with the preliminaries and assumption for this works, Sect. 3 explains about Vehicular Authentication Security Scheme (VASS) proposed in this study. In Sect. 4, models with Petri Net, and through this, proposes how smoothly the mechanism that varies frequently according to the security purpose can be applied. Section 5 explains about future research assignments along with the conclusion of this study

آنالیز رفتار تصادفی واحد تولید برق در نیروگاه های حرارتی با استفاده از روش فازی

Stochastic behaviour analysis of power generating unit in thermal power plant using fuzzy methodology

چکیده
1- مقدمه
2- تئوری FTA و PN
3- RCA و FMEA
4- تئوری دستگاه فازی
4-1- دستگاه فازی در مقابل مجموعه قطعی
4-2- تابع عضویت سه گانه و برش α
4-3- متغیرهای زبانی و پایه قانون فازی
4-4- سیستم استنتاج فازی و غیر فازی سازی
5- مطالعه موردی
6- فاز 1: تحلیل کمی
6-1- تحلیل رفتاری
6-2- فاز 2: تحلیل کیفی
6-3- بحث
7- نتیجه‌گیری
8- پیامد‌های مدیریتی

چکیده

هدف این تحقیق مطالعه رفتار تصادفی یک PGU (واحد تولید برق) یک نیروگاه متوسط حرارتی با سوخت ذغال سنگ با استفاده از روش فازی (FM) است. از روش PN برای نمایش پیکربندی سری و موازی زیر سیستم‌های ساختار PGU استفاده شده است. برای مطالعه دینامیک شکست(خرابی) سیستم در نظر گرفته شده، پارامترهای قابلیت اطمینان مختلفی مثل نرخ خرابی، زمان تعمیر، MTBF، ENOF، دسترسی و قابلیت اطمینان سیستم با استفاده از روش λ-τ فازی محاسبه شده‌اند. RCA برای تعیین دلایل خرابی زیر سیستم‌های مختلف PGU انجام شده است. برای تعیین نمره‌های RPN دلایل مختلف خرابی اجزای مختلف، FMEA انجام شده است. براساس این نمره‌های RPN ، اجزای بحرانی شناسایی شدند و بر اساس میزانی بحرانی بودنشان رتبه بندی شدند. علاوه بر این، با معرفی یک سیستم پشتیبان تصمیم گیری فازی (FDSS) ، بر محدودیت‌های روش FMEA متداول غلبه شد. یافته‌های این تحقیق می‌تواند با مهندسین میدانی/تحلیلگران سیستمِ سیستم در نظر گرفته شده ارتباط برقرار کند تا به آن‌ها در درک و پیش بینی رفتار سیستم، و پیاده سازی سیاست‌های تعمیر و نگهداری مناسب و موثر برای بهبود دسترسی سیستم، کمک کند.

8- پیامد‌های مدیریتی

سیستم در نظر گرفته شده نیاز به استفاده از داده‌های نامطمئن/مبهم و قضاوت ذهنی برای تحلیل رفتاری سیستم دارد. نتایج تولید شده بر اساس دقت داده‌های خام ارائه شده توسط متخصص این زمینه هستند (خصوصا برای تحلیل FMEA) و ممکن است جانب دارانه باشد. با این حال، چارچوب پیشنهادی همانطور که در بالا بحث شد به تحلیلگر سیستم/مدیر نگهداری در موارد زیر کمک می‌کند: • تحلیل موثر رفتار سیستم • تخصیص بهتر رتبه بندی به اجزای بحرانی سیستم • مفید در ترکیب سه پارامتر ورودی به روشی انعطاف پذیر تر برای دستیابی به RPN در FMEA. • یاری بخش در تصمیم گیری‌های نگهداری برای دسترسی بهتر و بهبود سود صنعت

Abstract

The aim of this research is to study the stochastic behaviour of a PGU (power generating unit) of a medium size coal fired thermal power plant using fuzzy methodology (FM). The PN approach was used to depict series and parallel configurations of the subsystems constituting the PGU. To study the failure dynamics of the considered system, various reliability parameters such as failure rate, repair time, MTBF, ENOF, availability and reliability of the system were computed using fuzzy λ-τ approach. RCA was conducted to determine the failure causes of various subsystems of the PGU. FMEA was carried out to determine the RPN scores of the various failure causes of different components. On the basis of these RPN scores, critical components were identified and ranked on the basis of criticality. Further, the limitations of the traditional FMEA approach were overcome by introducing a Fuzzy decision support system (FDSS). Findings of this study would be communicated to field engineers/system analysts of the considered system to help them understand and anticipate system behavior, and implement appropriate and effective maintenance policies for improving system availability.

8- Managerial implication

The considered system requires the use of uncertain/vague data and subjective judgment for the behavioural analysis of the system. The results generated are based upon the exactness of the raw data supplied by the field expert (especially for FMEA analysis) and may be biased. However, the proposed framework as discussed above helps the system analyst/ maintenance manager in following terms & Effective behaviour analysis of the system & Better allocation of ranking to the critical components of the system & Useful to combine the three input parameters in more flexible manner to obtain the RPN in FMEA. & Helpful in maintenance decision making for better availability and improving the profit of the industry

تصویری از مقاله ترجمه و تایپ شده در نرم افزار ورد

آنالیز رفتار تصادفی واحد تولید برق در نیروگاه های حرارتی با استفاده از روش فازی

Stochastic behaviour analysis of power generating unit in thermal power plant using fuzzy methodology

مدل سازی و آنالیز سیستم های محاسبات سیار: شبکه های پتری توسعه یافته

Modelling and Analysis of Mobile Computing Systems: An Extended Petri Nets Formalism

چکیده

1. مقدمه

2. شبکه های توسعه یافته قابل پیکربندی مجدد برچسب گذاری شده (ELRN)

2-1 تعریف رسمی

2-2 مفاهیم

2-3 یک نمونه مدل سازی

3. تجزیه و تحلیل شبکه ELRN

4. کارهای مرتبط

5. نتیجه گیری

چکیده

شبکه های پتری در نسخه اصلی اشان به عنوان گراف های ثابت تعریف می شود به طوری که رفتار سیستم به عنوان علامت گذاری گرافی تعریف می شود که با گذشت زمان تغییر می کند. این محدودیت سبب می شود که شبکه های پتری به ابزار ضعیفی برای کار با سیستم های قابل پیکربندی همانند سیستم های رایانش سیار تبدیل شوند که در آن ساختار سیستم مطابق با رفتارش در طی زمان تغییر می کند. بسیاری از شبکه های پتری توسعه یافته برای تعامل با این ضعف پیشنهاد داده شده است. هدف این کار ارائه توسعه جدیدی از شبکه های پتری است که ساختار گراف به طور زیادی قابل انعطاف است. این انعطاف پذیری مدل کاملی همراه با رفتارهای پیچیده ارائه می کند که در توسعه های پیشین مجاز نبوده است. هدف دوم اثبات این است که حتی آن رفتارها نیز بسیار پیچیده هستند؛ آن ها به دیگر مدل های سطح پایین قابل تبدیل هستند (همانند شبکه های پتری رنگی [21]) و در نتیجه قابل تحلیل می باشند. این تبدیل شبکه های پتری پویا [11] را به عنوان یک نمایش واسط بین مدل پیشنهادی و شبکه های پتری رنگی به کار می گیرد.

1. مقدمه

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

5. نتیجه گیری 

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

Abstract

In its basic version, Petri Nets are defined as fixed graphs, where the behaviour of the system is modelled as the marking of the graph which changes over time. This constraint makes the Petri Nets a poor tool to deal with reconfigurable systems as mobile computing systems, where the structure of the system can change as its behaviour, during time. Many extended Petri nets were proposed to deal with this weakness. The aim of this work is to present a new extension of Petri Nets, where the structure of the graph can be highly flexible. This flexibility gives a rich model with complex behaviours, not allowed in previous extensions. The second aim is to prove that even these behaviours are so complex; they can be translated into other low level models (as Coloured Petri Nets [21]) and so be analysed. This translation exploits Dynamic Petri Nets [11] as an intermediary representation between our model and Coloured Petri Nets.

1 Introduction

The development of computer science technologies and increasing user requirements are the major drivers of the birth of sophisticated solutions. Mobility with its soft (code mobility) and hard (device mobility) aspects is one of these solutions. When some disaster menaces a critical system during its execution, it seems a good idea to transfer this system and to save its state to another, more secure site, where it can continue its execution. By soft mobility, we mean a system where code can migrate from one site to another site. Many reasons can cause such migration and many methods and techniques can be used.

5 Conclusion

Mobile Systems are systems with a dynamic structure. Their structure changes as they are executed. This class of systems can be found in many domains of our life. Mobile robots used to explore hostile environment, mobile agents used in the internet or in distributed systems, mobile nodes in a mobile wireless networks … All these systems can be considered as reconfigurable systems.

تصویری از مقاله ترجمه و تایپ شده در نرم افزار ورد

مدل سازی و آنالیز سیستم های محاسبات سیار: شبکه های پتری توسعه یافته

Modelling and Analysis of Mobile Computing Systems: An Extended Petri Nets Formalism

یک سیستم خبره مبتنی بر شبکه پتری فازی و کاربرد آن برای ارزیابی خسارت پل ها

A Fuzzy Petri Net-Based Expert System and Its Application to Damage Assessment of Bridges

• برای دانلود رایگان مقاله انگلیسی با فرمت pdf بر روی عنوان انگلیسی مقاله کلیک نمایید.
• برای خرید و دانلود ترجمه فارسی آماده با فرمت ورد، روی عنوان فارسی مقاله کلیک کنید.

تصویری از مقاله ترجمه و تایپ شده در نرم افزار ورد

بررسی خسارت پل ها با سیستم خبره بر اساس شبکه پتری فازی

A Fuzzy Petri Net-Based Expert System and Its Application to Damage Assessment of Bridges

• برای دانلود رایگان مقاله انگلیسی با فرمت pdf بر روی عنوان انگلیسی مقاله کلیک نمایید.
• برای خرید و دانلود ترجمه فارسی آماده با فرمت ورد، روی عنوان فارسی مقاله کلیک کنید.

استفاده از مدل نمایش سیستم های همزمان یا موازی (Petri Nets) برای مدل سازی مدیریت منابع در سیستم های عامل

Using Petri Nets For Resource Management Modeling In The Operating Systems

• برای دانلود رایگان مقاله انگلیسی با فرمت pdf بر روی عنوان انگلیسی مقاله کلیک نمایید.
• برای خرید و دانلود ترجمه فارسی آماده با فرمت ورد، روی عنوان فارسی مقاله کلیک کنید.

تصویری از مقاله ترجمه و تایپ شده در نرم افزار ورد

مدل سازی مدیریت منابع در سیستم های عامل با شبکه های پتری

Using Petri Nets For Resource Management Modeling In The Operating Systems

• برای دانلود رایگان مقاله انگلیسی با فرمت pdf بر روی عنوان انگلیسی مقاله کلیک نمایید.
• برای خرید و دانلود ترجمه فارسی آماده با فرمت ورد، روی عنوان فارسی مقاله کلیک کنید.