融合知识传播和提示学习机制的推荐模型

将知识图谱中的辅助知识应用于推荐系统中,在一定程度上可以缓解数据稀疏问题。但现有基于知识图谱的推荐方法大多只利用实体间的显式关系建模用户行为,而用户和推荐物品之间可能存在无法显式表达的关系。因此,该文提出了一种融合知识图谱传播特征和提示学习范式的推荐模型。首先,以用户与物品的历史交互为起点,利用知识图谱传播用户偏好,获得用户的动态行为信息;然后,将用户静态属性特征信息作为输入,利用提示学习技术,引入预训练语言模型中的隐式知识,挖掘出用户的潜在兴趣,作为对知识图谱显式知识的补充;最后,根据模板词在预训练语言模型词汇表中的概率完成对用户的推荐。实验表明,该方法在MovieLens-1M、Book-Crossing和Last.FM三个数据集上与其他模型相比具有良好的推荐性能,在AUC评价指标上平均分别提升6.4%、4.0%和3.6%,在F1评价指标上平均分别提升了6.0%、1.8%和3.2%。

大语言模型评估技术研究进展

随着大语言模型的广泛应用,针对大语言模型的评估工作变得至关重要。除了大语言模型在下游任务上的表现情况需要评估外,其存在的一些潜在风险更需要评估,例如大语言模型可能违背人类的价值观并且被恶意输入诱导引发安全问题等。本文通过分析传统软件、深度学习模型与大模型的共性与差异,借鉴传统软件测评和深度学习模型评估的指标体系,从大语言模型功能评估、性能评估、对齐评估和安全性评估几个维度对现有工作进行总结,并对大模型的评测基准进行介绍。最后依据现有研究与潜在的机遇和挑战,对大语言模型评估技术方向和发展前景进行了展望。

基于Petri网模型的系统仿真验证方法

随着系统工程的发展,对系统的质量提出了更高的要求。首先以系统建模语言活动图模型为焦点,提出一种将活动图模型自动转换为Petri网模型的机制,接着对某指挥控制系统的发射模块进行建模,并通过转换机制将活动图模型转化为Petri网模型,然后使用Petri网验证工具对转后之后的模型进行仿真验证,保证了指挥信息系统的正确性。

基于改进Apriori算法的问题模板无监督抽取方法

在面向限定领域的事实型问答系统中,基于模板匹配的问答是一种有效且稳定的方法。然而,现有的问题模板构建方法通常是在有监督场景下进行的,导致其严重依赖于人工标注数据,同时领域间可扩展性较差。因此,该文提出了一种改进Apriori算法的无监督模板抽取方法。对于限定领域问题样本,加入短语有序特征来挖掘频繁项集,将频繁项作为问题模板的框架词;同时,使用TF-IDF来度量模板的信息量,去除信息量小的模板;特别地,为了获取项数较长的模板,为Apriori算法引入了支持度自适应更新机制;最终,借助命名实体识别进行槽位识别,并组合框架词和槽,得到问题模板。实验表明,该方法可以在限定领域的问答数据集上有效挖掘问题模板,并取得了比基线模型更好的抽取效果。

带驱替线圈法全直径岩心电参数测量系统

为了解决岩石物理试验中用电极法测量小岩心电参数精度小和不能真实全面反映地层实际信息的问题,目前常用的解决方法是线圈法测量全直径岩心。设计了带驱替全直径岩心电参数测量系统,通过改变岩心夹持器的结构,将发射和接收线圈置于岩心的两侧,利用电磁波传播原理测量岩心电参数。此外,该系统中加上了温度控制单元、压力控制单元等,不仅可以解决传统线圈法全直径岩心测量系统中由于岩心中空不能完成驱替试验改变岩心含水饱和度的弊端,还可以模拟地层的高温高压环境,来测量岩心的电参数,测量的数据更能真实反映地下岩石的性质。

包含微丝的细胞流固耦合模型及其力学响应

为研究微丝对细胞变形的影响,利用Abaqus建立包含微丝结构的细胞流固耦合模型:其中细胞膜、细胞核和微丝为固体,细胞质为液体。考虑对称性,以细胞模型的一半建立有限元计算模型,采用显式求解器进行模拟计算。仿真结果显示,在细胞压缩变形的情况下,细胞整体刚度随着压缩位移增加而增加,即表示在压缩相同的位移,所需要施加在细胞的荷载更大;对比无微丝的细胞,微丝的存在使细胞刚度大大增加,细胞抵抗外界荷载的能力得到增强;同时微丝排列方向会对细胞的抵抗能力造成一定的影响。

巫山县龙头山滑坡物理模型实验研究

