Task:

The topic is aimed to critical revision of power components theories taking into account physical merits of measured phenomena related to nonlinear, dynamic and active distribution systems. It is expected to contribute to literature review, development and performance evaluation of metrics for revenue meters which will cope correctly with nowadays phenomena in order to measure really passing active energy..

Requirements:

Interest in measurement (energy measurement) and (power system) signals processing in Matlab or LabVIEW.
Brno University of Technology, Faculty of Electrical Engineering, Department of Power Engineering
Active Power and Energy Revenue Measurement at Simultaneous Consumption and Generation under Nonsymmetrical and Time-variable Conditions
Topic Overview:

Quantum mechanics represents a part of modern physics that describes laws and behavior of particles at (sub)atomic scale. The main aspects of the quantum world include the notion of superposition, entanglement, interference and probabilistic nature of (many) processes which may be observed in this area. These elements are widely used also in quantum computing – an emergent area that, if it were successful, could lead to a revolution in computing. However, conventional computers may also serve as suitable platform for applying quantum ideas – e.g. in the form of inspiration adopted to various algorithms and computational models which run on conventional computers. Quantum-Inspired optimization algorithms represent a practically important field of iterative algorithms suitable mainly for solving complex (NP hard, NP complete) optimization tasks (e.g. factorization of big numbers, satisfiability of boolean formulas or varoius graph problems like traveling salesman or graph coloring). The objective of this project is to study, modify (or eventually improve) and apply to suitable problem(s) selected quantum inspired algorithms known from the literature. If a suitable custom variant of an algorithm is found and applied on selected problem, innovative results may be obtained which would lead to further progress in this outstanding area. A secondary (optional) outcome of the project is to provide and present a high-quality implementation of selected technique that would be suitable for future educational purposes.

Task:

1) Get informed in quantum inspired evolutionary algorithms (QIEA) in general (see [1] for a survey).
2) Study a selected QIEA in more detail, including applications to various problems (for example, see [2][3] but try to make your own selection, discuss your interest with the supervisor).
3) Make a survey of suitable existing QIEA implementations, do experiments, get familiar with a selected framework (for example, try to find your first inspiration in [4]).
4) Focus on repeating some experiments from the literature. Perform tuning of the QIEA, play with it, apply your own ideas and try to improve the results presented in literature.
5) Make a comparative study of the selected QIEA with your variant.

Requirements:

Interest in studying (not always easy) techniques combining some aspects of computing with the ideas of modern physics. Programming skills mainly using existing frameworks and libraries (C/C++, Python).

Outcomes:

A poster presentation and/or technical report summarizing your observations and results.

References:

1) https://www.researchgate.net/publication/220403564 Quantuminspired_evolutionary_algorithms_A_survey_and_empirical_study,
2) https://www.researchgate.net/publication/309214642_Quantum_Genetic_Algorithms_for_Computer_Scientists,
3) https://www.researchgate.net/publication/268381602_Comparison_of_Genetic_Algorithm_and_Quantum_Genetic_Algorithm,
4) https://github.com/rnowotniak/qopt
Brno University of Technology, Faculty of Information Technology, Department of Computer Systems
Quantum-Inspired Optimization Algorithms
Topic Overview:

The topic is “Profiling of Embedded Applications” and it is practically oriented. Expected results of the internship will represent a solid base for deeper analysis of real embedded systems, especially for studying an impact of various development techniques/means and obtaining data, e.g., for validation of existing models or for research publications.

Task:

1) Familiarize yourself with basic terms and principles related to embedded systems as well as with basic development aspects of embedded applications. Summarize your knowledge into a short report.
2) Perform a research in the area of profiling of embedded applications - summarize key terms, concepts and instruments available in software (such as SystemView or FreeMaster) or hardware (such as ARM's DWT unit) for various platforms.
3) Choose an embedded platform (e.g., ARM), operating system (e.g., FreeRTOS) and a profiler (e.g., FreeMaster). Use them to create a simple embedded application and profile it.
4) Based on the agreement with the supervisor, prepare a set of non-trivial embedded applications and prepare a framework for their profiling.
5) Apply the profiling chain of your framework to the set of embedded applications in order to evaluate and present the profiling results to a user.

Requirements:

Any previous experience with the development of embedded systems is welcome. Active interest in the topic, creativity, ability to solve problems independently as well as ability to (self) study are strongly recommended.

Outcomes:

Profiling results for the set of embedded applications and a short (about 10 pages long) technical report.

References:

