一类积分不等式组中未知函数的估计

研究了一类二维积分不等式组,该不等式组积分号外有非常数因子,不能用向量形式的Gronwall-Bellman型积分不等式进行估计。为了简化主要结果的证明,先引进两个引理,给出只含有一个未知函数的积分不等式中未知函数的估计,接着利用两个引理和变量替换技巧和放大技巧给出不等式组中两个未知函数的估计。该结果可用于研究积分、微分动力系统解的性质。     

基于有限状态机的售卖机控制器的设计与仿真

自动售卖机是商业模式下自动化实现的典型应用之一,随着嵌入式系统和自动化技术的不断发展,其应用也越来越广泛。有限状态机作为一种反映状态间转移的数学模型,可以被用在嵌入式系统控制器的设计开发中。利用有限状态机技术对自动售卖机的控制器进行设计,利用Verilog HDL语言将控制器编程实现,并在Model Sim中进行了仿真,实验结果证明了该方法的可行性。     

2012年以来“自然辩证法概论”课教学现状实证分析——以北京部分高校为例

基于对北京部分高校"自然辩证法概论"任课教师的问卷调研,对2012年课改以来自然辩证法概论的教学现状进行实证分析,发现存在对教学目的认识不统一、对中国马克思主义科学技术观关注相对较少、对专题性教学问题深入研究欠缺、课堂规模普遍偏大、师资培训机会相对稀缺、对定期召开专题性会议和增加学时有强烈期望等问题。因此,建议注重对"自然辩证法概论"教学大纲的专题性培训、加强对专题式教学细节问题的深度研究、加大对自然辩证法概论课课堂规模督查力度、积极拓宽对任课教师专业性培训渠道、建立健全自然辩证法概论教学专家库、定期召开自然辩证法概论专题性教学会议,最终促进自然辩证法概论课教学实效性的稳步提升。     

基于混合优化算法的关节臂式测量机参数标定

为进一步提高关节臂式坐标测量机等高机动性精密测量设备的测量精度,使用D-H矩阵法建立其关节坐标转换数学模型并据此推导出参数误差模型.针对非线性多参数标定问题,通过变换分析消除了最小二乘法求解时矩阵中的冗余参数,降低了计算的复杂性.设定判定准则并实现最小二乘法和模拟退火算法的混合,提出了一种基于混合优化算法的参数标定方法,解决了LM算法的初值设定和SA算法的搜索效率逐步降低的问题.实验结果表明:关节臂式测量机参数经混合优化算法标定后,参数的误差范围有了显著的缩小,单点重复性误差的平均值减小了1.746 mm,长度误差的平均值减小了0.941 mm,测量误差得到了进一步的抑制.     

强嵌入在群作用下的遗传性质

有限生成群G粗拟作用在一个度量空间X上,如果X具有有限渐近维,且拟稳定子是可强嵌入的,则群G是可强嵌入的.     

高陡横坡段桩柱式桥梁双桩基础受力分析

基于高陡横坡段桩柱式桥梁双桩基础承载特性,提出了一种改进有限杆单元计算分析方法.分析了高陡横坡段桩柱式桥梁双桩基础承载机理及受力特性,建立了双桩基础计算分析模型.其次,根据前、后桩与边坡相对位置关系,给出了后桩所受剩余下滑力与前桩所受土压力的比例关系.在传统有限杆单元分析方法基础上,结合陡坡桩受力特征,导得了考虑桩土共同作用与"P-Δ"效应的单元刚度矩阵修正方法,并在此基础上编制了适用于高陡横坡段桩柱式桥梁双桩基础的有限杆单元分析MATLAB计算程序.采用室内模型试验对本文计算方法进行验证,给出了适用于陡坡段桥梁桩基的设计流程图.研究结果表明:本文理论计算值与模型试验实测结果吻合良好,表明本文计算方法正确可行,可为同类工程设计提供参考.     

半潜式钻井平台螺旋桨修复技术的应用研究进展

针对半潜式海洋钻井平台推进器螺旋桨面临的空泡腐蚀、电化学腐蚀以及海洋生物附着污损等问题，综述了焊接、粘接、热喷涂、冷喷涂修复技术的应用研究进展。认为目前的螺旋桨修复再制造技术普遍存在着修复层应力集中、结合强度低、孔隙率高、高温导致材料变性等缺陷，今后的研究工作应向着避免应力集中、增大修复层结合强度、降低作业温度、减小孔隙率的方向发展，以期能够制备更加致密均匀的修复层。     

电子档案管理研究及其系统探究

随着信息时代的日趋发展,社会需求的日益深化和复杂化,电子档案管理显得日趋必要与迫切。在综述国内外电子档案深入分析电子档案管理的利弊及目前电子档案管理工作中存在的突出问题的基础上,提出应用云计算解决数据安全问题及硬件设备问题等,并采用差分进化算法(differential evolution algorithm,DE)对云服务器进行优化。实验证明,差分进化算法能提高档案管理系统的工作效率,减少搜索时间。     

公理化局部有限空间中映射连续性的扩展

用公理化方法研究了局部有限空间中的连续映射及其扩张问题。给出了局部有限空间的公理化定义方法;利用邻近关系研究了局部有限空间中的连续映射、同胚和局部同胚等问题;通过对局部有限空间变形的研究,定义了局部有限空间的一种特殊收缩核,有效地解决了局部有限空间中连续映射的扩张问题。