摘要：随着毕业生就业压力的增大,国家和社会持续发力,国家出台多项就业支持政策,社会上的企业招聘也日渐增多。在此背景下,设计了一种个性化的就业推荐系统。系统基于Web应用,主要功能包括用户注册和登录、用户选择感兴趣领域、职位推荐、职位收藏及查看职位详细内容。其中注册和登录功能的实现借用了Django内置的Auth模块;数据库用的是Django框架下的Sqlite3;职位推荐是基于用户信息的协同过滤算法实现的,并且用标签聚类的方式解决了冷启动问题。仿真结果表明,用户可以注册之后登录并选择自己感兴趣的领域,然后就可以查看系统推荐的职位,具有较好的效果。

摘要：很多强化学习方法较少地考虑决策的安全性,但研究领域和工业应用领域都要求的智能体所做决策是安全的.解决智能体决策安全问题的传统方法主要有改变目标函数、改变智能体的探索过程等,然而这些方法忽略了智能体遭受的损害和成本,因此不能有效地保障决策的安全性.在受限马尔可夫决策过程的基础上,通过对动作空间添加安全约束,设计了安全Sarsa(λ)方法和安全Sarsa方法.在求解过程中,不仅要求智能体得到最大的状态-动作值,还要求其满足安全约束的限制,从而获得安全的最优策略.由于传统的强化学习求解方法不再适用于求解带约束的安全Sarsa(λ)模型和安全Sarsa模型,为在满足约束条件下得到全局最优状态-动作值函数,提出了安全强化学习的求解模型.求解模型基于线性化多维约束,采用拉格朗日乘数法,在保证状态-动作值函数和约束函数具有可微性的前提下,将安全强化学习模型转化为凸模型,避免了在求解过程中陷入局部最优解的问题,提高了算法的求解效率和精确度.同时,给出了算法的可行性证明.最后,实验验证了算法的有效性.

摘要：针对现有多目标跟踪方法易受到遮挡、运动模糊等问题干扰的情况,提出基于轨迹掩膜的在线多目标跟踪方法(online multi-object tracking method based on trajectory mask,OMTMTM)。提出轨迹掩膜生成算法,利用前一帧跟踪轨迹结果生成轨迹掩膜,设计轨迹掩膜网络对轨迹掩膜提取多维度特征,包含目标可见区域的估计值、大致位置及形状等信息;将该特征与基础骨干网络提取的原始图像特征融合后进行多目标检测跟踪。OMTMTM的目标跟踪器具备先验判断能力,可实现遮挡情况下的准确跟踪;OMTMTM利用目标跟踪轨迹的时空信息,恢复出部分漏检或低置信待检目标,使轨迹掩膜更加合理,有利于后续跟踪。对OMTMTM的性能进行多维度评估,并结合基线模型进行对比分析。试验结果表明,OMTMTM具有先进的多目标跟踪性能。

摘要：为了能够在复杂环境下准确定位出弱小目标,依据目标的高斯形状特性,设计了强度-梯度映射耦合多方向中值滤波的红外弱小目标检测算法。首先,根据红外图像在4个不同方向的强度均值,对经典的中值滤波进行改进,以有效抑制复杂背景中的噪声。再基于弱小目标的中心像素,获取整个红外图像的强度信息。将红外图像沿着半径方向分割为4个子块,并建立每个子块的极坐标系统,以计算其对应的梯度值。依据最大与最小梯度值的比率,得到整个红外图像的梯度信息。再将强度与梯度信息实施融合,得到背景抑制图像,以增强红外弱小目标。最后,利用强度-梯度映射中的非零像素均值来计算阈值,对背景抑制图像实施分割,准确定位弱小目标。测试数据显示,与已有的红外弱小目标检测方案相比,所提算法具备更高的检测准确性,可完整地识别出目标,呈现出更为理想的ROC(receiver operating characteristic)曲线。

