形式化建模相关论文
针对航电系统任务安全性分析缺少仿真与验证手段问题，提出了一种面向航电系统任务安全性的形式化建模与验证方法。首先，基于时间自动......
在工业互联网背景下,工业控制网络对各要素之间的互连互通提出了更高的要求,工业以太网协议标准不统一、彼此之间不能兼容的问题日......
计算机并发性程序形式化验证一直是软件安全领域的难题.软件并发性漏洞难以被发现,一旦发生问题,会造成不可估量的安全问题.形式化......
近年来,随着国内外学者对车车通信列控系统的不断探索和研究,系统在精简轨旁设备,提高车载自主性和动态间隔控制方面都有了新的突......
TCMS(Train Control and Management System)是列车运行控制、数据监测的中枢,文章分析磁浮列车TCMS的系统拓扑和功能需求,建立时......
自动驾驶技术可有效解决社会面临的交通安全、道路拥堵、能源消耗等问题,以提供更舒适的交通环境。早期的自动驾驶技术主要研究特......
对于第三代移动通信系统,目前国际上主要有三种不同的技术标准:CDMA2000,WCDMA,TD-SCDMA.其中TD-SCDMA无线传输技术是由我国提出的......
随着计算机技术在列车运行控制系统中的应用，安全问题显得越发的重要和复杂，传统的安全系统设计、分析和测试方法难以满足以计算机技......
定义了一种Web服务交互模型，这一模型能清晰表达Web服务组合中各组成部分之间的交互关系，并可以模拟组合服务的执行，分析其动态性质，给......
由于传统车辆跟驰建模预测方法无法遍历车辆所有可能的系统输入与运行状态的不确定性,因而不足以从理论上保证对周边车辆安全跟驰......
提出一种基于随机进程代数的认知网络形式化建模与分析方法，首先介绍PEPA的基本概念，然后结合认知问题本质，对网络系统行为进行精简和......
RBAC是一种基于角色访问控制模型,该模型通过角色为核心,并加以各种约束,完成对用户权限的管理指派,本文通过引用E-CARGO模型对RBA......
基于IP复用的片上系统设计方法的出现,推动了片上总线技术的诞生。片上总线协议是片上总线技术的核心,其设计的好坏对片上系统的可......
离散动态系统的建模方法主要分为两大类:形式化建模技术和非形式化建模技术.所谓形式化建模技术是指采用大量的数学工具通过状态方......
随着仿真系统复杂程度的不断增加,VV&A过程也越来越复杂,人工完成需要花费大量的时间和精力。而工作流技术将工作分解成定义良好的......
作为企业业务过程电子化的关键要素，业务流程管理是正在迅速发展的技术，在不同的行业得到广泛应用。业务流程建模是工作流系统中的一......
BPEL（业务流程执行语言）作为一种Web服务组装协议，是使用XML编写的用于描述Web服务静态组装结构的形式规约语言。为了使BPEL所描述的W......
工作流技术作为计算机支持的协同工作(Computer Suppoaed CooperativeWork，CSCW)领域的一项重要应用，在企业过程管理中发挥了重大作......
数学和逻辑中把一个公式中的某个子项替换成另一个子项的操作过程就是项重写。项重写系统的理论是计算的基础理论。本文属于项重写......
嵌入式系统是复杂的反应式系统,其主要特点是持续与外部环境进行交互、运行通常没有终止状态。由于嵌入式系统本身的确定性、并发......
近年来，随着计算机硬件和软件的快速发展，使得软件工程面临着严峻的挑战：软件系统变得越来越复杂，大大增加了开发和维护的难度。如何更......
近年来，对软件非功能性需求的研究越来越得到需求工程界的关注，人们普遍认为，软件非功能性需求是否能被满足，或者在多大程度上得到满足......
多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)广泛应用于各类复杂并发系统,由线程竞争资源或推进顺序不合适所引发的死锁问题变得越来......
动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进......
为了更好地适应对Internet中迅速发展的新形态P2P网络应用进行建模的需求,深入研究了适于描述多方并发网络交互的形式化建模方法.......
