混成系统相关论文
混成系统是同时包含连续状态和离散状态的动态系统。连续部分通常模拟物理环境的相互作用,而离散部分通常模拟控制系统的运行。计......
混成系统是一类复杂的动力系统,其中既包含了连续演变行为又含有离散变迁行为,并且两者又交织发生.连续演变状态可用于描述各个独......
如何对安全关键混成系统进行形式化建模及验证方法是一项重要的科学问题。在现有的工程实践中,作为验证对象的安全属性缺乏规范化......
深度神经网络在许多复杂应用场景中证明了其替代人类智能进行决策的潜力。信息物理融合系统中大量嵌入了深度神经网络控制器进行智......
混成系统是离散逻辑跳转与实时连续行为交织的复杂状态变迁系统,针对混成系统的形式化建模与验证是确保其正确性和可靠性的重要途......
视频目标检测和跟踪是计算机视觉领域中重要的研究内容。随着计算机运算能力的不断提高、高质量低成本视频采集设备的出现以及人们......
飞机表面爬行机器人是一个复杂的离散事件和连续动态事件相结合的混成运动系统,为描述系统的静态特性和动态行为,提出一种分层可控......
期刊
物联网是物理世界和信息世界的无缝融合,它将信息世界的快速发展能力带到了物理世界,促使信息与实体服务方式发生深刻的变革.物联......
基于平方和松弛和有理向量恢复,提出了一种符号数值混合计算方法来构造多项式Lyapunov函数以判定非线性混成系统的稳定性.首先,为L......
期刊
矿井机车无人驾驶系统显著表现出连续和离散同时存在的混成特征，混成自动机能够精确刻画其系统演化过程，文章研究该系统的建模及验证......
混成系统是一类既包含连续动态行为又包含离散动态行为的系统,这类系统在实际应用中显得越来越重要,对这类系统需要探索新的模型和......
ETCS-2级列车运行控制系统呈现复杂的混成性.按照无线闭塞中心(RBC)交接协议的内容,建立RBC交接协议的UML图；基于微分动态逻辑理论,......
基于离散混成自动机（DHA）理论，提出混成自动发电控制（HAGC）的概念、原理以及体系结构。HAGC体系结构由混成模型、实际系统和系统数据3部......
最强后件的计算是模型检测算法的核心.本文使用一阶逻辑可满足性模线性算术理论给出线性混成自动机的有界模型检测表示公式,利用一......
对混成系统进行安全性验证是计算机领域具有重要意义和挑战性的课题,传统的测试仿真技术不足以确保系统的绝对安全性和完备性。基......
<正> 1 引言混成系统是包含连续部件和离散部件的实时系统。其中连续部件是满足一定微分方程的物理设备,离散部件是运行程序的计算......
期刊
利用微分动态逻辑对铁路道口控制进行形式化分析与建模。在火车从发送接近信号到进入道口的运动过程中，根据火车到达道口时间上的要......
基于动态微分逻辑的混成系统形式化验证理论,分析空间生命支持系统的一个子系统VCCR（Variable Configuration Carbon Dioxide Remov......
21世纪初期，为了协调大电网与分布式发电之间的矛盾，充分利用分布式发电污染少、能源利用率高、供电可靠性高等优点，一些专家学者提出......
混成系统是由计算机和物理设备组成的嵌入式实时计算系统。它允许在交互式实时系统中引入连续变化的单元。ＸＹＺ／Ｅ是基于Ｍａｎｎａ－；Ｐｎｕｅｌｉ的线性时序逻辑的......
针对配电网的混成多目标优化电压控制问题,阐述建立混成控制指标体系的重要性和必要性,并从工程实用的角度出发,选取便于量测和计......
针对一类非线性混成系统的可达性问题,提出了一种基于多面体包含的分析方法。首先介绍了混成系统及其可达性,讨论了如何应用多面体......
在介绍混成系统和形式验证基本概念的基础上，重点介绍了模型检验和定理证明这两种混成系统的形式验证方法，对模型检验方法给出了一个......
信息物理融合系统是信息世界和物理世界高度融合和深度协作的新型工业系统,被美国政府列为未来八大关键信息技术的首位。它采用计......
混成系统是离散逻辑跳转与实时连续行为交织的复杂状态变迁系统,形式化建模与验证是确保混成系统正确性和可靠性的重要途径。首先......
根据混成系统的主要功能,生成混成系统评价的主要指标,根据以该指标序列的历史数据,建立基于主成分分析的混成系统可靠性趋势分析......
核电数字化仪系统既涉及反应堆随时间变化的物理动态演化过程，又涉及计算机的离散控制过程，属于典型的实时混成系统。微分动态逻辑是......
目前针对物联网的研究主要是对系统进行整体分析,设计与验证过程较复杂。为此,利用混成系统对物联网系统进行建模,将一个复杂的物......
混成系统是一种典型的现代复杂动态系统，保持其精确性和稳定性是目前工程控制领域和人工智能领域共同研究的一个重点问题。基于模型......
混成系统是一种既包含离散成分又包含连续成分的计算系统，数控系统等一些与其外部连续变化的物理环境不断交互的嵌入式系统就是其典......
随着嵌入式系统在安全攸关领域的广泛应用，嵌入式系统的研究也逐步升温。由于混成系统既可以描述嵌入式系统离散的控制逻辑，又可以描......
形式化方法是开发高可信软件和安全攸关系统的有效途径,是高可信计算的研究重点之一。高可信计算追求软件和系统提供可信赖的计算......
随着软件、集成电路、网络及通信技术的飞速发展,人类生存的自然物理世界与计算机科学领域之间的联系和相互影响愈加的紧密和重要......
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清......
混成系统是实时嵌入式系统的重要子类,其行为中存在连续变化和离散跳转混杂的情况,使得混成系统行为复杂,安全性难以掌握。近年来,......
混成系统(Hybrid Systems)是指系统行为既包含离散跳转、又包含连续演化的复杂系统,很多嵌入式系统、实时系统和信息物理融合系统......
车辆协同驾驶旨在兼容道路交通安全与效率的前提下,充分利用道路条件,实现若干单车之间的协同控制与驾驶,使其不仅具有组队行驶速......
伴随着科学技术的发展,计算机、信息处理技术、自动化与数字设备的应用范围更加广泛,在通讯、制造、电力等领域人们建立起了日益复......
混成系统是一类包含连续和离散行为的复杂系统,被广泛应用于工业控制系统的建模,混成自动机是当前其主流建模语言,混成自动机的有......
液压运动系统既包含连续过程也包含离散过程，可以认为是一个混成系统，在以往研究中缺乏对此类系统安全性的建模与证明。为了解决这个......
混成系统是实时嵌入式系统的一种重要子类，其行为中广泛存在离散控制逻辑跳转与连续实时行为交织混杂的情况，因此行为复杂，难以掌握与......
