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

第一届Agent理论与应用学术会议

作者：姜丽刘大有杨博贾海洋金弟白岩吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

针对饲料配方问题的特殊性和复杂性,结合多Agent系统的特点,提出了基于多Agent系统的饲料配方优化算法,算法采用多Agent协商的方式对原料变量的取值进行多阶段调整.对于有最优解的问题,算法能够逼近最优解;对于没有最优解的问题,算法能... 详细信息

针对饲料配方问题的特殊性和复杂性,结合多Agent系统的特点,提出了基于多Agent系统的饲料配方优化算法,算法采用多Agent协商的方式对原料变量的取值进行多阶段调整.对于有最优解的问题,算法能够逼近最优解;对于没有最优解的问题,算法能够发现并忽略不可满足或相互冲突的约束,一方面避免了人为设定的不足,另一方面所得到的解优于传统目标规划方法得到的解。

关键词：多Agent系统饲料配方优化算法多Agent协商原料变量取值最优解

来源：评论

学校读者我要写书评

暂无评论

一种基于移动代理的自主拍卖模型

一种基于移动代理的自主拍卖模型

引用

第一届Agent理论与应用学术会议

作者：黄晶刘大有杨博李丽娜杨焕吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012 吉林大学计算机科学与技术学院长春130012

Agent的自治性和移动性为网络环境下的电子商务活动提供了许多潜在优点.拍卖是一种典型的商务活动,基于Agent的自主拍卖是传统拍卖方式的一个发展趋势,具有广泛应用前景.重点研究了建立自主拍卖系统所涉及的主要问题,包括拍卖大厅建模... 详细信息

Agent的自治性和移动性为网络环境下的电子商务活动提供了许多潜在优点.拍卖是一种典型的商务活动,基于Agent的自主拍卖是传统拍卖方式的一个发展趋势,具有广泛应用前景.重点研究了建立自主拍卖系统所涉及的主要问题,包括拍卖大厅建模、拍卖大厅查询、交易对象定位、拍卖过程同步和出价策略等.基于移动Agent和博奕理论,提出了一种自主拍卖模型.该模型支持一次价格密封标价拍卖和双边拍卖两种拍卖机制.模型中的Agent接受拍卖任务后能够自动搜寻拍卖大厅、自主参与拍卖过程并向其所有者返回拍卖结果。

关键词：电子商务移动代理移动Agent 一次价格密封标价拍卖双边拍卖自主拍卖模型

来源：评论

学校读者我要写书评

暂无评论

一种用描述逻辑刻画多代理系统规约的方法

一种用描述逻辑刻画多代理系统规约的方法

引用

第一届Agent理论与应用学术会议

作者：车海燕孙吉贵于海波吉林大学计算机科学与技术学院长春130012 吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

支持模块化的语言机制和严格性能够很好地推动代理技术向更广泛的、更大规模的应用发展.朱宏等人提出的基于模型的多代理系统开发方法提出了符合面向Agent软件工程思想的语言机制,如Caste和Scenario.以该方法为基础提出了基于描述逻辑... 详细信息

支持模块化的语言机制和严格性能够很好地推动代理技术向更广泛的、更大规模的应用发展.朱宏等人提出的基于模型的多代理系统开发方法提出了符合面向Agent软件工程思想的语言机制,如Caste和Scenario.以该方法为基础提出了基于描述逻辑的对多代理系统的规约进行形式化刻画和分析证明系统属性的方法.利用描述逻辑的强大的表达力刻画多代理系统的规约,利用其自身的推理机制对系统属性进行推理、证明和验证,可以增强基于代理系统的严格性。

关键词：多代理系统描述逻辑刻画知识表示推动代理

来源：评论

学校读者我要写书评

暂无评论

基于GIS的粮食管理预警决策支持系统

引用

吉林大学学报（信息科学版） 2006年第4期24卷 396-401页

作者：于海鸿孙吉贵李泽海孙国吉林大学计算机科学与技术学院符号计算与知识工程教育部重点实验室长春130012 长春金鹰智谷科技集团公司长春130030

