This thesis deals with managerial competencies in one particular company. The thesis is divided into two parts, the practical and the theoretical one. The theoretical part explains basic notions concerning especially competencies in connection with management. In the practical part, analysis of key managerial competencies of the company is carried out. The terrain data collection is drafted on the basis of quantitative research strategy. The aim of the thesis is to characterize key managerial competencies in the particular company and following carrying out of a detail analysis of these key competences at individual managers. In my work, I recommend a proposal of possible competency development, the state emerged as undesirable; in the form of formal education, informal education or in the form of working experience.

The successful verification of the behaviour of an Autonomous driving (AD) vehicle is fundamental for the commercialization of this new technology. Formal verification can be used to exhaustively verify the correctness of a system, but it requires a formal model to do so. An exact mathematical definition of the model description of the system is required. Manually defining a model is daunting, error-prone, and intractable for large systems. Automata learning is a branch of Machine learning (ML) that automatically creates a formal model by dynamically interacting with the system. In prior research, automata learning algorithms have been shown to learn a formal model from AD software implemented in MATLAB. However, practical challenges were highlighted in addressing the state-space explosion problem and in obtaining suitable abstractions to deal with large systems. To obtain valuable insights to scale up automata learning for industrial use, this thesis investigates the topic of automatically learning an extended finite automata formalism, called register automata. The SL* algorithm, an extension of the L* algorithm, is used to learn a register automata model of AD software from MATLAB code. The new algorithm creates a register automaton that manages to deal with the data dependencies intrinsically created from the case study between the input variables. Some approximations to the original model were made to obtain the desired solution. The obtained results are presented, from establishing the learning interface, validation of the interface, and from learning the case study. Evidence has been shown that similar problems to those highlighted for DFA learning are encountered. Future works have been discussed to address the same topic and to improve the proposed methodology. / Den framgångsrika verifieringen av beteendet hos ett autonomt körande fordon är grundläggande för kommersialiseringen av denna innovativa teknik. Formella metoder kan förutses som den sista tekniken för att uppnå detta mål. Den exakta matematiska definitionen av modellbeskrivningen för systemet behövs. Tidigare verk kunde inte skapa en metod för att automatiskt beskriva beteendemodellen för SUL. Nuvarande Lateral State Manager varierar komplexiteten som förhindrade användningen av ramverk som LearnLib eller den normala L * -algoritmen. Den stora mängden ingångar och den exponentiella tillväxten av den observerbara tabellen är några av orsakerna som gör att standardalgoritmerna misslyckas. Tidigare löstes problemet delvis och introducerade viss abstraktion till SUL. I denna avhandling föreslår vi en metod baserad på en innovativ algoritm: SL *. Den är utvecklad tack vare förlängningen av LearnLib-ramverket RALib. Den nya algoritmen skapar en registerautomat som klarar av att hantera databeroendet som skapats ur studiens fall. För att få en lösning inom acceptabel tid gjorde vi en ungefärlig tillnärmning till den ursprungliga modellen som vi tror inte påverkar det slutliga resultatet och skapar en modell som kan användas för de ändamål den var tänkt för. / La corretta verifica del comportamento di un veicolo a guida autonoma è fondamentale per la commercializzazione di questa tecnologia. Diversi metodi formali possono essere previsti come una possibile tecnica al fine di raggiungere parte di questo vasto obiettivo. Al fine di utilizzare tali metodi è necessaria l’esatta descrizione matematica del modello comportamentale del sistema. Precedenti studi non sono stati in grado di creare automaticamente un metodo per descrivere il comportamento del sistema sotto esame. Il Lateral State Manager presenta varie complessità che hanno impedito l’uso di framework come LearnLib o dell’algoritmo L_. La grande quantità di input e la crescita esponenziale della tabella delle osservazioni sono alcune delle principali cause che portano i comuni algoritmi al fallimento. In precedenza il problema è stato parzialmente risolto introducendo alcune astrazioni al caso di studio. In questa dissertazione proponiamo un metodo basato su un algoritmo innovativo: SL *. Lo stesso è sviluppato grazie all’estensione del framework LearnLib, chiamato RALib. Il nuovo algoritmo crea degli automi basati sui registri che riescono a gestire la dipendenza tra i dati intrinsecamente creati dal caso di studio. Per ottenere una soluzione in tempi accettabili si sono rese necessarie alcune approssimazioni del modello originale che riteniamo non influiscano sul risultato finale, creando un modello che possa essere utilizzato per gli scopi per cui è stato pensato.

Made available in DSpace on 2011-05-04T12:36:26Z (GMT). No. of bitstreams: 0 Previous issue date: 2010 / Este estudo analisou o papel dos estados na política de saúde mental no Brasil no período de 1990 a 2009, tendo em vista a existência de dilemas decorrentes da especificidade de nossa estrutura federativa, da estratégia de descentralização da saúde ede indefinições do papel dos estados na área de saúde mental. Os estados utilizam várias estratégias e instrumentos na condução da política de saúde mental. No planejamento, a elaboração de planos de saúde mental, em sua maioria, articulados ao processo de regionalização da saúde. Na coordenação federativa, construindo seus marcos legais e participando ativamente dos fóruns de deliberação da política. Na coordenação da atenção, promovendo articulações com outras áreas, dentro e fora da secretaria estadual de saúde, visando o desenvolvimento de projetos e ações de saúde mental. No monitoramento, emitindo relatórios técnicos e supervisionando os serviços de saúde mental. Na prestação de serviços, executando serviços de saúde mental e desenvolvendo iniciativas e experiências exitosas na área. No entanto, percebeu-se que os estados ainda não desenvolvem de forma sistemática as funções que compreendem, sobretudo, o planejamento, a coordenação federativa e de atenção. O financiamento em saúde mental representa um dos grandes desafios. Ao fim, discutiu-se as potencialidades e desafios dos estados na condução da política de saúde mental. Os achados deste estudo sugerem que a superação dos desafios relacionados à condução estadual da política de saúde mental depende da articulação entre governo federal, estados e municípios na elaboração de políticas que atendam à especificidade de cada região, macro ou micro-região, e da promoção de um planejamento ascendente e participativo. Também é necessário o desenvolvimento deuma política de investimentos para o setor que possibilite a assunção de um papel mais ativo dos estados no financiamento em saúde mental. / This study examined the role of states in mental health policy in Brazil in the period 1990-2009, bearing in mind the existence of dilemmas arising from the specificity of our federal structure, the strategy of decentralization of health and vagueness of the role of states in mental health field. The states use several strategies and tools in conducting mental health policy. In the planning, preparation of plans for mental health, mostly articulated the process of regionalization of health. In coordinating federal, building their legal frameworks and actively participating in the forums of policy deliberation. In the coordination of care, promoting links with other areas both within and outside the state board of health, aiming to develop projects and actions of mental health. Monitoring, issuing technical reports and overseeing mental health services. In providing services, performing mental health services and developing initiatives and successful experiences in the area. However, it was noticed that the states have not developed a systematic way the functions that include, above all, planning, coordination and federal attention. The mental health funding represents a major challenge. In the end, it was discussed the potential and challenges of the states in conducting mental health policy. The findings of this study suggest that overcoming the challenges related to the conduct of state mental health policy depends on the relationship between the federal government, states and municipalities in developing policies to address the specific needs of each region, macro or micro-region, and promoting an up and participatory planning. It is also necessary to develop an investment policy for the sector that makes possible the assumption of a more active role of states in funding for mental health.