【摘 要】
：
对虚拟加工仿真环境模型的规范化技术进行了研究,针对虚拟加工仿真环境的快速创建和不同平台之间模型共享需求,分析并提出采用Z语言描述虚拟加工仿真环境中的几何模型、逻辑模型和机构模型的要素定义及形式化表达方案,用于保证模型描述的严谨性和无二义性,通过实例验证了机床模型形式化表达方案的有效性。规范描述的实现方法选用中性文件,易于理解和实现。
【机 构】
：
山东大学机械工程学院,济南,250061;英国德比大学,英国德比
论文部分内容阅读
对虚拟加工仿真环境模型的规范化技术进行了研究,针对虚拟加工仿真环境的快速创建和不同平台之间模型共享需求,分析并提出采用Z语言描述虚拟加工仿真环境中的几何模型、逻辑模型和机构模型的要素定义及形式化表达方案,用于保证模型描述的严谨性和无二义性,通过实例验证了机床模型形式化表达方案的有效性。规范描述的实现方法选用中性文件,易于理解和实现。
其他文献
状态反馈控制特征结构的配置分为特征值的配置和特征向量的配置,在特征值已经确定的情况下,特征向量矩阵的条件数对于系统鲁棒稳定性有着直接的影响。因此以减小特征向量矩阵的条件数为直接目的对特征向量进行配置,是提高系统鲁棒稳定性的最直接的办法。由于在状态反馈控制中特征向量的配置存在自由度,因此以特征向量矩阵的条件数为适应度函数,采用粒子群算法进行优化。同时针对粒子群算法中存在的后期收敛速度慢,搜索精度不高
针对自主式小车作业过程会受到环境的影响且控制系统具有未知性、多变量、随机性和非线性的特点,将模糊控制器和模糊神经网络相结合构成双环串级的闭环形式,利用一种改进的变尺度混沌优化算法对两个控制器参数进行整定,以实现复杂系统的优化控制。该算法简单,不依赖对象的精确数学模型,避免了设计过程中大量的参数调试工作。仿真和实验结果表明:系统具有响应速度快,超调量小、跟踪性能好的特点。
基于RFID技术,采用模块结构构建了一个层次化的防伪系统,在层次化防伪框架的基础上结合人工智能技术,以寻求空间最优解的A*算法构造逆向伪造最小攻击树分析模型,利用形式化的方法分析防伪系统的抗攻击能力。为了验证所提方法的有效性和可靠性,本文采用VC++6.0对系统进行了仿真实验,实验结果表明伪造攻击模型能够有效应用于复杂的防伪系统中,提高防伪的安全可靠性。
随着新课程的改革和实施,学生的自主学习以及师生之间的合作和探究的学习模式越来越广泛地运用到了课程的学习当中.在小学课堂的教学之中,教师和学生之间的有效互动能显著提
合作是人类社会赖以生存和发展的重要动力,“合作学习”已经早早走进当今的课堂,教师往往特别头疼的是如何让学生在课堂中合作,如何合作、怎样合作才能让数学课真正的“活”
为了实现航天任务系统仿真框架中各组件的时间同步和组件间的协调数据通讯,分析了时间管理的特点和目标,设计了具有良好兼容性的时间同步管理策略。该策略运用事件驱动技术实现了时间步长在联邦范围内的动态选择,以多种推进服务组合的方式完成了组件间的时间同步和有序数据交换,并用petri网给出了联邦成员的推进逻辑图。分析表明,该策略实现了仿真组件时间同步策略的统一性和兼容性,促进了仿真组件的重用,在保证仿真逻辑
20 0 1年 7月 ,杨州检验检疫局在检疫 1批 530 0多ｍ3进口马来西亚原木时 ,截获到 1种象白蚁 ,经鉴定并经江苏局植检实验室复核为哈氏象白蚁Ｎａｓｕｔｉｔｅｒｍｅｓｈａｖｉｌａｎｄｉ (Ｄｅｓｎｅｕｘ)。关于该白蚁的形态描述 ,过去曾
建模与仿真资源库(MSRR)为仿真应用提供底层数据服务,对于仿真的正常运行至关重要。随着计算机与军事应用的发展,仿真资源呈现出分布、异构的特点,现有的MSRR很难实现对这些资源的最大化重用、互操作以及动态集成、分配等的统一管理。通过对分布式作战仿真及其仿真资源特点的研究,总结了分布式作战仿真中MSRR的特点和需求,提出了以XML为核心、开放可扩展的MSRR体系结构。并以分布式作战仿真环境中的自然资