基于统一建模平台的BPMN模型业务流程验证

为了解决业务流程设计、形式化分析、验证的平台不统一以及可移植性差等问题,提出了一种在统一建模平台上处理BPMN模型输出的业务流程形式化验证方案。首先构建基于Java语言的形式化建模平台,将BPMN模型输出作为该平台的输入。随后输出基于BPMN2.0业务流程形式化验证的Java程序代码,该代码可在构建的建模平台实现自动检验业务流程模型中可能存在的死锁、活锁。最后给出复杂信息系统相应实例验证了方案的有效性。

FPGA验证流程综述

现场可编程门阵列(Field-Programmable Gate Array,FPGA),也被称为FPGA芯片,在通信、安防、工业等领域有着举足轻重的作用。随着FPGA芯片的规模不断扩大、性能不断提升,其模块数量、电路网表规模、连接复杂度也随之增加。在此趋势下,如何有效地提升大规模FPGA电路的验证效率与验证完备性变得更为重要。一个完整的、有针对性的、结构性的验证流程方法,能更全面地对电路设计情况进行覆盖性检查,确保FPGA芯片功能的正确性。详细叙述从底层到顶层(模块级、子系统级、全芯片级)的FPGA芯片验证方式,包括它们各自的验证方法、流程与侧重等细节,探讨了这种方式是如何帮助FPGA验证工作进行的。

标准验证点技术能力建设分析研究

标准验证是提升标准制定科学性、适用性、合理性的重要技术手段之一,标准验证点是承担验证工作的技术支撑主体。本文分析总结了标准验证工作基本流程、关键环节和验证结果等方面的内容,提出了标准验证点在建设运行及管理过程中需要重点规划的技术能力建设,为各专业领域验证点开展验证工作提供参考借鉴。

基于Petri网的语义Web服务流程一致性验证

提出一种基于Petri网的语义Web服务流程一致性验证方法。该方法将语义Web服务流程转换为Petri网模型,通过分析Petri网的可达标识图,得到所有可并行执行的服务对,根据领域本体和服务功能的语义描述判断2个并行服务对之间是否存在冲突,并计算每个服务在执行前可能处于的状态,以判断服务的可执行性。通过一个实际案例验证了该方法的正确性和有效性。

浅谈整车试制验证流程

文章论述了整车试制验证情况现状和整车试制验证流程的建立在整车开发中的重要意义,阐述了试制验证的概念、目的,识别了整车试制验证流程中的关键过程。

改良留置针验证流程的临床观察

目的:探讨BD Intima-IITM密闭式静脉留置针(以下简称留置针)穿刺效果的最佳验证流程。方法:选择采用留置针行静脉输液的患者180例为研究对象,随机分为观察组和对照组,每组90例。对照组(A组)采用留置针生产商推荐的穿刺流程(套管推送入血管后完全撤出针管,再观察输液效果);观察组(B组)采用改良的穿刺流程(即套管推送入血管后撤出部分针管,观察输液效果后再决定是否退出针管),比较两组患者的穿刺次数、操作时间、留置针损耗量、针刺伤等情况。结果:两组患者一次穿刺成功率比较,差异无统计学意义(P>0.05),操作时间及留置针损耗、操作者针刺伤比较,差异有统计学意义(P<0.05)。结论:改进后的留置针穿刺效果验证流程可减少留置针损耗、降低针刺伤,提高穿刺成功率,减少职业暴露。

宇航元器件标准验证流程设计与优化研究

阐明宇航元器件标准验证需求分析,研究验证项目的确定和验证流程逻辑结构的建立,分析验证流程的属性和特征,提出一套验证流程设计和优化的方法,对宇航元器件标准验证流程的建立过程进行剖析,给出两大类标准的验证流程框图。

泰克实时示波器PAM4光分析解决方案简化验证流程

工程师利用基于实时示波器的解决方案,对PAM4光器件执行关键调试和离线分析泰克科技公司日前最新推出用于实时示波器的DPO7OE1校准后光探头和分析软件。它面向28-GBaud PAM4应用,满足光基准接收机（ORR）标准,支持IEEE/OIF-CEI特定标准测量。这一最新解决方案补充了泰克为采样示波器提供的光PAM4分析工具,设计项目组可以在光发射机工作流程的所有阶段实现高效的测试解决方案。

浅谈汽车前照灯灯光设计、验证流程

前照灯为汽车在夜间行驶时提供足够的照明,它是汽车行驶必不可少的安全部件,随着汽车工业的飞速发展,顾客对汽车车灯照明的效果也越来越加以重视。文章首先介绍了汽车前照灯的基本性能,包括前照灯的结构及功能;前照灯的配光特性、配光设计以及验证方法;并且以一种MPV车型前照灯为例,介绍了前照灯灯光设计、验证流程。

整车产品验证流程及优化研究

