可重构装配线多Agent系统实现机理研究

柔性和重构能力是现代制造系统的核心性能需求。以某汽车变速器装配生产线为研究背景,应用多Agent制造机理实现装配线的柔性和重构问题。在基于产品族功能分解原理与重构线柔性结构设计基础上,构建了基于多Agent制造案机理的系统体系结构及结合系统柔性与重构特征的Agent协商与合作机制。研究了面向多Agent系统通讯过程实现的本体建模方法并构建了重构装配线本体模型,实现了基于本体的系统通讯过程。最后在Zeus环境中实现了多Agent系统平台。     

本体论在Agent间通信中的应用

在基于agent的仿真系统中，agent之间的协作和通信问题一直是研究的热点和重点。而agent的通信问题又是agent协作前提。目前存在的agent通信语言只规范了通信行为，而没有规范通信内容。本体论作为一种知识表示方法，利用它对agent通信内容进行规范化表示是一种可行的方式。首先对本体的概念做了简要介绍，并结合一个例子给出了领域本体的开发方法、步骤，然后对本体理论在agent问通信方面的应用进行了详细探讨。     

基于多层规划的单边多目标装配线平衡调度模型

平衡汽车装配线能够提高企业生产效率、稳定产品质量、降低生产延迟; 缩短装配线总作业时间可以提高汽车装配数量.根据单车型单边装配工艺要求, 以最大工位持续时间最小和总作业时间最短为目标, 建立了基于多层规划的多目标混合整数规划平衡调度模型, 得到了平衡率最高且总作业时间最少的调度方案.通过分析模型的寻优思想, 得到了一个快速、有效的装配线平衡调度模型.算例证明了该模型求解速度的高效性和所得调度方案的有效性.     

本体在建模与仿真中的应用

在知识工程中,本体论方法主要用于知识的重用和共享,为解决建模与仿真领域中的领域信息描述、系统重用与互操作、仿真可组合等问题提供了思路.首先分析了信息科学领域中的本体定义,然后研究了基于本体的模型开发,包括本体在一般模型开发过程中的作用,离散事件建模本体和本体驱动仿真方法,接着探讨了本体在可组合性仿真中的作用,最后作为总结,指出了本体在建模与仿真领域的方展方向.     

多阶段混流装配的看板控制系统设计及应用

为实现混流生产过程的高效组织,讨论多阶段混流装配环境下看板控制系统指标设计和运作绩效优化问题.基于换模时间、缓冲区库存、看板容量、生产装配节拍比四个决策变量,建立看板系统模型, 分析该系统的环境依赖性, 以装配线不中断为约束,求解不同状态下系统最优运行绩效. 最后,给出Y公司看板控制系统优化实例.结果显示装配线各工件在制品数量大幅减少.     

控制网络节点可重构协议栈的仿真研究

针对控制网络中协议异构性以及通信环境不确定性的问题,提出可重构协议栈体系结构。基于MATLAB环境下的Stateflow和Simevents工具箱,设计了一套通用的协议元件库,支持协议栈静态重构和动态重构性能的仿真研究。进一步,研究了与Simulink工具箱的接口,实现协议栈与控制对象模型的联合仿真。该方法为研究协议栈对网络控制系统的影响提供了一个良好的平台,发展和完善了协议栈可重构理论。     

虚拟环境下的复杂变速箱交互式装配仿真平台

为解决虚拟装配存在人机交互度、行为仿真与用户设计效果不佳等问题。以大型拖拉机变速箱为对象,研究了多碰撞体的齿轮动力学运动与行为仿真方法,提出了基于轴和面约束的多零件模型在虚拟环境中的定位方法,开发了人机交互式的虚拟环境,每帧消耗的时间约为10 ms,实现了复杂变速运动行为及其仿真。同时虚拟装配模块里配置了AR接口,可通过手式进行主动式智能虚拟装配。试验表明,系统能按照用户需求进行主动式的虚拟装配、干涉检测、学习装配知识、方案设计、提示装配错误等,为复杂变速箱的虚拟制造与装配提供了仿真平台,平台具有可扩展性。     

面向可重构制造单元的仿真建模技术研究

针对传统仿真建模方法无法适应可重构制造单元频繁调整的特点,提出了模块化控制模型与数据驱动相结合的仿真建模方法。首先采用层次化建模技术将生产系统复杂的管理和控制过程分解为车间层、单元层和设备层,各层次内部采用面向对象仿真建模技术将基本建模元素与仿真控制逻辑分离,构建过程控制模型;然后在对仿真建模各阶段需要的数据进行分析和分类的基础上,采用系统集成和人机交互的方式及时获取仿真数据,利用变化了的数据驱动各层次控制模型,快速构建生产系统重构后的仿真模型。最后,以某研究所的机加车间为例,验证了该方法的实用性和通用性。     

