基于计数机制的多状态二进制搜索防碰撞算法

针对目前二进制搜索防碰撞算法存在查询搜索次数多、数据传输量大、识别时间长等问题,提出一种基于计数机制的多状态二进制搜索防碰撞算法。经过预处理得到标签的冲突信息,在多状态二进制搜索中引入最高冲突位计数机制。仿真结果表明,与传统的二进制搜索防碰撞算法相比,该算法减少了读写器的查询搜索次数、读写器发送命令和标签每次响应命令的数据长度,以及识别读写器读写范围内标签的时间。

基于状态空间搜索的科技服务智能拼接和组配研究

当前,用户对个性化综合科技服务的需求日益增加。在明确科技服务流程要素特点的条件下,提出了一种基于状态空间搜索的科技服务流程要素拼接和组配方法,使用德尔菲法对流程要素进行划分,借助Prim算法的基本思想对划分的流程要素进行筛选、拼接,得到满足用户需求的个性化综合科技服务流程。最后,以技术转移需求方综合科技服务流程的拼接和组配为例,验证了上述方法的可行性。

融合用户实时搜索状态的自适应查询推荐模型

传统的查询推荐算法通过挖掘查询日志为用户推荐查询词。通常现存模型只考虑原始查询词与推荐词之间的关系(例如语义相似性或相关性等),没有考虑用户在搜索过程中的满意度情况。针对用户在搜索过程中表现出的不同满意度状态,提出了一个查询推荐基本假设,并通过开展在线用户问卷调查,验证了这一假设。基于相应的假设,提出了一种基于用户搜索满意度状态的自适应查询推荐模型,该模型可以为用户智能推荐不同种类的查询词。当用户对搜索结果满意时,模型将为用户提供更加新颖的推荐词;当用户对搜索结果不满意时,模型将为用户提供一些增强信息表示能力的查询词。大规模日志实验表明,提出的推荐模型显著优于传统的查询流图模型,证明了所提模型的有效性。

非状态空间搜索的电路面积优化

文章给出了一个通过去除冗余的方法 ,实现了电路面积优化的算法。该算法通过电路网络结点值的计算来找到相容的冗余 ,可以避免由遍历状态空间造成的计算量呈指数增长 ,同时 ,所有被找到的冗余将在一次全部除掉。变换后的电路延迟将不会超过初始电路。算法将计算相容时序的冗余 ,并通过在电路中传播它们来简化电路。实验比较证明 ,这一算法对大电路是有效的。

基于搜索状态控制的组合电路测试生成算法

EST算法第一次提出了测试码搜索状态的概念,并采用E-前沿来描述测试码搜索的不同状态.通过引入状态等价的概念,缩小了测试码搜索空间.本文通过对搜索状态等价的研究,得出了基于搜索状态控制的测试生成算法.该方法应用E-前沿的控制关系可以减少搜索空间,大大减少了测试生成的时间.

一种提高状态空间搜索效率的执行方法

在面向对象程序设计中,软件测试的关键是设计程序运行状态及其使用方法。然而,状态图中的路径往往是部分重叠的。为此,研究一种改进的状态空间搜索的执行方法,该方法具有共享相同路径的特点。采用路径覆盖程序测试器模型测试提升执行方法的效率。实验结果显示,该执行方法可有效降低状态空间搜索的执行时间,提高搜索效率。

基于用户搜索状态的动态推荐模型研究

[目的/意义]针对由于用户需求不明确而导致用户行为变化等问题,引入用户搜索状态,设计不同搜索状态的下的用户推荐策略,实现系统自适应动态推荐。[方法/过程]分析用户偏好和行为特征,将其抽象为搜索状态,引入搜索状态值来表示各个状态;对基本蚁群算法进行改进,设计不同搜索状态下的路径搜索策略,根据状态变化动态调整信息启发函数和期望函数,逐步完善推荐策略。[结果/结论]基于搜索状态的用户推荐策略在推荐覆盖率和查准率方面较传统的推荐算法准确性更高,具有更高的实际应用价值。

收缩候选回溯集的有状态动态偏序归约方法

在验证多线程并发程序时,将基于无状态或有状态搜索的软件模型检测与动态偏序归约方法相结合,能大幅缩减待验证程序的状态空间,而动态偏序归约需不断利用当前候选回溯集更新相应回溯集,导致更新回溯集的计算成本过高。为此,形式化定义收缩候选回溯集,消除原候选回溯集中满足同一回溯条件的冗余迁移。针对各交织的回溯点,使用当前收缩候选回溯集更新相应回溯集,实现基于有状态动态偏序归约方法的并发多线程程序验证。实验结果表明,与现有动态偏序归约方法相比,该方法能减少遍历迁移数,加速回溯集更新,提高动态软件模型检测效率。

平面布局专家系统的自学习智能回溯搜索策略

本文研究了一种基于方图用于平面布局设计的搜索控制机——SARM.阐述了状态节点(方图)的扩充操作规则,制订了选择扩充节点的启发式原则,提出了处理搜索失败的自学习智能回溯搜索控制策略.

光电成像跟踪的模式与状态设计

光电成像跟踪的模式与状态设计刘上乾牛碧芹（西安电子科技大学７１００７１）研制了一种光电成像跟踪信息处理系统，它具有自动捕获目标、自适应波门跟踪和抗干扰、抗阻塞等功能。其跟踪模式和状态是决定该系统性能及是否稳定可靠的关键。跟踪模式的选择，主要根据系统所...

相控阵雷达LPI搜索方法研究

相控阵雷达可通过合理配置工作参数优化其性能。针对相控阵雷达在搜索目标时易受敌方电子侦察设备威胁的现实,研究了在保持搜索能力的同时,通过合理配置参数降低截获概率的问题。分析了影响相控阵雷达搜索状态LPI(Low Probability of Intercept)性能的主要因素,建立了截获概率模型与搜索能力模型,给出了3种参数调整策略。仿真试验验证了模型的有效性,并比较了3种策略的优劣。

