基于正交试验设计的我国高科技企业技术创新获取途径选择对创新能力的影响研究

技术获取途径的选择对于高科技企业的创新驱动发展具有重要的影响,正确的获取途径选择,可以有效提高企业的竞争力。本文通过广义试验方法,以企业技术研发或改造项目的成功率、企业整体创新能力以及企业整体创新能力孕育潜力为试验指标,进行多指标试验,通过对试验结果进行部分正交多项式回归分析,讨论内部创新技术研发程度、购买新技术程度和合作开发新技术程度对试验指标的影响规律,得出了加强对企业内部技术研发投入以及扩大与科技院所合作来提高企业创新能力的相关建议。     

基于Ni-SnO2纳米颗粒的GS-PUF设计

气敏传感器具有气体识别、探测和监测等功能, 广泛应用于工业生产等领域, 但在泄漏预警时缺乏迅速识别和定位等功能. 本文基于传感器制备工艺偏差分析, 通过对传感器气敏机制的研究, 提出一种基于Ni-SnO2纳米颗粒的气敏传感器物理不可克隆函数(Gas Sensor-Physical Unclonable Function, GS-PUF)设计方案. 该方案利用掺杂Ni元素的方法, 结合静电喷雾沉积技术制备Ni-SnO2气敏传感器, 以获取更加稳定可靠的物理特征值, 然后采集气敏传感器对不同浓度下气体的响应数据, 最后利用随机阻值多位平衡算法比较不同组气敏传感器响应电信号值, 实现PUF数据输出. 制备每组样本可产生128位二进制数据的多组PUF样本, 进行对比实验. 结果表明, 所设计的GS-PUF具有气体泄漏源头识别定位的功能, 且随机性提升至99%, 唯一性达49.80%.     

希尔伯特类多项式模p的Fp根的个数(英文)

设K是一个虚二次域,O为K中的一个order.由定义,O的希尔伯特类多项式H_O(x)是一个整系数的首一不可约多项式,它的复根恰为所有具有O—复乘的椭圆曲线的j—不变量.设p∈N为一个在K中惯性的素数,且p严格大于|disc(O).若Ho(x)(mod p)的F_p根的所组成的集合非空,我们证明群Pic(O[2]在该集合上有一个自由且传递的作用;因此Ho(x)(mod p)的F_p根的个数要么等于0,要么等于|Pic(O)[2]|.我们还给出了一个关于F_p根存在性的具体判别方法.类似的结果首先由Xiao等人在文献[25]中得到,后又经李等人在文献[13]广泛推广.本文结果已在李等人的工作中出现,但方法与之完全不同.     

自由Rota-Baxter代数的因子分解

近年来,Rota-Baxter代数在数学和物理学中有着广泛的应用,受到越来越多的关注,自由Rota-Baxter代数分别用括号字,根树以及Motzkin路径得到了构造.因子分解在代数学中是一个很重要的问题.本文主要考虑用括号字构造的自由RotaBaxter代数,得到了自由Rota-Baxter代数中基元素的因子分解.     

双调和算子特征值问题的混合三角谱元方法

本文针对双调和算子特征值问题设计了基于混合变分形式的三角谱元逼近格式,其基函数采用指标为(-1,-1,-1)的广义Koornwinder多项式.在H~1-及H_0~1-正交谱元投影的逼近理论基础上,我们建立了双调和算子特征值与特征函数的收敛性估计;它关于网格尺寸h是最优的,关于多项式次数M是次优的.然而,在H_0~2-正交谱元投影的最优估计假设前提下,关于M的次优收敛阶估计则提升为最优.此外,Koornwinder分片多项式逼近的结果还表明,在带权Besov空间范数的度量下,对于存在着区域角点奇性的双调和算子特征值问题,谱元方法的收敛阶能达到h-型有限元方法的2倍.最后,本文的数值实验结果展示了谱元逼近格式的高效性,同时也验证了相关理论的正确性.     

ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具北大核心CSCD

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.     

基于严格α-双链对角占优矩阵的非奇H-矩阵的判定准则

研究了非奇H-矩阵的判定问题.先给出了几个判定严格α-双链对角占优矩阵的充要条件,进一步利用矩阵对角占优理论得到了判定非奇H-矩阵的一些充分条件,推广和改进了已有的相关结果,并用数值算例说明了这些判定方法的有效性.     

非李普希兹条件下马尔科夫调制随机延迟微分方程数值解的收敛性（英文）

在全局李普希兹条件下,已经建立了马尔科夫调制的随机微分方程的欧拉方法.然而对于实际系统,全局李普希兹条件通常不成立.在本文中,在弱于全局李普希兹条件的条件下,我们证明马尔科夫调制的随机微分方程的欧拉方法是收敛的,并且其收敛阶和全局李普希兹条件下相同.     

循环子空间的进一步应用

以向量的极小多项式作为出发点,深入分析了循环子空间的具体结构,得到了循环子空间进一步的应用.