论文部分内容阅读
提出一种新的时态逻辑－一阶间隔时态逻辑（ＦＯＩＴＬ），它是扩充了间隔时间算子的一阶时态逻辑。它能精确地描述数字电路的时间特性，支持连续和离散的时间结构并能对时间信息进行推理。本文给出了ＦＯＩＴＬ的基本框架，并对其进行了验证。
用于描述和验证数字电路的一阶间隔时态逻辑
【摘 要】
：
提出一种新的时态逻辑－一阶间隔时态逻辑（ＦＯＩＴＬ），它是扩充了间隔时间算子的一阶时态逻辑。它能精确地描述数字电路的时间特性，支持连续和离散的时间结构并能对时间信息进行推理。本文给
【机 构】
：
西北工业大学,西安邮电学院
【出 处】
：
西北工业大学学报
【发表日期】
：
1999年1期
其他文献
平板式稻田养鳖是指不挖鳖道、鳖沟、鳖坑,而是通过加高、加固田埂、加装防逃设施的一种山区稻渔综合种养模式。相比较平原沟坑式稻田养鳖,对稻田面积要求低、耕作层破坏小、
期刊
构造了一种在π平面上为椭圆的后继屈服函数；并将其应用于干涉孔及冷胀孔问题的弹塑性有限元分析当中。从分析结果来看，该屈服函数的应用，不仅在冷胀孔问题方面取得了较好的分析
为提高机动车驾驶员的素质，科学的培训和管理十分必要，本文介绍了一个智能管理系统方案，首先给出了培训过程的抽象描述，即培训函数Ｆ的意义，然后描述了系统设计与实现中的主要细节问
同余式ｘ_ｉ~２≡ａ（ｍｏｄｐ）相异解的个数的递推公式沈云付（北京师范大学，北京１００８７５）设ｐ为奇素数，ｍ，ｎ为正整数．同余式（１）的解数仅与ａ的Ｌｅｇｅｎｄｒｅ符号有关，有相同的Ｌｅｇｅｎｄｒｅ符号的同余式它们的解数相同．于是用表示同余式（１）...
讨论了阶形杆纵向振动的一类最优控制问题,并给出一种算法,通过计算机仿真表明这一算法和最优控制效果的有效性.
本文，我们否定地回答了Ｓｔｒｏｅｔｈｏｆｆ在［５］ｋ ｒｊｂｍｒ ｕｄ ｇｆ Ｈａｎｋｅｌ算子的一个猜想。
本文讨论了用周期小波对Ｈｏｌｄｅｒ空间进行的特征刻划，给出了Ｈｏｌｄｅｒ空间中的若干小波逼近性质，证明了用周小波逼近Ｃａｕｃｈｙ型奇积分时的一些收敛定理。
论述了ＰＸＤＣＡＰ系统的知识表示及推理机制，提出了面向对象的工艺知识表示－－智能对象。以此为基础进一步探讨了层次化的工艺知识库模型，最后，讨论了系统的推理机制，即基于对象内和对象间的两
提出了混杂低压浸渗模型，理论计算表明：在0.45MPa压力下可实现对非润湿体系浸杂Cf/Al复合材料的完全浸渗。采用超声混杂法制出了SiCp分布均匀的混杂预制型Cf/SiCp，探讨了混杂预
用H∞控制理论设计直升机飞行／推进综合控制器，提出了一种基于性能指标要求的加权阵选择方法，整个设计过程简单明了且效果很好，便于工程实际应用。