证明算法相关论文
针对城市路网中多条相关联路段同时发生堵塞的情形,给出片堵塞的定义,并提出度量片堵塞对城市路网性能影响的度量指标——片堵塞因......
本文提出一种对空监视地面雷达网的实用多雷达配准算法,使各雷达的方位偏移和距离偏移两类系统误差显著减小,为多雷达多目标跟踪处理......
本文提出一种符号超稳定自适应递归滤波算法。该算法避免选择误差平滑系数,自适应滤波器参数迭代利用信号的符号而不是幅度。新算......
本文提出一类新的超稳定自适应递归滤波算法。新算法进行参数迭代时取信号的符号而不是象传统算法那样取信号的幅度。因此,算法的......
利用无线自组织网的相关技术对传统防空警报网络进行组网,可以克服传统警报网络覆盖性差、抗毁能力差等缺点。在图论连通支配集的......
针对NP-Hard认知无线电分配模型,提出了基于种群多样性的二进制蛙跳算法.传统蛙跳算法采用整数编码和相关的搜索方法,新算法采用种......
文[1]、[2]建立了中介逻辑的表推演理论,本文着重介绍以这一理论为基础设计的实验性中介逻辑定理证明器(MTP)。这一定理证明器能实......
分析了从空间遥感图象的自然背景中提取人造目标的复杂度和可行性,应用基于小波变换下多分辨率分解的特征融合技术,提出了一种从自然......
本论文对双臂机器人时间最优轨迹规划问题作了深入研究,成功地运用了动态规划法,对沿着特定路径运动的双臂机器人左、右臂进行了时间......
针对Hopfield神经网络在求解旅行商问题(TSP)时出现的无效解和局部极小值问题,分析和比较两种改进的求解方法,首先从理论上证明算......
可持续发展的几何自动推理平台(SGARP)支持用户发展多种多样基于规则的机器自动推理或人机交互推理方法,但缺乏处理符号计算的模块......
互联网环境下设计主体被进一步分散,形成了集中式设计与分散式设计两种设计范式。在不同的设计范式下设计过程的动态设计成为首先......
[目的/意义]预测建模是数据挖掘的基础任务之一,当前基于信息保护的预测模型大多建立在一个中心化的架构之下,因而不可避免地存在......