面向云制造服务的语义X列表知识表达与推理体系

为实现基于知识的云制造系统智能按需服务,结合X列表模型和本体、语义推理等语义Web技术,提出语义X列表模型;运用该模型分析云制造系统的本体要素概念、属性及要素之间的联系,建立包括需求任务、云资源、云服务和智能代理本体列表的面向云制造的语义X列表体系本体结构模型,提取并构建基于语义网规则语言的跨列表本体交互规则;设计面向云制造的语义X列表系统体系结构,利用接口与云制造系统的集成通信,将本体知识库、事实库与规则库封装进智能代理列表中进行按需服务组合推理;对具体的云制造任务实例建立了语义X列表模型和规则推理机制,通过推理实验验证了该体系方法的有效性和可扩展性。     

基于细胞元本体的协同制造资源共享

为实现广域分散的、异构制造资源的共享和集成,提出了一种基于细胞元本体的协同制造资源共享方法。详细介绍了细胞元本体的构建过程。细胞元本体统一描述高层次的语义信息,实现了产品全生命期的语义信息的动态获取。根据该框架,实现了一个原型系统,该系统实现了异构制造资源的语义互操作,为企业提供了更丰富的制造资源。     

基于语义的协同制造执行平台集成框架研究

针对协同制造执行平台集成内容与集成对象的多样性和复杂性,分析了协同制造执行平台对动态快速集成、统一的集成模式、支持相关的集成标准、支持语义和松散耦合的集成方式等的需求,建立了一种基于语义的协同制造执行平台集成框架,以实现集成对象松散耦合的按需集成;在此基础上,建立了集成对象的语义描述模型,采用语义Web服务描述本体OWL-S对集成对象进行了语义建模,并对制造企业内部语义集成及跨企业制造过程语义集成的相关技术进行了研究.研究成果在某柴油机部套产品生产企业协同制造执行平台上得到了应用,取得了较好的应用效果.     

基于本体的公理化系统设计语义建模与推理规则

使得计算机理解系统设计的语义并完成自动推理是实现智能制造和基于模型的系统工程的两个重要特征,但现有系统建模语言对语义表达和自动推理的支持有限.第一,为了满足复杂产品系统建模的语义表达要求,在前期工作—基于模型的公理化系统设计(Axiomatic model-based systems engineering,A-MBSD)的基础上,构建对应的本体模型 A-MBSD Ontology;通过网络本体语言(Web ontology language 2,OWL2),明确定义系统设计的语义及其之间的关系.第二,为了满足系统建模的推理要求,使用语义网规则语言(Semantic web rule language,SWRL)对设计公理和规则进行定义,支持功能耦合性的判断和最优设计方案的选择.最后,以卫星太阳翼的系统设计为例,证明所构建的本体模型能够明确表达系统设计语义,相应的规则可以自动推理出设计参数所影响的功能需求、功能需求之间的耦合等,避免在试验阶段才发现耦合问题而导致的设计返工,提高系统设计的效率.     

云制造环境下机床装备资源特性分析与语义描述方法

针对云制造环境下机床装备资源具有异质异构、动态演化、高度自治等特性及网络化集成、服务化封装和供需智能匹配等需求,提出并构建了一种基于语义服务建模本体的机床装备资源描述框架,并对支持该框架实现的机床装备资源元数据本体表示方法、机床装备资源服务化封装等关键技术进行了研究。通过应用案例对以上研究成果进行了实验验证。     

基于语义的协同制造执行平台集成框架研究

针对协同制造执行平台集成内容与集成对象的多样性和复杂性,分析了协同制造执行平台对动态快速集成、统一的集成模式、支持相关的集成标准、支持语义和松散耦合的集成方式等的需求,建立了一种基于语义的协同制造执行平台集成框架,以实现集成对象松散耦合的按需集成;在此基础上,建立了集成对象的语义描述模型,采用语义Web服务描述本体OWL-S对集成对象进行了语义建模,并对制造企业内部语义集成及跨企业制造过程语义集成的相关技术进行了研究。研究成果在某柴油机部套产品生产企业协同制造执行平台上得到了应用,取得了较好的应用效果。
     

网络化制造资源的分布式语义描述模型研究

针对网络化制造环境下资源的分布式特性和异构性特性,提出了一种基于语义的分布式描述模型。构建了制造资源的分布式描述框架,定义了基于语义的网络化资源标识,使制造资源在网络系统中能够被唯一标识,并且可以通过链接来引用和访问。通过定义制造资源的语义元数据描述模型来构建制造资源本体,使制造资源具有物理上分布、逻辑上集中的分布式组织形式。以上述工作为基础,构建了某摩托车产品的制造资源描述本体,对模型的有效性进行了验证。     

基于动态适配的数控信息语义集成

针对多源数控信息存在语法结构和语义异构特点而难以有效集成的问题,根据数控加工过程中信息组织形式的特点,建立了数控信息资源领域本体,提出了一种基于动态适配模式的数控信息语义集成框架.该框架在建立数控信息知识库的基础上,实现从语法和语义两个层次对多源异构数控信息的集成.描述了动态适配模式下的信息集成过程和语义映射过程,提出了利用基于可扩展标记语言的约束规则的实现方法和语义查询实现模型,并对动态构建相互独立适配通道和动态配置规则约束进行了描述.通过原型实例分析,证明了该框架及其实现方法的可行性.     

