【摘 要】
：
应用UPPAAL理论对CAN总线位定时与同步机制进行形式化建模方法研究。给出一种基于CAN2.0总线协议位时间的优化方法,在此基础上设计出相应的时间时动机模型,实现位定时和同步
论文部分内容阅读
应用UPPAAL理论对CAN总线位定时与同步机制进行形式化建模方法研究。给出一种基于CAN2.0总线协议位时间的优化方法,在此基础上设计出相应的时间时动机模型,实现位定时和同步的功能。
Application of UPPAAL theory CAN bus bit timing and synchronization mechanism for formal modeling method. This paper presents an optimization method of bit time based on CAN2.0 bus protocol. On the basis of this, a corresponding time-time motivation model is designed to realize the functions of bit timing and synchronization.
其他文献
‘津优409’黄瓜是采用未受精子房培养结合传统育种技术育成的杂交一代新品种。植株生长势强,瓜色深绿、光泽度好,瓜把短,商品瓜率高,瓜条长36 cm左右。抗病、丰产性好,春露
目的:观察黄芩消甲汤治疗早期亚急性甲状腺炎的疗效。方法:将早期亚急性甲状腺炎患者90例随机分为治疗组和对照组,治疗组予黄芩消甲汤,对照组用扶他林治疗,治疗前后分别测血
酶解猪血粉对小白鼠及肉鸡饲养效果观察云南省畜牧兽医科学研究所周学文朱煜兰近年来酶制剂作为饲料添加剂广泛地应用于饲料工业，但未见用木瓜蛋白酶水解猪血后制成干血粉用作
针对传统火灾探测技术在复杂环境下难以实现自动灭火和智能报警,提出了一种基于FPGA的实时智能火灾报警与自动灭火系统。该系统通过FPGA将图像采集、火焰检测、视频显示、无
随机将 90例糖尿病伴周围神经病变的病人分为治疗组 (4 7例 )与对照组 (4 3例 ) ,对照组采用常规药物治疗 ;治疗组在药物治疗基础上采用点法、按法、压法、掐法、揉法穴位按
本文通过1985~2007年的实际利用外资和国内生产总值统计数据,运用协整检验,实证分析了外资在我国经济增长中的作用,得出了二者存在正向的长期均衡关系。并对利用外资引起的问
以羟丙基甲基纤维素(HPMC)为骨架材料,制备马钱子生物碱缓释片,建立马钱子生物碱缓释片释放度的HPLC测定方法,并考察其体外释放度.采用HPLC测定马钱子生物碱缓释片的体外释放
为改变传统的以学科为基础设置护理专业课程的模式 ,提高教学效果。按照“生命周期模式”将内、外、妇产、五官、传染病、皮肤病护理学中的课程内容进行优化、重组为《成人护
艺术历来都是人类生活的重要组成部分,世界各国独具特色的艺术形式是属于世界人民的文化瑰宝。当前,随着经济社会的持续发展,现代文明在人类生活中扮演着愈发重要的角色,艺术
依据中医教育的基本特点,提出了中医教育应以继承为本的观点,认为中医教育只有坚持这个方针才能不断向社会输送大批中医专门人才,进而对继承性中医教育提出独到的见解。