【摘 要】
：
论文针对智能系统提出了一种形式化建模和验证的方法:首先,采用层次化的思想将智能系统分为应用层、系统层和设备层,综合系统功能需求和硬件模块分别建立各层的Kripke结构模
论文部分内容阅读
论文针对智能系统提出了一种形式化建模和验证的方法:首先,采用层次化的思想将智能系统分为应用层、系统层和设备层,综合系统功能需求和硬件模块分别建立各层的Kripke结构模型;然后,根据组合模型规则将层次模型进行组合,经过抽象处理后得到系统组合抽象模型。最后,以能源共享系统为例,用CSP#描述系统模型、LTL描述系统性质,利用PAT工具完成系统模型的自动验证。实验结果表明,该方法综合考虑了系统各个主体的行为,能够有效找出智能系统中的设计缺陷,并且可以缓解模型检测中的状态空间爆炸问题。
其他文献
作者以哥伦比亚大学艺术文学学院戏剧系为重点对象,对美国的戏剧及戏剧教育进行了考察,并对哥伦比亚大学戏剧系的教学理念、个性特色,以及戏剧方法等做了简要论述。
介绍了我国汽车工业锻造行业现状与发展规划。根据未来汽车锻件的需求量，对汽车锻件生产工艺和设备进行了预测，并提出解决汽车生产锻造能力不足的几项建议。
<正> 一、国内外玻璃电熔技术发展概况 1.国外发展情况 国外对玻璃电熔技术的研究应用始于本世纪二十年代,起初是利用电阻发热元件间接加热玻璃和利用高频电感应加热玻璃。这
在分析大型企业原始创新模式的基础上,对区域创新系统的知识配置能力、创新文化重视程度、政府支持力度、知识产权保护力度、金融市场完善程度、技术市场成熟度、人才市场成
<正> 1.序言 若使玻璃接触酸性的气体、水溶液等,玻璃表面层中的碱成分即被选择性提取出来,它的耐水性就提高了。这是早已熟知的,特别是处于退火温度的玻璃与硫黄化合物气体
我国商业银行在发展绿色信贷业务上存在诸多不足,主要表现在重视度不够与发展创新性不足,两方面因素都影响绿色信贷在我国商业银行的推广。运用线性回归分析验证发展绿色信贷
如何快速处理大区域覆盖的高分辨率全条带遥感影像是遥感应用急需解决的问题.提出分布式环境下全条带遥感影像并行处理模型.该模型采用了数据并行和流水线并行两级并行方法.
军事辩证法是中国共产党人运用马克思主义立场观点方法思考军事问题的独特创造，是党的军事指导理论的精髓。党的十八大以来，习主席创造性地运用辩证唯物主义和历史唯物主义世界
根本不需要用什么废话去形容《爱乐之城》的火爆。国外：横扫金球奖和学院奖，以14项提名领跑奥斯卡；国内：情人节上映，票房全线飘红，上海中心地段的百美汇、上海影城、新天地影城的夜