循环结构的形式化推导

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

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

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

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

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

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

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

基于磁阻尼的超低频绝对振动传感器机理研究

基于磁阻尼的超低频绝对振动传感器机理研究[模拟设计][其他]

通过分析普通磁电式速度传感器在测量超低频绝对振动信号时存在固有缺陷带来的问题，介绍了基于磁阻尼的超低频绝对振动传感器机理，系统用磁阻尼代替机械阻尼工作，克服了普通磁电式速度传感器体积大、质量大、不便运输等问题，下限频率达到了0.25 Hz。

发表于：2014/5/15 上午9:05:56

基于人工神经网络的多维离群点检测算法

基于人工神经网络的多维离群点检测算法[通信与网络][其他]

为了更加智能地检测离群点，克服传统离群点检测算法的机械性，提升多维数据集合离群点挖掘效率，在传统的离群数据挖掘算法的基础上，提出了一种基于人工神经网络的多维离群点检测算法。仿真实验结果表明，该算法具有对用户依赖性小、检测精度高的优点，为检测离群点提供了一种新的路径。

发表于：2014/5/14 下午2:59:03

多进制低密度奇偶校验码的扩展最小和译码算法研究

多进制低密度奇偶校验码的扩展最小和译码算法研究[通信与网络][其他]

综述了多进制LDPC码的几种常用译码算法，重点讲解分析了其中的扩展最小和算法，并采用对比的方法证明其优越性。

发表于：2014/5/14 下午2:35:47

一种粗糙集遗传算法在入侵检测中的应用

一种粗糙集遗传算法在入侵检测中的应用[通信与网络][其他]

分析了目前入侵检测系统运行机制和不足，提出了一种基于粗糙集的遗传算法，通过粗糙集属性精简遗传算法种群，并在变异操作中将优异个体朝重要属性加速变异，降低算法时空复杂度。通过实验验证，该算法收敛速度快，检测率高，能很好地应用于目前入侵检测系统之中。

发表于：2014/5/14 下午2:16:25

基于DM648的实时越界检测系统

基于DM648的实时越界检测系统[嵌入式技术][其他]

针对嵌入式越界检测系统的实时性问题，提出了基于感兴趣区域（ROI）的码书背景建模算法，并通过对ROI进行下采样和二值化处理，进一步提高算法的实时性和准确性。对D1格式的视频在TI DM648平台上进行测试，本文算法速度可以达到26 f/s，准确率可以达到92.65%，满足工程应用的需要。

发表于：2014/5/14 上午9:03:22

安森美半导体看好中国汽车市场

安森美半导体看好中国汽车市场[通信与网络][其他]

中国已成为全球最大的汽车生产国和消费市场，2013年中国整体汽车销量增长14%至2,200万辆，其中乘用车销售约1,800万辆(份额80%)，商用车约400万辆(份额20%)；2014年整体销量可达2,300万辆，乘用车销量较2012年增长16%。汽车大趋势正在推动半导体成分的升高：IHS公司预测，由于汽车安全与导航等系统的不断采用，中国汽车半导体市场将在2014年增长11%，达到46亿美元。而在未来三年会延续增长势头，到2017年，中国汽车芯片市场将达到62亿美元。

发表于：2014/5/13 下午4:36:55

一种矢量相关性的抗噪声边缘检测方法

一种矢量相关性的抗噪声边缘检测方法[测试测量][其他]

对图像中常见的高斯噪声特性进行了分析，对含有较强高斯噪声的数字图像的边缘检测方法进行了研究。分析了边缘的方向性相关特征和连续性相关特征，设计了图像特征矢量图，检测图像特征矢量相关的相似度，提取出抗噪声的图像边缘检测方法。仿真验证表明，对于含有较强高斯噪声的图像，本方法能够有效抑制噪声，而且能够提取出准确清晰的边缘。本算法在噪声图像中能很好地克服普通算子的噪声问题，而且算法简单，计算量较少。

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

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

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

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

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