In order to solve the semantic irreconcilable problems caused by contextual differences during the process of ontology integration, a context-driven reconciliation mechanism is proposed. The mechanism is based on the ...In order to solve the semantic irreconcilable problems caused by contextual differences during the process of ontology integration, a context-driven reconciliation mechanism is proposed. The mechanism is based on the previous work about a context-based formalism-Context-SHOIQ （D ＋ ） DL, which is used for explicitly representing context of ontology by adopting the description logic and the category theory. The formalism is extended by adding four migration rules （InclusionRule, SelectionRule, PreferenceRule, and MappingRule）, that are used to specify what should be imported into the IntegrativeContext, and three related contextual integration operations of increasing interoperability （import, partial reconciliation, and full reconciliation）. While not exhaustive, the mechanism is sufficient for solving the five types of semantic irreconcilable problems that are discussed, and favors integration of ontologies from one context to another.展开更多
A cost-based selective maintenance decision-making method was presented.The purpose of this method was to find an optimal choice of maintenance actions to be performed on a selected group of machines for manufacturing...A cost-based selective maintenance decision-making method was presented.The purpose of this method was to find an optimal choice of maintenance actions to be performed on a selected group of machines for manufacturing systems.The arithmetic reduction of intensity model was introduced to describe the influence on machine failure intensity by different maintenance actions (preventive maintenance,minimal repair and overhaul).In the meantime,a resolution algorithm combining the greedy heuristic rules with genetic algorithm was provided.Finally,a case study of the maintenance decision-making problem of automobile workshop was given.Furthermore,the case study demonstrates the practicability of this method.展开更多
The fundamental task of mining engineers is to produce more coal at a given level of labour input and material costs, for optimum quality and maximum efficiency. To achieve these goals, it is necessary to automate and...The fundamental task of mining engineers is to produce more coal at a given level of labour input and material costs, for optimum quality and maximum efficiency. To achieve these goals, it is necessary to automate and mechanize mining operations. Mechanization is an objective that can result in significant cost reduction and higher levels of profitability for underground mines. To analyze the potential of mechanization, some important factors such as seam inclination and thickness, geological disturbances, seam floor conditions and roof conditions should be considered. In this study we have used fuzzy logic, membership functions and created fuzzy rule-based methods and considered the ultimate objective： mechanization of mining. As a case study, the mechanization of the Tazare coal seams in Shahroud area of Iran was investigated. The results show a low potential for mechanization in most of the Tazare coal seams.展开更多
文摘In order to solve the semantic irreconcilable problems caused by contextual differences during the process of ontology integration, a context-driven reconciliation mechanism is proposed. The mechanism is based on the previous work about a context-based formalism-Context-SHOIQ （D ＋ ） DL, which is used for explicitly representing context of ontology by adopting the description logic and the category theory. The formalism is extended by adding four migration rules （InclusionRule, SelectionRule, PreferenceRule, and MappingRule）, that are used to specify what should be imported into the IntegrativeContext, and three related contextual integration operations of increasing interoperability （import, partial reconciliation, and full reconciliation）. While not exhaustive, the mechanism is sufficient for solving the five types of semantic irreconcilable problems that are discussed, and favors integration of ontologies from one context to another.
基金Project(51105141,51275191)supported by the National Natural Science Foundation of ChinaProject(2009AA043301)supported by the National High Technology Research and Development Program of ChinaProject(2012TS073)supported by the Fundamental Research Funds for the Central University of HUST,China
文摘A cost-based selective maintenance decision-making method was presented.The purpose of this method was to find an optimal choice of maintenance actions to be performed on a selected group of machines for manufacturing systems.The arithmetic reduction of intensity model was introduced to describe the influence on machine failure intensity by different maintenance actions (preventive maintenance,minimal repair and overhaul).In the meantime,a resolution algorithm combining the greedy heuristic rules with genetic algorithm was provided.Finally,a case study of the maintenance decision-making problem of automobile workshop was given.Furthermore,the case study demonstrates the practicability of this method.
文摘The fundamental task of mining engineers is to produce more coal at a given level of labour input and material costs, for optimum quality and maximum efficiency. To achieve these goals, it is necessary to automate and mechanize mining operations. Mechanization is an objective that can result in significant cost reduction and higher levels of profitability for underground mines. To analyze the potential of mechanization, some important factors such as seam inclination and thickness, geological disturbances, seam floor conditions and roof conditions should be considered. In this study we have used fuzzy logic, membership functions and created fuzzy rule-based methods and considered the ultimate objective： mechanization of mining. As a case study, the mechanization of the Tazare coal seams in Shahroud area of Iran was investigated. The results show a low potential for mechanization in most of the Tazare coal seams.
