当前位置: 首页> 找人才> 正文

陶教授

教授 江苏南京市
科研能力 #基金项目申报# #应用技术研究# #高层次人才#
个人简介
联系客服
科研专业方向

研究领域:

基础软件

研究方向:

软件Agent技术、软件中间件技术、网构软件方法学、普适计算技术

科研重点分布
近年科研重点
2014
热部署 依赖修复 应用服务器
2020
无人机 强化学习 目标搜寻 通信拒止环境
科研产出增长曲线
历年科研产出
学科论文分布
计算机软件及计算机应用:41 互联网技术:19 计算机硬件技术:12 高等教育:11 自动化技术:6 航空航天科学与工程:1 贸易经济:1
总数: 78
展开 >
  • 产学研合作
  • 基金课题
  • 荣誉&成就
  • 科研成果
产学研合作
合作信息
合作单位 合作论文数量
计算机软件研究所 2
中国计算机学会软件工程专委 1
北京大学信息科学与技术学院 1
中国计算机学会系统软件专委 1
安徽工程科技学院计算机科学与工程系 1
香港理工大学电子计算系 1
计算机软件新技术国家重点实验室 1
展开全部
基金课题
论文标题 基金名称
重组计算机专业基础课程,促进学生能力培养 清华大学出版社教改项目强化问题求解能力的计算机专业教学实践
一种基于中介的适应性软件协同环境的设计与实现 国家自然科学基金
软件协同中基于中介的协同模型应用研究 国家自然科学基金
支持依赖修复的热部署技术 国家高技术研究发展计划
移动Agent技术在电子商务上的应用初探 国家杰出青年基金
柔性继承支撑系统ND-Polya的设计与实现 国家自然科学基金
柔性继承支撑系统ND-Polya的设计与实现 国家杰出青年科学基金
柔性继承支撑系统ND-Polya的设计与实现 江苏省青年基金
面向网构软件的环境显式化技术 国家重点基础研究发展计划
基于移动Agent技术的构件软件框架研究 国家自然科学基金
Mogent系统的通信机制 国家自然科学基金
协变多态计算中类型安全问题的研究 江苏省青年科学基金
面向网构软件的环境驱动模型与支撑技术研究 国家重点基础研究发展规划
一种层次式面向对象需求模型的设计 国家杰出青年科学基金
强化学习方法在通信拒止战场仿真环境中多无人机目标搜寻问题上的适用性研究 2018年度科技创新2030—新一代人工智能重大项目
移动agent系统基准模型的研究 863计划项目
Agent为中介的电子商务研究 国家杰出青年基金
普适计算中基于移动代理的应用follow-me迁移技术 国家973计划资助项目
一种改进的移动Agent通信算法 国家自然科学基金
一种基于Agent技术的WebServices匹配模型的研究 本文受国家重点基础研究发展规划973资助项目
一种移动agent结构化迁移机制的设计和实现 国家863高科技项目基金
基于Email信箱的agent迁移和通信机制的设计和实现 江苏省高技术项目基于Internet的软件协同平台的研究与开发
智能空间的资源管理及其应用研究 国家973计划
Cogent后组装技术研究与实现 国家自然科学基金
一种基于Agent的移动应用框架设计与应用研究 973项目
一种面向服务的动态协同架构及其支撑平台 国家自然科学基金
一种面向服务的动态协同架构及其支撑平台 60273034)国家八六三高技术研究发展计划项目基金
柔性继承机制的设计与实现 国家自然科学基金
基于双层类结构的继承异常处理方法 国家自然科学基金国家杰出青年科学基金国家攀登计划基金
Mogent系统迁移机制的设计和实现 国家八六三高技术研究发展计划项目基金
软件服务多模式交互中间件模型及其支撑技术 国家重点基础研究发展规划
ND-Polya中协变-反变问题的处理方法 国家自然科学基金
ND-Polya中协变-反变问题的处理方法 国家杰出青年科学基金
ND-Polya中协变-反变问题的处理方法 江苏省青年基金
ARDF:一种用于应用迁移的资源描述框架 国家自然科学基金重点项目
MABEMS:一个基于移动Agent的电子市场空间 国家杰出青年基金
移动Agent系统的一个因果保序通信协议 国家重点基础研究发展规划973计划基金资助项目
ND-Polya类比实现技术 国家自然科学基金国家杰出青年科学基金江苏省青年基金
移动Agent系统的安全性研究 国家自然科学基金资助项目
一种移动Agent通信算法 国家高技术研究发展计划
层次化网关转发的agent迁移技术与应用 国家973计划
Mogent防DoS攻击的策略与实现 国家自然科学基金
网构软件的研究与进展 国家重点基础研究发展计划项目
基于移动Agent的构件运行支撑研究与实现 九五科技攻关项目
基于Agent的网构软件模型研究 国家重点基础研究发展规划973项目
多Agent系统的上下文感知增强 国家自然科学基金
XML在MABEMS模型中的应用 国家杰出青年基金
开放环境特性感知技术 国家自然科学基金
一种新的E-mail应用模式的研究 江苏省应用基础研究科技项目
构件化软件服务及其在Artemis-ARC系统中的应用 国家973863计划资助项目
软件体系结构的属性图文法描述及其约束验证 国家973863计划资助项目
展开全部
荣誉&成就

