基于时间化UML的安全通信模型检测

为了有效验证安全关键系统的通信模型,提出基于时间化UML（unified modeling language,统一建模语言）的模型检测方法。首先采用时间化UML对安全关键通信中的安全威胁和对应的防御手段进行建模,模型中使用并发状态机分别描述发送端、信道和接收端的行为;然后将UML模型转换为时间化自动机形式,作为模型检测工具可识别的输入语言;最后利用模型检测工具对安全关键通信模型的安全性、状态可达性和无死锁性质进行检测。安全关键通信的模型检测结果验证了该模型的正确性,证明了安全通信防御手段的有效性。     

基于混合遗传算法的多头动臂式贴片机贴装过程优化研究

对多头动臂式贴片机的贴装过程进行了分析,将其贴装过程优化问题分解为元件分组、元件组拾取和元件组贴装3个子问题。元件在供料槽中的布置是求解多头动臂式贴片机贴装过程优化问题的关键。在分析实际工程应用的基础上,以动臂的移动距离最小为目标,建立了多头动臂式贴片机的贴装过程优化模型。用启发式方法和遗传算法(GA)相结合的混合遗传算法(HGA)实现了贴装过程的优化。在HGA中提出了一种二维实数编码方法,用供料器编号和供料槽编号描述元件类型在供料槽中的位置和顺序。针对提出的编码方式,采用了改进的顺序交叉和自适应的变异操作,并在算法内采用了并行结构,结合局部搜索策略,实现了元件贴装顺序和供料槽布置同时优化。通过实例计算和结果比较表明该算法能实现多头动臂式贴片机贴装过程的优化,提高印刷电路板(PCB)装配效率。