基于对象和属性交叉渐进模糊概念格生成算法

在人类的认知过程中,真实的形式背景总是模糊和不确定的,并伴随着对象和属性交叉渐增更新。在分析人类概念形成机理的基础上,提出了一种基于对象和属性交叉渐进式模糊概念格生成算法。该算法从空概念格开始,逐个地将形式背景中的对象和属性交叉插入到模糊概念格中,实现对模糊概念格的渐进式构造。实验及分析表明该算法不仅能有效地渐进式构造模糊概念格,而且解决了以往渐进式概念格生成算法,针对属性和对象交叉渐增更新需要重新构造概念格的问题。     

小型风电塔筒检测机器人设计与运动性能分析

介绍一种小型爬壁机器人,用于风电塔筒的检测,以实现难以人工检测的风电塔筒的快速检测。对机器人的整体结构进行了设计,对机器人的吸附结构进行了计算和仿真。对机器人进行动力学分析,验证驱动力矩的计算结果。对机器人进行动力学仿真,确定驱动机构输出转矩的平稳性。通过实验验证了机器人能够在塔筒表面安全稳定地运行。     

一种VLSI设计到赋权超图的转换系统

本文基于VLSI划分问题的需要,提出了一种VLSI设计到赋权超图转换算法.该算法解决的关键问题是,它读取和遍历Verilog语言描述的树状结构VLSI设计,将其转换为赋权超图并存储为指定的文件存储格式,从而有效地将VLSI划分问题转换为超图划分优化问题.进而,本文给出了VLSI设计到赋权超图的转换系统（VLSI/Hypergraph Converter,VHC）的处理流程图,并在Windows平台下用C＋＋设计实现了VHC系统.实验及分析表明,该系统能正确地将Verilog语言描述的门级CPU测试用例转换为赋权超图,避免了直接在VLSI线网上进行划分,提高了VLSI划分的效率.     

可变刚度四足机器人对角小跑控制策略

为提升足式机器人在复杂环境下的自适应稳定运动能力,针对具有主被动变刚度柔性关节的四足机器人提出一种对角小跑步态运动控制策略。基于弹簧负载倒立摆模型与控制目标解耦方法,设计了腾空相对角腿关节角规划,着地相前进速度、机身高度、俯仰角调节及腿部刚度主动调节控制策略,并基于足端触地状态完成了四足机器人对角小跑步态运动规划。研制了具有主被动变刚度柔性关节的四足机器人样机,通过实验验证了所提运动控制策略的有效性与正确性。     

跳点优化蚁群算法的移动机器人路径规划

传统的蚁群算法（ACA）在路径规划中难以克服路径次优及收敛慢等问题。针对这些问题，提出一种跳点优化蚁群算法（JPOACA）。通过引入跳点搜索（JPS）算法价值函数，筛选出低成本的邻域节点，然后运用ACA的多邻域性扩展JPS算法的邻域，扩大JPOACA的视野，增加低成本邻域数量，在低成本的JPS算法邻域内设计夹角启发信息函数和步长启发信息函数，提高算法的路径寻优能力，最后采用在跳点处补充信息素，最优路径的跳点处额外增加信息素的信息素补充方式，提高融合算法的收敛速度。仿真结果表明，JPOACA规划出的路径光滑更好性，且收敛速度、对复杂地形的适应能力均有显著提升。     

数据加密技术在银行联机交易交换处理系统中的应用

本文就数据安全角度阐述了在银行联机交易交换处理系统中数据加密技术的应用，给出了相应算法的实现方法，并将其中的一些技术应用在中国建设银行广东省分行汇划直联业务系统前置机中。     

最小生成树算法的PAR方法形式化推导

采用PAR方法通过功能归约变换，形式化推导出可读性好、效率高的递推的最小生成树算法，简化了算法程序设计和正确性证明的过程，有效提高了算法程序设计自动化、规范化的程度及其正确性。该文给出的相关算法在PAR平台通过自动转换系统转换成可执行语言程序并运行通过。     

基于对象和属性交叉的渐进式概念格生成算法

在分析人类概念形成机理的基础上,提出一种基于对象和属性交叉渐进式概念格生成算法,从空概念格开始,逐个地将形式背景中的对象和属性交叉插入到概念格中,实现对概念格的渐进式构造。该算法能渐进式地有效构造概念格,解决了以往渐进式概念格生成算法针对属性和对象交叉渐增更新需要重新构造概念格的问题。     

云计算大学计算机基础学习系统设计

为解决在大学计算机基础课程学习系统中,由于大量数据同时上传到服务器造成负载过重的问题,本文将云计算引入到该系统的设计中。该系统采用Hadoop并行编程模型,搭建了实验性的云计算平台大学计算基础课程学习系统。该系统具有分布式计算,资源共享等特点。实验结果表明,云计算与大学计算机基础课程学习系统建设相结合能有效地解决服务器负载过重问题。     

基于模糊剪枝的最优小波包基图像压缩算法

提出一种基于模糊剪枝的最优小波包基图像压缩算法。图像经完全小波包分解后,以每个小波包分解的高频系数占所有高频系数的比值及每个节点子女熵值与原节点熵值的比值作为模糊系统的2个输入;通过构造模糊规则,将小波包系数分为裁剪类和保留类,由保留类构造最优小波包基;根据最优小波包基,在不同的小波包分解层次上采用不同的阈值对图像进行压缩。仿真实验结果表明,该算法与比特-失真率优化算法和小波包最优树全局阈值压缩算法相比性能更优。