工作期间,主持或参与了国家自然科学基金重点及面上项目、973项目、863项目(含目标导向类和探索导向类项目)、国家八五、九五、十五攻关项目、国家发改委高新技术产业化项目、江苏省自然科学基金重点及一般项目、江苏省高技术等项目等二十余项,均圆满完成了相关任务并获得好评。

科研成果
  • 期刊论文
  • 技术成果
  • 专利

强化学习方法在通信拒止战场仿真环境中多无人机目标搜寻问题上的适用性研究

大类招生人才培养与大学计算机基础教学改革新论

以计算思维为导向的大学计算机基础教学改革

面向计算机系统能力培养的课程实验体系构建

计算机系统基础课程的实验设计与分析

地球系统科学国家级虚拟仿真实验教学中心建设

基于RFID的校园导航系统的设计与实现

专家寄语

支持依赖修复的热部署技术

面向网构软件的环境显式化技术

面向网构软件的环境显式化技术

多Agent系统的上下文感知增强

多Agent系统的上下文感知增强

基于WebService的家庭人体健康监护系统快速开发平台

基于集合的上下文建模和操作

开放环境特性感知技术

开放环境特性感知技术

基于规则与相似度的语义web服务匹配

智能空间的资源管理及其应用研究

ARDF:一种用于应用迁移的资源描述框架

层次化网关转发的agent迁移技术与应用

层次化网关转发的agent迁移技术与应用

面向网构软件的环境驱动模型与支撑技术研究

普适计算中基于移动代理的应用follow-me迁移技术

软件服务多模式交互中间件模型及其支撑技术

FollowMeLite:用于普适计算的轻量级中间件平台

计算机专业函授课程教学改革与实践

计算机学科实验教学

构件化软件服务及其在Artemis-ARC系统中的应用

软件体系结构的属性图文法描述及其约束验证

网构软件的研究与进展

普适计算环境中隐私保护的研究与进展

一种基于中介的适应性软件协同环境的设计与实现

基于移动agent的软件实体适配技术研究

一种基于Agent技术的WebServices匹配模型的研究

一种面向服务的动态协同架构及其支撑平台

移动Agent系统的一个因果保序通信协议

基于Agent的网构软件模型研究

软件协同模型中多模式可配置通道的研究

RTML:一种用于开放协同环境的信任管理语言

AgletBlackboard:Aglets系统协同机制的扩充

软件协同中基于中介的协同模型应用研究

一种基于Agent的移动应用框架设计与应用研究

基于Email信箱的agent迁移和通信机制的设计和实现

一种移动Agent通信算法

Mogent防DoS攻击的策略与实现

基于移动Agent的构件运行支撑研究与实现

移动agent系统基准模型的研究

一种改进的移动Agent通信算法

PCC技术在移动Agent系统安全中的应用初探

Cogent后组装技术研究与实现

MABEMS:一个基于移动Agent的电子市场空间

移动Agent系统的安全性研究

