共归纳数据类型上的共递归操作及其计算定律

范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给出程序语言中共归纳数据类型的共代数描述,并根据终结共代数的终结性给出相应的共递归操作的定义及其共代数计算定律;同时,利用双函子及类型函子对参数化共归纳数据类型进行抽象描述,并结合自然转换给出类型函子上的单元和融合等计算定...     

多窗口模式Roberts聚焦评价方法及其应用

自动对焦是图像测量和机器视觉中的重要技术。分析了自动对焦的基本原理,研究了自动对焦过程中的核心问题,提出了一种基于多区域聚焦窗口模式的改进Roberts聚焦评价函数的自动对焦方法。对图像进行滤波去噪预处理,选取多区域聚焦窗口,利用改进的Roberts聚焦评价函数进行评价,最后采用全局搜索和二分查找相结合的方法进行快速焦点定位。试验结果表明该方法兼顾了灵敏性、稳定性,可快速实现自动对焦。     

一类时滞递归神经网络模型的周期振动性

利用线性矩阵不等式方法,研究一类5个神经元时滞递归神经网络模型的周期振动性,得出保证系统存在周期振动性的一组充分条件,理论分析和数值仿真显示,所得结果为一类5个神经元时滞递归神经网络模型提供了新的振动性判定准则.     

江西婺源的那只白化斑嘴鸭

2011年3月5日的《南昌晚报》报道了这样一条新闻：“婺源现罕见白化斑嘴鸭”。文章称“一种奇异的白色鸟类近日出现在婺源,相关专家经初步研究,鉴定其为白化斑嘴鸭,由普通野生斑嘴鸭基因突变而形成”。一些网站也积极跟进,先后报道或转载了这条消息,并贴发了多张照片。一时间,“白化斑嘴鸭”或“斑嘴鸭白化个体”成为网络搜索的热门关键词。     

一种信号强度感知的Ad Hoc网络节点移动控制算法

针对Ad Hoc网络节点具有的可移动的特点,提出了一种基于接收信号功率的移动控制算法.该算法是在无法获取节点位置信息的情况下,对网络拓扑进行优化配置.文中定义了基于接收信号强度的性能函数,当节点位于该函数的最小值点时,传输数据所需的能量消耗最小.可将该函数取得最优解的位置作为节点移动的目标位置,并根据检测到的接收信号强度逐步搜索到该位置.实验结果表明,在位置信息未知的情况下,可通过该算法找到节点移动的目标位置从而减少传输能量的消耗.     

呼和浩特市中心城区城市公园可达性分析——基于高德地图API数据

城市公园布局的合理性直接影响其对城市内部居民的服务水平。基于高德地图API数据,以呼和浩特市中心城区为研究区域,居住小区为研究单元,从数量、供需角度分析步行和骑行两种交通方式下公园可达性水平。结果表明：（1）基于出行时间计算的各小区可达公园数量随着时间阈值的增大,居民接近公园的机会增多,高斯两步移动搜索法在此基础上,考虑了公园供给与人口需求之间的空间分布及其相互作用,研究区公园分布存在空间供需失配现象;（2）两种出行方式下,可达性呈现“外围高,中心低”态势,步行出行方式在三种时间阈值范围内一直存在无法享受公园服务的小区,可达区域分布存在明显的空间隔离;骑行方式下的可达性水平空间分布显著高于步行,在20 min阈值内服务范围可达到全覆盖,各小区居民的供需可达性值相较于步行分异程度明显降低;（3）城市公园可达性较好区域集中分布于研究区北部和东部,而可达性较差的城市核心区、西部和南部,可以作为呼和浩特市公园规划建设重点关注对象。     

基于改进遗传算法的多车场生鲜配送优化

针对生鲜产品易腐烂特性与对配送及时性的高要求,构建以制冷成本、燃油成本、损耗成本、时间惩罚成本、产品固定运输成本和车辆固定成本的总成本最小函数,并考虑顾客的位置、车辆载重及时间窗约束,建立多车场生鲜配送模型,使用K-means聚类对算例中的客户群进行车场划分后,采用变邻域下降搜索策略和模拟退火算法对遗传算法进行改进,利用改进后的遗传算法计算得出优化后的车辆配送路线。通过对改进后的遗传算法与传统的自适应遗传算法对比后,结果表明各项成本都有不同程度的减少,且总成本减少了14.6%,从而验证改进后算法的优势,达到减少配送成本、满足配送及时性和提升顾客满意度的目的。     

一种超级梁单元桁架式臂架结构强度荷载计算

桁架式臂架结构强度承载能力计算是臂架型起重机核心计算之一.以单个臂节作为一个子结构,将其内部自由度凝聚到臂节端面,基于臂节端面刚性假设,将边界自由度进一步凝聚到臂节端面形心,臂节自重离散到形心节点上,形成一种考虑重力的超级梁单元.基于共旋坐标法,建立每个臂节的随动坐标系,可以准确计算计及大长度臂架几何非线性效应的单元应...     

融合差分进化思想的自适应人工蜂群算法

针对人工蜂群算法求解复杂优化函数时,存在收敛速度慢、算法后期种群多样性下降以及易陷入局部最优解等缺点,提出了一种融合差分进化思想的自适应人工蜂群算法.首先,引入反向学习策略初始化种群,增加种群的多样性,加强算法跳出局部最优解的能力.其次,将雇佣蜂搜索过程与差分进化算法融合,并加入自适应策略平衡算法的勘探与开发能力.最后...     

一类无约束优化问题的非单调谱共轭梯度方法

结合文献[5]给出的求解非线性无约束优化问题的新公式βkWYL=[gTk(gk-‖gk‖/‖gk-1‖gk-1)]/gk-1Tgk-1提出了一种新的非单调谱共轭梯度法,证明算法具有全局收敛性,并进行数值试验.数值试验结果表明,该方法具有良好的计算效能,特别适合于求解大规模无约束优化问题.