COBOL程序测试环境CPTS—1的设计与实现

CPTS-1是一个以 COBOL 程序为测试目标,为提高测试效率而实现的一个软件测试环境。本文旨在系统地介绍 CPTS-1的主要功能、特点和设计实现的基本原理。     

移动数字信令中使用纠错码的检纠错性能分析

本文以一个典型移动数字信道为背景,利用已建立的三状态Markov模型参数求得在无交错和有交错两种不同情况下的信道错误分布概率P(n,m)和P_I(n,m);根据目前在移动数字信令中常用纠错码的对偶码的重量分布,利用了Macwilliams恒等式,计算出了这些码的重量分布A_i,最后由得到的A_i、P(n,m)和P_I(n,m)结果对有无交错两种不同情况下移动数字信令纠错码的检纠错能力进行了分析计算.     

具有错误探测和纠正功能的电路设计策略

为了克服传统处理器设计方法采用最坏情况来确定电路的工作频率带来的性能(吞吐率)损失,人们开始采用具有探测错误和纠正错误功能的电路设计方法。该文在已有的探测错误、纠正错误电路基础上,提出了一种针对具有延时错误纠错功能的电路的设计策略。该方法通过计算电路的延时错误概率函数,得出在一定电源电压下使得电路达到最大吞吐率的工作频率。模拟实验结果表明,该方法可以求得使电路获得最大吞吐率的工作频率。     

一种基于椭圆曲线密码的可检错数据签名加密方案

本文基于椭圆曲线密码和对称密码体制,提出了一种融合数据加密,签名认证和数据检错功能新方案,该数据签名加密方案可有效防止中间人攻击,有效的提高数据传送效率.     

液压跑偏控制系统的动态分析

讨论了液压伺服系统跑偏控制的原理与方法．根据各环节传递函数，建立了整个系统的开可传递函数，并绘制系统开环波德图．权衡精度控制要求与系统稳定住确立系统增益．文章从实例出发分析了跑偏控制系统的动态特性．     

Non-Intrusive Design of Self-Checking FSM Based on Convolutional Codes

A non-intrusive design of self-checking finite state machines (FSMs) in VLSI circuits was investigated using convolutional codes. We propose a novel scheme which cannot only detect but also correct errors occurred in FSM states. The error state will be corrected and sent back to the FSM, so that the concurrent error in the current state is detected and corrected immediately. Moreover, we realize the IP core of the self-checking module by SMIC 0.25-μm CMOS technology and also simulate its function in FPGA.