排序方式: 共有5条查询结果,搜索用时 140 毫秒
1
1.
文中主要研究了基于TMS320LF240DSP控制器实现CAN总线通讯的原理和方法,以TI公司生产的定点DSP-TMS320LF240和CAN控制器SJA1000为例,详细讲述了怎样用C2xx汇编语言完成SJA1000的初始化;放开TMS320LF2407的可屏蔽中断INT1,以中断方式接收CAN总线的数据,以及用查询方式向其它外围设备发送数据。 相似文献
2.
本文把Brookes验证平行程序的思想应用于Hoare的通信顺序进程(CSP),提出了一组证明规则,以验证CSP程序的部分正确性。 相似文献
3.
4.
5.
喻萌 《机械工程与自动化》2004,(2):4-6
对阿基米德蜗杆的加工车刀和路线进行数学分析,再在CATIA当中仿照加工过程生成模型。并对生成的模型进行了数学理论和实际建模的外形校核。介绍了一种新的建模思路。 相似文献
1