为了解决粮食管理中由于未及时预警而导致各种事故的难题,在粮食信息化管理基础上,结合G IS(Geograph ic Inform ation System)技术构建了粮食管理预警决策支持系统,利用监控预警模型、预测预警模型和知识发现预警模型对粮食信息进行监... 详细信息

为了解决粮食管理中由于未及时预警而导致各种事故的难题,在粮食信息化管理基础上,结合G IS(Geograph ic Inform ation System)技术构建了粮食管理预警决策支持系统,利用监控预警模型、预测预警模型和知识发现预警模型对粮食信息进行监控与分析,发现威胁粮食安全的因素并及时进行预警。系统的有效预警率达到85%以上。系统已试运行,并取得满意的效果。

关键词：预警地理信息系统预警模型决策支持系统

来源：评论

学校读者我要写书评

暂无评论

基于FP-Growth算法的DDoS检测

基于FP-Growth算法的DDoS检测

引用

第二届中国可信计算与信息安全学术会议

作者：彭涛赫枫龄左万利张长利吉林大学计算机科学与技术学院长春130012 教育部符号计算与知识工程重点实验室长春130012

通过分析分布式拒绝服务(DDoS)攻击的特征,提出了基于数据挖掘技术的网络入侵检测方法来检测DDoS攻击,针对数据挖掘中FP-growth算法不产生候选集的优势,对进行处理及分组后的网络数据进行频繁特征提取,根据DDoS攻击会使网络的流量数据... 详细信息

通过分析分布式拒绝服务(DDoS)攻击的特征,提出了基于数据挖掘技术的网络入侵检测方法来检测DDoS攻击,针对数据挖掘中FP-growth算法不产生候选集的优势,对进行处理及分组后的网络数据进行频繁特征提取,根据DDoS攻击会使网络的流量数据发生变化的特点,来检测是否发生攻击事件.实验结果表明,当发生DDoS攻击后网络数据确实发生了巨大的变化,通过对网络数据的特征提取,完全可以检测出DDoS攻击的发生.

关键词： DDoS 数据挖掘 FP-growth

来源：评论

学校读者我要写书评

暂无评论

移动Agent计算理论和形式化方法研究

移动Agent计算理论和形式化方法研究

引用

第一届Agent理论与应用学术会议

作者：杨博黄晶刘大有吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程国家教育部重点实验室长春130012

研究了移动Agent计算的基础理论和形式化方法,包括π-演算、多态π演算、高阶π演算和环境演算等4种进程代数理论,分析了它们如何对Agent、位置、移动、通信、安全、命名、资源控制和动态配置等移动Agent计算的基本概念进行刻画,并比较... 详细信息

研究了移动Agent计算的基础理论和形式化方法,包括π-演算、多态π演算、高阶π演算和环境演算等4种进程代数理论,分析了它们如何对Agent、位置、移动、通信、安全、命名、资源控制和动态配置等移动Agent计算的基本概念进行刻画,并比较了它们刻画移动Agent计算的优缺点,在此基础上提出了移动概念的分类与抽象。

关键词：移动Agent 计算π演算环境演算进程代数动态配置形式化方法

来源：评论

学校读者我要写书评

暂无评论

一种基于褶集的模糊区域可视化模型

一种基于褶集的模糊区域可视化模型

引用

