形式化建模相关论文
针对航电系统任务安全性分析缺少仿真与验证手段问题，提出了一种面向航电系统任务安全性的形式化建模与验证方法。首先，基于时间自动......
在工业互联网背景下,工业控制网络对各要素之间的互连互通提出了更高的要求,工业以太网协议标准不统一、彼此之间不能兼容的问题日......
近年来,随着国内外学者对车车通信列控系统的不断探索和研究,系统在精简轨旁设备,提高车载自主性和动态间隔控制方面都有了新的突......
近年来,国内外广泛开展列车虚拟编组的研究,其特点主要有:以车车通信替代物理联结使多列车以较小间隔同速行驶,从而将多列车视为一......
自动驾驶技术可有效解决社会面临的交通安全、道路拥堵、能源消耗等问题,以提供更舒适的交通环境。早期的自动驾驶技术主要研究特......
基于IP复用的片上系统设计方法的出现,推动了片上总线技术的诞生。片上总线协议是片上总线技术的核心,其设计的好坏对片上系统的可......
随着仿真系统复杂程度的不断增加,VV&A过程也越来越复杂,人工完成需要花费大量的时间和精力。而工作流技术将工作分解成定义良好的......
数学和逻辑中把一个公式中的某个子项替换成另一个子项的操作过程就是项重写。项重写系统的理论是计算的基础理论。本文属于项重写......
多Agent系统可以看作是多个独立自主的Agent通过相互通信、交互以及协作对同一个问题进行求解的分布式智能系统。由于通信的单个Ag......
随着科学技术的发展,尤其是信息技术的发展,人们所研究的系统规模越来越大,内容更加丰富,同时不确定因素层出不穷。目前所研究的内......
在传统的软件开发过程中，通常采用非形式化或半形式化方法作为软件需求描述的手段，但是非形式化方法和半形式化方法都无法避免自然语......
我国铁路近些年发展形势迅猛，列车的安全行驶问题同时逐渐受到人们的高度关注。列车车载自动防护系统(ATP)的核心功能是对列车的行......
信息-物理融合系统（Cyber-Physical System, CPS）是一种包含了嵌入式、控制、通信以及海量数据处理等技术的复杂的网络化嵌入式系统，......
下一代网络是电信网络发展的方向，业务控制方式和业务提供方式是下一代网络研究的重要内容。业务和传输的分离是下一代网络的基本特......
随着硬件设备计算能力的迅速提高以及社会需求的不断变化和增长,嵌入式系统变得越来越复杂,这对嵌入式实时软件开发的各个阶段(从......
混成系统是离散逻辑跳转与实时连续行为交织的复杂状态变迁系统,针对混成系统的形式化建模与验证是确保其正确性和可靠性的重要途......
CTCS-3(China Train Control System level 3)级列车控制运行系统是保障我国铁路时速300~350 km客运专线高速列车安全、可靠、高效......
随着网络通信技术的高速发展,网络协议标准也不断地更新和完善。如何更有效地保证网络协议的实现质量,已成为网络协议工程领域的关......
随着web应用的日益普及,对软件可信性的要求越来越高。软件安全性是可信性的重要组成部分。软件安全问题的本质是软件安全缺陷被攻......
随着互联网的高速发展,网络协议标准也不断地更新和完善。如何更有效地提高网络服务,已成为网络协议工程领域的关键问题之一。层次......
随着信息科学和计算机技术的快速发展,形式化建模和代数分析方法对复杂控制系统的合理设计和高效开发显得越来越为重要,而Petri网......
21世纪被称为海洋的世纪。海洋是地球系统的重要组成部分，它是一个非常复杂的生态系统，其中有各种不同时空尺度和不同层次的物质存在......
协同技术的不断发展和协同应用研究的深入,使得复杂网络环境下的应用流程变得越来越复杂。随着应用流程的协同性、并行性和规模性......
目前,在机器人控制领域,面向服务的控制系统可提高控制系统的重用性和可扩展性,将形式化建模和模型验证技术应用于面向服务的机器......
人机界面(Human Machine Interface,HMI)能够将控制现场的数据以更直观的形式展现给工作人员,在工控领域中扮演着重要角色。传统的......
近年来,国内外广泛开展了对基于车车通信的列控系统(以下简称新型列控系统)的研究,其主要特点有:轨旁设备最少化、通信多模化、车......
随着互联网技术的广泛普及和飞速发展,高清视频、实时会议和在线点播等新型网络应用的不断出现,骨干网流量呈爆炸式增长,这对底层......
互联网的快速发展促使服务商之间可以通过跨界合作生产新的产品,可以达到提高企业的效益的目的,为服务商推荐服务商进行跨界合作是......
随着信息技术的快速发展,智能建筑成为“互联网+”和建筑行业深度融合的方向和突破口,而网络安全漏洞的爆发式增长、移动互联网、......
工业控制系统(ICS)是应用于工业基础设施的系统,多使用于监督控制、数据采集和工业自动化等。工业控制系统中包含了多种不同的硬件......
轨道电路作为铁路信号系统基础设备,主要用于反映区间闭塞分区占用情况,其可靠性与安全性对于铁路运输安全起着至关重要的作用。当......
随着POSIX多线程(POSIX Threads,Pthreads)广泛应用于各类复杂并发系统,由线程竞争资源或推进顺序不合适所引发的死锁问题变得越来......
计算机联锁是实现进路控制,保证行车安全,提高运输效率的重要技术手段。联锁软件作为计算机联锁系统的关键软件,研究联锁软件的测......
基于传统的Dolev-Yao攻击者模型的密码协议形式化建模及其分析方法中,由于攻击者依据自身的知识和截获到的消息,形成尽可能的数据......
随着电子商务、电子政务等网络应用需求的不断增长,可扩展标志语言数据库(Extensible Markup Language Database,XML Database)技......
学位
新世纪信息时代的来临加速了跨组织商务活动的迅猛发展,服务交互活动的规模与涉及领域不断扩大,组织边界对业务流程的限制作用也开......
随着城市化脚步的逐渐加快,CBTC(Communications-Based Train Control,基于通信的列车控制)系统已经成为当今世界城市轨道交通列控......
等级转换是CTCS(Chinese Train Control System,中国列车运行控制系统)主要场景之一,其功能能否精确、实时完成直接关系到列车运行......
学位
铁路时间同步网是铁路通信网的重要支撑子网,包括地面时间同步网和列车时间同步网两个部分。时间同步网为铁路内部各系统提供统一......
随着我国经济的快速发展，铁路的发展已经步入黄金期。目前我国线路大多使用CTCS-3（Chinese Train Control System，中国列车运行控制系......
计算机联锁系统是铁路信号系统中保证行车安全的重要设备,失效后可能导致重大人员伤亡和财产损失,系统功能逻辑需要具备很高的安全......
高速铁路列车运行控制系统(简称:列控系统)融入了先进的计算机、通信以及控制技术,极大地提升了系统的效率和安全性。由于系统的硬......
联锁系统是铁路信号系统的重要组成部分，直接关系到车站行车和作业的安全与效率。计算机联锁系统由于具有高效、智能化、易于维护的......
自适应软件系统能够根据自身需求和环境的变化自动改变自己的行为。此时，在软件运行时，运行环境的变化将产生新的需求，而传统软件模型......
为了保证一种非常经典的适用大规模存储地NAND闪存上的DFTL算法的正确性,对DFTL算法采用了形式化建模的方法来建立一个高可信的形......
在Web服务业务流程中如何保证参与者之间的协调一致性是亟待解决的重要问题.Web服务事务规范中描述的参与者之间的交互消息缺乏严......
温室环境测控系统由多个可并发执行的子系统共同协作来构造适宜的温室环境以确保作物有效生长.为提高温室环境测控系统设计的效率......
