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

吉林大学学报（工学版） 2013年第S1期43卷 165-168页

作者：郭晓新杨光许志闻吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

给出了以样条泛函作为光滑约束的数学模型,并且给出了光流计算最小化问题解的必要条件。该模型包含了二阶和四阶偏微分方程以约束这两个特例。该模型从方法学角度为光流计算的形式化表示和数值计算提供了依据。采用该数学模型的意义还... 详细信息

给出了以样条泛函作为光滑约束的数学模型,并且给出了光流计算最小化问题解的必要条件。该模型包含了二阶和四阶偏微分方程以约束这两个特例。该模型从方法学角度为光流计算的形式化表示和数值计算提供了依据。采用该数学模型的意义还在于它能将光流计算的方程组简化为线性代数方程组。这种转换便于光流方程的离散化表示,同时也从代数方程的角度验证了光滑约束的使用能确保解的存在性和唯一性。

关键词：光流样条泛函偏微分方程光滑约束

来源：评论

学校读者我要写书评

暂无评论

基于分割的超树分解方法

引用

吉林大学学报（理学版） 2013年第2期51卷 257-266页

作者：王涛王瑞芹李占山陈超长春工业大学计算机科学与工程学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学计算机科学与技术学院长春130012

基于det-k-decomp算法,通过引入同构的概念和对separator选择空间的进一步限制,提出一类新的超树分解:分割的超树分解,并提出一种具有较小超树宽度的超树分解方法:基于分割的超树分解———sht-k-decomp,该算法能有效提高约束满足问题... 详细信息

基于det-k-decomp算法,通过引入同构的概念和对separator选择空间的进一步限制,提出一类新的超树分解:分割的超树分解,并提出一种具有较小超树宽度的超树分解方法:基于分割的超树分解———sht-k-decomp,该算法能有效提高约束满足问题的求解效率.实验结果表明,sht-k-decomp算法多数情况下效率高于det-k-decomp算法.

关键词：人工智能超树分解约束满足问题

来源：评论

学校读者我要写书评

暂无评论

智能世界的建模与诊断

引用

计算机研究与发展 2013年第9期50卷 1954-1962页

作者：王楠欧阳丹彤孙善武吉林财经大学管理科学与信息工程学院长春130117 物流产业经济与智能物流吉林省重点实验室(吉林财经大学) 长春130117 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012 吉林大学通信与工程学院长春130012

统一的抽象建模框架以及形式化表示可以帮助实现自动推理.随着物联网技术的发展,物理世界中嵌入了各种智能对象,改变了物理世界的部分特征,增加了建模和推理的复杂性.根据物联网带来的智能世界的特征,在知识重构与抽象模型(KRA模型)的... 详细信息

统一的抽象建模框架以及形式化表示可以帮助实现自动推理.随着物联网技术的发展,物理世界中嵌入了各种智能对象,改变了物理世界的部分特征,增加了建模和推理的复杂性.根据物联网带来的智能世界的特征,在知识重构与抽象模型(KRA模型)的统一建模框架基础上,提出了可区分的知识重构与抽象模型(dKRA模型).该模型通过3个相互关联的子模型及其之间的关系来表示智能世界,并给出相关定义和定理说明在所提出的模型框架内,可以将基于模型的诊断过程限制在一个(或多个)子模型中.研究内容侧重于系统设计阶段的模型验证,分别从理论和实验角度分析了基于智能世界dKRA模型的诊断过程时间效率的提高(与基于智能世界KRA模型的诊断过程相比).

关键词：可区分的KRA模型基于模型的诊断智能世界抽象自动推理

来源：评论

学校读者我要写书评

暂无评论

基于结点的度性质的几何约束求解的研究

引用

山西大学学报(自然科学版) 2013年第3期36卷 325-330页

作者：曹春红王鹏东北大学信息科学与工程学院东北大学医学影像计算教育部重点实验室吉林大学符号计算与知识工程教育部重点实验室

