基于蚁群算法的攻击图分析

分析攻击图分析中求解攻击图最小关键集的方法和作用。在研究蚁群算法的基础上,将其引入对攻击图的最小关键集的求解中,对Cincotti等人提出的针对权值最小碰集问题的蚁群算法进行改进,并用实验验证了算法的可行性。     

面向方面设计中干涉问题的分析工具

干涉问题是指基础程序和方面之间或者方面之间发生不需要的相互作用,导致最终程序中产生不想要的功能,危害程序的正确性.很难检测和修正在面向方面设计中存在的干涉已经成为推广面向方面技术的阻碍.受到技术自身可扩展能力的局限,现有的基于模型验证技术的工作不能有效地处理功能干涉问题.本文设计开发了一个基于推理验证技术直接检查和去除面向方面设计中功能干涉的工具.它可以根据类和方面的功能规约自动产生确保不发生干涉的条件,并引入交互式证明工具PVS来提高证明过程的自动化程度.证明可以确认设计中没有干涉存在或者为修正干涉问题提供线索.     

建筑幕墙施工的科学安全管理

建筑幕墙是技术复杂程度较高的工程,影响幕墙施工安全的因素较多,施工安全风险较大。为了保证建筑幕墙的施工安全,必须采取有效的安全技术措施和管理措施,把风险降低到最低程度。     

网游领跑者——魔剑

欧美网络3D游戏《魔剑》公测以来,以其极高的自由度和贴近现实世界的真实性吸引了无数玩家。许多玩惯了韩国泡菜的人,也在《魔剑》中寻找到了新的游戏方式。为了让广大玩家更多地了解这个游戏,笔者把参与游戏数月来的感受写出来与大家共享。 首先,人物的选择。目前的《魔剑》为大     

基于Adaboost的快速人脸跟踪算法

针对复杂变化背景中的人脸跟踪问题,提出了一种基于Adaboost的人脸跟踪算法。该算法采用背景消除、肤色检测来提取可能包含 活动人脸的区域,用Adaboost算法做人脸验证,用Kalman滤波为运动模型实现对人脸的跟踪。实验表明,该算法具有快速、可靠的特点,速 度超过80fps,完全满足实时系统的需要。     

SA-335 P91钢全位置窄间隙热丝TIG焊接工艺及接头性能研究

针对SA-335 P91钢大口径管环缝,采用轨道式全位置热丝TIG焊机进行了窄间隙焊接。将整条环缝均分为16个区域,根据不同位置熔池受力状态对各区的焊接工艺参数进行修正设置,并对所获焊接接头的组织和性能进行了研究。所获焊缝和热影响区的组织均为回火马氏体,焊接接头的拉伸、弯曲、冲击等力学性能均满足要求。结果表明,窄间隙热丝TIG焊接工艺参数合理,分区修正设置恰当,能够满足SA-335 P91钢大口径管全位置焊接要求。     

智能终端管控系统实践研究

本文介绍了北京歌华有线电视网络股份有限公司智能终端管控系统,以及面向4K/8K智能机顶盒终端端到端的自动化管控运维实践研究的部分有益成果。     

建筑平移中基于BIM技术的施工模拟研究与应用

对大型项目方案进行施工进度模拟能够及时发现不合理之处,为正式施工提供指导.同时通过碰撞检查能够对施工进行预测,及时发现可能出现的问题,并做出应对处理方案.对厦门后溪长途汽车站主站房平移工程进行施工模拟,对整个施工流程提供技术支撑与指导,有效保障施工安全.     

基于不同基础的滑道梁结构施工技术

建筑物平移施工中,作为临时构筑物的滑道梁在平移完成后即失去其使用功能.如何能在满足结构安全性的前提下快速经济施工,是平移工程需要考虑的重点.结合厦门后溪长途汽车站主站房平移工程,针对3种不同工况,对如何缩短轨道梁施工工期,同时减少材料损耗、保证结构安全的施工技术进行了探讨,并运用在实际施工过程中.     

导购机器人导航与控制系统的设计

本文采用了无线射频识别技术、红外线距离传感技术和地磁感应电子罗盘相结合的方法.设计出了一种基于DSP控制的信息融合的自主移动的机器人的导航与控制系统.并且在设计的过程中根据实际情况的需要,对传统的红外避障传感器进行了一些改进,同时,对信息融合状态下的DSP系统的驱动架购设计,作出了一些研究和论述.给出了小型机器人的运动控制的驱动电路的设计.最后,对这种架构下的自行设计出来的机器人,在超级市场中进行了实际的稳定性测试.