对合三角泛函方程的Ulam-Hyers稳定性问题

给出从群G到复数域F上的一类对合三角泛函方程的一般解和Ulam-Hyers稳定性问题,得到扰动泛函方程更小的上界,最后完善相关结论。     

撰稿指南

1.凡投稿,请一律将作者的姓名、简介、所在单位、通讯地址、邮政编码、联系电话、传真、E-mail等个人信息全部放在与正文内容相独立的首页,个人信息应尽量完整、准确,以便编辑部及时与作者联系.2.因投稿量大,无论本刊采用与否,概不退稿,请作者自留底稿,投稿者勿一稿多投,若作者在投稿后一个半月仍未接到采用通知,可自行处理稿件.投稿一个半月后可与责任编辑联系查询稿件的受理情况,查询电话见版权页,     

简支及悬臂箱梁在角隅轴向荷载作用下的翼板纵向应力

基于能量变分原理，拟定轴向荷载作用下箱梁的纵向位移函数，得到关于翼板剪切变形引起的位移差函数的基本微分方程，继而推导出箱梁翼板纵向应力表达式，并首次得出角隅轴向荷载作用下翼板出现应力不均匀分布的荷载及边界条件。通过对一模型箱梁进行计算，并与通用有限元软件ANSYS壳单元计算结果进行比较，验证了该方法和所推导公式的正确性。研究结果表明，当作用于简支箱梁截面角隅处的轴向荷载（合力无偏心）为集中或分布荷载时，翼板不产生纵向应力不均匀现象；当作用于悬臂箱梁截面角隅处的轴向荷载（合力无偏心）为集中荷载时，翼板不产生纵向应力不均匀现象，而当荷载轴向分布时，翼板将产生纵向应力不均匀现象。实际工程中，横力弯曲使悬臂箱梁产生剪力滞效应，这种效应会与轴向分布荷载产生的效应叠加，设计时对此应予以充分考虑。     

湍流大气传输中跟踪抖动对远场影响的仿真研究

分析了跟踪抖动对湍流大气传输远场光斑的影响。基于麦克斯韦电磁场理论,采用大气相干长度对大气湍流进行描述,推导了发射光束因跟踪抖动导致光轴偏离的远场表达式。在此基础上,利用相位屏法模拟抖动引起的倾斜相位和大气折射率起伏引起的相位调制,并采用低频补偿的功率谱反演法对传输过程进行了数值仿真。分析了不同跟踪抖动、湍流强度条件下远场光斑质心脱靶量的变化,以及不同尺寸模拟目标的回波概率。分析结果表明,在传输距离为10 km时,强湍流造成的远场光斑脱靶量可达几十μrad;当跟踪抖动较大时,湍流强弱对脱靶量影响差别很小。最后,对一定尺寸的模拟目标,从探测回波概率的角度给出了发射系统跟踪抖动量的控制范围。     

撰稿指南

1.凡投稿,请一律将作者的姓名、简介、所在单位、通讯地址、邮政编码、联系电话、传真、E-mail等个人信息全部放在与正文内容相独立的首页,个人信息应尽量完整、准确,以便编辑部及时与作者联系.2.因投稿量大,无论本刊采用与否,概不退稿,请作者自留底稿,投稿者勿一稿多投,若作者在投稿后一个半月仍未接到采用通知,可自行处理稿件.投稿一个半月后可与责任编辑联系查询稿件的受理情况,查询电话见版权页,也可到www.hbzxsx.com网站查询.     

具有势函数的弱f-稳态映射的若干结果

本文研究了与拉回度量有关广义泛函Φ_f,H.利用应力能量张量的方法,得到具有势函数的弱f-稳态映射的一些刘维尔型定理.     

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

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

一类无圈型Nakayama代数的量

用同调方法求出一类Nakayama代数A的量,并且求得其代数A的量|IP(A)|=■n-1/r■+1,其中■·■表示向下取整函数.