FREEMASTER: FreeMASTER Run-Time Debugging Tool (e.g., video tutorials in the TRAINING & SUPPORT section at https://www.nxp.com/design/software/development-software/freemaster-run-time-debugging-tool:FREEMASTER), SEGGER SystemView (e.g., video tutorials in the Video and SystemView Media parts at https://www.segger.com/products/development-tools/systemview/), uC/Probe (http://micrium.com/probe/uC-Probe- UsersManual.pdf), MCUXpresso SWO Trace (https://www.nxp.com/docs/en/training-reference-material/AMF-SOL-ADVANCED-DEBUG-MCUXPRESSO-IDE-PRESENTATION.pdf,  https://www.nxp.com/docs/en/quick-reference-guide/MCUXpresso_IDE_SWO_Trace.pdf) and/or materials to similar instruments.
Brno University of Technology, Faculty of Information Technology, Department of Computer Systems
Profiling of Embedded Applications
Task:

Power generation using renewable power sources and preferably at point of demand is certainly way to reach ever-increasing needs for the environmental protection.  Nevertheless, operation of those generating units in parallel with distribution system is challenging and need to fulfil with  given requirements ensuring proper integration. The aim of the project is to identify applicability and in the form of a  methodology to formulate methods and processes for power generating plants compliance verification with the connection network code requirements on the basis of certificates. The task is to provide support within existing technical regulation across globe review – concepts verification by means of simulation - and data evaluation stages.

Requirements:

Interest in power systems operation, technical regulation, verification methodologies, and certification processes.
Brno University of Technology, Faculty of Electrical Engineering, Department of Power Engineering
Methodology for Power Generating Modules Verification of Compliance with Connection Network Code Requirements
Task:

Verification of requirements on generating modules and their capability to provide requested behaviour according to and behind the standards and other related requirements, in order to prevent distribution system from abnormal situations, is crucial task. For this purpose, a sophisticated test system is built and test procedures developed. The project task is to participate on the test system and test procedures development.

Requirements:

Interest in power electronics, measuring and test systems, experience with programming in LabVIEW.
Brno University of Technology, Faculty of Electrical Engineering, Department of Power Engineering
Test Stand for Power Generating Modules Verification of Conformity/Compliance with Type/Operational Requirements
Topic Overview:

In artificially illuminated areas, lamps light variations due to variations in supply voltage may also lead to disturbance of flicker  perception by humans. Capability of the lamps to transfer changes in supply voltage to varying luminous flux is given, in case  of a converter-operated lamps, mainly by design of the converter. As for LED lamps there are many supply circuit designs  ensuring required functionalities, however their immunity by means of flicker can differs significantly. The aim of the project is  to participate on market review in order to identify present deployment of significant technologies.

Requirements:

Analytical thinking, interest in EMC related to lamps, statistical methods.
Brno University of Technology, Faculty of Electrical Engineering, Department of Power Engineering
LED Lamps Immunity to Voltage Variations Related to Flicker
Task:

PLC programming task is to provide data logging, on-line monitoring of individual variables and their visualization.
Brno University of Technology, Faculty of Electrical Engineering, Department of Power Engineering
Programming and Optimization of a Monitoring Hybrid System of Photovoltaic (PV) and Wind Turbine (WT) Built Based on a Programmable PLC
Task:

The aim of the task is to prepare a test stand for testing island operation of inverters. We are not currently conducting this test, but are interested in including it in our portfolio. At present, we have calculated and produced the RLC load for testing by standards. The student would be involved in the preparation of tests and their implementation.

Requirements:

Analytical thinking, interest in Renewable Energy Sources, basic knowledge of LabVIEW, basic knowledge of MATLAB (processing and evaluating results).
Brno University of Technology, Faculty of Electrical Engineering, Department of Power Engineering
Testing of Island Operation of Inverters
Task:

The task is to create a program for automated positioning of a motor-controlled structure based on the position of the Sun. The control system will be implemented in a programmable PLC, to which the necessary sensors will be connected. The program provides positioning, visualization, data collection and online access.
Brno University of Technology, Faculty of Electrical Engineering, Department of Power Engineering
Programming Control Algorithm for PV Tracker
Task:

The aim is to prepare project documentation for the assembly of a high-voltage battery box. The previous student performed mathematical modeling and built a 3D model of the system and a physical model for testing. The main task will be the calculation of technical parameters and dimensioning of individual parts of the box (cooling, control unit, internal mounting) and testing with a defined type of BMS.

Requirements:

Analytical thinking, interest in Renewable Energy Sources, basic knowledge of MATLAB (processing and evaluating results).
Brno University of Technology, Faculty of Electrical Engineering, Department of Power Engineering
High-Voltage Storage System
Technical University of Liberec, Faculty of Mechanical Engineering, Department of Manufacturing Systems and Automation
Development of Control Interface for Nanostructures Production Device
Topic Overview:

We have created a prototype device that allows you to create unique nanostructures by combining two methods of creating nanofibers. The device is controlled via a direct code on the microcontroller. We would like to increase the level of automation and add control of devices via a graphical interface directly from the device. This is an interesting excursion into the world of nanotechnology and mechatronics.

Task:

Create a user interface for a device that uses for manufacturing complex nanofiber structures. The user interface will work on Raspberry Pi on the touch screen. Qt designer and Python lang. is used for this prop.

Requirements:

Experience with Python, Raspbery Pi, Arduino, basic electronics.

Outcomes:

Graphical user interface on Raspbery Pi.

Recommended for:

Students of electrical / mechanical / software engineering (depending on student skills the task would be adapted).
Technical University of Liberec, Faculty of Mechanical Engineering, Department of Manufacturing Systems and Automation
Development of Control Interface for Micro/Nanofiber Scaffollds 3D Printer
Topic Overview:

We have created a prototype device that allows you to create special structures of the so-called scaffolds. The device is used  in the medical field. A graphical interface will help maintenance personnel use the device without programming knowledge.  This is an interesting excursion into the world of nanotechnology and mechatronics.

Task:

Create a grafical user interface for a 3 axis device (based on 3d printer) that uses for manufacturing micro-and nanofiber scaffollds. The user interface should be written in Python (Qt designer).

Requirements:

Experience with Python, G-code, 3d printing,  basic electronics.

Outcomes:

User friendly software, that allows you to perform certain operations on the device.

Recommended for:

Students of electrical / mechanical / software engineering (depending on student skills the task would be adapted).
University of Pardubice, Faculty of Electrical Engineering and Informatics, Department of Process Control
Image Processing Using Deep Learning
Topic Overview:

Thanks to deep learning, intelligent image processing is able to combine various AI technologies to not only automatically classify images, but also describe various elements in pictures and provide additional important features for detailed  evaluation. The intern will cooperate with the research team in the Czech Republic on the R&D project focused on image processing for quality control in industrial production company.

Task:

Data processing, data labelling, model design, model evaluation.

Requirements:

Microsoft Office, Basic programming skills.

Outcomes:

Dataset, report, cooperation on publication.
Topic Overview:

The topic is “Statistical Model Checking of Approximate Computing Systems” and it is about modelling, simulation and model checking of a special class of systems.  Expected results of the internship will represent a solid base for deeper analysis of the so-called approximate computing systems, especially in the areas of finding better  cost/quality trade-offs and obtaining data for research publications.

Task:

1) Summarize aspects of the so-called Statistical Model Checking (SMC) and analyse the actual state in the area of modelling and analysis of approximate computing (AC) systems with a special attention paid to their dynamics.
2) Identify SMC means suitable for modelling and analysis of AC systems as well as for evaluation of their attributes and their effects.
3) Model representatives from a selected class of AC systems (such as approximate algorithms or circuits), check their properties by means of SMC and compare them with properties of "accurate" variants of such systems.
4) Evaluate your approach and discuss it from the applicability and validity viewpoints.

