陈光[1]2004年在《基于推理算法无关性原则的组件管理系统》文中认为“智能化农业信息系统集成开发平台”课题属于国家高技术研究发展计划（863计划），课题开展以来一直面向农业信息化领域，该领域的研究一直是农业科技革命的先导。另外，在基于组件的软件开发中，开发人员利用已有的软件组件，通过集成组装以生成新的系统。但是独立于组件的应用系统开发组件时通常会遇到一些问题，这主要是由于组件开发过程中没有得到应有的信息。其中和组件本身相关的一类问题是，组件接口、前置条件、后置条件、非功能性组件特征如可靠性、资源需求、时间需求等。另一类问题和组件与系统其他部分的关系紧密相关。总结起来，即组件描述问题、组件配置问题、组件间依赖性问题。随着软件复用的深化，对组件的管理技术也越来越被人们重视起来，组件管理的目的就是解决上述问题，然而，由于组件应用的复杂性，应用领域的多样性，使得这些问题非常复杂不能寻求统一的解决标准，各种已有方法利弊兼有。因此，组件管理被逐渐局部化，集成化，即缩小问题域，将组件管理集成到特定应用系统之中，针对应用系统的特殊要求解决组件管理中的问题，从而使组件管理简单化。本文也是针对这一思想，将组件管理集成到应用系统“智能化农业信息系统集成开发平台”中，并根据实际应用需要，着重解决组件的描述问题以及组件的配置问题，并为用户提供方便得操作界面和使用工具，使本文的组件管理器实用行更强，操作更简单。在过去的几年里，课题组已经相继推出了几个版本的开发平台，功能也不断的完善。特别是在过去的两年里，在最新版本的研发中，提出了一种基于微软.NET框架技术的开发模式，使用基于.NET装配件标准的软件构件技术，高度集成新旧软构件，并采用C#语言开发，同时将人工智能、专家系统的技术与ASP.NET、XML等软件新技术有机地的集成起来，设计了一个组件式专家系统开发平台，与前相比，具有集成度高、灵活性强、界面友好、支持多媒体等特点。另一方面，本着软件高度重用的思想，也出于将平台从面向农业信息化领域的专有软件逐渐过渡为纯计算机领域的可重用软件的目的，在平台研制中提出了推理组件无关性的设计原则，使推理相关的部分独立化、组件化、规范化，减少平台对推理组件的依赖性，使得平台今后的应用中能更多涉及其他信息化领域，如工业、医疗、经济、教育等。组件管理系统及推理组件集成规范就是在这个原则下开发和制定的。在组件管理系统中实现了组件管理功能7个，包括组件载入、组
王世伟[2]2004年在《基于知识的产品配置建模、演化及其应用研究》文中研究表明利用可配置的产品来满足客户对产品日益增长的个性化需求，是企业未来的主要发展方向之一。作为一种基于知识的设计活动，产品配置的研究近来得到了人们的巨大重视。本文针对机械产品的特点，系统地对与产品配置设计相关的产品配置建模与求解、配置知识重用、配置设计过程管理、以及产品配置模型的演化与再配置等问题进行了研究，并结合企业应用项目将上述理论应用于实际产品开发中，取得了较好的效果，证明了模型及算法的正确性和先进性。 全文的组织结构为： 第一章讨论了产品配置研究的发展历史、现状和主要内容，重点说明了基于知识的产品配置建模和求解方法，阐述了本论文的研究背景、内容和意义。 第二章系统地研究了可配置产品的概念、特点和设计方法，以及与产品平台、产品族、大规模定制等的关系，提出了一个模块化产品平台的设计方法，说明了模块化的产品平台是产品配置的前提和物质基础。产品族是针对某一市场或客户群设计的一组相关产品，在产品族内，可以通过对配置模型的实例化实现产品的定制设计。 第叁章结合产品知识的显式／隐式表示，提出了一个基于GBOM的产品配置模型GPCM，实现了对复杂机械产品的配置。同时，给出了产品配置单元的概念，研究了配置单元内部以及配置单元之间的各种约束关系。在GPCM中，利用类产品结构表示产品的显式结构知识，规则表示产品的隐式知识，从而降低了复杂机械产品配置问题的求解复杂度。 第四章把基于实例的知识表示和推理技术应用于产品配置设计领域，提出了CBR和CSP相结合的产品配置设计方法，实现了对企业已有设计资源和产品配置结果的重用。针对实例检索中检索参数的不确定性，给出了可对固定参数和区间参数进行相似性比较的实例检索算法，该算法很好地满足了这种模糊检索的需要。对于检索到的匹配实例，采用CSP的最小冲突求解算法进行实例的修正。基于实例的方法大大提高了产品设计的效率。 第五章研究了产品配置设计过程管理问题，提出了一个产品设计过程模型和任务分解方法。在所建立的模型中，实现了配置设计任务的递归分解，对不能直接从组件库中选配到的组件，建立了该组件的设计任务并关联与该设计任务相关的参考文档。对于设计任务的分解，定义了分解的叁个层次和两个模板，从而柔性、灵活地实现了产品配置设计过程管理、以及与产品数据结构管理的有效集成。 第六章分析了产品配置设计中的动态性，说明了引起配置模型演化的主要因素，建立了配置模型和配置单元之间的版本传播规则，给出了配置模型发展的叁个层次。对于定制产生的配置产品，建立了一个记录其变更信息的有效方式，为产品的售后服务和维护、以及可能的再配置奠定了良好的基础。最后，研究了配置产品的再配置问题，提出了一个简摘要捷、有效的再配置算法。 第七章分析了PDM系统对产品配置的巨大支持以及两者集成的优势，并结合国家863及浙江省科委的企业制造信息化重大项目，实现了以产品配置和设计过程管理为中心的GE彻心沪n材系统，从应用上证明了作者提出的产品配置建模理论与方法的正确性和可行性。 第八章总结了全文的主要研究内容和成果，并给出了今后的研究方向。关键词: 产品配置，配置，配置设计，配置模型，知识，模型演化，可配置产品，再配置，过程管理，实例，重用，产品平台、产品族，PDMII
王静[3]2008年在《异构案例库在应急指挥平台中的研究与应用》文中提出近年来,各种极端天气灾害、动物疫情和事故灾害在世界范围内频繁发生,对人类的生产、生活构成了极大的威胁。对于突发性事件处理,最重要的就是快速反应与正确决策,建立应急指挥系统已经成为各国政府应对突发性事件的主要策略。就国内范围而言,目前,针对广泛存在的应急指挥系统的研究还处在利用基于预案的文本化查询来应对突发事件的初级阶段。应急指挥平台建设发展仍不平衡,尚缺乏统一规划,应用功能也不够完善。国外一些学者先后提出了构建智能化应急指挥系统的构想。本文专注于对应急指挥系统中案例库构建技术的研究。本文在对已有系统做出深入分析的基础上,充分利用和借鉴已有系统取得的成果和成功经验,根据CBR(Case-Based Reasoning,基于案例的推理)技术所具有的知识学习能力和问题求解方法的特点,将其应用于案例库的构建中,重点研究异构案例集合的存储模型和结构特点以及与之相适应的案例推理、学习和问题求解方法。本文完成的研究工作及主要贡献包括以下五个方面:(1)提出一种基于CBR技术的案例库集成模型。使得设计完成后的案例库在一定程度上超过一般电子文档库的信息服务功能,可以做到为决策者决策和分析提供迅速、有力的支持;(2)提出一种构建“异构”案例库的设想及实施方案。本文采用半结构化的案例表示方法,打破常规设计思想,将案例结构与内容信息单独保存,提出了更具人性化和功能性的“异构”案例库构建设想及实施方案,允许用户对单一领域内的案例自定义不同的结构,解决了已有推理系统仅支持同构案例库的局限;(3)提出一种基于CBML(Case-Based Markup Language,基于案例的标记语言)的具有领域无关性的案例表示模型。该模型克服了传统CBR应用系统固有的面向单一领域、领域模型绑定、代码零复用、系统零扩展等缺点,而且当领域知识发生变化时,程序开发者无需修改底层代码,使得整个系统的设计更具灵活性及科学性;(4)提出一种基于语义的异构案例检索模型,用于解决系统的异构问题。本文针对异构案例的特点,将查询信息分为结构、内容以及语义信息,对叁种信息单独进行处理。这种分治的策略相比现有的检索方法,势必更加适合异构案例。这也是本课题的一个研究突破点和技术创新点;(5)将设计完成后的异构案例库良好嵌入到应急指挥平台中,最终完成指挥平台中预案管理、方案管理以及决策支持等系统的设计、开发工作。总体来讲,本文的工作在体系结构方面,成功设计、实现了一个集“智能化”、“领域无关”、“异构”等适应新形势发展需求的基于CBR技术的新型案例库;在技术方面,提出了一套具备一定理论基础和实际实施条件的,可有效解决异构案例相似度匹配的方案;在功能方面,将设计开发出的智能化案例库有效的嵌入应急指挥平台中,提升了系统的智能化程度,完善了部分功能。
胡沙[4]2010年在《面向服务的模具企业信息系统集成平台关键技术研究》文中指出模具行业作为装备制造行业的重要组成部分,面临着全球化市场竞争带来的挑战。推进企业信息化进程,实施先进制造模式是快速响应市场需求,保证持续创新力的关键。在企业实施信息化的过程中,如何帮助企业整合优势资源,优化业务过程,使各种信息系统集成起来,灵活适应业务变化成为难题。本文根据模具企业的特点,对企业集成的基本理论和信息系统集成相关关键技术进行了研究,并在此基础上实现了面向服务的模具企业信息系统集成平台。针对专业化趋势下制造企业的建模需求和面向服务集成的特点,提出了组件化企业建模体系,并以此体系为基础,研究了以业务为中心的企业服务建模方法与技术,并提出了从遗留信息系统中提取并构建服务的算法,为自顶向下的新服务创建和自底向上的遗留系统服务封装提供了依据。在分析了面向模具企业的集成平台功能性和非功能性需求之后,建立了满足其功能约束的数学模型,并结合相关的软件架构理论,推导出了集成平台的架构模型,提出了实现该架构的技术体系和关键技术问题。针对模具企业生产变更频繁、应用系统分散、信息共享不及时等问题,提出了基于服务总线的信息集成方法。重点研究了企业服务总线技术,并对其中事件驱动机制、消息传输和转换机制、消息路由机制进行了阐述；建立的信息集成框架,为满足模具企业特有的信息集成需求提供了解决方案。根据模具生产过程灵活,设计制造环境并行流程较多,难以管理的特点,提出了面向BPM的过程集成方法,通过BPM理念和SOA技术相结合,实现了对业务过程的设计建模、仿真优化和执行监控的全生命周期管理,在此基础上实现了BPEL与工作流相结合的过程集成模型,能很好地适应实际应用环境并体现SOA技术带来的灵活性和扩展性。针对模具生产对经验知识依赖性强但隐性知识难以获取和积累的问题,提出了一种基于过程的知识获取方法,结合本体技术、经验反馈模型和概念图工具实现对生产过程中体现的经验知识的获取,解决了知识获取和知识库构建的技术瓶颈,并在集成平台的基础上实现了异构环境下的知识获取与重用框架,为信息集成环境下的知识应用开辟了新的途径。最后,在上述研究基础上,对模具企业的信息系统集成平台进行了实现,并对平台应用过程中的经验和方法进行了总结,形成了具有指导意义的最佳实践原则。
陈海东[5]2007年在《基于组件式GIS技术的配电网自动化系统》文中指出配电GIS是一个集计算机技术、通信技术、控制技术、现代化设备与管理于一体的综合信息化系统。它是提高供电可靠性、供电质量及配电网经济运行的重要保证,是高科技手段应用于实际生产的一个重要体现。将组件式GIS技术引入配电网GIS中,可以将配电网中的各种设备信息与地理位置信息很好地结合在一起,改变了过去图纸、设备管理混乱的局面,实现了图纸、设备的自动化管理;同时GIS能够对数据进行直观的、可视化的分析和查询,帮助用户发掘隐藏在文本数据之中的各种潜在的联系,为用户提供一种崭新的决策支持。本文以石家庄市栾城县电力局配电系统的现状为背景,经过对配电现场进行认真的实地调查研究,结合当前配电网管理存在的主要问题和组件式GIS的特点,按照开放性、可靠性和可集成性等原则对配电GIS系统进行了系统总体设计与功能实现、系统数据库设计、系统组件层设计与实现等。在此基础上给出了系统分析和管理技术的实现,通过深度优先搜索算法和故障定位专家系统等方法,来完成基于GIS的配电网故障定位和供电恢复与网络重构。其中,在对配电网故障定位进行分析时,作者所采用的是专家系统的方法,因为专家系统的优点正好迎合了配电网故障节点的随机性、偶发性的特点。专家系统另一特点就是具有逻辑推理的判断能力,同时还具有学习和记忆功能,这对满足故障的快速定位、隔离具有很大的好处。此外,基于GIS的专家系统还具有空间分析的功能,把空间信息、属性信息与故障信息完美的结合在一起,这为GIS系统与SCADA系统、用电系统的整合提供了一种模式。在国产化GIS软件开发平台“GeoStar5.0”上开发出了具有适合地方特点的、符合当地实际情况的、符合电力系统通用的配电GIS系统。配电GIS的应用,为配电管理提供了很大的帮助;为配电设备的维护、检修提供了很大的方便;为配电设备的管理提供了新的途径。配电GIS的信息共享,为设备的增容和改造提供了依据,为调度者作出正确的决策提供了保证。最终,配电GIS将对配电系统的安全、可靠、经济运行发挥着越来越重要的作用。
姜兴宇[6]2008年在《网络化制造模式下产品全生命周期质量管理系统研究》文中认为网络化制造是在经济全球化、制造企业生产模式和管理方法正发生着深刻变革的背景下产生和发展起来的先进制造模式。随着计算机网络通信、人工智能等技术的迅猛发展,网络化制造也正朝着开放的、智能的、分布的、协同的方向发展,以其敏捷性的全新制造组织模式,代表着制造业未来的发展方向。质量管理系统是网络化制造集成平台的重要的组成部分。质量是企业占领市场最有力的战略武器,对企业生存和发展至关重要。因此,它的研究已经成为制造业研究的热点。在网络化制造模式下,质量的内涵已经由最终产品的质量扩展到贯穿于产品设计、采购、制造、销售、服务直到最后报废回收的生命周期全过程,由静态质量扩展到由时间决定的动态质量；面对网络化制造模式下质量的新转变,传统的质量管理系统已经不能适应。因此,研究先进的质量管理方法与质量控制技术对于发展我国的网络化制造模式具有极为重要的意义。本文在相关项目基金的资助下,针对网络化制造环境下质量管理模式特点,从总体设计、结构功能、核心算法设计以及系统实现等方面进行了深入研究,并采用Java语言、JSP技术与数据库技术,设计并开发出适于实际应用的产品全生命周期质量管理原型系统。本论文具有创新性的主要研究工作有：(1)针对网络化制造环境下传统质量管理系统所面临的挑战进行研究,提出一种动态的、协同的、分布式的产品全生命周期质量管理系统模型,在此基础上构建了系统框架,确定了系统功能与体系结构。(2)为了满足网络化制造企业间的协同质量管理,将CSCW技术引入产品全生命周期质量管理系统；构建了质量管理的协同环境,解决了网络化环境下产品异地质量设计问题,实现了质量信息的集成与质量知识的共享。(3)应用相似工序、Elman神经网络、专家系统等理论,构建集预防——分析——诊断——调整于一体的动态工序质量控制模型,实现了网络化制造企业多品种、变批量生产模式下工序质量的实时动态分析、诊断与调整,确保工序质量长期保持在稳定状态。(4)提出一种基于叁角模糊数的层次分析法与模糊综合评价方法相结合的质量评价方法,并用于产品全生命周期质量评价模型中,使评价结果更客观、更精确,并以定量化的数值表示评价结果。解决了模糊数学和经典数学应用在质量评价过程中难以克服的一些缺点,改善了权重的客观性,进而提高了评价结果的可信性。(5)在Windows环境下,综合运用JSP、Servlet等技术设计并开发了网络化制造模式下产品全生命周期质量管理原型系统,并以双进双出磨煤机的全生命周期质量管理为例,验证了前面提出的理论模型与算法,从而证明本系统能够满足企业实施网络化制造的实际需求。
许建广[7]2002年在《基于COM技术的定量金相分析专家系统》文中研究说明随着定量金相分析技术的发展和体视学原理的完善，计算机辅助定量金相分析技术在科研工作和生产实践中发挥着越来越重要的作用。本文结合具体的科研课题，探讨了定量金相分析技术，在此基础上，利用COM(组件对象模型)技术开发了一个定量金相分析专家系统。 本文的绪论部分阐述了定量金相分析的重要意义和国内外相关领域的发展状况；分析了定量金相分析专家系统的重要作用，以及组件化程序设计方法在专家系统软件实现中的作用。 第二章对和本专家系统相关的COM技术进行了较为深入的探讨，并分析了Windows操作系统对COM技术的具体支持。 第叁章分析了专家系统的原理和特点，并根据这些特点和组件化的程序设计方法，设计了定量金相分析专家系统的体系结构。 第四章根据定量金相分析的需要，选择了本专家系统的图像处理方法，并用图像处理组件进行了实现。 第五章采用现有的组件开发工具具体实现了专家系统的各个功能组件，并利用MTS将这些分散的组件组装成一个完整的专家系统。 第六章总结了本专家系统的优点和不足，提出了系统未来的发展方向。
何丰[8]2008年在《语义Web服务组合若干关键技术研究》文中研究表明Web服务组合作为一种崭新的分布式计算模型,是Web上服务集成的有效机制。随着Web服务成为公认的实现服务的主流技术选择,这使得动态Web服务组合技术成为面向服务的计算的核心技术。目前,许多国内外研究机构围绕动态Web服务组合技术展开研究工作,并取得了一些有价值的探索性成果。然而,Web服务组合还有许多需要进一步研究的问题。根据Web服务组合的生命周期,展开动态Web服务组合关键技术研究,重点在:Web服务和Web服务组合的形式化模型,Web服务自动组合的推理算法,Web服务组合的正确性验证,Web服务组合的异常处理。主要工作与贡献包括如下五个方面:1.利用标签颜色Petri网(LCPN)方法对OWL-S描述的语义Web服务原子与复合进程的过程模型进行形式化建模。为建立动态的Web服务组合模型提供了有效的逻辑基础。然后,定义了一种基于层次颜色Petri网(HCPN)的Web服务组合模型WSC HCPN。通过自顶向下的服务分解的方法支持层次化Web服务组合描述,并以图形方式表示Web服务间的逻辑依赖,清晰、直观的刻画了Web服务组合。2.借助基于接口匹配的服务组合思想,将Web服务抽象成由输入和输出组成的实体,分析了各种服务依赖关系,建立了服务发布图;然后,借鉴了人工智能的思想,采用基于模糊推理Petri网的推理方法,通过反向、正向推理算法从服务发布图中提取出Web服务组合模型,实现了自动组合。由于采用了基于矩阵运算的正向、反向推理算法,并且支持并行处理,提高了组合效率,适合于大规模、复杂情况下的Web服务自动组合。3.提出一个基于Petri网的形式化验证技术对Web服务组合过程进行分析及验证,以保证服务组合的正确性和可靠性。此方法包含结构验证、可靠性验证两个部分。首先,利用转移矩阵(Transitive Matrix)分析方法对组合模型进行了可达性分析并检测是否有死锁。这种方法能有效地检验组合模型的结构正确性。然后,描述了基本Web服务的可靠性属性,将其引入到Web服务组合的模糊推理Petri网模型FRPN中以模拟和验证Web服务组合整体的可靠性。算例结果证实了该方法的有效性。4.在对Web服务的事务类型、事务状态以及事务依赖进行形式化描述的基础上,提出了一种ECA规则驱动的方法以处理服务组合中的可预测异常,建立了相应的Petri网模型。模型的优点是具有可扩展性以及适应性。然后对于不可预测异常,本文提出了一个层次式的异常恢复算法以保证服务组合的语义原子性。该算法依据层次间的事务依赖和服务的各种不同恢复特性进行层次式的向上规约处理,动态确定补偿终止点。此算法主要目的是有效减小补偿域。5.开发了一个基于颜色Petri网的Web服务组合原型系统CPN4WSC。上述方法和算法的适用性和有效性在原型系统CPN4WSC中得到了验证。综上所述,本文对Web服务自动组合问题中的几个关键问题进行了有效的探索与尝试,使用Petri网形式化技术提出了具体的解决方法,对于推进动态服务组合技术的理论研究和实用化具有一定的理论价值与应用价值。
董雁[9]2004年在《结构定性建模理论及其在机械产品类比设计中的应用研究》文中认为针对概念设计中产品结构的定性特性,提出了面向概念设计的产品结构定性建模理论。通过对实体零件的联结面、功能面和零件结构构形的抽象并将其符号化,建立了零件符号模型:通过将实体零件上功能表面的类型、相对位置、朝向以及面与面之间拓扑关系抽象成定性符号集合,建立了符号零件的定性模型;利用零件的符号模型进行装配建模,建立了符号装配模型;通过对符号装配模型中零部件之间空间位置关系的定性描述,建立了面向概念设计的产品装配结构定性模型。并进一步运用功能—行为—结构—形状模型,提出了一种基于结构相似的机械产品类比设计方法。 论文的主要工作包括: 第一章综述了定性空间推理的研究现状和产品结构模型的相关研究,讨论了概念设计中的产品结构,阐述了面向概念设计的产品结构定性建模理论的主要思想和基于结构相似的机械产品类比设计方法的基本原理。 第二章提出以形体符号来表示零件的结构,讨论了形体符号的定义、分类、性质、操作、描述、定量和定性拼合运算,提出了基于形体符号的零件符号造型过程和零件符号化的方法。并给出典型结构零件的符号表示实例。 第叁章提出了支持概念设计并能指导和控制零件形状设计的符号零件结构定性模型,讨论了定性空间推理代数方法的基本原理,定性几何约束的定义、标注和局部相容性推理方法,并给出实例。 第四章提出以零件的符号模型来进行装配建模,讨论了符号装配关系、定性几何约束、定性几何约束图、约束相容性维护,并结合实例介绍了概念设计中产品装配结构定性模型的建立过程和约束推理方法。 第五章提出以符号零件的结构模型来划分零件设计资源,讨论了符号零件结构相似度的定义和计算方法,提出了结构图匹配和结构图相似的相似结构符号零件查找机理,并运用功能—行为—结构—形状模型,提出了基于结构相似的零件类比设计方法。 第六章运用功能—行为—结构—形状模型,提出了一种基于结构相似的组件类比设计方法,讨论了组件装配结构相似度的定义和计算方法,并在分析相似结构符号零件查找机理的基础上,提出了相似结构组件的查找机理,并进一步讨论了组件类比设计的模型和基本模式。 第七章以面向概念设计的产品结构定性建模理论为核心,应用基于结构相似的机械产品类比设计方法构造了产品结构设计分层建模原型系统,介绍了原型系统的结构和主要功能模块。 第八章总结了本文的主要研究内容和成果,并给出了今后的研究方向。
刘婷婷[10]2004年在《网络化制造系统中安全体系结构及访问控制技术研究》文中认为随着信息、通信、计算机网络技术的发展，制造业正经历着一场深刻的变革：网络化制造正逐渐取代传统的制造方式成为新一代的制造模式。网络化制造系统是网络化制造模式的实现系统，它是一个由多种、异构、分布式的制造资源，以一定互联方式，利用计算机网络组成的、开放式的、多平台的、相互协作的、能及时灵活地响应客户需求变化的制造系统。制造企业的所有数据都要在上述系统中存储、发送、转发、接收、融合、再生，这个过程涉及到大量需要保密的企业知识产权的信息。因此，保证系统的信息安仝是网络化制造系统应用推广的基本前提，本文研究的目的在于实现网络化制造系统的信息安全。 网络化制造系统的复杂特性对其安全体系结构的构建提出了要求，本文通过深入分析安全体系结构的通用需求及网络化制造系统复杂特性对安全体系结构的特殊需求，提出了一个适用于网络化制造系统的安全体系结构，指出访问控制技术是信息安全关键单元技术之一。 访问控制模型是访问控制实现的基础。本文在分析网络化制造系统与访问控制相关的系统特点及现有访问控制模型存在问题的基础上，提出了一个适用于网络化制造系统的访问控制模型—语义驱动访问控制模型(SDACM)。该模型能够解决现有访问控制模型存在的问题：能够同时支持工作流管理和非流程相关的系统资源的访问控制，能够支持自主的主体角色授权，能够支持系统的动态性、协作性，能够降低信息泄漏风险。 访问控制的约束处理问题和一致性维护是访问控制模型必须解决的关键问题。本文应用面向对象方法建立了SDACM的对象模型，清晰地描述了对象之间的关系。在此基础上提出应用混合封装模式对SDACM中的约束进行处理，该方法能够有效地对SDACM中的约束进行管理，避免系统约束分布到所有对象中带来的存储重复和不一致性的发生，有效地降低了集中管理的约束量；针对一致性维护问题，提出了通用一致性维护原则及实现算法，有效地降低了安全策略一致性维护代价；提出依据策略冲突映射的实际世界含义来进行策略冲突的消解； 访问控制框架和访问控制机制是访问控制模型在系统中的实现。在安全体系结构及访问控制模型的指导下，本文提出了一个适用于网络化制造系统的访问控制框架，给出了访问控制实现流程，并依据网络化制造系统的域分布特性提出了基于代理的身份认证方案和访问控制配置方案，依据访问控制模型提出了全部访问控制策略的配置摘要博士论文方案。 为了在系统中应用SDACM，本文设计了访问控制关系数据库表集，进行了访问控制策略关系模型到对象模型的转换实验，提出了从关系数据库表获取角色图的方法;在分析了现有的协同应用存在问题的基础上，设计了一个面向网络化协同工作系统的实时协作工具CTeCWS，提出了访问控制策略转移方法，提出了一个协作小组公有过滤策略的计算算法和一个协作小组成员过滤策略的计算算法。 在上述研究的基础上，本文阐述了实现环境及实现方法，并在此基础上进行了系统开发。关键词:网络化制造，安全体系结构，访问控制
参考文献：
[1]. 基于推理算法无关性原则的组件管理系统[D]. 陈光. 吉林大学. 2004
[2]. 基于知识的产品配置建模、演化及其应用研究[D]. 王世伟. 浙江大学. 2004
[3]. 异构案例库在应急指挥平台中的研究与应用[D]. 王静. 东华大学. 2008
[4]. 面向服务的模具企业信息系统集成平台关键技术研究[D]. 胡沙. 华中科技大学. 2010
[5]. 基于组件式GIS技术的配电网自动化系统[D]. 陈海东. 华中科技大学. 2007
[6]. 网络化制造模式下产品全生命周期质量管理系统研究[D]. 姜兴宇. 东北大学. 2008
[7]. 基于COM技术的定量金相分析专家系统[D]. 许建广. 浙江大学. 2002
[8]. 语义Web服务组合若干关键技术研究[D]. 何丰. 东华大学. 2008
[9]. 结构定性建模理论及其在机械产品类比设计中的应用研究[D]. 董雁. 浙江大学. 2004
[10]. 网络化制造系统中安全体系结构及访问控制技术研究[D]. 刘婷婷. 南京理工大学. 2004
标签：计算机软件及计算机应用论文; 专家系统论文; 相关性分析论文; 网络模型论文; 建模软件论文; 异构网络论文; web技术论文; 有效质量论文; 相似原理论文; 功能设计论文; 信息集成论文; 功能分析论文; 面向过程论文; 网络结构论文; 动态模型论文; 符号计算论文; 推理论文; 访问控制论文;