Acta Universitatis Sapientiae - Electrical and Mechanical Engineering

Series Electrical and Mechanical Engineering publishes original papers and surveys in various fields of Electrical and Mechanical Engineering

Implementing Industry 4.0 in SMEs

This open access book addresses the practical challenges that Industry 4.0 presents for SMEs. While large companies are already responding to the changes resulting from the fourth industrial revolution , small businesses are in danger of falling behind due to the lack of examples, best practices and established methods and tools. Following on from the publication of the previous book ‘Industry 4.0 for SMEs: Challenges, Opportunities and Requirements’, the authors offer in this new book innovative results from research on smart manufacturing, smart logistics and managerial models for SMEs. Based on a large scale EU-funded research project involving seven academic institutions from three continents and a network of over fifty small and medium sized enterprises, the book reveals the methods and tools required to support the successful implementation of Industry 4.0 along with practical examples

Testing and verification of neural-network-based safety-critical control software: A systematic literature review

Context: Neural Network (NN) algorithms have been successfully adopted in a number of Safety-Critical Cyber-Physical Systems (SCCPSs). Testing and Verification (T&V) of NN-based control software in safety-critical domains are gaining interest and attention from both software engineering and safety engineering researchers and practitioners. Objective: With the increase in studies on the T&V of NN-based control software in safety-critical domains, it is important to systematically review the state-of-the-art T&V methodologies, to classify approaches and tools that are invented, and to identify challenges and gaps for future studies. Method: We retrieved 950 papers on the T&V of NN-based Safety-Critical Control Software (SCCS). To reach our result, we filtered 83 primary papers published between 2001 and 2018, applied the thematic analysis approach for analyzing the data extracted from the selected papers, presented the classification of approaches, and identified challenges. Conclusion: The approaches were categorized into five high-order themes: assuring robustness of NNs, assuring safety properties of NN-based control software, improving the failure resilience of NNs, measuring and ensuring test completeness, and improving the interpretability of NNs. From the industry perspective, improving the interpretability of NNs is a crucial need in safety-critical applications. We also investigated nine safety integrity properties within four major safety lifecycle phases to investigate the achievement level of T&V goals in IEC 61508-3. Results show that correctness, completeness, freedom from intrinsic faults, and fault tolerance have drawn most attention from the research community. However, little effort has been invested in achieving repeatability; no reviewed study focused on precisely defined testing configuration or on defense against common cause failure.Comment: This paper had been submitted to Journal of Information and Software Technology on April 20, 2019,Revised 5 December 2019, Accepted 6 March 2020, Available online 7 March 202

Acta Universitatis Sapientiae - Electrical and Mechanical Engineering

Series Electrical and Mechanical Engineering publishes original papers and surveys in various fields of Electrical and Mechanical Engineering

Políticas de Copyright de Publicações Científicas em Repositórios Institucionais: O Caso do INESC TEC

A progressiva transformação das práticas científicas, impulsionada pelo desenvolvimento das novas Tecnologias de Informação e Comunicação (TIC), têm possibilitado aumentar o acesso à informação, caminhando gradualmente para uma abertura do ciclo de pesquisa. Isto permitirá resolver a longo prazo uma adversidade que se tem colocado aos investigadores, que passa pela existência de barreiras que limitam as condições de acesso, sejam estas geográficas ou financeiras. Apesar da produção científica ser dominada, maioritariamente, por grandes editoras comerciais, estando sujeita às regras por estas impostas, o Movimento do Acesso Aberto cuja primeira declaração pública, a Declaração de Budapeste (BOAI), é de 2002, vem propor alterações significativas que beneficiam os autores e os leitores. Este Movimento vem a ganhar importância em Portugal desde 2003, com a constituição do primeiro repositório institucional a nível nacional. Os repositórios institucionais surgiram como uma ferramenta de divulgação da produção científica de uma instituição, com o intuito de permitir abrir aos resultados da investigação, quer antes da publicação e do próprio processo de arbitragem (preprint), quer depois (postprint), e, consequentemente, aumentar a visibilidade do trabalho desenvolvido por um investigador e a respetiva instituição. O estudo apresentado, que passou por uma análise das políticas de copyright das publicações científicas mais relevantes do INESC TEC, permitiu não só perceber que as editoras adotam cada vez mais políticas que possibilitam o auto-arquivo das publicações em repositórios institucionais, como também que existe todo um trabalho de sensibilização a percorrer, não só para os investigadores, como para a instituição e toda a sociedade. A produção de um conjunto de recomendações, que passam pela implementação de uma política institucional que incentive o auto-arquivo das publicações desenvolvidas no âmbito institucional no repositório, serve como mote para uma maior valorização da produção científica do INESC TEC.The progressive transformation of scientific practices, driven by the development of new Information and Communication Technologies (ICT), which made it possible to increase access to information, gradually moving towards an opening of the research cycle. This opening makes it possible to resolve, in the long term, the adversity that has been placed on researchers, which involves the existence of barriers that limit access conditions, whether geographical or financial. Although large commercial publishers predominantly dominate scientific production and subject it to the rules imposed by them, the Open Access movement whose first public declaration, the Budapest Declaration (BOAI), was in 2002, proposes significant changes that benefit the authors and the readers. This Movement has gained importance in Portugal since 2003, with the constitution of the first institutional repository at the national level. Institutional repositories have emerged as a tool for disseminating the scientific production of an institution to open the results of the research, both before publication and the preprint process and postprint, increase the visibility of work done by an investigator and his or her institution. The present study, which underwent an analysis of the copyright policies of INESC TEC most relevant scientific publications, allowed not only to realize that publishers are increasingly adopting policies that make it possible to self-archive publications in institutional repositories, all the work of raising awareness, not only for researchers but also for the institution and the whole society. The production of a set of recommendations, which go through the implementation of an institutional policy that encourages the self-archiving of the publications developed in the institutional scope in the repository, serves as a motto for a greater appreciation of the scientific production of INESC TEC