Requirements:

Any previous experience with modelling and analysis of systems is welcome. Active interest in the topic, creativity, ability to solve problems independently as well as ability to (self) study are strongly recommended.

Outcomes:

Models of accurate and approximate variants of the selected class of approximate computing systems, experimental results and a short (about 10 pages long) technical report.

References:

http://people.cs.aau.dk/~adavid/smc/index.html, https://ieeexplore.ieee.org/document/9116207
Brno University of Technology, Faculty of Information Technology, Department of Computer Systems
Statistical Model Checking of Approximate Computing Systems
Topic Overview:

The topic is “Statistical Model Checking of Cellular Automata Systems” and it is about modelling, simulation and model checking of a special class of systems.  Expected results of the internship will represent a solid base for deeper analysis of cellular automata systems, design and evaluation of various techniques and obtaining data, e.g., for research publications.

Task:

1) Summarize key terms and concepts related to the so-called Statistical Model Checking (SMC) and analyse the actual state in the area of modelling and analysis of Cellular  Automata Systems (CAS).
2) Identify SMC means suitable for modelling and analysis of CASs as well as for evaluation of their attributes and their effects.
3) Model a  representative application based on CAS and check its properties by means of SMC.
4) Evaluate model and discuss it from the applicability and validity viewpoints.

