您的位置: 专家智库 > >

浙江省重大科技专项资金(2007C13091)

作品数:8 被引量:35H指数:4
相关作者:陆慧娟王训斌唐文彬张火明程倬更多>>
相关机构:中国计量学院中国矿业大学更多>>
发文基金:浙江省重大科技专项资金国家自然科学基金国家质检总局科技计划项目更多>>
相关领域:自动化与计算机技术自然科学总论交通运输工程更多>>

文献类型

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

领域

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

主题

  • 3篇搜索
  • 3篇物流
  • 2篇蚁群
  • 2篇蚁群算法
  • 2篇软件即服务
  • 2篇搜索算法
  • 2篇群算法
  • 2篇协同工作
  • 2篇计算机
  • 2篇计算机支持
  • 2篇计算机支持的...
  • 2篇改进蚁群算法
  • 1篇调度
  • 1篇调度问题
  • 1篇形式化
  • 1篇形式化验证
  • 1篇时窗
  • 1篇时间窗
  • 1篇实时系统
  • 1篇统一建模

机构

  • 9篇中国计量学院
  • 1篇中国矿业大学

作者

  • 8篇陆慧娟
  • 4篇唐文彬
  • 4篇王训斌
  • 3篇程倬
  • 2篇张火明
  • 2篇陈江
  • 2篇陈建国
  • 1篇毛谦敏
  • 1篇安春霖
  • 1篇汪祥
  • 1篇范延军
  • 1篇王康健
  • 1篇王琳
  • 1篇陈五涛
  • 1篇陈伍涛

传媒

  • 5篇中国计量学院...
  • 1篇工业控制计算...
  • 1篇华中科技大学...
  • 1篇计算机工程与...

年份

  • 1篇2012
  • 5篇2010
  • 1篇2009
  • 2篇2008
8 条 记 录,以下是 1-9
排序方式:
CSCW技术中的公路物流系统研究被引量:2
2010年
介绍了基于CSCW(计算机支持的协同工作)架构的公路物流系统的总体技术方案,通过将软件即服务(SaaS)技术、WebGIS技术等的融合,实现了CSCW对不同租户异质流程和异质数据支持的公路物流系统.实际应用表明,该系统对物流企业降低成本,提升运作效率,增强企业综合竞争力有着重要作用.
陆慧娟程倬唐文彬范延军
关键词:软件即服务计算机支持的协同工作工作流管理公路物流
字符形态特征的机械仪表判读算法
2010年
基于字符形态特征提出一种快速的机械仪表判读算法.该方法中采用平滑滤波对灰度化后的图像去除噪音,再使用OTSU算法进行二值化,同时根据图像投影确定表盘区域,最后将Canny算子和Hough变换结合对图像进行矫正并分割字符.字符判读模块中对图像进一步去除噪音,对字符形态特征进行加权计算和对比,准确识别出仪表示值.通过实验证明,该算法辨识率高,有较好的实用性.
王琳毛谦敏汪祥
关键词:自动判读图像处理
UML时间顺序图的自动验证技术
2010年
UML顺序图反映对象之间的消息交互顺序,在系统建模中应用十分广泛.对顺序图进行时间扩展得到UML时间顺序图,使其具备对实时系统建模的能力.在此基础上研究了UML建模工具和模型验证工具UPPAAL的接口信息,将UML时间顺序图模型转化为时间自动机模型,并对该系统模型进行形式化验证.设计和实现了基于XML的UML时间顺序图自动验证工具.
陈江陈建国陆慧娟唐文彬
基于SaaS和CSCW的车货匹配系统研究与应用被引量:10
2012年
针对我国物流公路运输发展中存在的问题,分析了基于软件即服务(SaaS)和计算机支持的协同工作(CSCW)技术的车货匹配系统解决方案.研究了基于多实例Agent的、具有强化学习特性的SaaS系统架构,提出了车辆混合禁忌搜索算法.利用CSCW与SaaS结合构建系统框架,最终实现了一个侧重"货找车"理念的高智能车货匹配系统.系统能有效地解决公路物流运输中空载率高的问题,降低物流企业的运行成本.
陆慧娟安春霖程倬唐文彬
关键词:搜索算法
带时间窗动态车辆路径问题的改进蚁群算法被引量:6
2009年
针对带时间窗动态车辆路径优化问题的特点,通过状态转换,将求解动态车辆路径问题转化为求解一系列基于时间轴的静态子问题。分析了蚁群算法的不足之处,对原有蚁群算法进行改进,引入"扰动因子"和"奖惩"机制,并对动态车辆路径问题进行了实验仿真,结果表明,改进后的蚁群算法提高了全局寻优能力与收敛速度,取得了较好的效果。
王训斌陆慧娟陈五涛
关键词:蚁群算法
UML时间顺序图的实时系统建模及验证被引量:4
2010年
实时系统中的一点疏漏可能导致灾难性后果,故确保该类系统正确性和可靠性是至关重要的,而建模无疑是一种很好的解决办法.形式化建模方法使用具有严格数学语义对系统进行描述,但是形式化模型不够直观,形式化规格难以理解.扩展UML顺序图实现对实时系统的建模及形式化验证,并给出实例.
陈江陈建国陆慧娟王康健
关键词:统一建模语言实时系统形式化验证
改进蚁群算法在物流配送路径中的应用被引量:4
2008年
针对物流配送路径优化问题的特点,分析了基本蚁群算法的不足之处,并对原有蚁群算法进行改进.同时引入"扰动因子"和"奖惩"机制,建立数学模型,进而对物流配送车辆路径问题进行了实验仿真.结果表明,改进后的蚁群算法提高了全局寻优能力与收敛速度,取得了较好的效果.
王训斌陆慧娟陈伍涛张火明
关键词:蚁群算法物流配送
物流动态车辆调度问题的混合禁忌搜索算法被引量:12
2010年
在分析动态车辆调度问题的基础上,建立了基于时间轴的动态模型;接着针对该问题在实际中的应用,设计了基于并行节约法和禁忌搜索的混合算法以对动态车辆调度问题进行求解;最后给出算法实现和算例模拟,验证了该算法的有效性。
王训斌陆慧娟张火明
关键词:禁忌搜索算法
基于WebGIS的散车配货和位置服务公共搜索系统
针对我国公路物流水平不高、信息化程度不足等现状,整合各种新兴技术,建立一个基于WebGIS技术的散车配货和位置服务公共搜索系统,有效的解决当前我国公路物流市场中存在的一些问题。重点探讨了散车配货和位置服务公共搜索系统的系...
陆慧娟唐文彬程倬王训斌
关键词:WEBGIS搜索系统设计与开发
文献传递
共1页<1>
聚类工具0