XML在MABEMS模型中的应用

移动Agent技术在电子商务上的应用初探

Agent为中介的电子商务研究

移动Agent系统的迁移机制研究

柔性继承机制的设计与实现

Mogent系统迁移机制的设计和实现

一种新的E-mail应用模式的研究

基于KQML的agent安全通讯模型

基于移动Agent技术的构件软件框架研究

Mogent系统的通信机制

一种层次式面向对象需求模型的设计

一种移动agent结构化迁移机制的设计和实现

柔性继承支撑系统ND-Polya的设计与实现

协变多态计算中类型安全问题的研究

基于双层类结构的继承异常处理方法

ND-Polya中协变-反变问题的处理方法

流动agent:一种未来的分布计算模式

ND-Polya类比实现技术

重组计算机专业基础课程,促进学生能力培养

计算机问题求解课程的内容建设

计算机问题求解课程讨论课的组织和实施

问题求解课程教学过程的监督

“引导式自学”教学模式探索

面向问题求解的计算机专业基础课程的重构与实践

图形化对象式需求定义语言NDORL

元级化、定义化的软件自适应模型、方法与平台

网构化软件关键技术、平台与应用

面向体系结构的软件服务平台ARTEMIS-ARC

面向对象与软件Agent技术研究

基于Internet的Email Agent中间体系统MOON-EAMS

基于Internet的移动 Agent系统 Mogent

基于马尔可夫模型和熵的开源群智行为挖掘与度量方法

基于静态分析的Binder通信过载漏洞的检测方法

一种自组织量子网络协议及路由调度方法

面向处理单元部署的基于值函数的强化学习方法

一种可穿戴体音捕获技术的肠鸣音检测方法

RSA公钥分解和解密方法及系统

一种手机端含缺失数据的通用连续行为识别应用框架

一种针对带标签时间序列数据的补全方法

一种基于控件区域分布特征的安卓界面相似度计算方法

一种面向多模态融合模式识别应用的高效分类器堆叠框架

一种基于距离矩阵的时间序列数据补全方法

一种基于主题关联关系分析的开源软件推荐方法

一种基于布局划分特征向量的安卓应用界面相似度比较方法

一种基于布局簇图的安卓应用重打包检测方法

一种基于C/S架构的传感器数据采集系统的实现方案

一种基于安卓应用多入口特性的Activity构件泄露检测方法

一种检测Android应用Service构件泄露的高效方法

一种基于音频处理的睡眠期识别方法

一种基于音频处理的睡眠期识别方法

一种基于可穿戴设备的日常抽烟行为检测方法

一种基于可穿戴音频设备的行人相对位置定位方法

一种基于可穿戴音频设备的行人相对位置定位方法

基于手机传感器的交互过程中用户思维工作负荷评估方法

基于手机传感器的交互过程中用户思维工作负荷评估方法

实时数据流模式识别应用的数据补全方法

实时数据流模式识别应用的数据补全方法

一种基于自适应粒子滤波器算法的地磁室内定位系统

一种基于自适应粒子滤波器算法的地磁室内定位系统

一种利用智能手机进行楼层定位的方法

一种利用智能手机Wi-Fi功能实现楼层自动定位的方法

一种显式地进行计算环境描述的方法

一种显式地进行计算环境描述的方法

体感网及基于体感网的居家行为感知方法

一种移动终端进行位置隐私保护的方法

一种移动终端进行位置隐私保护的方法

一种面向特殊人群的危险感知与报警系统

一种面向特殊人群的危险感知与报警系统

可调节对象结构、系统框架及对既有系统转化的方法

一种基于软件主体的环境探知平台系统及其环境探知方法

基于移动软件代理的智能空间移动打印方法

一种多阶段语义Web服务发现方法

基于移动软件代理的跨网络文件同步方法

一种基于可信验证和可信评估的服务选取方法

一种基于本体规则描述的服务质量等级验证方法

一种基于信任管理的面向Web服务的工作流编辑方法

基于WebService的机房温度监控系统及监控方法

一种基于情境感知的智能门禁系统

展开全部
数据信息来源于网络,若有侵权请联系客服