Search results

1 – 10 of 10
Article
Publication date: 10 June 2014

Takahiro Ando, Hirokazu Yatsu, Weiqiang Kong, Kenji Hisazumi and Akira Fukuda

This study aims to describe the behavior of blocks in the system under consideration using systems modeling language (SysML) state machine diagrams. In this paper, formalization…

Abstract

Purpose

This study aims to describe the behavior of blocks in the system under consideration using systems modeling language (SysML) state machine diagrams. In this paper, formalization and model checking for SysML state machine diagrams have been investigated.

Design/methodology/approach

The work by Zhang and Liu (2010) proposed a formalization of SysML state machine diagrams in which the diagrams were translated into CSP# processes that could be verified by the state-of-the-art model checker PAT. In this paper, several modifications have been made and new rules have been added to the translation described in that work.

Findings

First, three translation rules were modified, which apparently are inappropriately defined according to the SysML definition of state machine diagrams. Next, we add new translation rules for two components of the diagrams – junction and choice pseudostates – which have not been dealt with previously. Further, we are implementing the automatic translation system on a web-based model-driven development tool, which reflects on our translation rules.

Originality/value

As the contribution of this work, more reasonable verification results for more general SysML state machine diagrams can be achieved.

Details

International Journal of Web Information Systems, vol. 10 no. 2
Type: Research Article
ISSN: 1744-0084

Keywords

Article
Publication date: 29 April 2014

Thomas Ruin, Eric Levrat, Benoît Iung and Antoine Despujols

The purpose of this paper is to develop a methodology for supporting complex maintenance programs quantification (CMPQ) for industrial systems. The methodology is based on a…

Abstract

Purpose

The purpose of this paper is to develop a methodology for supporting complex maintenance programs quantification (CMPQ) for industrial systems. The methodology is based on a generic formalization of static and behavioral expert knowledge both on the target system and on the maintenance one. The formalization is carried out first by means of system modelling language (SysML) diagrams to model knowledge concepts and second by the transformation of these concepts into Altarica data flow (ADF) language for developing stochastic simulation.

Design/methodology/approach

An industrial case study (ARE system) proposed by the electricite de France (EDF) company is used initially to show a real problem statement on CMPQ. It allows highlighting key scientific issues considered as the basis for methodology development. Main issues are related to static and dynamic knowledge formalization justifying the choice of SysML and ADF languages. The added value of this methodology is finally shown on the same case study serving as benchmark.

Findings

This paper demonstrates the suitability of using of SysML language for modelling the CMPQ knowledge and then of ADF language in building executable model implementing simulation as needed for assessing key performance indicators of CMPQ. ADF is based on formal mode automaton. Mapping rules are developed to ensure correspondence between the concepts of these two languages.

Research limitations/implications

Additional industrial validations of the methodology should be performed to really evaluate its benefits.

Practical implications

This work was made possible thanks to a partnership with the EDF Company (French energy supplier). The results are therefore directly usable at practical industrial levels.

Originality/value

The CMPQ methodology proposed is fully generic leading to offering a library of atomic ADF components (COTS) which can be instantiated to develop executable model with regards to each specific application. It allows to favor reusability and makes easier the model development above all for a user who knows nothing about the language.

Details

Journal of Manufacturing Technology Management, vol. 25 no. 4
Type: Research Article
ISSN: 1741-038X

Keywords

Article
Publication date: 13 September 2021

Hind Lafquih, Saad Lissane Elhaq, Issam Krimi and Mouna Berquedich

According to United Nations reports, the worldwide population is expected to reach around 9.6 billion by 2050. This forecasting emphasizes the role of phosphate-based fertilizers…

Abstract

Purpose

According to United Nations reports, the worldwide population is expected to reach around 9.6 billion by 2050. This forecasting emphasizes the role of phosphate-based fertilizers for developing sustainable agriculture and ensures the demand all over the planet. From this perspective, phosphate companies are racing to improve their industrial performance and guarantee the quality, reliability and integrity of information efficiently. The purpose of this paper is to propose a traceability system framework that ensures product quality tracing and real-time operations monitoring for open-pit mines.

Design/methodology/approach

The authors develop a hybrid approach that integrates Business Process Model and Notation techniques with System Modeling Language to formalize several use cases and scenarios to model quality traceability processes related to open-pit mines. This framework also embeds an optimization module based on mathematical modeling approaches to optimize stockpiles’ movement and respect the distinction between different qualities.

Findings

This paper explains a successful implementation of a quality traceability tool for an African mining company. The research team was able to understand and scale down the problem faced by the managers. Further, the study is focused on improving quality tracing over time and automatizing the current compliance processes related to the mine extraction activities. The proposed tool is proved highly effective in reducing the time of tracing quality claims by 46% compared with the manual procedure. Second, the implementation of this tool reduced fuel costs by 34% and CO2 emissions by 10%.

