分数阶导数的Du Bois-Reymond引理及其在分数变分问题中的应用（英文）

考虑Riemann-Liouville分数导数意义下的分数变分问题.首先,对于这类分数变分计算,证明了与古典Du Bois-Reymond引理相对应的结果.然后,应用该结果建立了分数变分泛函的Euler必要条件.最后,讨论了全局极值问题,得到了一些全局极值存在的充分必要条件.     

近临界紧邻随机游动局部时的重整化极限

Lamperti于1961年证明了在适当条件下, 半直线上一类近临界的紧邻随机游动经过重整化会弱收敛到布朗运动. 考虑过程局部时重整化的极限问题, 运用随机游动的内蕴分枝结构以及非时齐分枝过程重整化极限的结果, 证明了其局部时经过适当的重整化会收敛到布朗运动的局部时.      

人工智能和哲学逻辑视野中的局部语义

语境与语言、推理被并列为人工智能所面临的三大挑战,涉及语词多义、领域特定话语、文本先备知识等具体的技术问题。语境在人工智能领域的形式化以语境的"命题逻辑系统"和"局部模型语义"/"多语境系统"为代表。然而,语境问题的复杂之处在于,不同的会话场景,不同的文本不能被简单地归属给一系列定制好的语境——与一个个场景和文本对应的是一个个具体的语境:它们之间既不是简单的类属关系,也不是简单的组合关系,而是呈现出明显的家族类似性。     

应用点基局部光滑点插值法的固有频率上下界计算

针对传统有限元方法得到的刚度阵过硬导致所提供的固有频率上限值较为粗糙、点基光滑点插值方法得到的刚度阵过软导致所提供的固有频率下限值较为宽泛且存在时间不稳定性等问题,提出了点基局部光滑点插值法(NLS-PIM)。该方法将有限元和点基光滑点插值法相结合,对背景网格基础上形成的点基光滑域进行局部应变光滑,通过调整二者结合的权重来控制计算模型的整体刚度。研究发现,采用局部梯度光滑方法控制模型刚度而形成的点基局部光滑点插值法,克服了点基光滑点插值方法的时间不稳定性及有限元法的固有缺陷,且能提供更为精细的固有频率上下界区间。所提方法简便、实用、易于实现,可用于复杂问题求解。     

基于图像处理技术的连续梁结构振动测试应用研究

采用普通USB摄像头和PC机作为硬件采集图像,利用Matlab软件编制相关程序实施了视频采集及分解、图像预处理、图像计算、信号分析4个模块的程序运行,进行了连续梁模型的振动试验,识别了连续梁模型的固有频率、阻尼比与振型,比较Dasp系统的模态参数识别结果,论证了数字图像测量技术进行参数识别的可靠性和精确性。     

百万美元数学难题的解决……

破解这一数学难题将会使破解者变得富有,但是它对于我们所有人的价值却是无法计算的。如果P=NP,为什么会关系如此重大,《新科学家》杂志为此作出了解释——"亲爱的同事们,我很高兴地宣布,我已经证明了P不等同于NP,这一证明用10磅和12磅的字体附在后面"。维奈     

一类区间不确定时滞系统超前/滞后补偿器设计

针对一类具有全极点的区间不确定时滞系统,给出了相位超前/滞后补偿器的一种图解鲁棒设计方法.对滞后因子采用一阶Pade近似,应用广义Kharitonov定理,证明了图解法设计出的相位超前/滞后补偿器可以镇定区间不确定近似系统.通过仿真验证了该补偿器亦可镇定原区间不确定时滞系统,并保持良好的系统性能.该种图解设计方法选择参数灵活,便于实际应用.     

在多项式空间中full spark框架的构造

Hilbert空间中的full spark框架在框架理论中具有很好的性质—最大鲁棒性.本文所做的一个重要工作是将序列空间中的full spark框架推广到了函数空间中,先后构造出了一元n次多项式空间H_n(x)及m元n次多项式空间H_n(x_1,x_2,…,x_m)空间中的full spark框架,并举出了一些实例.     

中山电网调度远方操作防误功能的建设和应用

本文重点介绍了中山电网调度远方操作防误功能的建设和应用情况。系统主要有两大功能，对调度远方电气操作进行安全校核和操作票拟票、审核、执行全过程校核。功能的建成使用为中山电网实现减员增效发挥了一定的作用。     

基于样本重采样的电路非平衡数据预处理方法

针对机载设备电子电路故障状态测试数据少、整体测试数据不均衡的问题,提出了一种基于样本重采样的数据预处理方法。首先，采用超限学习机对原始数据集进行训练以挑选出分类准确的样本。然后，对其中的少数类和多数类分别采用合成少数类过采样技术(synthetic minority oversampling technique, SMOTE)进行过采样和局部密度欠采样处理;并将错误分类的多数类样本作为干扰因素进行删除。通过以上两种手段可以均衡数据集,并控制数据规模防止过拟合,提高对故障样本的检测率。实测数据处理结果表明,相比于其他重采样算法,所提算法整体效果优良且稳定,对电子电路故障诊断具有一定的应用价值。