一致性验证相关论文
开源代码指源代码数据是公开的,所有人都可以获得的代码,方便人们在此基础上进行二次开发。开源代码出现问题就有可能导致使用它的......
电力设备的在线监测和故障检测中,多传感器图像可以从不同的角度描述电力设备的特征:红外图像不受环境限制,可以反映设备的温度信......
为了在传统变电站改造为智能变电站的过程中，灵活接入集群测控系统的智能电子装置配置描述（IED configuration description, ICD）模型......
目前,形式化方法在需求一致性验证方面显示出了强大的力量,特别是对于安全攸关系统。然而,大多数现有的需求验证研究只关注软件需......
学位
近年来,具有多学科高度交叉特点的物联网已逐渐成为信息产业的新兴研究热点,各国都将其视为重要战略部署。在中国,物联网发展的体......
缺乏对时间管理的支持是当今工作流管理系统的一个重要不足,也是工作流技术实施复杂企业应用的严重局限。开展工作流时间管理的研......
随着1993年工作流管理联盟(WorkflowManagementCoalition)的成立，工作流技术得到了长足的发展，并且成功地运用在工业，农业，航天等众多......
随着计算机软件模型日趋复杂以及大规模与并发系统的应用，如何保证系统模型的正确性、一致性成为当前研究的热点。本课题以面向任务......
软件是否严格按照设计要求实现，是软件质量评估的重要标准，是软件测试的一项重要工作。人工遍历的方法分析软件设计与实现的一致性是......
时间管理是工作流管理系统的重要组成部分。企业应用越复杂,对工作流时间管理技术的要求越高。由于时间概念表示、分析的复杂性,以......
随着领域需求的不断变化，使得领域软件的规模和复杂性不断增加，导致领域需求分析与建模成为领域工程研究中的严峻挑战。鉴于领域工程......
由于社会网络的广泛传播性、动态性以及多样性,受到越来越多的用户欢迎,大量社会网络服务网站快速崛起。人们利用社会网络提供的服......
我国的PKI标准在制定时参考了国际或国外标准制定组织的标准,因此这些标准在使用时,之间的一致性难以得到保障。这就使得对这些标......
随着计算机技术、通信技术和网络技术的飞速发展,计算机系统的安全性日益受到重视,访问控制作为一种重要的安全技术,已经渗透到操......
统一建模语言（UML）是目前广泛使用的一种面向对象建模语言，其图形化，半形式化的特点，使其缺乏精确的语义描述，模型之间容易出现不一致问......
针对体系结构动态行为的语义一致性验证问题,提出了基于生成图的验证方法.首先根据体系结构的动态行为模型构建生成图,然后对生成......
为使经营过程仿真工具对分解机制、层次化描述和模型重用提供支持,提出了基于扩展IDEF3方法的分层次的仿真建模方法.该方法继承了I......
近年来,体系结构验证已经成为C4ISR系统体系结构领域重要的研究方向.传统的体系结构验证方法依赖于体系结构数据的表现形式,依赖于......
针对特征模型的演化导致特征间的冲突问题,从特征模型的演化方面进行研究,提出了一种基于本体的特征模型演化的一致性验证方法。首......
系统建模是嵌入式系统设计的关键步骤,其好坏直接影响着设计的质量和产品的上市时间.已有多种建模方案,但每种都有其局限性.本文提......
对复杂实时构件系统行为进行形式化描述和一致性验证,可以提高实时构件的可复用性和系统的正确性、可靠性。分析了时间行为协议TBP......
传统上依靠经验设计的安全网关侧重于功能实现,缺少严格的安全模型。对此,针对一种典型安全网关,首先根据其安全需求给出相应的安......
针对Android应用数目庞大、功能多样而难以准确验证应用实际类别的情况,对Andriod应用的网络行为进行分析研究,提出应用的行为一致......
针对分布式环境中信任管理缺乏统一定义和一致性验证算法效率较低等问题，给出了信任管理的形式化定义．信任管理为六元组，包括可数的主......
尺寸公差与形位公差的一致性验证是计算机辅助公差设计中不可缺少的重要环节.在包容要求、最大实体要求及最小实体要求条件下,分析......
在开放式环境中，信任管理是最常用的一种访问控制方法．但是，目前存在的信任管理系统存在以下不足：（1）没有刻画实体之间的信任程度，与现实......
该文基于Fcielogic_SDL_TTCN_Suite使用规范和描述语言（SDL：speci6cation and Description Language）以及树表结合表示法（TTCN：Tree and......
超长整数的运算是现代密码系统的应用基础,运算的正确性关系到密码系统的应用价值。为了验证超长整数算法的设计与需求目标之间的......
随着无线传感器网络（WSN）的广泛应用，对于具备安全保护能力的数据查询技术的需求日益迫切，安全范围查询就是其中一种重要的数据查询方......
在大型军事信息系统研制项目中,如何获取军事需求、分析系统需求、发现需求规约中的各种问题,一直是困扰系统研发部门的难题。提出......
在基于组件的系统开发中,组件的事务控制粒度从语句一级被提升到方法一级,因此给系统开发人员带来了便利性的同时,失去了对事务控......
模型输出数据的一致性作为检验模型正确与否和评估其有效性的重要指标，可采用时序建模的方法验证。结合飞行试验和仿真模型的输出数......
提出一种基于时间自动机的实时工作流时间建模与验证方法。该方法首先将实时工作流的时间工作流图转换成时间自动机模型，再利用时间......
现有的公差语义与由 CMM 测得数据的分析验证计算不一致，存在“计量危机”，从而引发了各种公差数学定义理论及验证技术的研究。本文......
文章针对多属性群决策问题展开了探讨。首先系统分析了多属性决策方法层次分析法和TOPSIS法的优点以及不足,阐述了AHP和TOPSIS的基......
分别按照国际中的包容要求、最大实体要求及最小实体要求,分析了棱柱形零件尺寸公差和形位公差一致性准则,给出了判别一致性的数学......
由于我国配电网所采用的小电流接地系统具有发生单相接地故障后稳态接地电流微小的特点,导致故障检测装置难以判断单相接地故障的......
随着云计算技术的成熟与普及,越来越多的企业和个人倾向于将他们的存储、计算等资源外包给云服务器提供商以便随时随地使用和节约......
随着国家电网公司信息化建设的快速推进，其生产、经营和管理对信息系统愈加依赖。为确保信息系统安全稳定运行，国家电网公司在北京、......
软件产品线工程方法中利用需求特征模型自动导出概念体系结构,然而手工检测概念体系结构对需求的表达是否一致是降低导出效率的主......
制定作战计划时往往需要考虑作战任务的时间约束问题。目前对作战任务的时间约束分析方法都存在约束类型少、验证方法适用范围小等......
分析了已制定和正在制定的PKI系列标准之间存在的一致性问题；研究了CRL格式在证书撤销机制相关标准中存在的一致性问题；通过在标准验......
介绍设计的一种便携式RFID标签一致性校验装置及方法,通过应用基于灰度直方图的多阈值法处理不同光照条件下的图像二值化,并应用Le......
SPKI／SDSI2．0系统是目前最普及的信任管理系统，但它是否批准一个访问请求仅仅依赖于能否找到一条从授权源到请求者的信任链，与资源拥有......
构件组合的一致性验证和冗余行为的去除是基于构件的软件开发领域的重要问题。基于此，通过把组合接口自动机看作从初始状态出发，经过......
需求开发是C~4ISR系统开发的第一步,是后续各个开发阶段的基础和依据,也是成功开发系统的关键。需求验证作为需求开发的重要阶段之......
C~4ISR系统体系结构是系统各部件的结构,它们之间的关系以及制约其设计和随时间演化的原则和指南。在C~4ISR系统的研制与开发过程......
随着互联网技术的发展和普及,社会对于软件的形态和开发过程提出了更高的要求,如各种业务应用的快速集成,业务系统的良好适应性及......
需求问题的处理是软件项目成功与否的前提条件，软件需求工程的目标是采用系统化的方法和工程化的管理手段，为软件系统提供一个准确、......
