形式化方法相关论文
从标准内容、软件生命周期数据和软件过程目标方面对机载适航标准DO-333和DO-178C进行了对比分析。按照软件计划过程、软件开发过......
随着大量软件在工业界的广泛应用,越来越多的嵌入式系统的核心控制软件逐渐走向数字化控制的道路。随着计算机硬件性能的逐渐提升,......
开源代码指源代码数据是公开的,所有人都可以获得的代码,方便人们在此基础上进行二次开发。开源代码出现问题就有可能导致使用它的......
协议的安全性分析一直是网络空间安全领域的重点研究问题。近几年来,云计算、智能终端、5G等新兴技术发展极为迅速,以移动互联网、......
区块链是一项融合多种底层技术的交叉应用技术,其中最为核心的技术包括密码学、分布式计算和机制设计。密码学和分布式计算主要解......
随着计算机网络规模和复杂度的日益增长,网络管理人员难以保证网络意图得到了正确实现,错误的网络配置将影响网络的安全性和可用性......
混成系统是同时包含连续状态和离散状态的动态系统。连续部分通常模拟物理环境的相互作用,而离散部分通常模拟控制系统的运行。计......
偏好的存在使我们面对纷繁复杂的世界时能够做出适当的行为选择,因此偏好在经济理论、选择理论和决策理论等领域中都是一个基础概......
安全苛求控制系统是一类对可靠性和安全性要求极高的系统,其正常运行依赖于正确的功能控制逻辑和配置数据。这样的配置数据称为安......
自然计算是模拟自然界的结构、功能或者层次关系等的一系列计算模型与算法。按照计算模型的启发源分类,自然计算可以分为物理层次......
铁路平交道口控制系统是一种典型的安全苛求系统，为提高铁路平交道口的安全性，提出一个能适应双线双向接车的自动控制系统。首先，对现......
消息队列中间件是分布式系统的重要组件,它使得应用程序只需关注数据,而不需要关注数据在传输时的具体细节,从而解决了消息异步传......
随着计算机算力的快速提升以及大量数据的驱动,以神经网络为代表的深度学习（Deep Learning,DL）技术在许多领域取得了长足的进步。因......
联锁子系统作为站内行车安全的关键保障,是列车运行控制系统的重要组成。传统集中联锁子系统中存在地面集中控制失效风险大、列车......
学位
近年来,城市交通拥堵问题日益突出,城市轨道交通建设被视为有效解决问题途径之一,担任着越来越重要的角色。基于通信的列车运行控......
顾维桢先生在《捕风捉影说思维》中把深奥的数理逻辑问题用浅显的日常用语表达出来，很了不起。只是在国内专业工作者看来，有些译名不......
该文中,我们探讨了形式化方法在安全协议验证领域内的相关应用问题.其中,我们工作的重点将集中在Strand空间方法上.首先,我们介绍......
通信技术的发展，给我们带来了便捷的生活方式，同时，也给传统工业领域带来了新的技术变革。以电力系统为例，现场的嵌入式监控设备借助GS......
物联网时代将带来从信息化到智能化的变革，当物联网与互联网、移动通讯网相连时，可随时随地全方位“感知”对方，人们的生活方式将从“......
随着网络及电子商务的迅猛发展，信息安全问题变得越来越重要，作为基础的安全协议的安全性成为了关键问题，事实证明，协议的安全性分析是......
该文从分布计算和ODSS的发展趋势出发,指出Agent这一抽象概念为ODSS这样的复杂系统描述提供了一个合适的抽象,MAS理论中高层次的交......
软件体系结构是近年来软件工程界的热门研究领域之一。在软件体系结构设计过程中，经常要碰到的问题是如何从抽象的高层体系结构逐步......
随着计算机软硬件系统日益复杂，如何保证其正确性和可靠性成为学术界和工业界共同关注的问题。在诸多的系统分析和验证方法中，模型检......
模型检测技术是近二十年来最成功的自动验证技术之一，目前被广泛的应用于有穷状态系统(包括电路设计和通讯协议等)的分析与验证。对......
形式化方法中的模型检测技术是近三十年来最为成功的自动验证技术之一。对并发传值系统进行模型检测需要建立相应的抽象模型,带赋......
随着技术的发展,在航天领域,软件在型号系统中得到了广泛的应用。软件失效会直接导致严重的事故甚至灾难。为提高软件的可靠性,对......
随着互联网和分布式系统的广泛应用,电子商务的发展越来越迅速,相应的网络电子商务协议成为这种交易模式顺利进行的保证。电子商务......
该文从协议设计者使用的简便性和大多数攻击与消息重放有关两个方面出发,将信仰逻辑中主流的类BAN逻辑作为该文的研究重点.该文所......
实时系统作为一种在现实中广泛使用的反应型系统，因其大多使用于安全攸关的领域，所以必须保证它的安全可靠。为了它到这个目的，必须使......
随着广域网络的发展和网络的可利用带宽的增长，以网络为中心的计算机辅助设计CAD环境—协同建模环境越来越显示其重要性。形式化方......
统一建模语言UML已经成为面向对象建模语言的标准，正在得到越来越广泛的应用。形式化软件方法能产生严密、精确的规格说明，为软件开......
软件测试的直接目的是尽可能发现该软件中的潜在缺陷，这是保证软件质量的关键。软件测试的工作往往占软件开发总工作量的40％以上，并且......
该文针对WSS的可靠性问题,从软件体系结构的角度,在两个方面进行研究探讨:基于体系结构的设计和基于体系结构的可靠性评估.前者主......
信息时代的今天，信息技术(Information Technology，IT)产业已成为推动世界经济增长的主要动力之一。随着计算机硬件技术的不断成熟，产......
不完全信息数据库与SQL语言是数据库理论的两个重要研究方向，不仅具有重要的理论价值，而且还具有重要的应用价值。本文将三值逻辑谓......
近年来，软件复用作为一种新技术之所以越来越引起人们的重视，是因为人们认识到要想提高软件的生产率，解决软件危机问题，软件复用是一个......
该项目是研究PAR方法在数值计算中的运用并用PAR方法来开发数值计算算法.针对研究目标,我们主要进行了以下工作:研究阻碍当前软件......
该文研究的主要目标是利用薛教授在开发循环不变式的新策略中提出的递归定义思想,探索一类递归定义问题的循环不变式开发技术,并应......
软件系统的成功极大依赖软件需求工程的质量，而软件的可靠性难以保证和开发效率低一直是困扰软件产业的两大难题。而用形式化方法开......
本论文首先建立一个反映产品、过程、组织、时间等要素的多视图模型,在此基础上针对软件产品和过程,从形式化描述与验证、变更影响......
由于分布式系统的固有复杂性,结合分布式系统的领域背景来证明和验证分布式系统的功能正确性一直是计算机科学领域的重要问题.机群......
随着计算机网络发展特别是开放型异构网络的迅猛发展，协议测试理论和技术的研究越来越重要，已经成为国际上计算机网络研究的热点之一......
本文的主要工作主要包括如下三个方面：首先研究了一致性测试的基本概念和测试的基本流程以及测试例的设计方法，为整个协议测试设计......
形式化方法是一种建立在严格数学基础上的软件开发方法。在软件开发过程中使用形式化方法，既可以提高目标软件系统的正确性和可靠性......
