动静态结合排序决策的可满足性问题解决器

采用冲突驱动回溯、两观察变量法等思想,静态分析和动态更新相结合的排序决策,鼓励冲突,尽早剪除不满足解空间,提高算法速度.根据变量正反文字出现次数的乘积进行初始排序,优先考虑正反文字出现次数较多变量的赋值;采用冲突驱动、动态更新变量顺序、优先考虑发生冲突子句中变量的赋值,尽可能避免当前冲突.实验结果表明：与采用其他决策策略的解决器相比,文中的解决器拥有一定的速度优势.     

基于居民电子健康档案的区域卫生信息平台的研究

目的:结合实际情况,研究常德市区域卫生信息化建设存在的问题和解决方案。方法:分析常德市当前区域卫生信息化现状,面向卫生信息资源,以居民电子健康档案为中心,进行统筹规划、整体管理、协同服务。结果:建立"快速、高效、共享"的基于居民电子健康档案的区域卫生信息平台。结论:利用信息手段,推进常德市卫生事业发展,建立完善的现代区域卫生服务体系。     

新型多基线DInSAR地表形变监测技术研究动态

合成孔径雷达干涉测量（InSAR）是一项广泛采用的雷达遥感测量技术,可以获取大区域、长时间、毫米级的地表形变监测,是SAR图像应用研究的热点。从InSAR技术监测地表形变时面临的问题出发,分析了近年来多基线DInSAR方法的新进展,论述了相干目标算法\,分布目标算法及SAR层析成像技术等在监测地表运动时的原理及技术应用,详细讨论了DInSAR地表形变监测由二维参数研究发展至三维、四维空间,由城区发展至广阔非城区地表监测的发展趋势。     

在真空铸锭优化方面冶金工程流程学的应用探析

目前,产品结构专业化是钢厂未来发展的主要方向,而在钢厂发展的同时还要不断重视自身规模扩大带来的影响,要关注流程功能的综合集成等问题。冶金工程流程学作为一门新兴的冶金学学科,其主要的研究对象是制造流程的结构、功能本质等。因此,重点探析了在真空铸锭优化方面冶金工程流程学的应用。     

基于IOCP的考试服务器通信层的研究与实现

为了构建具有大响应规模、高数据吞吐量、合理资源消耗的考试服务端通信层,分析完成端口(IOCP)开发中的"信息识别、资源管理、消息乱序处理"等关键问题,提出内存池、对象池、环形缓存等改进方法,在此基础上设计和实现基于IOCP的高性能、可扩展网络考试系统通信模块。实际应用表明,该模块能满足高性能的要求。     

基于组播的LFMCW雷达显示系统设计与实现

基于组播传输机制设计并实现了雷达系统网络结构,定义了各种显控协议报文的数据结构以及与之相关的组播地址。针对数据报文中的极坐标数据,提出了一种基于三维优化查找表算法的坐标转换方法。对转换过程中的漏点和重点等问题进行了有效解决,并分析了组播在实现多屏显示和在综合船桥系统中的扩展优势。最终系统通过QT绘制界面,在以XC6SLX100T和DAVINCI DM3730为基础的硬件平台上完成了实际测试,验证了系统的可行性。     

网孔处理机阵列上最小生成树算法

已知一加权无向图G(V,E),|V|=n.本文基于网孔处理机阵列,运用分而治之策略和数据归约技术给出了一种新的最小生成树算法.此算法需O(n~2/p)时间,使用了O(p)个处理机(1≤p≤n).当p=n时,此算法仅需O(n)时间和O(n)处理机.而目前基于同一计算模型上此问题的最好算法需O(n)时间和O(n~2)个处理机,因而这里给出的算法在使用处理机数目方面改进了O(n)因子.     

模糊舒适度传感器

介绍一种多维模糊传感器一模糊舒适度传感器。重点介绍多维符号化测量结果的合成方法；基于规则和基于模糊综合评判合成法。     

多层次特征融合的人群密度估计

目的 人群数量和密度估计在视频监控、智能交通和公共安全等领域有着极其重要的应用价值。现有技术对人群数量大,复杂环境下人群密度的估计仍存在较大的改进空间。因此,针对密度大、分布不均匀、遮挡严重的人群密度视觉检测,提出一种基于多层次特征融合网络的人群密度估计方法,用来解决人群密度估计难的问题。方法 首先,利用多层次特征融合网络进行人群特征的提取、融合、生成人群密度图;然后,对人群密度图进行积分计算求出对应人群的数量;最后,通过还原密度图上人群空间位置信息并结合估算出的人群数量,对人群拥挤程度做出量化判断。结果 在Mall数据集上本文方法平均绝对误差（MAE）降至2.35,在ShanghaiTech数据集上MAE分别降至20.73和104.86,与现有的方法进行对比估计精度得到较大提升,尤其是在环境复杂、人数较多的场景下提升效果明显。结论 本文提出的多层次特征融合的人群密度估计方法能有效地对不同尺度的特征进行提取,具有受场景约束小,人群数量估计精度高,人群拥挤程度评估简单可靠等优点,实验的对比结果验证了本文方法的有效性。     

基于振动式发电机的微型驻极体研究

针对静电式微型振动式发电机的核心材料--微型化二氧化硅/氮化硅驻极体搭建出了合理的充电实验平台,对充电时的温度、湿度、充电电压、针尖电极的形状、充电时间等参数对驻极体充电后的性能的影响进行实验分析,对加工出的满足要求的微型化驻极体进行性能测试,得到驻极体表面电位大小和稳定性与充电过程的参数的一些联系,总结出了关于提高微型化驻极体表面电位大小以及稳定性的充电条件和方法.