【摘 要】
：
提出一种新的时态逻辑——一阶间隔时态逻辑（ＦＯＩＴＬ），它是扩充了间隔时间算子的一阶时态逻辑。它能精确地描述数字电路的时间特性，支持连续和离散的时间结构并能对时间信息进行推理。本
论文部分内容阅读
提出一种新的时态逻辑——一阶间隔时态逻辑（ＦＯＩＴＬ），它是扩充了间隔时间算子的一阶时态逻辑。它能精确地描述数字电路的时间特性，支持连续和离散的时间结构并能对时间信息进行推理。本文给出了ＦＯＩＴＬ的基本框架，并对其进行了验证。
This paper proposes a new temporal logic, first-order interval temporal logic (FOITL), which is first-order temporal logic that extends the interval operator. It accurately characterizes the time characteristics of digital circuits, supports continuous and discrete time structures, and infers time information. This article gives the basic framework of FOITL and verifies it.
其他文献
职业高中的学生相对于普通高中的学生来说,基础较差,学习条件也很差,并且学习习惯不好.如何根据职业中学学生的特点,搞好高三数学总复习,在短期内,把他们的成绩搞上去,是摆在
一、立足基本名称,把握省略号、书名号和问号的使用规则rn要立足“标号”和“点号”的基本名称.标点符号基本分为标号和点号,其中标号的“标”也是“标志”的意思,那么,标号
《情人结》是霍建起商业转型的片子,较之于他以前的《那山那人那狗》、《生活秀》或者《暖》,显然没有太多可供阐释者发掘的地方。但在抒情、唯美的主旨下,也为当下中国电影
京剧是一门综合艺术,随着社会的发展和时代的需要,京剧舞台艺术在日益丰富。演员、乐队、道具、灯光都有了革新,舞台美术设计的创新更是至关重要的。在创新的过程中,没有什么
《星星·月亮·太阳》,是香港电懋[国泰]影业公司于1961年投资最大的一部鸿篇巨制,制作费用超过七十万港币。该片荣获第一届台湾电影“金马奖”的最佳剧情片、最佳女主角[尤
人类社会已进入信息时代，以计算机为基础的信息产业正以前所未有的迅猛之势席卷全球。计算机技术已成为各行各业的强有力武器，是科研、生产、管理上的必备工具。一名新型的跨世
通过在尿素中掺入氮肥增效剂的处理和对照的试验，比较在不同条件下的实验结果，得出在不同时间内的土壤中脲酶、硝酸还原酶、ＮＨ＋４ － Ｎ、ＮＯ－３ － Ｎ 的不同含量，得出氮肥增效剂中脲酶抑制剂延缓
随着计算机应用的发展，实时任务在控制中应用的范围和规模也越来越大。对于强实时任务，必须保证它的急迫的时间要求。使用多处理器系统来构造实时系统具有较高的性能价格比和良
Derivation of the Freundlich and Temkin isotherm models from the kinetic adsorption/desorpt ion equations was carried out to calculate their thermodynamic equil
高阻P型硅在热氧化过程中,往往在表面会出现n型。同样,高阻n型硅热氧化后也可具有P型表面。这种表面反型现象一般称作沟道效应。硅表面形成沟道时,在沟道与硅片之间存在着一