二阶泛函微分方程边值问题正解的存在性

应用Schauder不动点定理讨论一类二阶泛函微分方程边值问题正解的存在性,所得的结果放宽了已有文献中的条件:A≥φ(0),1/2≤T＜6. 结论简单,易于验证,并给出应用举例的验证结果.     

一个高效的无证书盲签名方案

提出了一个高效的无证书盲签名方案.在随机预言机模型下,证明了新方案在适应性选择消息、选择身份攻击下是存在不可伪造的,能够有效抵抗AⅠ攻击者的替换公钥攻击和AⅡ攻击者的KGC攻击.方案中在签名阶段没有任何双线性对运算,在验证阶段只有一个双线性对运算,并且不需要使用映射到点(Map to Point)的特殊哈希函数.与已有方案相比,所提方案在计算量上更具优势.同时方案采用无证书公钥密码体制,解决了基于证书签名方案的证书管理问题和基于身份签名方案的密钥托管问题.     

非线性项变号的p-Laplace算子型两点边值问题

利用Leray-Schauder度理论, 研究一类具有变号非线 性项的p-Laplace算子型微分方程两点边值问题两个非负解的存在性, 在较弱的条件下得到了方程非负解存在的充分条件.     

Banach空间一阶非线性混合型积微分方程正解的存在性

通过构造一个闭凸集合并利用全连续算子的不动点理论,对Banach空间中混合型一阶非线性奇异脉冲积微分方程进行了研究, 获得了正解的存在性结果。     

岩石锚固段轴向拔力与锚端斜拉力的换算方法

针对岩体锚固中,当母岩锚拔力与锚端斜拉力不一致,存在一定夹角时,当前尚无母岩锚拔力与锚端斜拉力的换算方法。为解决母岩锚拔力与锚端斜拉力之间的换算关系,根据力平衡原理和采用三角函数等数学推导,结合试验检测的方法,推导出不同角度时的母岩锚拔力与锚端斜拉力的换算式。说明可换算母岩锚拔力与不同角度时的锚端斜拉力。     

基于点云处理技术的汽车车身尺寸获取研究

我国处理交通事故的主要方法依然是手工测量,容易产生数据错误与丢失,且效率低下。激光扫描技术是一种以非接触方式快速获取扫描物体表面点云的数据获取技术,而目前我国还没有运用该技术进行交通事故现场数据获取的相关研究。提出一种利用汽车点云获取车身尺寸的方法,并结合车身曲面特点采用适合汽车点云数据预处理的点云处理算法,然后利用matlab软件编写程序获取车身尺寸,最后通过对比实际卷尺测量尺寸与计算所得尺寸,发现两者相差最大值为13 mm,说明该方法可行。     

局部凸拓扑矢量空间内的广义对策和广义拟变分不等式

证明了广义对策的一个新的平衡存在定理,其中经纪人的策略集可以不是紧的和约束对应可以是下半连续的而没有开下截口,然后应用连续选择技巧和此新的平衡存在定理,在局部凸拓扑矢量空间的非紧设置下证明了抽象广义拟变分不等式解的几个新的存在性定理,这些定理改进和推广了最近文献中的许多已知结果。     

同胚映射的某些不动点定理

本文给出了度量空间中某些同胚非扩张映射不动点存在的充分必要条件。     

相对论时钟讨论

由狭义相对论,时间膨胀是洛仑兹坐标变换的一个直接推论,爱常解释为是一种运动效应．由点电荷与电磁场之间相互作用构造了三个时钟,时钟的转动是通过点电荷与不同类形场源电荷之间的相互作用,由电磁场的相对论理论,分别对三个时钟做理论计算,得到与相对论一致的结论：运动的时钟变慢．从动力学的观点研究时间膨胀现象及时间的本质．因此,时间膨胀即时运动效应,也是动力因果效应．     

非线性项有非线性增长的高阶多点边值问题

考虑以下高阶多点边值问题({ у(n)=f(t,y,y',…,y(n-1),0≤t≤1,у(i)(ξj)=0,0≤i≤nj-1,j=0,1,…,k,(k∑j=0)nj=n),其中0=ξ0＜ξ1＜…＜ξk=1,关于f有非线性增长的情况,利用基于度理论的不动点定理,对上述边值问题建立了解的存在唯一性定理.