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

计算机工程与设计 2011年第11期32卷 3629-3632页

作者：王皓魏达曲良东孙彤陈冬吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012 长春市交通运输管理处吉林长春130012

为了解决互联网中的远程主机和车载系统网络互连的问题,设计并实现了一种IPv6-CAN双协议转换的车载网关。通过在车载网关中对CAN节点设备的虚拟化,并为每个虚拟化的CAN节点分配IPv6地址,使得远程主机可对CAN节点进行操控。并且由于IPv6... 详细信息

为了解决互联网中的远程主机和车载系统网络互连的问题,设计并实现了一种IPv6-CAN双协议转换的车载网关。通过在车载网关中对CAN节点设备的虚拟化,并为每个虚拟化的CAN节点分配IPv6地址,使得远程主机可对CAN节点进行操控。并且由于IPv6的使用,统一了远程主机对CAN节点的访问方式。通过对CAN总线访问方式的改变,将传统的以文件读写方式访问的CAN设备驱动改写成为网络设备驱动程序,极大地提升了此类网关的性能。最后的实例结果表明了该方法的可行性。

关键词：车载网关虚拟设备 CAN总线 IPv6 以太网

来源：评论

学校读者我要写书评

暂无评论

约束分解技术回顾与展望

引用

计算机科学与探索 2011年第10期38卷 29-33页

作者：李占山韩文成郭霆吉林大学符号计算与知识工程教育部重点实验室长春 130012吉林大学计算机科学与技术学院长春 130012

约束满足问题是一个强有力的知识表示框架,可以有效地解决许多问题.由于约束满足问题一般情况下是NP难度的问题,因此通过约束分解来降低计算的开销具有十分重要的意义.主要描述约束分解在约束满足问题中的地位、经典的分解技术和约束分... 详细信息

约束满足问题是一个强有力的知识表示框架,可以有效地解决许多问题.由于约束满足问题一般情况下是NP难度的问题,因此通过约束分解来降低计算的开销具有十分重要的意义.主要描述约束分解在约束满足问题中的地位、经典的分解技术和约束分解技术的发展历史,然后简要地分析这些分解技术.介绍了关于约束分解研究的最新状况,并描述、分析和总结其主要求解思想.最后根据存在的问题与不足提出了下一步的工作方向和研究思路.

关键词：约束满足问题约束分解技术知识表示框架

来源：评论

学校读者我要写书评

暂无评论

基于GASA和移动代理的网络存储调度方法的研究

基于GASA和移动代理的网络存储调度方法的研究

引用

2010年第16届全国信息存储技术大会（IST2010）

作者：马鑫梁艳春吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室(吉林大学)

随着信息管理能力的提升以及人们对信息的访问量快速增加,企业对存储和管理信息的能力有了新的要求.网络存储的出现和发展适应了这一要求,网络存储因此有了长足的发展.基于静态的智能算法与动态的代理思想,提出一种基于GASA和移动代理... 详细信息

随着信息管理能力的提升以及人们对信息的访问量快速增加,企业对存储和管理信息的能力有了新的要求.网络存储的出现和发展适应了这一要求,网络存储因此有了长足的发展.基于静态的智能算法与动态的代理思想,提出一种基于GASA和移动代理的网络存储调度方法,用于实现异构系统间的数据存储备份以及存储过程中移动代理派遣次序的优化调度.该方法综合考虑了各移动代理的产生时序、优先级和存储可用性等指标,在确保各移动代理有效执行的前提下,使代理派遣次序更合理.仿真实验表明,基于GASA的移动代理存储调度可以有效提高存储效率,改善网络实时性和存储性能.

关键词：网络存储遗传-模拟退火算法移动代理存储调度

来源：评论

学校读者我要写书评

暂无评论

智能规划的通用问题描述进展

引用

计算机与现代化 2011年第7期 1-4页

作者：刘吉迟学航吕帅吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012 吉林大学数学学院吉林长春130012

规划领域定义语言是第一届国际规划竞赛提出的问题定义语言,随着两年一次的国际规划竞赛的举办,其语言的描述方式和能力也在不断扩展。本文将现有规划问题的通用描述予以综述,通过形式化地描述智能规划在不同发展阶段的通用描述方法,对... 详细信息

规划领域定义语言是第一届国际规划竞赛提出的问题定义语言,随着两年一次的国际规划竞赛的举办,其语言的描述方式和能力也在不断扩展。本文将现有规划问题的通用描述予以综述,通过形式化地描述智能规划在不同发展阶段的通用描述方法,对其语法和语义以实例进行剖析,为后续的研究者提供精准的规划描述,并提出了未来的发展趋势。

关键词：智能规划描述语言定义语言 IPC

来源：评论

学校读者我要写书评

暂无评论

基于虚拟设备的车载异构网络互联模型

