论文部分内容阅读
应用Petri网理论对CAN总线MAC层协议机制进行了形式化建模方法研究。给出了完整的基于确定与随机Petri网的CAN单节点模型和总线系统全局模型,并在此模型基础上推导出了性能分析指标,为总线系统的设计和优化提供理论支持工具。
CAN总线形式化建模方法研究
【摘 要】
：
应用Petri网理论对CAN总线MAC层协议机制进行了形式化建模方法研究。给出了完整的基于确定与随机Petri网的CAN单节点模型和总线系统全局模型,并在此模型基础上推导出了性能分
【机 构】
：
西安第二炮兵工程学院,96630部队
【出 处】
：
微计算机信息
【发表日期】
：
2009年35期
其他文献
高等职业技术院校要实施学分制,在教学管理决策、教学管理实务、教师和学生管理等方面还存在着不少难点.采取转变观念、建立配套制度、构建学分制课程体系、教务管理信息化、
在市场经济环境下，“非核心业务”实行外包已不仅仅是企业考虑的问题。高职院校经管类专业实施实训教学外包，可以充分利用社会教学资源．解决在组织实训教学中的困难。提高实训教
公益广告是社会主义主流文化的一个重要组成部分。这就要求其内容要贴近生活、贴近受众,正面引领社会风尚。电视公益广告本身由视、听、文字三部分组成,本身就具备多元素的美
目前大多数高校的教育主要集中在创业模式等方面而往往缺乏针对性,特别是在大学生创业中情商的培养方面重视程度不够而影响创业的成功率,文章针对当前大学生在创业中容易出现
依据区域人才需求进行专业设置，依托行业背景进行专业建设是高职教育发展的必然要求。文章从上述两方面对南京化工职业技术学院高职楼宇智能化专业的设置和建设进行较为详细的
一种新的人工免疫算法被应用到直线传动位置控制中。这种方法以最大熵原则和人工免疫系统原理为基础．具有良好的学习能力、自适应能力以及高效的模式辨别能力。这种方法使得直
《为人民服务》阐明了共产党的宗旨、共产党人的人生价值观、共产党人的人身修养及共产党人的信心和勇气。研读《为人民服务》,有助于增强全心全意为人民服务的宗旨意识;有助
就业问题是关系到国家稳定的重要问题,而高校毕业生的顺利就业更是家庭与社会和谐的重要前提。对于离校未就业高校毕业生,要有针对性的加强培训指导,转变其就业观念、提高其
本文对三维道路漫游系统设计中的动态视点与静态的三维场景之间的碰撞检测性能进行了研究。把运动的观察者与静态的虚拟场景之间的碰撞检测问题,转化为视点与三角形之间的碰撞检测问题。并利用漫游过程中的规律性,采用BSP树对整个碰撞检测进行优化。实验表明,该设计方法大大加快了碰撞检测的速度,满足检测的快速,准确的要求。
为了在互联网+教育大平台上深入推进课堂教学改革,超星集团推出了"一平三端"智慧教学系统。基于"一平三端"对智慧课堂的构建使用,实现翻转教学,充分调动学生的主观能动性,促