加强约束的布尔可满足硬件求解器

利用现场可编程门阵列固有的并行性和灵活性,提出在硬件可编程平台上基于随机局部搜索算法的布尔可满足性求解器,用于求解大规模的布尔可满足性问题。相对其他求解器,该求解器的预处理技术能极大提高求解效率;其变元加强策略避免了同一变元被反复连续翻转,降低了搜索陷入局部最优的可能。评估结果表明,求解器最多能处理32 000个变元/128 000个子句的实例。相比当前同类型的求解器,其求解效率明显提高。     

飞机反区速度矢量不稳定及其控制的机理

在信号流图的基础上,提出多回路分析的方法,并用于研究反区时速度矢量不稳定及其稳定控制的机理。建立了纵向动力学的信号流图,并证明了一个回路的收敛性定理。在此基础上,通过理论分析得出了速度矢量不稳定在不同层面上的原因,也得出了速度和轨迹的发散度表达式等,并表明阻力-速度曲线、轨迹角-速度曲线、极曲线、阻力系数曲线等存在相互对应的反区和正区,并且阻力-速度曲线和轨迹角-速度曲线在斜率上成比例。研究得出进场动力补偿系统下速度矢量的稳定临界条件、收敛度、稳定机理等,理论分析和仿真比较了速度恒定进场动力补偿系统和迎角恒定进场动力补偿系统在控制性能上的差异。     

船舶静态电场跟踪的渐进更新扩展卡尔曼滤波器

为了实现利用船舶静态电场对船舶进行跟踪的目的,针对传统卡尔曼滤波算法中存在的问题,设计一种新的非线性滤波器。建立船舶的状态空间模型,分析传统卡尔曼滤波算法在船舶跟踪中存在的问题;依据渐进贝叶斯思想,利用连续白噪声与离散白噪声序列噪声协方差之间的关系,设计一种新的渐进更新扩展卡尔曼滤波器。仿真结果表明,该滤波器能有效地抑制由于初始误差较大而造成的滤波性能下降和滤波发散,能够有效地跟踪船舶,具有较高的实用价值。     

柔软物体力触觉形变模型验证系统

为了验证柔性物体力-形变模型的合理性,构建了基于CC2531芯片的无线数据收发平台、力传感器测量平台和FALCON手控器位移测量平台的力-形变模型验证系统。以新鲜猪肝脏为实验对象,研究了弹性形变实验和穿刺实验的作用力与位移之间的关系;以力-形变测量数据为基础,进行了参数验证校调。仿真实验结果表明:模型中力-形变特性与实际测量值保持一致。该系统能广泛应用于柔性物体力-形变模型验证,对于促进力触觉虚拟医学仿真系统的发展具有重要意义。     

携带诱骗信息的多层网络隐写方法

为了提升网络隐写方法中秘密信息隐蔽传输的安全性,研究了携带诱骗信息的多层网络隐写方法。方法分为两层,高层方法用于携带诱骗信息欺骗检测者,低层方法利用网络协议栈纵向多协议之间的关系编码秘密信息,实现隐蔽通信。实验结果表明,该方法能够在保证隐写带宽的同时,确保了秘密信息传输的安全性。     

流的大小与传输速率相结合的双门限检测算法

提出基于流传输速率与数据量的双门限检测算法。为满足高速网络传输的性能要求,使用Hash表存储流检测的数据结构,将Hash表的冲突处理与基于流速率的缓存替换相结合以实现高效的大流检测,通过限制Hash桶的容量,确保报文的处理性能。真实网络数据的仿真测试结果表明:所提算法在相近的存储开销下,保持了较高的处理性能,准确性优于基于最近最少使用算法的大流检测及其派生算法以及基于统计计数的紧凑型空间节省算法。     

儿童绘本在幼儿园美术教学中的价值分析

绘本作为一种教育资源在幼儿园美术教育教学中广泛运用.本文基于《纲要》对幼儿艺术领域的要求,分析绘本在幼儿园美术教学中的可行性和必要性,并从增强幼儿情感体验,提升幼儿审美水平,激发幼儿想象力,丰富幼儿美术知识和技能四个方面阐述绘本在幼儿园美术教学中的价值.     

大学生思想政治教育宿舍载体相关问题研究

在进一步加强和改进大学生思想政治教育的宏观背景下,将思想政治教育融入大学生宿舍生活中是适应高等教育发展的重要举措.响应教育改革的步伐,各大高校开始扩招,学生的数量大幅增加.因此,思想政治教育显得尤为重要.但是,传统的班级概念却在趋于淡化.学生在宿舍生活、学习的时间已经远远超过呆在教室的时间,所以以班级作为思想政治教育的形式和渠道必须发生改变.寝室作为大学生生活、学习的重要场所,他们的思想更加自由,自我意识更加强烈.在这种基础上,把寝室生活作为思想政治教育的重要场所尤为重要.该文对大学生宿舍载体的内涵、特点、意义及存在的问题进行深入探讨,并提出相关的建设性意见.     

新疆少数民族儿童数学应用题解题调查研究

应用题解题对于提升民族儿童分析问题、解决问题的能力、培养思维品质、锤炼道德品质等方面有着重要作用.调研发现,南疆少数民族儿童的应用题解题障碍包括教学语言(常规语言、数学语言)、问题情境不熟悉、数学知识掌握不扎实、解题思维过程欠缺规范等多个方面.针对上述问题,从加强国语教育、渗透数学文化教育、开发课程资源、培养规范、严谨的解题习惯等多个方面提出了有针对性的对策.