资料下载 › 论文 › 一种基于优先级扩展的时间自动机模型中DBM减法算法的改 ...

一种基于优先级扩展的时间自动机模型中DBM减法算法的改进 - 2008年全国理论计算机科学学术年会.pdf

6 0

2026-1-12 08:31 | 查看全部阅读模式

该会议论文提出了一种改进的DBM减法算法，用于基于优先级扩展的时间自动机模型。通过优化时间约束的处理方式，提高了算法的效率和准确性。该方法在实时系统验证中具有重要意义，为复杂时间行为的分析提供了更有效的工具。

文档为pdf格式，0.31MB，总共4页。

一种基于优先级扩展的时间自动机模型中DBM减法算法的改进 - 2008年全国理论计算机科学学术年会.pdf

文件大小:: 317.44 KB

高速下载

一种, 自动机, 减法, 优先级, 算法

相关文档

• 一种高速大容量数据采集存储系统的设计 - 第二届全国信号处理与应用学术会议.pdf
• 一种高速串行背板设计中反钻技术的研究 - 第十二届计算机工程与工艺全国学术年会(NCCET08).pdf
• 一种高速低功耗CMOS电荷分配型动态比较器 - 第二届全国信号处理与应用学术会议.pdf
• 一种高速串行总线在信号处理中的应用实例 - 第二届全国信号处理与应用学术会议.pdf
• 一种高耐蚀的合金——锌镍合金Detronzin．1215碱性锌镍合金电镀工艺 - 2008年西部电镀涂装高层论坛.pdf
• 一种高耐蚀性磷化膜的电化学表征 - 中国腐蚀与防护学会第十一届耐蚀金属材料学术年会.pdf
• 一种高线性化的CMOS共源共栅低噪声放大器 - 第一届研究生IT创新学术论坛.pdf
• 一种高精度转速测量方法 - 第19届中国过程控制会议.pdf
• 一种高精度电流采样电路的设计 - 四川省电子学会半导体与集成技术专委会2008年度学术年会.pdf
• 一种高精度时频联合正弦波频率估计算法 - 2007年北京地区高校研究生学术交流会.pdf
• 一种高精度恒流源电路的设计与实现 - 第六届全国信息获取与处理学术会议.pdf
• 一种高精度低成本的A_D转换器的应用 - 第九届工业仪表与自动化学术会议.pdf
• 一种高精度带隙基准的设计 - 四川省电子学会半导体与集成技术专委会2008年度学术年会.pdf
• 一种高炉瓦斯泥选铁工艺的的开发与应用 - 2008年全国冶金供排水专业年会.pdf
• 一种高灵敏度的转子断条检测方法 - 中国高等学校电力系统及其自动化专业第二十四届学术年会.pdf
• 一种高灵敏度应变式传感器及其在桥梁检测中的应用 - 2008年全国应变电测与传感器技术研讨会暨第三届日本TML产品用户交流会.pdf
• 一种高效的网络物理拓扑发现方法 - 中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会.pdf
• 一种高效的超细粉碎设备内置式卧辊磨及其特点 - 2008年全国金属矿山难选矿及低品味矿选矿新技术学术研讨与技术成果交流暨设备展示会.pdf
• 一种高效的由运动模式决定的自适应大小的GOP结构 - 2008年通信理论与信号处理学术年会.pdf
• 一种高效的大规模三维地形遥感影像纹理映射方法 - 第八届全国虚拟现实与可视化学术会议(CCVRV08).pdf
• 一种高效的大规模RFID数据集合清理方法 - 第六届全国信息获取与处理学术会议.pdf
• 一种高效的基于特征选择和特征加权的网络异常检测方法 - 2008中国计算机网络安全应急年会(信息内容安全分会).pdf
• 一种高效的TD-SCDMA下行链路帧头检测方法 - 第21届电路与系统学术年会.pdf
• 一种高效率阀控铅酸蓄电池组均衡电路的设计 - 中国电机工程学会第十届青年学术会议.pdf
• 一种高效利用移动节点接入带宽策略 - 辽宁省通信学会2008年通信网络与信息技术年会.pdf
• 一种高效的基于图的MLCA求解方法 - 第二十五届中国数据库学术会议(NDBC2008).pdf
• 一种高效的基于排序二叉树的数据流挖掘算法 - 2008年全国理论计算机科学学术年会.pdf
• 一种高性能IAFCCM第三代电流传输器 - 四川省电子学会半导体与集成技术专委会2008年度学术年会.pdf
• 一种高双折射光子晶体光纤模场和偏振特性研究 - 第三届全国光机电技术与系统集成学术学会第十三届全国光电技术与系统学术会议.pdf
• 一种高性能DDS的算法研究和实现 - 四川省电子学会半导体与集成技术专委会2008年度学术年会.pdf
• 一种高增益高带宽全差分放大器 - 四川省电子学会半导体与集成技术专委会2008年度学术年会.pdf
• 一种高增益AB类全差分运算放大器的设计 - 四川省电子学会半导体与集成技术专委会2008年度学术年会.pdf
• 一种高性能9_7离散小波变换滤波器的硬件设计 - 中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会.pdf
• 一种高分辨率引信技术研究 - 第七届全国毫米波亚毫米波学术会议.pdf
• 一种高压运算放大器的设计 - 四川省电子学会半导体与集成技术专委会2008年度学术年会.pdf
• 一种颗粒材料光学常数的反演方法 - 中国工程热物理学会2008年传热传质学学术会议.pdf
• 一种高Tg不流动半固化片的研制及应用研究 - 第八届全国印制电路学术年会.pdf
• 一种高Tg不流动半固化片的研制及应用研究 - 2008中日电子电路秋季大会暨秋季国际PCB技术_信息论坛.pdf
• 一种高PSR大电流的低压差线性稳压器 - 四川省电子学会半导体与集成技术专委会2008年度学术年会.pdf
• 一种预测蠕变裂纹扩展的新参量 - 第十四届全国疲劳与断裂学术会议.pdf
• 一种频率选择性衰落信道下空时分组码的译码算法 - 中国电子学会第十五届信息论学术年会暨第一届全国网络编码学术年会.pdf
• 一种音频功率放大器测试方案设计 - 第五届中国测试学术会议.pdf
• 一种面向雷达组网仿真的快速体绘制方法 - 全国第15届计算机辅助设计与图形学学术会议.pdf
• 一种面向网络管理的语义网络模型 - 第十三届全国青年通信学术会议.pdf
• 一种面向近似查询的图数据库索引方法 - 第二十五届中国数据库学术会议(NDBC2008).pdf
• 一种面向计算的对象分解策略 - 全国Web信息系统及其应用学术会议、全国语义Web与本体论学术研讨会暨全国电子政务技术与应用学术研讨会.pdf
• 一种面向隐私保护的安全多方计算协议 - 第二十五届中国数据库学术会议(NDBC2008).pdf
• 一种面向网络安全的序列模式挖掘方法 - 第二十五届中国数据库学术会议(NDBC2008).pdf
• 一种面向空间认知的RT模型 - 2008年全国开放式分布与并行计算学术年会.pdf
• 一种面向网络入侵检测的特征选择方法 - 第二十五届中国数据库学术会议(NDBC2008).pdf
• 一种面向用户需求的动态服务流程构造方法 - 全国Web信息系统及其应用学术会议、全国语义Web与本体论学术研讨会暨全国电子政务技术与应用学术研讨会.pdf
• 一种面向用户端多视点系统中的快速视差求精算法 - 第21届电路与系统学术年会.pdf
• 一种面向移动设备的实时足球视频智能播放方案 - 第五届数字电视与无限多媒体通信国际论坛.pdf
• 一种面向科学数据的通用排重模型 - 第二十五届中国数据库学术会议(NDBC2008).pdf
• 一种面向特征的领域建模方法研究 - 2008中国计算机大会.pdf
• 一种面向涉密信息系统的风险评估方法研究 - 全国第19届计算机技术与应用学术会议(CACIS·2008).pdf
• 一种面向海量三维人体运动数据库的索引方法 - 第五届智能CAD与数字娱乐学术会议.pdf
• 一种面向汇聚网络处理器模型的负载均衡算法 - 2008年全国理论计算机科学学术年会.pdf
• 一种面向流分类的特征选择算法 - 第四届全国信息检索与内容安全学术会议.pdf
• 三维快速分块Deluanay三角剖分算法 - 2007年北京地区高校研究生学术交流会.pdf
• 三维人脸识别中决策水平融合算法的分析比较 - 第19届全国计算机新科技与计算机教育学术大会.pdf
• 三维人体模型的骨架提取算法 - 第十四届全国图象图形学学术会议.pdf
• 三维重建中的一种鲁棒图像匹配方法 - 第19届中国过程控制会议.pdf
• 三维网格数字水印算法的不可逆性研究 - 全国第15届计算机辅助设计与图形学学术会议.pdf
• 不同场景图像中的人体目标匹配算法分析 - 第四届和谐人机环境联合学术会议.pdf
• 不同算法在屏蔽层的设计中的应用研究 - 2008年全国电磁兼容学术会议(EMC08).pdf
• 不同气象信息插值算法对SWAT模型模拟的影响研究 - 中国水利水电科学研究院第九届青年学术交流会.pdf
• 两输入多率采样系统辅助模型随机梯度辨识算法 - 2008江苏省自动化学会学术年会.pdf
• 中医古方挖掘_一种频繁药组发现与功效标注算法 - 第二十五届中国数据库学术会议(NDBC2008).pdf
• 中小型凝汽式或抽凝式汽轮机改造成背压式汽轮机的一种新方法 - 2008年全国热工节能减排技术交流会.pdf
• 中长期负荷预测的模糊竞争学习聚类神经网络算法 - 2008中国国际供电会议.pdf
• 中继协作通信中一种新的网络编码协作策略 - 2008年中国通信学会无线及移动通信委员会学术年会.pdf
• 串补输电线路双端故障测距算法研究 - 中国高等学校电力系统及其自动化专业第二十四届学术年会.pdf
• 事务存储系统中冲突检测算法的研究与改进 - 第十二届计算机工程与工艺全国学术年会(NCCET08).pdf
• 二进制搜索算法在RFID系统中的实现 - 中国通信学会第五届学术年会.pdf
• 二维非线性Schr(o)dinger方程的有限体积多辛算法 - 2008仿真科学与技术青年学术论坛.pdf
• 二维条形码图像轮廓的一种快速提取算法 - 第19届中国过程控制会议.pdf
• 云背景红外弱小目标结构相似检测算法 - 第八届全国虚拟现实与可视化学术会议(CCVRV08).pdf
• 人工免疫算法的改进 - 2008年西南三省一市自动化与仪器仪表学术年会.pdf
• 交通事件自动检测算法研究 - 第19届中国过程控制会议.pdf
• 介绍一种统一测控车载系统 - 第十五届全国遥测遥控技术年会.pdf
• 介绍一种电磁屏蔽系数测量法——直接干扰法 - 中国电工技术学会电线电缆专业委员会2008年学术年会.pdf
• 介绍一种生产冲挤用铝合金坯料的优秀工艺 - 2008中国铝板带箔加工技术与装备研讨会.pdf
• 人脸检索中一种新的光照补偿方法 - 第四届和谐人机环境联合学术会议.pdf
• 人脸区域标定算法及实现 - 中国自动化学会中南六省(区)第26届学术年会.pdf
• 人机丈棋游戏算法研究 - 2008年全国理论计算机科学学术年会.pdf
• 任一时间面向任务联盟结构生成算法 - 2008年全国理论计算机科学学术年会.pdf
• 传输综合网管中资源效率的解决方案——深度优先算法在路径搜索中的应用 - 2008信息通信网技术业务发展研讨会.pdf
• 传感器聚簇网络中一种面向感知数据的变长窗口动态调整技术 - 第二十五届中国数据库学术会议(NDBC2008).pdf
• 传感器网络中一种逆向时间同步算法的探讨 - 河南省计算机学会2008年学术年会.pdf
• 传感器网络中一种混合密钥管理方案 - 第十六届全国网络与数据通信学术会议(NDCC2008).pdf
• 体绘制任意断面剖切算法 - 2008年全国射线数字成像与CT新技术研讨会.pdf
• 低频振荡综合监测算法的研究 - 重庆市电机工程学会2008年学术会议.pdf

热门分类

法规
地方标准
团体标准
其他标准
工业技术
参考文献
新能源行业
电力行业
商务办公
建筑工程
打包下载
软件工具