您的位置: 专家智库 > >

程倬

作品数:4 被引量:16H指数:2
供职机构:中国计量学院信息工程学院更多>>
发文基金:浙江省重大科技专项资金国家质检总局科技计划项目国家自然科学基金更多>>
相关领域:自动化与计算机技术自然科学总论交通运输工程更多>>

文献类型

  • 3篇期刊文章
  • 1篇会议论文

领域

  • 2篇自动化与计算...
  • 1篇交通运输工程
  • 1篇自然科学总论

主题

  • 2篇软件即服务
  • 2篇搜索
  • 2篇协同工作
  • 2篇计算机
  • 2篇计算机支持
  • 2篇计算机支持的...
  • 1篇时间自动机
  • 1篇实时系统
  • 1篇搜索算法
  • 1篇配货
  • 1篇自动机
  • 1篇物流
  • 1篇系统设计
  • 1篇系统设计与开...
  • 1篇基于WEB
  • 1篇工作流
  • 1篇工作流管理
  • 1篇公路
  • 1篇公路物流
  • 1篇UPPAAL

机构

  • 4篇中国计量学院
  • 2篇中国矿业大学

作者

  • 4篇陆慧娟
  • 4篇程倬
  • 3篇唐文彬
  • 1篇安春霖
  • 1篇范延军
  • 1篇吴永刚
  • 1篇王训斌

传媒

  • 1篇计算机时代
  • 1篇华中科技大学...
  • 1篇中国计量学院...

年份

  • 1篇2012
  • 1篇2011
  • 1篇2010
  • 1篇2008
4 条 记 录,以下是 1-4
排序方式:
CSCW技术中的公路物流系统研究被引量:2
2010年
介绍了基于CSCW(计算机支持的协同工作)架构的公路物流系统的总体技术方案,通过将软件即服务(SaaS)技术、WebGIS技术等的融合,实现了CSCW对不同租户异质流程和异质数据支持的公路物流系统.实际应用表明,该系统对物流企业降低成本,提升运作效率,增强企业综合竞争力有着重要作用.
陆慧娟程倬唐文彬范延军
关键词:软件即服务计算机支持的协同工作工作流管理公路物流
基于SaaS和CSCW的车货匹配系统研究与应用被引量:10
2012年
针对我国物流公路运输发展中存在的问题,分析了基于软件即服务(SaaS)和计算机支持的协同工作(CSCW)技术的车货匹配系统解决方案.研究了基于多实例Agent的、具有强化学习特性的SaaS系统架构,提出了车辆混合禁忌搜索算法.利用CSCW与SaaS结合构建系统框架,最终实现了一个侧重"货找车"理念的高智能车货匹配系统.系统能有效地解决公路物流运输中空载率高的问题,降低物流企业的运行成本.
陆慧娟安春霖程倬唐文彬
关键词:搜索算法
基于时间自动机的实时系统建模及验证被引量:4
2011年
实时系统必须在一个事先定义好的时间限制内对来自外部或内部的事件进行响应,如何有效验证实时模型的正确性和安全性是一个难点。文章通过多个时间自动机来模拟实时系统中的各个对象,并用UPPAAL对模型进行验证,减少了模型验证的状态搜索空间,为实时嵌入式系统开发和验证提供了一种可行、安全的控制机制。实验结果显示了系统的有效性。
吴永刚陆慧娟程倬陈江
关键词:时间自动机实时系统UPPAAL
基于WebGIS的散车配货和位置服务公共搜索系统
针对我国公路物流水平不高、信息化程度不足等现状,整合各种新兴技术,建立一个基于WebGIS技术的散车配货和位置服务公共搜索系统,有效的解决当前我国公路物流市场中存在的一些问题。重点探讨了散车配货和位置服务公共搜索系统的系...
陆慧娟唐文彬程倬王训斌
关键词:WEBGIS搜索系统设计与开发
文献传递
共1页<1>
聚类工具0