添加剂对可陶瓷化硅橡胶性能的影响

通过对复合材料力学性能测试、热失重分析、扫描电镜、X射线分析等测试手段表征了7种不同种类添加剂对可陶瓷化硅橡胶性能的影响.结果表明:添加剂的引入使得陶瓷体的残余质量分数有较大提升,复合材料热稳定性有一定程度提高.当添加剂为铝(Al)、碳化硼(B 4 C)、氮化硼(BN)时,对于复合材料热稳定性以及陶瓷体力学性能的提高较...     

BM算法中函数shift的研究

建立BM算法中函数shift及其构造算法的严格的形式理论,对于BM算法及其各种变形的研究与改进是十分必要的。给出了shift的一个清晰的形式定义,引入模式串后缀的特征集及其最小值函数,通过特征集描述了shift的构造,从而严格建立了shift及其构造算法的理论基础。根据shift的构造定理与最小值函数的迭代计算方法,给出了shift的一个新的构造算法,证明了该算法具有线性的时间与空间复杂度。理论分析和计算结果表明,该算法比已有算法更简单,计算复杂度更低,因而更适合硬件实现。     

WordNet应用程序编程接口改进方法及其在Mashup服务发现中的应用

传统的WordNet应用程序编程接口(API)在使用时是基于文件操作的,每执行一次API都需要到库文件中查找,因此导致基于API操作的文本分析与相似度计算耗时较为严重.因此,提出一种WordNet API改进方法:将WordNet概念语义网的构造过程移植到内存中,同时增加了若干便于相似度计算的API,使得概念之间关系的追踪进程和文本相似度计算过程得以加快.该方法在Mashup服务发现过程中得以应用,实验证明利用改进后的API能够有效地提高Mashup服务的查询效率和查全率.     

跨项目缺陷预测中训练数据选择方法

跨项目缺陷预测（CPDP）利用来自其他项目的缺陷数据预测目标项目的缺陷情况,为解决以往缺陷预测方法面临的训练数据受限问题提供了一个新的视角。训练数据的质量将直接影响跨项目缺陷预测模型的性能,因此,需尽可能选择与目标项目更相似的数据用于模型的训练。利用PROMISE提供的34个公开数据集,从训练数据选择方面,分析了四种典型的相似性度量方法对跨项目预测结果的影响以及各种方法之间的差异。研究结果表明：使用不同的相似性度量方法选出的训练数据质量不同,其中余弦相似性与相关系数两种方法效果更好,且最大改进比例达到6.7%;同时,根据目标项目的缺陷率,发现余弦相似性更适合于缺陷率高于0.25的项目。     

非线性橡胶隔振器的冲击响应特性研究

为了研究非线性橡胶隔振器的冲击响应特性,考虑到阻尼非线性特性的影响,建立一个8参数的非线性响应力参数模型,由此描述橡胶隔振器的冲击响应力与位移的迟滞回线特性。选择某型渐硬型橡胶隔振器为研究对象,采用跌落式冲击实验方案获得不同工况下的橡胶隔振器冲击响应,以及不同冲击速度、冲击脉宽下的冲击刚度变化规律。通过最优参数的拟合,结果表明实测响应与模型预测值已基本相近。     

关于矩阵Schur补的若干矩阵不等式

本文的目的是利用矩阵Schur补的性质,建立若干关于正定矩阵Hadamard乘积,Kronecker乘积,Khatri-Rao乘积和普通加法的矩阵不等式,这些不等式包含或推广了相应的结果,其中Schur补和分块矩阵作为主要的工具被使用。     

恶劣天气对调频连续波激光雷达性能影响仿真分析

近年来,调频连续波激光雷达成为自动驾驶领域中一种富有吸引力的传感器选择。本文首先介绍了基于IQ调制器的线性调频连续波激光雷达的测距原理,针对设计指标进行了参数计算,然后利用搭建的模型研究了不同外部恶劣天气条件对系统性能的影响。结果表明该模型可以接受一定范围内外部恶劣天气的变化,为后续面向车载调频连续波激光雷达系统设计和硬件选择提供了参考依据。     

GKCI:改进的基于图神经网络的关键类识别方法

研究人员将软件系统中的关键类作为理解和维护一个系统的起点,而关键类上的缺陷对系统造成极大的安全隐患.因此,识别关键类可提高软件的可靠性和稳定性.常用识别方法是将软件系统抽象为一个类依赖网络,再根据定义好的度量指标和计算规则计算每个节点的重要性得分,如此基于非训练的框架得到的关键类,并没有充分利用软件网络的结构信息.针对这一问题,本文基于图神经网络技术提出了一种有监督的关键类识别方法.首先,将软件系统抽象为类粒度的软件网络,并利用网络嵌入学习方法node2vec得到类节点的表征向量,再通过一个全连接层将节点的表征向量转换为具体分值;然后,利用改进的图神经网络模型,综合考虑类节点之间的依赖方向和权重,进行节点分值的聚合操作;最后,模型输出每个类节点的最终得分并进行降序排序,从而实现关键类的识别.在八个Java开源软件系统上通过与基准方法实验对比,验证了本文方法的有效性.实验结果表明,在前10个候选关键类中,本文所提方法比最先进的方法提升了6.4%的召回率和3.5%的精确率.     

右线性文法与有限自动机等价性的一个新证明

迄今为止,左、右线性文法与有限自动机的等价性都是通过相互模拟构造来证明的。文章首先引入字母表上的右线性方程组及其最小解的概念,证明了最小解的存在性与有效可解性,描述了最小解的结构;其次通过右线性方程组及其最小解,证明了右线性文法与有限自动机的等价性。完全类似地,可以引入字母表上的左线性方程组及其最小解,并且证明左线性文...     

基于RGPS领域资产聚合的按需服务发现方法

服务发现机制面临两个现实问题:一是服务数量剧增、服务类型多样,二是用户需求多变、业务流程日益复杂,这些都导致服务发现日趋困难.传统服务发现机制往往关注服务本身的属性和内在特征,而忽略了服务发现的宗旨就是为了满足用户的需求.本文将基于RGPS领域资产(Role-Goal-Process-Service)的服务聚合技术引入到服务发现机制中,提出一个新的服务发现框架,实现服务的聚合和抽象,解决服务资源的按需服务发现问题.最后,构建一个服务注册管理原型平台,利用仿真实验对所提出的方法进行了验证.