扩展时段时序逻辑的推理机制

来源 :计算机学报 | 被引量 : 0次 | 上传用户:chunwei_song
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
该文在扩展时段时序逻辑的基础上提出了一种推理机制,这种推理机制基于时间Petri网模型及基本不等式规则,可由一组已知的扩展时段时序关系推出一些未知的扩展时段时序关系,对不确定时间段内发生的事件及其相互关系具有较好的描述能力,这种推理机制的优势在于定性地对扩展时段之间的时序关系进行推理分析,利用时间Petri网模型,可以对复杂时序逻辑关系进行化简,比单纯利用不等式规则的推理更直观,也更简单,是一种行之有效的方法。
其他文献
北京十一五规划指出北京将大力发展文化产业,尤其是文化创意产业。美术是文化产业中最具有创意色彩的产业部门,北京是中国最重要的美术产业中心,近5年来出现了一批美术创意产业
移动目标跟踪是传感器网络的一个重要应用.网络中传感器节点协作发现目标并将对目标的感知信息反馈给用户.为了有效地减少网络能耗和提高跟踪质茸,文中提出一种基于两阶段睡眠调
软件系统的演化分析是程序分析和程序理解的一个重要方面.通过演化分析可以了解系统需求和设计的演化趋势,从而更好地理解系统的需求和设计决策.文中在前期工作所提出的基于模糊
结合陕北公路交通与经济发展的实际,应用1998-2007年度的数据,运用主成分析、相关性、回归模型、弹性分析等方法,对经济转型期陕北公路交通与经济发展效率进行了综合分析评价。
在面向服务的应用中,服务集成商通过选择已有服务并对这些服务进行组合,为其消费者提供增值(value—added)服务.然而,现有的组合服务选择模型中,各可选服务被认为是相互独立的,可选服
在基于DHT的P2P系统中需要采用冗余机制以保证数据的高可用性.文中结合用户下载行为来衡量数据存储与共享系统中的不同冗余机制.此外,作者提出了一种混合式的数据冗余策略,它
给出一类基于奇异值软剔除的加权稳健支撑向量回归方法(WRSVR).该方法的基本思想是首先由支撑向量回归方法(SVR)得到一个近似支撑向量回归函数,基于这个近似模型给出了加权SV
针对sIB算法的压缩变量参数的确定问题,采用最小描述长度原理,构建一种自动确定参数的AsIB算法.算法使用一种有效的编码方案对数据分析模型和相应的数据进行描述,将最小描述
该文在小波变换的多分辨率框架下建立了一种基于曲线演化的多目标分割算法 ,并且目标分割由两步实现 :(1 )区域划分 ,将图像域分为多个子区域 ;(2 )在各子区域中 ,采用基于简化的Mumford Shah模型的曲线演化方法进行分割 ,从而实现了多个 (不局限于一个 )不同平均灰度目标的分割 .由于算法建立在区域划分和CV方法的基础上 ,因而对受噪声影响大、边缘模糊的多个不同质区域仍能得到正确的分
在研究面向对象的度量问题时,人们通过简单的统计方法和基于信息流的方法来度量其中的一些特征,例如基本度量、CK度量和AoKi度量等.文中采用一种基于程序切片的方法来度量Jav