基于特征的CAD数据交换方法研究*

分析了现有产品数据交换方法的基本特点并指出其不足之处,提出了一种基于特征的CAD数据交换方法,这种以定义造型功能映射集合为基础的新方法实现了不同CAD系统之间高效的数据交换,可保存高层设计意图。在Inventor和SolidWorks上初步实现了拉伸、旋转、扫描、圆角等几种特征数据交换,验证了方法的可行性。     

探索实现C功能的C++新方法

本文从几个方面对C 的新方法和C语言相应功能进行比较,探索出了新的方法来实现C语言的同样功能,只是这些新方法使用起来要比C语言中的简单和方便得多。最后对这种探索提出新的展望。     

用于复杂数字系统测试的整体功能模型

运用《系统论》的思想，提出数字系统功能和复杂数字系统整体功能的概念，由此引伸出功能测试的新方法，这种方法可归结为通过复杂数字系统的分析，包括拓扑分析和逻辑分析，建立整体功能模型，据此找出验证测试所需的系统输入向量序列。这些工作可采用计算机辅助手段，特别是运用《算法图论》和逻辑综合工具而完成的。用所提出的方法可以在复杂数字系统各种不同抽象级的逻辑图中提取整体功能模型，因此具有广泛的适用性。     

基于数据流的分域部署核查工具设计与实现

为解决电子政务分域核查难的问题,文章提出了一种核查电子政务系统部署的新方法。文章首先分析了当前电子政务核查上面临的挑战,其次针对这种情况,提出了基于应用层的数据流提取方法,以及系统分域防护策略、信息分域存储检验策略为准的核查方法,这是电子政务安全建设的基础。最后,文章搭设平台对设计思想进行了功能验证实现。     

基于Agent的软件工程建模方法研究与实践

提出了一种Agent交互的新方法。重点论述了利用黑板模型和元组描述Agent交互的协作模型的设计和包含协作模型的Agent系统框架设计。实际项目验证这种方法有很好的安全性和扩展性。     

一种研究电子天平蠕变特性的新方法

提出了一种研究电子天平蠕变特性的新方法。这种方法首先在几个重量点上用最小二乘法得到蠕变的变化曲线 ,然后再在其它重量点上用分段线性插值的方法得到该点的蠕变变化曲线。经实验验证 ,这种方法简单有效。     

一种基于图模型提高代码覆盖率的验证方法

随着微处理器复杂度的不断提高,用全功能验证方法将花费大量的计算资源和时间。提出一种基于图模型的验证方法,首先利用功能抽象的方法得出微处理器的图模型,然后由基于图模型功能覆盖的代码生成算法生成验证代码。我们将这种方法应用于一款DSP的功能验证,结果显示在很短的验证代码激励下得到了较高的代码覆盖率。     

一种基于注册表实现软件防盗功能的算法

该文介绍了实现软件防盗功能的一种新方法,该方法是基于注册表进行设计的。首先分析了利用注册表达到软件限期使用从而实现防盗版功能的设计思想,提出了这种算法,然后以一个C#应用系统的开发描述了这种算法。     

一种处理垃圾邮件的新方法

本文首先介绍常用的处理垃圾邮件的方法，指出这些方法的缺点。然后详细介绍了一种处理垃圾邮件的新方法，这种方法通过分析垃圾邮件潜在特征词的挖掘方法，提高垃圾邮件的识别率。最后通过一组实验来进行验证。     

基于RTW的LabVIEW和Simulink混合编程方法

为了实现LabVIEW和Simulink优势互补,拓宽它们的应用范围,提出了利用Matlab实时工作空间-RTW(Real-Time Workshop)将两者混合编程的新方法,同时详细阐述使用自定义目标配置功能生成可用于LabVIEW应用程序的过程,总结利用RTW进行LabVIEW和Simulink混合编程的步骤并给出验证实例.验证结果表明,该混合编程方法可行和实用.     

嵌入式微处理器的软硬件协同验证

软硬件协同验证是解决系统芯片验证的关键技术：模型驱动的软硬件协同验证方法是一种新颖的嵌入式微处理器的验证方法，其主要部分包括基于真实的验证平台、验证向量的自动生成器、验证结果的分析和比较器。该验证方法可实现嵌入式微处理器的完备验证，且基于该方法实现的验证平台可很容易地转化为系统芯片的设计及验证平台。     

SV DPI技术在FPGA仿真验证的应用探讨

