設計應用 基于事件集的反应系统模型的验证[其他][工业自动化] 在总结前人工作的基础上，提出了一种有效检测并发或反应系统的动态行为模型中违反安全属性的方法,目的是减少为检测违反安全属性所需检测的状态数量，验证过程包括构造一个由所有独立状态图组成的全局状态空间图,并遍历这个全局状态空间图中的状态以便检测安全协议。首先读待验证的安全属性和可能会违反这些属性的相关事件集，构造全局状态空间图只考虑相关事件产生的状态转换。使用该方法验证了“火车道口”系统，减少了59%的搜索空间。 發表于：2012/7/11 下午2:49:54 废水资源化处理过程在线监测方法[其他][工业自动化] 针对废水资源化处理过程，基于偏最小二乘法提出了基于准三维荧光谱的在线解析方法，实现了废水资源化处理过程中荧光谱的在线解析。研究结果表明，该方法能够在少量数据的情况下对色氨酸、核黄素、辅酶进行有效区分，预测浓度的准确率达到85%以上。基于算法研究的基础上提出了一种废水资源化处理过程在线监测方案，设计并实现了在线监测系统。根据采集数据进行分析，实验表明，该方法具有体积小、精度高、采集速度快、数据可在线分析等优点，实用性强，易于推广和应用。 發表于：2012/7/11 下午2:22:14 基于PDE和小波分析的破损路面检测技术[其他][工业自动化] 提出了一种基于PDE和小波分析的破损路面检测技术。通过CCD采集路面信息，并运用PDE进行去噪处理，从而很好地保留原始图像的边缘和纹理；利用小波分析进行边缘检测，再采用Canny算法对图像边缘进行提取，以确定破损路面的位置。实验结果表明，检测结果与实际结果相吻合。 發表于：2012/7/11 下午2:06:27 基于力控软件平台的温室大棚智能监控管理系统[其他][工业自动化] 精确农业(PrecisionAgriculture)是当今世界农业发展的新潮流，它最大的特点就是“精确”，利用卫星全球定位系统、遥测遥感技术、计算机自动控制技术和物联网等高新技术于农业生产，用以提高产量，降低能耗。 發表于：2012/7/9 下午4:57:33 最大匹配算法研究[其他][消费电子] 最大匹配算法是中文分词中最常用的方法，但其有着过分依赖于词典的弊端。对最大匹配算法进行了深入探讨与研究，使用n-gram技术更新词典解决其弊端，从而提高分词效果。最后通过双向匹配算法与n-gram相结合的实验验证了该方案的可行性，并对该方案进行了总结。 發表于：2012/7/9 下午1:36:43 基于Teamcenter的机车车辆PLM系统的应用[其他][汽车电子] 产品全生命周期管理(PLM)作为一种综合技术，是企业信息化的重要组成部分，Teamcenter是架构成熟、功能全面的一体化PLM解决方案。Teamcenter是基于一个单一的、开放的、SOA体系构架，易于扩展，Teamcenter支持并行设计。基于Teamcenter的全生命周期管理软件应用到机车车辆企业，有效缩短了研发周期，提高了产品质量。 發表于：2012/7/9 上午10:26:04 汽车燃油喷射实时监控与仿真教学系统的实现[其他][汽车电子] 运用MCGS组态软件和数据采集卡对汽车燃油喷射系统的运行状态进行实时监控，实时故障检测、故障诊断，故障模拟仿真，为研究和分析ECU提供大量有价值的数据，具有调控容易、重复性好、测试范围可以无限扩展等优点，为汽车燃油喷射系统的教学研究提供了很好的手段，在汽车教学中使用，收到较好教学效果。 發表于：2012/7/7 上午8:46:31 基于AD1674的酶标仪[其他][医疗电子] AD1674是美国AD公司推出的一种完整的12位并行模/数转换单片集成电路。该芯片内部自带采样保持器(SHA)、10伏基准电压源、时钟源以及可和微处理器总线直接接口的暂存/三态输出缓冲器。 發表于：2012/7/6 下午4:56:06 紫金桥软件在互感器自动检定流水线中的应用[其他][工业自动化] “低压电流互感器自动化检定监控系统”是“低压电流互感器自动化检定管理系统”中的一个子系统。“低压电流互感器自动化检定管理系统”是一套集监控、管理与一体的综合管理软件平台。 發表于：2012/7/6 下午4:20:03 复方药物剂量配比多目标优化的方法学研究[其他][医疗电子] 针对复方作用特点，为提高临床疗效，提出采用支持向量机SVM建模、非支配排序遗传算法NSGA-II多目标优化、熵权TOPSIS法多属性决策优选复方剂量配比的方法，最后以苓桂术甘汤为例验证方法的有效性。 發表于：2012/7/6 下午3:59:46 <…695696697698699700701702703704…>