针对参数化设计中的几何约束求解问题,提出一个新的分解算法.通过在约束图中引入结点的度的概念,根据在完备约束图中度为2的结点所特有的性质借鉴Joan-Arinyo经典算法,提出新的几何约束分解算法.为使新算法解决与Joan-Arinyo的算法所能... 详细信息

针对参数化设计中的几何约束求解问题,提出一个新的分解算法.通过在约束图中引入结点的度的概念,根据在完备约束图中度为2的结点所特有的性质借鉴Joan-Arinyo经典算法,提出新的几何约束分解算法.为使新算法解决与Joan-Arinyo的算法所能解决的同类问题,基于Joan-Arinyo的算法与新算法的共同点进而提出新的合并算法.合并后的算法与Joan-Arinyo的算法在使用范围上相同,但在概念上更简单且更容易实现.

关键词：几何约束求解分解分析结点的度

来源：评论

学校读者我要写书评

暂无评论

凹形区域和带单洞区域间拓扑关系的表示

引用

模式识别与人工智能 2013年第3期26卷 225-230页

作者：李健欧阳继红富倩陈岗吉林大学计算机科学与技术学院长春130012 吉林农业大学信息技术学院长春130118 吉林大学教育部符号计算与知识工程重点实验室长春130012

现有空间拓扑关系模型多针对同种类的空间对象进行处理,在实际应用中具有一定的局限性.本文在4-交集模型的基础上,通过扩展4-交集矩阵,对凹形区域和带单洞区域间的拓扑关系进行了表示,得到凹形区域和带单洞区域间161种拓扑关系,并给出... 详细信息

现有空间拓扑关系模型多针对同种类的空间对象进行处理,在实际应用中具有一定的局限性.本文在4-交集模型的基础上,通过扩展4-交集矩阵,对凹形区域和带单洞区域间的拓扑关系进行了表示,得到凹形区域和带单洞区域间161种拓扑关系,并给出前10种拓扑关系的示意图.提出算法,并通过程序验证161种拓扑关系均可实现.证明所获得的161种基本关系的完备性和互斥性,通过与相关工作的比较可知该表示模型比其它相关模型表达力更强.

关键词：拓扑关系凹形区域区域连接演算(RCC5) 人工智能带单洞区域 4×4交集矩阵

来源：评论

学校读者我要写书评

暂无评论

基于分辨粒度的gROC曲线分析方法

引用

软件学报 2013年第1期24卷 109-120页

作者：董元方李雄飞李军赵海英符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012 长春理工大学经济管理学院吉林长春130022 长春理工大学应用数学系吉林长春130022 北京邮电大学世纪学院北京100083

ROC曲线是模型选择的一种重要方法,但ROC曲线的不确定性影响了模型选择的准确性.基于分辨粒度,从反映得分的不确定性的角度提出gROC和gAUC的概念,从理论上讨论了gROC的若干性质.在给出其算法之后,利用双正态模型检验了gROC的合理性.在... 详细信息

ROC曲线是模型选择的一种重要方法,但ROC曲线的不确定性影响了模型选择的准确性.基于分辨粒度,从反映得分的不确定性的角度提出gROC和gAUC的概念,从理论上讨论了gROC的若干性质.在给出其算法之后,利用双正态模型检验了gROC的合理性.在此基础上,提出了两个模型选择度量——AUC和AUC,并在UCI数据集上验证了该模型选择度量的高效性.实验结果表明,gROC能够有效反映ROC曲线的不确定性,基于AUC和AUC的模型选择方法优于基于AUC或sAUC的模型选择方法,在某些情况下,gROC具有更强的对分类器性能的比较能力.

关键词：机器学习模型选择分类 ROC曲线粒度

来源：评论

学校读者我要写书评

暂无评论

人参食品追溯链地理信息可视化方法研究

引用

湖北农业科学 2013年第23期52卷 5877-5879,5901页

作者：温长吉于合龙闫宏斌刘洋吉林农业大学信息技术学院长春130118 吉林大学计算机科学与技术学院/符号计算与知识工程教育部重点实验室长春130012