第六届全国虚拟现实与可视化学术会议(CCVRV'06)

作者：吴德胜虞强源长春工业大学信息传播工程学院长春130012 吉林大学计算机科学与技术学院长春130012 吉林大学计算机科学与技术学院长春130012 吉林大学符号计算与知识工程教育部重点实验室长春130012

空间数据的模糊性建模是地理信息系统(GIS)和空间数据库领域的一个重要研究问题.在很多地理实际应用中,模糊空间区域没有分明的边界,如何建模并有效表达空间模糊区域具有重要的研究价值.提出了一种基于褶集的模糊区域模型,详细分析了模... 详细信息

空间数据的模糊性建模是地理信息系统(GIS)和空间数据库领域的一个重要研究问题.在很多地理实际应用中,模糊空间区域没有分明的边界,如何建模并有效表达空间模糊区域具有重要的研究价值.提出了一种基于褶集的模糊区域模型,详细分析了模糊区域的性质,给出了点对于模糊区域的相对隶属程度的计算方法,并且在模糊区域绝对隶属度计算的基础上给出了一种模糊区域的可视化模型.实例结果表明该模型具有实用性和有效性,在地理信息系统和空间分析等领域具有其实际应用价值。

关键词：模糊区域褶集可视化地理信息系统空间数据模糊性建模

来源：评论

学校读者我要写书评

暂无评论

从SNP到标签SNP的算法实现与讨论

引用

内蒙古民族大学学报（自然科学版） 2006年第6期21卷 623-626页

作者：裴志利梁艳春卢奕南曹忠波孔英吉林大学计算机科学与技术学院教育部符号计算与知识工程重点实验室大连医科大学生物化学与分子生物学系辽宁大连116027

由于对全部的SNP位点都进行基因分型的成本过于昂贵,而少量的标签SNP就能够提供与全部1500万个SNP位点大致相同的图谱信息.因此,如何选择标签SNP就显得十分重要.本文中所实现的选择标签SNP的算法是以连锁不平衡(Linkage Disequilibrium,... 详细信息

由于对全部的SNP位点都进行基因分型的成本过于昂贵,而少量的标签SNP就能够提供与全部1500万个SNP位点大致相同的图谱信息.因此,如何选择标签SNP就显得十分重要.本文中所实现的选择标签SNP的算法是以连锁不平衡(Linkage Disequilibrium,LD)为基础的.

关键词： SNP 单体型标签SNP LD r^2

来源：评论

学校读者我要写书评

暂无评论

基于Web的轻量级工作流管理系统

引用

计算机集成制造系统 2005年第2期11卷 206-211页

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

工作流管理针对控制、监控、优化和支持业务过程提出了一种新的解决方案。遵循工作流管理联盟参考模型,研发了一个基于Web的轻量级工作流管理系统,阐述了其基于J2EE架构的体系结构的设计,用形式化方法详细描述了其工作流理论模型。提出... 详细信息

工作流管理针对控制、监控、优化和支持业务过程提出了一种新的解决方案。遵循工作流管理联盟参考模型,研发了一个基于Web的轻量级工作流管理系统,阐述了其基于J2EE架构的体系结构的设计,用形式化方法详细描述了其工作流理论模型。提出了一个时间约束有向图模型,并根据提出的动态角色分配方法,给出了一个基于公钥基础设施技术的条件化基于角色的访问控制方法。最后,给出了工作流实例的引擎驱动算法。实际监测和用户反馈结果表明,采用该工作流管理系统作为框架的应用系统。

关键词：轻量级工作流管理系统时间约束条件化基于角色的访问控制工作流引擎

来源：评论

学校读者我要写书评

暂无评论

基于PKI技术的PMI的研究与实现

引用

计算机集成制造系统 2005年第6期11卷 881-884页

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

身份认证和权限管理是网络安全的两个核心内容。研发了一个基于公共密钥基础设施技术的权限管理基础设施系统。提出了一个基于属性证书和条件化的基于角色的访问控制、进行权限管理的权限管理基础设施访问控制模型,提供了属性证书的两... 详细信息

身份认证和权限管理是网络安全的两个核心内容。研发了一个基于公共密钥基础设施技术的权限管理基础设施系统。提出了一个基于属性证书和条件化的基于角色的访问控制、进行权限管理的权限管理基础设施访问控制模型,提供了属性证书的两种提交方式,即“推”模式和“拉”模式,并在此模型的基础上给出了该系统的实现,最后给出了该系统的一个应用实例。实践证明,该系统提供了一个较好的解决方案和实现,基本上能够满足大型应用(上百万用户)的用户需求。

关键词：公共密钥基础设施权限管理基础设施属性证书条件化的基于角色的访问控制权限管理

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：