Local reversibility in a Calculus of Covalent Bonding

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