基于协同演化算法的HLS延时优化

HLS的应用让高级程序语言描述的算法能够快速实现于硬件电路,从而极大提高集成电路的设计效率.但是HLS提供的丰富配置让程序的可用优化配置数会随着程序的规模呈指数级增加.基于此,提出一种基于协同演化计算的HLS延时优化方法,该方法以Top-Function和具体外围应用需求为输入,通过程序分析得到基本可配置元素;以随机生成配置为初始种群,采用协同演化方法,生成基于延时最小的配置.实验部分详细分析了基于179ART的实验,提出的优化方法令其延时减少达50%以上.最后,又通过3组实验展示了该方法的有效性.     

非奇异M-矩阵的降阶判定

给出对任意阶非奇异M-矩阵进行简便判定定理，设计了一种降阶判定算法以实现对任意阶矩阵是否为非奇异M-矩阵的快速判定，每次只要进行数的加、减、乘、除简单运算及对其结果判定符号，并对一个已有的逆M-矩阵的性质定理的结论进行修正．     

计算机教学网的构建

针对我国高校与中小学在构建计算机教学网中的普遍情况，结合国际计算机网络技术开发展的最新动态，讨论如何有效、合理地构建计算机教学网，并给出一个构建方案。     

基于神经网络与证据组合推理的入侵检测方法

给出一种智能神经网络与证据组合推理相结合的网络入侵检测方法,将神经网络检测结果认为是"证据",并引入D-S证据理论进行组合推理,为解决连续时间序列入侵行为判别的问题提供了一种新方法,并且能提高入侵检测的判别精度。     

SNMP网管系统的面向对象分析与建模

在分析基于SNMP协议的网络管理系统的原理与工作模式基础上,使用统一建模语言UML作为工具,对网管系统进行面向对象的需求分析与建模,建立了系统的分析模型与设计模型的各种视图,本文对于类似系统的设计有较好的参考价值.     

解反对称矩阵特征问题的精化广义Lanczos方法

利用广义Lanczos算法,提出了一种计算反对称矩阵特征问题的广义Lanczos方法,并根据精化策略给出了求解大规模反对称矩阵部分特征对的精化广义Lanczos算法,数值实验表明精化变形需要的迭代次数更少.     

计算机科学与技术专业工程实践能力培养模式的探索

针对人才市场的需求和计算机科学与技术专业的特点,从培养方案、校企合作和工程实践项目建设等方面论述了培养学生实践和创新能力的一些改革措施,并以实例介绍这一方面的探索与实践.     

远程考试系统的开发

论述了远程考试系统的系统设计，登录信息，密码的验证，试题的抽取，试卷的生成，定时功能，自动评分及数据库访问等问题，并结合作者开发的一个远程考试系统，介绍了具体编程实例。