论文部分内容阅读
针对触发图中有环时，在实际运行中仅执行有限次，该规则集可能是可终止的，通过对规则集的静态分析，提出了联合公式的概念，给出了判定联合公式是否满足条件的算法和时间复杂度分析，联合公式的提出，简化了非循环路径的判定工作，为判定主动规则触发图为有环时的可终止性奠定了基础。
联合公式判定非循环执行路径
【摘 要】
：
针对触发图中有环时，在实际运行中仅执行有限次，该规则集可能是可终止的，通过对规则集的静态分析，提出了联合公式的概念，给出了判定联合公式是否满足条件的算法和时间复杂度分析，联
【机 构】
：
哈尔滨理工大学计算机与控制学院,哈尔滨工业大学计算机学院
【出 处】
：
哈尔滨理工大学学报
【发表日期】
：
2004年1期
【基金项目】
：
黑龙江省自然科学基金资助(F00-016)
其他文献
提出一种混合进化规划算法，将进化规划与免疫进化中的克隆扩增相结合．该算法一方面用自适应变异步长的进化规划来有效地控制种群的整体进化，以在全局范围内进行搜索；另一方面，对于
利用1961—2010年我国753站逐日降水资料和NCEP/NCAR再分析资料,分析了近50年我国夏季降水的变化,包括夏季总降水量、极端降水量和极端降水频次的变化。结果表明,夏季总降水
随着国家医疗保障局的组建成立,以及医保管理体制的逐步完善和医保管理手段的日趋精细化,医保对医疗服务体系的影响愈加显著。民营医院作为我国医疗服务体系中较为薄弱的一环
如何在大规模的移动自组网络中快速地找到所需的资源是一个迫切需要解决的问题。提出了一种称为EAQOS（Energy Aware QoS）的资源发现协议，本协议将资源查询请求过程同路由协议紧
针对水质监控系统的实时监控问题,将ZXGM18嵌入监控中心业务台和上位机,利用现有的通信设施,提出了基于GSM移动通信短消息实现水质数据监控的设计方案,模拟运行表明,该系统可以一次传送160个COD数据监控字符,提高了监控系统的实时性,扩大了监控终端的监控范围。
为实现将仪器接入网络的目的,采用Microsoft的RPC开发工具包,对TCP/IP-IEEE488.1接口规范进行了软件实现.利用该软件,配合带有IEEE488.1接口的仪器,在以太网内对滤波器幅/频
为解决复杂槽型铣刀片槽型实时重构的问题,以波形刃铣刀片为例,对复杂槽型的重构问题进行了研究,基于模糊综合评判和遗传算法,利用OpenGL技术设计了槽型重构系统,具有很大的
以钛酸四丁酯、无水乙醇、硝酸银为原料，硝酸作为催化抑制剂，采用溶胶一凝胶法获得前躯体，将前躯体煅烧制备了Ag掺杂纳米TiO2粉体和薄膜．采用DTA-TG对前躯体的热分解行为进行研究
采用1961-2010年松花江流域60个气象站逐日资料,基于平流-干旱模型（AA模型）计算并分析了流域实际蒸散发时空变化特征,采用相关分析方法研究了影响实际蒸散发变化的主要气象要素
基于预测控制原理和支持向量机理论,针对工业中多变量过程系统控制的困难性,提出了一种智能预测控制策略.水泥回转窑煅烧工艺作为水泥生产中最重要的环节,包含了复杂的物理和