遵化市水资源状况及其开发利用分析

通过分析遵化市水资源及开发利用现状,评价了水资源现状存在问题,结合社会经济发展方向,提出了合理建议。     

GJK算法的一种特殊情形的形式化验证和应用

计算几何算法经常用于机器人避碰运动规划等安全攸关领域,对这些算法进行正确性证明非常重要.用形式化方法对算法进行验证是一种十分有效的手段,尤其是定理证明的方法用严格的数学公理和定理推理证明逻辑模型的性质,对所验证的性质而言是完备的.基于GJK算法设计了计算空间两条线段间距离的算法,用定理证明器HOL4对其相关的定义和定理进行形式化定义和证明,进而基于霍尔逻辑完成形式化表示和证明,对该算法的正确性实现了形式化验证.最后,给出了这一经过验证的算法在双臂机器人无碰撞运动规划中的应用.     

基于乘客多运动行为的公交客流计数判定方法

针对基于单目视觉的公交乘客人数统计判定方法不稳定、计数结果不准确的现状,结合公交车门附近乘客运动行为的复杂性和多样性,以及乘客运动行为对计数判定方法的干扰,给出一种基于乘客多运动行为分析的计数判定方法。采用轨迹聚类的方式对乘客运动行为进行分析,结合轨迹的空间特征和方向特征计算轨迹距离,并使用层次聚类方法进行聚类。分析聚类结果中每一类别所对应乘客类的运动行为,讨论各乘客类的运动行为对常用计数判定准则的影响,由此提出一种改进的公交车客流计数判定方法。利用采集的乘客上下公交车视频图像进行实验,结果表明,该方法能获得较高的统计精度和较好的稳定性。     

基于Petri网的维修保障过程可视化建模与仿真

为解决民用飞机维修保障过程中资源影响复杂性及时间消耗不确定性的难题,提出基于模糊时间着色Petri网的民用飞机维修保障过程可视化建模方法与仿真。分析维修保障各个过程的资源充足度及时间消耗不确定性对整个维修保障活动的影响,动态地显示资源状态及模糊时间。以民用飞机起落架液压系统故障为例进行可视化建模与仿真,动态的仿真过程及最终结果验证了模型的可行性及算法的正确性,其能够为民用飞机维修保障过程的效率评估以及薄弱环节的确定提供支持。     

基于体系结构的软件可靠性评估综述

为深入了解基于体系结构的软件可靠性评估方法的发展情况,针对当前该方法的发展现状,对基于体系结构的软件可靠性评估的起源、发展、分类和典型模型进行阐述,重点介绍状态模型、路径模型、构建操作剖面模型及其它模型;根据各种模型的特点,分析现有模型中存在的问题,对软件可靠性模型今后的发展趋势进行展望。     

基于多准则排序融合的特征选择方法

针对模式分类中特征选择问题,为去除冗余特征,提高分类准确率,提出一种基于ReliefF算法、Fisher比率算法和马氏距离算法的多准则排序融合的特征选择方法。动态结合上述3种单准则特征选择法的优点,实现对多个评价准则的综合利用。以Ionosphere标准数据集和高速列车转向架故障数据集为研究对象进行实验仿真,仿真结果表明,相比于单准则特征选择法,该方法能更有效地降低特征维数,具有更高的分类性能。     

一种微电阻率成像测井仪数字相敏检波新算法

针对微电阻率成像测井仪井下稳定、高效及低功耗设计要求,提出了一种较新颖的数字相敏检波实现算法,主要包括数据的分相累加、公因式乘法、匹配加法以及反正切与平方根运算等.其中,分相累加算法在采集模块FPGA中完成,公因式乘法和匹配加法在处理模块FPGA中完成,反正切和平方根运算在处理模块DSP中完成.通过此种相敏检波算法实现方式,能有效降低系统功耗,并实现地层阻抗的准确测量.     

交通信号灯故障检测系统设计与实现

针对现有信号灯故障检测装置功能不足且结构复杂的问题,设计了一种基于单片机和GPRS网络的交通信号灯故障检测系统.该系统采用巡回检测和电容充放电的方法采集信号机输出端的电压和电流信息,对信息进行逻辑运算以分析信号灯和信号机的故障,并建立了电容充电时间数学模型,分析充电时间与信号机输出端负载功率的关系,避免使用A/D功率采集电路,简化了电路结构.本系统已作为样机应用于山东省龙口市,应用结果表明系统能有效检测信号机和信号灯的常见故障.     

一种改进的K均值文本聚类算法

提出了一种改进的K均值文本聚类算法.该算法的改进基于以下两点:1)基于簇密度与文本间距离选取初始簇中心,引入置信半径来得到簇密度,即选取距离最远且簇密度最大的点为初始簇中心;2)基于权重的海明距离来计算文本相似度,同时采用轮廓系数来衡量不同算法的聚类质量.实验结果表明:该算法相比原始的K均值文本聚类算法和文献[1]中算法具有更好的聚类质量.     

电纺PANI/PEO纳米纤维传感器制备与应用

采用静电纺丝法制备了聚苯胺/聚环氧乙烷（ PANI/PEO）纳米纤维,研究了电压、接收距离对电纺PANI/PEO纳米纤维直径的影响,对电纺参数进行了优化。通过对电纺接收端的控制,制备了平行纳米纤维阵列,实现了纳米纤维的定向排布;通过对电纺射流沉积次数的控制,制备了PANI/PEO纳米单纤维传感器,并对NH3进行了气敏性测试。结果表明：当电纺电压为20 kV且接收距离为20 cm时,获得的PA-NI/PEO纳米纤维直径为105 nm,且形貌较佳,在此优化参数条件下制备的单纤维PANI/PEO纳米传感器在常温下对低浓度的NH3有良好的线性响应输出。