基于Transformer与HowNet义原知识融合的双驱动语义蕴含识别

语义蕴含识别旨在检测和判断两个语句的语义是否一致,以及是否存在蕴含关系.然而现有方法通常面临中文同义词、一词多义现象困扰和长文本难理解的挑战.针对上述问题,本文提出了一种基于Transformer和HowNet义原知识融合的双驱动中文语义蕴含识别方法,首先通过Transformer对中文语句内部结构语义信息进行多层次编码和数据驱动,并引入外部知识库HowNet进行知识驱动建模词汇之间的义原知识关联,然后利用soft-attention进行交互注意力计算并与义原矩阵实现知识融合,最后用BiLSTM进一步编码文本概念层语义信息并推理判别语义一致性和蕴含关系.本文所提出的方法通过引入HowNet义原知识手段解决多义词及同义词困扰,通过Transformer策略解决长文本挑战问题.在BQ、AFQMC、PAWSX等金融和多语义释义对数据集上的实验结果表明,与DSSM、MwAN、DRCN等轻量化模型以及ERNIE等预训练模型相比,该模型不仅可以有效提升中文语义蕴含识别的准确率(相比DSSM模型提升2.19%),控制模型的参数量(16 M),还能适应50字及以上的长文本蕴含识别场景.     

并行工程基于实例的冲突解决的研究

在并行工程环境下冲突的产生是不可避免的,冲突解决支持技术是并行工程实施中的一个重要支持技术。提出了基于实例的冲突解决的方法;研究了冲突解决实例的知识表达,知识管理,相似实例的检索等关键技术问题;并给出基于实例的冲突解决的过程。     

基于构型的轮式空间探测机器人创新设计与优化

针对方案性能评价与优化，提出了基于构型的创新设计方法，建立了轮式空间探测机器人的综合评价与优化模型。基于虚拟样机软件ADMAS12．0和控制仿真软件MATLAB6．5开发了轮式空间探测机器人移动性能综合评价与优化软件，从构型创新、构型组装、方案优化三个层次对轮式空间探测机器人机械景统和控制系统进行综合评价与优化，得到多种优化方案及其优化参数。以双曲柄滑块轮式机器人为研究对象，得到了相对较优的设计参数，从而验证了所提出方法的有效性。     

有限元网格生成方法发展综述

在参阅和分析大量有关文献的基础上，对现有的各种有限元网格生成方法进行了总结，特别是对当前广泛使用的Ｄｅｌａｕｎａｙ三角化，推进波前法和八叉树方法等，从理论到具体的算法程序实现等各个方面都作了详尽的剖析，分析了各种方法的优缺点。为深入研究开发全自动、自适应有限元网格生成软件提供了有益的参考。     

中间件在移动自助营业厅系统中的应用

中间件作为系统软件与应用之间的特殊层,是电子商务架构的关键技术。本文介绍了电子商务和移动业务结合形成的移动自助营业厅系统,论述了中间件在系统中的应用实现。     

微机集成化智能CAD系统Iute CAD

介绍了一个集成化智能化ＣＡＤ系统ＩｕｔｅＣＡＤ。该系统在微机上开发而成，具有较强的设计、分析、绘图功能。介绍了ＩｕｔｅＣＡＤ系统的体系结构和实现技术。     

基于有限状态机的健壮性测试研究

健壮性测试对软件尤其是安全产品有极其重要的意义,本文使用有限状态机来对软件产品进行建模,通过状态扩充和状态对各种异常事件的响应,构建完备的增强有限状态机,使用该模型可以进行健壮性测试。我们利用该方法对GlobalPlatform卡规范中安全通信的安全通道协议SCP02进行了测试。测试结果表明,该方法产生的测试案例包比GP组织认可的测试包具有更高的覆盖性和错误检测能力,该方法产生的案例不仅可以用于健壮性测试,也可以用于功能性和符合性测试。     

基于改进GFAC的嵌入式文件系统访问控制研究

如何有效地对各种移动设备中的数据进行有效的授权访问,是当前各种嵌入式系统的关键技术之一。本文针对各种移动设备,特别是资源受限的设备,在改进GFAC的基础上采用适合嵌入式系统的安全访问控制策略,并结合访问控制列表ACL,研究并实现了一种嵌入式文件系统访问控制方法。实际应用表明,该方法能够满足嵌入式文件系统的访问控制性能要求。     

对一种基于身份的强密钥绝缘签名方案的改进

改进了Weng等的方案,提出了一个新的基于身份的强密钥绝缘签名方案,在实现签名私钥自主安全更新的同时解决了密钥托管问题,并提高了其验证签名时的效率。     

涡流检测系统仿真分析的自适应算法

该文针对电磁场有限元计算的特点,深入研究了涡流检测系统中电磁场有限元后验误差估计的误差模选择问题,并在分析Zienkiewicz-Zhu方法在电磁场有限元后验误差估计应用中存在局限性的基础上,提出了一种适合于涡流检测系统中电有限元分析的后验误差估计新方法。在此基础上,结合James R.Stewart和Thomas J.R.Hughes所提出的简单实用的有限元算法,提出了一种适合于涡流检测系统中电磁场有限元分析的hp 自适应新算法。