引用

仪器仪表学报 2010年第8期31卷 1904-1909页

作者：曲良东刘衍珩余雪岗高振博吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室长春130012

针对车载网关中异构网络及多种类设备间与互联网的通信问题,设计并实现了一种新的基于Linux虚拟设备的车载异构网络互联模型。该模型利用Linux中的模块动态加载特性及虚拟网络设备来实现多种类设备间的统一化和互联通信。逻辑上,在TCP/I... 详细信息

针对车载网关中异构网络及多种类设备间与互联网的通信问题,设计并实现了一种新的基于Linux虚拟设备的车载异构网络互联模型。该模型利用Linux中的模块动态加载特性及虚拟网络设备来实现多种类设备间的统一化和互联通信。逻辑上,在TCP/IP协议栈和实设备驱动层之间设计了一个虚拟网络设备层,所有的数据在系统内核与实设备通信的时候均通过虚拟网络设备层,而虚拟网络设备则提供统一的socket层接口,使得上层应用服务的设计和实现更为简单。实验测试表明,该模型可以完成异构网络间的通信,尤其是与Internet的通信。

关键词：车载网关虚拟设备 Linux系统异构网络

来源：评论

学校读者我要写书评

暂无评论

基于标签树的粗糙集模型LTRS

引用

通信学报 2010年第6期31卷 35-43页

作者：李雄飞孙涛郭建芳吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室吉林长春130012

为了刻画和处理半结构化数据的含糊、不确定性问题,针对这类半结构化数据模型中所蕴含的组成结构和内容信息,扩展了传统的粗糙集模型,提出了一种基于标签树的粗糙集模型LTRS(labelled tree rough set model)。利用标签树的结构和内容,... 详细信息

为了刻画和处理半结构化数据的含糊、不确定性问题,针对这类半结构化数据模型中所蕴含的组成结构和内容信息,扩展了传统的粗糙集模型,提出了一种基于标签树的粗糙集模型LTRS(labelled tree rough set model)。利用标签树的结构和内容,重新定义了等价关系、不可区分关系、上、下近似集合等粗糙集基本概念。进一步描述了区分矩阵和决策规则,并且以某地区的流行性乙型脑炎个案XML调查表组成的标签树信息系统为例,依据定义给出了决策规则的抽取,所产生的规则可用于指导乙型脑炎的临床分型。

关键词：粗糙集标签树 XML 决策规则

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种约简动作变元的命题规划编码方式

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于网络拥塞的Internet级联故障建模

引用

计算机研究与发展 2010年第5期47卷 772-779页

作者：王健刘衍珩梅芳张程吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室（吉林大学）长春130012

Internet是一个典型的具有自组织临界特性的复杂网络,分析了Internet级联动力学特点,指出了两点可能引发级联故障的原因;不同于以往的介数模型,提出了节点拥塞函数,相当于给每个节点赋一个动态的权值,以表征该节点的拥塞程度;加入了延... 详细信息

Internet是一个典型的具有自组织临界特性的复杂网络,分析了Internet级联动力学特点,指出了两点可能引发级联故障的原因;不同于以往的介数模型,提出了节点拥塞函数,相当于给每个节点赋一个动态的权值,以表征该节点的拥塞程度;加入了延迟时间,在永久删除策略和不删除策略之间建立关联.另外,建立了新的网络效率评估函数并以此衡量级联故障的严重性.仿真实验研究了不同的拓扑结构、规模、延迟时间、节点处理能力和包产生速率对拥塞传播的影响,揭示出级联故障传播分为3个阶段以及影响传播的主要因素.

关键词：复杂网络级联故障拥塞作用传播模型延迟时间

来源：评论

学校读者我要写书评

暂无评论

基于半扩展规则的定理证明方法

引用

计算机研究与发展 2010年第9期47卷 1522-1529页

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

自动定理证明一直是人工智能领域中最重要的问题之一,基于归结的方法是通过推出空子句的方法来判定子句集的可满足性.基于扩展规则的定理证明方法在一定意义上是和归结原理对偶的方法,是通过子句集能否推导出所有极大项组成的子句集来... 详细信息

自动定理证明一直是人工智能领域中最重要的问题之一,基于归结的方法是通过推出空子句的方法来判定子句集的可满足性.基于扩展规则的定理证明方法在一定意义上是和归结原理对偶的方法,是通过子句集能否推导出所有极大项组成的子句集来判定可满足性.通过对扩展规则的研究给出了半扩展规则的概念,并提出了基于半扩展规则的定理证明算法SER.然后分析及证明了该算法的正确性、完备性和复杂性.实验结果表明,算法SER的执行效率较基于归结的有向归结算法DR和基于扩展规则算法IER,NER有明显的提高.

关键词：定理证明命题逻辑半扩展规则可满足性问题归结

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：