摘要：以程序设计实验教学中常用的案例教学法为基础,研究并实践了一种创新型教学方法——“连贯案例法”。该方法将传统案例法中多个案例各自为战的模式转换为一个主题案例逐步更新的新模式,构建一条通过应用已学知识点优化案例项目功能,再通过分析案例不足和新需求引入新知识点的一条“螺旋上升”通道。将日期作为连贯案例主题,从一个输出生日信息的简单案例出发,引导学生最终实现一个功能完备的多功能日历程序项目。以培养应用型人才为目的,提升学生的项目开发和工程实践能力。

摘要：在多值逻辑Tableau推理的基础上,提出了一种基于集合符号的自动推理扩展方法.将符号集合作为真值,减少了Tableau的推理分枝,并可以将适合经典逻辑的推理方法和策略应用于其中,使得非经典逻辑推理经典化.使用SWI-PROLOG语言设计实现了基于集合符号的自动推理系统,在系统中使用集合符号方法,只需要在规则库中增加推理规则,即可生成规则程序,系统本身不需要任何的修改,因此一些适合于经典逻辑的推理方法和技巧就可以很容易地应用到多值逻辑、模态逻辑、直觉逻辑等非经典逻辑,也可以进一步推广到无穷值逻辑和含模糊量词(如T-算子和S-算子)的逻辑中,对于无穷值逻辑和模糊逻辑的Tableau方法研究具有一定的借鉴作用.对TPTP中的900个逻辑问题进行了证明,实验结果表明,系统在时间和空间上效率都是较高的.

摘要：针对ARM汇编开发门槛高以及可移植性差的问题,以ARM Cortex-M系列内核的MCU平台,提出一种可移植、可复用的汇编工程通用框架设计方案.方案针对Cortex-M4内核的STM32L431芯片最小汇编工程的研究,抽取Cortex-M系列内核汇编指令系统和汇编工程的共性,筛选出Cortex-MR内核通用的汇编指令并将汇编开发中接口函数编写和数据定义等方式标准化,采用高内聚、低耦合的方法封装GPIO、UART等汇编构件,设计出一种普适的汇编工程通用框架.基于该框架实现Cortex-M0+内核的KL36Z64芯片和Cortex-M4F内核的MSP432P401芯片的汇编工程;除内核固有文件外,仅需修改底层驱动的端口基地址等少部分宏定义内容,即可实现点亮小灯和串口输出的同样功能,表明了该汇编工程框架具有较高的通用性.

摘要：随着因特网的普及,IP语音电话以其众多优点被广泛采用。学生在掌握IP语音电话工作原理基础上需要熟练掌握IP语音电话网络组建及配置过程。在实验条件有限、学生不能完成该实验情况下,采用模拟仿真技术能够使学生体验IP语音电话搭建配置过程。采用Packet Tracer仿真软件模拟设置工作场景,搭建网络拓扑结构,并对网络进行详细配置,最终对实验效果进行验证。实践证明,模拟仿真技术提高学生动手能力,达到较好教学效果。为高校教师开展类似实验提供借鉴意义。

摘要：将局域网接入互联网的方式有多种,掌握这些接入方式是计算机网络专业学生的基本技能,学生既要掌握理论知识,又要通过实验真正实现这些接入方式。路由器自动拨号上网是常见的接入互联网的方式,该方式主要涉及PPPoE、PAT技术。由于实验条件限制加上传统仿真软件不能仿真该实验的不足,传统教学方式中仅仅是理论知识的讲解,不能达到很好的教学效果。新的EVE-NG仿真软件避免了传统仿真软件不足能够仿真该实验。学生通过该仿真软件能够独立完成从网络结构搭建到设备配置,直至系统测试全过程。实验过程加强了学生对路由器拨号上网进一步理解,同时为高校教师仿真类似实验提供借鉴。

摘要：分析了目前Agent模型与实现相分离的原因,将逻辑与决策论方法相结合,以自主为前提,面对个体自主性和群体交互的社会性要求,研究如何建立理性Agent以及理性Agent构成的多Agent社会。对Agent的信念、愿望、效用、约定和意图等心智状态之间的关系进行了直观的描述,阐明了理性行为的决策过程,并采用量化多模态逻辑对该模型进行了形式化描述。完善了Cohen和Levesque的BDI模型理论,使其能更准确地反映理性A-gent的行为,为多Agent系统设计与实现提供了理论基础。