1. PALANTIR : An NFV-Based Security-as-a-Service Approach for Automating Threat MitigationMaxime Compastié, Antonio López Martínez, Carolina Fernandez, Manuel Gil Pérez, Stylianos Tsarsitalidis, George Xylouris, Izidor Mlakar, Michail Alexandros Kourtis, Valentino Šafran, 2023, izvirni znanstveni članek Opis: Small and medium enterprises are significantly hampered by cyber-threats as they have inherently limited skills and financial capacities to anticipate, prevent, and handle security incidents. The EU-funded PALANTIR project aims at facilitating the outsourcing of the security supervision to external providers to relieve SMEs/MEs from this burden. However, good practices for the operation of SME/ME assets involve avoiding their exposure to external parties, which requires a tightly defined and timely enforced security policy when resources span across the cloud continuum and need interactions. This paper proposes an innovative architecture extending Network Function Virtualisation to externalise and automate threat mitigation and remediation in cloud, edge, and on-premises environments. Our contributions include an ontology for the decision-making process, a Fault-and-Breach-Management-based remediation policy model, a framework conducting remediation actions, and a set of deployment models adapted to the constraints of cloud, edge, and on-premises environment(s). Finally, we also detail an implementation prototype of the framework serving as evaluation material. Ključne besede: Security-as-a-Service, security orchestration, policy-driven management, virtual network functions, finite state machines, constraints programming Objavljeno v DKUM: 06.02.2024; Ogledov: 90; Prenosov: 3 Celotno besedilo (963,42 KB) Gradivo ima več datotek! Več... |
2. Optimal positioning of mobile cranes on construction sites using nonlinear programming with discontinuous derivativesMatjaž Hozjan, Uroš Klanšek, 2023, izvirni znanstveni članek Opis: Mobile cranes represent conventional construction machinery that is indispensable for the erection of most prefabricated buildings, especially those containing heavy components. However, it is also common knowledge that the engagement of these machines has a significant influence on the environment, various social aspects of the construction process, and its economic benefits. Optimal positioning of the mobile crane on the construction site, primarily driven by the contractor’s interest to perform assembly operations with expensive machinery as effectively as possible, considerably reduces not only the costs of engaging such a machine but indirectly also its negative impacts on construction sustainability. This paper discusses an exact nonlinear model for the optimization task. The optimization model consists of a cost objective function that is subject to various duration and positioning constraints for the mobile crane, including bounds on its degrees of freedom of movement and stop positions. Because the model formulation includes discontinuous and non-smooth expressions, nonlinear programming with discontinuous derivatives (DNLP) was employed to ensure the optimal solution was reached. The model provides the mobile crane operator with exact key information that enables the complete and optimal assembly of the building structure under consideration. Additionally, the information gained on the optimal distribution of the mobile crane rental period to assembly operations allows for a detailed duration analysis of the entire process of building structure erection, which can be used for its further improvement. An application example is given in this study to demonstrate the advantages of the proposed approach. Ključne besede: construction sustainability, mobile crane, nonlinear programming with discontinuous derivatives, optimization, positioning Objavljeno v DKUM: 18.12.2023; Ogledov: 185; Prenosov: 7 Datoteka (877,26 KB) Gradivo ima več datotek! Več... |
3. Response surface method-based optimization of outer rotor permanent magnet synchronous motorVahid Rafiee, Jawad Faiz, 2019, izvirni znanstveni članek Opis: The Finite Element Method (FEM) is a prominent analysis approach. Although it is applicable for simulation and optimization of electrical machines, FEM is a very time-consuming technique. One of the approaches to shorten the optimization runtime is the use of surrogate models instead of FEM. In this paper, the design and optimization of an outer rotor permanent magnet synchronous motor for a hybrid vehicle are investigated. Response surface methodology (RSM) with four input variables is integrated with a sequential quadratic programming algorithm for optimization. Before the optimization, the performance of the surrogate model in the prediction of untried points is validated. Finally, the optimal motor is simulated by FEM to verify the results of RSM-based optimization, and the outputs of both models are compared. Ključne besede: response surface surrogate method, outer rotor permanent magnet synchronous motor, sequential quadratic programming optimization Objavljeno v DKUM: 05.12.2023; Ogledov: 274; Prenosov: 3 Celotno besedilo (683,42 KB) Gradivo ima več datotek! Več... |
4. Generalised fuzzy linear programmingJanez Usenik, Maja Žulj, 2023, izvirni znanstveni članek Opis: Linear programming is one of the widely used methods for optimising business systems, which includes organisational, financial, logistic and control subsystems of energy systems in general. It is possible to express numerous real-world problems in a form of linear program and then solve by simplex method [1]. In the development of linear programming, we are facing a number of upgrades and generalisations, as well as replenishment. Particularly interesting in recent years is an option that decision variables and coefficients are fuzzy numbers. In this case we are dealing with fuzzy linear programming. If we also include in a fuzzy linear program a generalisation with respect to Wolfe’s modified simplex method [1], we obtain a generalised fuzzy linear program (GFLP). Usenik and Žulj introduced methods for solving those programs and proved the existence of the optimal solution in [2]. In the article, the simplex algorithm which enables the determining of an optimal solution for GFLP is described. There is a numerical example at the end of the article that illustrates the algorithm. Ključne besede: linear programming, fuzzy linear programming, generalised linear programming, generalised fuzzy linear programmin Objavljeno v DKUM: 11.10.2023; Ogledov: 149; Prenosov: 4 Celotno besedilo (21,53 MB) Gradivo ima več datotek! Več... |
5. Editorial: combined water and heat integration in the process industriesElvis Ahmetović, Ignacio E. Grossmann, Zdravko Kravanja, François Marechal, Jiri Klemeš, Luciana E. Savulescu, Dong Hongguang, 2022, predgovor, uvodnik, spremna beseda Opis: Water and energy are resources that are used in large quantities in different sectors (domestic, agricultural, and industrial). Based on data on global water and energy consumption in the world over the recent past, as well as forecasts for the coming years, a continuous trend of increasing water and energy consumption can be observed. ... Ključne besede: water integration, heat integration, systematic methods, pinch analysis, mathematical programming, heat-integrated water networks, optimisation, process industry Objavljeno v DKUM: 18.08.2023; Ogledov: 234; Prenosov: 18 Celotno besedilo (505,83 KB) Gradivo ima več datotek! Več... |
6. Using Artificial Intelligence in Software Development: a case analysisPatricija Vrentuša, 2023, magistrsko delo Opis: In this work, we talk about artificial intelligence and its impact on software development. We define the AI concept, the software development process, and the various uses of AI in programming. We put a special focus on the ethical aspects of AI. In the empirical part, we analyzed the AI pair programming tool created by Microsoft called GitHub Copilot. We examine several usage examples, as well as the opinions of developers that have been using GitHub Copilot. We found that the AI pair programmer tool helps programmers increase productivity and automate mundane tasks to concentrate on more complex and interesting parts of software development. However, some programmers raise concerns about unethical concepts connected to the development of GitHub Copilot, implying violations of original code author copyrights. We discuss current licenses, other possible solutions, and the morality of building AI on open-sourced repositories. Moreover, many believe that the future will be increasingly intertwined with AI in all industries and that the only way to preserve (software development) jobs is to keep learning and being innovative and creative. Programmers say that almost certainly their job will not vanish because of AI advancement; only the scope of their work will change. Ključne besede: AI, software development, ethics, AI pair programming, GitHub Copilot. Objavljeno v DKUM: 21.02.2023; Ogledov: 810; Prenosov: 113 Celotno besedilo (1,49 MB) |
7. Automatic compiler/interpreter generation from programs for domain-specific languages using semantic inference : doktorska disertacijaŽeljko Kovačević, 2022, doktorska disertacija Opis: Presented doctoral dissertation describes a research work on Semantic Inference, which can be regarded as an extension of Grammar Inference. The main task of Grammar Inference is to induce a grammatical structure from a set of positive samples (programs), which can sometimes also be accompanied by a set of negative samples. Successfully applying Grammar Inference can result only in identifying the correct syntax of a language. But, when valid syntactical structures are additionally constrained with context-sensitive information the Grammar Inference needs to be extended to the Semantic Inference. With the Semantic Inference a further step is realised, namely, towards inducing language semantics. In this doctoral dissertation it is shown that a complete compiler/interpreter for small Domain-Specific Languages (DSLs) can be generated automatically solely from given programs and their associated meanings using Semantic Inference. For the purpose of this research work the tool LISA.SI has been developed on the top of the compiler/interpreter generator tool LISA that uses Evolutionary Computations to explore and exploit the enormous search space that appears in Semantic Inference. A wide class of Attribute Grammars has been learned. Using Genetic Programming approach S-attributed and L-attributed have been inferred successfully, while inferring Absolutely Non-Circular Attribute Grammars (ANC-AG) with complex dependencies among attributes has been achieved by integrating a Memetic Algorithm (MA) into the LISA.SI tool. Ključne besede: Grammatical Inference, Semantic Inference, Genetic Programming, Attribute Grammars, Memetic Algorithm, Domain-Specific Languages Objavljeno v DKUM: 17.02.2022; Ogledov: 1005; Prenosov: 110 Celotno besedilo (3,59 MB) |
8. |
9. Prepoznavanje položaja in orientacije objekta s strojnim vidom vodenega robotskega sistemaSebastjan Spital, 2018, diplomsko delo Opis: V diplomskem delu je predstavljeno zajemanje in obdelava slike s spletno kamero Logitech v programu LabView z dodanimi moduli. LabView komunicira s krmilnikom robota Mitshubishi, kateri prejme informacijo o koordinatah in prestavi objekt. Ključne besede: Strojni vid, zajemanje slike, obdelava slike, komunikacija Ethernet, LabView, kamera Logitech, robot Mitshubishi, Ciros Programming Objavljeno v DKUM: 21.01.2019; Ogledov: 1508; Prenosov: 112 Celotno besedilo (2,00 MB) |
10. A practical method for the optimal design of continuous footing using ant-colony optimizationBoonchai Ukritchon, Suraparb Keawsawasvong, 2016, izvirni znanstveni članek Opis: The objective of this paper is to present a practical method for the optimal design of a continuous footing subjected to vertical and horizontal loads. The design problem of finding the optimal size of footing as well as the minimum steel reinforcement is formulated in a nonlinear minimization form. The continuous footing is subjected to the vertical and horizontal loads acting on the top of the column. There are four design variables in the design problem, i.e., the width of the footing, the thickness of the footing, the soil-embedment depth, and the amount of steel reinforcement. The required geotechnical constraints include the bearing capacity, overturning, as well as global sliding and local sliding at the footing corners. Short-term stability and long-term stability are considered simultaneously in the same formulation. The structural constraints are enforced to control the shear force and bending moment within the section resistance. The formulation of the problem’s constraints leads to the nonlinear programming, whose objective function is to minimize the total cost of the footing material, including the concrete and steel reinforcement. The optimal solution is solved using the ant-colony optimization algorithm MIDACO. The proposed optimization method is demonstrated through the actual design of the footing for supporting a large machine moving on rails. Ključne besede: optimal design, footing, stability, nonlinear programming, ant-colony optimization Objavljeno v DKUM: 18.06.2018; Ogledov: 1273; Prenosov: 76 Celotno besedilo (446,51 KB) Gradivo ima več datotek! Več... |