Livelocks in parallel programs

This paper is the second of a two-part series exploring the subtle correctness criterion of the absence of livelocks in parallel programs. In this paper we are concerned with the issue of proving this correctness criterion. It is shown that livelocks are not preserved by reduction, implying that reduction cannot be used directly in proving the absence of livelocks. Two applicable proof techniques are also presented. One is based on the notion of establishing sufficient conditions for livelock-freedom; the other is an extension of the well-founded set method for proving termination in sequential programs.     

智能卡话者确认系统的研究

介绍了一个将参考模板存放在智能卡上的与相关的话者确认系统及其工作原理、相关算法和参数设置。     

A novel intelligent verification platform based on a structured analysis model

An intelligent verification platform based on a structured analysis model is presented.Using an abstract model mechanism with specific signal interfaces for user callback,the unified structured analysis data,shared by the electronic system level design,functional verification,and performance evaluation,enables efficient management review,auto-generation of code,and modeling in the transaction level.We introduce the class tree,flow parameter diagram,structured flow chart,and event-driven finite state machine as structured analysis models.As a sand table to carry maps from different perspectives and levels via an engine,this highly reusable platform provides the mapping topology to search for unintended consequences and the graph theory for comprehensive coverage and smart test cases.Experimental results show that the engine generates efficient test sequences,with a sharp increase in coverage for the same vector count compared with a random test.     

基于移动设备手写签名认证系统的设计与实现

由于移动设备具有通过外部的无线网络访问数据、体积小容易丢失等特征，给操作带来方便的同时．也给后台数据库带来很大的安全隐患。文章针对基于移动设备的无线网络应用系统，在Windows2000和Windows Mobile2003操作平台上．利用Microsoft的Visual Studio．Net2003和．NET Compact Framework开发环境，设计和实现了基于移动设备手写签名认证系统。实验结果表明：在少量样本数据情况下，对于非专业模仿签名的错误接受率FAR为3．65％．而错误拒绝率FRR为2．9％。该系统增强移动设备访问数据的安全性，提高操作员认证的效率．具有很强的舅用性。     

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

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

二维水波数学模型的实验验证

为了验证基于缓坡方程的波浪折射和绕射综合问题的数学模型，在波浪水池中，对缓坡地形上的双突堤在规则波，单向不规则波和多向不规则波作用下的折射，绕射综合影响进行了实验研究，并将实验得到的结果和数值计算结果进行了比较。     

RapidIO应用系统及其验证模型的设计与测试

针对传统嵌入式系统中互连通信的问题,提出一种可用于嵌入式系统内部通信的基于RapidIO的应用系统及其验证模型。该方案采用Altera公司的IP核和Cyclone系列FPGA,建立了串行RapidIO(SRIO)接口通信系统,并对其功能进行验证。详细分析了RapidIO应用系统及其验证模型的功能结构和运行原理,为提高嵌入式系统内部模块的通信速率提供了解决方案。     

相关性分析在一致性检验中的应用

在对高可靠性指标产品进行可靠性评估时,为满足试验样本量的需求,对不同阶段或不同批次的试验样本进行一致性检验,已成为扩大试验样本量的一种常规手段。针对成败型产品的试验样本,提出了利用相关分析进行一致性判别的方法,并通过实例将常用的Fisher法与相关分析法进行了深入的对比和分析。通过算例分析表明:相关分析法克服了Fisher检验法精度较差、灵敏度较低等缺点,对成败型产品的试验样本进行一致性检验差别结果更加合理可行。     

光学设计自动化软件验证技术概述

在计算机辅助设计软件中，光学设计自动化软件是随着微光子学、光电子学和深亚微米集成电路的发展而逐渐产业化的，相对于电子设计自动化软件而言，仍有许多有待完善和改进的地方。在验证方面主要从原理验证、合理性验证和实验验证来保证光学设计自动化软件的正确性和质量。同时也给出了相关的实例。     

一种用于密码协议形式化验证的简单逻辑

给出了一个可用于密码协议形式化验证与设计的简单逻辑.该逻辑采用抽象的通道概念表示具有多种安全特性的通信链路,可在比现有认证逻辑的更抽象的层次上对协议进行处理.