共查询到20条相似文献，搜索用时 796 毫秒
1.
针对集装箱码头岸桥调度问题,以集装箱箱组为切入点,综合考虑岸桥干扰约束及作业单元优先顺序约束,以最小化船舶作业时间以及岸桥作业时间为目标,建立混合整数规划模型.利用多种算法进行求解对比,并针对新颖的萤火虫算法进行研究,提出两种改进的萤火虫算法以克服其运行时间较长及易陷入局部最优的缺陷.实例分析表明,两种改进后的萤火虫算法能有效解决岸桥调度问题,其相关理论对提高岸桥的作业效率以及集装箱码头服务水平具有一定借鉴意义. 相似文献
2.
针对多卫星区域目标的成像规划问题,提出一种基于改进布谷鸟搜索的卫星成像规划方法。为最大限度地利用卫星资源,首先基于卫星的单次过境活动将区域目标按条带分解,然后考虑卫星姿态约束、传感器使用约束、过境时间约束、成像时云量及光照约束等,建立约束满足模型,针对模型设计编码和更新策略,并在布谷鸟搜索算法中引入非线性惯性权重对其进行改进,最后采用改进的布谷鸟搜索算法求解约束满足模型。求解结果表明,与遗传算法相比,本文算法的收敛性好、目标完成率高且稳定性强,验证了该算法的有效性。 相似文献
3.
考虑到MTCD数量巨大的特性,针对OFDMA蜂窝网络中H2H与M2M共存场景系统过载的情况,提出一种准入控制及资源分配联合优化算法.针对共存场景系统过载的情况,考虑控制信道的影响,本文形成了最大化准入MTCD数目的MINLP问题.由于难以求得其最优解,通过凸松弛将其转化为标准的凸问题,由此得到原问题解的上界,并进一步提出一种低复杂度的求解算法.仿真结果表明所提算法与上界相比性能损失小,且明显优于两种对比算法. 相似文献
4.
Strand Spaces是一种用于分析安全协议的机器证明方法.简要介绍了 Strand Spaces的基本特点,分析了其优劣,提出了构造协议的理想子环的算法,并以此来约束协议入侵者的能力和协议并行运行的次数.将模型检查与 Strand Spaces结合在一起,提出了一种综合分析方法来验证协议的安全特性,该方法可充分发挥模型检查与 Strand Spaces二者的优势. 相似文献
5.
针对密码模块API的形式化验证,提出一种基于项重写形式化模型的检测算法. 该算法利用符号化及广度优先搜索方法,使用项重写规则对敌手的初始知识集不断进行匹配和扩展,直到找到攻击路径或者搜索完状态空间. 以密码模块API标准PKCS#11为例具体实现了该检测算法,通过5个实验完成了对PKCS#11对称密钥管理部分API的形式化验证. 实验结果表明,该方法能有效检测针对PKCS#11的攻击,并找到一个新的攻击序列. 相似文献
6.
针对具有3个及3个以上操作部件的可修复系统建立了相应的微分方程模型,利用Laplace变换给出了一种模型解析解的计算方法;然后针对维数大的问题建立了一种新的数值求解算法,既可以得到模型的解析解又可以避免解析表达式的繁琐计算.最后针对不同的情况进行了数值试验,通过对数值结果的分析得到了几个对实际问题具有借鉴意义的结论. 相似文献
7.
针对日长变化难以用精确模型进行预报的问题,将一种新型人工神经网络--极限学习机(extreme learning machine, ELM)用于日长变化预报中.首先针对时间序列预测问题中存在的嵌入维数选取和网络结构设计问题,提出一种基于灰色关联分析(grey relational analysis, GRA)的ELM算法(GRA-ELM),该算法将灰色关联分析输入节点选取嵌入到ELM网络的训练过程中,同时完成嵌入维数和隐层节点规模的确定.然后根据日长变化数据的特点对其进行预处理,建立一种能够高精度、近实时预报日长变化的GRA-ELM预报模型.最后将GRA-ELM模型的预报结果同标准ELM、反向传播神经网络、广义回归神经网络和地球定向参数预报比较竞赛的结果进行比较.结果表明,通过本方法得到的日长变化较其他方法在精度上有较大改善. 相似文献
8.
随着21世纪竞技体育职业化、商业化的发展,世界各国间竞技体育竞争日趋激烈,促使选择一种合理而有效的竞技体育人才培养模式更加凸显其竞技体育发展的重要性。运用文献资料、逻辑分析等研究方法就目前国内竞技体育人才培养的国家模式、个人模式、高校模式和俱乐部模式进行了分析。结果显示,虽然迫切希望找到并建立针对中国竞技体育人才培养的一种更为有效的竞技体育人才培养模式,但事实情况却是每种培养模式各有利弊。促使中国竞技体育应对多元化的人才培养模式进行取长避短与优化整合,才能逐渐形成适应中国未来竞技体育发展的人才培养之路。 相似文献
9.
针对无人驾驶车辆路径规划问题,基于快速扩展随机树(rapidly-exploring random tree, RRT)算法,提出了1种5次多项式曲线(quintic polynomial curve)与MT-RRT(multi-targeting rapidly-exploring random tree)的融合算法,即QPC-MT-RRT算法。该算法根据无人驾驶车辆路径规划的相关理论,建立无人驾驶车辆路径规划问题的车辆运动学模型,为规划无人驾驶车辆最优、最高效、最安全路径提供理论依据。将上述算法在MATLAB上仿真,并在平均路径长度、平均路径规划时间、平均采样节点个数及节点利用率4个方面与基本RRT算法及MT-RRT算法进行了对比。仿真结果表明：5次多项式曲线与MT-RRT算法的融合算法具有最高的性能,可以规划出最优路径。 相似文献
10.
《江西蓝天学院学报》2015,(3)
伴随着互联网的飞速发展,网络上的信息资源呈现出井喷态势,如何从海量的信息中抽取出自己需要的信息已经变得越发的困难。在研究网页结构特性、分析HTML DOM树结构的基础上,设计了一种基于文本标签属性的Web新闻信息抽取模型,针对由网页脚本动态生成的内容的抽取,设计了一种脚本动态生成的网页信息抽取模型。主要对两种Web信息抽取技术的算法模型进行了描述,给出了信息抽取的具体实现过程,并选取了主流的新闻网站进行了抽取实验,验证了算法的可行性。 相似文献
11.
给出了快速绘制摆线的逐点算法,此算法基于曲线表达式的特点,将摆线的点坐标迭代关系转化为几个简单迭代关系的线性组合。在迭代过程中避免了三角函数的运算,每步仅需两次乘法。算法的绘制误差不超过&2/2象素。 相似文献
12.
提出了基于小波变换和隐马尔可夫模型的人像鉴别算法. 该算法首先对图像进行3级小波分解,然后把3个不同分辨率的低频子图像由小到大排列成树状结构,形成低频小波树. 接着利用独立元分析对每个小波树枝进行去相关、降维,形成特征小波树枝,并把它作为观测向量对隐马尔可夫模型进行训练,把优化的模型参数用于人脸识别. 分析了观测向量维数与识别率的关系,以及状态个数和高斯概率混合成分的个数对识别率的影响,定性描述了隐马尔可夫模型的本质. 在ORL人脸数据库上,同其他四种相关方法进行了比较,实验结果表明,该方法识别率较高,工程上易于应用. 相似文献
13.
基于混合遗传算法的船舶避碰路径规划 总被引：2，自引：0，他引：2
针对不同会遇态势下的船舶避碰路径规划问题,建立一种基于遗传算法和非线性规划理论的避碰路径规划模型。该模型结合遗传算法全局搜索能力强与非线性规划方法局部搜索能力强的特点,使混合后的遗传算法在性能和效率上都得到提高。综合考虑船舶安全性、路径平滑度和路径长度等因素的影响建立避碰目标函数,采用基于实数编码方式的轮盘赌选择算子、算术交叉算子和高斯变异算子,通过迭代获取全局范围内的最优解。通过仿真对模型进行可行性验证和必要性分析。 相似文献
14.
单指标分位回归模型是一类重要的半参数模型,具有降维的优点的同时保留了非参数分位回归模型的稳健性.但现有的单指标分位回归模型的估计程序大部分都是通过内点法来实现.对单指标分位回归模型估计程序的MM (majorize-minimize)算法进行研究.首先找到目标函数的优化函数,然后通过最小化优化函数来得到估计,再逐步迭代... 相似文献
15.
结合调整感应半径和采用睡眠唤醒调度机制2种重要的最大化网络生命周期方法,研究了无线传感器网络的最大覆盖子集MSC-ASR问题,提出了相应的混合整数规划模型,证明了所给MSC-ASR问题是一个NPC模型.此外,提出了所探讨问题的2种算法:集中式和分布式.最后通过实验表明了所给算法的有效性. 相似文献
16.
针对自回归移动平均(auto regressive moving average,ARMA)模型在船舶纵摇角度预测时不具有普遍适用性问题,提出使用自回归综合移动平均(auto regressive integrated moving average,ARIMA)模型进行纵摇角度预测,并采用改进粒子群优化(particle swarm optimization,PSO)算法对模型定阶。对纵摇角度值序列数据进行平稳性检验和差分运算,确定ARIMA模型的适用性;采用具有针对性适应度评价函数的PSO算法进行模型定阶,并优化PSO算法的权重计算方法。通过仿真对比验证本文所提方法的科学性和有效性。仿真结果表明:采用改进PSO算法进行模型定阶的方法能够有效提升模型的预测精度,具有更好的预测效果。 相似文献
17.
建立在小波分析基础上的综合脉冲星时算法,能把脉冲星的观测计时残差在小波域分解,提取出不同频率范围的分量,然后用小波方差表征脉冲星在不同频率范围的稳定度来对单脉冲星时进行加权平均,得到综合脉冲星时;脉冲星的计时残差包括了计时参考的原子钟的误差和与脉冲星本身有关的计时误差两部分,用维纳滤波的方法可以将两者进行一定区分,并消除掉估计的参考钟误差,将剩余部分作为计时残差实现对脉冲星计时的综合。实验证明,小波分析和维纳滤波方法比经典的加权算法更好,得到的综合脉冲星时的长期稳定度有了较大提高。 相似文献
18.
双星滑动聚束模式合成孔径雷达（SAR）既保持了双星SAR的灵活性、可靠性和稳定性,同时还可产生高分辨率的图像对,对于观测和测绘具有巨大的潜力。这种模式下需要兼顾双星成像与多普勒带宽显著增加的问题。分析双星滑动聚束SAR系统下目标的多普勒特性,结合双星成像算法与频谱分析法,提出一种基于双曲等效的双星滑动聚束SAR 2步成像算法。同时,针对双曲等效模型误差导致算法聚焦质量下降的问题,提出模型误差补偿方法,给出完整算法处理流程,最后用仿真实验验证所提出的算法。 相似文献
19.
多目标跟踪是视频监控等领域的一项关键技术,该文提出一种基于主颜色的多目标跟踪算法,在算法中使用主颜色描述感兴趣目标,在卡尔曼滤波器预测的基础上利用基于主颜色的mean shift算法对各目标进行跟踪,接着利用目标跟踪位置与前景blob之间的关联矩阵来推理多目标跟踪问题中的各种情况,根据不同的情况对目标的位置、大小以及颜色信息做相应的更新。对大量图像序列的测试结果表明,该算法能够较好地处理遮挡,具有稳健的跟踪效果。 相似文献
20.
本文讨论用拓扑和分块的方法求得大电子网络函数。将图分块后,用Coates图分析各子块并求得各子块的网络函数,用码表示;然后根据代码的特征将各子块合成,得到整个网络的输入与输出间的网络函数。 相似文献