系统验证相关论文
文中针对土壤水分温度预测的实际需求，从基于物联网技术的环境数据采集系统以及适配的深度学习预测模型选择两方面对相关问题进行研......
在吸入药物市场日益增长的情况下,应该加强吸入给药非临床试验的考察,从而为后续合理用药提供实验室数据支持。本文根据OECD和国内......
随着科学技术的发展,人们对图像质量和视觉体验有了更高的要求,高动态范围成像方法也逐渐成为近年来图像处理领域的研究热点之一。......
摘 要：为了提高我国航天控制系统的自主可控能力，本文提出了基于SoC技术的航天控制系统发展策略，详细介绍了SoC技术的基本概念、主要......
目的基于国际制药工程协会颁布的《自动化生产质量管理规范第5版》(GAMP5),结合国内外指导原则和法规要求,制定一套临床试验中央随......
随着Internet的快速发展,异构的计算环境下网络管理应用无论从规模上还是复杂性上都迅猛增长,不同的管理者和服务提供主机之间的共......
飞机在飞行过程中,如果发生升降舵、副翼、方向舵等操纵面的突然卡死或损伤等故障,会导致飞行品质严重降低,甚至会破坏飞行控制系......
在工业领域中，仪器仪表的智能化程度越来越高，工业无线技术正在工业领域内发挥着越来越大的作用，作为三大主流工业无线标准之一的ISA1......
随着信息技术的发展，计算机技术已经融入了现代社会各个领域，得到极其广泛的应用。然而在这样的背景下，计算机系统的异常可能会造成灾......
随着集成电路工业设计技术和半导体制造技术的进步,计算机的处理器已经由最初的单核单线程过渡到多核多线程,同时为了满足诸如机器......
随着国家在工业化发展进程上的不断深入,工业控制系统作为一种过程控制系统,被越来越广泛地应用于各行各业之中。由于工业控制系统......
新思科技近日宣布推出在原型验证领域最新的强大技术创新HAPS- 100，其可提供更快性能、更高调试效率以及卓越企业级可扩展性，来进一......
基于对国内外任务规划系统的研究,从研究任务规划系统的划分入手,分析各种任务规划系统的工作内容和工作环境,从运行环境、工作方......
理解群际接触次级转移效应（secondarytransfereffect，sIE）产生的心理机制和影响因素，对于构建良好的群际关系有重要意义。研究发现，STE......
带外多跳终端直通(D2D)网络是一种重要的移动通信平台,传统的多跳D2D网络拓扑控制方法复杂度高且可靠性差。文章以iptables工具为......
在工业中大量使用的旋转机械是许多企业的核心设备，一旦出现故障，损失巨大。旋转机械70％以上的故障都能以振动状态的异常反映出来，世界......
笔者主要是通过在芯片上实现智能控制系统来研究一下此类片上系统的设计方法学及其关键技术,采用了基于IP(Intelligent Property)......
前言rn高性能、高容量FPGA在ASIC/SoC原型设计及系统两方面的应用持续增长.这些设计通常包括硬件及嵌入式软件(也可能包括应用软件......
一、TD-LTE 4G牌照正式发放2013年12月4日下午,工业和信息化部正式发放4G牌照,宣布着4G盛宴的帷幕正式拉开。内地正式发放4G牌照意......
1月7日，工信部召开了“5G技术研发试验启动会”，宣布将在2016—2018年进行该试验。试验共分为5G关键技术试验、5G技术方案验证和5G系......
（本刊讯）Datacard集团与Barnes International近日宣布，Barnes智能卡验证技术现已集成至Datacard MX系列质检模块。Barnes Internatio......
随着现代集成电路设计和工艺制造技术的高速发展,集成电路逐渐与移动通信、网络、信息安全等学科技术相融合,逐步推动单一的集成电......
模型检测是一种强大的自动分析验证技术。分析了LINUX进程间通信的部分源代码并进行手工形式化建模,使用有限状态自动机描述模型,......
虚拟仪器发展到今天，其软件工具越来越丰富，图形化的操作界面也越来越人性化，再加上性能不断提高的模块化硬件，大大简化了系统设计及测......
提出一种基于行为时序逻辑的入侵取证的形式化方法,其描述语言能够准确描述入侵证据、系统知识以及攻击行为,并具有在部分数据缺失......
针对联邦开发和执行过程中描述现实世界不准确、仿真结果可信度低等不足,引入VV＆A过程,成立VV＆A小组专门负责系统的校验和验证工作,......
讨论了一种包括配置空间和I／O空间的从PCI（PCI-slave）接口电路的verilog HDL设计。重点介绍了顶层的系统架构，对其进行了功能分析和结......
针对柔性制造系统的验证问题，提出了用Petri网化简操作解决问题的方案。给出了两种化简操作。研究了这两种化简操作的动态性质保持......
Windows 7的推出被微软给予了无限的期望,希望将它打造成一个家庭娱乐媒体中心,同时Windows 7也是一个无限庞大的平台,很多软件游......
2016年2月25日，工信部总工程师张峰在国新办举行的新闻发布会上表示，今年中国正式启动了5G研发技术试验，搭建开放的研发试验平台，预计2......
目的 构建一种适应不同需求的快速生成中药斗谱的软件系统。方法 以可扩展的中药信息数据库为基础,设计“四叶草组合”的药格布局,......
1月7日,工业和信息化部召开＂5G技术研发试验＂启动会。中国信息通信研究院院长、IMT-2020（5G）推进组组长曹淑敏介绍了我国5G试验的总体......
SoC设计的重要特征是IP集成,但是不同IP模块的集成给SoC验证工作带来大量的问题。文中基于8051核的总线构建一个8位SoC设计验证平......
现在国内5G技术试验正处于技术方案验证的第二阶段，下一步要进行的“系统验证”将于2019年启动以5G产品研发试验为内容的阶段测试。......
<正>刘多:5G第一版国际标准将于今年6月完成全国人大代表、中国信息通信研究院院长刘多表示,5G第一版国际标准将于今年6月完成。我......
华为方面介绍，5G第三阶段测试重点在于面向5G商用完成系统验证，包括组网技术、终端与系统互操作、面向R16创新技术等。......
合作伙伴关系让是德科技为无线行业提供更优质的服务新闻摘要是德科技与SGS合作加速LTE-Advanced 3DL CA测试系统验证 Keysight T4......
2008年5月,第一个以外部EFIFiery服务器进行的＂数字印刷系统验证（Validation Printing System）＂的认证面世之时,当时几乎没有引起人们......
利用虚拟现实技术对MEMS加工工艺进行仿真,并将其引入设计环节,最终可以解决MEMS生产中设计与加工脱节的问题.MEMS加工工艺的核心......
针对大规模复杂硬件系统设计的模拟验证需求，本文设计实现了一种基于分布并行环境的模拟验证平台DPSIM。重点介绍了DPSIM系统结构及......
为了适应群应用对安全性要求的多样性,提出了一种通用访问控制框架。该框架支持分布式成员加入和授权控制以及动态安全策略,本文通......
Linux不论在功能上、价格上或性能上都有很多优点,然而,作为开放式操作系统,它不可避免地存在一些安全隐患.关于如何解决这些隐患,......
新思科技近日宣布，多项目晶元（MPW）供应商MOSIS已选择新思科技IC Validator工具进行物理验证。IC Validator功能齐全的物理验证解决方......
