亚波长设计中的可制造性验证方法

描述了一种采用分辨率提高技术后用于可制造性设计的验证方法.该方法的目的是验证设计功能与设计目的是否一致,更精确地说,使刻印出来的图像与设计一致.还描述了这种基于模型的验证方法的过程建模,实例说明这种方法的性能.     

微波着陆系统数据信号的实现与应用

本文介绍了MLS数据信号的组成、信号格式与发播时序,主要描述了MLS数据信号的设计实现,并且通过应用试验对这种实现方法进行了验证。     

一种LDPC码的构造及其编码器的FPGA实现

本文研究了一种构造奇偶校验矩阵H的新方法,通过这种方法构造的H不含有短长度的圈.本文同时提出了一种相对高效的LDPC码的编码方法,这种基于循环移位矩阵的准循环LDPC码的设计方法既有较好的性能又有实际应用中可接受的编码复杂度.整个设计使用Verilog语言描述,并在Altera公司的Stratix器件上实现验证.     

PC端红外分析软件的设计与实现

在Visual C++6.0开发环境下设计并实现了一种红外分析软件,这种PC端红外分析软件能够分析来自红外热像仪的红外图像,获得红外图像上关心区域的温度.按照灰体表面真实温度公式并结合红外探测器的特性提出了一种温度计算方法,并利用C语言描述了这种方法,通过对分析结果的验证发现这种方法能满足要求.软件整体达到了操作简单、...     

覆盖率技术的提高在RVM层次化验证方法中的应用

本文首先介绍了传统验证方法的弊端,描述了RVM验证平台的层次化结构及它的可重用性原理,主要目的是强调在现有的验证平台上为了模块得到完备性验证必须提高它的覆盖率.本文使用的方法是在基于RVM的验证平台上通过验证工程师充分理解协议之后增加测试例的构造来实现覆盖率技术的提高.然后以UART(通用异步收发信机)为实例具体说明如何提高覆盖率,最后得出结论通过这种方法可以使功能覆盖率和代码覆盖率都达到100%,提高了验证的完备性.     

Si微陀螺结构与接口电路的混合仿真

为了快速有效地验证接口电路的可行性,对Si微陀螺建模方法及陀螺结构与接口电路的混合仿真方法进行了研究。在Si微陀螺动力学特性分析的基础上,利用硬件描述语言建立一种以低阶微分方程描述的Si微陀螺解析模型,该模型利用Si微陀螺运动特性来描述陀螺模态之间的耦合行为。利用该模型实现了陀螺结构与接口电路的快速混合仿真。对Si微陀螺自激控制环路进行分析制作了实验电路板,并对电路仿真结果进行了实验验证,测试结果与仿真结果趋势一致。实验表明,该方法能够快速有效地验证接口电路的可行性,为设计Si微陀螺接口电路提供了依据。     

基于模块的层次化模型判别

模型判别技术是验证时序电路的一种重要手段。使用高层次描述的电路设计，往往是由多个相互关联的部分组成，利用此特点，本文提出一种基于模块的层次化建模方法，通过对设计描述进行分析。并结合待验证的性质，达到提高模型判别器性能的目的。实验表明，用这种模型可以实现状态数的有效减少。     

构件可信性验证研究

基于构件"开发与应用"两者相分离的特点,提出了一种面向用户的构件服务承诺机制.为创建该机制,从构件提供者角度,定义了面向方法序列的构件服务,给出了构件服务遵循的完备性质,并提出一种符合完备性质的构件服务产生方法.这种产生方法给出一种清晰的构件服务形式化描述即提供构件服务的"承诺"机制,并且这种描述是第三方可验证的.相关性质的证明以及示例分析验证了该机制的可行性.     

航空电子系统基于需求的自动测试方法

提出了一种基于需求的自动测试方法.该方法针对目前航空电子系统的系统设计与验证中的"V"型流程进行建模,并对其进行形式化的描述,以供计算机分析、识别.设计了一套有效、完备的自动测试系统以达到对系统需求的验证,并在此基础上提出了进一步研究的方向.通过实际软件验证了所提方法的有效性.     

基于SystemC和Verilog软硬件协同验证

针对当前专用数字集成电路设计中的验证瓶颈,为了在更高的抽象级别对设计对象进行描述和验证,提出一种软硬件协同验证方法.该方法基于SystemC的交易级处理器内核模型和基于Verilog的内核之外的硬件模型.该方法被应用到东南大学研发的微处理器芯片GIV的具体验证中.实验数据表明,由于采用软硬件协同验证模型在芯片生产之前对系统功能、结构设计等进行验证,缩短了开发周期,降低了开发成本,提高了验证可靠性.     

SoC中多层AHB总线的断言验证应用

随着SoC设计复杂程度的不断提高,芯片的功能验证面临的挑战越来越大。断言作为一种描述属性的方法,可以快速地验证设计代码是否满足系统要求。基于断言的验证方法学近年来发展极为迅速,应用也越来越广泛。在基于Multi-layer AHB总线架构上的SoC系统验证过程中,采用System Verilog Assertion验证方法,证明SVA是SoC设计过程中功能验证的一种有效的验证方法。     

