在学深学透上下功夫——葫芦岛军分区以“四学”促进十七大精神学习

葫芦岛军分区在十七大精神的学习过程中．通过坚持“四学”，不断激发广大官兵的学习热情．促进了全面工作的创新发展。     

物元Petri网建模方法及其应用

传统Petri网理论难以处理具有多属性对象复杂离散系统的建模问题,物元Petri网结合了物元理论能够很好地解决这一问题,是值得进一步研究并应用的新的复杂离散系统建模方法。将物元Petri网定义成一个5元组,借用物元的概念定义了物元托肯,建立了物元Petri网理论的运算规则,提出了物元Petri网并发及冲突的分析方法,并给出了建模步骤。以某设备从拆卸到修复的维修过程建模为例,给出了物元Petri网理论的应用示例。示例表明了物元Petri网在具有多属性对象离散系统建模中的优势。     

考虑多类资源的多任务并行维修过程Petri网建模

针对基本Petri网在建立多种任务共享多类资源情况下的复杂并行维修过程时存在的结构复杂化问题,应用网抽象原理,由简入繁,将库所变迁网模型逐步转化为常量弧有色网和有色网模型,由单类任务/单类资源、单类任务/多类资源模型逐步建立了考虑多类资源的多任务并行维修过程模型。采用Petri网仿真分析工具ExSpect对有色网模型进行了实例研究。结果表明：模型具有通用性,便于仿真实现。     

理论学习落实不到位的原因及对策

近年来，我们军分区以开展“学文化成才，学理论成长”活动为载体，注重用党的创新理论武装官兵，凝聚军心，提高了官兵素质、促进了部队科学发展。但在学习过程中，也遇到了一些困惑。部分官兵对理论学习不感兴趣，对中因特色社会主义理论觉得学不深、学不透。针对这一问题，我们专门召开党委理论学习分析会，查找根源；     

控制不等式的改进

讨论了随机过程控制关系产生的不等式,对这个不等式给出了一个新系数,改进了以前的结果,并将其应用于局部平方可积鞅.     

一种基于QFD的结构化装备作战需求论证方法

通过对装备作战需求分析,提出一种系统化、结构化的装备作战需求论证方法,为作战需求分析提供方法支持。该方法不仅可规范需求分析过程,增强需求分析过程的合理性、全面性和可操作性,而且对提高需求分析的理论水平,提高武器装备的论证质量,具有一定的意义。     

舰船机电系统非完备使用故障数据分析

舰船机电系统在使用维修过程中所记录的故障数据通常质量不高,信息记录不完整、不准确。针对这类不完备数据,利用图示法给出故障趋势的判定。在此基础上,分别利用齐次泊松过程、非齐次泊松过程和几何过程,对装备的历史故障数据进行分析。结果表明,几何过程产生的拟合误差最小,可预测装备的未来故障强度。     

基于亚像素模糊检测的Wiener对运动模糊图像复原方法

在图像获取中由于目标运动、拍摄条件等原因,容易产生剧烈的运动模糊,难以辨认。针对运动模糊点扩散函数、信噪比不知的情况下,对传统Wiener进行了创新和实践,探讨了基于亚像素的模糊方向与深度检测和递推迭代的自适应Wiener滤波对运动图像的复原方法。该方法首先对图像进行任一方向的亚像素进行模糊运动方向计算并确认,而后解算模糊尺度。采用先验信噪比进行预设,并迭代推算得出最优值。实验表明,该方法在对拍摄的模糊图像处理能获得较理想的效果。     

信息/求解 Petri 网系统

绝大多数 Petri 网在变迁发生后前集库所会失去标记,不便于表达一个条件一旦具备将永远具备的情形.针对该问题,基于0-1标识与变迁发生后其前集不失去标记的思想,提出了信息/求解扩展 Petri 网系统(I/S系统).给出了I/S系统的相关定义、部分基本性质、矩阵表示、求解发生权向量的求法和状态方程.最后,给出了以I/S系统表示的几种常见滑模变结构控制策略的设计过程,该例显示了I/S系统的模型表达能力.     

内建自测试多特征混淆模型

特征分析广泛应用于内建自测试体系的响应分析中,通过建立多输入线性移位寄存器的2状态马尔可夫模型和4状态马尔可夫模型,研究了时间无关空间相关及时空均相关下的响应分析器测试序列长度与混淆概率关系,获得混淆的精确数学模型。通过对某控制系统单多特征内建自测试体系混淆结果比较表明:多特征分析可获得更小的混淆概率和更高的测试效率。