The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Verification is a costly task, sometimes burdensome and tedious, requiring strong formal background. To reduce the effort and cost invested in verification, we developed a modeldriven approach for automatic verification of service properties, done in the early service design phase. Our approach is based on SEAM, a service modeling method, and it incorporates a verification system called Leon. With...
Fleet management systems have been widely used in the maritime industry. Traditional fleet management systems focus on the whole vessel/ship. With the emergence of the Internet of Things and new smart technologies, smart fleet management systems are now embedded with greater power in comparison with traditional solutions, e.g. can be used to monitor the performance, status and behaviour of not just...
Traditionally the evaluation and supervision of peak shaving operation of thermal power units depend on the simple variable of the minimum achievable load. This method didn't consider the rate of load change and the startup/shutdown time of units, and ignored the safety, emission and economy properties of the units. In addition, the peak shaving operation data of the units were acquired by means of...
Water supply management in urban areas is not simple because it involves several aspects that a decision-maker needs to address simultaneously. Due to their high complexity, problem structuring methods are adequate to provide a better understanding and to guide the decision-maker towards more assertive decisions. For this purpose, this work proposes the Value-Focused Thinking (VFT), an approach that...
This paper describes how the use of an impact assessment reveals unknown information to project teams who conduct community engagement engineering projects in rural and distant villages. The paper depicts a “tried and tested” case study to describe how the impact assessment is done and the information revealed. The second phase of the Gwakwani project included the installation of off-grid solar home...
Software maintenance has been recognized by academicians and practitioners from industry as the most challenging and expensive part in software life cycle. The complexity and high costs of maintenance activities require systematic evidence of all maintenance activities and accurate models for planning and managing them. A common way for analyzing practice in software engineering is based on trend...
This research focuses on analyzing and improving maintenance process by exploring novel applications of process mining and predictive analytics. We analyze the software maintenance process by applying process mining on software repositories, and address the identified inefficiencies using predictive analytics. To drive our research, we engage with practitioners from large, global IT companies and...
Lean Manufacturing is a concept of organization managing intended for minimization of various costs and maximum consumer orientation. This system consists of a variety of tools such as Just-In-Time system, Kanban system or 5S system; their sharing allows of realization the philosophy of Lean Manufacturing. Russian companies face a number of challenges when implementing this concept — incorrect interpretation...
In the industry, maintenance costs can be reduced by early detection and diagnosis. It can also improve the overall equipment efficiency of the machine system. To diagnose the problem is required a diagnosis system with a particular method. The Hidden Markov Model (HMM) method is used because it can determine the parameters that are hidden from the observable parameters. Then, The specified parameters...
Online business marketing applied to expand market shares is inextricably connected with availability and reliability of IT governance. This model of marketing covers activities and transactions with a digital mechanism. This research included the sample of 30 MSME (Micro, Small, and Medium Enterprises) businesses of traditional and finished clothes originated in Pontianak City. Stratified sampling...
This work aims at the study and analysis of the influence of coordination and selectivity of protection devices on the reliability of electricity distribution networks. A methodology will be present for the implementation of a computational system that has as main points the integrated analysis of short circuits, coordination and selectivity of protection devices and calculations of reliability indicators...
In the current Brazilian energy sector a lack of management for connecting distributed generation sources in distribution networks, especially mini and micro generation, can lead to several negative impacts on the quality of electrical energy supplied to the customers. The distribution energy companies are responsible for controlling and managing the distribution network in order to maintain the quality...
The changes made to Eskom's IDM ESCo model in 2015 forces energy services companies to sustain industrial DSM project performance for thirty-six months. Historically, typical industrial DSM performance declines shortly after the performance assessment period. To help ESCos adapt to the new program, processes were developed to manage the sustainability of industrial DSM project performance. Three separate...
School-enterprise cooperation has become an important guiding ideology for developing vocational education in China. This paper introduces a successful experience to build a lifelong learning system for employees. The developed lifelong learning platform has worked in the following way. Senior engineers of the enterprises train college teachers. Using rich teaching experience, the teachers can transform...
Beijing Metro Line 4 was the first metro line in China's orbit traffic industry to be built under the PPP project financing model. Hangzhou Metro Line 1 copied and borrowed the former's model. But Hangzhou Metro Line 1 has been in the red for a long time, and even became the only defective metro line in the four affiliated orbit traffic companies to MTR Corporation Limited in 2014. Given the situation,...
Block chain technology has become a hot research in recent years, and its development will affect the whole society. In this paper, the new Life Cycle model of Power Internet Financial Products was proposed under the Block Chain effects. Some results are based on econometric mathematical model and economic principles. Meanwhile, we predict the lifecycle curve of Internet financial products based on...
When a production system comes to the end of its life, a decision needs to be made what to do with it. Usually it needs to be removed from the site very quickly to make room for a new one. This paper proposes a recovery planning method (RPM) that could be used to determine a suitable End-of-Life (EoL) scenario for a production system. Making the recovery process planning more systematic can improve...
HUMS is an important system of prognostics and health management technology on modern advanced helicopters. It is of great significance to study how to develop HUMS better and faster. Firstly, this paper summarizes the development of HUMS technology in civil helicopter at home and abroad, and analyzes the configuration of HUMS system. Secondly, several typical types of HUMS system are introduced and...
The paper analyzes the critical technology of condition based maintenance in relay protection, and especially pays more attention to the on-line state maintenance of secondary circuits, including AC analog circuit, switch input circuit and breaker operating circuit. Firstly, the paper uses a comparative method to effectively monitor the AC analog circuit. No matter how relay protection devices are...
This paper provides a connection between an industrial problem of the maximization of aircraft utilization and maintenance cost savings. A more flexible structure is proposed to perform the maintenance not only during scheduled periodic checks but also whenever the aircraft is on the ground for any reason. The proposed method is the use of the single task-oriented maintenance concept. The results...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.