SAR测量中系统验证的测量与分析

随着手机等含有射频发射天线的物品在人们生活中逐渐普及,在设计过程中就必须考虑到电磁能量吸收比值(SAR)。该指标的大小能够衡量射频发射器不会对人体产生危害,保证电磁安全,因此是在制作发射器时非常重要的因素。为了保证SAR测量的准确性,在测量系统软件被更改升级,或硬件设备需要调整时,需要及时进行SAR系统验证。本文通过六个步骤进行SAR系统验证,测量结果均符合测试规定中的指标,能够验证完整测量系统的精度符合要求。

基于SOC典型结构的系统验证环境

IP集成已经成为SOC的主要设计方法,但是IP间的不兼容性和冲突带来了SOC设计的大量问题。文章给出了一种基于IP总线的SOC标准架构,并在这一架构上建立了系统验证环境。该验证环境利用现有的EDA工具,并建立在广泛使用的IP重用规范之上,因此具有很强的可移植性。同时,该环境使激励文件也能与IP一起被SOC设计重用,大大减轻了系统验证的工作。该环境适用于SOC设计的各个阶段,并且具有软硬件协同仿真的能力。

虚拟MEMS加工工艺建模、实现与系统验证

利用虚拟现实技术对MEMS加工工艺进行仿真,并将其引入设计环节,最终可以解决MEMS生产中设计与加工脱节的问题.MEMS加工工艺的核心是工艺模型.首先,在深入分析单步MEMS加工工艺的基础上给出了规则描述的工艺模型,其次,利用专家系统技术实现了系统.进一步用一种全新的器件微流量泵的工艺设计和虚拟加工过程验证了系统的可扩充性.

嵌入式微处理器的系统验证平台设计

基于FPGA和嵌入式操作系统VxWorks的优点,设计了"龙腾R2"微处理器的系统验证平台。在该验证平台上成功调试了VxWorks操作系统以及该验证平台支持的所有tShell和wShell命令及大量的测试程序。实践表明,该验证平台的调试和错误定位方法快捷有效,提高了验证效率,缩短了设计周期。

Petri网化简操作及其在系统验证中的应用

针对柔性制造系统的验证问题,提出了用Petri网化简操作解决问题的方案。给出了两种化简操作。研究了这两种化简操作的动态性质保持问题,给出了化简后的Petri网保持活性、有界性、可回复性的一组充分条件或充要条件。对一个柔性制造系统进行了验证。本文的结果可为Petri网系统静态和动态性质的考察提供有效途径。为复杂大系统的分析提供重要手段,并特别适合于柔性制造系统的验证,具有一定的实用价值。

软硬件资源池化设计与系统验证

为解决信息发展过程中数据差异大利用率低、系统之间耦合高、业务可用性差等问题,文章通过设计软硬件资源池化方案,对数据中心进行重新布局规划,并根据不同应用特点设计了x86虚拟池、x86物理池和小型机池资源池化方案,实现了软硬件资源的有效管理。最后通过ERP系统的入池验证,在资源配置、系统部署、数据访问等方面进行性能对比,结果表明,利用该设计方案系统能够实现资源配置灵活性和高扩展性,有效提高业务的连续性和运行效率。

基于8051核的数字电路系统验证技术

SoC设计的重要特征是IP集成,但是不同IP模块的集成给SoC验证工作带来大量的问题。文中基于8051核的总线构建一个8位SoC设计验证平台,该平台可重用IP模块的激励文件,并利用现有的EDA工具对不同设计阶段进行软硬件协同仿真,大大减轻系统验证的工作量。

民机复杂航电系统验证体系研究

随着民机复杂航电系统验证工作的不断增多,迫切需要建设满足适航要求的高效验证体系。从系统、软件和电子硬件3个方面分析了适航对民机复杂航电系统的验证要求;从覆盖层级、过程活动、职责划分和体系文件等各个方面梳理了验证体系建设需要考虑的问题;针对这些问题提供了一种验证体系建设思路,并识别了验证体系建设的难点。

“e”语言 一种新的高级数字系统验证语言

近二十年来,数字设计自动化环境随着设计复杂程度的提高经历了许多个发展阶段。近年来先后出现了"SystemVerilog"、"SystemC"、"e"等语言和行为综合器,它们把高度复杂 SOC 数字系统设计的验证和综合的自动化程度又大大提升了一步。本文综述了这几种高级硬件设计仿真语言,着重介绍"e"语言在验证通信用 SOC 芯片模型性能时的高效率。

制药设备自动化系统验证方法

以无菌配液系统的自动化系统为实例,介绍了制药设备的自动化系统如何根据GAMP5的基本概念进行实际的自动化系统验证。并根据验证V型模型,介绍了系统从开发到应用过程的实际情况,以及"规范"与"验证"方面的内容。

