基于本体的BML命令语义标注方法

作战管理语言（Battle Management Language,BML）是一种无歧义的语言规范,用于解决指控和仿真系统间的互操作问题。针对BML命令缺乏语义信息,难以被计算机理解和自动处理的问题,分析了BML的五视图体系结构,引入了BNF形式化语法,并在此基础上提出了一种语义标注方法,对命令中的对象、时间和地理位置等要素进行标注,然后整合各要素来表达整条命令的语义,系统通过解析标注文档可以实现对命令的无歧义理解,最后给出实例予以说明。论文为表达BML命令的语义提出了一种借鉴思路。     

BOSCH伺服控制系统在ZJ19B卷接机组中的应用

介绍BOSCH伺服控制系统成功应用于ZJ19B卷接机组传动系统中,使机器供丝、供纸、刀头、嘴机部分各个电机的运行更加稳定,控制精度显著提高;减少因控制精度不够而引起的非正常停机次数,提高机器的有效作业率,节约原料;同时使烟支的重量、圆周、紧头等各项指标合格率显著提高。     

半城子水库水生态健康评价

参照《水生态健康评价技术规范》中的评价方法及评价体系,对密云水库上游半城子水库水生态健康状况进行评价,评价结果显示:半城子水库水生态健康综合指数为83.79,处于评价水平中的健康等级.根据评价结果,从村庄生活污染控制、河道生态修复及库区水质改善等方面提出建议.通过对河湖生态系统的现状及存在的问题进行诊断,来评估北京市河湖水生态系统的健康状况,对加快推进水生态文明建设具有重要意义.     

基于数据挖掘的复杂装备维修辅助决策研究

文章通过某装备维修信息框架分析,维修数据预处理,然后以维修记录为例,挖掘出了维修件之间关联规则,并采用决策树分类方法对维修件进行了分类,这些规则和分类结果可以为维修计划制定、器材采购、视情维修等方面提供决策依据。     

基于IEC61131-3标准的PLC编辑模块设计与实现

基于IEC61131-3标准设计一个可编程逻辑控制器（PLC）编辑模块,并给出了主要数据结构和算法的设计。通过测试表明用户界面友好,操作简单,对后续开发具指导意义。     

基于扩展染色Petri网的工作流过程模型

尽管已有广泛领域应用,但工作流系统在处理业务流程不确定的和动态的参数规格表时存在局限性。为此,本文提出基于扩展染色petri网的CPWF-net以及定义变迁行为和原子过程作为CPWF-net工作流模式结构的支持。这些工作流模式是从微观上进行处理,并可应用于动态不稳定的与时间和数据相关的环境中。本文通过CPWF-net执行程序检测工作流错误或异常执行状态,评估动态业务流程的整体执行时间,证实所提方法的有效性。     

一类非线性系统的渐变故障诊断

研究非线性观测器故障诊断优化问题,针对一类状态不能测量的非线性不确定动态系统,提出了一种用RBF神经网络逼近渐变故障的诊断方法。设计非线性观测器来估计系统的状态,利用Lyapunov稳定性定理给出了RBF神经网络的权值、中心、宽度的更新调节律,通过在线调整RBF神经网络的权值、中心、宽度监测和估计系统中发生的非线性故障,实现了状态不能测量的非线性系统渐变故障诊断。最后,仿真例子证明了方法的有效性。     

基于CUDA编程模型的稀疏对角矩阵向量乘优化

稀疏矩阵向量乘是很多科学计算问题中的核心问题。本文针对稀疏对角矩阵,在DIA存储格式的基础上,设计了一种新型压缩存储格式CDIA,结合CUDA编程模型的特点,在计算线程上进行了细粒度的任务分配,同时为满足CUDA对存储器的合并访问要求,将压缩矩阵做了相应的转置处理,设计了细粒度算法与程序,并根据稀疏矩阵向量乘特点,做了相应的程序优化。实验数据显示,这种存储格式能够很好地发挥CUDA在数据处理方面的优势,在测试数据中,最高获得了单精度39.6Gflop/s和双精度19.6Gflop/s的浮点计算性能,性能在Nathan Bell和Michael Garland的基础上分别提高了7.6%和17.4%。     

基于组播源移动的组播树修改过程研究

特定源组播(SSM)是现在应用最广泛的组播模型。随着无线网络的快速发展,移动用户不断增加,移动环境为越来越多的用户提供有限的、共享的带宽,这样的现实更加重了网络对组播服务的需要。然而,特定源组播(SSM)对组播源移动的支持仍然是一个有待解决的问题。本文将针对组播树修改协议(TM)进行分析和改进,进一步完善组播树修改协议过程。     

工业副产盐中有害酚的高效液相色谱分析

采用HPLC建立了一种测定有害酚(苯酚[1]、2,6-二氯苯酚、2,4-二氯苯酚[2]、2,4,6-三氯苯酚[3])的定量分析方法,用WondasilC 18为填充物的不锈钢柱,以甲醇+乙腈+磷酸水溶液为流动相,选择225 nm为检测波长进行检测,结果表明本方法的有害酚的浓度和峰面积之间有良好的线性关系,满足定量分析要求.该方法具有快速、简便、准确、重现性好等特点.