非经典切片优化的同步运行时检验方法
利用现有的同步IP 核来构建全局异步局部同步系统是未来片上系统设计的一个重要发展方向。在整个设计流程中,正确的接口设计和同步问题是至关重要的。该文提出一种改进的抽象时序图与基于计算切片优化技术的谓词检
突变检验技术资料下载专区,收录500份相关技术文档、开发源码、电路图纸等优质工程师资源,全部免费下载。
利用现有的同步IP 核来构建全局异步局部同步系统是未来片上系统设计的一个重要发展方向。在整个设计流程中,正确的接口设计和同步问题是至关重要的。该文提出一种改进的抽象时序图与基于计算切片优化技术的谓词检
介绍了热式多传感器信息融合的气固质量流量检测方法的实验研究情况;给出了实验系统方案和实验测量装置的硬软件设计. 实验结果分析说明,该检测方法通过复合传感器可以同时测量气体流速、粉体浓度和各处温度,经过
过程装备制造与检测》课程实验教学大纲 课 程 名 称:过程装备制造与检测英 文 名 称:Manuf
软件安全静态分析是检测软件安全漏洞的一种手段。本文在总结现有的软件安全静态分析方法的基础上,将在硬件设计领域得到成功应用的模型检验方法引入到软件产品的检验中,给出了一种基于自动机理论的检测软件
·摘要: 介绍了一种基于RTDX技术的多用户检测试验平台设计方法,同时阐述了如何利用RTDX技术实现多用户检测试验平台设计的具体方法.
关于类私有变量的访问 试验。同一个类中两个变量A和B,可以互相访问对方的私有变量。例如:两个人Jim 和Peter,都有私有“钱”,那么Jim可以偷Peter的私人钱。??!!
针对电液伺服试验系统的复杂非线性和不确定性特性,提出一种基于小波变换的“主控制器”结合“参征器”的复合控制策略,并用于电液伺服试验系统的多变量控制。主控制器由一个包含PID控制规则的神经网络构成