摘要：文章针对Petri网建模的并发系统中的死锁问题,利用Petri网可达树分析方法检测系统死锁的存在,结合Petri网控制器的设计来达到预防和避免死锁的目的;提出了一种新的约束设计思想,进行控制器设计,使得系统不会出现死锁;更进一步地考虑到控制器设计过程中存在不可控变迁的情况下系统避免死锁的设计问题。

摘要：5G AAU等系列产品的主板实现了模块化设计,单张主板需要额外集成4~16张功放模块子卡,极大增加了人工贴装作业量,且贴装精度很难达到要求。自研打造了一套集成化自动贴装系统,实现全系子卡机械臂贴装,消除子卡贴装工序的瓶颈隐患,提升全系城堡单板合格率,并大幅缩减转线时子卡贴装程序的调试时间,降低过程人员投入。经过实际生产测试,生产效率、贴装精度、单板合格率、转线效率均有较大程度的提升。该技术研究与实践取得了较好的结果反馈,证实了技术方向的准确性及技术方案的可靠性。