基于本体的产品配置知识模型的研究

提出了基于本体的产品配置知识模型,分析了配置本体构建的定位,研究了配置本体的建立方法,并针对配置本体中涉及的概念设计了其语义规则表达,最后通过配置本体系统的实现验证了配置知识的语义描述和自动推理功能。     

基于OWL-DL的制造加工服务描述建模方法

为解决Internet上大量制造服务描述的异构性问题,实现网络环境下制造加工服务的快速发现与匹配,提出了二层一三元组模块化制造加工服务描述建模方法,构建了由核心本体和可扩展本体组成的制造加工服务描述语义网.为实现制造服务分类及其语义相似匹配推理,用描述逻辑建立制造加工知识之间的关系及其约束公理,运用Web本体语言OWL-DL实现制造加工服务规范描述.给出了面向用户的制造服务描述模型生成与应用框架,开发了支持"制造加工公共服务平台"构建的制造加工服务规范化描述建模和自动化发现与匹配的原型应用系统.     

转子轴花键的铣削

介绍了利用大径定心的花键轴花键的实用加工方法。     

基于ASP的VPDM系统研究

分析了虚拟企业对虚拟产品数据管理（VPDM）的需求，结合ASP模式的先进实施理念，提出了基于ASP模式的VPDM系统概念；分析了VPDM与传统PDM之间的区别；并基于B／W／D三段式结构，阐述了基于ASP模式的VPDM体系结构；最后讨论实现该系统的方法和一些关键技术。     

管路液力冲击的解析研究

分析阀门开闭引起管路液力冲击的机理,计算换向阀换向时管路实际压力冲击突变值及换向阀阀芯所受液动力并进行实验验证。     

基于MATLAB仿真的SVPWM技术研究

为了给交流异步电机伺服系统提供必要的设计数据,根据SVPWM的基本原理和实现算法,基于MATLAB/Simulink平台搭建了SVPWM仿真模型,将该模型应用到异步电机的矢量控制系统中进行了仿真。结果表明,SVPWM控制方式提高了整个系统运行的稳定性和可靠性。     

滚子表面缺陷分析

采用金相分析以及扫描电镜、能谱分析等试验方法对滚子表面缺陷进行了分析.结果表明:滚子表面的麻坑(黑点)缺陷是腐蚀坑,主要是由于热处理炉保护气氛不纯,滚子在高温状态下产生表面腐蚀而形成.     

基于插值法的计量泵流量控制算法研究

针对目前国产计量泵实际流量显示不直观、计量精度低等问题,分别用分段插值、拉格朗日插值、牛顿插值、三次样条插值4种算法,对不同压力下多种型号的计量泵实际流量和频率之间的关系进行了理论研究,并用线性回归分析法对所得计算结果进行了分析。分析结果表明,分段插值算法所得标准误差最小,残差图中的离散性最明显,置信区间最小,更真实的反映了实际流量和频率的关系,可大大提高计量泵的计量精度,适合用作计量泵控制器流量控制算法。     

单片机应用系统研究——轮式移动机器人控制系统设计与研究

机器人的移动方式有很多种,但大致就分为两种:车轮式和足步式两种.本文从轮式移动机器人(WMR)的体系结构出发,重点设计了机器人移动控制系统的硬件、软件平台.首先,通过对非完整轮式移动结构和直流伺服电机模型的分析,建立了移动机器人的控制系统模型.其次,设计了基于AVR微控制器(AT90S8515)的移动控制系统,其中主要包括PWM功率驱动、测速单元和串行通讯模块等;对机器人速度、位置控制采用模糊PID算法,较好地克服了移动机器人模型的不确定性、转速位置控制要求的多变和环境改变等因素的影响.程序使用ICCAVR C语言编写,在AVR SUDIO调试软件中用ICE200仿真.     

基于B/S结构在线监控研究应用

简述了DCOM、ActiveX等组件模型,结合ASP技术在Internet/Intranet环境下实现了基于Browser/Server结构锅炉在线监控.该系统在DCOM技术基础上通过ADO编程实现数据传输和访问,结合ASP和ActiveX控件技术实现动态发布和在线监测.     

电火花成形机床微细加工相关探索

首先简要介绍了电火花微细加工目前的发展状况。并概括地分析了商品电火花成形机用于微细加工所具有的一些特殊优势。最后通过微轴的加工实例来证实其进行实用微细加工的可行性。     

基于时间序列电流偏差因子的电源-电弧系统稳定性研究

运用偏微分近似理论,在考虑焊接外电路动态全负载情况下,对电源-电弧系统稳定性进行了模型刻画,得出系统稳定系数的数学解析式,依此定性并量化分析了系统稳定性的基本条件和最优条件。在此基础上,采用电流偏差相对转换方法,获得了动态电流偏差因子的时间序列解析表达式,进而通过偏差衰减时间方式来量化分析系统的稳定性。实验的电压与电流波形分析结果与动态电流偏差因子量化结果一致。