Petri网系统的可达性分析

对Petri网系统的可达性问题做了综合性的阐述和分析, 提出了利用能量优化方法来解决可达性问题的方法, 并在此基础上结合计算代数方法和神经计算模型对可达性问题做了进一步的研究. 主要工作包括 1.给出了Petri网到线性空间的映射规则及其可达性的等价性定理; 2.建立了能量优化模型, 将可达性判断化为优化问题; 3.用神经网络来求解能量优化模型; 4. 最后综合了计算代数方法和能量优化模型的优点给出一个基于计算代数和神经计算的方法. 作者提出了一种利用基于硬件的大规模并行的神经计算来代替基于软件的串行的数字计算的可达性判断的解决方案.     

下置式蜗轮减速机的装配工艺

在机械产品装配中,减速机的装配工艺有一定的典型性。蜗轮减速机的装配工艺包括:机体的装配工艺;蜗轮组件的装配;蜗杆组件的装配;机体总装配;研齿;试车;装联轴器;油漆等工作。实际应用说明本文介绍的方法能显著提高装配的精度和效率。     

产品的装配精度及工艺保证方法

产品的装配精度,不但决定于零件的精度,而且决定于装配方法。装配精度反映产品的质量,要保证产品质量,必须合理选择装配方法。     

严格工艺过程确保产品质量

我曾经实习过的某厂十四车间作为发动机生产的装配焊接车间，承担着YF-75、YF-77发动机部组件的装配焊接任务，同时承担DF-15A／B、DF-25发射车的起竖臂、后梁等产品的装配焊接任务。     

面向对象的二叉树装配模型研究

文章研究可装配性设计中的产品装配建模,提出一种以装配体为对象并能充分反映装配过程特点的二叉树装配模型。应用面向对象技术,建立了相应的数据结构及应用框架,为可装配性评价奠定了基础,也可做为通用的产品装配模型应用于ＣＡＰＰ等领域。     

面向装配的三维标准件库研制

在分析产品装配特征和国内外标准件建库技术的基础上，根据并行工程中装配建模的需要，提出了面向装配的三维标准件库的一般原则，给出标准件库的基本框架和关键技术解决方案，并且结合实例加以说明．     

波动光学应用于成像光学系统装配公差的确定

给出一种利用波动光学原理计算成像光学系统，特别是非旋转对称系统的装配公差计算方法．采用光波波面描述物面上一个点发出的光在存在装配误差的系统中的传播过程．用菲涅耳衍射公式计算自由传播部分；用薄透镜的透射比计算通过透镜时的波面变化，由此得到射向像面的成像波面；通过对成像波面分布的分析推断成像情况；依据容许的成像质量确定装配误差．以一个含两个柱面透镜的成像系统为例，导出了确定这两个柱面透镜母线不正交性公差的公式．由此说明该方法可以解决不易用几何光学方法获得解析结果的问题．     

增量式模糊控制与模糊系统的稳定性

本文介绍了增量式模糊控制（ＩＦＣ）的原理与设计思想，指出ＩＦＣ是ＦＣ系统实现渐近稳定控制的有效方法。文中运用模糊增量、隶属度增量及模糊目标的可达性概念，给出一种模糊变量的动态描述，并且给出了能与传统李雅普诺夫稳定性定义相一致的ＦＣ系统稳定性的统一定义     

减速器计算机辅助装配工艺系统设计

计算机辅助装配工艺设计的研究在国内尚处于起步阶段，本文以减速器为例，对此领域的技术进行了研究，文中主要阐述了减速器装配ＣＡＰＰ系统的信息输入、系统结构及工艺生成．