期刊文献+
共找到336篇文章
< 1 2 17 >
每页显示 20 50 100
基于XML的松散耦合分布式计算 被引量:6
1
作者 李晨 张礼平 +1 位作者 杨富平 翁志良 《华东理工大学学报(自然科学版)》 CAS CSCD 北大核心 2001年第5期552-556,共5页
从传统分布式计算入手 ,分析其在 Web环境下的不足 ,给出松散耦合分布式计算模型 ,指出 XML是提供松散耦合的关键技术 ,并着重论述了模型的关键协议之一
关键词 分布式计算 XML SOAP Web EJB CORBA 松散耦合 松散模型
在线阅读 下载PDF
分布式嵌入式系统的自适应能耗管理和分析 被引量:9
2
作者 范贵生 虞慧群 +1 位作者 陈丽琼 刘冬梅 《软件学报》 EI CSCD 北大核心 2014年第2期419-438,共20页
以降低分布式嵌入式系统整体能耗为目标,立足设备属性及其关系,从系统的启动设备集和设备动态供电电压两个方面着手,提出一种基于Agent的自适应能耗管理及其分析方法.在此基础上,给出分布式嵌入式能耗网(DE-Net),并利用DE-Net模型对系... 以降低分布式嵌入式系统整体能耗为目标,立足设备属性及其关系,从系统的启动设备集和设备动态供电电压两个方面着手,提出一种基于Agent的自适应能耗管理及其分析方法.在此基础上,给出分布式嵌入式能耗网(DE-Net),并利用DE-Net模型对系统的基本组件进行建模,根据组件间关系形成能耗模型,以刻画系统的执行流程和能耗属性.最后,利用CTL描述系统性质,并借助Petri网的操作语义来验证方法的正确性和有效性.具体实例应用及实验结果表明:该方法能够有效地降低分布式实时系统的能耗,正确描述能耗自适应调整过程,简化建模和分析过程,对开发具有低能耗DES具有重要的理论意义和实用价值. 展开更多
关键词 分布式嵌入式系统 多AGENT 能耗 自适应 PETRI网
在线阅读 下载PDF
基于分布式数据库的CRM系统的设计与实现 被引量:9
3
作者 赵文瑜 邵志清 闵高照 《华东理工大学学报(自然科学版)》 CAS CSCD 北大核心 2004年第1期88-90,共3页
从CRM理论和应用出发,深入研究了客户关系管理中的数据及功能。在对电子商务及企业信息化研究的基础上,建立了一套成熟的实用CRM的系统框架和层次架构。在对企业管理及销售业务的深入分析中,运用分布式数据库技术建立起CRM的实现。
关键词 客户关系管理 电子商务 分布式数据库 设计 CRM 企业管理 销售业务
在线阅读 下载PDF
策略驱动的可靠嵌入式系统建模及分析方法 被引量:5
4
作者 范贵生 虞慧群 +1 位作者 陈丽琼 刘冬梅 《软件学报》 EI CSCD 北大核心 2011年第6期1123-1139,共17页
针对嵌入式系统的特点,提出一种策略驱动的可靠嵌入式系统建模与分析方法.基于Petri网建立嵌入式系统的形式化描述语言,并对设备、计算与物理交互、组件及通信过程等要素进行建模.分析嵌入式系统的主要故障类型和特征,探索嵌入式系统的... 针对嵌入式系统的特点,提出一种策略驱动的可靠嵌入式系统建模与分析方法.基于Petri网建立嵌入式系统的形式化描述语言,并对设备、计算与物理交互、组件及通信过程等要素进行建模.分析嵌入式系统的主要故障类型和特征,探索嵌入式系统的可靠性保障策略.采用面向方面思想提取可靠性保障策略相关关注点.通过构造关注点模型,并利用编织机制,将关注点模型动态地集成为一个完整的嵌入式系统可靠模型.利用Petri网相关理论分析嵌入式系统可靠性保障策略的有效性.具体实例表明,该方法能够简化嵌入式系统的设计与分析过程,有效地提高嵌入式系统的设计质量. 展开更多
关键词 嵌入式系统 可靠性 设计 模型 面向方面
在线阅读 下载PDF
基于字表的中文搜索引擎分词系统的设计与实现 被引量:15
5
作者 丁承 邵志清 《计算机工程》 CAS CSCD 北大核心 2001年第2期191-192,F003,共3页
分析了常用的基于词典的汉语分词方法应用于中文搜索引擎开发中的不足,提出基于字表的中文搜索引擎分词系统,并在索引、查询、排除歧义等方面进行了设计和实现。
关键词 字表 中文搜索引擎分词系统 设计 中文信息处理 INTERNET
在线阅读 下载PDF
基于VR火灾逃生游戏的应急行为评估系统 被引量:19
6
作者 何高奇 郁明强 +1 位作者 蒋正清 卢兴见 《系统仿真学报》 CAS CSCD 北大核心 2017年第11期2796-2803,2810,共9页
在突发事件场景中,个体的行为和心理具有较强的复杂性和动态性,是真实感群体行为模拟所面临的一大挑战。将虚拟现实和游戏技术相结合,设计了虚拟现实火灾逃生游戏VRFEG(Virtual Reality Fire Escape Game),并对用户的应急行为进行有效... 在突发事件场景中,个体的行为和心理具有较强的复杂性和动态性,是真实感群体行为模拟所面临的一大挑战。将虚拟现实和游戏技术相结合,设计了虚拟现实火灾逃生游戏VRFEG(Virtual Reality Fire Escape Game),并对用户的应急行为进行有效的评估分析。VRFEG主要由交互式情节设计、架构设计、数据采集和行为分析等四个模块组成。实验表明,VRFEG系统具有直观、易用等特点,能让人们在感受游戏刺激的同时学习到一些应急逃生的技能,也为获取人们在突发状况下的部分行为数据提供了一个有效和有趣的通道。 展开更多
关键词 虚拟现实游戏 行为评估 应急演练 游戏行为记录器 UNITY3D
在线阅读 下载PDF
分布式实时嵌入式系统的能耗建模与分析 被引量:4
7
作者 陈丽琼 邵志清 范贵生 《华东理工大学学报(自然科学版)》 CAS CSCD 北大核心 2009年第2期250-255,共6页
为支持分布式实时嵌入式(DRE)系统的能耗分析,提出了一种能耗时延Petri网(ECTPN)对系统的模块、任务、任务间关系、通信协议等进行建模。基于所建DRE的ECTPN模型,分析系统的可调度性和能耗约束,并给出启发式算法来计算满足时间约束和能... 为支持分布式实时嵌入式(DRE)系统的能耗分析,提出了一种能耗时延Petri网(ECTPN)对系统的模块、任务、任务间关系、通信协议等进行建模。基于所建DRE的ECTPN模型,分析系统的可调度性和能耗约束,并给出启发式算法来计算满足时间约束和能耗约束的可行调度。最后应用一个实例模拟系统的建模和分析过程,从而直观地展示了该方法的可行性。 展开更多
关键词 分布式实时嵌入式系统 PETRI网 可行调度 能耗 通信协议
在线阅读 下载PDF
云边场景下基于合作博弈的数据上传优化
8
作者 钟传江 虞慧群 范贵生 《华东理工大学学报(自然科学版)》 北大核心 2025年第2期250-259,共10页
现有基于边缘计算的移动群智感知场景很少考虑边缘服务器之间的协作,而多边缘服务器协作面临边缘服务缓存、边缘设备资源约束和大规模边缘用户任务卸载的挑战。针对以上挑战,本文提出了一种面向多边缘服务器合作博弈和离散粒子群(MCG+DP... 现有基于边缘计算的移动群智感知场景很少考虑边缘服务器之间的协作,而多边缘服务器协作面临边缘服务缓存、边缘设备资源约束和大规模边缘用户任务卸载的挑战。针对以上挑战,本文提出了一种面向多边缘服务器合作博弈和离散粒子群(MCG+DPSO)优化的计算卸载算法。该算法首先通过多边缘服务器之间的合作博弈(MCG)得到边缘用户任务在边缘服务器之间的中继初始方案。然后,将得到的初始方案作为离散粒子群算法(DPSO)的初始解。最后,通过DPSO算法得到最优解,实现用户任务和边缘服务器的匹配,从而最大化地降低移动感知平台数据上传的服务延迟和服务成本。通过在真实数据集上进行大量对比实验,结果表明与云策略、边缘间不通讯策略、随机策略、合作博弈策略、DPSO算法和差分进化算法相比,MCG+DPSO算法可以降低3.2%~56.0%的服务成本和3.6%~24.5%的服务延迟。 展开更多
关键词 边缘计算 合作博弈 移动群智感知 离散粒子群优化 任务卸载
在线阅读 下载PDF
类型系统与程序正确性问题 被引量:3
9
作者 丁志义 宋国新 邵志清 《计算机科学》 CSCD 北大核心 2006年第1期141-143,157,共4页
类型系统能检出合法程序的语义错误,可以缩短调试时间,在执行程序之前捕获代码中的错误。类型系统的理论基础是类型化的λ演算。带子类型的高阶类型系统腿已成为类型化语言的演算核心。类型系统和直觉主义极小逻辑是同构的。证明系统... 类型系统能检出合法程序的语义错误,可以缩短调试时间,在执行程序之前捕获代码中的错误。类型系统的理论基础是类型化的λ演算。带子类型的高阶类型系统腿已成为类型化语言的演算核心。类型系统和直觉主义极小逻辑是同构的。证明系统的能力取决于类型系统,因而类型系统可以表迭程序的性质,并自动进行验证。 展开更多
关键词 类型系统 程序验证 Λ演算 证明理论 程序正确性 语义错误 执行程序 直觉主义 子类型 代码
在线阅读 下载PDF
知识图谱中实体相似度计算研究 被引量:15
10
作者 李阳 高大启 《中文信息学报》 CSCD 北大核心 2017年第1期140-146,154,共8页
实体相似度的计算有诸多应用,例如,电商平台的相似商品推荐,医疗疗效分析中的相似病人组等。在知识图谱的实体相似度计算中,给出了每个实体的属性值,并对部分实体进行相似度的标注,要求能得到其他实体之间的相似度。该文把该问题归结为... 实体相似度的计算有诸多应用,例如,电商平台的相似商品推荐,医疗疗效分析中的相似病人组等。在知识图谱的实体相似度计算中,给出了每个实体的属性值,并对部分实体进行相似度的标注,要求能得到其他实体之间的相似度。该文把该问题归结为监督学习问题,提出一种通用的实体相似度计算方法,通过清洗噪声数据,对数值、列表以及文本等不同数据类型进行预处理,使用SVM,Logistic回归等分类模型、Random Forest等集成学习模型以及排序学习模型进行建模,得到了较好的结果。 展开更多
关键词 实体相似度 监督学习 分类模型 集成学习
在线阅读 下载PDF
基于GIS的网上世博场馆导航系统 被引量:2
11
作者 何高奇 盛俊文 +2 位作者 阮彤 郭卫斌 张明敏 《系统仿真学报》 CAS CSCD 北大核心 2010年第8期1916-1919,共4页
网上世博场馆导航系统能够引导游客流向,提高世博会的服务水平。将GIS和虚拟现实技术相结合实现了网上世博场馆虚拟导航系统,系统具备场馆漫游和查询、路线推荐和定制以及流量估计等功能。系统建立了ArcGIS数据库模型,实现了基于FNR树... 网上世博场馆导航系统能够引导游客流向,提高世博会的服务水平。将GIS和虚拟现实技术相结合实现了网上世博场馆虚拟导航系统,系统具备场馆漫游和查询、路线推荐和定制以及流量估计等功能。系统建立了ArcGIS数据库模型,实现了基于FNR树时空数据索引和智能导航组合算法,并利用经验导航路线设计符合用户期望的最佳导航路线。系统能够提供直观、可视、可交互的导航服务。 展开更多
关键词 网上世博 导航 GIS 时空数据索引 路径规划
在线阅读 下载PDF
层次立方体(H-Cube)的自适应计算 被引量:2
12
作者 汪胜 易敏昕 张有仁 《计算机工程》 CAS CSCD 北大核心 2003年第6期92-94,共3页
多维数据立方(Cube)的计算对联机分析处理(online analytical processing,OLAP)有着极为重要的作用。针对传统的多维数据Cube计算中的不足,提出了自适应的计算方法,并给出了带有层次的Cube计算算法HCA算法。
关键词 数据库 多维数据立方 联机分析处理 层次立方体 自适应计算 数据仓库
在线阅读 下载PDF
面向多Agent技术的软件质量评价系统研究 被引量:2
13
作者 杨根兴 宗宇伟 朱三元 《计算机工程》 CAS CSCD 北大核心 2004年第15期72-74,共3页
分析了在分布环境下的进行软件质量评价群决策的特点,讨论了在分布环境下进行软件质量评价的通信和消息机制,设计了面向多Agent技术的软件质量评价系统模型,可明显提高软件质量评价的异地同步性和效率,实例表明可满足分布环境下的软件... 分析了在分布环境下的进行软件质量评价群决策的特点,讨论了在分布环境下进行软件质量评价的通信和消息机制,设计了面向多Agent技术的软件质量评价系统模型,可明显提高软件质量评价的异地同步性和效率,实例表明可满足分布环境下的软件质量评价的需要。 展开更多
关键词 软件质量 群决策 多AGENT 评价系统
在线阅读 下载PDF
基于移动Agent的安全电子拍卖系统的构建 被引量:5
14
作者 吴国荣 沈庆浩 《计算机工程》 CAS CSCD 北大核心 2003年第11期113-115,共3页
随着电子商务技术的日益发展,移动Agent技术可以用来进行市场调查,商品买 卖及离线拍卖等?事实证明只有当用移动Agent构建的系统的安全性得到确切的保证后,才 能被大众用户所接受?该文提出了一个基于移动Agent的电子拍卖协议,并以此协... 随着电子商务技术的日益发展,移动Agent技术可以用来进行市场调查,商品买 卖及离线拍卖等?事实证明只有当用移动Agent构建的系统的安全性得到确切的保证后,才 能被大众用户所接受?该文提出了一个基于移动Agent的电子拍卖协议,并以此协议构建了 一个实际的系统?系统中采用了主从结构,在认证过程中要求Agent向拍卖服务器出示许可 证等方法来保证系统的安全性?最后,对协议设计的正确性和效率进行了详尽的分析? 展开更多
关键词 移动AGENT 电子拍卖系统 安全性
在线阅读 下载PDF
多Agent系统分布式问题求解的代数模型方法(Ⅰ):社会行为、社会局势和社会动力学 被引量:10
15
作者 帅典勋 顾静 《计算机学报》 EI CSCD 北大核心 2002年第2期130-137,共8页
该组论文提出一种新的代数模型方法 ,用于多 Agent系统超分布超并行社会智能问题求解 ,该方法通过社会动力学和社会智能 ,统一地处理各种复杂的并行的社会行为 ,用于求解用常规方法难以处理的许多社会交互问题 .本文是组合论文中第一篇 ... 该组论文提出一种新的代数模型方法 ,用于多 Agent系统超分布超并行社会智能问题求解 ,该方法通过社会动力学和社会智能 ,统一地处理各种复杂的并行的社会行为 ,用于求解用常规方法难以处理的许多社会交互问题 .本文是组合论文中第一篇 ,提出多 Agent系统分布式问题求解的代数模型结构 ,讨论多 Agent系统中典型社会行为模式及其性质 ,建立形式化描述 。 展开更多
关键词 多AGENT系统 分布式人工智能 分布式问题求解 社会行为 代数模型 社会局势 社会动力学
在线阅读 下载PDF
重写系统中的显式归纳方法 被引量:2
16
作者 宋国新 邵志清 《华东理工大学学报(自然科学版)》 CAS CSCD 1996年第1期68-72,共5页
提出了重写系统中的显式归纳方法,设计了一个新的归纳定理证明系统。实例表明,显式归纳方法要比无归纳的归纳方法来得简单直观。
关键词 归纳定理 重写系统 等式系统 显式归纳 K-B算法
在线阅读 下载PDF
多Agent系统问题求解的广义粒子模型方法 被引量:1
17
作者 帅典勋 王兴 冯翔 《计算机学报》 EI CSCD 北大核心 2006年第5期740-750,共11页
提出一种多Agent系统分布式问题求解的新的广义粒子模型,将复杂环境下多Agent系统资源分配和任务规划的优化问题转变为广义粒子模型中的粒子运动学和动力学问题.广义粒子模型可以描述和处理的复杂环境包括多Agent系统中的Agent之间存在... 提出一种多Agent系统分布式问题求解的新的广义粒子模型,将复杂环境下多Agent系统资源分配和任务规划的优化问题转变为广义粒子模型中的粒子运动学和动力学问题.广义粒子模型可以描述和处理的复杂环境包括多Agent系统中的Agent之间存在的随机、并发、多类型的交互行为.各Agent有不同的个性、自治性、生命周期、拥塞程度和故障几率等.本文讨论了广义粒子模型和多Agent系统分布式问题求解的关系,提出了广义粒子模型的数学物理模型和多Agent系统分布式问题求解算法,并且证明了它们的正确性、收敛性、稳定平衡性等基本性质.通过复杂环境下多Agent系统资源分配和任务规划问题的实验和比较,证实了广义粒子模型方法的有效性及其特点. 展开更多
关键词 多AGENT系统 资源分配和任务规划 分布式问题求解 动力学系统 广义粒子模型
在线阅读 下载PDF
基于带抑制弧的时延着色Petri网的嵌入式系统建模与验证 被引量:2
18
作者 杨年华 虞慧群 《华东理工大学学报(自然科学版)》 CAS CSCD 北大核心 2010年第3期411-417,共7页
结合着色Petri网和时延Petri网,提出了一种适合于复杂嵌入式系统建模方法。该方法在库所中表示数据、控制信息和时间戳,在变迁中引入时延、控制函数与变迁函数,利用抑制弧简化模型。该方法可以对复杂的嵌入式系统进行建模,还可以利用现... 结合着色Petri网和时延Petri网,提出了一种适合于复杂嵌入式系统建模方法。该方法在库所中表示数据、控制信息和时间戳,在变迁中引入时延、控制函数与变迁函数,利用抑制弧简化模型。该方法可以对复杂的嵌入式系统进行建模,还可以利用现有的Petri网技术分析系统性质。通过实际案例展示了该方法的应用和可行性。 展开更多
关键词 PETRI网 抑制弧 嵌入式系统 建模 验证
在线阅读 下载PDF
一个Peer-to-Peer环境下综合信誉计算模型 被引量:1
19
作者 孙华 虞慧群 杨年华 《华东理工大学学报(自然科学版)》 CAS CSCD 北大核心 2010年第6期801-806,共6页
为了有效地评估P2P网络中节点的信誉,提出了一种基于激励与惩罚机制的信誉计算模型。该信誉模型的计算数据源包括节点的直接交易经历和其他节点的推荐数据,推荐数据包括推荐节点与目标节点的直接交易经历以及它们在交易前曾经查询的数... 为了有效地评估P2P网络中节点的信誉,提出了一种基于激励与惩罚机制的信誉计算模型。该信誉模型的计算数据源包括节点的直接交易经历和其他节点的推荐数据,推荐数据包括推荐节点与目标节点的直接交易经历以及它们在交易前曾经查询的数据。通过赋予这些数据不同的权重,使用相对的激励与惩罚机制综合计算节点的信誉。实验结果表明:该模型不仅可以遏制恶意节点,而且可以保证较高的交易成功率。 展开更多
关键词 P2P 信誉 推荐 激励 惩罚
在线阅读 下载PDF
服务可用性系统的软件在线升级设计 被引量:1
20
作者 苏雪 宋国新 《华东理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2005年第4期483-486,共4页
提出一种基于服务可用性系统的软件在线升级设计思路,并阐述了基于该设计思路而设计实现的软件在线升级流程以及其中的一些关键技术。该软件升级过程使得系统在维护过程中的软件维护可以在系统在线或者不间断提供服务的条件下执行。
关键词 服务可用性 在线升级 版本同步 接口翻译
在线阅读 下载PDF
上一页 1 2 17 下一页 到第
使用帮助 返回顶部