局部满意的启发式搜索算法

在经典规划中,目标是找到一系列连续的行为,改变初始状态Z到一些满意的目标状态G.局部满意规划(PSP)问题是规划问题中的核心问题之一.在PSP中,文献[1-2]给出的每个目标有一个功能值ug≥0,代表每个目标对于用户的价值;每个行为a∈A,有一个关联执行代价Ca≥0,代表它执行每个行为的代价.P为所有有效规划集,Gp∈G为目标集,目标是寻找一个规划p在功能ug和执行代价之间寻找最大差,即arg p∈P max sum (ug)from g∈Gp-sum (Ca) from c∈p针对局部满意问题,提出了一种新的启发式搜索算法.该算法经过验证,取得了明显的效果.

IEEE802.11中WEP认证协议的SPIN模型检测

用SPIN工具对WEP认证协议进行模型检测,不仅可以从状态空间上搜索出协议的漏洞,还可以各个角度分析WEP协议的运行逻辑。模型检测的方法先通过建立WEP认证协议的模型,转换成SPIN的输入语言Promela,然后通过建立WEP协议的性质转化成LTL语言,最后利用SPIN工具分析WEP认证协议。实验的结果说明WEP认证协议存在漏洞。

二维不规则图形排样算法的优化

寻求二维不规则图形零件在排样区域上的最优排列 ,也就是对二维不规则图形的计算机自动排样算法进行优化 ,将在工业应用中有很广阔的前景。采用矩形包络和状态搜索相结合的排样算法对二维不规则图形零件进行排样 。

基于神经网络的水泥生料配料多目标优化设计方法

为了降低生料成分的不确定性给水泥生料质量控制系统带来的影响,提出了率值补偿的控制策略.分别为三率值创建目标函数,并利用状态空间搜索策略解决多目标优化问题.针对初始样本空间不能覆盖所有样本的问题,提出了基于神经网络的估算模型,对初始样本空间进行拓扑.通过估价函数对状态空间中的状态量进行评价,得到最优的率值状态量;根据率值对原料配比进行调整,最后使率值偏差得到补偿,同时使给配比造成的波动最小.工业实验结果表明,生料的质量合格率由原来的30%提高到50%,该系统能有效地对配料过程进行优化控制.证明了基于神经网络的状态空间搜索策略为水泥生料配料多目标寻优问题提供了一种可行的方法.

一个估计随机流网络可靠性的新方法

首先提出了一个名为状态树搜索(State- tree Search) ,用以计算随机流网络可靠性的算法,在此基础上提出了一个改进的算法—SS- MC(State- tree Search & Monte Carlo) .状态树搜索方法通过在一个状态树中搜索所有的有效状态来计算网络的可靠性;而SS- MC方法将分层抽样技术引入状态树搜索过程来实现大规模网络的可靠性评估.仿真结果表明SS- MC方法是有效的,并具有较小的方差.

数据挖掘中的一种次优化动作知识提取方法

到目前为止,尽管数据挖掘研究已取得了惊人的进展,特别是已达到很高的泛化精度和效率,但是在从模型中提取有意义的决策行动方面仍然只有有限的进展.然而,在许多应用中,如客户关系管理等,用户不仅需要准确预测的模型,也期望能够得到一些建议的行动.提出一种从随机森林模型提取次优化动作知识的方法.其基本思想是首先将提取动作知识问题形式化为一个优化问题,然后证明该问题等价于状态空间搜索中最短路径搜索问题,并提出一种次优化状态空间搜索算法来求解该问题.实验结果表明,该次优化算法在求解效率和提取的动作知识质量上达到了很好的平衡.

基于深度学习和智能规划的行为识别

现有行为识别方法在未能持续覆盖造成视频监控盲区所引起行为数据缺失的情况,难以有效实施特征分析、行为分类补全,无法准确识别出智能体完整的行为动作序列.为此,本文提出一种基于深度学习和智能规划的行为识别方法.首先,利用深度残差网络对图像进行分类训练,然后使用递归神经网络对图像特征进行提取深度信息以增强分类效果;其次,运用智能规划的STRIPS(Stanford Research Institute Problem Solver)模型,将深度学习提取的图像特征命题信息转化为规划领域的模型描述文档,并使用前向状态空间搜索规划器推导出完整的行为动作序列.在HMDB51等行为识别公共数据集中,本方法与生成式对抗网络、深度卷积逆向图网络、深度信念网络、支持向量机等同类先进方法相比展现出更好的性能.

一种基于Strand空间的认证协议检测方法

Strand空间是一种安全协议分析模型 ,使用图的形式来描述协议 ,证明协议的正确性。通过分析研究 ,本文建立了攻击者知识模型 ,在此基础上提出了一种基于Strand空间的认证协议检测方法 ,该方法产生状态少 ,避免了状态空间的爆炸。并以Needham Schroeder公钥协议为例 ,说明了该方法进行协议分析的过程。

Matching spatial relation graphs using a constrained partial permutation strategy

A constrained partial permutation strategy is proposed for matching spatial relation graph (SRG), which is used in our sketch input and recognition system Smart Sketchpad for representing the spatial relationship among the components of a graphic object. Using two kinds of matching constraints dynamically generated in the matching process, the proposed approach can prune most improper mappings between SRGs during the matching process. According to our theoretical analysis in this paper, the time complexity of our approach is O(n 2) in the best case, and O(n!) in the worst case, which occurs infrequently. The spatial complexity is always O(n) for all cases. Implemented in Smart Sketchpad, our proposed strategy is of good performance.