作战计划的本体建模研究

作战计划为指挥员提供先进的决策辅助,需要明确有关作战过程相应的信息需求,并依赖于作战过程的形式化领域模型(本体)的开发。研究了相关文献中的作战行动规划过程模型,综述了若干通用计划本体的开发,如计划概念要素、知识表示技术等,为进一步研究作战行动过程提供了足够的、不同模型的信息。     

面向装备试验鉴定领域数据治理的知识图谱本体构建

针对装备试验鉴定领域数据复杂性带来的数据治理难题,提出通过构建知识图谱辅助相关试验鉴定机构开展数据治理的技术思路。分析试验鉴定任务与领域数据特点,在斯坦福本体构建流程的基础上,设计了一种具有试验鉴定领域普适性的本体构建方法。基于该方法构建的知识图谱本体模型,具有明确的业务针对性与体系拓展性。最后,通过典型示例验证了该方法构建知识图谱,对试验鉴定领域数据治理工作具有一定的支持能力。     

基于知识的紧固件松动健康管理系统

本文提出基于知识的健康管理系统结构, 实现对对象的健康管理.通过对象领域知识的本体建模, 实现领域知识的共享、重用.建立健康管理领域知识相关推理规则, 通过推理机实现对健康管理领域任务的推理. 依据推理结果, 组成具备相关功能的主体, 通过多主体协作, 实现健康管理任务.本文提出通过主体投票实现数 据融合, 提高诊断准确性与可靠性.以螺钉松动诊断监测过程说明系统工作过程与效能.     

简单本体的形式化模型及包含性检验

本体是指对领域概念化的一个显式的规格说明,应用在智能体间的通信、异构信息的集成、语义Web等领域。利用描述逻辑建立了一个简单本体的形式化模型——一个四元组,包括术语集、实例集、术语定义集和实例声明集,然后分析了本体术语检验问题。术语检验包括术语的可满足性、等价性、包含性及非交性检验,这4种检验可以归结为包含性检验。最后给出术语包含性的检验方法,并证明了这种方法的合理性与完备性。     

基于本体的飞机舵面结构故障诊断方法

从系统工程的角度分析了飞机系统的复杂性,将飞机族的概念引入到飞机的本体建模中,并以舵面故障诊断过程为研究对象, 首先用Protégé建立了飞机本体的领域知识模型,然后将单故障和组合故障的诊断知识列为本体中的SWRL规则,最后利用 JESS推理出 新知识得出诊断结果,实现了用本体来选择修复方案的过程.该方法能够实现复杂系统的建模及故障诊断 方案的准确选择,并可通过增加新的诊断知识来完善故障诊断知识库.     

基于描述逻辑的本体模型研究

本体原本是一个哲学概念，是指关于存在及其规律的学说，后来被人工智能所引入，特指对概念化的一个显式的规格说明，并应用在智能体间的通信、异构信息源的集成、语义Web等领域。形式化的本体模型及其检验问题一直是人工智能中的研究热点。本文将描述逻辑应用到本体建模领域，建立基于逻辑的本体模型，分析本体术语检验与实例检验问题。     

KC－20空调器装配线的工作研究

本文应用工业工程（ＩＥ）的原理、系统论的思想、工作研究的方法对ＫＣ－２０空调器装配线进行了分析、设计和改进。在不增加人力和设备及少量资金投入下，提高了现有装配线的生产效率，使企业获得了显著的经济效益。     

Design of ontology mapping framework and improvement of similarity computation

Ontology heterogeneity is the primary obstacle for interoperation of ontologies.Ontology mapping is the best way to solve this problem.The key of ontology mapping is the similarity computation.At present,the method of similarity computation is imperfect.And the computation quantity is high.To solve these problems,an ontology-mapping framework with a kind of hybrid architecture is put forward.with an improvement in the method of similarity computation.Different areas have different local ontologies.Two ontologies are taken as examples,to explain the specific mapping framework and improved method of similarity computation.These two ontologies are about classes and teachers in a university.The experimental results show that using this framework and improved method can increase the accuracy of computation to a certain extent.Otherwise,the quantity of computation can be decreased.     

基于形式化方法的DIMA动态重构仿真与验证

针对可重构分布式综合模块化航空电子(distributed integrated modular avionics,DIMA)系统在设计初期缺少仿真与验证手段的问题,首先分析了可重构DIMA软件体系的架构特征以及支持动态重构的层次化通用系统管理(generic system management,GSM)的组件功能划分...