設計應用 死路径消除语义下的BPEL过程建模与分析[通信与网络][通信网络] 针对BPEL过程在死路径消除语义下建模与分析不够完善的问题，提出了一种新的BPEL过程建模与分析方法。该方法建立了将BPEL死路径消除语义转化为普通if-then-else的规则，进而可以利用着色Petri网（CPN）形式化地对BPEL过程进行建模，并通过CPNTools对BPEL过程的建模进行自动分析及验证。案例分析表明，该方法具有一定的实用性和可行性，能够帮助软件工程人员更好地测试、调试和维护BPEL程序。 發表于：2017/4/8 下午11:47:00 一种基于光谱角原理的多光谱遥感图像云检测算法[嵌入式技术][汽车电子] 为了满足遥感卫星实时云检测要求，提出了一种基于光谱角的云检测算法。首先在多光谱谱段构成的欧式空间中构造参考云矢量；然后计算图像中各像元矢量与参考云矢量的光谱角，对光谱角进行高斯滤波生成云掩膜；最后计算得到图像中云量百分比。利用该算法对156景人工标注过的LandSat7有云图像进行云检测，结果表明本文算法云检测整体精度能到达83.6%，平均执行速度为360 ms。本文算法原理简单，执行速度快，检测效果好，具有星上实时应用潜力。 發表于：2017/4/8 下午11:22:00 基于PSoC的同频反相正弦波发生器的研究[嵌入式技术][工业自动化] Cypress半导体公司生产的片上可编程系统芯片（PSoC）可视为8位微控制器，它包含可实现多重配置的模拟器件、数字器件和模数混合器件。研究了基于PSoC的差动式电感传感器的微控制器设计方案，实现微控制器与差动式电感传感器的连接、传感器输出信号的整流以及输出结果的AD转换等。与需要多个芯片以及外部硬件电路协调工作的传统设计方案相比，该设计方案简化了交流信号的生产与测量工作，在保持高系统性能的同时，缩减了板极空间，降低了系统功耗和成本。 發表于：2017/4/8 下午10:33:00 基于PLC的电机调速系统的技术研究[电源技术][通信网络] 直流电机调速系统具有调速性能优良、可靠性高的优点，被广泛应用于实际生产的各个领域。首先简要介绍了直流电机调速原理以及对调速的要求，然后设计了基于CPU224XPPLC的直流电机调速系统，并通过仿真软件编写了PLC梯形图，最后在S7200中进行了电机调速实验。实验结果表明所设计的直流电机PLC调速系统能比较好地实现给定的任务指标 發表于：2017/4/8 下午6:19:00 一种面向局域网的网络行为审计方法的研究[通信与网络][通信网络] 随着互联网的迅猛发展，单位内部用户的监管和网上行为责任追溯审计方法成为必需。文中根据局域网的特点，针对局域网网络行为审计问题，对相关技术进行了一定的研究和分析，提出了一种有效的基于TCP重组和快速多字符匹配的局域网行为审计方法，应用该方法可以更为高效地实现局域网中网络行为的审计，实际测试表明该方法具有更高的效率和可操作性。 發表于：2017/4/7 下午2:24:00 物理层网络编码系统中ARQ的设计[模拟设计][汽车电子] 在物理层网络编码系统中，链路层差错控制采用基于终端节点的自动重传请求（TO-ARQ）方案。文中针对TO-ARQ系统存在传输速率慢、延时较大的缺点，在TO-ARQ的基础上，提出了一种基于终端和中继的自动重传请求（TR-ARQ）方案。该方案在中继接收的物理层网络编码数据包受损时，中继将立即发送反馈信息请求终端节点重传相应的数据分组，从而降低数据传输的反馈延时。实验结果表明，相比TO-ARQ，TR-ARQ方案改善了系统的延时，并显著提高了系统的传输速率。 發表于：2017/4/7 下午2:07:00 WSN中基于改进的RSSI定位算法研究[通信与网络][通信网络] 降低节点定位误差是无线传感网一直不断改进的方向。在RSSI定位算法的基础上,引入加权概念降低定位误差。首先针对定位算法中RSSI均值不准确的问题,采用常态分布处理,通过似然函数来获得RSSI的阈值,从而避免均值过大的情况；其次通过权值因子来分配锚节点与未知节点之间估算距离的权重。在MATLAB仿真实验平台中,与其他算法在通信半径和锚节点密度等条件下的相比发现，文中算法具有比较好的效果。 發表于：2017/4/7 下午1:50:00 能源并网系统中IGBT模块的温度场分布分析[电源技术][智能电网] 温度影响着绝缘栅双极型晶体管(IGBT)模块的可靠性，采用传统的功电热耦合仿真模型只能测得IGBT模块离线情况下的一个结温，不能获得实际工况下芯片表面的温度场分布。在传统功率循环试验仿真的基础上进行改进，考虑到IGBT关断过程中的电压缓变，将该电压作为载荷，利用数值仿真软件ANSYS热分析环境，采用有限元分析方法得到模块温度场分布图，分析了温度场分布特征，可知温度较高区域出现在有源区的四周边沿处，这同以前的实验结果一致，证明仿真模型的正确性。以上分析对研究IGBT模块的可靠性和模块在线监测具有一定的指导意义。 發表于：2017/4/7 下午1:39:00 面向片上网络路由器FIFO故障的实时容错设计[通信与网络][通信网络] 为满足对片上网络路由器FIFO故障的实时容忍需求，设计了一种可实时检测路由器FIFO故障并对故障容忍的方法。首先建立了路由器FIFO的功能模型及故障模型，在此基础上利用测试地址在线生成法，提出了一种针对于片上网络路由器FIFO的故障实时检测算法，并提出利用FIFO重定向机制容忍FIFO故障。实验结果表明，对测试电路参数进行合理地设置，可将测试电路对路由器性能影响降到很小范围，且在故障条件下，吞吐率和延时得到较好的改善。 發表于：2017/4/7 下午1:30:00 基于曲线拟合的智能称重传感器自校正[通信与网络][通信网络] 针对智能传感器自校正的问题，构建了基于IEEE1451智能传感器校正引擎的校正模型，优化了校正公式，阐述了曲线拟合法的基本原理。然后以应变式称重传感器为实例，描述了其工作机理，并分析误差产生的原因，以曲线拟合法为理论依据，进行非线性校正。通过实验数据求出校正引擎多项式各项系数，将电压量代入校正公式，进行砝码标定值与校正输出值之间的比较。实验结果表明，利用校正引擎对称重传感器进行校正，实现了称重传感器输入与输出之间的线性化关系，改善了零点漂移的情况。 發表于：2017/4/7 下午1:30:00 <…332333334335336337338339340341…>
