【摘 要】
：
基于时间区间的模糊描述逻辑TFDL是对模糊描述逻辑在时间上进行限定讨论的一种新的描述逻辑。TFDL对个体,概念和关系的模糊隶属度用vague集来进行描述,其语法是在模糊描述逻辑ALCN的语法基础上的扩充。研究在其语法、语义的基础上给出相应的知识库,给出TFDL的Tableau判定算法,该算法继承了描述逻辑Tableau算法的基本特征,通过构造知识库中表达式的解释模型来证明其可满足性。
论文部分内容阅读
基于时间区间的模糊描述逻辑TFDL是对模糊描述逻辑在时间上进行限定讨论的一种新的描述逻辑。TFDL对个体,概念和关系的模糊隶属度用vague集来进行描述,其语法是在模糊描述逻辑ALCN的语法基础上的扩充。研究在其语法、语义的基础上给出相应的知识库,给出TFDL的Tableau判定算法,该算法继承了描述逻辑Tableau算法的基本特征,通过构造知识库中表达式的解释模型来证明其可满足性。
其他文献
近十年来,深度学习由于其优越的性能,已经逐渐应用于各个领域。在目标跟踪领域,基于深度学习的方法也取得了巨大的成功。文章主要介绍基于深度学习的目标跟踪算法研究现状及发展趋势。首先,介绍了视觉目标跟踪传统算法。然后,对基于深度学习的目标跟踪算法进行分类,并进行问题分析。最后,对基于深度学习的目标跟踪算法的发展趋势进行预测。
数据中心承担着现代社会的信息服务,然而当前基于传统网卡的数据中心面临着严重的性能瓶颈,难以适应高效数据传输处理需求。通过结合以服务器为中心的数据中心网络和多端口智能网卡的优点,提出了基于多端口智能网卡的数据中心网络MPS-DCN架构设计,并以MPS-Cube为例介绍其构造和路由过程。该类网络设计能够充分利用多端口智能网卡的可编程性,实现智能化的网络协议处理和网络功能卸载,从而提升网络吞吐量。
Unity3D是目前国内相对流行的游戏开发软件,而音乐游戏也是自游戏发展以来就极其盛行。文章基于Unity3D开发制作了一款音乐游戏,其主要功能包括人物控制、按键消音、乐谱管理、分数统计、UI界面与音效以及特效播放。该游戏与传统音乐游戏不同,添加了动画人物以及打击动作,使音乐游戏与动作游戏相互结合。通过此游戏,玩家们能够在游玩之余享受音乐以及通关的乐趣。
摘要：在Roboguide平臺模拟工厂，通过虚拟环境优化工厂布局并仿真生产过程，在虚拟环境中能真实地模拟生产线的运动，为设计提供依据可行性的根据，且在计算机上可方便地修改完善设计，实验不同的方案，对生产线进行不断的优化，可以大大减少调试的成本。在ROBOGUIDE平台上分别从机器人控制柜、机器人执行机构、到工装数模和外围设备进行设计，从而完成机器人加工生产虚拟环境的仿真设计，为机器人仿真提供了基础
广播式自动相关监视(Automatic Dependent Surveillance-Broadcast,ADS-B)系统作为民航独立的监视手段具有一定的脆弱性。现提出基于卡尔曼滤波算法进行ADS-B航迹预测的方案,为进一步鉴别ADS-B位置信息的真伪提供可靠的技术支撑。通过解析ADS-B报文中的位置信息,建立卡尔曼滤波模型,计算航迹预测观测点数,完成基本的航迹预测实验。理论分析和仿真实验结果表明基于卡尔曼滤波算法的ADS-B航迹预测效果很好。
体素形状表达一直是三维形状表达方法中的重要研究内容。现有的基于深度学习的体素形状表达的特征编码学习是一个重要的研究问题。目前,体素的特征编码采用3DCNN,只利用了体素的层次特征。同时,计算的代价十分昂贵,需要占用大量的显存。更高精度的特征编码方法有待进一步研究。针对体素的特征编码问题,提出了一种基于多尺度残差特征的形状表达编码模型,学习更有效的特征编码。在此基础上在解码器中引入自注意机制,进一步
VR技术作为当代新型技术之一,是集计算机软硬件技术、机器人技术、传感技术以及人工智能等多种技术为一体的产物,其发展能为社会带来巨大的变革,其出现也为数字媒体技术的发展提供了新的方向。鉴于此,文章主要对VR技术、数字媒体技术的概念与特点进行阐述,同时分析这两种技术的结合及其应用,以便为以后技术的发展提供参考。
随着计算机科学技术的发展,全球主要资本市场凭借信息化的高效优势,得到飞速发展,电子化交易广泛普及,计算机科学技术逐渐与各个学科技术相互融合,人们开始专注于使用计算机程序进行股票的预测分析,甚至是实现自动化交易。通过对量化交易系统展开研究,对现有交易策略进行分析并根据其存在的不足进行改进,以此实现量化交易系统的有效运行,进行回测来指导投资者并为其带来超额收益。
文章以一个实际工程中典型的案例为基础,探讨了route-map这个非常强大而有用的工具的使用方法以及routemap在重发布技术中的应用技巧。在完成基础配置以及动态路由协议RIP和OSPF配置后利用重发布实现全网互通,最后为了实现数据分流和链路备份,使用ACL抓取路由条目,配置route-map并在重发布时应用。通过相应的部署,可以实现数据分流和链路备份,保障网络的可靠性和稳定性。上述探讨既有助于读者对route-map和重发布技术相关工作原理的理解,又有助于熟练掌握其配置方法。
验证码是目前大部分网站用来防止批量注册、刷票等恶意操作的图灵测试手段。为了帮助开发者设计出更缜密的安全策略,将生成的5 000张混合英数的不定长验证码作为训练集,基于PyTorch学习框架,使用卷积循环神经网络来训练模型,CTC算法对标签进行对齐,实现对不定长验证码的识别。实验表明,最终该模型对不定长验证码的识别准确率达到了99.2%。