统计模型检验相关论文
基于车车通信的列车自主运行系统（Train Autonomous Circumambulation System,简称TACS）已经成为最新的列车智能控制系统。这种控制......
自动驾驶场景中存在着丰富的时空数据和动态行为交互,使得自动驾驶场景充满复杂性。系统的安全性面临着严重的挑战。近年来,人们尝......
随着5G通信、物联网技术的发展,越来越多软件、硬件被部署在开放的物理环境中。然而,系统在该环境中运行存在多种不确定性因素(例......
随着信息物理系统(Cyber-Physical System)及其相关技术在实际社会生产生活中的广泛应用,CPS安全问题受到社会各界越来越密切的关......
针对综合模块化航空电子系统(Integrated Modular Avionics,IMA)存在周期任务和非周期任务,以及任务间依赖关系,传统方法不能准确......
程序合成是软件开发中的一个重要研究问题,其主要目标是自动生成符合给定规约的可执行代码。随着计算机技术的发展,程序变得越来越......
针对综合模块化航空电子(IMA)分级调度系统中的分区参数优化问题,提出了一种基于模型检验的参数生成方法。该方法结合了传统符号模......
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......
信息物理融合系统常采用嵌入式实时多任务系统作为其控制软件，这类软件的并发和非确定性给验证带来了困难．提出了一种利用统计模型检......
