基于多维关联规则兴趣度的问卷调查规则提取

基于能同时处理多个属性间关联关系的多维关联规则算法,对大学生社交网络行为习惯的调查问卷进行研究分析,发现依靠支持度和置信度的关联规则算法有时会产生误导性的结果。针对关联规则存在的这一问题,给出了带有负向的关联规则兴趣度的解决办法,并发现兴趣度规则中减少关联规则计算量的性质,可极大提高了多维关联规则兴趣度算法在规则提取中的效率。实验结果表明,负向的关联规则置信度强于正向的关联规则置信度,引入兴趣度的多维关联规则算法的准确度更高。     

Lazy Slicing for State-Space Exploration

CEGAR (Counterexample-guided abstraction refinement)-based slicing is one of the most important techniques in reducing the state space in model checking.However,CEGAR-based slicing repeatedly explores the state space handled previously in case a spurious counterexample is found.Inspired by lazy abstraction,we introduce the concept of lazy slicing which eliminates this repeated computation.Lazy slicing is done on-the-fly,and only up to the precision necessary to rule out spurious counterexamples.It identifies a spurious counterexample by concretizing a path fragment other than the full path,which reduces the cost of spurious counterexample decision significantly.Besides,we present an improved over-approximate slicing method to build a more precise slice model.We also provide the proof of the correctness and the termination of lazy slicing,and implement a prototype model checker to verify safety property.Experimental results show that lazy slicing scales to larger systems than CEGAR-based slicing methods.     

基于时间延迟的多类型维修与经济生产批量联合优化研究

针对目前未能较好的综合考虑多维修类型与经济生产批量联合优化的问题,首先考虑多类型维修关系,基于时间延迟理论求出故障和缺陷次数的表达式;其次,在此基础上,综合考虑生产费用和维修费用的基础上,构建了多类型维修和经济生产批量联合优化模型,以单位时间内总费用最小为优化目标,获得最优检查间隔期和经济生产批量;最后,通过算例分析验证了模型的有效性,说明了第一类缺陷检查次数的多少对费用和经济生产批量影响不大。     

基于拟连续高阶滑模方法的AGC系统控制

针对自动厚度控制(Automatic Gauge Control, AGC)系统存在外部干扰的鲁棒稳定性问题,根据传统积分滑模和高阶滑模理论,设计基于拟连续高阶滑模控制方法的厚度控制器。利用Lyapunov稳定性理论,证明所设计控制器的稳定性。将该厚度控制器应用在某板带轧机自动厚度控制系统进行仿真,并与传统滑模控制方法进行对比分析。仿真结果表明:该控制器可以在有限时间内实现对期望厚度的稳定跟踪,并有效减小滑模控制的抖振问题,具有强鲁棒性,其控制效果优于传统滑模控制。     

核电厂电气设备陶瓷部件受风生飞射物的冲击破坏

为研究沿海台风中的风生飞射物对核电厂电气设备的冲击破坏,以核电厂户外高压电气设备的陶瓷绝缘材料为研究对象,基于LS-DYNA和HyperMesh,分析陶瓷部件在小球和钢管打击下的破坏情况。结果表明：在受到钢管垂直打击时,陶瓷部件很容易发生破坏;在受到小球冲击时,陶瓷部件局部表面发生破坏。进一步计算得到小球对陶瓷部件的临界破坏冲击速度,可为后续设计和研究提供参考。     

医学图像三维拼接重建优化技术研究与仿真

研究医学影像图像的清晰重建问题。器官的不同部位随着病变程度的不同,存在不同的几何畸变,造成图像匹配错误,图像中像素的密度、灰度也存在较大差异,病变器官中的边沿部位会产生几何畸变。传统的医学图像三维拼接重建,由于几何畸变的存在,会造成采集图像中的几何坐标发生畸变性边界冲突,后期三维拼接重建时,坐标的畸变性冲突造成图像清晰度不高等问题。提出了一种CT体像素几何畸变校正的医学图像三维重建算法,通过对几何畸变产生的像素畸变进行补偿修正,消除畸变带来的边沿坐标畸变影响。仿真结果表明,改进方法能够提高拼接后三维图像的清晰度,为图像拼接优化提供了有效的手段。     

数字孪生贾鲁河在工程施工期防洪度汛中的应用

为满足贾鲁河综合治理工程施工期防洪度汛精细化管理的需求,确保工程安全的同时能够充分发挥流域防洪效益,数字孪生技术被应用于在建水利工程施工度汛精准风险分析、预警和防汛预案制定中。数字孪生贾鲁河以自建采集L3级和共享L1和L2级数据为“算据”底板,以模型平台和知识平台为“算法”支撑,以信息化基础设施为“算力”依托,搭建具有预报、预警、预演、预案等“四预”功能的流域防洪应用。在贾鲁河流域基础资料收集及数字化场景搭建和模型构建基础上,以流域降雨量级超100年一遇、约50年一遇、约20年一遇设置了三类预演情景模拟洪水,统计施工期工程存在的漫堤风险、淹没风险、冲刷风险、洪水倒灌风险、桥梁阻水风险、堤外积水风险等六类风险并制定防洪度汛措施。数字孪生贾鲁河确保了工程2022年安全度汛,总结了河道治理工程施工期洪水风险类型和定量评估方法,形成了在建工程复杂环境条件下的地形勘测、洪水模拟、风险预警、应对措施制定的完整解决方案。     

融合知识图谱与注意力机制的个性化序列推荐

序列推荐系统可以根据用户和物品交互的时间序列信息,精确预测用户下一次交互物品.现有的序列推荐算法存在用户兴趣过渡拟合的问题,导致推荐内容同质化严重,从而无法实现个性化推荐.基于此,本文提出一种融合知识图谱与注意力机制的个性化序列推荐算法(SR-KGA):首先,引入知识图谱,通过图卷积网络对物品进行嵌入表示;其次,通过自注意力机制和多头注意力机制构建序列到序列(seq2seq)模型,最后,在损失函数中加入多样性正则项;实现用交互序列来预测未来可能交互的物品序列,从而进行推荐.通过在真实的数据集上实验,SR-KGA在保证推荐准确度的同时,提升了推荐列表的多样性,实现了用户个性化推荐.     

虚拟生产线协同操作系统的开发

采用Flash+Virtools+PHP+MySQL的构架,通过网络通信控制构建了具有DCS控制的、实时交互功能的虚拟啤酒生产线协同操作系统.该系统通过Virtools与Flash之间的数据通信实现了二维DCS对三维场景的远程控制和数据采集,利用Virtools强大的网络联机引擎实现了使用者对三维场景的协同操作,对Flash和Virtools两平台之间的数据通信和基于Virtools的分布式虚拟现实技术进行了探索,开发的系统时职业教育实训和相关企业岗位培训显示出较高的使用价值.     

基于上下文的概念语义相似度计算模型

针对概念语义相似度计算方法在信息检索中存在的漏检、误检等问题,提出一种基于上下文的计算本体内概念间语义相似度的模型。该模型分别从概念的父节点、子节点以及概念间路径权重3个角度进行计算,加权求和并求得语义相似度。实验结果表明,该模型的计算结果更加接近专家的经验值,为概念之间的语义关系提供了有效的量化。