一类变指数退化抛物方程的解

考虑如下的变指数退化抛物方程解的适定性问题。利用抛物正则化方法证明了解的存在性。对检验函数适当选取，证明了解的唯一性。在边界上，扩散系数b(x,t)=0，解的唯一性可以不依赖于边界条件。     

市域社会治理的地方立法模式及其完善

市域社会治理现代化与设区的市的地方性法规制定权天然契合。实践中,已形成"统一型""分散型"和"渗透型"并存的"三元式"市域社会治理地方立法格局。"统一型"立法模式的示范引领作用有待观察。"分散型"立法模式须进行系统化整合。"渗透型"立法模式应深入贯彻治理理念并提升保障措施的可操作性。市域社会治理地方立法的完善措施包括鼓励多模式探索市域社会治理地方立法,赋予设区的市更广立法权,贯彻治理理念和提升法制措施操作性,发挥地方文化优势构建特色社会治理制度,加强立法后评估。     

云计算视角下可验证计算的分析研究

云计算能否在未来的各个领域中被广泛运用,决定因素在于其可信度。可验证计算在检测云计算结果的可信度方面具有其独特优势。利用可验证计算协议可验证云服务器端所返回的数据是否正确,它成为实现云计算可信度的重要保障。文中在阐述可验证计算基本内容和相关设计原则的基础上,分析了可验证计算协议的一般流程、设计原则及计算模型,并结合基于交互系统的可验证计算协议分析,探讨在云计算视角下可验证计算的研究展望。     

光束在不衰减的情况下实现了小角度转弯

一种类似蜂窝的塑料材料不但能引导光束实现精确的小角度转弯,还能在整个过程中保证光束的强度和完整性丝毫不受影响。由美国得克萨斯大学埃尔帕索分校(UTEP)和中佛罗里达大学(UCF)两校联合开发出的这种技术有望进一步拉近高性能光学计算机,特别是小型光学计算设备和现实的距离。相关论文发表在最近出版的《光学快报》杂志上。     

在实变函数教学中融入数学文化的思考

讨论在实变函数课程教学中融入数学文化教学的重要性,提出了若干教学方法以有效改善实变函数的教学效果,达到提高学生数学素养的目的.     

抗坏血酸/谷氨酸Maillard反应体系中间产物和褐变程度的研究

用磷酸缓冲溶液配制一系列不同质量分数的抗坏血酸/谷氨酸混合溶液pH8.0并在130℃下加热发生Maillard反应,对反应后体系的中间产物(A294nm)、褐变程度(A420nm)以及反应过程中抗坏血酸和谷氨酸的含量进行检测分析.结果显示,抗坏血酸通过热解产物与氨基酸发生Maillard反应,抗坏血酸质量分数的增大能促进反应体系的褐变,谷氨酸质量分数对反应体系褐变程度的影响不大.任意增大一种反应物的质量分数均可对无色中间产物的生成起促进作用,且抗坏血酸对中间产物生成的影响大于谷氨酸.     

盾构机刀盘回转系统恒功率自适应控制

为提高盾构机刀盘回转系统的工作效率和系统稳定性,采用简化刀盘回转液压系统模型,建立刀盘回转液压系统数学模型.分析了刀盘回转载荷,确定了液压系统负载扭矩计算模型.采用变论域方法建立基于变论域模糊PID的刀盘回转液压系统自适应控制算法.对刀盘扭矩施加线性变载荷和随机载荷进行控制系统的仿真实例研究.研究结果表明:在掘进系统刀盘扭矩增加时,所提出的控制系统可随时调整刀盘旋转速度以实现系统总功率的平衡,并可降低刀盘转速调整过程的超调量和调整时间.研究结论为盾构机刀盘回转液压系统的设计和改进提供了理论依据.