检索结果-南通市图书馆

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

在线全文

学校读者我要写书评

暂无评论

信息资源管理学报 2022年第1期12卷 127-135,F0003页

作者：赵一鸣朱永春武汉大学信息资源研究中心武汉430072 武汉大学信息管理学院武汉430072 武汉大学图书情报国家级实验教学示范中心武汉430072

当前,用户对个性化综合科技服务的需求日益增加。在明确科技服务流程要素特点的条件下,提出了一种基于状态空间搜索的科技服务流程要素拼接和组配方法,使用德尔菲法对流程要素进行划分,借助Prim算法的基本思想对划分的流程要素进行筛选... 详细信息

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

关键词：综合科技服务流程要素服务链状态空间搜索个性化服务

维普期刊数据库博看期刊

在线全文

学校读者我要写书评

暂无评论

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

华中科技大学学报（自然科学版） 1989年第S1期25卷 45-50页

作者：晏敏张昌期翟贤刘育骐华中理工大学电力工程系华中理工大学建筑学系

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

关键词：平面布局方图方案产生器状态空间搜索启发式优化规则自学习智能回溯

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

在线全文

学校读者我要写书评

暂无评论

东南大学学报（自然科学版） 2009年第S1期39卷 76-81页

作者：庞强苑明哲吴星刚王景杨中国科学院沈阳自动化研究所工业信息学重点实验室沈阳110016 中国科学院研究生院北京100039

为了降低生料成分的不确定性给水泥生料质量控制系统带来的影响,提出了率值补偿的控制策略.分别为三率值创建目标函数,并利用状态空间搜索策略解决多目标优化问题.针对初始样本空间不能覆盖所有样本的问题,提出了基于神经网络的估算模型... 详细信息

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

关键词：生料配料多目标优化神经网络状态空间搜索

在线全文

学校读者我要写书评

暂无评论

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

小型微型计算机系统 2017年第5期38卷 977-982页

作者：吕强李兆荣陈崚朱留存扬州大学信息工程学院江苏扬州225127

到目前为止,尽管数据挖掘研究已取得了惊人的进展,特别是已达到很高的泛化精度和效率,但是在从模型中提取有意义的决策行动方面仍然只有有限的进展.然而,在许多应用中,如客户关系管理等,用户不仅需要准确预测的模型,也期望能够得到一些... 详细信息

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

关键词：动作知识提取数据挖掘随机森林状态空间搜索

在线全文

学校读者我要写书评

暂无评论

数据挖掘中关于动作知识提取方法的研究

数据挖掘中关于动作知识提取方法的研究

作者：李兆荣扬州大学

学位级别：硕士

经过了几十年的研究与发展,在数据挖掘技术方面已经取得了很多的成果,尤其是提高预测精度和建立模型效率这两方面。但是从模型中提取有意义的决策行动方面的研究却是有限的,而且仅限于简单的动作模型,而在许多实际应用中,这些模型往往... 详细信息

经过了几十年的研究与发展,在数据挖掘技术方面已经取得了很多的成果,尤其是提高预测精度和建立模型效率这两方面。但是从模型中提取有意义的决策行动方面的研究却是有限的,而且仅限于简单的动作模型,而在许多实际应用中,这些模型往往更复杂,更难获取最佳的解决方案。在诸如针对性营销等众多应用中,用户建立的模型不仅需要预测准确性高,还需要能够得到一些动作推荐,最终以最少的成本得到预期的目标。在已有的研究成果中,用户常常被要求使用大量的时间,从基于数据挖掘算法的模型中手动搜索能达到预期目标的有价值的知识。数据挖掘中的动作知识提取方法是数据挖掘过程中遇到的新问题,也是模型后续处理研究中的一个瓶颈。在许多实际操作里,动作的自动提取就尤为重要,在知识领域中,过去的手动寻找与图像显示这些方法越来越不能满足日益增长的需要。本文主要从单属性值改变、多属性值改变和线上线下自提取三个方面,提出了从数据中提取高预测精度和高效率的决策动作的动作知识提取方法。本文的主要研究内容有:(1)一种结合马尔科夫决策过程的动作知识提取方法。结合强化学习,利用马尔科夫决策过程提取动作知识。首先要将动作知识提取问题形式化地转换为优化问题,决策策略的学习是在所处的环境中利用自主交互来实现,让策略最终的奖赏值最大化,优化问题的解决是通过将随机森林模型和马尔科夫决策过程结合起来。实验结果也证明了通过对状态的单个属性的改变,能够将其中更有可能转变为目标状态的动作知识提取出来。(2)基于状态空间搜索的次优化动作知识提取方法。将随机森林模型作为知识提取的基础模型,并将知识提取的问题形式化转换为一个优化问题,在此基础上证明这个优化问题等价于状态空间最短路径搜索的问题,最后提出次优化状态空间搜索的算法来解答该知识提取问题,使用启发式函数进一步地提升次优化状态空间搜索算法的性能。实验结果也证明了次优化状态空间动作知识提取方法可以同时保证解的质量和搜索的效率。(3)一种结合机器学习与自动规划实现数据驱动的动作知识提取技术。通过结合机器学习与自动规划这两个人工智能的核心领域来实现数据驱动的动作知识提取,从而把机器学习模型的预测结果转化为动作知识的能力。形式化定义动作知识提取问题,然后线下预处理寻找近似最优目标状态集合,最后对任意输入数据,通过在线搜索得到一个近似最优动作序列。实验结果表明,本章节算法实现了近乎最优的解决方案,并且是超高效的,较其他一些方法获得了更好的质量与更高的效率。

