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

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

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

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

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

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

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

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

模具设备数据库系统的研究

基于Visual Foxpro(VFP)6．0建立模具设备的数据库，生成向导式的模具设备数据库管理与查询软件，实现设备管理与查询的智能化。     

数字化测量技术在N5B骨架总装焊接制造中的运用

通过采用数字化测量安装系统在NSB飞机机身钢构架总焊接架安装中的应用,简要地介绍了激光跟踪仪测量安装系统的工作原理及其用途,同时对本系统在焊接工装安装测量上的应用,以及工装制造工艺如何适应系统特点的问题进行了较为详细的论述。对运用于该工装上的自制辅助测量工具的设计原理和使用方式也作了简单的介绍。     

初始对准误差对惯性制导误差影响的简化算法

惯性制导系统初始对准的主要任务是精确确定载体坐标系和制导坐标系之间的初始方向余弦矩阵和载体的初始速度。惯性制导的精度在很大程度上取决于系统初始对准的精度。本文基于初始对准误差引起的惯性导航误差模型,针对近程战术武器系统,在一定精度范围内,忽略引力变化和发射时载体的初始速度,推导出初始对准误差对惯性制导误差影响的简化算法。该算法具有模型清晰,计算简便,易于使用的特点,避免了繁琐的运动学建模和编程计算过程,并且为在项目论证阶段不具备完备的总体数据支持的条件下,进行初始对准精度指标分配提供了理论依据。并经仿真验证,简化算法具有一定的精度。     

民用飞机地面支援设备/工具清单编制方法研究

民用飞机地面支援设备/工具清单的编制是一项极其重要而又繁杂的工作。研究清单的编制原则、设备/工具的确定方法、清单的主要内容以及清单编制工作流程,可为地面支援设备/工具清单的编制工作提供参考。     

工具与方法:中国现代惟科学主义文化哲学的兴起

近现代史上,中国的惟科学主义者试图建构一种新的文化,他们肯定科学的工具价值,认为科学是文化的物质承担者,文明的进步即物质的进步,亦即科学的进步。他们继而高扬科学的认识论价值,确认科学建立知识的方式和原则具有普遍性,科学精神是文化进步的重要尺度。由此,中国现代惟科学主义的建设理路已经比较清晰,等待它是历史的选择与检验。     

数控加工的对刀方法与技巧

论述了对刀在数控加工中的重要性，并介绍了数控机床的几种对刀方法。