基于FPGA的课堂交互手势识别系统

手势是一种自然而直观的人际交流模式,基于视觉的手势识别是实现新一代人机交互所不可缺少的关键技术。文中主要围绕手势识别展开,结合了手势识别和幻灯片系统的控制,定义了4种动态手势。通过抓捕手势移动质心,恰好避开了手势复杂多变这一缺点。以FPGA作为主要的运行平台,结合Matlab的仿真,最终实现方便快捷的课堂交互的手势识别系统。     

塑身胸衣分割线功能性研究

通过试穿试验,对女式塑身胸衣进行舒适性与功能性评价分析。详细介绍塑身胸衣分割线的基本概念、分类和设计依据。基于对女式塑身胸衣进行穿着舒适性与功能性的主观评价,并通过对试穿者穿着不同款式塑身胸衣的状态进行客观观察,从塑身胸衣分割线的形态、长短、位置和数量等角度,探讨塑身胸衣分割线审美性和功能性的实现,总结分割线的设计规律,得出塑身胸衣分割线的设计方法。     

分布式循环泵供热系统节能影响因素分析

基于分阶段变质量流量调节方式,将传统动力集中式供热系统作为比较对象,分析分布式循环泵供热系统在各调节阶段循环泵轴功率节约率,以及在供暖期循环泵能耗节约率的计算方法。结合算例,分析室外温度、干管长度对循环泵轴功率节约率的影响。比较同一供热系统在北京、承德、哈尔滨供暖期循环泵能耗的节约率,一般供暖期越长,循环泵能耗节约率越低。     

一种线结构光自扫描测量系统的研究

为了实现对复杂自由曲面的快速精确测量,提出了一种由CCD摄像机、振镜和激光线投射器组成的全视觉自扫描测量系统。该系统利用光学三角法确定了一种新的测量物体表面三维坐标的方式。基于该方式,此测量系统使用平面靶标实现了对摄像机内部参数的标定,借助振镜转动驱动激光平面完成了对摄像机视场内被测物体的扫描,最终根据激光平面方程和计算机二维平面图像信息获得了被测物体的三维数据。试验结果证明,该系统能以较快速度实现自由曲面的精确测量。     

基于演绎长度的学习子句删除策略

学习子句删除策略是CDCL-SAT求解器中的一个重要内容,可以避免内存爆炸和加速单元传播。评估学习子句有用性的标准不同导致所删除的学习子句是不同的,极大地影响求解效率。基于CDCL算法的求解过程可被形式化为增加管理学习子句策略的归结演绎过程,基于此,提出一种基于演绎长度的学习子句评估方法,并与现有的基于文字块距离的评估方法结合,根据排序子句的基准不同,形成两种不同的结合算法。采用国际SAT竞赛的基准实例,与目前主流的求解器进行了实验对比分析。结果表明,所提的结合算法能更好地评估学习子句的有用性,较基于文字块距离策略的求解个数提高了4.1%,说明所提策略具有一定的优势。     

基于频次的SAT问题学习子句混合评估算法

为了有效管理学习子句,避免学习子句规模呈几何级增长,减少冗余学习子句对系统内存占用,从而提高布尔可满足性问题SAT求解器的求解效率,需要对学习子句进行评估,然后删减学习子句。传统的评估方式是基于学习子句的长度,保留较短的子句。当前主流的做法一个是变量衰减和VSIDS的子句评估方式,另外一个是基于文字块距离LBD的评估方式,也有将二者结合使用作为子句评估的依据。通过对学习子句参与冲突分析次数与问题求解的关系进行分析,将学习子句使用频率与LBD评估算法混合使用,既反映了学习子句在冲突分析中的作用,也充分利用了文字与决策层之间的信息。以Syrup求解器（GLUCOSE 4.1并行版本）为基准,在评估算法与并行子句共享策略方面做改进测试,通过实验对比发现,混合评估算法比LBD评估算法有优势,求解问题个数明显增多。     

基于子句的动态检查强制文字的SAT求解器

检查强制文字是一种重要的预处理方法。结合学习子句,提出一种在求解过程中使用的策略—基于子句的动态检查强制文字(CNL),并且设计了一种易实现低成本的数据结构。分别实现了两个不同版本的求解器:Glucose_PRE和Glucose_CNL,前者在求解初始时将检查强制文字作为预处理,后者实现了基于子句的动态检查强制文字策略。实验测试结果表明,与Glucose_PRE和Glucose3.0求解器相比,求解器Glucose_CNL在求解2015年和2016年SAT竞赛的应用类型的实例时,求解实例个数更多,耗时更少,说明所提策略和所设计的数据结构均可提高求解器的求解性能。