SystemVerilog作为近年来逐渐流行的FPGA验证语言,包含了丰富的验证特性：DPI、断言技术、功能覆盖率等,其中DPI接口技术可以帮助验证工程师在验证平台中实现对C或C++的调用,验证工程师可以通过编写C函数来实现复杂激励模型设计,同时也为进行复杂算法的FPGA设计的仿真验证提供了新的验证思路。本文提出一种基于DPI接口的FPGA仿真验证方法,实验表明：利用该方法搭建的仿真验证平台相对于传统的纯verilog验证平台,具有更高的仿真效率和验证的灵活性。该验证方法为算法级FPGA设计的确认测试提供了新的验证思路。     

一种新的在线手写签名认证算法

提出了一种新的在线手写签名认证算法,着重研究签名曲线中的特殊点的匹配情况。该算法将签名曲线中特殊点的位置坐标提取出来,然后提取出特殊点中的关键特征至高点与至低点,并且用离散Fréchet距离作为距离的测度来对至高点与至低点进行研究,提出了一种新的关于曲线相似性的定义,并且在这种定义的基础上建立了一种新的判断签名曲线相似性的数学模型,此模型中隐含了对签名曲线的平移和伸缩变换。由于模型的求解是一种NP困难问题,针对这种情况,提出了一种新的多项式的求解算法,最后通过对实验结果的分析验证了此算法用于签名认证的有效性,且适用于判别离散曲线的相似性。     

一种新的安全协议形式化验证方法

形式化方法能有效检验安全协议的安全性，BAN类逻辑的发展极大地促进了这一领域的研究，但是现有的BAN类逻辑仍然存在许多问题．在分析现有BAN类逻辑的基础上，提出一种新的安全协议形式化验证方法，实现现有BAN类逻辑的验证功能，并使安全协议验证工作简单可行，便于实现机器自动验证．为安全协议形式化验证提供了一种新的途径．     

Ensemble similarity learning for kinship verification from facial images in the wild

Kin relationship has been well investigated in psychology community over the past decades, while kin verification using facial images is relatively new and challenging problem in biometrics society. Recently, it has attracted substantial attention from biometrics society, mainly motivated by the relative characteristics that children generally resemble their parents more than other persons with respect to facial appearance. Unlike most previous supervised metric learning methods focusing on learning the Mahalanobis distance metric for kin verification, we propose in this paper a new Ensemble similarity learning (ESL) method for this challenging problem. We first introduce a sparse bilinear similarity function to model the relative characteristics encoded in kin data. The similarity function parameterized by a diagonal matrix enjoys the superiority in computational efficiency, making it more practical for real-world high-dimensional kinship verification applications. Then, ESL learns from kin dataset by generating an ensemble of similarity models with the aim of achieving strong generalization ability. Specifically, ESL works by best satisfying the constraints (typically triplet-based) derived from the class labels on each base similarity model, while maximizing the diversity among the base similarity models. Experiments results demonstrate that our method is superior to some state-of-the-art methods in terms of both verification rate and computational efficiency.     

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

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

基于PXI总线的导弹通用计量检定平台设计

为了克服我军现役导弹计量设备体积过大、通用性差、测试资源浪费严重、机动性不强等缺点，在对某型导弹计量设备及测试参数研究的基础上，采用了PXI总线系统和新一代自动测试系统的模块化设计的要求，设计了导弹通用计量检定系统;实现了导弹计量检定设备的通用性和低成本,使导弹计量设备的便携性成为可能;大量工程实践证明，此系统解决了传统计量设备所不能解决的诸多问题，并大大提高了系统的计量效率和精度，因此具有很强的实用性。     

一种程序综合方法

通过证明程序规约的方法可构造相应程序，但对“难题”和无证明的规约，无法使用这种方法构造程序，另一方面，如果可构造程序规约的验证程序，则可把这种程序看成该仙约的程序。本文讨论了程序规约的验证程序的构造方法，作为研究程序自动佛的一种途径。     

基于多元混合高斯分布的多分类人脸识别方法

针对实际人脸图像含有的噪声模型常常表现出的非高斯特性, 该非高斯特性具有较厚重的拖尾现象, 提出一种基于多元混合高斯分布的多分类人脸识别方法。该方法将多元混合高斯分布、核函数、概率密度函数估计中的参数估计以及贝叶斯理论结合起来, 能对含有重尾噪声的人脸图像有较高的识别率。用ORL标准人脸库进行验证, 实验结果表明了可行性。     

一种基于PID算法的气压控制技术

提出了一种新型气体压力控制技术的实现方案,引入PID控制算法通过伺服电机调节气缸活塞的位置来控制气压.在压力传感器校准中,既可以产生线性变化的气压用于切换误差检定,也可产生稳定的气压用于示值检定,所设计的方案已成功应用于全自动压力校准仪.测试结果表明,该气压控制实现方案提高了气体压力的控制精度,在计量检定领域具有良好的...