Slotted-Circus A UTP-Family of Reactive Theories

机译：开槽马戏UTP反应性理论家族

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

We present a generic framework of UTP theories for describing systems whose behaviour is characterised by regular time-slots, compatible with the general structure of the Circus language [WCOla]. This "slotted- Circus" framework is parameterised by the particular way in which event histories are observable within a time-slot, and specifies what laws a desired parameterisation must obey in order for a satisfactory theory to emerge. Two key results of this work are: the need to be very careful in formulating the healthiness conditions, particularly R2; and the demonstration that synchronous theories like SCSP [Bar93] do not fit well with the way reactive systems are currently formulated in UTP and Circus.

机译：我们提供了一个UTP理论的通用框架，用于描述其行为以规则时隙为特征的系统，与马戏语言[WCOla]的一般结构兼容。通过在时隙内可观察事件历史的特定方式对这种“开槽马戏团”框架进行参数化，并指定期望的参数化必须遵循哪些定律才能使令人满意的理论出现。这项工作的两个主要结果是：在制定健康状况，特别是R2时需要非常小心；以及诸如SCSP [Bar93]之类的同步理论与UTP和Circus当前制定反应性系统的方式不太吻合的论证。

著录项

来源
《International Conference on Integrated Formal Methods(IFM 2007); 20070702-05; Oxford(GB)》|2007年|P.75-97|共23页
会议地点 Oxford(GB)
作者
Andrew Butterfield; Adnan Sherif; Jim Woodcock;
展开▼
作者单位

Trinity College Dublin;

Universidade Federal de Pernambuco;

University of York;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类理论、方法;
关键词

相似文献

外文文献
中文文献
专利

1. Structure, aromaticity and reactivity of corannulene and its analogues: a conceptual density functional theory and density functional reactivity theory study [J] . Deng Youer, Yu Donghai, Cao Xiaofang, Molecular physics . 2018,第7a8期

机译：磺酰烯及其类似物的结构，芳香性和反应性：概念密度泛函理论与密度函数反应性理论研究
2. Theory Of Transient Permeation Through Reactive Barrier Films I.Steady State Theory For Homogeneous Passive And Reactive Media [J] . Stanislav E.Solovyov, Anatoliy Ya.Goldman International Journal of Polymeric Materials . 2005,第2期

机译：透过反应性阻挡膜的瞬态渗透理论I.均匀的被动和反应性介质的稳态理论
3. An electronic temperature definition for the reactive electronic species: Conciliating practical approaches in conceptual chemical reactivity theory with a rigorous ensemble formulation [J] . Franco-Perez Marco The Journal of Chemical Physics . 2019,第7期

机译：反应电子物种的电子温度定义：概念化学反应性理论的调解实用方法，具有严格的集合制剂
4. Slotted-Circus A UTP-Family of Reactive Theories [C] . Andrew Butterfield, Adnan Sherif, Jim Woodcock International Conference on Integrated Formal Methods(IFM 2007) . 2007

机译：Slotted-Circus A UTP家族反应理论
5. Understanding the Reactivity and Tunability of MOF-Supported Cluster Catalysts and MOF Nodes Towards Alkane Partial Oxidation Using Density Functional Theory [D] . Barona, Melissa. 2020

机译：了解使用密度函数理论对MOF支持的簇催化剂和MOF节点对烷烃部分氧化的反应性和可调节性
6. Block-Localized Density Functional Theory (BLDFT) Diabatic Coupling and Their Use in Valence Bond Theory for Representing Reactive Potential Energy Surfaces [O] . Alessandro Cembran, Lingchun Song, Yirong Mo, -1

机译：块局域密度泛函理论（BLDFT）非绝热耦合以及他们在价键理论用于代表反应势能面
7. Chemical Reactivity Theory Applied to the Calculation of the Local Reactivity Descriptors of a Colored Maillard Reaction Product [O] . Juan Frau, Daniel Glossman-Mitnik 2018

机译：化学反应性理论适用于彩色美沙德反应产物的局部反应性描述符的计算

Slotted-Circus A UTP-Family of Reactive Theories

摘要

著录项

相似文献

相关主题

期刊订阅