排序方式: 共有9条查询结果,搜索用时 15 毫秒
1
1.
2.
3.
4.
给出一个新的用于描述开放式体系结构数控系统(Open architecture computerized numerical control system,OAC)的建模方法——时间转化模型/全时轴实时时态逻辑(Timed transition model/all-time real-time temporal logic,TTM/ATRTTL)。TTM/ATRTTL提供一整套方法用于对OAC系统的硬实时性和反馈特性进行建模并使用该形式化方法在系统层对OAC系统进行建模。分别给出开环OAC,系统级逻辑控制器以及任务间通信和同步机制的TTM模型,并最终给出具有调度机制的闭环OAC系统TTM模型。该模型为系统验证体系结构的基础。最后,给出系统验证体系结构并用模型验证工具STeP和CAD工具SF2STeP实现之。在系统验证过程中,首先解决STeP中遇到的若干模型验证问题,这些问题包括重写规则,验证规则,状态爆炸问题,以及时间约束限制问题。通过模型验证试验解决OAC系统运行过程中出现的死锁以及系统各模块执行时间约束检验问题。试验结果表明该方法可以有效地对OAC系统进行建模并对系统的实时特性进行验证。 相似文献
5.
6.
7.
以NURBS曲线deBoor递推插补算法为基础,针对NURBS曲线速度处理的特殊性,建立了一种NURBS曲线自适应速度控制模型,该模型分为速度自适应控制和插补前加减速处理两部分。以deBoor算法为基础对整个插补周期的弓高误差以及切向和法向加速度进行实时监控,分析了误差产生的原因并进行了相应的速度控制;以插补前直线加减速为例引入NURBS反向插补的概念,解决了NURBS曲线减速区长度计算问题。实验结果表明,该模型满足实际的NURBS曲线插补的需要。 相似文献
8.
《计算机辅助设计与制造》是机械工程及自动化专业的必修课程。本课程的目的是使学生能够掌握CAD/CAM技术的基本原理与方法,为学生理解、应用和开发CAD/CAM软件奠定基础,培养学生应用计算机辅助手段从事产品设计与制造问题的综合能力。在教学过程中,由于缺少实际的工程实践背景,不少学生存在实际动手能力弱的问题,无法学以致用。本文探索了一种CAD/CAM多元化的教学模式,通过该模式,可使学生真正掌握CAD/CAM的核心知识点,开阔思维,拓宽知识面,培养创新意识,真正做到理论联系实际。 相似文献
9.
1