课程文献中心 更多>>

关键词： 多维协方差不等式   柯西-施瓦茨不等式   格拉姆矩阵   迹   行列式  

摘要： 本文先证明格拉姆矩阵分块矩阵满足的行列式、迹不等式,它们可以看作经典柯西-施瓦茨不等式的多维推广.作为推论,得到分别以协方差矩阵的子矩阵的行列式和迹表示的协方差矩阵不等式,它们是一维协方差不等式的多维推广.

关键词： 微生物   能力验证   质量控制  

摘要： 实验室通过参加微生物能力验证活动,评价自身的检测能力和实验室质量控制、管理体系是否有效运行。依据能力验证参试指导书和GB 4789食品微生物学检验的相关要求对能力验证样品进行检测。结果表明,6次能力验证,5次结果10个样品为满意、1次结果为不满意。分析不满意的原因,查找其他微生物检验项目是否存在相同的问题,一并提出纠正措施并进行整改,不满意的项目通过再次能力验证获得了满意的结果。同时总结了微生物能力验证的关键质控点,供相关微生物实验室参考。

关键词： 复杂软件系统   计算机技术   软件定义   软件可信   自动化分析   行为空间   语义认知  

摘要： 在软件定义一切的时代,软件使能的系统遍布在人类社会的各个方面、在不同程度发挥着重要的作用,软件可信保障既是迫切需求又是重要挑战.对软件的语义及其行为空间进行深入理解是软件可信保障的重要依据与前提.然而,随着计算机技术的快速发展与应用的日趋普及,软件系统规模和复杂性持续增大,如何对大规模、复杂软件系统的语义进行理解,并指导软件分析、测试、验证乃至优化活动是当前领域关注的重要问题.特别是在当前开源时代下,如何对大规模代码高效构建准确的语义认知,并基于相关认知与理解进行后续自动化分析,具有重要意义.

关键词： Toeplitz矩阵   行列式   正定性  

摘要： Toeplitz矩阵是结构矩阵的一种特殊形式,其研究在矩阵与计算数学理论中占有重要地位,本文主要讨论一类特殊的Toeplitz矩阵行列式的求解,运用行列式的性质得到三个递推关系式,从而将这类特殊的Toeplitz矩阵行列式的求解转化为三对角Toeplitz矩阵行列式的求解,构造等差和类等比数列结合递推关系式求出通项表达式,进而给出了这类特殊的Toeplitz矩阵行列式的精确解。作为应用,解决了这类特殊的Toeplitz矩阵正定性判定的问题。

关键词： 埃尔米特矩阵   特征值   惯性指数不等式  

摘要： 本文旨在研究埃尔米特矩阵的惯性指数,对一个惯性指数不等式给出几种新证明,以及进一步推广.

关键词： 学术论文   个人见解   遗留问题   认识水平   文献比较   意义和实践   意义评价   理论阐述  

摘要： 讨论是学术论文的重要组成部分,是结果的展开、延伸和升华,是作者表达个人见解、阐述学术思想把实验结果提高到理论高度的部分。讨论的目的主要是回答“研究出什么?”的问题,是论述本文在选题、方法、结果等方面与过去文献比较的异同和优劣,并从中引出新的观点、结论,探求新的规律。讨论部分可反映作者对研究的认识水平。讨论的主要内容包括与该研究相关的理论阐述、理论意义和实践意义评价、研究进展和遗留问题等。

关键词： 锻件承压部件   横波检测   对比反射体   合格判定  

摘要： 通过一个检测实例说明:在压力容器锻件承压部件的超声波检测中,引入横波斜探头检测,对纵波检测的补充不在于波型不同和入射方向不同,而在于因采用的对比反射体不同导致的对缺陷类型的描述不同和合格评定的定量方法不同。

关键词： 主体性   主体间性   跨主体性   共主体性  

摘要： “主体性”概念在知识与实践领域的图景是解释一切事物并且为一切事物赋值。由于理性的行为都必然涉及他者,因此,所有的行为事实都具备主体间性。改造主体间性这一概念并将其升级为跨主体性,是理解跨文化想象的必要前提。跨主体性的可信基础来源于语言的共主体性,一种语言的重要词汇表发生某种程度的变化,就意味着一种文化发生了某种“文化再化”。“文化再化"触及了跨主体性的核心难题,只有通过增加普遍性的维度而非在不同的普遍性主张之间进行斗争,才能够共同创作一个莱布尼兹式的“足够丰富而兼容”的可能世界。在一种特定文化进行再化的过程中,最小的存活结构是语言和宗教,最小限度的坚实结构是语言、宗教和历史。中国数千年始终保持着跨文化的性质,其运行模式是基于天下方法论的"旋涡模式”。以方法而非信念为本源,中国的原生文化方能够接纳外生文化,并且“化”入其系统中。

关键词： 机器学习   成员推理攻击   迁移学习  

摘要： 在以图像分类为目标任务的迁移学习场景下,针对攻击者能力和需求对应模型不一致的情况下攻击准确率较低的问题,提出面向特征向量差异性的成员推理攻击方案,构建阴影模型获取不同层次的特征向量,采用欧氏距离对不同特征向量之间的距离进行计算,提出阈值比较步骤对欧氏距离细化分类,并设计阈值选择策略。实验结果表明:在不访问教师模型的情况下,对教师模型实施成员推理攻击,所提攻击方案仍能实现较好的攻击性能。本文方案在Cats vs Dogs、Flowers102和CIFAR-100数据集上成员推理攻击准确率分别达到0.728、0.632和0.581,揭示了迁移学习场景下成员推理攻击的有效性。随着学生模型训练时冻结层数的增加,本文方案在Cats vs Dogs数据集上的攻击性能得到提升。

关键词： 生活饮用水标准   水质检测   平行双样   相对偏差  

摘要： 从相对偏差术语的权威定义出发,推导相对偏差的计算公式,对比《生活饮用水标准检验方法水质分析质量控制》(GB/T 5750.3-2006)中平行双样相对偏差的计算公式,发现两者存在2倍的差异关系。对比水利、海洋等行业部门制定的水质检测标准或技术规范中平行样相对偏差计算公式,以及各教材文献中相对偏差计算公式,证明GB/T 5750.3-2006中平行双样相对偏差的计算公式存在不妥之处。建议修改计算公式,使其符合相对偏差的定义,或者保留计算公式不变,将相对偏差更改为其它名称或其它方式表述。