认知无线电中随机解调器压缩采样重构确认的改进方法

随机解调器压缩采样用于认知无线电宽带频谱感知的一个前提是要保证频谱的稀疏性,当频谱不满足稀疏条件时,根据重构所得频谱进行频谱空穴判决将得到错误的频谱空穴信息。提出了一种随机解调器压缩采样重构成败判定的改进方法。该方法利用多次重构所得稀疏信号的支撑来判断本次重构是否成功。仿真结果表明,相比于利用两次重构的方法,所提出的改进方法能够进一步提高判断准确率。     

Synthesis of lowpass lc ladder networks

A simple verification of the continued-fraction expansion method for the synthesis of simple lowpass LC ladder networks is given. A subroutine to calculate filter components by this method has been written; the subroutine can also be used for testing whether a polynomial is of Hurwitz type or not.     

Provable data possession scheme based on public verification and private verification

More and more users choose to transfer their applications and data into the cloud.Data security is a key issue for cloud storage systems.To ensure the integrity and validity of the data stored in the cloud,provable data possession (PDP) scheme is particularly important.In order to verify whether the cloud storage service provider had stored the data of the user completely,a scheme on the basis of NRPDP (non-repudiable PDP) was improved and extended,and a data retention scheme based on public authentication and private authentication was proposed.The scheme can verify the trustworthiness of the service provider and the user in the cloud storage at the same time,which satisfies the non-repudiation of the verification.The theory proves the non-repudiation of the proposed scheme.The experiment proves that the efficiency of each stage is better than that of the existing single public verification method or private authentication method.     

Face verification based on deep Bayesian convolutional neural network in unconstrained environment

Unconstrained face verification aims to verify whether two specify images contain the same person. In this paper, we propose a deep Bayesian convolutional neural network (DBCNN) framework to extract facial features and measure their similarity for face verification in unconstrained conditions. Specifically, we design a deep convolutional neural network and construct a Bayesian probabilistic model by transferring the Bayesian likelihood ratio function into linear decision function. By training a decision line rather than finding a suitable threshold, we further enlarge the distances between inter-class and intra-class in unconstrained environment. Finally, we comprehensively evaluate our method on LFW, CACD-VS and MegaFace datasets. The test results on LFW and CACD-VS datasets show that our method can shrink intra-class variations significantly. The performance of our DBCNN model on MegaFace dataset proves that our model can achieve comparable performance to state-of-the-art methods on face verification with relative small training data and only one single network.     

以DNA为载体的线性时序逻辑模型检测

线性时序逻辑模型检测被广泛应用于处理器设计与验证、网络协议验证、安全协议验证等领域.然而到目前为止,该技术只能在电子计算的平台上实现.为了以脱氧核糖核酸(Deoxyribo Nucleic Acid,DNA)为载体对线性时序逻辑(Linear Temporal Logic,LTL)实施模型检测,给出了使用粘贴自动机实现Until算子模型检测的方法.首先,使用粘贴自动机对Until公式的有穷状态自动机(Finite State Automata,FSA)模型进行编码;然后,将系统模型转换为粘贴自动机的输入字符串;最后,用粘贴自动机验证系统是否满足公式.仿真实验结果证实,新方法可实现对LTL逻辑时序算子的检测.     

FPGA硬核处理器系统加速数字电路功能验证的方法

为了缩短专用集成电路和片上系统的功能验证周期,该文提出FPGA硬核处理器系统加速数字电路功能验证的方法。所提方法综合软件仿真功能验证和现场可编程门阵列原型验证的优点,利用集成在片上系统现场可编程门阵列器件中的硬核处理器系统作为验证激励发生单元和功能验证覆盖率分析单元,解决了验证速度和灵活性不能统一的问题。与软件仿真验证相比,所提方法可以有效缩短数字电路的功能验证时间;在功能验证效率和验证知识产权可重用方面表现优于现有的FPGA原型验证技术。     

测试性技术分析与试验验证刍议

测试性质量特性是武器装备试验考核内容之一,攸关武器装备能否快速地检测故障并隔离故障。文中阐述了装备测试技术设计、测试性试验需求和靶场验证方法,着重研究了测试性定性检查、定量检查的基本准则和实施途径。并指出故障特征的分析提取和样本集的有效生成是测试验证的关键,旨在为提升武器装备测试性试验能力提供参考。     

指针式仪表自动检定系统图像识别技术

将机器视觉技术应用到指针式仪表的检定系统中,可以改变传统的靠人工读数进行检定的方法,提高了指针式仪表检定的效率与精度。指针式仪表的识别与检定,关键就是通过指针示值的动态识别,来实现仪器仪表的读数和自动检定。针对指针式仪表示值的自动判读,提出了一种新的图像识别方法。该方法适合实际应用,检定精度高,准确性好。经实验数据证明,该识别方法简单、稳定且识别误差小。