CAPP中机床选择知识表示及冲突消解

运用产生式规则知识表示法对机床选择问题进行描述，在ＣＡＰＰ系统设计过程中对机床选择中可能发生的各类冲突提出相应消除策略。     

含元知识的专家系统的研究与设计

该文在分析机械设计领域知识的特点的基础之上,提出了机械设计领域知识的表示模式以及含有元知识的二级推理模型和冲突消解策略。     

一种模型重构冲突消解算法

冲突是研究模型重构中的一个重要问题,多数研究将该问题的重点放在冲突检测上,通过对已知冲突的分析,找出冲突消解的手工实现方式.为实现模型重构的自动过程而寻找自动消解冲突的方法是主要研究内容.根据冲突发生的条件将冲突分为3种类型:同一规则的并行使用产生的冲突、对称冲突、非对称冲突.该方法建立在手工分析这3类重构冲突消解的基础上,将重构规则预设为一个规则矩阵,对图转换系统中出现的重构规则进行扫描.扫描结果对照规则矩阵,判断冲突是同一规则还是不同规则的并行使用所产生;分别对这两种情况下的冲突所操作的对象进行分析,根据已有手工消解方法有针对性地进行消解操作.这一算法可以初步实现并行执行的3类冲突的自动消解.     

临近空间飞行器对地观测调度方法研究

临近空间飞行器对地观测调度是军事应用中的重要问题,对于最大化地满足对地观测任务需求、提高飞行器资源利用率具有重要作用。针对临近空间飞行器观测系统的调度问题,考虑任务需求约束、载荷约束等条件下,为实现快速高效侦察任务,构建了临近空间飞行器对地观测的数学模型。然后分析了观测任务之间存在的可能冲突,利用任务可能冲突概念,这一概念将整个任务集分割为可能冲突任务集。随后给出了任务执行冲突度的计算方法,通过对给定任务序列冲突度的计算,提出了一种基于冲突消解的遗传模拟退火算法。通过仿真实例验证了算法的有效性。     

动态联盟成员间工作流协同中的语义冲突消解

动态联盟由于其成员的自主性和异构性必然导致流程的异构性和冲突的产生。如何检测和消解跨组织工作流中的语义冲突也就成为了近年来相关研究的主要课题。在分析了前人相关研究的基础上,分析了动态联盟成员间工作流协同条件下语义冲突的主要类型,并通过基于本体的方法实现了主要对模式层的语义冲突的检测和消解,最后以C#.Net和OWL为技术平台实现了系统原型。     

数据交换中基于本体的语义冲突消解方案

为解决数据交换过程中的语义冲突问题,提出一种基于本体的语义冲突消解方案。利用ER模型实现关系模式到XML模式的语义映射,采用本体对经过初步语义转换的XML Schema进行语义标注。实验结果表明,该方案能减少由自然语言或符号不同引起的歧义,在一定程度上消除语义冲突。     

面向机床产品的协同设计支持环境的研究

对机床产品协同设计过程及其特点进行研究，采用UML统一建模语言中的泳道图表示机床协同设计过程，提出了面向机床产品的协同设计支持环境的层次结构，该协同设计支持环境主要由3个方面的内容组成：对机床产品设计开发活动的支持、对设计活动单元组织和管理的支持、对设计活动单元间协同的支持。采用分布式为主、集中式为辅的方式，建立了面向机床产品的协同设计支持环境的体系结构，并对实现该体系结构的任务规划、协同约束模型、冲突消解等关键技术进行了研究。在此基础上，开发了面向机床产品的协同设计支持环境的原型系统。     

美军战场频谱管理现状与发展

在现代战争中,电磁频谱管理是实现电磁协同的保证,是取得战争胜利的保证。阐述了战场频谱管理的基本概念,重点介绍了战场频谱管理的典型流程以及美军典型的战场频谱管理系统,然后分析了战场频谱管理未来的技术发展趋势,期望为后续研究提供一定的参考。     

调度问题中的冲突研究

调度问题的本质是对存在的冲突进行消解的过程.针对调度问题,首先判断是否存在冲突;若可能存在冲突,再判断是否存在固有冲突;若不存在固有冲突,再进一步判断是否存在调度冲突或间接冲突.研究还涉及可能冲突任务紧集、可能冲突任务松集、冲突度等概念.其研究结果对调度算法设计有一定参考价值.     

基于TRIZ与专利知识的冰箱降噪研究

针对冰箱在运行过程中的噪声问题,构建产生噪音的因果分析链,提出运用TRIZ的冲突解决原理和TRIZ的物-场分析原理解决问题。将产生噪声的有害因素转化为TRIZ的39个工程参数,利用TRIZ中的矛盾矩阵和相应的发明原理对冲突进行消解,同时查找相关的专利,充分利用已有专利启发设计人员,以降低冰箱的噪声。