面向对象Petri网离散制造系统生产调度建模研究

将面向对象技术与Petri网结合作为建模工具,针对离散制造业的研究现状及其生产调度特点,进行离散制造系统生产调度建模;选用满足交货期的成本最低原则作为调度目标,运用最优化方法进行目标优化.通过对FMS的建模及目标优化,证明利用该方法建模能准确反映生产调度的加工路径及其资源约束,将复杂系统高度抽象,模型易于扩展.     

Random testing for system-level functional verification of system-on-chip

In order to deal with the limitations during the register transfer level verification, a new functional verification method based on the random testing for the system-level of system-on-chip is proposed. The validity of this method is proven theoretically. Specifically, testcases are generated according to many approaches of randomization. Moreover, the testbench for the system-level verification according to the proposed method is designed by using advanced modeling language. Therefore, under the circumstances that the testbench generates testcases quickly, the hardware/software co-simulation and co-verification can be implemented and the hardware/software partitioning planning can be evaluated easily. The comparison method is put to use in the evaluation approach of the testing validity. The evaluation result indicates that the efficiency of the partition testing is better than that of the random testing only when one or more subdomains are covered over with the area of errors, although the efficiency of the random testing is generally better than that of the partition testing. The experimental result indicates that this method has a good performance in the functional coverage and the cost of testing and can discover the functional errors as soon as possible.     

集成激光制造系统加工过程计算机模拟

激光制造是一种有别于传统方式的先进制造系统.针对集成激光制造系统,在分析其结构组成及激光加工特点的基础上,得到了机器人运动学逆解表达式,提出了一种基于碰撞检测的三角网格简化算法,设计并建立了模拟系统的模块化结构.基于VC开发环境并使用OpenGL图形接口技术开发了集成化激光制造系统加工过程计算机模拟系统,为工艺规划和优化提供有效支持,并实现了系统的通用性、易维护性和可扩展性.     

多处理器NoC仿真平台

面向多媒体和无线通讯领域的多处理器片上系统(MPSoC)对通信带宽的要求与日俱增,于是片上网络(NoC)被提出来满足这种要求.在NoC设计初期,建立一个速度、精度满足要求,能支持设计空间探索的仿真平台显得尤为重要.采用SystemC建模和仿真环境,建立了一个完整的多处理器NoC仿真平台,包括处理器模型、通信结构模型、存储器模型和并行编程支持软件,并且提出了基于读平台的设计方法学和应用开发流程.在仿真平台支持下,面向各种应用的多处理器NoC设计空间探索和原型验证等研究变得不再困难.DCT、FFT和JPEG解码器三种算法被用来作为案例在该平台上实现,验证了以上提出的仿真平台及其设计方法学.     

带有缓冲库的串联CIMS渐近稳定性分析

讨论了一个可靠机器,一个不可靠机器和一个缓冲库构成的计算机集成系统(CIMS),利用由该系统所决定的算子A+E生成的Banach空间中的正压缩C0半群,证明了此系统的非负稳定解恰是算子A+E的0本征值所对应的规范化后的本征向量;同时通过对算子A+E的谱点分布的分析,证明了算子A+E的谱点均位于左半平面且在虚轴上除0点外无谱,作为线性算子半群稳定性的一个直接结果,得出了该系统解的渐近稳定性.     

虚拟机床可视化设计相关技术的研究与应用

介绍了虚拟机床系统设计制作中的主要及关键技术。给出了系统的软硬件平台,说明了虚拟机床三维场景的绘制方法,探讨了机床几何建模和对大数据量的场景进行优化的技术,并就三维鼠标在虚拟制造机床中的应用以及视点控制等关键技术、MFC中关键类的调用等进行了说明。     

无人机图像匹配制导系统方案

为实现无人战斗机精确制导实际需求,根据作战的实时性和精确性特点,提出了一种基于图像匹配技术的制导方案。该制导方案引入地标信息,研究匹配方法,分析匹配计算量,提出了基于高速数字信号处理芯片来实现匹配制导的方法。软件仿真结果表明,匹配单元的结构完全能够满足制导系统功能实现的需要。     

FROM MANUFACTURING SCHEDULING TO SUPPLY CHAIN COORDINATION：THE CONTROL OF COMPLEXITY AND UNCERTAINTY

With time-based competition and rapid technology advancements, effective manufacturingscheduling and supply chain coordination are critical to quickly respond to changing marketconditions. These problems, however, are difficult in view of inherent complexity and variousuncertainties involved. Based on a series of results by the authors, decomposition and coordination byusing Lagrangian relaxation is identified in this paper as an effective way to control complexity anduncertainty.A manufacturing scheduling problem is first formulated within the job shop context withuncertain order arrivals, processing times, due dates, and part priorities as a separable optimizationproblem. A solution methodology that combines Lagrangian relaxation, stochastic dynamicprogramming, and heuristics is developed. Method improvements to effectively solve large problemsare also highlighted. To extend manufacturing scheduling within a factory to coordinate autonomicmembers across chains of suppliers, a decentralized supply chai     

基于单元关系度技术的Petri网模型分解--动态制造联盟网状组织结构优化的基础

针对动态制造联盟最小完备单元图的随机Petri网模型，提出单元关系度分解技术，为求解网状结构的解析式运行指标建立了基础，通过提出单元关系度的概念，计算得到关系度序号，在单元关系度的基础上，按单元不同业务功能关系的优劣次序，将最小完备单元图的单元进行分组，然后，根据不同组内单元之间其原来关系的最高出现频次进行组间连接，最后得到了针对动态制造联盟复杂Petri网模型的分解结果，为优化和改进Petri网系统的运行提供了更直观的控制途径。     

一种分布式制造系统控制结构的形式化建模方法

针对分布式制造系统的特点,利用形式化方法和多智能体理论研究了系统的控制结构,提出了一种基于优化自动机的改进型动态控制元结构模型。首先,结合多智能体理论,对于分布式制造系统中的各个节点用Agent进行建模;接着,对于Agent的内部结构,结合有限状态自动机理论和制造系统自身混杂特性,提出一种优化自动机。同时,考虑到建模过程中Agent层次的动态划分和重组,进而提出了改进型动态控制元结构模型。最后,以瓷砖生产线为例,借助MATLAB为实验工具设计了相应的仿真实验,验证了所提理论和建模方法的可行性和有效性。