Requirements:

Any previous experience with modelling and analysis of systems is welcome. Active interest in the topic, creativity, ability to solve problems independently as well as ability to (self) study are strongly recommended.

Outcomes:

Models of a representative set of cellular automata systems, experimental results and a short (about 10 pages long) technical report.

References:

http://people.cs.aau.dk/~adavid/smc/index.html,  https://mathworld.wolfram.com/CellularAutomaton.html,  https://plato.stanford.edu/entries/cellular-automata/
Brno University of Technology, Faculty of Information Technology, Department of Computer Systems
Statistical Model Checking of Cellular Automata Systems
Topic Overview:

The topic is “Exploration of Game Strategies in UPPAAL STRATEGO”.  Expected results of the internship will represent a solid base for deeper analysis of exploration of strategies to control dynamic systems and obtaining data, e.g., for research publications.

Task:

1) Familiarize yourself with the modelling and analysis of dynamic systems in the UPPAAL toolset. Especially, focus yourself to the UPPAAL STRATEGO.
2) Summarize the  capability of UPPAAL STRATEGO to facilitate the generation, optimization, comparison as well as consequence and performance exploration of strategies for stochastic  priced timed games. For that purpose, create a comprehensible, user friendly user guide.
3) Use a set of existing models (e.g., Traffic Dilema, Cruise Control, Newspaper and Travel) and, at least one, own model to demonstrate capabilities and scalability of UPPAAL STRATEGO.

Requirements:

Any previous experience with modelling and analysis of systems is welcome. Active interest in the topic, creativity, ability to solve problems independently as well as ability to (self) study are strongly recommended.

Outcomes:

A set of models for UPPAAL STRATEGO, a user-friendly and technically correct user guide for UPPAAL STRATEGO and the evaluation of UPPAAL STRATEGO.

References:

https://link.springer.com/chapter/10.1007/978-3-662-46681-0_16, http://people.cs.aau.dk/~marius/stratego/intro.html
Brno University of Technology, Faculty of Information Technology, Department of Computer Systems
Exploration of Game Strategies in UPPAAL STRATEGO
Topic Overview:

The topic is “Visualization of Annotated Trajectory”.  Expected results of the internship will represent a solid base for the presentation of experimentally got data to a  customer, for research publications etc.

Task:

1) Do a research in the area of approaches, methods, and tools for visualizing the annotated trajectory of various classes of moving objects (e.g., cars, trains, ships, drones).
2) Select a class of moving objects, get acquainted with the data format of their annotated trajectory and summarize the requirements for visualizing their annotated trajectory.
3) Analyse implementation variants, discuss candidate implementation tools/methods and propose a solution for visualizing the annotated trajectory of the selected class of objects.
4) Implement your solution.
5) Check properties of the implemented solution using a well-selected data set and user testing.

Requirements:

Any previous experience with modelling and analysis of systems is welcome. Active interest in the topic, creativity, ability to solve problems independently as well as ability to (self) study are strongly recommended.

Outcomes:

The source codes of your solution as well as i) a poster presenting the solved problem, your approach to solve it, properties of this solution and ii) a gallery of images and/or videos to demonstrate representative results produced by your solution.
Brno University of Technology, Faculty of Information Technology, Department of Computer Systems
Visualization of Annotated Trajectory
Brno University of Technology, Faculty of Information Technology, Department of Computer Systems
Characterization of Faults in Computer-Based Systems
Topic Overview:

The topic is “Characterization of faults in computer-based systems” – it is research oriented. Expected result of the internship is a survey of published data about faults (e.g., fault occurrence times) regarding computer-based systems, their components such as communication interfaces/busses, memories, logic. The survey will represent a solid base for the consequent validation of existing research models.

Requirements:

At least, basic knowledge about computer-based systems (i.e., about their components, structure, operating principle etc.) is required. Any previous experience with doing a survey is welcome; active interest in the topic, as well as ability to (self) study are strongly recommended.

Outcomes:

A 15-25 pages long survey of characteristics of faults/errors regarding computer-based systems.

References:

You can start to study materials accessible via https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=7298.
© 2021 INCBAC
Institute of Czech-Brazilian Academic Cooperation  |  Prague - Czech Republic
Connect with us: