AtP*: An efficient and scalable method for localizing LLM behaviour to components

Activation Patching is a method of directly computing causal attributions of behavior to model components. However, applying it exhaustively requires a sweep with cost scaling linearly in the number of model components, which can be prohibitively expensive for SoTA Large Language Models (LLMs). We investigate Attribution Patching (AtP), a fast gradient-based approximation to Activation Patching and find two classes of failure modes of AtP which lead to significant false negatives. We propose a variant of AtP called AtP*, with two changes to address these failure modes while retaining scalability. We present the first systematic study of AtP and alternative methods for faster activation patching and show that AtP significantly outperforms all other investigated methods, with AtP* providing further significant improvement. Finally, we provide a method to bound the probability of remaining false negatives of AtP* estimates

A Game for Apple TV

Táto práca pozostáva z návrhu a implementácie hry pre Apple TV a popisu použitých technológií. Výsledkom je hra napísaná v jazyku Swift, spustiteľná na zariadení Apple TV s operačným systémom tvOS. Základom hry je knižnica SpriteKit, ktorá umožňuje tvorbu jednoduchých hier pre systém tvOS. Hra je otestovaná a plne funkčná na reálom zariadení. Prednosťami hry sú nízke hardwarové nároky a jednoduchý koncept hry.This thesis consists of the design and implementation of the Apple TV game and a description of the technologies used. The game was programmed in Swift, executable on Apple TV with the tvOS operating system. The game is based on SpriteKit, which allows you to develop simple games for tvOS. The game is tested and fully functional on real devices. The advantages of the game are low hadrware requirements and a simple concept of the game.

Direct Torque Control Simulation of Induction Motor

Tématem této diplomové práce je simulování přímého řízení momentu asynchronního motoru, jenž je napájen z nepřímého měniče kmitočtu s napěťovým meziobvodem. V této práci jsou uvedeny možnosti řízení otáček asynchronního motoru, detailněji je probrán princip přímého řízení momentu a magnetického toku statoru a jeho konkrétní metody. Práce je zaměřena především na Takahashiho metodu a metodu s PWM modulátorem. Tyto dvě metody jsou použity v simulačním modelu regulace rychlosti. Simulační model je sestaven v softwaru Matlab Simulink verze R2014b. Jsou zde zobrazeny časové průběhy důležitých veličin v různých oblastech rychlosti (nízká, střední, vysoká – oblast odbuzování). Práce se zabývá i vlivem použití podprogramu nabuzení, jenž slouží k omezení velikosti statorových proudů. Simulované výsledky prezentují očekávané vlastnosti řízení asynchronního motoru.The theme of this diploma thesis is simulation of the direct torque control of induction motor. This motor is supplied by an indirect frequency converter with DC voltage link. In this thesis are mentioned the possibilities of the control of the induction motor speed. There is also explained the principle of direct control of torque and stator magnetic flux in more detail and methods of this control. This thesis is focused mainly on the Takahashi method and the method with PWM modulator. These two methods are used in the speed regulation simulation model. The simulation model is built in Matlab Simulink software. Version of software is R2014b. There in this model are the time courses of important quantities in various areas of speed (low, medium, high – de-excitation area) there. This thesis deals with the effect of using of excitation subroutine. Subroutine is used for decrease of the stator current. The simulated results presents the expected properties of the induction motor.430 - Katedra elektronikyvýborn

JOINIG OF MG ALLOY AZ31B BY SELECTED TECHNOLOGIES

This contribution presents metallurgical joining of Mg alloy AZ 31B by several technologies - Friction Stir Welding - FSW, Laser Beam Welding - LBW, soldering and their mutual comparison. The difficulty of joining Mg alloys is connected with the strong MgO layer, low ductility of the weld metal (WM), a presence of intermetallic phases connected with the hardness increase. To successfully join Mg alloys, a precise setting of welding parameters is needed. The welds are susceptible to low mechanical properties as all samples fractured at WM. From the tested methods, laser beam welding proved the best results, because laser welding is the fastest and weld strength reached the highest values, i.e. 87% of BM (base metal) strength