【摘 要】
：
提出一种新的时态逻辑??一阶间隔时态逻辑(FOITL),它是扩充了间隔时间算子的一阶时态逻辑.它能精确地描述数字电路的时间特性,支持连续和离散的时间结构并能对时间信息进行推
论文部分内容阅读
提出一种新的时态逻辑??一阶间隔时态逻辑(FOITL),它是扩充了间隔时间算子的一阶时态逻辑.它能精确地描述数字电路的时间特性,支持连续和离散的时间结构并能对时间信息进行推理.该文给出了FOITL的基本框架,并对其进行了验证.“,”This article presents a new kind of temporal logic--first order interval temporal logic(FOITL). It is first order logic augmented by interval operator in which there is no explicit reference point about time. Compared with propositional temporal logic, it can accurately describe the time feature of digital circuits and support discrete and continuous time structure. Due to its complete axioms system, it can reason about time signals. Frame about the FOITL is given and an example of digital circuit is verifi...
其他文献
提出一种适用于不确定性高阶关联大系统的分散变结构调节器设计方法.所考虑的系统不确定性因素包括系统内部参数摄动、高阶关联变化和外部干扰.该设计方法的主要优点是在分散
对直腔式和环形谐振腔的稳频原理进行了理论上的探讨,并给出了环形激光陀螺的稳频精度分析.根据环形激光器研制过程中的需要,提出了一种基于单片机系统的实用稳频方案,并对该
提出了一种基于面绘制模型的多组织绘制方法:剖视绘制,并在微机环境下以动物树獭的 C T图象为例进行了实验.实验证明,与目前基于直接体绘制模型的方法相比,新方法具有易于实
定子绕组的单相接地电流过大,可使铁芯熔化,给修复造成很大困难,同时还可能发展成为相间短路.该故障的及时查找具有重要意义。
本文通过阐述我国银行业房地产信贷管理的现状,分析了银行业房地产信贷风险管理方面存在的问题,并进一步提出了切实可行的防范措施。
This essay expatiates on the status
在分析PLC技术及技术应用基础上。以正在技改的220kv陇海变直流监控系统为背景，介绍了变电站直流系统PLC控制的组成结构、技术特点和实现的功能，以此获取更高的经济效益和安全
范县黄河第一修防段,在去年二期春修工程中,高举毛澤东思想伟大紅旗,以敢闖、敢創的革命精神,破旧立新,推广了拖拉机牵引拉坡,使工效大幅度增长。全期牽引的十一个地排车队,
将神经网络用于知识求精的主要局限性,是训练时不能改变网络的拓扑结构.该文根据结构学习算法提出了一种基于神经网络的知识求精方法,训练时采用动态增加隐含节点和网络删除
针对回转体零件提出了一种 C A D/ C A P P集成方法,通过特征库、用户自定义特征在建模规则的约束下完成零件的建模工作,运用编码规则自动将模型整理成 C A P P子系统所需要
为了克服电机非线性、变参数的影响,该文研究了适用于无刷直流电动机控制系统的单神经元自适应PID控制器.对线性和非线性单神经元自适应PID控制器的分析和仿真表明线性单神经