模型检验相关论文
近年来,盈余管理在经济学与会计学的领域一直是热门话题,社会各界对它的关注度也非常高。另外,鉴于计提和转回资产减值准备存在操......
[目的 /意义]建立大学生数字素养框架，对于推动落实《提升全民数字素养与技能行动纲要》、有效开展数字素养教育具有重要意义。[方......
如何对安全关键混成系统进行形式化建模及验证方法是一项重要的科学问题。在现有的工程实践中,作为验证对象的安全属性缺乏规范化......
数据产生价值,数据也是统计科学发展的动力.随着科技的迅猛发展,数据收集成本的降低导致海量数据以涌现形式出现,这些数据不仅规模......
合理、可靠的有限元模型直接影响到结构动态分析结果。检验计算模型中的不确定参数不仅具有一定的理论意义，更具有重要的工程价值。......
可编程逻辑控制器（PLC）是一种被广泛应用于工业控制领域的嵌入式设备。它常被用于实现安全攸关系统的控制逻辑,例如核电、交通、医疗......
随着软件系统规模地增大和复杂度不断提高,软件需求的分析和描述变得越来越困难,如何利用有效的技术,工程化的方法进行需求描述分......
随着计算机性能和通信技术的快速发展,我们在工业生产、生物医学及现代计量经济学等诸多领域都会遇到各种各样复杂且高维的数据.为......
随着软件规模和复杂度的不断提高,软件缺陷问题不断出现。如何提高软件的可靠性已经成为软件工程领域的一个重要研究问题。程序验......
目的研究舱室空气微生物浓度检测数据分布的有效统计学分析模型，为获取舱室空气微生物污染容许浓度理论限值提供手段。方法应用数学......
随着VLSI技术的不断发展，尤其是Dennard缩放定律的终结，单核已经不能满足硬件发展的需求，多核已成为主流的体系结构。多线程技术的提......
自2015年证监会颁布实施《公司债券发行与交易管理办法》以来，公司债券发行全面提速，公司债市场逐渐成为股票市场以外另一个重要的直......
半物理实时仿真技术可以为系统开发节约成本,缩短开发周期,减小风险,提高可靠性,在系统设计阶段特别是复杂的大型控制系统的设计阶......
该文立足于安全关键系统,选择铁路车站信号控制系统作为具体的应用对象,对安全关键系统的形式化开发方法进行了下述主要研究和探索......
学位
在混合系统中,离散事件和连续动态行为相互作用的特性使得系统开发的正确性难以保证,尤其对于安全悠关的系统,如电力系统和化工系......
系统辨识是高性能自动化技术(如模型预测控制)中的重要内容。随着人们生活水平和工业生产水平的提高,人们对工业产品质量的要求越......
随着计算机软硬件系统日益复杂,如何保证其正确性和可靠性成为日益紧迫的问题。各国研究人员为解决这个问题付出了巨大的努力,并取......
目前,全球移动电子商务呈现异常强劲的势头,我国移动电子商务也在迅速发展。用户使用移动电子商务时最关心的是安全问题,而移动电......
本文的研究工作包含两个部分:第一,对Web服务组合的正确性进行了验证,提出了基于BPEL的Web服务组合形式化分析模型和自动测试框架;......
形式化验证方法主要包括定理证明和模型检验,其中模型检验因其自动化高得到重视,并已经在硬件领域和通讯协议的分析与验证中取得了......
装配序列规划作为制造领域的研究热点之一,其好坏直接影响产品的可装配性、装配成本以及装配质量。自上世纪八十年代以来,国内外专......
模型检验是一种基于对系统的状态空间进行穷举搜索的自动验证技术。对并发和实时系统进行模型检验时,状态数目往往随着并发分量和......
该文对安全协议的特点作了深入的探讨.通过对目前安全协议的检验方法的研究,对安全协议分析有了深入的认识.模型检验方法是一种形......
实时系统的模型检验方法是一种保证计算机实时系统安全性和可靠性的严格的形式化方法，随着计算机科学的发展，这种方法已经被广泛地接......
由于因特网和嵌入式系统在汽车、飞机以及其它安全系统的成功应用，未来将会更加依赖于计算机设备的功能。由于技术的快速发展，发展验......
信息物理系统被广泛应用于交通、医疗、能源等多个重要发展领域。控制器局域网（CAN）是一种现场总线，该总线可应用于车载信息物理系统......
云计算是伴随互联网的蓬勃发展应运而生的一种新型计算方式，它突破了传统计算的局限，增强了当下急需的计算能力，同时又提供了灵活的可......
随着Web服务的出现和推广,基于Web服务的动态服务组合技术也成为近年的研究热点。Web服务的业务流程执行语言(BPEL4WS)作为一种基......
随着面向服务架构SOA（Service-oriented Architecture）的发展，Web服务组合已经应用到日常生活的各个领域。用户在使用Web服务组合时，需......
复杂的软件系统往往有很多未知的系统错误，这些潜在错误给软件的可靠性、稳定性带来了很大的挑战性。模型检测技术(建模)能够从软件......
随着数字IC设计规模的增大和功能复杂性的提高,设计验证成为IC设计流程中越来越重要的方面。传统的模拟验证方法无法满足复杂IC设......
模型检验是一种非常重要的自动验证方法，主要通过显式状态搜索或隐式不动点计算来验证有穷状态系统的模态命题性质，避免建立复杂的证......
软件测试是保证软件产品可靠性和正确性的有效方法，其中设计和生成有效的测试用例是决定测试质量的重要因素之一，而测试用例自动生成......
基于B/S模式的Web应用既保留了C/S模式分布计算的特性，又便于集中管理，而且最重要的是对客户端的限制较少，因此极大地促进了Web应用的......
高性能计算集群以及多核处理器在各应用领域的推广普及,使得并行计算技术的使用更加广泛了,但是并行程序设计的难度给并行技术的推......
系统复杂性继续按照摩尔定律增加,而功能复杂性的增加速度则更加迅猛。为解决复杂性增加的问题,EDA行业提出了通过自动化来实现设......
面向服务的体系结构(Service-Oriented Architecture, SOA)是分布式计算和软件开发的最新发展方向。SOA的目的是以Web服务为基础，有......
由于计算机技术的快速发展,系统的可靠性与安全性问题也成为了人们重点关注的问题。目前为了确保系统的可靠性与安全性,一般采用测......
随着科学技术的发展,计算机的硬件技术也不断的更新与替换,这就要求运行在硬件上的软件操作系统不断的适应新的硬件设备。同步机制......
电连接器作为型号装备上一种必不可少的基础元件,主要用于实现型号装备上电能和信号的传递,在型号装备上使用十分广泛。如果一个电......
随着现代信息技术的不断发展,物联网已经进入各个领域,并得到了广泛应用,其中,智能家居物联网也得到了快速发展并走进了千家万户。......
中断驱动系统被广泛应用于安全关键的嵌入式系统中,如航空航天、工业过程控制等。这些系统对软硬件的可靠性要求极为苛刻,一旦出现......
增强飞行视景系统作为飞机上的复杂电子系统,传统的安全性分析面临工作量大,过于依赖分析人员经验,容易出错等问题,Petri网、概率......
随着代码规模的增大和系统复杂性的增加,软件开发者意识到依靠人工的方式去维护软件系统、排除系统错误已经变得非常困难。形式化......
由于研究对象的复杂性和多样性,以及随机抽样的时间性,要使某随机变量满足给定分布函数或者密度函数的假设是非常困难的.在拟合实......
参数模型具有解释性好、易于理解、预测准确等优良性质。现有文献中,均值参数回归模型得到了很多学者的关注。较均值模型而言,分位......
