正确性验证相关论文
SDH协议在现代信息传输中显露出了强大的生命力.SDH收/发器是用于SDH光网络的重要器件,是SDH的协议实现.为了对SDH协议进行更彻底......
随着通信技术与计算机技术的快速发展，移动终端的计算能力和存储资源不断增强，所提供的服务功能和承载的业务种类也越来越多。移动终......
该文的主题是,根据净室软件工程的理论,提出一套切实可行的方案,帮助软件开发团队以较高的效费比开发高质量的软件,从根本上解决软......
现在,计算机软件系统逐渐变得越来越复杂,本身的开发难度更是在不断增加。传统的开发方法主要依靠手工方式,效率低下、质量欠佳、......
当今软件环境进入了一个新的层次，平台的异构、平台间的互连互通成为主流，对软件的需求也由集中式的主从控制变为以合作和协同为主的......
随着网络技术的不断发展,越来越多的企业使用工作流技术来提高企业的运行效率,目前工作流技术已经成为流程定义和管理的核心技术,......
随着信息化技术的快速发展,软件系统作为信息基础设施,也随着需求的不断变化而变得更加庞大和复杂,其可靠性问题越来越受到人们的......
三维标注技术是实现零件从设计到生产集成化和自动化的基础。三维标注的正确性验证可以避免零件信息从设计部门到制造部门传递时出......
安全问题是云计算研究的关键问题之一.提出云计算模型中安全的向量点积计算方案,同时提供计算结果的正确性验证和数据的隐私保护功......
随着软件规模越来越大，软件正确性问题也随之而来，基于Hoare公理系统的程序形式化验证方法，能够保证并提高软件的正确性。针对Hoare公......
随着面向服务的体系结构的发展，有效地组合单个分布的web服务以提供更有价值的服务成为新的热点问题。然而，在这一研究领域还存在诸......
针对现有的Web服务质量模型主要考虑的都是通用的服务质量属性，没有考虑特定的Web服务属性在评价中的作用，提出了一个新的Web服务质......
为研究Web服务过程的逻辑正确性及其形式化验证方法，提出一种基于着色Petri网的Web服务过程模型，给出了逻辑正确性的形式化定义。为......
采用PC机作为上位机进行开发时,需要与下位机PLC进行大量的数据通讯。本文基于VB编写上位机程序,与OMRON公司的PLC进行数据通讯,对......
现阶段对操作系统的强制访问控制框架的正确性验证的研究主要集中于对授权钩子放置的验证.文中基于TrustedBSD MAC框架对强制访问......
函数不变量检测是提高软件质量的一种有效方法.针对检测方法可能带来无效的函数不变量的缺陷,提出一种以抽象解释理论为基础的函数......
净室软件工程是软件开发的一种形式化方法,它使用盒结构规约进行分析和设计建模,强调将正确性验证作为发现和消除错误的主要机制,......
基于时序Petri网对我国现行网上静态的动态证券交易系统进行了模拟，形式描述及功能正确性验证，应用时序逻辑推理规则，从形式上严格证......
在对当前面向服务体系架构（service-oriented architecture，简称soA）研究的基础上，给出了一个以企业服务总线（enterpri seservice bus，简......
由于系统的巨大规模,操作系统设计和实现的正确性很难用传统的方法进行描述和验证.在汇编层形式化地对系统模块的功能语义进行建模......
针对多规则多结论的复杂产生式推理,将形式化语言识别能力和产生式推理结合起来,提出一种基于格值自动机的产生式推理建模方法.首......
随着网络技术的迅速发展,应用网络技术和共享网络资源已经成为我们日常学习、工作中必不可少的部分.只要网络存在,安全问题就会作......
针对当前工作流建模中存在的一般图形化建模方法正确性不易验证或基于Petri网建模过于繁琐,程序不易实现的问题,提出了一个基于扩......
本文给出了液调配器的阻抗匹配算法,对算法进行深入的分析与研究,且给出两个典型实例,通过Matlab绘图对该算法进行了正确性验证。......
将工作流概念映射到Petri网后得到的工作流网的合理性验证过程比较复杂，容易出现状态空间爆炸的问题，需要对工作流模型进行简化。文......
XSM(Xen Security Module)是虚拟机Xen的安全模型框架,对系统的安全性具有决定性的作用。目前,对类似的强制访问框架的正确性验证......
摘要：设计了一个基于Petri Net的Web服务组合流程建模引擎．把BPEL流程的语法元素按其语义转换为PetriNet模板，通过模板组合来得到整个......
行车安全综合监控系统规模大,复杂程度高,且具有不确定性.研究有效的形式化分析和验证方法对系统测试和可行性分析等方面具有重要......
为了使开发出的程序更具有可靠性,研究了两种正确性验证的演算方法,Dijkstra的最弱前置谓词变换法和Hoare的公理化方法。针对于Hoa......
财务造假层出不穷,给社会经济的发展带来了巨大危害,且呈现范围愈发泛滥和手段愈发隐蔽的趋势。审计是一种有效的监督手段,计算机......
<正> “结构良好与正确程序的设计” The Design of Well-structured andCorrect Programs 亲爱的读者,您会编程序吗? 真有意思,我......
为保证高炮动态射击诸元标准值程序能够在动飞试验前保证正确性,应用开放-封闭原则建立算法和适用于此算法的测试流程。算法基于所......
提出基于实体模型的三维几何公差标注正确性自动验证方法。介绍了基于几何要素自由度分析的公差标注正确性验证的原理,讨论了三维......
基于模型检测技术，提出了一种适用于集成了规则引擎的企业服务总线中的消息规则路由的正确性验证方法。首先将基于规则的消息路由转......
作为解决大规模计算问题的重要手段,高性能计算技术被越来越广泛地应用到科学与工程的各个领域。然而,随着高性能计算机规模的不断......
信息技术的发展以及战争形态的变化,对一体化C~4ISR系统的需求日益迫切;C~4ISR系统的开发和建设,更加重视以需求工程和体系结构技......
随着经济全球化的迅猛发展以及信息技术的不断进步,大型企业级应用系统在社会经济中扮演着越来越重要的地位。当今竞争激烈的商业......
建模与验证是业务过程生命周期管理中的重要环节。数据是业务过程的重要组成部分。现有业务过程建模语言都支持基于控制流维度进行......
在认知用户接入受限机制中,次用户被限制接入部分频段,以权衡次用户的中断概率和阻塞概率。在已有文献中,认知用户接入受限机制中......
数据库管理系统作为重要的基础软件,广泛应用于金融、通讯、电商等领域的关键应用中。近年来,互联网的快速发展催生了大量的新型应......
随着计算机软件项目规模和复杂度的日益增大,软件产品的质量问题逐渐突出。在软件开发的需求分析、概要设计和详细设计等阶段,建立......
企业业务集成是信息领域的核心问题之一,Web服务是当前基于Internet构造跨企业分布应用的标准框架。Web服务组合技术用于实现服务......
流体力学方程求解的应用程序已成为众多重大工程理论研究与设计的重要工具,其应用程序的正确性验证已成为研究的重要问题.人为解验......
在EMTDC/PSCAD平台上建立了鼠笼式、双馈式及直驱式3种常见风电机组的电磁暂态模型。比较直驱式风机电磁暂态数值模型与数模混合实......
在分析GNSS-R基本几何关系和多种镜面反射点估计算法的基础上,提出一种新的GNSS-R海面风场探测中镜面反射点的估计算法。该方法首......
基于向后欧拉完全隐式积分方法,采用回映算法将Yld2000-2d屈服准则嵌入ABAQUS商业有限元软件.基于严格的力学推导,提出了能够有效......
