摘要：“算法设计与分析”是计算机专业的核心课程,该课程的授课对象是所有计算机大类相关专业的学生。因此,将思想政治教育融入该课程中,能够对更多的学生产生积极影响。然而,当前算法类课程思政建设实践存在思政资源挖掘不够、课程与思政“两张皮”的问题,易导致课堂氛围沉闷,降低学生的求知欲望。为了解决这些问题,通过提炼思政元素,实现“术道融合”,赓续文脉传承,厚植家国情怀,激发学生的学习兴趣,锤炼其创新能力,并从国家、学校、个人三个层次开展课程思政建设,构建了具有哈工大特色的“三层次”“算法设计与分析”课程思政实施路径。

摘要：针对现有对抗鲁棒蒸馏(ARD)方法存在不充分和不可靠的教师网络指导及固定的攻击强度问题,提出一种基于强度相关正则化学习(ICRL)的ARD方法。该方法包括多维度知识蒸馏和强度动态调整攻击两个关键模块。多维度知识蒸馏通过跨越师生logit的实例维度和类别维度的知识蒸馏以及学生内省自我维度的知识蒸馏,有效地解决了因教师网络指导不充分和不可靠造成的分布差异问题。为了使对抗样本的攻击强度可以随着学生网络鲁棒性的增强而自适应更新,设计一套精简有效的攻击强度动态调整算法,旨在为每个实例动态选择和分配适配的攻击强度。此外,ICRL还从攻击强度角度对学生内省自我维度进行正则化规范,自适应规范化学生内省损失并避免极端对抗扰动实例的影响。在CIFAR-10和CIFAR-100数据集上的大量实验结果表明,该方法不仅可以作为大多数主流的ARD框架的通用插件,而且大大增强了基准方法对多步骤攻击的抵抗力,特别是对于当前表现最佳的基准方法AdaAD,在学生网络为ResNet-18的条件下,AdaAD-ICRL在投影梯度下降(PGD)-10攻击下的对抗鲁棒精度分别提高了2.06和2.11百分点,这验证了该方法在现有框架中的兼容性与有效性。

摘要：为了有效地进行时态数据库设计,支持多时间粒度的时态函数依赖(TFDs)被用于时态模式的规范化.时态模式规范化所要解决的一个关键问题是求解时态函数依赖的有限属性闭包问题.由于多时间粒度的使用,使得有限属性闭包问题变得非常复杂.实际上,TFDs与传统的函数依赖(FDs)之间存在着密切的联系.通过分析这些联系和封闭时态类型集的特性,利用传统FDs的相关算法提出一个有效的求解有限属性闭包的算法.通过分析和与相关算法的实验比较,该算法更加有效.

摘要：将直线离散轨迹看成是由一系列水平位移或对角位移构成,给出了计算水平位移和对角位移长度的迭代公式;在此基础上提出了单基元和多基元直线绘制算法.实验和理论分析表明,该算法能够大大地减少生成直线的计算量,提高直线的绘制速度.

摘要：基于HLA标准,设计了HLA半实物仿真平台的体系结构,解决了HLA应用到半实物仿真平台中遇到的实时性问题,设计了相关的接口程序,改善了基于HLA仿真系统实时性性能不足的问题。在接口程序的设计中,运用插值外推法和利用网络层进行传输相结合的方法,解决了由于RTI软件自身性能不足造成的实时数据传输过程中出现的数据包丢失和数据传输延迟的问题。

摘要：提出了解决多处理器SoC的低功耗软硬件划分问题的方法——基于神经网络的禁忌搜索算法。其基本思想是：真实的生物神经元具有抑制重复激活的阻尼特性,这与禁忌搜索对重复搜索加以限制相类似,因此设计具有阻尼特性的神经网络实现禁忌搜索算法,受阻尼特性抑制的神经元对应禁忌活动。由于神经网络复杂的动态特性和禁忌搜索优秀的全局搜索能力,该算法能够有效地跳出局部最优解。对真实任务图的实验表明,与遗传算法相比,该算法不但具有搜索速度上的优势,而且所得到的绝大部分软硬件划分方案有更低的系统功耗。

摘要：构件粒度在很大程度上影响着构件的复用性能,但目前尚缺乏严格有效的方法以支持对构件粒度的优化设计.以特征空间作为表达业务模型与构件语义的统一方式,给出了构件粒度的定量度量方式,并探讨了业务模型空间与构件空间之间的四种映射机制.通过分析构件粒度与业务模型稳定性之间的关系,提出基于模型稳定性的动态粒度构件设计思想,从异构体数目、稳定熵、相似度三个方面的稳定性进行度量,进而给出了基于最大稳定集的构件识别算法STCI M.实例验证与理论对比分析证明了STCI M相对于其它构件识别方法在目标构件复用性能优化方面的优越性.

摘要：提出VLSI高层综合设计方案,该方案基于多电压在时间及资源约束条件下,综合考虑了调度及互连,从调度互连两个角度达到低功耗的目的.该方案提出了基于Gain大小搜索的调度,将功耗增益、灵活度和行为执行密度因素作为折中函数,考虑操作的属性更加全面.在互连中基于分布式的RS互连模型得出互连单元在执行时段里的动态功耗,同时考虑单根总线上的翻转和邻线的耦合.该方案在CDFG工具包中实现并证明了它的有效性.

摘要：提出了一种基于知识的智能 Agent 逻辑模型,该模型以知识为核心,以推理作为主要规划手段。在此逻辑模型的基础上,提出了以本体为核心的 Agent 内部知识表示方法,并在任务及实体定义的基础上,结合产生式知识表示方法,构造了规划表示方法,形成了一个完整的智能 Agent 内部知识模型并基于黑板模型设计了智能 Agent 的实现结构以及其中的关键算法——规划过程。设计了基于智能 Agent 及黑板机制的农业智能决策系统的基本框架,并以农场作物生产决策系统证实了该模型能够满足大规模分布式农业决策系统的需求。

摘要：随着生产工艺的进步和硅形体尺寸的缩小,计算机系统面临着前所未有的瞬态故障影响,可信计算已经成为桌面级和嵌入式系统设计和应用的热点,其中以处理器的可信设计为核心.首先,从容错技术角度对处理器提出了一种新颖的、比较全面的分类方法;在此基础上,以处理器容错技术发展趋势为线索,对目前流行的处理器结构、微结构的容错机制和容错技术以及不同层次上有代表性的最新研究成果做了介绍和分析;最后,对处理器容错技术研究新趋势及其发展方向提出了意见和建议.