Originality/value

The originality of the contributions lies in four aspects: (1) adapting quality traceability concept for the mining industry; (2) assessing the current trends of traceability systems considering the mining industry context; (3) hybridizing business processes re-engineering, quality system and optimization modeling; and (4) using a real case study of a phosphate company to evaluate the framework.

Details

International Journal of Quality & Reliability Management, vol. 39 no. 6
Type: Research Article
ISSN: 0265-671X

Keywords

Content available
Article
Publication date: 23 January 2009

85

Abstract

Details

Aircraft Engineering and Aerospace Technology, vol. 81 no. 1
Type: Research Article
ISSN: 0002-2667

Article
Publication date: 29 August 2022

Haiyun Yang and Youchao Sun

This study aims to solve the problem that the traditional hierarchically performed hazard origin and propagation studies (HiP-HOPS) cannot make dynamic model for the complex…

114

Abstract

Purpose

This study aims to solve the problem that the traditional hierarchically performed hazard origin and propagation studies (HiP-HOPS) cannot make dynamic model for the complex system such as integrated modular avionics (IMA) system.

Design/methodology/approach

A new combination method that combines HiP-HOPS with architecture analysis and design language (AADL) is proposed.

Findings

The combination method potentially reduces the amount of rework required for safety analysis and modelling of a modified design.

Research limitations/implications

Modelling the IMA system with the combination method can just make qualitative analysis but cannot make quantitative analysis.

Practical implications

The static model depicts the fault propagation among the components while the dynamic model describes the composite fault with AADL for IMA system.

Originality/value

The results of the case study show that the proposed method not only keeps model consistency but also makes safety analysis and modelling for IMA system efficiently.

Details

Aircraft Engineering and Aerospace Technology, vol. 95 no. 2
Type: Research Article
ISSN: 1748-8842

Keywords

Article
Publication date: 26 March 2021

Igor Yurievich Kotciuba, Alexey Nikolaevich Shikov and Yuri Voitekhovsky

The purpose of this study is to make the implementation of a recommended Web service that allows one to formalize the search for a suitable coworking according to individual…

Abstract

Purpose

The purpose of this study is to make the implementation of a recommended Web service that allows one to formalize the search for a suitable coworking according to individual preferences as a decision-making task, as well as find a coworking area in an optimized setting for both the individual employee and those who carry out collective professional activities from a large number of alternatives in a shorter time.

Design/methodology/approach

In the implemented system of each place category in coworking areas, a search will be carried out according to formalized parameters and with an individual approach. To find the set of the required services of the coworking zone, the target functions of maximizing the priority of the place and minimizing the cost are determined, between which the user can set the ratio. As a constraint, the general fund of financial expenses for the time to reach the zone from different locations is used. The results of problem formalization are presented in the form of a mathematical model.

Findings

The use of a problem-oriented solution can significantly reduce the laboriousness of finding a suitable workspace.

Originality/value

The development of coworking zone practices contributes to the development of a professional infrastructure of the city and minimizes the cost of equipping each enterprise with additional tools, as well as manages labor resources and tracks trends of both professional and novice workers’ needs.

Details

World Journal of Engineering, vol. 18 no. 4
Type: Research Article
ISSN: 1708-5284

Keywords

Article
Publication date: 30 April 2021

Ying Zhao, Wei Chen, Mehrdad Arashpour, Zhuzhang Yang, Chengxin Shao and Chao Li

Prefabricated construction is often hindered by scheduling delays. This paper aims to propose a schedule delay prediction model system, which can provide the key information for…

Abstract

Purpose

Prefabricated construction is often hindered by scheduling delays. This paper aims to propose a schedule delay prediction model system, which can provide the key information for controlling the delay effects of risk-related factors on scheduling in prefabricated construction.

Design/methodology/approach

This paper combines SD (System Dynamics) and BP (Back Propagation) neural network to predict risk related delays. The SD-based prediction model focuses on dynamically presenting the interrelated impacts of risk events and activities along with workflow. While BP neural network model is proposed to evaluate the delay effect for a single risk event disrupting a single job, which is the necessary input parameter of SD-based model.

Findings

The established model system is validated through a structural test, an extreme condition test, a sensitivity test, and an error test, and shows an excellent performance on aspect of reliability and accuracy. Furthermore, 5 scenarios of case application during 3 different projects located in separate cities prove the prediction model system can be applied in a wide range.

Originality/value

This paper contributes to academic research on combination of SD and BP neural network at the operational level prediction, and a practical prediction tool supporting managers to take decision-making in a timely manner against delays.

