We present COBS — a model of a concurrent object-based computational system with handshakes as elementary actions of inter-process communication. Processes are considered to be partial views of the system. Their communication by asynchronous message passing and variable sharing is modeled by elementary processes on the same abstraction level. The same acts of computation and communication can b...

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

ةيوافمللا ةدغلا هلازإ لاجم يف انتربخ نايب ضرعتسن :فادهلأا .ركبلما يدثلا ناطرس تاضيرم ىدل ةسرالحا دلاخ كللما ىفشتسم يف ةيعجرلما ةساردلا هذه تيرجأُ :ةقيرطلا رياني ينب ام ةرتفلا للاخ ةيدوعسلا ةيبرعلا ةكلملما ،ضايرلا ،يعمالجا ناطرسب ةضيرم 120 ةساردلا تلمش .م2014 ربمسيد و م2005 عم ةسرالحا ةيوافمللا ةدغلا ةلازإ ةيلمعل نعضخ يتلالا و يدثلا ةصالخا تامولعلما عمج تم .ةدغلا هذهل ينلاا يحيرشتلا صحفلا و ةسرال...

ضارمأب ةباصلإا مدعو نسلا ةثادح نأ جئاتنلا ترهظأ :جئاتنلا ةيبلقلا ضارملأاو ،مدلا طغض عافتراو ،يركسلاك( ىرخأ ـب ةباصلإا نم مايأ ةعبس نوضغ يف جلاعلا يقّلتو )ةيئاعولا تاذ ةيعمس تاطيطخت دوجوو لدتعُحلما عمسلا نادقْفو ،ISSHL لضفأ ةقيرطب عمسلا ةداعتسا يف تمهاس ،ةدعاص تاءانحنا ةيقنلا ةمغنلا عمس سايق غلبو .ةيئاصحلإا ةيحانلا نم ريثكب ،طسوتلما يف لبيسيد 23.9 ± 67.8 رملأا لوأ يف )PTA( و لبيسيد 51.6±28.7 ىلإ ني...

طلتخملا رطيسملل ميمصت مدقي ثحبلا اذه نا LQR/H-infinity .ةدكؤملا ريغو تاريغتملا ةددعتم ةمظنلأل مت ةفلك ةلاد ىلع ادامتعا ةعجارلا ةيذغتلا ةلاح تباوثل ىلثملا ميقلا داجيا ضرغل يئيزجلا دشحلا ةيلثما ةقيرط مادختسا تاددحم نيب طيلخ نع ةرابع يه ةحرتقملا ةفلكلا ةلاد نا.ةحرتقم LQR و H-infinity حرتقملا رطيسملا نا. ريغتملا ةددعتم ةمظنلأا ضوعي نا ةياع ةءافكبو عيطتسي رطيسملا ةوق تابثا ضرغل .ةيدكؤملا مدع دوجوب ...