检索结果-南通市图书馆

reduction rules-based search algorithm for opportunistic replacement strategy of multiple life-limited parts

Chinese Journal of Aeronautics 2018年第1期31卷 21-30页

作者： Xuyun FU Shisheng ZHONG Department of Mechanical Engineering Harbin Institute of Technology at Weihai

The opportunistic replacement of multiple Life-Limited Parts （LLPs） is a problem widely existing in industry. The replacement strategy of LLPs has a great impact on the total maintenance cost to a lot of equipment. This article focuses on finding a quick and effective algorithm for this problem. To improve the algorithm efficiency, six reduction rules are suggested from the perspectives of solution feasibility, determination of the replacement of LLPs, determination of the maintenance occasion and solution optimality. Based on these six reduction rules, a search algorithm is proposed. This search algorithm can identify one or several optimal solutions. A numerical experiment shows that these six reduction rules are effective, and the time consumed by the algorithm is less than 38 s if the total life of equipment is shorter than 55000 and the number of LLPs is less than 11. A specific case shows that the algorithm can obtain optimal solutions which are much better than the result of the traditional method in 10 s, and it can provide support for determining tobe-replaced LLPs when determining the maintenance workscope of an aircraft engine. Therefore, the algorithm is applicable to engineering applications concerning opportunistic replacement of multiple LLPs in aircraft engines.

关键词： Aircraft engine Maintenance occasion Opportunistic replacement reduction rules Replacement of life-limited parts

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Applying Petri-Net-Based reduction Approach for Verifying the Correctness of Workflow Models

引用

Wuhan University Journal of Natural Sciences 2006年第1期11卷 203-210页

作者： LI Xi-zuo HAN Gui-ying KIM Sun-ho School of Computer Science and Engineering Dalian Nationalities University Dalian 116600 Liaoning China School of Electromechanical Engineering Dalian Nationalities University Dalian 116600 Liaoning China Department of Industrial and Systems Engineering Myongji University San 38-2 Namdong Yonginsi Kyunggido 449 728Korea

The correctness of workflow models is one of the major challenges in context of workflow analysis. The aim of this paper is to provide an improved Petri net-based reduction approach for verifying the correctness of workflow models. To the end, how to represent well-behaved building blocks and control structures of business processes by Petri nets is given at first, and then how to build well-structured process nets is presented. According to the structural characteristics of well-structured process nets, a set of legacy reduction rules are improved and extended, and then a complete Petri-net-based verification approach is proposed. The sound ness and the complexity with polynomial time for the improved re duction method are also proven.

关键词： workflow analysis well structured process nets Petri nets reduction rules

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

reduction Method for Reachability Analysis of Petri Nets

引用

Tsinghua Science and Technology 2003年第2期8卷 231-235页

作者： HAN Zandong(韩赞东) LEE G.B.(李基范) Department of Mechanical Engineering Tsinghua University Beijing 100084 China Research Institute of Industrial Science and Technology Pohang 790600 Korea

Reachability analysis is an important approach for acquiring Petri net (PN) properties. The reachability tree and the solution of the state equation are two commonly used methods for reachability analysis, but they can result in state explosion and spurious solutions in some cases. As a significant complementary method, the PN reduction technique simplifies the reachability analysis by reducing the net size while preserving the reachability. This paper introduces several useful reduction rules and defines a reduction process for the analysis of reachability which is easy to understand and implement. Some examples are given to explain the method to solve the reachability problem. The analysis shows that the proposed reduction method preserves the visualization feature of PN and can be easily used.

关键词： Petri net reachability analysis reduction rules net reduction

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

基于Workflow的动态服务聚合QoS模型及评价体系

基于Workflow的动态服务聚合QoS模型及评价体系

引用

第二十二届中国数据库学术会议

作者：刘书雷任清海唐桂芬景宁国防科技大学电子科学与工程学院福建信息技术研究所

1引言Web Service是一种自适应、自描述的模块化应用程序,它可以通过Web进行发布、定位和调用;随着Web Service技术的不断发展,越来越多的企业和团体把自己的业务功能以Web服务的形式在Internet上进行注册发布;如何动态地把现存的各种We... 详细信息

1引言Web Service是一种自适应、自描述的模块化应用程序,它可以通过Web进行发布、定位和调用;随着Web Service技术的不断发展,越来越多的企业和团体把自己的业务功能以Web服务的形式在Internet上进行注册发布;如何动态地把现存的各种Web服务整合起来以形成新的、满足不同用户需求的、增值的复杂服务已成为新的应用需求。

关键词： QoS model Service composition Basic control patterns reduction rules Evaluation methods

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：