针对人参食品可追溯链在物流运输环节中动态地理定位信息可视化问题,在深入研究Android地理定位和Google Maps API技术的基础上,利用智能手机可移动通讯特点,以HTC Sensation手机为测试平台,提出了将人参食品追溯链地理位置及路径信息... 详细信息

针对人参食品可追溯链在物流运输环节中动态地理定位信息可视化问题,在深入研究Android地理定位和Google Maps API技术的基础上,利用智能手机可移动通讯特点,以HTC Sensation手机为测试平台,提出了将人参食品追溯链地理位置及路径信息进行可视化显示的方法。软件测试结果表明,该方法通过用户手机提取包装条码信息的同时,可以动态显示食品的地理位置和历史路径可视化信息,有效辅助可追溯链的信息查询和管理。

关键词：人参食品可追溯地理定位 Android系统 Google Maps技术

来源：评论

学校读者我要写书评

暂无评论

Identification for Cancer Biomarker through Computational Technology

Identification for Cancer Biomarker through Computational Te...

引用

第六届全国生物信息学与系统生物学学术大会暨国际生物信息学前沿研讨会

作者：杜伟王佳新曹忠波梁艳春符号计算与知识工程教育部重点实验室计算机科学与技术学院吉林大学长春130012 南瑞集团公司(国家电网电力科学研究院) 南京211000

Background: Cancer biomarker plays an important role in detecting cancer as well as the mechanism of cancer occurrence and *** the development of transcriptomics research, especially the widely used high-throughput microarray chip and RNA sequencing technology, researchers have obtained a large number of tumor related data and information on he transcriptional *** such a mass of data and information, how to identify clinical biomarkers systematically and efficiently has become one of advanced research projects of cancer biomarker research.

关键词： Cancer Biomarkers Transcriptomics data Body fluids

来源：评论

学校读者我要写书评

暂无评论

基于G-KRA模型框架的智能世界建模

引用

计算机科学 2013年第9期40卷 190-193页

作者：王楠欧阳丹彤孙善武吉林财经大学管理科学与信息工程学院长春130117 吉林财经大学物流产业经济与智能物流省重点实验室长春130117 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学通信与工程学院长春130012

统一的建模框架和形式化表示可以帮助实现自动推理。对由物联网技术发展带来的智能世界进行定义,对表示静态物理世界一般抽象模型的广义知识重构与抽象模型(G-KRA模型)进行扩展,使其能够刻画所定义的智能世界。定义迭代的初步感知过程,... 详细信息

统一的建模框架和形式化表示可以帮助实现自动推理。对由物联网技术发展带来的智能世界进行定义,对表示静态物理世界一般抽象模型的广义知识重构与抽象模型(G-KRA模型)进行扩展,使其能够刻画所定义的智能世界。定义迭代的初步感知过程,在一定的前提假设下根据智能世界构成实体的特征,得到智能世界构成实体的可区分的初步感知。在抽象感知过程中,建立3个子世界的可区分实体与连接库,并生成3个子世界的网络化连接。同时,通过统一构建抽象对象库或者为3个子世界分别构建抽象对象库来实现智能世界的抽象感知过程。扩展后的GKRA模型充分考虑了不同类型实体的行为和连接特征,每个子世界由具有相同行为类型的实体和相同类型的连接构成,可以将推理问题定位在某个(些)子世界的模型中,从而缩小推理空间。

关键词：智能世界 G-KRA模型初步感知抽象感知

来源：评论

学校读者我要写书评

暂无评论

组合同伦内点算法求解一类非凸无界优化问题

引用

吉林大学学报（理学版） 2013年第6期51卷 1073-1076页

作者：蔡志丹赵立芹苏孟龙长春理工大学理学院长春130022 吉林大学学报编辑部长春130012 洛阳师范学院数学学院河南洛阳471022 吉林大学符号计算与知识工程教育部重点实验室长春130012

用组合同伦内点算法求解一类非凸无界优化问题,在适当的条件下得到了同伦路径的存在性.结果表明,沿着此同伦路径跟踪,即可得到非凸优化问题的K-K-T点.

关键词：非凸无界优化问题同伦路径全局收敛算法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：