Banach空间脉冲微分方程Dirichelet边值问题的正解

讨论了一般有序Banach空间E中一类二阶非线性脉冲微分方程两点边值问题{-u″(t)=f(t,u(t)),t∈J,t≠tk,-△u’|t=tk=Ik(u(tk)),k=1,2,…,m,u(0)=u(1)={θ正解的存在性结果,其中,f∈C(J×K,K),Ik∈C(K,K),k=1,2,…,m,K为E中的正元锥.增加脉冲项后所研究方程的解的表达形式也发生了改变,证明了其成立的充分必要性.在非紧性测度的估计过程中利用Green函数的一些性质进行合理的计算和适当的放大,得到了比较好的估计结果.最后应用凝聚映射的不动点指数理论获得了该问题正解的存在性,从而把文献(兰州大学学报:自然科学版,2008,44(6):120-126.)的结果推广到了具有广泛的物理背景和现实数学模型的脉冲微分方程领域.     

后张无粘结预应力混凝土梁,板施工

济南齐鲁宾馆二期工程采用无粘结预应力混凝土梁，板结构体系，使大柱网现浇整体楼盖设计与施工某些问题得以解决。本文重点介绍了后无粘结预应力混凝土梁板结构的施工技术。实践证明，该结构体系可靠合理，并具有显著的经济效果。     

广义均衡和不动点问题的迭代算法

运用粘滞迭代方法,提出一种寻求2个广义均衡问题解及无限多个非扩张映像不动点集的公共元的新的迭代格式,在Hilbert空间中,证明了该算法的强收敛性,推广和改进了相关的结果.     

一种新颖的编辑距离限制下的相似性确认算法

针对相似性确认步骤中编辑距离计算的高复杂性问题,提出了一种在编辑距离限制下的基于鸽笼原理的字符串相似性确认算法.首先找到满足编辑距离片段映射的片段,以此片段为基准,将长度为500bp的read分段.然后对满足编辑距离片段映射的左右部分递归地进行编辑距离计算,将各段得到的编辑距离相加即为最后结果.最后根据最长公共子串的下限将需要验证的片段数目降到最低,得到优化方案.实验结果表明,基于鸽笼原理的分段递归计算编辑距离的确认算法减少了验证步骤的时间,并能保证假阳率和假阴率都为零.     

关于集值映射变分原理的一般形式

该简报称获得一个关于集值映射变分原理的一般形式,它蕴涵许多已知的集值型Ekeland变分原理及其改进.     

在机检测中STL格式自然二次曲面特征参数的提取

根据工件的几何特征及其参数进行测量轨迹规划是在机检测系统中重要的环节之一.为了从STL(stereo lithographic)文件中提取出其所描述的工件模型的几何特征及参数,给出了一种针对其数据文件格式特点的自然二次曲面特征参数提取新方法.该方法首先根据三角面片法向量在高斯球面的映射图像判定自然二次曲面几何特征,然后将快速聚类法和Gauss-Newton法相结合,对STL文件中坐标点进行几何特征参数的计算.计算实例表明,该算法能够稳定、准确地提取出自然二次曲面的几何特征参数.     

不同失效模式下平面张弦梁结构受力全过程刚度变化

针对现有关于平面张弦梁结构受力全过程中刚度变化规律研究不够系统化的不足,采用理论推导、有限元分析和试验验证等策略对此问题进行深入分析.首先,运用一阶方法推导简化平面张弦梁结构模型在外荷载作用下的跨中竖向位移和杆件内力的计算公式.在此基础上,研究上弦抗弯刚度及上下弦轴向刚度比这2个参数对结构竖向整体刚度的影响规律.最后,分析多个平面张弦梁结构模型在受力全过程中的刚度下降程度.结果表明:当各参数在常用范围内取值时,上弦抗弯刚度对结构整体刚度的影响不大.该结构的多种承载破坏模式均具有脆性破坏的特征.     

片上网络任务映射算法的可靠性优化

为了满足当前特定应用领域对片上网络可靠性的要求,在贪心启发式映射算法的基础上,通过加入基于容错机制可靠的通信开销函数约束,实现了一种具有可靠性的片上网络任务映射算法RaNMAP.结果表明,该映射算法可以有效提高片上网络系统的可靠性,有利于从更高的抽象层次对片上网络的容错设计进行指导和评估.     

Meir－Keeler型集值压缩映射的公共不动点定理

对Ｍｅｉｒ－Ｋｅｅｌｅｒ型集值压缩映射序列证明了几个公共不动点定理     

单峰映射允许搓揉序列的Hausdorff维数和测度

利用Hausdorff维数和Hausdorff测度, 对单峰映射的允许搓揉序列的集合给出定量刻画, 证明了该集合在两个符号的单边符号空间中Hausdorff维数是1, 1维Hausdorff测度是0.这与传统的定性分析相比, 结果更有意义.