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

仪器仪表学报 2008年第11期29卷 2330-2334页

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

设计和实现了一种基于IPv6和IPv4双栈的嵌入式Linux车载网关,它通过CDMA无线网络来实现现场总线(CAN)、本地互联网络(LIN)、GPS定位系统与信息网络的通信。采用了嵌入式ARM—Linux操作系统和以ARM920T为核心的S3C2410嵌入式CPU。在上层... 详细信息

设计和实现了一种基于IPv6和IPv4双栈的嵌入式Linux车载网关,它通过CDMA无线网络来实现现场总线(CAN)、本地互联网络(LIN)、GPS定位系统与信息网络的通信。采用了嵌入式ARM—Linux操作系统和以ARM920T为核心的S3C2410嵌入式CPU。在上层主程序中使用了多线程技术、缓冲区的快速拷贝,并且为上层数据通信设计了公用的数据结构。实验测试表明,该车载网关系统能够稳定地在移动中传输车载网络数据,具有广阔的应用前景。

关键词：车载网关 IPv6 CAN LIN GPS

来源：评论

学校读者我要写书评

暂无评论

一种改进的双向singleton弧相容算法

引用

吉林大学学报（工学版） 2008年第3期38卷 666-670页

作者：刘春晖朱兴军孙吉贵姜珊珊吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室长春130012

在现有相容性算法研究的基础上,提出了一种在约束网络中确立双向singleton弧相容的新算法--BiSAC-2,并给出了其正确性和完备性证明.该算法与原有算法BiSAC-1具有相同的化简问题能力,但BiSAC-2能够减少弧相容维护的次数,避免冗余约束传... 详细信息

在现有相容性算法研究的基础上,提出了一种在约束网络中确立双向singleton弧相容的新算法--BiSAC-2,并给出了其正确性和完备性证明.该算法与原有算法BiSAC-1具有相同的化简问题能力,但BiSAC-2能够减少弧相容维护的次数,避免冗余约束传播过程的产生,从而可以快速地到达稳定点,进而实现高效的目的.对随机约束满足问题的测试结果表明,算法BiSAC-2比原始算法BiSAC-1具有更明显的性能优势.

关键词：人工智能约束满足问题相容性技术双向singleton弧相容

来源：评论

学校读者我要写书评

暂无评论

一种半监督K均值多关系数据聚类算法

引用

软件学报 2008年第11期19卷 2814-2821页

作者：高滢刘大有齐红刘赫吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

提出了一种半监督K均值多关系数据聚类算法.该算法在K均值聚类算法的基础上扩展了其初始类簇的选择方法和对象相似性度量方法,以用于多关系数据的半监督学习.为了获取高性能,该算法在聚类过程中充分利用了标记数据、对象属性及各种关系... 详细信息

提出了一种半监督K均值多关系数据聚类算法.该算法在K均值聚类算法的基础上扩展了其初始类簇的选择方法和对象相似性度量方法,以用于多关系数据的半监督学习.为了获取高性能,该算法在聚类过程中充分利用了标记数据、对象属性及各种关系信息.多关系数据库Movie上的实验结果验证了该算法的有效性.

关键词：数据挖掘半监督学习聚类算法多关系数据 K均值聚类

来源：评论

学校读者我要写书评

暂无评论

工作流系统中一个基于多权角色和规则的条件化RBAC安全访问控制模型

引用

通信学报 2008年第2期29卷 8-16页

作者：张健孙吉贵李妮娅胡成全杨滨吉林大学计算机科学与技术学院吉林长春130012 吉林大学符号计算与知识工程教育部重点实验室吉林长春130012

针对传统的RBAC模型不能表达复杂的工作流安全访问控制约束的缺点,提出了一个适合工作流系统的基于多权角色和规则的条件化安全访问控制模型CMWRRBSAC(conditioned multi-weighted role and rule based secure access control model)。... 详细信息

针对传统的RBAC模型不能表达复杂的工作流安全访问控制约束的缺点,提出了一个适合工作流系统的基于多权角色和规则的条件化安全访问控制模型CMWRRBSAC(conditioned multi-weighted role and rule based secure access control model)。该模型基于传统的RBAC模型,提出了基于动态角色分配的条件化RBAC方法,定义了基于多权角色的工作流系统访问授权新概念,并针对多个角色和多个用户协同激活任务的序约束问题,给出了基于令牌的序约束算法和基于加权角色综合的序约束算法,讨论了一个基于规则的职责分离约束建模方法,并给出了改进的规则一致性检验算法。

关键词：工作流访问控制职责分离规则多权角色令牌

来源：评论

学校读者我要写书评

暂无评论

一种结合时间区间代数建模的主动系统的故障诊断方法

引用

计算机科学 2008年第12期35卷 137-141,177页

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

研究了在全局时钟、线性观测、串行事件触发的主动系统的故障诊断,在原有主动系统的自动机建模的基础上,引入时间区间代数表达更为详细的时间约束信息,构成带有时间的自动机对系统组件建模;同样在所得观测中也加入相应的更为详细的时间... 详细信息

研究了在全局时钟、线性观测、串行事件触发的主动系统的故障诊断,在原有主动系统的自动机建模的基础上,引入时间区间代数表达更为详细的时间约束信息,构成带有时间的自动机对系统组件建模;同样在所得观测中也加入相应的更为详细的时间信息。由于加上了时间的约束,可使得诊断的解释空间进一步缩小,从而在一定情况下可提高诊断效率。最后讨论了非线性不确定观测或并发等一般情形下的处理方法。

关键词：基于模型的诊断主动系统离散事件系统时间区间代数自动机

来源：评论

学校读者我要写书评

暂无评论

Analog-Cell电子细胞模型中基于并发约束的随机模型构架

引用

