摘要：利用优秀个体增强解搜索方程的开采能力是改进人工蜂群算法的一种主流思路.然而,现有相关工作往往仅以适应度信息作为评价个体的唯一标准,易导致算法出现早熟收敛等问题.本文提出一种多元信息引导的人工蜂群算法,分别设计了基于适应度、位置以及相似度信息的3种解搜索方程,并在雇佣蜂阶段和观察蜂阶段采用了不同的使用方式.同时,为保存侦察蜂阶段的搜索经验,采用一种微调后的邻域搜索机制用于处理被放弃蜜源.在CEC2013测试集和一个实际优化问题上进行了大量实验验证,与6种衍生算法和5种知名的相关改进人工蜂群算法进行了对比,结果表明本文算法性能竞争优势明显,在结果精度和收敛速度上均有更好表现.

摘要：为实现干涉式集成光学陀螺的小型化和集成化目标,提出并设计基于二氧化硅波导干涉环的集成光学陀螺系统。首先,确定二氧化硅波导的结构及截面尺寸,其截面尺寸为4.5μm×4.5μm;其次,进一步确定了二氧化硅波导环的弯曲半径为10 mm以及波导环之间的间距为50μm。最终制作完成了长为2.434 m的二氧化硅波导干涉环。最后,利用该二氧化硅波导环搭建了干涉式集成光学陀螺测试系统,得到陀螺长期零偏稳定性(Allan方差)为110.5 (°)/h。该波导环的成功制作与测试有利于降低干涉式陀螺的体积,促进干涉式集成光学陀螺的工程化应用。

摘要：Q矩阵是认知心理学与心理计量学结合的重要载体,Q矩阵在认知诊断中发挥着十分重要的作用。Q矩阵理论和应用研究近年来取得了重要进展。众多研究者从结构化到非结构化、属性二值到多值、简单到复杂模型、独立到一般结构、0-1到多级评分方面不断深入和拓展Q矩阵理论。Q矩阵理论也广泛应用于测验构念效度评价、计算机化自适应测验选题策略设计、Q矩阵学习和标定、认知诊断测验组卷等。与模型无关的Q矩阵理论和适合特定认知诊断模型下Q矩阵理论,以及最新Q矩阵理论的应用都值得深入研究。

摘要：邻域拓扑是提高人工蜂群算法性能的一种有效手段.然而,现有相关工作主要是在种群层次上实现了单一邻域拓扑,这种方式忽略了不同类型的邻域拓扑能优势互补,使得算法性能还有一定局限性.为此,本文结合强化学习,提出在个体层次上实现多邻域拓扑。将种群中的个体视作智能体,设计了基于邻域拓扑的状态和动作,选用4种不同特征的邻域拓扑用于构建邻域候选池,之后采用Q-learning方法根据个体的奖励情况为其自适应选择不同的邻域拓扑.该方式相对于现有的单一邻域拓扑,更能充分发挥不同邻域信息对算法搜索的引导作用.在CEC2013和CEC2017两套测试集以及两个实际优化问题上进行了大量实验,与4种邻域相关ABC和4种知名改进ABC进行了性能对比,结果表明该算法的收敛精度和速度均有更好表现,可有效增强邻域人工蜂群算法的性能.

摘要：随着物联网和人工智能的迅猛发展,边缘计算和人工智能的结合催生了边缘智能这一新的研究领域。边缘智能具备一定的计算能力,能够提供实时、高效和智能的响应。它在智能城市、工业物联网、智能医疗、自动驾驶以及智能家居等领域都具有重要的应用。为了提升模型的准确度,深度神经网络往往采用更深、更大的架构,导致了模型参数的显著增加、存储需求的上升和计算量的增大。受限于物联网边缘设备在计算能力、存储空间和能源资源方面的局限,深度神经网络难以被直接部署到这些设备上。因此,低内存、低计算资源、高准确度且能实时推理的轻量级深度神经网络成为了研究热点。文中首先回顾边缘智能的发展历程,并分析轻量级深度神经网络适应边缘智能的现实需求,提出了两种构建轻量级深度神经网络模型的方法:深度模型压缩技术和轻量化架构设计。接着详细讨论了参数剪枝、参数量化、低秩分解、知识蒸馏以及混合压缩5种主要的深度模型压缩技术,归纳它们各自的性能优势与局限,并评估它们在常用数据集上的压缩效果。之后深入分析轻量化架构设计中的调整卷积核大小、降低输入通道数、分解卷积操作和调整卷积宽度的策略,并比较了几种常用的轻量化网络模型。最后,展望轻量级深度神经网络在边缘智能领域的未来研究方向。

摘要：本文结合物联网工程专业建设实践,提出基于OBE理念的实践教学质量保障体系,从解决复杂工程问题、物联网应用系统分析设计能力培养出发,设计了实践教学环节持续改进的具体方法,包括创新型实践教学平台建设、产教融合的综合实训、创新创业实践等,并展示综合实践类课程的达成评价分析。

