一种BDI Agent的动态推理模型

论文提出了基于环境感知的具有动态推理能力的BDIAgent模型。该模型引入了环境感知函数、意见函数、过滤函数和行为函数对环境的变化和Agent自身推理过程进行研究,并用扩展了的ASL语言描述该模型的动态推理过程。然后,用机器人摞积木的例子来验证这种推理过程的合理性。最后进行总结并讨论了进一步的研究工作。     

改进的验证正确性ACTL性质的限界模型检测方法

近些年来,基于SAT的限界模型检测方法作为基于BDD的限界模型检测方法的一种有效补充,已经得到了一定的发展。其中,大部分的研究成果都集中在了使用该方法来进行系统查错方面,而在正确性性质的验证上一直难有突破,原因在于正确性性质的验证依赖于一个完备上界,而这个完备上界在限界模型检测方法中很难实现。对传统限界模型检测中的编码方式进行相应改变,就能够在一定程度上解决这一问题,进行正确性性质的验证。在此基础上对该编码方法进行改进,从而提高它的求解效率,扩大其应用领域。     

物联网技术助推快递物流企业精细化管理

随着物联网技术的迅猛发展,物联网的应用日趋普及,对社会发展的方方面面产生了翻天覆地的影响。物联网技术的整合和应用,尤其是传感和定位技术的普及,对于传统物流行业发展带来了新的机遇和挑战,也将给传统快递物流行业带来深刻变化和深远影响。本文从快递物流企业的精细化管理要求和模式入手,结合物联网的关键技术及应用,提出物联网技术助推快递物流企业的精细化管理应用策略。     

一种基于改进的形态学算子的边缘检测算法

本文提出了一种基于改进的形态学算子和多尺度多结构元素思想的边缘检测算法.改进的抗噪型形态学边缘检测算子增强了图像边缘检测时的抗噪能力,采用多尺度和多结构元素构建的边缘检测算法既具有较好的抗噪能力,同时可检测更多边缘方向.实验结果表明,该算法具有较好的抗噪能力,在检测出更多的边缘方向的同时可保留较多的边缘细节,具有较强的...     

基于数据库的函数搜索设计

基于数据库的函数库搜索可实现对各种编程语言以及应用软件(如Matlab等数学软件)中功能函数定义的汇聚,建立数据库和实现交互式的可视界面,从而方便程序员或软件用户对各种函数的快速查找.本文给出了基于数据库的函数库搜索系统的设计过程.     

一种基于CA-Net的脑肿瘤磁共振图像分割算法

磁共振影像是脑肿瘤疾病中常用的诊断工具,临床上的量化分析需要对影像结果进行分割得到肿瘤区域,但手动分割十分耗时且高度依赖于医生的临床经验。为此,本文提出一种基于深度学习的脑磁共振图像分割算法,解决了原网络无法有效提取关键特征的问题。该算法使用改进的有限对比度自适应直方图均衡(Contrast Limited Adaptive Histogram Equalization, CHALE)算法,对脑肿瘤磁共振影像进行图像增强后,将结果输入CA-Net网络对数据集初步分割,并将全注意力算法和U-net骨架结构结合(包括空间、通道和尺度注意力模块),实现对不同尺度的空间和通道的特征转换连接。模型应用混合损失函数提高分割精度。初步分割的结果可通过后处理进一步提高精度,得到最终的肿瘤区域。初步分割结果中,Dice指标可以达到88.40(±0.24)%,结合图像处理提高至89.21(±0.36)%,分割精度相较于其它算法有明显提高。     

增城站220kV增华甲线开关爆炸事故原因分析

介绍了500kV增城站220kV增华甲线开关爆炸的事故过程,分析了事故的保护动作情况、雷电定位情况、事故当天的雷击录像情况、开关故障原理,得出是由于线路二次雷击击穿开关断口引起开关爆炸的结论。最后提出在变电站110kV及以上线路间隔加装线路避雷器。     

结合视觉Transformer和CNN的道路裂缝检测方法

提出了一种结合视觉Transformer和CNN的道路裂缝检测方法。利用CNN来捕获局部的细节信息,同时利用视觉Transformer来捕获全局特征。通过设计的Fusion特征融合模块将两者提取的特征有机地结合在一起,从而解决了单独使用CNN或视觉Transformer方法存在的局限。最终将结果传递至交互式解码器,生成道路裂缝的检测结果。实验结果表明,无论是在公开的数据集上还是在自建的数据集上,相较于单独使用CNN或视觉Transformer的方法,所提出的方法在道路裂缝检测任务中有更好的效果。     

大行程位移台干涉测距系统的误差补偿

双频激光干涉仪作为常用的精密光学非接触式测量设备,具有精度高、抗干扰能力强、灵活性好等优点。然而环境温度变化、机械振动等因素可能会影响其测量结果的准确性,并且影响程度会随着测量光程的增加而增大。针对基于双频激光干涉仪的大行程位移台测距系统,首先研究了位移台测距系统的测量原理,然后针对系统存在的各项误差进行了分析和补偿,最后,对系统进行综合误差补偿实验,短时间补偿量达到10^-8 m量级,且时间越长补偿效果越好。该方法较现有的误差补偿方法更为完整,补偿量更大。     

Effect of N+ Beam Exposure on Superoxide Dismutase and Catalase Activities and Induction of Mn-SOD in Deinococcus Radiodurans

1.IntroductionBacteriaofthegenusDeinococcus,formerlyapartofMicrococcus[11,is.atypeofasmallnumber.ofexceptionallyradiation-resistant,red-pigmentedcocciconsideredtobecomprisedofoneoftheeightmajorgroupsOftheenbacteria,andisprovidedwith'ahighresistancetoboththelethalandmutageniceffectsOfionizingandultraviolet(UV)radiation.MostofthestudyontheradiationresistantmechanismsofD.radioduranshasbeenmainlyfocusedonD.radioduransRI[2-5].Extensiveinvestigationonradiation-sensitivemutantshasfoundthatitsunus…