根据汽车试验验证知识,该文对汽车整车产品的开发验证流程提出有效建议。优化后的流程明确了项目开发验证的重要时间节点,针对试验开发及管理,明确了每个节点的试验策划活动及交付物,并对各阶段试验管理要求及工作内容进行规范,最后完善整个试验体系流程,以保障产品验证与管理有据可依。

FPGA原型验证系统有哪些接口?

0前言今天,现场可编程门阵列(Field Programmable Gate Array,FPGA)原型验证系统在数字电路前端验证流程中,不仅相对于硬件仿真器(Emulator)成为在运行性能上更接近真实芯片运行速率的验证平台,加上其具有成本相对适中的特点,受到硬件和软件工程师的青睐。应该看到,FPGA原型系统,并不是一个完全封闭的系统,而是通过各种不同接口和外界进行数据信号的交换和互通;为此,本文针对芯华章的HuaPro系列FPGA原型系统的常见接口,对它们的类别及其相关连接器/传输方式等作用作了介绍和分析,希望对客户在完成系统集成验证和软件提前开发工作中起到积极推进作用。

支持组合事务的失败恢复验证

组合事务中任务间的协作通常以点对点的方式而不是中心控制,当系统崩溃时,事务流中的任务可能部分执行而其后续任务则未被调度执行。在这种情况下,选择合适的失败恢复验证策略是必要的。提出一种支持向前、向后和替代恢复策略的失败恢复验证方法。当失败发生时,借助组合事务的执行日志和可接受状态集,选择合适的恢复策略,验证带状态空间的事务恢复所产生的一组动作序列,是否包含一组良好行为。追踪执行进展,检测恢复后组合事务是否存在不一致状态。通过对旅行预订流程的实例分析,表明该失败恢复验证方法是可行的。

SoC验证方法学研究与应用

SoC系统功能日益复杂,规模也日益庞大,SoC验证面临着前所未有的挑战.对SoC验证方法学进行了研究和总结,包括验证流程、验证层次和验证技术.通过对基于DW8051的SoC的验证实践,证明了这套验证方法学的可行性和有效性.

一种多学科设计优化工作流验证方法

在多学科设计优化集成系统中,设计过程和优化求解算法均通过可视化工作流实现,工作流有效性验证对提高设计效率和提高系统的用户体验具有重要意义。当前验证方法主要针对办公自动和企业管理系统中的工作流验证问题,多学科设计优化集成系统中的工作流验证问题研究较少。在分析前期工作验证技术的基础上,针对以循环结构为特征的优化环,提出一种基于图论方法的,名为浓缩环(concentration-loop)的验证算法。结合发射平台数字化设计系统的设计与实现,对该算法进行了验证。

电子护照验证系统研究

本文简要介绍了电子护照,分析了电子护照验证系统应有的功能和性能,从国家出入境管理中心系统、区域出入境管理系统和验证终端系统三个层次对电子护照验证系统的组成进行了探讨,并给出了电子护照通关验证流程。

CDN验证系统在P2P网络中的应用

提出了一种基于CDN网络的P2P验证方法,有效解决了P2P网络的用户验证问题。具体的实现方法是:首先分析了P2P网络的系统架构,接着探讨了基于CDN网络的P2P验证原理,最后提炼出基于CDN网络的P2P验证流程。研究结果表明:提出的基于CDN网络的P2P验证方法不但解决了P2P网络的用户验证问题,而且提高了用户验证的效率和准确性。

基于SystemVerilog的同步FIFO的验证平台搭建

针对于传统验证平台利用Verilog搭建的验证平台效率低,准确度低的局限性,提出了一种基于SystemVerilog系统级语言的验证平台建模方法,可以有效地降低复杂度和设计风险。由于FIFO在大多数工程中利用率极高,也极易出现问题,通过对FIFO模块进行验证平台建模,可以有效地降低设计与验证的时序竞争风险,实现验证平台的复用和验证过程中的自动监测,并且在搭建验证平台的过程中阐述了基本的验证流程,以及结合System Verilog语言介绍了一些基本建模规则和技巧。

CMD系统地面综合应用软件验证浅析

软件验证是提升软件产品可靠性、使软件满足用户需求的重要方法。按照CMD系统地面综合应用软件的高可靠性要求,阐述了软件验证执行过程与软件验证用例设计方法的两方面内容,回答了如何保证软件验证工作质量的问题。

航空装备预测与健康管理系统的验证方法概述

随着国内PHM(预测与健康管理)技术发展迅速,航空装备PHM验证与确认方法成为制约PHM技术成果工程转化的难点。针对上述问题,提出了PHM系统全寿命周期内的验证流程,明确了在需求分析、设计研制、使用与维护等阶段PHM验证与确认的具体内容与要求,结合PHM对象的特点,阐述了目前典型的航电PHM、机电/动力PHM、结构SHM的验证和确认方法。