检索结果-内蒙古大学图书馆

计算机研究与发展 2010年第10期47卷 1756-1763页

作者：吕帅刘磊江鸿史晶晶( 吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

基于动作的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的一种基于约简状态变元的命题规划编码方式.依据基于动作的编码方式,提出一种基于约简动作变元的自动命题规划编码方式:基于命题的编码方式.首先分析构造... 详细信息

基于动作的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的一种基于约简状态变元的命题规划编码方式.依据基于动作的编码方式,提出一种基于约简动作变元的自动命题规划编码方式:基于命题的编码方式.首先分析构造新编码方式的理论依据,提出基于命题的编码方式的编码组成,证明其有效性,并描述某些公理的具体实现细节,最后分析其与已有几种编码方式的不同之处.在SATPLAN2006中实现了基于命题的编码方式,利用国际规划竞赛选用的标准测试问题予以测试,并分析其与基于动作的编码方式等两种极端编码方式的求解特性.实验结果表明:对于顺序规划问题域,基于命题的编码方式更有效,而对于并发规划问题域,基于动作的编码方式更有效.

关键词：智能规划基于可满足性的规划编码方式可满足性公理

来源：评论

学校读者我要写书评

暂无评论

基于MBR的拓扑、方位、尺寸结合的定性空间推理

引用

计算机研究与发展 2010年第3期47卷 426-433页

作者：陈娟刘大有贾海洋张长海吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

解决实际问题需将多方面空间关系结合进行推理,多方面空间关系结合推理已成为定性空间推理的研究热点;已有工作主要集中在两方面空间关系结合,缺少两方面以上空间关系结合工作.为解决上述问题,通过最小外包矩形近似表示区域对象,利用其... 详细信息

解决实际问题需将多方面空间关系结合进行推理,多方面空间关系结合推理已成为定性空间推理的研究热点;已有工作主要集中在两方面空间关系结合,缺少两方面以上空间关系结合工作.为解决上述问题,通过最小外包矩形近似表示区域对象,利用其在坐标轴上投影间的关系表示相应空间关系;提出扩展矩形关系模型,实现拓扑、方位和尺寸关系的统一表示和推理;给出RCC8、主方位及尺寸关系转换成扩展矩形关系的转换算法;讨论其上关系取反和复合,指出其复合是基于相容性而非存在性;证明(强预)凸扩展矩形关系约束网是可处理的.

关键词：定性空间推理拓扑方位尺寸扩展矩形关系约束满足问题

来源：评论

学校读者我要写书评

暂无评论

互联网远程实时控制系统短时间窗口往返时延测量、分析与建模

引用

西安交通大学学报 2016年第2期50卷 26-32页

作者：于赫秦贵和孙铭会李滨吴星辰吉林大学计算机科学与技术学院长春130022 吉林大学符号计算与知识工程教育部重点实验室长春130022

为了得到准确地描述互联网远程实时控制系统时延的分布模型,对短时间窗口往返时延(round-trip time,RTT)进行了测量、统计和分析,提出了一种短时窗RTT时延混合威布尔(Weibull)模型。该混合模型满足网络控制系统的实时性需求,具备对短期... 详细信息

为了得到准确地描述互联网远程实时控制系统时延的分布模型,对短时间窗口往返时延(round-trip time,RTT)进行了测量、统计和分析,提出了一种短时窗RTT时延混合威布尔(Weibull)模型。该混合模型满足网络控制系统的实时性需求,具备对短期非平稳的短时间窗口RTT时延样本随机聚类特性的描述能力,并利用期望最大化(expectation-maximization,EM)算法估计模型的混合分量密度及混合分量模型参数。实验结果表明:使用二重混合威布尔模型建模短时窗RTT时延样本能够很好地反映时延的随机聚类特性,K-S检验显示该模型对样本匹配效果评价可接受,该模型为互联网远程控制系统的优化控制提供了一种更准确的参考模型。

关键词： RTT时延网络控制系统混合威布尔模型期望最大化算法

来源：评论

学校读者我要写书评

暂无评论

基于模型诊断的一种新编码方法

引用

计算机研究与发展 2023年第1期60卷 95-102页

作者：周慧思欧阳丹彤田新亮张立明吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

基于模型诊断(model-based diagnosis,MBD)是人工智能诊断领域中著名的诊断求解方法之一,旨在识别诊断问题的根本原因.由于求解诊断解在计算上具有挑战性,一些MBD算法提出通过修改模型的编码来提高诊断效率,如面向统治者的编码(dominato... 详细信息

基于模型诊断(model-based diagnosis,MBD)是人工智能诊断领域中著名的诊断求解方法之一,旨在识别诊断问题的根本原因.由于求解诊断解在计算上具有挑战性,一些MBD算法提出通过修改模型的编码来提高诊断效率,如面向统治者的编码(dominator-oriented encoding,DOE)方法.面向观察的编码(observation-oriented encoding,OOE)方法使用2种方法对MBD模型进行约简.首先,利用系统观测和统治组件输出的一些过滤边来约简系统描述和观测.其次,通过查找基于观测的过滤节点来过滤更多的组件,进而有效约简组件的编码规模.此外,在ISCAS85和ITC99基准测试用例上的实验结果表明,与目前最新的MBD编码方法DOE和传统的基础编码(basic encoding,BE)相比,上述2种约简方法有效减少了MBD实例的编码子句数量比,降低MaxSAT求解器求解诊断的难度,进而能在更短的时间内返回一个诊断解.

关键词：基于模型诊断最大可满足性问题基于统治关系的编码顶层诊断极小势诊断

来源：评论

学校读者我要写书评

暂无评论

基于论域折半的最大限定路径相容算法

引用

吉林大学学报（工学版） 2015年第1期45卷 229-235页

作者：李占山贾湘华许苍竹张舒娟吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学计算机科学与技术学院长春130012

针对绝大多数不可满足问题的特点,提出了一种将弧相容算法与最大限定路径相容算法相结合的相容性算法——基于论域折半的最大限定路径相容的算法。该算法充分利用了弧相容计算开销小和最大限定相容删值能力强的优点,可以减少在求解不可... 详细信息

针对绝大多数不可满足问题的特点,提出了一种将弧相容算法与最大限定路径相容算法相结合的相容性算法——基于论域折半的最大限定路径相容的算法。该算法充分利用了弧相容计算开销小和最大限定相容删值能力强的优点,可以减少在求解不可满足问题中生成的结点数,进而提高求解效率。实验结果表明,本文算法在处理不可满足问题时的求解效率明显优于传统的维持弧相容算法。

关键词：人工智能论域折半弧相容最大限定路径相容不可满足问题

来源：评论

学校读者我要写书评

暂无评论

基于实例化次数的约束求解方法研究

引用

计算机研究与发展 2015年第5期52卷 1091-1097页

作者：李占山张乾张良吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

启发式是约束满足问题领域的重要研究课题,有效的启发式方法可以极大地提高问题的求解效率.在求解约束满足问题时,发现变量实例化失败次数与值实例化成功次数反映了变量和值与已实例化集合之间的关系,将实例化次数加以利用可以对问题求... 详细信息

启发式是约束满足问题领域的重要研究课题,有效的启发式方法可以极大地提高问题的求解效率.在求解约束满足问题时,发现变量实例化失败次数与值实例化成功次数反映了变量和值与已实例化集合之间的关系,将实例化次数加以利用可以对问题求解效率有很大的影响.据此,提出了实例化次数的权值统计方法,并将其与现有启发式方法相结合,提出了实例化次数启发式及其相应的约束求解算法MAC_Try,并证明了其在一个分支上的最坏时间复杂度是O(ned3).大量实验结果表明,新的MAC_Try方法在求解效率上明显优于国际上流行的MAC3rm方法.

关键词：人工智能约束满足问题启发式变量实例化失败次数值实例化成功次数

来源：评论

学校读者我要写书评

暂无评论

结合部件动态变化度求解最小碰集的GRASP算法

引用

吉林大学学报（工学版） 2017年第3期47卷 930-936页

作者：王艺源欧阳丹彤张立明吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

针对最小碰集求解问题,提出一种改进的GRASP算法。在算法构造解阶段,提出一种结合部件动态变化度d-covered的打分机制,用来选择可能是最小碰集的部件,避免非最小碰集部件的加入,并能较早地得到最小碰集;在算法局部搜索阶段,结合部件动... 详细信息

针对最小碰集求解问题,提出一种改进的GRASP算法。在算法构造解阶段,提出一种结合部件动态变化度d-covered的打分机制,用来选择可能是最小碰集的部件,避免非最小碰集部件的加入,并能较早地得到最小碰集;在算法局部搜索阶段,结合部件动态变化度drcovered给出锦标赛策略,进而从当前解对应的冗余部件中删除较可能是非最小碰集的部件。此外,还给出了完备算法和不完备算法的时间复杂度分析。实验结果表明:与现有完备算法相比,本文算法能够在较短的时间内找到最优解;与现有不完备算法相比,本文算法可以找到更短长度的最小碰集。

关键词：人工智能模型诊断最小碰集贪心随机自适应搜索算法部件动态变化度

来源：评论

学校读者我要写书评

暂无评论

基于描述逻辑规则的语义Web服务组合

引用

计算机研究与发展 2011年第5期48卷 831-840页

作者：刘思培刘大有齐红关菁华吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012

针对OWL-S语义Web服务自动组合问题,提出了一种基于描述逻辑(DL)规则的建模和组合方法.将ServiceProfile中的原子服务及其输入、输出参数分别建模DL中角色和概念,将概念间上下位关系和ProcessProfile中组合流程模型建模为DL规则,以一种... 详细信息

针对OWL-S语义Web服务自动组合问题,提出了一种基于描述逻辑(DL)规则的建模和组合方法.将ServiceProfile中的原子服务及其输入、输出参数分别建模DL中角色和概念,将概念间上下位关系和ProcessProfile中组合流程模型建模为DL规则,以一种统一的方式刻画语义Web服务的静态功能语义和动态交互特征;提出了刻画顺序服务组合的DL规则链和描述Split+Join结构的服务组(WSC)模型,将并发服务组合转为基于WSC的顺序组合,将语义Web服务组合归结为WSC和DL规则链发现过程.与已有的方法相比,该方法将语义Web服务组合问题统一在DL规则的框架下,弥补了基于DL无法描述Web服务动态特征的缺陷,避免了Petri网推理和谓词演算等进行Web服务组合时限于命题逻辑层面无法充分利用语义信息的问题,也克服了基于智能规划的组合方法限于顺序组合的问题.

关键词：语义Web服务服务本体服务组合描述逻辑规则服务组

来源：评论

学校读者我要写书评

暂无评论

基于多阈值Otsu准则的阈值分割快速计算

引用

电子与信息学报 2017年第1期39卷 144-149页

作者：申铉京刘翔陈海鹏吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

针对传统多阈值Otsu方法在寻找最佳阈值过程中穷举计算效率低的问题,该文分析了多阈值Otsu的阈值性质,证明了使用Otsu方法找到的一组最佳阈值与分割出的各类均值之间的数学对应关系。根据多阈值Otsu的阈值性质,该文提出一个新算法用来... 详细信息

针对传统多阈值Otsu方法在寻找最佳阈值过程中穷举计算效率低的问题,该文分析了多阈值Otsu的阈值性质,证明了使用Otsu方法找到的一组最佳阈值与分割出的各类均值之间的数学对应关系。根据多阈值Otsu的阈值性质,该文提出一个新算法用来快速计算所需最佳阈值,建立了一种新的阈值搜索模型。该算法搜寻满足Otsu多阈值与以此阈值分割出的各类均值之间关系的一组最优阈值,从而确定符合Otsu准则的最佳阈值。该算法有效减少了阈值搜索范围,并且在均值、方差等计算上引入了查找表,优化了底层运算。实验结果表明,与传统多阈值Otsu方法相比,该算法的分割速度大幅度提高,相比于其他多阈值Otsu快速算法,不仅在计算速度上有所提升,而且得到的最佳阈值克服了随机性和偶然性的缺点,是严格符合Otsu原则的。

关键词：图像分割多阈值Otsu准则阈值选取快速计算

来源：评论

学校读者我要写书评

暂无评论

基于深度学习的两阶段实时显式拓扑优化方法

引用

吉林大学学报（工学版） 2023年第10期53卷 2942-2951页

作者：孙舒杨程玮斌张浩桢邓向萍齐红吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

针对以固体各向同性材料法(SIMP)、水平集法(Level-set)等为代表的传统连续体拓扑优化算法存在的计算代价昂贵、生成结构几何隐式等缺陷,结合深度学习与可移动变形组件法(MMC),提出一种基于深度学习的两阶段实时显式拓扑优化方法。在第... 详细信息

针对以固体各向同性材料法(SIMP)、水平集法(Level-set)等为代表的传统连续体拓扑优化算法存在的计算代价昂贵、生成结构几何隐式等缺陷,结合深度学习与可移动变形组件法(MMC),提出一种基于深度学习的两阶段实时显式拓扑优化方法。在第一阶段使用深度学习模型预测取代有限元分析的多数费时迭代计算,第二阶段对深度学习模型预测所得结构进行少量迭代微调,形成最终的带有显式几何特征的优化结构。在相对一般的数据集下定量与定性地验证了本文方法的可行性与有效性,并研究了第一阶段深度学习模型的训练程度与最终生成结构质量及总体耗费时间的关系。结果表明:与传统连续体拓扑优化算法相比,本文方法能在保证拓扑优化结构生成质量的同时节约90%以上的计算时间。

关键词：计算机应用拓扑优化深度学习可移动变形组件法计算机辅助设计

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：