Hamming - You and Your Researc

Richard Hamming的 You and Your Research是做一名成功的科研人员所必读的文章。他告诉你应该怎么样去做研究，去思考问题，去改变社会。

Handbook of Quantum Logic and Quantum Structures

经典计算技术发展已受到很大限制，量子计算机将成为其替代品。本文为目前量子计算技术的发展情况介绍及已经取得的历史性进展。

MATLAB数学手册.

MATLAB 已成为多学科、多种工作平台的功能强大、界面友好、语言自然并且开放性 强的大型应用软件，目前的最高版本是6.0 版。本教程以6.0 版为基础，从高等工科院校的 数学课程出发，提供了使用MATLAB 的实践性指导。本教程以教学的手段，系统详细地介 绍了MATLAB 在高等数学、数值分析、函数作图、线性代数、概率统计和优化理论中的应 用，并配备了大量的例题，让读者能很快掌握MATLAB的运算技巧。 本教程按逻辑编排，自始至终用实例描述，既适用于初学者自学，也适用于高级 MATLAB 用户。可作为高等数学、数值分析、工程数学、数学建模、线性规划等课程的教 学参考书，也可作为科技工作者学习和使用MATLAB 的参考书，还可作为数学实验的教学 用书，特别适合用作理工科大学生学习数学课程的教学辅导书。 本教程的光盘内容详尽、实例丰富：包含了MATLAB 实例的源文件，函数/命令及注解， 程序实例。

粒子群算法的改进与应用研究

本文从粒子群算法的基本原理、参数选择及应用等方面着手，通过对传统的粒子群算法收敛较慢、易陷入局部最优的问题的研究，提出了一种基于参数调整的改进方法，调整了传统的粒子群算法中的参数，使粒子寻优过程中速度与方向的变异随着迭代次数的变化而变化，这样可以加强粒子在寻优过程晚期的搜索能力，运用Schaffer’S测试函数进行仿真，结果证明这种改进的方法是可行和有效的。

基于粒子群算法求解多目标优化问题

粒子群优化算法自提出以来，由于其容易理解、易于实现，所以发展很快，在很多领域得到了应用9通过对粒子 群算法全局极值和个体极值选取方式的改进，提出了一种用于求解多目标优化问题的算法，实现了对多目标优化问题的非劣最优解集的搜索，实验结果证明了算法的有效性。

蚁群优化算法基本原理及研究进展

对蚁群算法的原理及特点进行了论述，进行了算法在几种优化问题上的应用研究，对算法的一些不足进行了分 析，提出了几种算法改进的方法，进行了该算法下一步研究的展望。

可信性测评及其影响因素的研究综述

总结了相关标准对软件可信属性的定义，在现有软件可信性定义的基础上给出了军用关键软件的可信性定 义。对现有的软件可信性及其可靠性、数据安全性、防危性等可信性子属性相关的'314评技术进行了总结，综述了软件可信 性评估技术发展的国内外现状。分别从软件可靠性理论及评估技术、软件可靠性模型综合选择算法、关键软件防危性测 试、软件可信性测试与评估技术、影响软件可信性的随机因素的分析几个方面进行综述，指出了实施军用软件可信性研究 的重要性，最后对软件可信性测评技术研究和实践进行了展望。

可信计算技术 可信软件

文对可信计算技术进行了介绍和分析，主要介绍了可信计算的概念、国内外发展 状况、发展趋势以及可信计算研究方面的关键技术．可信计算技术是近几年发展起来的一种基于 硬件的计算机安全技术，其通过建立信任链传递机制，使得计算机系统一直在受保护的环境中运 行，有效的保护了计算机中存储数据的机番l生和安全性，并防止了恶意软件对计算机的攻击．

高可信计算机系统设计

结合可信技术和虚拟化技术，提出了一种高可信计算机系统安全解决方案。利用可信技术实现对系统硬件的 认证，提供系统的完整性证明；利用虚拟化技术实现物理硬件资源与软件系统的安全隔离；通过动态信任链传递机制， 保证虚拟执行环境的安全可信，从而创建受保护的执行环境；虚拟环境内不同操作系统、应用程序间完全隔离，有效抵