Air Force Institute of Technology Research Report 2009

This report summarizes the research activities of the Air Force Institute of Technology’s Graduate School of Engineering and Management. It describes research interests and faculty expertise; lists student theses/dissertations; identifies research sponsors and contributions; and outlines the procedures for contacting the school. Included in the report are: faculty publications, conference presentations, consultations, and funded research projects. Research was conducted in the areas of Aeronautical and Astronautical Engineering, Electrical Engineering and Electro-Optics, Computer Engineering and Computer Science, Systems and Engineering Management, Operational Sciences, Mathematics, Statistics and Engineering Physics

"ALTERNATIF PENERAPAN TEKNOLOGI INFORMASI DALAM PENENTUAN SUPPLIER INDUSTRI MANUFAKTUR BERBASIS BILL of MATERIAL DAN GROUP TECHNOLOGY"

"Pemilihan supplier merupakan permasalahan yang komplek pada era Industri 4.0 sekarang ini. Banyaknya jumlah supplier dengan kualitas performansi yang berbeda-beda menyebabkan sulitnya pihak internal perusahaan untuk memilih supplier yang sesuai. Di sisi lain macam-macam bahan baku yang dibutuhkan untuk membuat produk jadi, sangat beragam. Kesesuaian supplier berkualitas yang diperlukan untuk memasok bahan baku yang dibutuhkan oleh industri menjadi hal yang penting untuk diselesaikan. Begitupun halnya dengan industri perakitan traktor tangan, industri kecil menengah ini juga sangat tergantung pada ketersediaan bahan pasokan, dan sudah pasti tergantung pula dengan pemilihan supplier itu sendiri. Penelitian disertasi ini bertujuan untuk memperoleh metode terbaru untuk memilih supplier pada industri manufaktur dengan studi kasus pada perakitan industri kecil traktor tangan. Penelitian disertasi ini diawali dengan kegiatan studi literatur melalui FGD, dan studi pustaka, kemudian diikuti dengan pembuatan desain prototipe aplikasi. Dimana untuk menyusun database bahan baku disusun menggunakan struktur produk pada Bill of Material, penentuan bobot kriteria optimal menggunakan Genetic Algorythms dan pemilihan supplier menggunakan metode multi criteria decision making. Studi kasus penelitian ini di sentra Industri Logam Ceper Klaten Solo, yaitu di Politeknik Manufaktur Ceper. Sedangkan pelaksanaan penelitiannya di Lab Komputasional dan Sistem Informasi serta Laboratorium Rekayasa Sistem Informasi Politeknik Negeri Jember. Uji coba aplikasi diimplementasikan pada studi kasus sesungguhnya, dengan data supplier 153, data bahan baku 70 bahan baku dengan variabel kriteria pemilihan supplier sebanyak 10 variabel. Pada tahap akhir diverifikasi menggunakan kuesioner online Google Form, dengan data responden sebanyak 101, banyaknya responden yg memilih “Sangat mudah” dan “Mudah” atau “Sangat lengkap” dan “Lengkap” atau “Sangat tepat” dan “Tepat” > 80 %, ini menunjukkan bahwa aplikasi / web yang dihasilkan dalam penelitian ini sesuai dengan harapan IKM pengguna (Verified). Kata kunci : Pemilihan pemasok, Computational intelegence, Bill of Material, Group Technology, Multi Criteria Decision Making dan Genetic Algorythms.

Computational intelligence approaches to robotics, automation, and control [Volume guest editors]

No abstract available