基于Petri 网软件过程执行机制的研究

在软件过程执行机制中,两种传统的过程执行机制——前摄式和反映式存在模型复杂性和执行灵活性之间的矛盾。分层机制可以缓解这种矛盾,但又缺乏严密的形式化定义。采用基于Petri网的软件过程执行机制的建模和分析方法,给出了准确的形式化定义,很好地描述了软件过程执行机制中的同步、并发和异步等特点,解决了早期"前摄式"机制的过程支持缺陷,降低了反映式机制建模的复杂性。     

基于不规则二阶树的多尺度表示和多尺度建模

多数现象或过程具有Markov性,对在不同尺度上拥有对同一目标进行观测的多传感器系统,利用Markov过程的条件独立性,提出了不规则树的新概念,建立了动态过程基于不规则二阶树的多尺度表示方法,给出了确定多尺度模型中各种参数的具体步骤,并通过计算机仿真实验验证了所建立的动态过程基于不规则树的多尺度表示方法和多尺度模型的有效性与实用性.     

六西格玛过程能力与控制技术研究

依据控制图中抽样大小的机理,对六西格玛技术中的1.5σ漂移问题进行了系统的分析,并根据过程的动态特性,提出了准确反映过程动态能力改进的过程能力指数——动态Cpk,进而对六西格玛实施过程的控制阶段,提出了监控高σ过程或接近零缺陷过程的质量控制技术.     

基于Beta过程的高分辨ISAR成像

对于高信噪比、完整回波、目标平稳运动等理想观测环境,现有成像技术已经较为成熟,可以获得聚焦良好的高分辨逆合成孔径雷达(inverse synthetic aperture radar, ISAR)像。但在实际中的方位回波缺损与低信噪比观测情况下,随机相位误差等因素会降低现有成像算法的性能甚至使其失效。本文首先建立了ISAR稀疏观测模型,并基于稀疏贝叶斯学习理论,通过引入Beta过程非参数先验构建层级概率模型,进而交替利用Gibbs采样及最大似然方法对ISAR像及随机相位误差进行估计。实验结果表明,所提方法在低信噪比、回波缺损等复杂观测环境下能够获得聚焦良好的ISAR图像。     

改进萤火虫算法及其收敛性分析

萤火虫算法因具有结构简单、控制参数少、易于实现的特点而得到广泛的关注和应用,但其易陷入局部最优导致过早收敛,从而影响寻优精度。针对这一问题,本文在位置更新规则中加入随机扰动因子,并剔除了冗余的随机项,以提高算法搜索能力;引入位置置换变异和差分进化算法中的最优变异策略,在保持种群多样性的同时,增强算法跳出局部最优的能力。采用马尔可夫过程证明了算法以概率1收敛到全局最优。利用基准函数和装箱问题对算法进行仿真测试,结果表明,改进后的算法能够有效跳出局部最优,对给出的所有问题均能找到理论最优解,寻优精度和成功率有明显提升。     

数控车床主轴组件的新工艺

介绍了数控车床主轴组件采用过盈连接的新结构,取代了键连接、锁紧螺母固定的传统结构,并介绍了过盈配合的选择与计算、主轴组件的热套装配工艺及过盈配合的油压拆卸工艺.     

一种克服工艺参数影响的IDDT方法

在瞬态电流测试中,即使是同一设计的芯片,由于制作工艺参数的不稳定性,在输入相同的测试向量对时,会产生不同的瞬态电流,这就可能减小故障电路和无故障电路瞬态电流的差别,导致不能对电路是否有故障做出正确的判断。参考稳态电流测试中克服工艺参数影响的方法,针对开路故障,提出了一种在瞬态电流测试中克服工艺参数影响的方法,并利用Pspice软件对这种方法进行了模拟实验。模拟结果证明,该方法是可行的。     

SVM在金属塑性成形摩擦系数预测中的应用研究

针对金属塑性成形过程中摩擦系数较难确定的客观情况,提出一种基于支持向量机的能够快速预测摩擦系数的方法。利用支持向量机建立了金属塑性成形中润滑油、模具表面粗糙度、滑动速度和金属材料表面粗糙度与摩擦系数的支持向量机模型．实验结果表明这种模型具有很好的精确度和预测性,为摩擦学设计和程序化计算和分析提供了一种方便且有效的工具。     

AlGaN/InGaN/GaN双异质结构中2DEG的数值模拟

由于InGaN的物理性质,在传统AlGaN／GaN单异质结中嵌入一定厚度的InGaN层,会使二维电子气的密度提高为原来的近两倍。正是从导带差、极化效应两个方面分析了这种现象的原因,并且通过自洽求解泊松方程和薛定谔方程分别作出了AlGaN／InGaN／GaN双异质结和AlGaN／GaN单异质结的能级图以及2DEG的电子能量图,进一步解释了该现象。     

有优先权的两个不同型部件冷贮备可修系统

在开关完全可靠的情况下,研究了由两个不同型、有优先权的部件和一个修理设备组成的冷贮备系统,建立了在部件工作寿命和修理时间均服从一般时间分布的可修模型,并利用Markov更新过程、LS变换、L变换推导出该模型的一些可靠性指标.