Details

Engineering, Construction and Architectural Management, vol. 29 no. 4
Type: Research Article
ISSN: 0969-9988

Keywords

Article
Publication date: 17 July 2020

Frank Koenig, Pauline Anne Found, Maneesh Kumar and Nicholas Rich

The aim of this paper is to develop a contribution to knowledge that adds to the empirical evidence of predictive condition-based maintenance by demonstrating how the availability…

Abstract

Purpose

The aim of this paper is to develop a contribution to knowledge that adds to the empirical evidence of predictive condition-based maintenance by demonstrating how the availability and reliability of current assets can be improved without costly capital investment, resulting in overall system performance improvements

Design/methodology/approach

The empirical, experimental approach, technical action research (TAR), was designed to study a major Middle Eastern airport baggage handling operation. A predictive condition-based maintenance prototype station was installed to monitor the condition of a highly complex system of static and moving assets.

Findings

The research provides evidence that the performance frontier for airport baggage handling systems can be improved using automated dynamic monitoring of the vibration and digital image data on baggage trays as they pass a service station. The introduction of low-end innovation, which combines advanced technology and low-cost hardware, reduced asset failures in this complex, high-speed operating environment.

Originality/value

The originality derives from the application of existing hardware with the combination of edge and cloud computing software through architectural innovation, resulting in adaptations to an existing baggage handling system within the context of a time-critical logistics system.

Details

Journal of Manufacturing Technology Management, vol. 32 no. 3
Type: Research Article
ISSN: 1741-038X

Keywords

Open Access
Article
Publication date: 30 September 2022

Kwame Owusu Kwateng, Benjamin Fokuoh and Francis Kamewor Tetteh

For the supply chain to be responsive in the age of globalization, the firm needs to adopt strategies to enable them to meet the changing market needs. Thus, it is essential to…

3570

Abstract

Purpose

For the supply chain to be responsive in the age of globalization, the firm needs to adopt strategies to enable them to meet the changing market needs. Thus, it is essential to adopt automatic replenishment programmes such as vendor-managed inventory (VMI). This study sought to examine the relationship between VMI and operational performance (OP) and the moderation roles of leadership and digitization in the mining sector.

Design/methodology/approach

A quantitative approach was used, including primary data collected from industry players in the mining sector in Ghana. A total of 97 industry players were included in the study. Data gathered was analysed using SPSS and LISREL (8.5).

Findings

The results indicate that VMI significantly affects OP. However, both digitization and leadership failed to moderate the relationship between VMI and OP.

Practical implications

The study offers mining companies an understanding of VMI applications in their industry. The knowledge will stimulate and improve inventory management practices in the mining industry.

Originality/value

This study is among the first few attempts to understand VMI in the mining industry, especially in the Sub-Saharan Africa context. It presents a detailed understanding of VMI and opportunities for future research.

Details

Modern Supply Chain Research and Applications, vol. 4 no. 3
Type: Research Article
ISSN: 2631-3871

Keywords

Article
Publication date: 4 November 2020

Pachayappan Murugaiyan and Venkatesakumar Ramakrishnan

Little attention has been paid to restructuring existing massive amounts of literature data such that evidence-based meaningful inferences and networks be drawn therefrom. This…

327

Abstract

Purpose

Little attention has been paid to restructuring existing massive amounts of literature data such that evidence-based meaningful inferences and networks be drawn therefrom. This paper aims to structure extant literature data into a network and demonstrate by graph visualization and manipulation tool “Gephi” how to obtain an evidence-based literature review.

Design/methodology/approach

The main objective of this paper is to propose a methodology to structure existing literature data into a network. This network is examined through certain graph theory metrics to uncover evidence-based research insights arising from existing huge amounts of literature data. From the list metrics, this study considers degree centrality, closeness centrality and betweenness centrality to comprehend the information available in the literature pool.

Findings

There is a significant amount of literature on any given research problem. Approaching this massive volume of literature data to find an appropriate research problem is a complicated process. The proposed methodology and metrics enable the extraction of appropriate and relevant information from huge quantities of literature data. The methodology is validated by three different scenarios of review questions, and results are reported.

Research limitations/implications

The proposed methodology comprises of more manual hours to structure literature data.

Practical implications

This paper enables researchers in any domain to systematically extract and visualize meaningful and evidence-based insights from existing literature.

Originality/value

The procedure for converting literature data into a network representation is not documented in the existing literature. The paper lays down the procedure to structure literature data into a network.

Details

Journal of Modelling in Management, vol. 17 no. 1
Type: Research Article
ISSN: 1746-5664

Keywords

1 – 10 of 10