排序方式: 共有21条查询结果,搜索用时 15 毫秒
1.
针对新时代下我国矿区智能化发展诉求与矿山无人化进程中遇到的复现难、协同难的技术问题, 本文融合智慧矿山理念、ACP (Artificial societies + computational experiments + parallel execution)平行智能理论和新一代智能技术, 设计并实现了智慧矿山操作系统 (Intelligent mine operation system, IMOS), 为平行矿山智能管理与控制一体化提出了解决方案. 本文首先分析露天煤矿产业发展趋势; 国内外露天矿山智能化发展情况; 面向露天矿山无人化与智能化需求, 深度融合数字四胞胎理论, 设计了虚实融合的IMOS架构; 详细阐述了IMOS子系统架构与功能, 包括: 单车作业系统、多车协同系统、车路协同系统、无人驾驶智能系统、调度管理系统、平行系统、监管系统、远程接管系统和通信系统; 并探讨了IMOS关键技术, 即平行矿山仿真建模技术、无人驾驶技术、矿区通信技术和协同作业技术. 该操作系统是国内首套露天矿山无人化与智能化的一体化解决方案, 并能够迁移到不同矿区不同作业场景, 推动矿区智能化无人化发展, 减少人工干预从而降低安全风险, 大幅度降低人工成本, 提高生产作业效率, 并可结合社会发展要素为实现绿色可持续发展矿区提供支撑. 相似文献
2.
3.
为解决控制系统软件中多重中断导致的系统不稳定性和难以预测性,根据控制系统并发程序的具体特点,设计面向多重中断并发程序的测试工具。测试工具主要包括程序分析器、程序插装器、控制执行器、中断发生器4个部分。采用动态验证的测试方式,以动态偏序化简算法为基础,引入中断处理机制和 sleep集合,将该算法应用于多重中断并发程序的动态监测工具中。该工具可以对原子性违背、数据竞争者两种常见的多重中断并发错误进行有效检测。 相似文献
4.
5.
6.
基于Petri网的分布式实时嵌入式系统调度的建模 总被引:5,自引:0,他引:5
提出了一种基于资源的时间Petri网模型,以便建模分布式实时嵌入式系统中的静态调度,分析系统性能。该模型将处理器资源和通信资源,以及相应的优先级附着到变迁上,从而建模以下的分布式实时嵌入式系统:在单处理器上采用基于固定优先级的抢先式调度,处理器之间的通信采用基于固定优先级的不可抢先式调度。最后分析了该模型的语义、性质以及状态类图的构造方法。 相似文献
7.
针对矿用车辆实车测试无人驾驶存在危险性大、测试时间长、测试成本高、测试内容覆盖面窄等问题,研究了基于平行控制理论的矿区无人驾驶卡车仿真系统。该系统采用矿用卡车动力学建模、高保真场景重构、虚拟传感器建模等关键技术,实现无人驾驶算法全面推演、系统集成可靠性测试、矿区生产预测模拟、虚实互动平行推演等功能。矿用卡车动力学建模主要步骤分为整车模型搭建与可视化场景创建2个部分,将车辆动力学模型与虚拟场景关联,利用车辆模型产生的仿真数据实时驱动虚拟场景中的车辆运动。针对大型露天矿场景复杂、不规则的特性,通过无人机航拍测绘、激光雷达三维扫描等手段,获取矿山高精度三维模型数据,基于虚拟微多边形几何体技术、高像素虚拟纹理技术、三维场景实时渲染技术,构建高保真虚拟三维场景。虚拟传感器主要包括虚拟激光雷达、虚拟毫米波雷达、虚拟惯导装置、虚拟视觉相机,搭载于虚拟矿车上,负责生成虚拟场景中的数据信息,并将数据发送到自动驾驶控制器进行处理。基于该仿真系统,可以进行单车测试、多车调度测试、智能调度算法测试,还可以对现场车辆和虚拟车辆的虚实互动进行测试,为整个矿区的稳定运输、复杂路口的推演模拟、智能调度算法的最优决策提... 相似文献
8.
无线传感器网络在智能交通系统中的应用 总被引:2,自引:1,他引:1
无线传感器网(WSN)综合了嵌入式系统、无线通讯、微电子等技术,逐渐应用于智能楼宇与智能家居、医疗监护、工业监控等领域.本文介绍了无线传感器网络常用芯片和典型解决方案,及其在智能交通系统(ITS)中的典型应用. 相似文献
9.
10.
针对现有的基于Petri网的调度分析算法存在的不足,提出了一种适合于分布式实时嵌入式系统的调度分析算法。该算法使用相对的触发域判定调度序列中的变迁是否可以调度;通过引入并行间隔,记录了调度序列中的并行变迁的相对执行时间;在计算调度长度时,使用并行间隔作为并行变迁的执行时间,从而得到了正确的调度分析结果。 相似文献