一致性验证相关论文
开源代码指源代码数据是公开的,所有人都可以获得的代码,方便人们在此基础上进行二次开发。开源代码出现问题就有可能导致使用它的......
电力设备的在线监测和故障检测中,多传感器图像可以从不同的角度描述电力设备的特征:红外图像不受环境限制,可以反映设备的温度信......
为了在传统变电站改造为智能变电站的过程中，灵活接入集群测控系统的智能电子装置配置描述（IED configuration description, ICD）模型......
目前,形式化方法在需求一致性验证方面显示出了强大的力量,特别是对于安全攸关系统。然而,大多数现有的需求验证研究只关注软件需......
学位
区块链已成为现代甚至未来众多应用程序中最具吸引力的技术之一.目前Fabric是实现企业级区块链的开源联盟区块链,其性能的不足一直......
砂土作为无黏性土,在天然状态下具有一定的结构性,无论何种高质量取样设备或者取样方法,都不可避免地对砂层结构性造成扰动,同时在......
针对现有数据中心化存储所面临的分布式数据一致性、安全性、防篡改性等问题,通过对区块链及智能合约相关技术进行介绍,采用拜占庭......
以某型空空导弹为对象,对该导弹模型的仿真可信度评估方法进行了研究,提出了基于最大熵谱估计法的导弹仿真数据一致性验证方法。模......
近年来,具有多学科高度交叉特点的物联网已逐渐成为信息产业的新兴研究热点,各国都将其视为重要战略部署。在中国,物联网发展的体......
当前，对业务流程管理的重视正在影响着信息系统的构建方式。业务流程模型在信息系统构建中的地位越来越重要，同时数据模型描述了业务......
缺乏对时间管理的支持是当今工作流管理系统的一个重要不足,也是工作流技术实施复杂企业应用的严重局限。开展工作流时间管理的研......
随着1993年工作流管理联盟(WorkflowManagementCoalition)的成立，工作流技术得到了长足的发展，并且成功地运用在工业，农业，航天等众多......
随着计算机软件模型日趋复杂以及大规模与并发系统的应用，如何保证系统模型的正确性、一致性成为当前研究的热点。本课题以面向任务......
软件是否严格按照设计要求实现，是软件质量评估的重要标准，是软件测试的一项重要工作。人工遍历的方法分析软件设计与实现的一致性是......
时间管理是工作流管理系统的重要组成部分。企业应用越复杂,对工作流时间管理技术的要求越高。由于时间概念表示、分析的复杂性,以......
随着领域需求的不断变化，使得领域软件的规模和复杂性不断增加，导致领域需求分析与建模成为领域工程研究中的严峻挑战。鉴于领域工程......
由于社会网络的广泛传播性、动态性以及多样性,受到越来越多的用户欢迎,大量社会网络服务网站快速崛起。人们利用社会网络提供的服......
本文通过实现基于快照的软件事务性内存算法模型，来验证软件事务性内存和快照隔离机制的可结合性。对比测试表明，当系统中写操作比较......
时间和资源是工作流管理系统中的两个重要的方面,首先从不同模型的角度系统分析了基于Petri网的工作流时间管理问题,对工作流的时......
本文分析UML状态图和顺序图的并行结构特征，利用Petri网的并行结构单元来描述状态图的并行域和顺序图的并行片段。论文引入Petri网......
本文介绍了如何基于工程仿真的方法对广核自主开展的仪控功能设计进行验证,包含规范性验证、一致性验证、功能性验证和其它专项验......
本文通过求解Poisson方程,建立了具有Si/SiO2界面电荷的SOI高压器件新结构纵向耐压模型,该模型表明,在硅和埋氧层界面上引入界......
语义Web和Web服务是当前热门的应用技术，而两者的结合——语义Web服务将在未来几年具有极大的应用前景。语义使得Web服务的自动发现......
我国的PKI标准在制定时参考了国际或国外标准制定组织的标准,因此这些标准在使用时,之间的一致性难以得到保障。这就使得对这些标......
随着计算机技术、通信技术和网络技术的飞速发展,计算机系统的安全性日益受到重视,访问控制作为一种重要的安全技术,已经渗透到操......
智能变电站测控装置目前没有备用，测控装置故障或异常时，相应电气间隔将失去测控功能。测控装置双重化方案曾进行过一些试点，实现技术......
统一建模语言（UML）是目前广泛使用的一种面向对象建模语言，其图形化，半形式化的特点，使其缺乏精确的语义描述，模型之间容易出现不一致问......
针对体系结构动态行为的语义一致性验证问题,提出了基于生成图的验证方法.首先根据体系结构的动态行为模型构建生成图,然后对生成......
为使经营过程仿真工具对分解机制、层次化描述和模型重用提供支持,提出了基于扩展IDEF3方法的分层次的仿真建模方法.该方法继承了I......
近年来,体系结构验证已经成为C4ISR系统体系结构领域重要的研究方向.传统的体系结构验证方法依赖于体系结构数据的表现形式,依赖于......
针对特征模型的演化导致特征间的冲突问题,从特征模型的演化方面进行研究,提出了一种基于本体的特征模型演化的一致性验证方法。首......
系统建模是嵌入式系统设计的关键步骤,其好坏直接影响着设计的质量和产品的上市时间.已有多种建模方案,但每种都有其局限性.本文提......
在软件体系结构的相关研究中,如何保证软件体系结构的一致性成为了很重要的课题。提出了一种基于OCL的体系结构一致性验证方法,通......
对复杂实时构件系统行为进行形式化描述和一致性验证,可以提高实时构件的可复用性和系统的正确性、可靠性。分析了时间行为协议TBP......
传统上依靠经验设计的安全网关侧重于功能实现,缺少严格的安全模型。对此,针对一种典型安全网关,首先根据其安全需求给出相应的安......
针对Android应用数目庞大、功能多样而难以准确验证应用实际类别的情况,对Andriod应用的网络行为进行分析研究,提出应用的行为一致......
泰克公司日前为泰克DSA8200数字串行分析仪系列推出新的光采样示波器模块，从而有效降低高性能光发射机开发和标准一致性测试的成本......
针对分布式环境中信任管理缺乏统一定义和一致性验证算法效率较低等问题，给出了信任管理的形式化定义．信任管理为六元组，包括可数的主......
尺寸公差与形位公差的一致性验证是计算机辅助公差设计中不可缺少的重要环节.在包容要求、最大实体要求及最小实体要求条件下,分析......
在开放式环境中，信任管理是最常用的一种访问控制方法．但是，目前存在的信任管理系统存在以下不足：（1）没有刻画实体之间的信任程度，与现实......
该文基于Fcielogic_SDL_TTCN_Suite使用规范和描述语言（SDL：speci6cation and Description Language）以及树表结合表示法（TTCN：Tree and......
DSA8200数字串行分析仪配合新推出的光采样示波器模块80C10B和80C25GBE，可有效降低高性能光发射机开发和标准一致性测试的成本。80C......
超长整数的运算是现代密码系统的应用基础,运算的正确性关系到密码系统的应用价值。为了验证超长整数算法的设计与需求目标之间的......
随着无线传感器网络（WSN）的广泛应用，对于具备安全保护能力的数据查询技术的需求日益迫切，安全范围查询就是其中一种重要的数据查询方......
统一建模语言（UML）是目前广泛使用的一种面向对象建模语言，其图形化，半形式化的特点，使其缺乏精确的语义描述，模型之间容易出现不一致问......
在大型军事信息系统研制项目中,如何获取军事需求、分析系统需求、发现需求规约中的各种问题,一直是困扰系统研发部门的难题。提出......
