一种IEEE1394物理层IP的FPGA原型验证方法

符合IEEE1394协议的物理层IP主要完成总线连接检测、连接管理、仲裁、数据收发等功能,是一款集成高速Ser-des的数模混合SoC。由于在Serdes的测试芯片设计完成前无法对1394物理层IP进行全面验证,因此文中在介绍1394 PHY物理层IP各部分功能的基础上,提出了一种以Xilinx的GTP代替1394物理层Serdes,构建FPGA原型验证平台,采用专用硬件逻辑和软件结合的方式,对1394物理层IP进行充分验证的方法。使用该平台可在Serdes设计未完成前对数字逻辑进行验证,大大缩短物理层IP的开发周期;通过软件控制下的测试项生成、测试过程监控、测试结果判断,可显著提高验证效率。     

多总线接口信号处理SoC虚拟验证平台的实现

多总线接口信号处理SoC芯片是以信号处理DSP为核心集成了多个总线接口的片上系统,该SoC涉及的总线协议众多,验证复杂、工作量大,验证将是该SoC芯片开发的瓶颈。为了缩短多总线接口信号处理SoC芯片的开发周期,提高该SoC芯片的一次流片成功率,必须采用更为可靠和有效的验证方案。以SoC验证流程及方法为指导,重点介绍了多总线接口信号处理SoC虚拟验证平台的构建和具体实施。验证结果表明,该验证平台能高效、全面验证芯片功能,提高了芯片验证效率,缩短了整个芯片开发周期,为芯片的成功投片提供了可靠保障。     

恒压供水系统的调试及验证

介绍恒压供水系统的调试及验证.     

Proof systems for planning under O-approximation semantics

In this paper we propose Hoare style proof systems called PRD^0and PRKWD^0 for plan generation and plan verification under 0-approximation semantics of the action language AK.In PRD^0 （resp.PRKW0D）,a Hoare triple of the form{X}c{Y}（resp.{X}c{KWp}）means that all literals in Y become true（resp.p becomes known）after executing plan c in a state satisfying all literals in X.The proof systems are shown to be sound and complete,and more importantly,they give a way to efficiently generate and verify longer plans from existing verified shorter plans by applying so-called composition rule,provided that an enough number of shorter plans have been properly stored.The idea behind is a tradeoff between space and time,we refer it to off-line planning and point out that it could be applied to general planning problems.     

基于安全协议代码的形式化辅助建模研究

随着安全协议形式化分析技术的不断发展,利用工具自动验证虽已得到实现,但建模环节仍需依赖专业人员手工建模,难度大且成本高,限制了此技术的进一步推广。为了提高建模的自动化程度,提出了依据安全协议代码进行形式化模型辅助生成的方案。首先,使用污点分析获取协议的通信流程,并且记录密码学原语操作;然后,根据通信流程之间的序列关系构建协议通信状态机;最终,根据目前主流的安全协议形式化分析工具Tamarin的模型语法生成形式化模型。实验结果表明,此方案可以生成形式化模型中的关键部分,提高了形式化建模的自动化程度,为形式化分析技术的推广作出贡献。     

高性能MCU的FPGA原型验证系统研究与平台实现

本文研究并实现了一种基于Cortex-A7核的高性能MCU在FPGA原型阶段的验证平台。该设计研究可以针对高性能MCU芯片或其FPGA原型验证阶段的软硬件验证环境快速搭建,通过交互式、软硬件协同的方式对MCU芯片各个模块功能进行实时、可靠的功能验证。高效的FPGA原型验证可以提高MCU研发速度、缩短验证时间、提高验证效率、及时发现芯片设计的缺陷、缩短芯片研发周期。     

A multimodal-Siamese Neural Network (mSNN) for person verification using signatures and EEG

Signatures have long been considered to be one of the most accepted and practical means of user verification, despite being vulnerable to skilled forgers. In contrast, EEG signals have more recently been shown to be more difficult to replicate, and to provide better biometric information in response to known a stimulus. In this paper, we propose combining these two biometric traits using a multimodal Siamese Neural Network (mSNN) for improved user verification. The proposed mSNN network learns discriminative temporal and spatial features from the EEG signals using an EEG encoder and from the offline signatures using an image encoder. Features of the two encoders are fused into a common feature space for further processing. A Siamese network then employs a distance metric based on the similarity and dissimilarity of the input features to produce the verification results. The proposed model is evaluated on a dataset of 70 users, comprised of 1400 unique samples. The novel mSNN model achieves a 98.57% classification accuracy with a 99.29% True Positive Rate (TPR) and False Acceptance Rate (FAR) of 2.14%, outperforming the current state-of-the-art by 12.86% (in absolute terms). This proposed network architecture may also be applicable to the fusion of other neurological data sources to build robust biometric verification or diagnostic systems with limited data size.     

地面高精度磁测在新疆青河县贝勒克勒铁矿的应用

通过对新疆青河县贝勒克勒铁矿高精度磁法勘探资料的分析和研究,工作区可划分为西部、北部高磁异常区、中西部负值异常区、中部面积正负磁场平缓变化区、东部跳跃变化正值磁异常区,结合工作区岩矿石标本磁性参数可判别各类磁场类型形成的地质原因。划分局部磁异常6个,其中M1、M2、M3磁异常与地下隐伏含磁铁矿石英岩有关,M4、M5、M6磁异常与含铁石英岩有关。对局部典型异常M1、M4进行了半定量解释,并进行了钻探验证,实际验证结果与推断结果较为吻合。     

面向移动目标的卫星传感器调度技术研究

在面向移动目标的卫星传感器调度中,为了解决目标移动性及卫星固有缺陷等带来的不确定性对观测策略的干扰,提出了一种探测概率与KL(kullback leibler)散度结合的调度算法。该算法依据任务区域内目标实时分布概率实现权值的自适应调整,利用KL散度实现对不确定性的度量,并以探测概率克服信息收益忽略较大分布概率目标区域的缺陷,提高卫星对目标的发现能力。最后对比多种算法进行了仿真实验,结果表明所提算法具有更优的观测效果,验证了该算法的有效性。     

一种变角度导流装置的水动力设计

借鉴风力机扩散器原理,基于提高冲击式海浪发电装置的发电效率,设计了一种变角度导流装置。低流速情况下,由于导流罩原因,扩大了内部初始海流对叶轮的冲击力,增加海浪利用效率;在高流速条件下,通过变角度逐渐缩小进流口面积,防止内部叶轮超载工作。提取影响导流罩保护性能的因素,应用RNG湍流模型对3个主要因素进行分析,选取III级海浪流流速计算相关数值,最后通过模型试验对其性能进行验证。试验选取半径0.5 m叶轮,入口流速达到8.1 m/s时外部流体冲击叶轮的有效面积为0.058 m2,此情况下不足以启动叶轮。模型分析和验证结果均表明,加装变角度导流罩对叶轮有较明显的保护作用。