龙头山滑坡是三峡地质灾害防治监测预警工程中重点监测滑坡,通过对其进行滑坡物理模型试验,对滑坡失稳过程的孔隙水压和土压力以及滑坡位移的变化特征进行了观察总结,并探求库水位变化和降雨条件对滑坡稳定性的影响,为滑坡的监测预警提供依据。

基于虚拟仪器的过套管测井微弱信号检测研究

有效地检测微弱信号是过套管仪器的核心技术之一。文章介绍了在频域进行的一种高质量的微弱信号检测方法,并用LabVIEW平台,设计出虚拟锁定放大系统,对实验室产生的模拟过套管测井微弱信号进行采集并作研究分析。试验表明,虚拟锁定放大系统可以较好地检测出信噪比不小于-30dB或最小检测信号幅值不低于10nV的微弱信号。因而,该系统可用于过套管微弱信号检测。

基于概率图的作战任务智能规划方法

针对人工调配作战资源及规划方案效率低下的问题,本文提出一种基于概率图的作战任务智能规划方法,通过统计分析判定任务间因果关系,采用GNN抽取任务中的关键事件构建概率图并计算任务规划方案成功的概率,进而基于时间序列方法预测战场态势变化,实现辅助指挥员智能决策。最后,本文在某联合登岛案例中开展了方法验证,结果表明,所提出的方法可成功实现任务规划并具有可解释性,可实现对战场态势变化的预测和快速响应,在战场上为军队提供强有力的支持。

事业单位绩效工资制度问题与改革创新

事业单位在我国承担着重要的社会职能,实施绩效工资制度是事业单位改革的重要内容。2006年以来的绩效工资制度改革取得了较好的效果,但一些关键问题还是没有有效解决,一是绩效考核体系建设滞后,绩效工资发放缺乏客观依据;二是绩效工资总额的核定缺乏坚实基础;三是绩效工资在全部工资中的占比不合理,绩效工资的功能存在一定错位;四是奖励性绩效工资占绩效工资的比例过低;五是绩效工资的地区和行业间差距体现不够;六是绩效工资的动态调整机制尚不健全;七是对高层次人才激励不够;八是资金保障面临制约,部分地区绩效工资发放存在困难。为此提出完善绩效考核体系,建立科学合理的绩效工资总额核定机制,合理确定绩效工资在全部工资中的比例,提高奖励性绩效工资占绩效工资的比例,科学调控地区和行业间绩效工资差距,健全绩效工资动态调整机制,强化对高层次人才的激励,扩大财政投入以保障绩效工资发放等相关对策建议。

中国育龄妇女起点年龄的法律分析

人类的生育同时具有自然属性和社会属性,对于育龄妇女的生育行为,不能仅从女性的自然生理条件孤立地看待,还应考虑生育的社会属性,并结合国家的生育政策和相关的法律法规,进行综合考察。将15岁作为育龄妇女的起点年龄,与我国的法律规定和生育政策不一致,有损社会的公序良俗,不利于女性青少年的健康成长和社会主义核心价值观的形成,应加以调整。

一种无监督的软件复杂度度量与评估模型

软件复杂度度量作为软件工程的重要组成部分,可为软件的控制和降解、软件测试的资源分配和高质量软件的研制提供支撑。计算机控制软件往往规模复杂,开发、测试和维护难度大,其复杂度的准确度量意义重大。然而,现有方法大多依赖少量度量元或者人工设置各度量元的超参数权重,工作量大且准确度难以保证。本文提出了一种无监督的、自适应的软件复杂度度量算法,对度量元数据进行高斯混合模型(GMM)的概率建模和归一化;通过皮尔逊相关系数过滤度量元间的涌现特征,借助拓扑排序和图论思想,构建度量元的自适应线性加权模型,综合评估软件的复杂度。在3种数据集上的实验表明,本文提出的软件复杂度度量模型在定量和定性分析结果上取得了更好的度量和评估效果,可以有效解决软件的复杂度度量问题。

基于AADL的民用无人机飞控软件时间/堆栈分析

为满足民用无人机飞行控制系统的高可靠性、实时性等要求,解决传统的设计方法缺乏对系统非功能属性描述的问题,研究并扩展AADL语言(体系结构分析与设计语言),将其应用于民用无人机飞行控制系统建模与分析。通过完成对飞控系统模型的堆栈、数据延迟和调度分析,验证使用AADL对关键安全嵌入式实时系统建模与分析,可减小后期系统发生错误的概率,提高系统可靠性及研发效率。

稳定的视频内头部姿态估计方法

