聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
会议论文 模型检测中状态爆炸及其优化策略研究
出处:广西计算机学会2008年年会
摘要:模型检测是针对有限状态系统行为的逻辑性质的一种自动验证技术,简洁明了和自动化程度高,在生产实践中得到... 显示全部
关键词: 模型检测 状态爆炸 形式验证 时态逻辑 优化策略 有限状态系统
会议论文 一种嵌入式系统扩展流关系Petri网及应用
出处:广西计算机学会2007年年会
摘要:为了将数据流和控制流在同一个模型中明确标识,将经典Petri网的4元组结构扩展为7元组,定义一种新的嵌入式系... 显示全部
关键词: 火车控制系统 时间自动机 嵌入式系统
会议论文 保证中药提取物多指标成分含量稳定的最优化勾兑方法
出处:中国化学会第九届分析化学年会暨全国原子光谱学术会议
摘要:以标准提取物的多指标成分含量为参考,利用多批次中药材在各成分含量上的高低差异,提出勾兑的线性或非线性... 显示全部
关键词: 中药质量控制 中药指纹图谱 最优化勾兑 多指标成分 稳定均一
找到3条结果
`