基于超声模糊避障算法的移动机器人导航

提出了一种在移动机器人导航中基于多超声传感器的模糊避障算法。利用MATLAB资源设计出模糊控制器,介绍了模糊规则与非模糊化,并给出一种在VC环境下直接调用模糊控制器的方法,改变了以往需要通过查表方式实现模糊控制的模式,大幅提高二次开发能力。在仿真和真实环境下,实验结果都表明该算法有效,能够实现不同环境中的避障任务。     

直摆头与斜摆头五坐标机床数控加工程序互换求解算法

 针对复杂结构零件五坐标加工设备变更带来的程序处理问题,分析讨论了直摆头-转台式和斜摆头-转台式两种五坐标机床之间的数控加工程序互换求解算法。根据不同的机床结构,建立了机床坐标系之间的对应关系;基于机床自动跟踪模式下的数控加工程序后置处理和逆后置处理方法,提出了机床之间数控加工程序的互换算法;采用单步距走刀时间不变的控制方式,给出了加工进给速度的互换算法,实现了程序转换对工艺参数的继承。实际应用验证表明,该算法可有效解决直摆头与斜摆头五坐标机床数控加工程序之间的互换问题。     

机加车间的测量质量保证方案

简要介绍了一种新的量值传递方式--计量保证方案,详细叙述了如何在机加车间简化运用计量保证方案来提高测量质量.     

矿用隔爆型电机的水冷结构设计与温升计算

针对矿用隔爆电机体积小、功率大、发热严重等应用特点,合理地设计水冷结构可以有效地平衡电机发热量,保证电机的安全运行。基于流体力学及电机传热学理论开发编制了水冷电机水路结构设计与温升计算程序。以YBSD矿用隔爆型三相电动机为研究对象,对其机壳水路进行了结构设计与热力计算,并进一步计算了电机的温升情况。通过将程序计算结果与实际电机数据进行对比分析,验证了所提方法的可行性和计算的准确性,为矿用隔爆型水冷电机设计提供了技术手段。     

商务英语专业实习基地建设的探索与思考

学生在真实的工作环境实习是落实素质教育,培养学生创新精神和实践能力的基本要求.实习基地则是学生扩展视野、增长见识、了解社会的重要平台.外语系高度重视作为专业建设重要组成部分的实习基地建设,并进行了大胆的探索和尝试,积累了成功的经验,也发现了一些问题.本文回顾了基地建设的背景和意义,就遇到的问题进行了分析与探讨.     

基于懒替换的C符号执行

针对传统符号执行中的动态地址计算问题,提出了基于懒替换的符号执行方法.通过引入尽可能替换的策略,基于懒替换的符号执行在无法静态确定变量的地址或符号表达式过长时不做符号替换.首先给出了基于懒替换的符号执行算法,在此基础上,详细分析了C语言主要结构尤其是数组和指针的懒符号执行语义.LazySEC是一个面向C程序的懒符号执行系统原型,初步实验表明,它可以有效地处理含有指针和结构体等涉及动态地址计算的程序语言结构.     

基于STEP-NC的数控车削加工仿真系统

提出了一种基于STEP-NC的数控车削加工仿真系统,该仿真系统能够验证STEP-NC数控程序、模拟实际系统运行。讨论了仿真系统的译码器、基于特征的加工数据库、实体建模以及仿真驱动等组成模块实现的关键技术和方法。介绍了仿真系统的建模工具V isua l C 和O penGL。最后指出了本文研究对于STEP-NC数控加工研究的意义。     

面向软件源程序的模型检验技术

模型检验技术作为一种有效的形式化方法,能够提供严格的软件质量保证.介绍了面向软件源程序的模型检验技术的工作流程,并在此基础上针对规约性质描述问题,提出一种与源代码独立的、语法简单易用的、符合程序员开发习惯的规约描述语言,并给出一种轻量级的程序模型检验方法,它基于程序控制流图的路径遍历,支持函数过程内验证、函数过程间验证、规约检查.     

单片机控制的三坐标测量装置

介绍1种用8098单片机控制的三坐标测量装置。该测量装置用客栅传感器作位移检测元件，依靠系统的控制软件能直接利用实物模型或样件自动编制数控加工程序，并配有与其它微型计算机通讯的接口。系统运行稳定，有较好的性能价格比。     

C语言程序开发与维护工具NHCTOOL

NHCTOOL是作者设计并实现的一个C语言程序开发与维护工具,包括:1.全局变量索引;2.用户自定义函数索引;3.函数调用关系视图;4.源程序文本规格化;5.字符串检索等功能。本文主要介绍实现上述功能的算法。