软件测试自动化静态分析研究

为了加快软件测试的速度，减少人力投入，可以采用测试自动机对软件进行自动测试。测试自动化静态分析工具是一种软件，可以利用它对程序的源代码进行分析，自动测试应用系统的很多方面。在软件测试中，静态分析工具并不执行所测试的程序，只是扫描所测试程序的正文，对程序的源代码进行分析，它类似于编译程序中的词法分析和语法分析，但工作量远不止于此。  

BMP图像的防伪数字水印

近年来，随着数字媒体的大量出现，数字水印作为一种信息安全技术越来越受到人们的关注。目前已经有许多BMP图像的数字水印算法，但是这些算法生成的数字水印图像很容易受到拷贝攻击，所谓拷贝攻击是指敌手将水印从一个作品拷贝到另一个作品的攻击方法。BMP图像的防伪数字水印算法把密码技术和数字水印技术结合起来，其生成的数字水印图像可以克服拷贝攻击。  

人工智能与人工生命

人工生命（Artificial Life)是一门正在迅速发展的新兴学科。将人工智能（Artificial Intelligence)方法与人工生命方法相结合，是目前人工智能研究的新方向。该文介绍了人工生命的概念和研究方法，分析了人工智能目前的困难以及人工生命与人工智能的区别与联系，并介绍了几种二者结合的实例。  

"信息安全"本科专业人才培养的研究

本文针对社会信息化发展所带来的信息安全问题,分析了信息安全学科的特点、社会对信息安全专业人才的需求、国内外信息安全人才培养的特点和现状,以及信息安全专业人才的素质要求,结合北京科技大学2005版信息安全本科教学计划,提出了信息安全专业人才培养的知识体系,体现了信息安全以计算机、通信和数学为基础的交叉学科特点。  

面向对象的软件测试方法

文章针对面向对象软件具有的特征，给出一个面向对象的测试模型．详细探讨了面向对象单元测试、面向对象集成测试和面向对象系统测试的测试策略，以及相应的测试用例设计方法。  

可重构体系结构的特征及应用

文章介绍了可重构体系结构的概念、特征和应用。着重介绍了可重构体系结构的分类及其适用领域，可重构计算系统的总体结构特征和可重构处理单元RPU的结构特征，对基于FPGA的可重构系统和其他可重构系统进行了比较，并总结了当前可重构体系结构的优点以及存在的问题。  

信息安全中的公钥密码软件-大整数模拟实现

文章主要介绍用软件模拟实现了大整数模乘功能模块。该模拟软件解决了大整数在计算机内表示、数制转换、加法器模拟、加法链计算、计算补码、模加运算、模乘运算等关键难点问题．开发目的是要提高公钥密码运算速度，应用RSA公钥密码体制实现密钥管理、加密通信、数字签名以及身份验证等信息安全功能。  

基于复合域上的椭圆曲线密码体制的计算算法

基于有限域上椭圆曲经公开密钥协议的离散对数计算算法正日益成为热点，其基本的操作是标量乘法：即用一整数乘以椭圆曲线上给定的点P。协议的主要开锁在于椭圆曲线的标量乘操作上，本文给出了3个逄法进行椭圆曲线密码系统的有效计算，第一个算法采用加－减法链的方法处理标量乘法问题；第二个算法给出了正整数n的NAF形式；第三个算法采用窗口的方法处理NAF（n）从而进一步提高加－减法链的效率，这三个算法的有机结合从银大程度上提高了椭圆曲线密码体制的加／解密速度。  

RSA公钥密码体制的实现研究

RSA公钥算法是目前被广泛采用的公钥体制密码算法，但RAS算法的运算复杂度极大，如果能针对个人用户，用专用集成电路快速而又低成本地实现RSA算法，将有助于RSA算法的推广。该文对目前应用较好的RSA公钥算法的软、硬件算法进行了详细的实现分析，指出采用合理的软硬件算法并增加部分硬件，可以用专用集成电路较快地实现RSA算法。  

基于H.264/AVC的一种新的帧一层码率控制算法

在参考软件Joint Model(JM)8.4中已给出了码率控制算法JVT-017的提案。由于该算法采用线性模型预测平均绝对差Mean Absolute Difference(MAD),运算量较大且存在一定的误差,为此提出了一种新的帧一层的非线性量化级计算模型。仿真结果显示,与JVT-H017码率控制算法相比,采用改进算法的H.264编码器在在相同条件下码率控制得更准确, 并能获得较高的峰值信噪比PSNR和主观视觉质量,特别在有场景切换的情况下缓冲区并未出现上溢和下溢现象。