验证策略相关论文
随着新旧动能转换战略实施和产业结构的调整，城市扩张和产业升级叠合进行，意味着在今后一段时间内，城市中会持续出现更多废弃的工业厂......
本文的研究内容包括两个主要部分。 (1)构建基于策略的Web服务安全架构。本文构建了可以适应策略动态变更、部署的基础架构。在......
目前,分布式信息系统之间仍然存在一定的互联、互通、互操作的问题,对现有遗产系统进行系统集成是信息一体化建设的一种重要手段。......
网络编码是是一个新兴技术,能够有效地解决无线传感器网络的节能问题,带来网络性能在诸多方面的增益。但是,由于编码的特点,网络编......
论文提出一种基于二级神经网络的人脸检测算法，先用第一级神经网络筛选出可能的人脸区域，然后将该区域进行不同角度旋转，送入第二级神......
安全协议本质上是分布式并发程序,可以自然地描述为多个子进程的并发合成系统.将安全协议对应的并发合成系统抽象为逻辑程序进行消......
文中介绍一种新型微处理器的验证方法,并对相关的一些验证策略进行深入的讨论....
提出了一个用于高性能嵌入式DSP(Digital Signal Processor)的L1数据高速缓存(Level1D-cache)设计.它采用组关联(set-associative)......
数字证书是PKI技术的核心,而PKI是网络安全建设的基础.标准的验证数字证书是否有效的过程非常繁杂,对此提出一种新的方案——数字......
X总线控制器是时分多路复用串行数据总线控制系统的核心部分,工作模式复杂,功能众多。针对X总线控制器的特点,设计了它的功能模拟......
指令Cache作为高性能计算机系统中指令代码的高速缓冲,在整个系统中占有重要地位,其正确性验证工作很有必要。针对对称多处理机结......
随着飞机机载电子系统结构越来越复杂,机载设备的智能诊断日益繁杂,对复杂机载电子系统的智能诊断系统体系结构设计实现和综合验证......
在现有的各种PN码捕获策略的基础上，提出了PN码捕获策略的统一框架，并以该框架为基础研究了捕获过程各个阶段中策略的选择对总体捕获......
大型复杂航天器结构有限元模型的合理性和准确性在航天器研制过程中具有重要意义,它是开展星箭耦合分析以及力学环境条件设计等工......
以超深亚微米工艺和IP核复用技术为基础的系统芯片(SoC)技术是国际超大规模集成电路发展的趋势和本世纪集成电路技术的主流。随着......
工艺验证是药品生产验证的重中之重。本文根据生产工艺验证的实践经验,从工艺验证的介入时间、验证策略、验证风险管理和验证执行......