关键词：动作知识提取状态空间搜索马尔科夫决策过程自动规划数据挖掘

HSTM软件设计中特定执行路径检测算法及实现

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

HSTM软件设计中特定执行路径检测算法及实现

作者：郭丹月大连理工大学

学位级别：硕士

软件系统在未来的城市建设中发挥着非常重要的作用,因此保证其功能正确性是进行软件开发的关键因素。层次状态迁移矩阵(Hierarchical State Transition Matrix,HSTM)是一种流行的软件设计语言,被广泛应用于嵌入式软件设计中。对于具有... 详细信息

软件系统在未来的城市建设中发挥着非常重要的作用,因此保证其功能正确性是进行软件开发的关键因素。层次状态迁移矩阵(Hierarchical State Transition Matrix,HSTM)是一种流行的软件设计语言,被广泛应用于嵌入式软件设计中。对于具有复杂层次结构及调用关系的HSTM设计,其执行路径通常难以跟踪和调试,如果HSTM设计中的特定变量的首次值变化到其后续引用的执行路径(称为更改-引用路径)能够自动的被输出,那么这些路径可以帮助HSTM设计者更好的跟踪变量的变化及使用情况,并分析潜在错误的成因,从而有利于开发出功能正确及稳定的软件。目前尚未有针对HSTM设计的更改-引用路径检测算法及工具实现。本文基于形式验证中的状态空间搜索技术,提出了针对HSTM软件设计中更改-引用路径的检测算法;针对状态空间探索中存在的状态空间爆炸问题(即状态数目过多导致探索无法在有限时间内利用有限计算资源完成),利用无状态显式搜索(Stateless Explicit State Exploration,SESE)以及限界上下文切换(Bounded Context Switch,BCS)技术来有效缓解状态空间爆炸问题;此外,在对更改-引用路径进行检测时,需要对HSTM设计进行死锁检查以及阈值检查,以避免输出错误的检测结果。算法的大致步骤如下:首先对HSTM设计进行解析,将其转换成一个状态迁移系统;其次将用户输入的更改-引用路径规约进行解析;然后利用显式状态空间搜索技术对HSTM对应的状态迁移系统进行路径检测,通过SESE技术记忆每个时间步的可达状态集,利用BCS技术限制到达当前状态集的进程间切换数;如果到达某个状态时检测到了更改-引用路径则输出到达该状态的详细转换路径,否则输出结果显示为无。本文将提出的更改-引用路径检测算法在课题组前期开发的Garakabu2形式化模型检测工具中进行了实现。除算法本身外,设计实现了更改-引用路径规约描述的解析功能,最短更改-引用路径的输出功能。实验结果表明,本文提出的算法能够对复杂HSTM软件设计中的更改-引用路径进行有效检测及输出,对设计者开发出正确的HSTM软件设计可以起到显著的帮助作用。

关键词： HSTM 更改-引用路径状态空间搜索无状态显式搜索 BCS

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

各种规模集成电路