AOI技术在PCB缺陷检测中的设计与实现

随着计算机技术和数字图像处理技术的快速发展,传统PCB缺陷检测技术因技术落后已经无法满足现代PCB质量的要求,而AOI技术以其准确、高效的特点在PCB缺陷检测中的应用越来越受到重视.主要研究了AOI技术在PCB缺陷检测中的实际应用,分别进行了硬件选择和软件系统研究,建立了基于AOI技术的PCB缺陷检测系统,采用基于轮廓对比的数据处理方法进行缺陷检测.实验证明了该系统的可行性与实用性.     

基于罗克韦尔PLC的时钟伺服控制系统

采用了罗克韦尔PLC设计了时钟的伺服控制系统.控制系统硬件主要采用罗克韦尔自动化公司的ControlLogix1756控制器、1756-M08SE运动模块、3个Ultra3000数字伺服驱动器和3个Y-1002伺服电机,其中时针、分针和秒针分别由一个伺服电机单独驱动.在此基础上,开发了控制程序和人机界面.系统实际运行结果表明,所设计的时钟伺服控制系统具有良好的可靠性和精度.     

基于人工蜂群算法的无人直升机LQG/LTR控制律优化设计

针对无人直升机线性二次型高斯/回路传输恢复(LQG/LTR)飞行控制律设计中加权矩阵的选定问题, 提出一种基于人工蜂群算法优化控制器加权矩阵的方法. 采用LQG/LTR控制方法设计无人直升机的内外环自主飞行控制系统; 利用蜂群算法的全局寻优能力, 通过最小化性能指标对状态反馈控制器进行优化; 在系统噪声和阵风的干扰下, 对该无人直升机飞行控制系统进行轨迹跟踪仿真. 研究结果表明, 该优化设计方法提高了控制器的设计效率, 优化后的控制器的跟踪性能和鲁棒性有了明显提高.     

异构网载波聚合系统基于干扰对齐的联合算法研究*

为了满足异构网络热点区域覆盖,同时解决由于低功率基站在高功率基站覆盖区域随意分布而带来的小区间干扰及系统容量速率受限问题,提出了一种载波聚合系统的联合小区选择、载波选择和干扰对齐算法。该方法是在载波公平比例准则下,动态的选择成员载波。为了进一步降低小区间干扰,设计了新的基于干扰对齐的用户小区选择算法。理论分析表明,联合优化算法问题可以分解成三个子问题进行优化求解处理。仿真结果表明,与调度复用因子为1的参考算法相比,设计的方案由于联合了小区选择和载波选择使得用户选择低功率节点作为服务小区的机会增多,提高了低功率节点小区容量,使系统的吞吐量得到提高。     

基于事件驱动的动态免疫分簇路由算法*

为了降低应用于突发事件监测的无线传感器网络的能量消耗,设计实现了一种基于事件驱动的动态免疫分簇路由算法。将生物免疫系统的工作机制应用到无线传感器网络事件驱动的动态分簇算法中,事件作为抗原,传感器节点作为抗体,抗体对抗原有记忆保存的功能,使得相似的抗原再次出现时对事件及时响应。相似事件再次发生且传感器节点符合能量要求时,可以直接调用抗体中的记忆,对事件进行快速建簇,节省了簇的建立过程所消耗的大量能量,增加了网络的数据传输量,延长了网络的生命周期。仿真结果表明,生物免疫机制的学习记忆特性可以有效提高事件驱动的动态分簇算法的网络性能。     

基于符号零压缩二叉决策图的装配可行性判定方法

为了扩大装配序列规划的求解规模并提高求解效率,提升装配自动化水平,给出了装配体联接矩阵和干涉矩阵的零压缩二叉决策图描述,建立了基于符号零压缩二叉决策图的装配操作可行性判定方法。基于该方法,可以高效地求解出一个装配体的可行装配操作。结合实例验证了基于符号零压缩二叉决策图的装配体模型和可行装配操作判定方法的正确性和可行性。     

基于xMAS模型的SpaceWire信誉逻辑的形式化验证

空间总线(SpaceWire)协议是应用于航空航天领域的高速通信总线协议, 保证其可靠性至关重要。但是由于通信系统具有队列量、分布控制和并发性等特点,传统仿真模拟的验证方法存在不完备性的问题,采用模型检测方法对高层次属性进行验证时,通常会出现状态爆炸的问题。基于xMAS模型对SpaceWire通信系统中的信誉逻辑进行形式化建模、验证,xMAS模型既保留了底层的结构信息,又可以验证高层次的属性。对通信系统中信誉逻辑进行抽象进而建立了xMAS模型,提取了可发送性、可接收性和数据一致性等3个关键属性,运用定理证明工具ACL2对关键属性的正确性进行了自动验证。该方法为验证指导下的系统设计提供了有效的参考。     

分数阶微积分定义的一致性在HOL4中的验证

分数阶微积分有3种常用的定义:Grunwald-Letnikov定义、Riemann-Liouville定义以及Caputo定义,3种定义之间存在着一定的联系,在一定条件下,它们可以相互转换。首先在高阶逻辑定理证明器HOL4中使用实数、积分、极限、超越函数等定理建立了基于Caputo定义的分数阶微积分形式化模型;然后验证了该定义与Grunwald-Letni-kov定义、Riemann-Liouville定义之间的关系,实现了这3种常用定义在HOL4中的转换,在一定程度上使这3种定义达到了统一,完善了高阶逻辑定理库。     

基于语义技术的软件用户访问控制方法

在应用软件中广泛使用的访问控制模型不能根据用户上下文来动态改变资源的访问权限。针对上述问题提出一种基于语义技术的访问控制方法,实现了对用户的动态授权。提出基于语义信息的用户模型和资源模型并构建面向用户模型和资源模型的基础本体,定义一组与访问控制相关的语义规则及推理规则,并设计基于语义推理过程的判定算法。访问控制过程是接收并分析访问请求,根据语义规则从显示的本体知识中获取相关联的用户信息,调用判定算法得出用户与资源间的访问权限关系。最后通过某综合减灾应用系统案例来验证该方法的有效性。     

集成特征选择的最优化支持向量机分类器模型研究

考虑将特征选择集成到支持向量机分类器中,提出集成特征选择的最优化支持向量机分类器——FS-SDP-SVM(Feature Selection in Semi-definite Program for Support Vector Machine)。该模型将每个特征分别在核空间中做特征映射,然后通过参数组合构成新的核矩阵,将特征选择过程与机器分类过程统一在一个优化目标下,同时达到特征选择与分类最优。在特征筛选方面,根据模型参数提出用于特征筛选的特征支持度和特征贡献度,通过控制二者的上下限可以在最优分类和最少特征之间灵活取舍。实证中分别将最优分类(FS-SDP-SVM1)和最少特征(FS-SDP-SVM2)两类集成化特征选择算法与Relief-F、SFS、SBS算法在UCI机器学习数据和人造数据中进行对比实验。结果表明,提出的FS-SDP-SVM算法在保持较好泛化能力的基础上,在多数实验数据集中实现了最大分类准确率或最少特征数量;在人工数据中,该方法可以准确地选出真正的特征,去除噪声特征。