武器装备电磁兼容性的系统验证技术探讨

针对武器装备电磁兼容性系统验证技术的特点和必要性以及国内外的发展情况,提出了武器装备电磁兼容性系统验证技术的研究内容和验证项目。

仿真测试在汽车售后刷新系统验证中的应用

文章主要阐述了汽车售后刷新系统通过采用虚拟仿真技术能够在保证验证质量的同时缩短验证周期,降低验证成本。并通过某车辆电控单元的刷新过程验证了仿真测试技术的可行性。最后对该技术的发展方向进行了展望。

制药企业遵循GAMP5的计算机化系统验证实践探讨

以上海信谊药厂有限公司制药二厂对药品生产全程质量监控在线、实时技术平台进行计算机化系统验证的实际案例探讨中国制药企业遵循GAMP5执行计算机化系统验证的可行性和具体实践方法。

植入式心脏起搏器系统验证方法的研究

目的植入式医疗器械的安全性、可靠性以及系统验证的完整性要求极高,对于第三类医疗器械,在系统验证的过程中,需要提供足够的证据证明器械的需求得到了满足。本文提出一种基于植入式心脏起搏器微处理器系统验证的方法。方法采用将测试融入设计中的原则,测试数据和需求的关系是不变的,如果可以在不同的阶段收集到相似的数据,就可以将单元测试和集成测试与系统验证结合起来。本文以起搏器工作于AAI模式为例进行了三组实验,并且将得到的实验数据解析,分析数据和需求之间的关系,详细描述该方法的实现方式。结果实验表明,该方法能有效完成系统功能验证和固件测试,并且能够应用于起搏器研发的不同阶段。结论测试融入设计方法可为对安全性及可靠性要求较高、与起搏器系统类似的产品的开发提供借鉴。

基于IF的实时系统验证

IF是一个对异步实时系统建模和验证的开放环境,建立在具有丰富表达能力,基于时间自动机的中间语言IF符号集之上。文章描述了IF的组成,包括其体系结构,所使用的符号集;然后给出了IF对实时系统验证的方法,并运用此验证方法对一个实时系统实例进行了验证。

基于SOC和系统验证的VoIP安全机制探讨

基于IP的语音和视频通信(VoIP)以其低成本和极为丰富的应用,已经成为当今企业级通信的重要手段,并终将改变电信运营的面貌。然而安全性问题却始终是制约VoIP发展的最重要问题之一。考察了VoIP安全领域的研究现状,分析了一些重要的研究成果对提高VoIP安全性所作出的贡献,在此基础上提出了一种基于安全的片上系统(System On Chip)和系统验证的VoIP安全机制。该机制从"安全根"出发,以自底向上的方式保证了VoIP终端的安全性,对各种VoIP应用,特别是对企业级通信有很好的参考价值。

大型民用飞机电传飞控系统验证技术研究

随着国内民用飞机项目研制和型号不断发展,飞控系统采用了先进的高安全、高可靠的全时全权限电传技术,以提高系统综合性能,但同时也增加了电传飞控系统研发与验证的复杂度和风险。以世界上最成功的商业飞机之一——波音777飞机的飞控系统为研究对象,结合国内民机发展情况,进行深入分析和总结,提出了民用飞机飞控系统研发和验证过程模型,为国内民用飞机电传飞控系统的研发和验证提供有益的经验参考。

开展计算机化系统验证 提升质量管理水平

计算机化系统泛指通过计算机语言、指令或嵌入式芯片形成特定逻辑功能的软硬件系统。计算机化系统建设期间"以验证指导施工",计算机化系统运行期间重点突出"变更控制"。

制药企业计算机系统验证方法

药品生产厂家在工业4.0、中国制造2025的影响下,逐步开始尝试实施自动化系统,但制药企业实施自动化系统有其特殊性,系统不但要满足用户所需要的功能,并且需要对系统实施计算机化系统验证,目前计算机系统验证在国内药企来说都没有太多经验,本文将介绍如何运用将系统实施与验证结合的方法,来进行计算机系统验证。

从GMP合规性角度谈计算机化系统验证

目的:探索科学合理的计算机化系统验证方法,以确保制药行业的各类智能化装备和信息化系统符合GMP要求。方法:通过解读最新的国内外法规和指南中关于计算机化系统验证的要求,结合制药企业在数据完整性、计算机化系统验证方面的常见缺陷,提出了计算机化系统验证的基本要求和思路。结论:结合目前国内制药行业计算机化系统的应用现状及法规要求,只要能合理运用基本的计算机化系统验证方法,就可以满足GMP要求。