复合电加工修整金刚石砂轮的机理研究

金属结合剂金刚石砂轮广泛应用于硬脆材料的精密和超精密削加工,虽然金属结合剂金刚石砂轮具有优良的磨削性能,但是砂轮的修整问题却始终难以解决。本文提出了一种新的修整方法,即放电－电解修整法,对复合整机理进行了研究,并介绍了修整参数地放电电流及电解电流的影响,工艺实验的结果表明,电解电火花复合修整法能够实现金属结合剂金刚石砂轮高精度高效率的修整,具有良好的应用前景。     

基于懒替换的C符号执行

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

Ada层次化并发软件模型的研究

基于对象Petri网,提出了层次化并发软件模型,这种模型在结构上参考了统一建模语言UML的描述机制,并用一种扩展Petri网ECPN分层描述对象的内部状态,以及对象间的相互作用,易于仿真与程序生成.模型的实际应用将有利于保证并发软件,特别是Ada95并发软件的质量,提高开发效率.     

一种基于面向对象Petri网的并发程序建模方法

介绍了一种基于面向对象Petri网的并发系统建模方法. 该方法把面向对象技术与Petri网理论相结合, 构成一种面向对象Petri网,可以解决用Petri网建立并发程序模型所遇到的状态爆炸问题,又使得建模系统具有可重用性且易于维护, 是一种具有数学和图形方式相结合的形式化描述.     

基于铣削力的刀具磨损监控研究

以铣削实验为基础,分析了铣削力中包含的与刀具磨损状态有关的频谱特征,分析了切削用量对切削力功率谱的影响,对比了切削力各分量的特征对刀具磨损状态的反映.从对铣削力功率谱的分析中得出:径向力功率谱对刀具磨损状态更敏感,其中有与刀具磨损状态密切相关的特征频段,而切削用量对该特征频段的影响不明显;还通过对切削力的时域分析,讨论了铣削力中径向力和切向力的分力比值对刀具磨损状态的反映.     

对象Petri网模型的并发软件仿真技术的研究

并发软件的性能评价是提高软件开发质量的重要手段之一.本文重点讨论了将面向对象与Petri网相结合的思想用于并发软件开发中的系统建模,以及基于对象Petri网(OPN)的并发软件系统的仿真技术,同时,也探讨了实现一个基于OPN的动态仿真工具所面临的关键技术和解决方法.实践结果表明,文中讨论的实现机制与处理方法是有效和可行的.      

基于OOPN的实时软件开发方法与环境的研究

实时系统的与时间相关性以及与其环境的交互特点造成实时软件的开发十分困难,那么多处理机实时软件的开发就更加困难.为了简化多处理机环境下的并发程序设计、减少程序设计错误和提高编程效率,介绍一种用于多处理机系统的程序设计方法以及在此方法支持下的软件开发与运作环境.该方法以一种直观的图形方式(面向对象Petri网)辅助多处理机系统软件开发,在此环境下可完成高效的软件开发和获取安全可靠的软件结构.      

并联机床工作空间和工件位置计算

根据并联机床工作空间的定义及几何约束条件,针对哈尔滨工业大学研制的并联机床,按刀头点计算出该机床的工作空间,以及在Ｚ轴方向上各高度刀具的加工范围,这对指导机床加工工件具有重要意义。另外由于并联机床工作窨不规则,加之刀具轴线与Ｚ轴方向夹角的限制,对于带有复杂曲面的工件如何设置其在工作空间中的位姿,仅靠直觉很难完成。因此本文论述了如何建立工件自动定位的数学模型,进而开发工件自动定位系统,这对带有复杂曲     

基于箱体零件镗孔精度因素分析

分析箱体零件各种镗削方式原始误差引起的加工误差的规律和大小，采取有效措施消除这些因素，以提高镗孔精度。     

数控机床定位精度测量不确定度评定

通过对数控机床定位精度的测量不确定度的分析，确定了该方法的合成标准不确定度和扩展不确定度，为数控机床定位精度的校准提供了依据。