陶先平
- 作品数：192 被引量：1,004H指数：19
- 供职机构：南京大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划更多>>
- 相关领域：自动化与计算机技术文化科学电子电信经济管理更多>>
- 一种移动终端进行位置隐私保护的方法
- 本发明公开了一种移动终端位置隐私保护的方法，该方法通过移动终端预测一段时间内终端持有者的移动轨迹，并且依据本地地图对移动轨迹进行细化和修正；对于彼此靠近的终端持有者，每个移动终端以其持有者目前所处的位置为起点，其余持有者...
- 吕建董恺陶先平
- 文献传递
- 多Agent系统的上下文感知增强被引量：4
- 2012年
- 如今,多agent系统(multi-agent system,简称MAS)被广泛用于开发各种应用系统.当前,开放、动态、难控的计算平台要求软件系统能够根据系统自身及其环境状态信息及其改变,动态地调节自身的行为,即具备一定的上下文感知能力.然而,现有工作并未就如何向既有的MAS应用系统引入上下文感知能力提出有效的解决方案.依照关注分离原则,结合面向上下文程序设计技术(context-oriented programming,简称COP)、反射技术(reflection)以及代码植入技术(code instrumentation),提出了一套MAS系统上下文感知增强框架和底层支撑技术.开发人员可以在既有应用源码不可得的情况下,自动地将指定agent类型转换为(扩展为)具有上下文感知能力的agent类型.此外,利用底层运行支撑环境,系统管理员可以在系统运行时刻动态地调整指定agent的上下文感知行为.
- 马骏陶先平朱怀宏吕建
- 关键词：软件AGENT多AGENT上下文感知程序设计
- 一种基于可信验证和可信评估的服务选取方法
- 本发明公开了一种基于可信验证和评估的服务选取方法，首先分析了服务各类属性并进行划分，然后考察了服务选取过程中涉及到的不同参与者以及它们与请求用户之间的关系，定义了不同的信任关系，基于此给出了用户需求定义的框架和基于可信验...
- 徐锋吕建陶先平
- 文献传递
- 一种针对带标签时间序列数据的补全方法
- 本发明公开了一种针对带标签时间序列数据的补全方法，主要用于解决真实场景中常见的时间序列数据连续一段整列丢失问题，该数据补全方法核心思想包括两方面：第一，运用Hankel矩阵化技术将低维时间序列组织成高维形式，引入高阶时间...
- 吴思萌汪亮陶先平吕建
- 文献传递
- ND_MATRM:基于Internet的移动agent系统基准模型
- 基于Internet的移动agent计算将成为未来网络平台上的主流分布计算模式之一.其相关技术和支撑系统的研究已经成为网络计算研究热点之一.针对目前移动agent研究中缺乏良好的移动agent环境基准模型的现状,本文给出...
- 陶先平吕建马晓星胡昊
- 关键词：移动AGENT分布计算技术INTERNET
- 文献传递
- 地球系统科学国家级虚拟仿真实验教学中心建设被引量：14
- 2016年
- 地球系统科学国家级虚拟仿真实验教学中心通过虚拟现实、对地观测系统、地理信息系统、人机交互等技术,构建高度仿真的地球系统科学虚拟实验环境和实验对象,不仅解决了诸多地学现象的高风险、不可见、不可达,而且也解决了地球科学野外实习受经费、设备等条件的限制。经过多年的建设,中心软硬件设施齐全,虚拟仿真实验教学资源丰富,管理运行措施得力,实验教学效果明显,在地理学、地质学、大气科学、海洋科学等地球科学创新人才培养的过程中发挥了积极作用。
- 柯长青肖鹏峰李满春陆现彩江静陶先平
- 关键词：地球系统科学实验教学
- 智能空间的资源管理及其应用研究被引量：8
- 2010年
- 资源管理是智能空间关键技术之一,其研究也得到了广泛的关注.本文在Jini技术的基础上,以智能空间中的漫游打印为应用背景,提出了一种有效的智能空间的资源管理解决方案.该方案中,资源被抽象为服务,由属性、接口等描述;空间中服务动态地加入或离开由发现和加入协议、异步事件通知机制和租用机制等来完成;资源的映射和冲突调度由资源映射和资源仲裁机制完成.最后给出了一个智能空间的漫游打印应用及其实现情况,并与相关工作进行了比较.
- 张璟璟汪亮陶先平吕建
- 关键词：资源管理资源映射
- 一种显式地进行计算环境描述的方法
- 本发明公开了一种显式地进行计算环境描述的方法。本发明在运行时基于用户的动作组织环境数据作为上下文的方法，为此，首先部署能对环境要素进行感知和影响的基础设施，以及感知用户动作的服务，之后将上下文生成器部署进系统并投入运行，...
- 吕建李晅松陶先平
- 文献传递
- 基于Internet的移动 Agent系统 Mogent
- 陶先平吕建费祥林徐殿祥胡昊徐锋李新
- 该程序设计提供了一种灵活的模式，可在通信功效、网络容错、间断计算等方面提高网络应用的质量。电子商务在未来的经济活动中将占据主导地位。具有不言而喻的良好市场前景。
- 关键词：
- 关键词：基于INTERNET移动AGENT系统
- 普适计算应用时空性质的运行时验证被引量：1
- 2018年
- 运行时验证是提升普适计算应用可靠性的重要手段.这类应用的很多性质同时涉及时间关系和空间位置关系,这样的时空性质给运行时的验证带来了特有挑战:一方面,传统的时态逻辑难以描述空间性质;另一方面,适合描述空间性质的Ambient Logic在真值不确定等情况下不能很好地支持有限轨迹中时间性质的描述.为支持普适计算应用时空性质的运行时验证,引入三值逻辑语义,提出了AL_3(3-valued ambient logic);并在此基础上设计实现了基于AL_3的性质检验算法和运行时监控器.最后,通过案例分析和运行效率实验阐明了所提方法的有效性和可行性.
- 李晅松陶先平宋巍
- 关键词：普适计算