计算机科学 2008年第12期35卷 183-186页

作者：卢欣华孙吉贵行荣韩霄松吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室长春130012

提出了一种在电子细胞模型中基于并发约束的随机模型架构方法,应用该架构建立了模拟基因表达过程的电子细胞模型Analog-Cell。模拟结果表明Analog-Cell这种基于并发约束的随机模型构架能更准确地反映出生物系统的真实性,相比其他电子细... 详细信息

提出了一种在电子细胞模型中基于并发约束的随机模型架构方法,应用该架构建立了模拟基因表达过程的电子细胞模型Analog-Cell。模拟结果表明Analog-Cell这种基于并发约束的随机模型构架能更准确地反映出生物系统的真实性,相比其他电子细胞模型含有更丰富的图像信息,能更清晰地观察细胞内基因表达的全过程,具有良好的应用前景。

关键词：电子细胞并发约束随机模型生物信息学

来源：评论

学校读者我要写书评

暂无评论

人工生命：计算机与生物学交叉的前沿学科

引用

计算机科学 2008年第5期35卷 9-13页

作者：卢欣华孙吉贵韩霄松行荣吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室长春130012

人工生命是具有生命特征的人工系统,是探索生命复杂性的一门新兴交叉性前沿学科。它试图在计算机或其他人工媒介上,以综合的方法研究具有生命本质特征的复杂系统的动态发展过程。本文详细介绍了人工生命的概念、产生过程、发展历史、基... 详细信息

人工生命是具有生命特征的人工系统,是探索生命复杂性的一门新兴交叉性前沿学科。它试图在计算机或其他人工媒介上,以综合的方法研究具有生命本质特征的复杂系统的动态发展过程。本文详细介绍了人工生命的概念、产生过程、发展历史、基本思想以及目前主要的研究方向,指出人工生命为人们揭示自然生命的最本质特征和演化的最基本规律提供了新思路和新方法。

关键词：人工生命细胞自动机生命科学突现

来源：评论

学校读者我要写书评

暂无评论

RCC5与主方位关系结合的定性空间推理

引用

计算机研究与发展 2008年第z1期45卷 279-285页

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

解决实际问题需要将多方面空间信息结合进行推理,仅考虑单方面空间信息是不够的.多方面空间信息结合推理已成为定性空间推理的一个研究热点.现有拓扑与方位结合推理工作主要集中在与基于最小外包矩形或单片方位模型的结合.方位信息描述... 详细信息

解决实际问题需要将多方面空间信息结合进行推理,仅考虑单方面空间信息是不够的.多方面空间信息结合推理已成为定性空间推理的一个研究热点.现有拓扑与方位结合推理工作主要集中在与基于最小外包矩形或单片方位模型的结合.方位信息描述是近似的,不适于精确推理;因此分别采用主方位模型和RCC5描述方位、拓扑信息.根据定义给出基本RCC5和主方位关系间的相互依赖及异质复合表;讨论了其上约束满足问题,得到一个路径相容算法,并分析了推理复性问题.

关键词：定性空间推理 RCC 主方位关系异质复合路径相容约束满足问题

来源：评论

学校读者我要写书评

暂无评论

噪声环境下函数优化问题的混合优化算法

引用

吉林大学学报（理学版） 2008年第5期46卷 891-896页

作者：岳娜欧阳丹彤张长胜刘玉玺吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

针对噪声环境下的函数优化问题提出一种混合粒子群优化算法UPSOOHT, 并考察了最优计算量分配(OCBA)和噪声幅度对算法性能的影响. 该算法将粒子群优化算法与假设检验及OCBA有效地结合, 具有很好的全局搜索能力和局部精化能力. 与其他优... 详细信息

针对噪声环境下的函数优化问题提出一种混合粒子群优化算法UPSOOHT, 并考察了最优计算量分配(OCBA)和噪声幅度对算法性能的影响. 该算法将粒子群优化算法与假设检验及OCBA有效地结合, 具有很好的全局搜索能力和局部精化能力. 与其他优化算法比较的测试结果表明, UPSOOHT算法的性能和抗噪声能力都具有明显的优势.

关键词：粒子群优化算法噪声环境函数优化混合优化算法

来源：评论

学校读者我要写书评

暂无评论

一种基于启发式轮廓表的逻辑强化学习方法

引用

计算机研究与发展 2008年第11期45卷 1824-1830页

作者：刘全高阳陈道蓄孙吉贵姚望舒南京大学软件新技术国家重点实验室南京210093 苏州大学计算机科学与技术学院江苏苏州215006 吉林大学符号计算与知识工程教育部重点实验室长春130012

强化学习通过试错与环境交互获得策略的改进,其自学习和在线学习的特点使其成为机器学习研究的一个重要分支.针对强化学习一直被"维数灾"问题所困扰的问题,提出在关系强化学习的基础上,引入启发式轮廓表的方法,采用含轮廓表... 详细信息

强化学习通过试错与环境交互获得策略的改进,其自学习和在线学习的特点使其成为机器学习研究的一个重要分支.针对强化学习一直被"维数灾"问题所困扰的问题,提出在关系强化学习的基础上,引入启发式轮廓表的方法,采用含轮廓表的一阶谓词表示状态、活动和Q-函数,充分发挥Prolog表的优势,将逻辑谓词规则与强化学习相结合,形成一种新的逻辑强化学习方法——CCLORRL,并对其收敛性进行了证明.该方法使用轮廓形状谓词产生形状状态表,大幅度地减少状态空间;利用启发式规则指导动作的选择,减少了样本中不存在状态选择的盲目性.CCLORRL算法应用于俄罗斯方块中,实验表明,该方法是比较高效的.

关键词：维数灾启发式轮廓表谓词逻辑强化学习 CCLORRL算法

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：