结构损伤识别的模态应变能方法探讨

分析了模态应变能用于结构损伤识别的可行性，并进行了有限元和实验验证．结果表明，模态应变能对损伤较为敏感，能够反映结构的局部状态变化，可以用来检测结构损伤位置。     

对一种电子支付协议的改进

随着电子商务在全球的迅猛发展,电子商务的安全问题日益受到人们的关注。安全的电子商务协议是确保电子商务活动可靠开展的基础,其中不可否认性和公平性则是电子商务协议的两个重要安全需求。介绍了Bolignano电子支付协议,对其不可否认性和公平性进行了分析,发现了协议在公平性方面存在不足,并通过引入ftp传送的思想,对协议进行了改进。最后本文通过严格的协议形式化分析,证明了改进后的协议满足不可否认性和公平性。     

二维DCT算法的高速芯片设计

介绍了一种基于行列变换快速算法的高速DCT处理芯片的设计，并详细阐述了实现这一算法的电路结构．为了提高芯片的处理速度，电路中采用了流水线结构和双RAM转置存储技术，并给出FPGA实现和Verilog综合结果．综合结果显示，该芯片最高可以工作在140MHz的时钟频率上，非常适合于各种视频图像压缩方面的实时应用．     

H.263系统中FPGA控制及协处理的实现

分析了基于DSP实现H.263系统的构成,比较了几种用FPGA实现对DSP数据处理的协处理方案,并用vHDL代码实现了两组16位数据串行输入并行输出移位寄存器缓存与输出的优选方案.最后的仿真结果证明该方案是可行的.     

环境素养评价体系与模型的构建及实证分析

结合国内外环境素养的研究成果 ,指出环境素养的概念应主要包括环境知识、环境行为和环境意识 3方面 ,并具有 3个特征·以此为基础 ,注意相关性、简洁性、可操作性等原则 ,构建出 3级 4层的环境素养评价指标体系和对应的数学评价模型 ,并进行了实证分析·该文有助于人们重视环境素养及其现代研究方法的构建与应用 ,增进交流 ,促进环境素养的提高·     

成绩录入系统确保数据正确性的策略

主要讨论如何在成绩录入系统中确保输入数据的正确性，提出从客户端的数据录入应用程序和数据录入后校验两个方面确保录入数据正确性的策略，并详细介绍了双工输入比较法、过滤按键、数据实时检验及数据录入后进行的即时检查和总结性校验等具体方法。     

一种高精度测量交流系统功率的方案

提出了一种采用现场可编程门阵列(简称FPGA)实现交流系统功率测量的方法.FP GA中采用离散数学的方法实现DSP算法用于交流系统的功率测量,由于FPGA具有较高的分辨率和较好的性能,使功率测量精度不再受传统处理机的分辨率所限,测量的精度得到提高.文中采用硬件高精度的方法实现数字积分功能,克服了由于电压电流的波形偏离正弦波所带来的测量误差,为交流系统功率测量提供了一个高精度、快速的测量方案.     

FPGA／CPLD可编程逻辑器件的在系统配置方法

讨论了基于SRAM技术的CPLD／FPCA可编程逻辑器件的编程方法，并以ALTERA公司FLEX10系列器件为例，提出了一种利用微处理器对可编程逻辑器件进行在系统多方案配置的实用方法。该方法成本低廉、简单易行，能在系统复位或上电时自动对器件编程，不仅有效的解决了基于SRAM的CPLD／FPGA器件掉电易失性的问题，而且使单一芯片可以具有多种逻辑功能，实现了该类器件逻辑功能的在系统多方案的灵活配置。     

Design and Implementation of a Novel Algorithm for Iterative Decoding of Product Codes

A novel product code iterative decoding algorithm and its high speed implementation scheme are proposed in this paper.Based on partial combination of selected columns of check matrix,the reduced-complexity syndrome decoding method is proposed to decode sub-codes of product code and deliver soft output information.So iterative decoding of product codes is possible.The fast sorting algorithm and a look-up method are proposed for high speed implementation of this algo-rithm.Compared to the conventional weighing iterative algorithm,the proposed algorithm has lower complexity while offering better performance,which is demonstrated by simulations and implementation analysis.The implementation scheme and verilog HDL simulation show that it is feasible to achieve high speed decoding with the proposed algorithm.     

基于事务形式验证(TBFV)及8051的TBFV模型

提出了一种基于事务的形式验证方法(TBFV)，为待验证的系统构造功能验证模型，每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数．这些可用Kripke结构来描述．这些功能验证模型实现了特定的事务，从而可以将一般的验证要求映射为具体的实现属性．这样，验证者无需了解设计的细节，可在较高层次上对系统行为进行验证．为了证明该方法的效率，分别用该方法和传统的形式验证方法验证了8051的RTL实现．8051中所有的指令都进行了验证，并给出了相应的功能验证模型．实验结果表明，采用该方法可大大节省验证工程师的时间．功能验证模型和验证指令可以在其他设计中复用．