Zerrendatu Kongresuak-Ingeniaritza honen arabera: izenburua
344-tik 292-311 emaitza erakusten
-
Runtime Contracts Checker: Increasing Robustness of Component-Based Software Systems
(IOP Publishing, 2019)Software Systems are becoming increasingly complex leading to new Validation &Verification challenges. Model checking and testing techniques are used at development time while runtime verification aims to verify that a ... -
Runtime observable and adaptable UML state machines: models@run.time approach
(ACM, 2019)n embedded system is a self-contained system that incorporateselements of control logic and real-world interaction. UML State Ma-chines constitute a powerful formalism to model the behaviour ofthese types of systems. In ... -
Sandwich biskoelastikoen nukleoaren lodieraren eragina igogailu baten erantzun dinamikoan
(UEU, 2019)The use of thin viscoelastic sandwiches in terms of vibration attenuation has been widely validated. Sandwich structures composed of viscoelastic adhesive films and metallic constraining layers result in thin composite ... -
A Scalable and Unified Multi-Control Framework for KUKA LBR iiwa Collaborative Robots
(IEEE, 2023)The trend towards industrialization and digitalization has led more and more companies to deploy robots in their manufacturing facilities. In the field of collaborative robotics, the KUKA LBR iiwa is one of the benchmark ... -
Search-based Test Case Selection for PLC Systems using Functional Block Diagram Programs
(IEEE, 2023)Programmable Logic Controllers (PLCs) are the core unit of the production system, which frequently need to implement new processes to address customer needs. These changes must be fully tested to ensure the reliability of ... -
Seeding Strategies for Multi-Objective Test Case Selection: An Application on Simulation-based Testing
(ACM, 2020)The time it takes software systems to be tested is usually long. This is often caused by the time it takes the entire test suite to be executed. To optimize this, regression test selection approaches have allowed for ... -
Sensitivity analysis on an AC600 aluminum skin component
(IOP, 2016)New materials are been introduced on the car body in order to reduce weight and fulfil the international CO2 emission regulations. Among them, the application of aluminum alloys is increasing for skin panels. Even if these ... -
Shielded Reinforcement Learning: A review of reactive methods for safe learning
(IEEE, 2023)Reinforcement Learning (RL) algorithms are showing promising results in simulated environments, but their replication in real physical applications, even more so in safety-critical applications, is not yet guaranteed. ... -
SiC erdieroaleak energia eolikoan LCoEa hobetzeko
(UEU, 2021)This research identifies the wind energy as the main renewable source. In order to improve its LCoE, SiC semiconductors are proposed, together with different voltage levels and topologies. After analyzing various configurations, ... -
Silicon Application Extension Versus WBG Due to Partial Power Processing
(IEEE, 2022)This paper discusses the new possibilities that partial power processing offers to implement silicon semiconductors compared to wide-bandgap technologies. With this purpose, an on-board charger application is presented as ... -
Simulation based IEEE 802.11ad performance assessment in factory workshop
(IEEE, 2023)The IEEE 802.11ad standard exploits the millimeter wave (mmWave) spectrum, concretely the license-free frequency band in the 57-71 GHz range. Nowadays, this frequency band is mostly unused for use cases related to communication ... -
Simulation of Cold Forging Processes Using a Mixed Isotropic-Kinematik Hardening Model
(Springer, 2021)Cold forging is a manufacturing process where a bar stock is inserted into a die and squeezed with a second closed die. It is one of the most widely used chipless forming processes, often requiring no machining or additional ... -
Single Core and Modular Transformer Solutions: a Trade-Off Analysis of Volume, Losses and Temperature Rise
(IEEE, 2022)In this paper, a comparison between single core and modular transformer solutions is made. Basic dimensional relations between volumes, areas and lengths are used to obtain mathematical expression of the power losses and ... -
Sistema Ziber-Fisiko Aldakorrak : analisia, kudeaketa eta simulazioa
(UEU, 2015)Cyber-Physical Systems integrate digital cyber technologies with complex physical systems. These systems are taking importance in our dayly lives and their variability is considerably increasing to give response to di erent ... -
Social Networks, Big Data and Transport Planning
(Elsevier, 2016)The characteristics of people who are related or tied to each individual affects her activity-travel behavior. That influence is especially associated to social and recreational activities, which are increasingly important. ... -
Software Defined Networking Opportunities for Intelligent Security Enhancement of Industrial Control Systems
(Springer International Publishing, 2017)In the last years, cyber security of Industrial Control Systems (ICSs) has become an important issue due to the discovery of sophisticated malware that by attacking Critical Infrastructures, could cause catastrophic safety ... -
Stability and parking cross distance adapter mechanism for electric vehicle
(2017 EAEC European Automotive Congress, 2017)Due to the actual vehicle dimensions, low occupancy rates and the increase of world population, a trend to develop new vehicle concepts with smaller dimensions is seen. The objective of this trend is to reduce traffic ... -
Static Current Unbalance of Paralleled SiC MOSFET Modules in the Final Layout
(IEEE, 2020)Silicon Carbide (SiC) MOSFETs enable enhanced performance of power converters in several applications. Parallel connection of SiC MOSFETs become mandatory for medium power applications due to the current rate of existing ... -
Supporting CRUD Model Operations from EOL to SQL
(SCITEPRESS, 2016)Model-based software development promises improvements in terms of quality and cost by raising the abstraction level of the development from code to models, but also requires mature techniques and tools. Although Eclipse ... -
SURF and MU-SURF descriptor comparison with application in soft-biometric tattoo matching applications
(Mondragon Unibertsitatea, 2012)In this work a comparison of the SURF and MUSURF feature descriptor vectors is made. First, the descriptors’ performance is evaluated using a standard data set of general transformed images. This evaluation consists in ...