کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
6875308 | 1441597 | 2018 | 30 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Local reversibility in a Calculus of Covalent Bonding
ترجمه فارسی عنوان
برگشت پذیری محلی در محاسبه پیوند کووالانسی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
کالیبراسیون فرآیند برگشت پذیر، برگشت پذیری محلی، مدلسازی واکنشهای بیوشیمیایی،
ترجمه چکیده
ما یک محاسبات فرآیند را با یک اپراتور پیشوند جدید معرفی می کنیم که به ما امکان می دهد تا مدل برگشت پذیر کنترل شده را مدل کنیم. اقدامات می تواند به صورت خود به خودی، مانند سایر روش های برگشت پذیر برگشت داده شود، یا به عنوان جفت اقدامات هماهنگ، جایی که اجرای یک اقدام ضعیف موجب خنثی شدن فعالیت های دیگر می شود. اپراتور جدید در کلیت کلی خود ما را قادر می سازد تا محاسبات نظم خارج از علت را مدل کند، در حالیکه علل آن را خنثی می کنند تا اثراتشان به پایان برسد، که فراتر از آن چیزی است که کالبد برگشت پذیر می تواند بیان کند. با این حال، محاسبات هسته ای، که فقط از فرم کاهش یافته اپراتور جدید استفاده می کند، به خوبی رفتار می کند زیرا رضایت زنا را رضایت می دهد. ما سودمندی محاسبات را با مدلسازی هیدراتاسیون فرمالدئید در آب به متاندیول، یک واکنش صنعتی مهم، که در آن ایجاد و شکستن برخی از اوراق قرضه، نمونه هایی از محاسبه نظم خارج از علت کنترل محلی است، نشان می دهد.
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
We introduce a process calculus with a new prefixing operator that allows us to model locally controlled reversibility. Actions can be undone spontaneously, as in other reversible process calculi, or as pairs of concerted actions, where performing a weak action forces undoing of another action. The new operator in its full generality allows us to model out-of-causal order computation, where causes are undone before their effects are undone, which goes beyond what typical reversible calculi can express. However, the core calculus, which uses only the reduced form of the new operator, is well behaved as it satisfied causal consistency. We demonstrate the usefulness of the calculus by modelling the hydration of formaldehyde in water into methanediol, an industrially important reaction, where the creation and breaking of some bonds are examples of locally controlled out-of-causal order computation.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Science of Computer Programming - Volume 151, 1 January 2018, Pages 18-47
Journal: Science of Computer Programming - Volume 151, 1 January 2018, Pages 18-47
نویسندگان
Stefan Kuhn, Irek Ulidowski,