传统基于特征点的头部姿态估计方法准确性依赖于3D人脸模型和特征点定位精度等因素,易导致姿态估计值不精确、波动性较大。针对姿态估计值不精确的问题,引入误差补偿方法,利用极端梯度提升拟合传统方法估计值的误差,将其与传统方法的结果叠加作为优化的姿态估计值;针对波动性较大的问题,定义视频内头部姿态估计的稳定性,提出基于余弦相似性的稳定性度量,衡量估计值是否反映真实值的变化趋势;引入自适应移动平均对姿态估计值进行平滑。实验结果表明,该方法能有效提高头部姿态估计的准确性和稳定性。

制冷系统中润滑油的影响与排除

制冷系统是由压缩机、冷凝器、节流阀、蒸发器及其它附属设备,相互均由管子连接成一个封闭系统。而循环于其中的氨不可能都完全干净的,其中经常夹杂质与脏物,这些杂质主要包括润滑油、空气、水及少量机械脏物。每种杂质都会对系统的运行产生一定的影响,而润滑油对系统的运行效率、安全性、可靠性等影响是最大的。笔者结合自己十多年的实践,着重分析润滑油是如何进入系统的、对系统运行产生何种影响,如何从设计、操作管理、维修三方面加以预防和排除系统中的润滑油。

冷库运行中的节电管理

冷库是冷藏业中主要的用电单位,节约用电是冷库运行中的一项重要工作。冻结和储存食品的电耗,由于不同地区、企业之间的管理水平的不同,存在较大的差别。科学管理是达到冷库节约电耗最有效的手段。笔者就冷库节约用电问题进行一些探讨。

深基坑工程中桩墙水平位移监测

随着我国经济的高速发展,城市化进程不断加快,深基坑开挖与支护技术得到了前所未有的发展。在现阶段的深基坑工程中,其安全受到地质条件、周围环境、施工规范程度等多方面因素的影响;加上施工过程的动态性,基坑工程施工过程中存在许多不确定因素,造成很大的安全风险,因此需要对影响基坑安全的主要因素进行实时监测,如支护体系的水平与竖向位移、地下水位、地下管网位移等。由于大多深基坑采用桩墙支撑体系,因此本文主要从桩墙的受力入手,对各种工况条件下桩的挠曲进行探讨,应用已成熟的监测方法--测斜法,对其水平位移进行监测。

水电站调速器开机规律对机组顶盖振动的影响

随着近几年水电机组振摆保护装置的相继投入,机组运行过程中各导轴承振动、摆度过大,超出振摆保护装置动作值后,可能发生机械停机事故。针对瑞丽江一级水电站开机过程中顶盖振动较大,分析影响顶盖振动的各种因素,结合试验数据,提出优化调速器开机规律,控制水流速度,使水流顺畅进入流道,在一定程度上降低了机组开机过程中水轮机顶盖振动幅值,从而提高机组运行稳定性。

典型软件的故障仿真和预测方法

针对提升典型软件系统故障模型预测能力的需求,依据人工智能常见分析框架(抽样—特征提取—训练—调优),提出一种基于机器学习和深度学习的典型软件系统故障预测方法。构建故障仿真模型,依据故障仿真实验采集故障数据;开展基于机器学习算法的特征工程研究,提取出导致软件系统故障的关键特征;训练基于神经网络LSTM的时间序列预测模型,用于预测系统将来某个时刻的特征指标值,并将预测值传递给基于随机森林、朴素贝叶斯的分类模型,用于分类判定系统在将来某个时刻是否会产生某类故障,从而将模型组合用于故障预测。结果表明,仿真方法具备简单、高效的特点,能大量收集模拟故障数据,而基于模拟数据训练的预测和分类模型,能很好地对软件故障进行预测,具有较高的应用价值。

基于元模型的Simulink静态分析技术

为解决目前Simulink模型规则检查工具对国内如飞行控制等一些特定领域的标准规范覆盖不完善的问题,设计了41条建模准则,并基于元模型理论,提出了一种共性的解析和检查框架,在此基础上实现了Simulink模型规则检查工具SimREG。该方法通过一种无编译的方式来实现对Simulink模型的静态规则检查,在Simulink模型到元模型的映射过程中提取针对每条准则执行检查时需要的模型信息,并将模型重构为有向图的形式,然后在遍历过程中,对图中每个节点进行选定准则的分析处理,完成检查过程。SimREG完成了全部41条建模准则的检查过程,在与三个有代表性的规则检查工具的对比实验中取得了更好的检查结果。SimREG工具将元模型理论应用于Simulink模型的规则检查过程中,在检查速度更快的同时获得了更低的漏报率和误报率。