辽宁省自然科学基金(20082047)
- 作品数：6 被引量：15H指数：3
- 相关作者：魏永合邵伟平曾鹏飞郝永平史春景更多>>
- 相关机构：沈阳理工大学东北大学更多>>
- 发文基金：辽宁省自然科学基金国家自然科学基金中国人民解放军总装备部预研基金更多>>
- 相关领域：自动化与计算机技术机械工程更多>>
- 基于公理设计理论的减速器产品结构分析被引量：3
- 2009年
- 提出基于公理设计(Axiomatic design,AD)的产品设计框架模型,通过对减速器功能需求与设计参数的逐层分解和映射,得到了满足客户需求的功能-结构关系和设计矩阵,阐述了减速器的公理设计过程,分析了减速器设计的结构合理性,所提出的方法能有效指导工程机械产品的方案设计.
- 邵伟平曾鹏飞
- 关键词：公理设计减速器独立公理信息公理
- 基于本体的车间业务流程知识分析及表达被引量：3
- 2010年
- 如何有效利用现有业务流程是车间生产管理研究的重点之一.将本体论引入车间的业务流程管理中,探讨了流程知识的构建和表达方法.通过分析车间业务模型,建立了车间本体元模型;再由业务流程的形式化描述,构建了以流程为中心的车间本体模型;利用本体建模语言OWL实现了车间中某具体业务流程的表达,由此来验证所构建的车间本体模型适合于车间知识的表达和共享.结果表明,该方法能便利地实现车间现有业务流程的本体表达.
- 史春景郝永平刘永贤
- 关键词：本体形式化
- 基于委托的工作流访问控制模型
- 2009年
- 从工作流访问控制模型与流程模型分离的角度,提出一种基于委托的工作流访问控制(DBWAC)模型.为了管理流程中执行任务需要的权限,引入了虚拟委托用户的概念.在DB-WAC模型中,虚拟委托用户是流程中任务的抽象和访问控制实施的基本单元,权限同虚拟委托用户相关联.在任务开始执行时,虚拟委托用户将权限委托给任务的执行用户并在任务执行完成后将委托撤销,使用委托约束、委托条件保证委托的可控性.通过该模型不仅可以满足工作流访问控制的要求,并且可以实现委托,提供了一种具有柔性和可控的授权方式.
- 魏永合史春景
- 关键词：工作流访问控制
- 产品配置领域本体学习方法研究被引量：3
- 2009年
- 针对大多数本体构建工具只支持手工构建,造成本体构建效率极低、工作量大、容易出错、知识的动态及时更新和维护困难等问题,提出一种领域本体自动构建的框架系统,通过对企业已有数据库及相关领域中大量的知识进行本体学习,实现配置领域本体自动(或半自动)构建,给出不同数据源结构中的本体概念抽取、概念间语义关系抽取等关键技术。
- 邵伟平郝永平魏永合曾鹏飞
- 关键词：产品配置本体学习
- 基于图的工作流访问控制模型被引量：3
- 2009年
- 为了直观和准确地描述工作流访问控制,提出了一个基于图的工作流访问控制模型。使用图和图变换对模型进行形式化描述,并给出了模型应用的相关算法。在该模型中,使用类型图表示访问控制中各元素的类型信息,使用带变量规则表示系统授权状态转换,使用肯定、否定约束限制图结构,并建立了基于图的工作流访问控制授权约束和图变换规则模板。提出了基于图变换的约束一致性验证算法和使用图终止性对授权合理性验证的方法。最后,通过一个实例对模型进行了验证。
- 魏永合王成恩罗小川
- 关键词：访问控制工作流
- 基于角色的强制访问控制模型被引量：3
- 2009年
- 针对兵工产品研发信息系统对访问控制的要求,提出一种基于角色的强制访问控制模型,对模型中的元素进行了形式化描述,设定了授权约束,并对模型的简单安全特性和*特性进行了证明。该模型既保证了强制访问控制模型在信息流控制方面的优点,又具有基于角色访问控制模型容易管理和灵活配置的特点。实践证明该模型符合兵工产品研发信息系统对访问控制的要求。
- 魏永合岳明凯
- 关键词：信息安全访问控制角色