摘要：中国始终立足于国情国力,高度重视北斗系统建设。坚持自主创新,不断完善北斗系统,为全球经济和社会发展注入新的活力。在北斗系统蓬勃发展的背景下,本校开设的北斗卫星通信课程以北斗系统为核心内容展开,课程的理论和实践中蕴含丰富的思政元素。以“人”、“事”、“物”为核心要义进行课程思政要素的深度挖掘和仔细提炼,经设计凝练形成具有不同现实意义和教育意义的思政案例。通过思政案例的教学与实践,学生能够在掌握专业知识和训练专业技能的同时受到更深层次的专业熏陶和品格教育。从真正喜爱课程到以积极的态度学习课程、以拓展的姿态运用课程,进一步对所学的专业树立坚定的信心,支持国家创新发展战略,将自身发展与社会需求相连,更好地惠及民生福祉。China has always attached great importance to the construction of the Beidou navigation satellite system based on its national conditions and national strength. To reinvigorate global economic and social development, China upholds independent innovation and continuously improves the Beidou navigation satellite system. Under the background of the vigorous development of the Beidou navigation satellite system, the Beidou satellite communication course offered by Changzhou Institute of Technology is carried out with the Beidou navigation satellite system as the core content, and the theoretical and practical parts of the course contain rich ideological and political elements. With “people”, “events” and “things” as the core principle, the ideological and political elements of the course are deeply excavated and carefully refined, and the ideological and political teaching cases with different practical and educational significance are formed through design and deliberation. Through the teaching and practice of ideological and political cases, students can master professional knowledge and train professional skills while receiving deeper professional edification and character education, from truly loving the course to learning the course with a positive attitude and using the course with an extended attitude. What’s more, students can build firm confidence in the majors they have studied, support the national innovation and development strategy, and connect their own self-development with social needs to better benefit people’s livelihood and well-being.

摘要：强国之路上建设和发展北斗卫星导航系统具有重大的战略意义。北斗系统的建设是中国航天人在科技强国之路上立起的一座精神丰碑,其蕴含的“新时代北斗精神”饱含时代意义。以北斗系统为核心内容的北斗卫星通信课程是本校通信工程专业的专业课程,其教学内容中蕴含丰富的关于“人”、“事”、“物”的思政元素。在课程教学实践中以高校“立德树人”为根本建立“北斗新时空”教学与思政教育平台。以“坚定理想信念,践行新时代北斗精神”为理念,将思政教育潜移默化地融入到课堂教学的内容和各个环节中,通过师生的共情实现价值塑造、知识传授和能力培养的有机统一,为我国新发展阶段培养更多的优秀人才。It is of great strategic significance to construct and develop the Beidou Navigation Satellite System on the road to becoming a stronger country. The construction of Beidou is a spiritual monument erected by Chinese astronauts on the road to becoming a powerful country in science and technology, the “Beidou spirit in the new era” contained in it is full of significance of the times. Beidou is the core content of the course named Beidou Satellite Communication, which is a professional course in the major of communication engineering at Changzhou Institute of Technology. The teaching content of the course contains rich ideological and political elements about “person”, “events” and “things”. In the course teaching practice, the “Beidou New Time and Space” teaching and ideological and political platform is well established based on the “moral cultivation” of colleges and universities. With the concept of “strengthening ideals and beliefs, practicing the Beidou spirit in the new era”, ideological and political education is imperceptibly integrated into the content of in-class teaching and all aspects of course teaching. To cultivate more outstanding talents for China’s new stage of development, upholding the unity of value shaping, knowledge transfer and ability training is realized through the empathy of teachers and students.

摘要：动态规划是一种递归求解问题最优解的方法,主要通过求解子问题的解并组合这些解来求解原问题.由于其子问题之间存在大量依赖关系和约束条件,所以验证过程繁琐,尤其对命令式动态规划类算法程序正确性验证是一个难点.基于动态规划类算法Isabelle/HOL函数式建模与验证,通过证明命令式动态规划类算法程序与其的等价性,避免证明正确性时处理复杂的依赖关系和约束条件,提出命令式动态规划类算法程序设计框架及其机械化验证.首先,根据动态规划类算法的优化方法(备忘录方法)和性质(最优子结构性质和子问题重叠性质)描述问题规约、归纳递推关系式和形式化构造出循环不变式,并且基于递推关系式生成IMP(minimalistic imperative programming language)代码;其次,将问题规约、循环不变式和生成的IMP代码输入VCG(verification condition generator),自动生成正确性的验证条件;然后,在Isabelle/HOL定理证明器中对验证条件进行机械化验证.算法首先设计为命令式动态规划类算法的一般形式,并进一步实例化得到具体算法.最后,例证所提框架的有效性,为动态规划类算法的自动化推导和验证提供参考价值.

摘要：阐述基于深度学习的中文情感识别方法,包括文本特征表示、深度学习模型设计、训练与优化,结合词嵌入、注意力机制技术,提出一种综合模型。通过实验验证,在情感分析领域取得了创新成果。