论文部分内容阅读
提出了一种基于UML与Petri网的嵌入式系统设计与验证的方法,详细讨论了该方法的主要应用流程,并给出了一个应用实例.
基于UML与Petri网的嵌入式系统设计与验证
【摘 要】
：
提出了一种基于UML与Petri网的嵌入式系统设计与验证的方法,详细讨论了该方法的主要应用流程,并给出了一个应用实例.
【机 构】
：
茂名学院自动化系
【出 处】
：
电子技术应用
【发表日期】
：
2006年5期
其他文献
提出了一种改进的矩不变自动阈值算法。该算法针对矩不变自动阈值法忽略图像细节的缺点,在矩不变自动阈值的基础上增加了基于目标边缘像素的梯度调整,从而使分割效果兼顾图像的整体和细节。该算法无须迭代或搜索,运算速度快,可以满足实时性的要求。仿真结果表明,该算法能有效地对目标图像进行分割。
针对无线电台构建了基于DataSocket的网络化测控系统，实现设备的远程控制、测试以及测试数据的网络传输，使操作人员可以在远端进行故障诊断。
介绍以Hitachi公司的H8S／2357F作为控制处理器，μC／OS-Ⅱ作为嵌入式实时操作系统的光盘伺服控制系统的设计和实现。该设计可以实现CD-ROM、CD-R／RW和DVD的伺服功能，适用于光盘伺服
提出了基于FPGA对IDE硬盘数据进行AES加解密的方法。对算法进行了改进和优化，以降低加解密过程对IDE硬盘数据传输速度的影响。