您的位置: 专家智库 > >

陈俊清

作品数:13 被引量:4H指数:1
供职机构:上海交通大学更多>>
发文基金:国家自然科学基金国家教育部博士点基金国家高技术研究发展计划更多>>
相关领域:自动化与计算机技术更多>>

文献类型

  • 5篇会议论文
  • 4篇期刊文章
  • 3篇专利
  • 1篇学位论文

领域

  • 11篇自动化与计算...

主题

  • 6篇普适计算
  • 5篇普适环境
  • 3篇形式化
  • 3篇语义服务
  • 3篇语义搜索
  • 3篇搜索
  • 3篇ASM
  • 2篇代理
  • 2篇形式化分析
  • 2篇控制模块
  • 2篇计算机
  • 2篇OSGI
  • 2篇OWL
  • 2篇存储模块
  • 1篇有限状态机
  • 1篇实时性
  • 1篇状态机
  • 1篇准确率
  • 1篇下载
  • 1篇接口

机构

  • 13篇上海交通大学

作者

  • 13篇陈俊清
  • 12篇黄林鹏
  • 3篇曾慧清
  • 3篇于程远
  • 3篇黄冠
  • 2篇周文嘉
  • 2篇杜思奇
  • 1篇陈璐希

传媒

  • 3篇微电子学与计...
  • 1篇中国科技论文
  • 1篇2009年全...
  • 1篇2010全国...
  • 1篇2010年全...

年份

  • 3篇2012
  • 2篇2011
  • 5篇2010
  • 3篇2009
13 条 记 录,以下是 1-10
排序方式:
基于ASM的普适环境下的服务动态组合
在综合研究已有的服务组合的各种方案的基础上,采用层次结构的服务组合框架,同时利用回溯树进行服务的动态组合,最后用ASM建立一个普适环境下服务动态组合的基础模型并对其进行精化,同时通过CoreASM对该模型进行模拟执行验证...
曾慧清黄林鹏陈俊清
关键词:普适计算ASM
文献传递
计算机组合服务快速重建系统及其重建方法
一种计算机技术领域的计算机组合服务快速重建系统及其重建方法,系统包括:监控模块、目录控制模块、代理控制模块、代理存储模块和目录存储模块;方法包括:步骤一,每隔时间τ向提供服务的服务A发送询问消息,当t时间内收到回复消息且...
于程远黄林鹏陈俊清
基于R-OSGi平台的语义服务
R-OSGi是基于OSGi的一个分布式应用框架,可以透明地访问远程OSGi平台的服务,R-OSGi平台的服务查找基于严格的句法匹配,通常存在'同义异形'和'同形异义'的问题.利用OWL引入语义信息,提出了基于R-OSGi...
黄冠黄林鹏陈俊清
关键词:语义服务语义搜索
文献传递
普适服务的动态更新方法及其更新系统
一种计算机应用技术领域的普适服务的动态更新方法及其更新系统,系统包括:新版本输入模块、兼容性检测模块、更新模块和接口模块,其中:所述的兼容性检测模块包括:依赖类型检测子模块、接口类型检测子模块和实现类型检测子模块,所述的...
陈俊清黄林鹏杜思奇于程远
文献传递
基于R-OSGi平台的语义服务
R-OSGi是基于OSGi的一个分布式应用框架,可以透明地访问远程OSGi平台的服务.R-OSGi平台的服务查找基于严格的句法匹配,通常存在"同义异形"和"同形异义"的问题.利用OWL引入语义信息,提出了基于R-OSGi...
黄冠黄林鹏陈俊清
关键词:语义服务OWL语义搜索
文献传递
计算机组合服务快速重建系统及其重建方法
一种计算机技术领域的计算机组合服务快速重建系统及其重建方法,系统包括:监控模块、目录控制模块、代理控制模块、代理存储模块和目录存储模块;方法包括:步骤一,每隔时间τ向提供服务的服务A发送询问消息,当t时间内收到回复消息且...
于程远黄林鹏陈俊清
文献传递
可信普适服务的形式化分析与验证
普适计算通常是在一个动态、异构、开放的物理环境下进行,其中不少物理设备的资源受限、高移动性以及故障频发,这些特征给构建可信的普适服务带来了新的挑战。本文针对普适环境下如何构建可信的普适服务进行研究,从普适服务模型的特征分...
陈俊清
关键词:有限状态机
文献传递
基于R-OSGi平台的语义服务
2009年
R-OSGi是基于OSGi的一个分布式应用框架,可以透明地访问远程OSGi平台的服务.R-OSGi平台的服务查找基于严格的句法匹配,通常存在"同义异形"和"同形异义"的问题.利用OWL引入语义信息,提出了基于R-OSGi平台的语义服务(包含语义信息的服务),解决了句法匹配所带来的问题,并通过一个智能家庭具体应用说明了方法的可行性和有效性.
黄冠黄林鹏陈俊清
关键词:语义服务OWL语义搜索
一种面向普适计算的动态更新模型
2012年
首先介绍了普适计算的特点,通过对更新对象及现有更新机制进行分析,评估了已有的动态更新方法的适用性;在此基础上,提出了一种分布式的更新模型,并使用进程代数FSP进行形式化建模,对更新机制进行刻画;最后结合FSP模型验证工具检验了模型具有无死锁隐患、客户透明性和服务器正确性等3个特性,从而保证了模型的有效性。
杜思奇黄林鹏陈俊清陈璐希
关键词:普适计算分布式进程代数
普适环境中的动态更新模型被引量:1
2011年
致力于普适计算下的动态更新的研究,首先分析了普适计算下动态更新的场景,针对普适环境的动态性,我们提出了区别于传统更新方式的路径更新;通过分析集中式更新模型的局限性,提出了适合普适环境的分布式更新模型;最后使用类型与效果系统为更新模型做形式化分析.
周文嘉黄林鹏陈俊清
关键词:普适计算形式化分析
共2页<12>
聚类工具0