您的位置： 专家智库 > >

国家质检总局科技计划项目(2009QK026)

作品数：2 被引量：14H指数：2
相关作者：陆慧娟程倬安春霖唐文彬王康健更多>>
相关机构：中国计量学院更多>>
发文基金：浙江省重大科技专项资金国家质检总局科技计划项目更多>>
相关领域：自然科学总论自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

  • 1篇自动化与计算...
  • 1篇自然科学总论

主题

  • 1篇形式化
  • 1篇形式化验证
  • 1篇软件即服务
  • 1篇实时系统
  • 1篇搜索
  • 1篇搜索算法
  • 1篇统一建模
  • 1篇统一建模语言
  • 1篇协同工作
  • 1篇计算机
  • 1篇计算机支持
  • 1篇计算机支持的...
  • 1篇建模语言
  • 1篇CSCW
  • 1篇SAAS
  • 1篇AGENT

机构

  • 2篇中国计量学院

作者

  • 2篇陆慧娟
  • 1篇陈江
  • 1篇陈建国
  • 1篇唐文彬
  • 1篇安春霖
  • 1篇王康健
  • 1篇程倬

传媒

  • 1篇华中科技大学...
  • 1篇中国计量学院...

年份

  • 1篇2012
  • 1篇2010
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于SaaS和CSCW的车货匹配系统研究与应用被引量：10
2012年
针对我国物流公路运输发展中存在的问题,分析了基于软件即服务(SaaS)和计算机支持的协同工作(CSCW)技术的车货匹配系统解决方案.研究了基于多实例Agent的、具有强化学习特性的SaaS系统架构,提出了车辆混合禁忌搜索算法.利用CSCW与SaaS结合构建系统框架,最终实现了一个侧重"货找车"理念的高智能车货匹配系统.系统能有效地解决公路物流运输中空载率高的问题,降低物流企业的运行成本.
陆慧娟安春霖程倬唐文彬
关键词：搜索算法
UML时间顺序图的实时系统建模及验证被引量：4
2010年
实时系统中的一点疏漏可能导致灾难性后果,故确保该类系统正确性和可靠性是至关重要的,而建模无疑是一种很好的解决办法.形式化建模方法使用具有严格数学语义对系统进行描述,但是形式化模型不够直观,形式化规格难以理解.扩展UML顺序图实现对实时系统的建模及形式化验证,并给出实例.
陈江陈建国陆慧娟王康健
关键词：统一建模语言实时系统形式化验证
全选 清除 导出
共1页<1>
聚类工具0