循环结构的形式化推导

循环结构的形式化推导[其他][工业自动化]

介绍了Dijkstra的形式化推导方法的主要思想、步骤及要点。该方法主张程序开发和程序证明同时进行，先确定好描述程序功能的断言，再通过形式化方法推导出正确的程序。选择具有代表性的循环结构的实例进行推导证明，并对循环结构的形式化推导进行阐述说明。

发表于：2014/5/15 下午4:19:08

混沌粒子群优化算法在柴油排产中的应用

混沌粒子群优化算法在柴油排产中的应用[其他][工业自动化]

针对柴油生产过程中的加氢精制与调合优化问题，建立加工和库存成本优化模型，采用改进粒子群算法进行计算。通过对某炼油厂一个月的柴油生产数据进行测试，结果表明该算法有较好的应用效果，对柴油排产有一定的指导作用。

发表于：2014/5/15 下午4:06:37

基于胃镜图像的病灶区域检测方法研究

基于胃镜图像的病灶区域检测方法研究[其他][医疗电子]

提出了一种基于胃镜图像的计算机辅助病灶检测方法。首先，引入超像素理论，将胃镜图像分割成大小均匀且包含相似像素的若干区域；然后，分别提取颜色特征和纹理特征，并将其融合作为特征描述符；最后，采用二级串联分类器进行胃镜图像内干扰区域的去除以及病灶区域的识别。实验结果表明，本方法病灶检测正确率（AUC）可达到91.588%。

发表于：2014/5/13 下午2:48:59

基于改进共生矩阵BGLCM的半色调图像分类

基于改进共生矩阵BGLCM的半色调图像分类[其他][消费电子]

半色调图像的先验性对于图像的逆半调过程有重要的意义，分析了现有的半色调图像识别方法之后，在传统的灰度共生矩阵GLCM进行改进提出BGLCM。BGLCM适用于二值图像的特征提取，省略了传统共生矩阵特征值计算的过程，将提取的特征通过BP神经网络进行分类。实验证明该方法提取的特征具有较好的时间复杂度及分类效果。

发表于：2014/5/8 下午2:19:37

混合动力电驱动系统的模糊控制策略研究

混合动力电驱动系统的模糊控制策略研究[电源技术][汽车电子]

为了提高混合动力电驱动系统的动态性能，首先建立了电力驱动系统数学模型，进而基于多变量模糊控制算法设计了混合动力系统控制策略，并对模糊规则进行了优化。通过Matlab软件进行的系统仿真表明，所设计的控制算法可以使整个系统实现良好的工作状态,系统效率相比模糊优化之前提升约5.6%。

发表于：2014/5/8 下午2:00:00

高效精准的移动应用广告投放系统研究

高效精准的移动应用广告投放系统研究[嵌入式技术][消费电子]

针对移动应用广告投放技术,着重研究基于内容定向和位置信息的移动应用广告平台，由此构建高效精准的移动应用平台广告投放系统。

发表于：2014/5/8 下午1:50:00

基于Android系统的避难场所查询软件开发

基于Android系统的避难场所查询软件开发[嵌入式技术][安防电子]

介绍了一种基于Android操作系统的应急避难场所查询软件。应急避难场所的位置信息存储在百度云端，软件通过云检索获得相应的信息。软件将检索到的信息以列表和地图的形式展现出来，并提供条件筛选、周边检索和定位等功能。通过Android SDK模拟器仿真和手机终端测试，验证了该软件的各项功能全部达到预期目标。

发表于：2014/5/7 下午4:55:00

高压电力线积雪厚度的实时监测系统

高压电力线积雪厚度的实时监测系统[嵌入式技术][智能电网]

使用MSP430F149单片机作为主控芯片，设计了一种以太阳能供电的高压线积雪厚度实时监测装置与系统。该测量装置与测量系统能够实时监测高压电力线上积雪的厚度,当所测厚度值变化时系统通过无线通信电路将最新测量值发送到监控中心,若当前所测数值超过设置阈值时系统自动发出报警信息。该系统功能全面，使用方便，适用于山区丘陵地区，有较强的实用价值。

发表于：2014/5/7 下午3:55:00

高压线塔塔基稳定性监测系统的设计

高压线塔塔基稳定性监测系统的设计[嵌入式技术][通信网络]

针对我国高压线塔塔基边坡稳定性的远程监测所存在的问题，结合RS-485总线、GPRS无线通信技术、超低功耗MSP430单片机和Web网络技术，设计了一种稳定高效的实时在线监测系统。介绍了监测系统的结构功能、硬件设计、与上位机的通信方式，并着重阐述了为提高系统稳定性与通信可靠性所采取的多种机制。经过现场安装与长期运行，该系统工作稳定，在实际应用中取得了良好的效果。

发表于：2014/5/7 下午3:42:00

实验室智能监控系统设计

实验室智能监控系统设计[嵌入式技术][物联网]

设计了一种基于PLC+STM32的智能实验室SCADA系统。RTU硬件采用分散式的结构，将原来由一个MCU完成的复杂任务分散给多个MCU共同完成，系统可靠性和数据处理速率得到大幅度提高。RTU软件遵循可配置性原则，每个GPIO可以针对不同的用途重新配置成，提高了软件的开发效率。调试结果表明，该系统运行稳定，保证实验室各环境参数满足设定要求。

发表于：2014/5/7 上午9:44:00