This article examines the patterns and prevalence of trauma in 256 Late Lima individuals. is assemblage of human remains comes from the sites of Huaca 20 and Copacabana and was compared to 45 Middle Lima individuals from thesite of Cerro Culebra, as well as 30 individuals from the Middle Horizon 2 and 4 (Miramar). Other investigators have proposed that social and political changes during the transition into the Middle Horizon on the Central Coast of Perumight have caused an increase in episodes of violence in the local population. e results of this investigation, however, show that this transition witnessed a reduction in of non-lethal episodes of violence, especially for women, with occasional episodes of more violent and lethal clashes. is situation seems to have been maintained with the consolidation of Wari imperial presence (or inuence). ese observations for the Central Coast contrast heavily with those made for patterns of violence in the South Coast and Highlands during the same period. It is thus proposed that Wari presence in peripheral zones did not always trigger the same social consequences, possibly as the result of distinct political strategies of expansion utilized by the Wari state. / El presente artículo examina las prevalencias y patrones de los traumatismos de probable origen intencional presentes en 256 individuos Lima Tardío (Huaca 20 y Copacabana), comparando los resultados con los de 45 individuos Lima Medio (Cerro Culebra) y 30 individuos del Horizonte Medio 2 a 4 (Miramar), buscando dilucidar si los cambios políticos y sociales experimentados durante la transición al Horizonte Medio pudieron haber ocasionado un alza en los episodios de violencia vividos por las poblaciones locales.Los resultados de esta investigación indican que al parecer la introducción wari en la Costa Central signicó una disminución de los episodios de violencia no letal, especialmente para las mujeres, con ocasionales episodios de enfrentamientos más violentos que conllevaron a la muerte. Esta situación parece haberse mantenido una vez consolidada la presencia (o inuencia) imperial. Asimismo, se observó que los niveles y patrones de violencia durante la transición y consolidación wari en la Costa Central fueron distintos que los experimentados en la costa y sierra sur, deduciéndose a partir de esto que la presencia wari en las zonas periféricas no siempre desencadenó las mismas consecuencias sociales, obedeciendo posiblemente a las distintas estrategias políticas de expansión por parte de dicho estado.

O projeto de estratégias de controle preditivo (MPC) com estabilidade garantida, que incorpora explicitamente a incerteza de modelo na formulação de controle, ainda permanece uma questão em aberto na literatura, embora uma ampla teoria já tenha sido desenvolvida para a síntese de algoritmos MPC robustamente estáveis. Em verdade, as soluções existentes para o problema de MPC robusto estão longe de uma etapa aceitável de implementação prática, principalmente se o sistema de processo é composto de modos integradores ou instáveis, e também apresenta atrasos de tempo (tempos mortos) entre suas variáveis de entrada e saída. Sob esta perspectiva, o objetivo principal desta tese é desenvolver uma estrutura de síntese de controladores MPC com estabilidade robusta garantida para sistemas de processo com as características integradoras ou instáveis, assim como tempos mortos entre as variáveis. Particularmente, três diferentes estratégias de MPC robusto são desenvolvidas neste trabalho. As duas primeiras referem-se a sistemas integradores com tempos mortos: o primeiro algoritmo é baseado em uma formulação de controle em dois passos, enquanto o segundo é posto como um problema de otimização de controle em um passo e a representação de modelo em variáveis de estado é mais geral do que aquela adotada na formulação do primeiro método. A terceira estratégia proposta focaliza os sistemas instáveis com tempos mortos através de uma formulação de controle em um passo. Ademais, visando o caso de implementação prática, os controladores desenvolvidos compreende os seguintes aspectos: (i) as leis de controle livre de erro permanente são obtidas sem a necessidade de incluir uma camada de otimização adicional de cálculo de estados estacionários, devido à formulação adequada de modelos em espaço de estados na forma incremental das entradas, os quais são derivados de expressões analíticas de resposta ao degrau do sistema de processo; (ii) a incerteza de todos os parâmetros do modelo, e.g. ganhos, constantes de tempo, atrasos de tempo, é considerada na formulação do problema; (iii) as provas de estabilidade robusta segundo Lyapunov são realizadas de uma forma intuitiva através da imposição de restrições terminais de igualdade e restrições de contração de custo; (iv) a inclusão adequada de variáveis de folga, que não comprometem as propriedades estabilizantes dos controladores, assegura que os problemas de otimização são sempre viáveis; (v) integração estável com camada de otimização em tempo real, visto que os controladores são projetados de tal forma a rastrear targets ótimos para algumas entradas e saídas do processo, mantendo as variáveis remanescentes dentro de faixas pré-definidas, ao invés de set-points xos. Exemplos de simulação típicos da indústria de processo são explorados para ilustrar as potenciais utilidades dos métodos propostos e demonstrar que eles podem ser aplicados em casos reais. / The design of stable model predictive control (MPC) strategies that explicitly incorporate the model uncertainty into the control formulation still remains an open issue, although a rich theory has been developed to the synthesis of robustly stabilizing MPC schemes. In fact, the existing solutions to the robust MPC problem seem far from an acceptable stage of practical imple mentations, chiey when the process system is composed of integrating and unstable poles, as well as time delays between its input and output variables. Within this perspective, the ultimate goal of this thesis is to develop a new framework for robust MPC synthesis which guarantees closed-loop stability of integrating and unstable time delay processes. On this subject, three different robust MPC strategies are developed. The two rst concerns on integrating time delay processes; the former is based on a two-step control formulation, whereas the latter is posed as a one-step control optimization problem and state-space model description is more general than that adopted in the former formulation. The third proposed strategy focuses on one-step control formulation-based unstable time delay processes. Aiming at practical implementation purposes, the controllers proposed herein comprise the following aspects: (i) the offset free control laws are obtained without the need to include an additional steady-state calculation op timization layer due to the enclosure of proper state-space models in the incremental form of the inputs, which are derived of analytical expressions of step response of the process system; (ii) the uncertainty of all model parameters, e.g. gains, time constants, time delays and so on, is considered in the problem formulation; (iii) the proofs of robust Lyapunov stability are easily carried out of an intuitive way by imposing terminal equality constraints and cost-contracting constraints; (iv) the suitable inclusion of slack variables, which does not commit the stabil ity properties of the controllers, ensure that the proposed optimization problems are always feasible; (v) stable integration with real-time optimization layer, seeing as the controllers are designed to work in the optimum target tracking scheme where they should drive the process to the optimum operating point, while maintaining the remaining inputs and outputs inside pre dened zones instead of xed set-points. Simulation examples typical of the process industry are exploited to illustrate the helpfulness of the proposed control methods and demonstrate that they can be implemented in real applications.

O escritor mineiro Campos de Carvalho publicou seus principais romances entre 1956 e 1964 tendo uma recepção relativamente fria por parte dos críticos. Escrevendo em um momento em que o nacional-desenvolvimentismo reinava no país e sob a égide da literatura engajada, viu-se excluído das obras canônicas de seu tempo. Com o golpe militar de 1964 começaram a ocorrer modificações significativas no campo cultural brasileiro, quando o engajamento começou a ser contestado. Tal ruptura deu-se abruptamente no ano de 1968 quando, com o decreto do Ato Institucional nº5, o padrões da produção artística nacional passaram a refletir essa nova realidade. Com um Estado extremamente violento e com as liberdades democráticas limitadas por repressão e censura, foram necessários novos espaços de expressão artística como a chamada imprensa alternativa. Nesse novo contexto, marcado por movimentos como contracultura, marginalidade e Tropicalismo, Campos de Carvalho e sua obra passaram a ser ressignificados, encontrando novos horizontes interpretativos para sua literatura. Contribuindo como colunista do jornal O Pasquim, encontrou novos leitores. / The writer Campos de Carvalho published his major novels between 1956 and 1964 having a relatively indifferent reception from critics. Writing in a time when the national developmentalism reigned in the country and under the auspices of committed literature, he was excluded from the canonical works of his time. With the military coup of 1964 began to be significant changes in the Brazilian cultural field, when the engagement began to be challenged. This rupture occurred abruptly in 1968 when, with the decree of Institutional Act No. 5, the standards of the national artistic production began to reflect this new reality. With an extremely violent state and democratic freedoms limited by repression and censorship, it took new artistic expression of spaces such as call alternative press. In this new context, marked by movements such counterculture, marginality and Tropicalismo, Campos de Carvalho and his work began to be reevaluated, finding new interpretative horizons for its literature. Contributing as a columnist for O Pasquim, found new readers.

Submitted by (lucia.rodrigues@ufrpe.br) on 2016-07-04T12:57:49Z No. of bitstreams: 1 Diego Vandeval Maranhao de Melo.pdf: 1332312 bytes, checksum: 71f89e5f58465c3e66aab445d4c43e39 (MD5) / Made available in DSpace on 2016-07-04T12:57:49Z (GMT). No. of bitstreams: 1 Diego Vandeval Maranhao de Melo.pdf: 1332312 bytes, checksum: 71f89e5f58465c3e66aab445d4c43e39 (MD5) Previous issue date: 2013-02-26 / Water soluble polymers are characterized as efficient flocculating agent whose application in soils with cohesive horizons influence, potentially, improving the physical quality and thus extends the agricultural potential of these soils. In this context, the polyacrylamide (PAM) is characterized by its versatility as a chemical amendment, one of the most important commercial polymers for agricultural purposes. Thus, this research proposed to assess the soils quality of the Coastal Tablelands of Pernambuco State inferred by the reduction of the cohesion and improving physical and hydraulic properties by application of PAM as chemical amendment. Therefore, we evaluated three horizons (one cohesive and two non cohesive) of an cohesive Yellow Argisol and, for comparative purposes, we selected the horizon that expresses the maximum cohesion of a Yellow Latosol. We examined PAM aqueous solutions (12.5, 50.0, 100.0 mg kg-1) and distilled water (control). The attributes avaluated were: aggregate stability and aggregate size distribution, resistance penetration, saturated hydraulic conductivity, porosity (macroporosity + mesoporosity + microporosity), characteristics of the water retention curve, plasticity limit, water dispersible clay, cation exchange capacity and Al3+ exchangeable. Treatment mean comparisons were made using the Scott-Knott honestly significant difference test at a significance level of 0,05. The PAM solutions increased structural stability of cohesive horizons, but the improving physical of cohesive horizons was controlled by the intrinsic characteristics of the horizons and of the PAM molecule used in the research. Studies with other formulations of PAM related cohesive character are necessary for their mitigation and understanding of soil-polymer interactions. / Polímeros solúveis em água caracterizam-se como eficientes agentes floculantes, cuja aplicação em solos com horizontes de caráter coeso condiciona a melhoria da qualidade física e, assim, amplia a aptidão agrícola destes solos. A poliacrilamida (PAM) é caracterizada pela sua versatilidade como condicionador químico, sendo um dos mais importantes polímeros comerciais para fins agrícolas. Assim, essa pesquisa propôs avaliar a qualidade de solos dos Tabuleiros Costeiros de Pernambuco com a aplicação de PAM como condicionador químico. Para isto, foram avaliados três horizontes (sendo um coeso e dois não coesos) de um ARGISSOLO AMARELO e, para fins comparativos, foi selecionado o horizonte que expressa a máxima coesão de um LATOSSOLO AMARELO. Como tratamentos, foram aplicadas soluções aquosas de PAM (12,5; 50,0; 100,0 mg kg-1) e água destilada (controle). Os atributos avaliados foram: estabilidade e distribuição de agregados, resistência do solo à penetração do sistema radicular; condutividade hidráulica do solo saturado; porosidade total (macroporosidade + mesoporosidade + microporosidade), limite de plasticidade, argila dispersa em água, capacidade de troca de cátions e Al3+ trocável. Os dados foram avaliados por meio de estatística descritiva e teste de comparação de médias de Scott-Knott a 5% de probabilidade. As soluções de PAM aumentaram a estabilidade estrutural dos horizontes coesos, porém a melhoria físico-hídrica destes horizontes foi controlada pelas características intrínsecas dos horizontes e da molécula de PAM utilizada na pesquisa. Estudos com outras formulações de PAM relacionados ao caráter coeso fazem-se necessárias para sua atenuação e entendimento das interações polímero-solo. Termos para indexação: Poliânions, floculação-dispersão, horizonte coeso.

Submitted by (lucia.rodrigues@ufrpe.br) on 2016-08-02T11:57:56Z No. of bitstreams: 1 Janyelle de Oliveira Lemos.pdf: 3894911 bytes, checksum: 9f9b7d66408b0015fd2de9373d685881 (MD5) / Made available in DSpace on 2016-08-02T11:57:56Z (GMT). No. of bitstreams: 1 Janyelle de Oliveira Lemos.pdf: 3894911 bytes, checksum: 9f9b7d66408b0015fd2de9373d685881 (MD5) Previous issue date: 2013-06-17 / The floodplain soils of Pernambuco state - Brazil have been widely used to agriculture and their improperly management has promoted, in those with sulphidric materials, the sulfurization process, generating acidity in the soil, and release of heavy metals such iron. The aim of this study was to characterize Gleysol in areas of coastal wetlands along the shoreline of Pernambuco state cultivated with sugar cane, trying to understand genesis and occurrence of acid sulphate soils. Thus, we studied three floodplain soils along the shoreline of Pernambuco: floodplain soil in Goiana river (profile 1), floodplain soils in Sirinhaém river (profiles 2, 3 and 4) and floodplain soils in Ipojuca river (profiles 5, 6 and 7). Were realized a morphological characterization of soils, chemical analyzes for the purpose of soil classification, sequential extraction and total content of iron, and mineralogical analysis using XRD. Was observed predominance of the clay fraction in all profiles, which is consistent with the depositional environment in waters with low kinetic energy. The profiles 2, 3 and 4 showed extremely acidic reaction, with pH values below 2.5, indicating the presence of sulfuric horizon. The presence of sulphidric materials in the profiles 2, 3 and 4, confirmed the presence of sulfuric horizon. The sulfuric horizons in the profiles 2, 3 and 4 had high EC values between 9 and 21 dS m-1, being consistent with the high concentrations of sulphate generated by sulfurization process. The higher levels of iron were found associated with forms of poorly crystalline oxyhydroxides, values between 0.03 and 1.56 mmol kg-1. The assembly mineralogical soil had become very influenced by the geology of the basin of the rivers that bathe the floodplains. In the clay fraction were identified illite, kaolinite, goethite and smectite (beidellite/montmorillonite and nontronite), the silt fraction were: Illite, kaolinite, quartz and feldspar, in the sand fraction were: quartz, feldspar, mica and kaolinite. The floodplain soils showed morphological, physical, chemical and mineralogical related to the origin of the sediments and their position in the landscape. The occurrence of acid sulphate soils was detected only in the floodplain of Sirinhaem river. / Os solos de várzeas do litoral Pernambucano têm sido bastante utilizados na agricultura e o seu manejo inadequado tem promovido, naqueles que apresentam materiais sulfídricos, o processo de sulfurização, gerando acidez no solo, além de liberação de metais a exemplo do ferro. O objetivo deste trabalho foi caracterizar Gleissolos em áreas de várzeas litorâneas ao longo do litoral Pernambucano cultivadas com cana-de-açúcar, buscando compreender sua gênese e a ocorrência de solos Tiomórficos. Para tanto, foram avaliados solos de três várzeas ao longo do litoral Pernambucano: várzea do rio Goiana (perfil 1), várzea do rio Sirinhaém (perfis 2, 3 e 4) e várzea do rio Ipojuca (perfis 5, 6 e 7). Foi realizada a caracterização morfológica dos solos, análises químicas para fins de classificação do solo, extração sequencial e total do ferro, além de análise mineralógica utilizando DRX. Observou-se predominância da fração argila em todos os perfis, que condiz com o ambiente de deposição em águas com baixa energia cinética. Os perfis 2, 3 e 4 apresentaram reação extremamente ácida, chegando a atingir valores de pH inferiores a 2,5, evidenciando a presença de horizonte sulfúrico. A presença de materiais sulfídricos nos perfis 2, 3 e 4, confirmou a existência de horizonte sulfúrico. Os horizontes sulfúricos dos perfis 2, 3 e 4 apresentaram alta C.E., com valores variando entre 9 e 21 dS m-1, estando condizente com as altas concentrações de sulfato gerado pelo processo de sulfurização. Os maiores teores de ferro foram encontrados associados às formas de oxihidróxidos de baixa cristalinidade, apresentando valores entre 0,03 e 1,56 mmol kg-1. A assembléia mineralógica dos solos apresentou-se bastante influenciada pela geologia da bacia dos rios que banham as várzeas. Na fração argila os minerais identificados foram: ilita, caulinita, goethita e esmectita (beidelita/nontronita e montmorilonita); na fração silte foram: Ilita, caulinita, quartzo e feldspato; na fração areia foram: quartzo, feldspato, mica e caulinita. Os solos de várzeas apresentaram propriedades morfológicas, física, químicas e mineralógicas relacionadas à origem dos sedimentos e sua posição na paisagem. A ocorrência de Gleissolos Tiomórficos foi constatada somente na várzea do rio Sirinhaém.

O presente estudo investigou se o uso do lucro econômico em contratos de incentivo contingentes ao desempenho motiva os indivíduos a agir de forma mais consistente com os objetivos de longo prazo da empresa quando existe o problema do horizonte. Para tanto, foi utilizado um experimento de fator único entre sujeitos, pré-pós tratamento com grupo de controle, cuja única tarefa dos participantes era investir recursos em ações de longo prazo visando maximizar o fluxo de caixa futuro de uma loja de prestação de serviço. O estudo envolveu a participação de 76 estudantes de graduação, divididos em três grupos, e documentou que, em comparação ao grupo de controle (recompensado com base numa remuneração fixa) e a um segundo grupo de tratamento (recompensado com base numa remuneração variável vinculada ao lucro contábil contemporâneo), os participantes submetidos ao contrato que recompensava com base no lucro econômico agiram de forma mais congruente em relação ao objetivo estabelecido, dedicando mais esforço na realização da tarefa e melhorando o desempenho nas suas decisões de investimentos. Consistente com as predições da teoria da agência, o principal resultado dessa investigação sugere que o lucro econômico ajuda a mitigar o problema de miopia gerencial, indicando que incorporá-lo aos contratos motiva os agentes a agir de forma mais consistente com os objetivos de longo prazo da empresa, mesmo na presença do problema do horizonte. Além disso, a pesquisa documentou novas evidências da inadequação da formulação de contratos de incentivo baseados em medidas de desempenho distorcidas, tal como o lucro contábil. / The present study investigated whether the use of economic profit in performance-contingent incentive contracts motivates individuals to act more consistently with the long-term goals of the firm when the horizon problem is present. An experimental design was conducted. The experiment used a single factor between-subjects and pre-post treatment with a control group. The experimental task was to invest resources in long-term actions with the goal of maximizing the future cash flow of a photocopy store. The study involved the participation of 76 undergraduate students, divided into three groups, and documented that participants rewarded by contracts based on economic profit acted more congruently with the goal set by devoting more effort to accomplish the task and improving performance in their investment decisions when compared to the control group (rewarded on the basis of a fixed wage) and to the second treatment group (rewarded on the basis of a contingent contemporaneous accounting profit incentive contract). The present study\'s key findings are consistent with the predictions of the agency theory and suggest that the economic profit helps to mitigate the problem of managerial myopia. These study findings also indicate that the economic profit in incentive contracts motivates agents to act more consistently with the firm\'s long-term goals even in the presence of the horizon problem. In addition, the present research documented new evidences of the inadequacy of incentive contracts based on distorted performance measures such as accounting profit.

In this thesis, several new aspects of asymptotic symmetries have been exploited.Firstly, we have shown that the asymptotic symmetries can be enhanced tosymplectic symmetries in three dimensional asymptotically Anti-de Sitter (AdS) space-time with Dirichletboundary conditions. Such enhancement providesa natural connection between the asymptotic symmetries in the far region i.e. closeto the boundary) and the near-horizon region, which leads to a consistenttreatment for both cases. The second investigation in three dimensional space-time is to study theEinstein-Maxwell theory including asymptotic symmetries, solutionspace and surface charges with asymptotically flat boundary conditionsat null infinity. This model allows one to illustrate several aspectsof the four dimensional case in a simplified setting. Afterwards, we givea parallel analysis of Einstein-Maxwell theory in the asymptotically AdScase.Another new aspect consists in demonstrating a deep connection between certainasymptotic symmetry and soft theorem. Recently, a remarkable equivalence wasfound between the Ward identity of certain residual (large) U(1) gauge transformations and the leadingpiece of the soft photon theorem. It is well known that the softphoton theorem includes also a sub-leading piece. We have proven thatthe large U(1) gauge transformation responsible for the leading soft factorcan also explain the sub-leading one.In the last part of the thesis, wewill investigate the asymptotic symmetries near the inner boundary. Asa null hypersurface, the black hole horizon can be considered as an innerboundary. The near horizon symmetries create “soft” degrees of freedom. Wehave generalised such argument to isolated horizon and have shown that those “soft” degreesof freedom of an isolated horizon are equivalent to its electric multipolemoments. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

On April 20, 2010, the Deepwater Horizon oil platform exploded after a series of issues with the Macondo oil well, around the Louisiana coast, in the Gulf of Mexico, causing the death of 11 workers and wounding 17 others. On April 22, the rig sank into the ocean. Large quantities of oil have then poured into the Gulf waters for almost 3 months, causing the most serious oil spill in history. The event is critically examined in relation to the State-corporate crime integrated theoretical model by Michalowski and Kramer (2006), in particular using the institutional level (the relationship between politics and economics) and the operationality of control catalyst (the presence or absence of social control). The results are presented with a deductive strategy. Furthermore, part of the long-term consequences on the environment will be presented, using a deductive thematic strategy. I believe, in order to comprehend the importance of this study field and the relevance of my work, it is necessary to fully analyze the long-term consequences of the DWH (Deepwater Horizon) oil spill in the Gulf of Mexico. The analysis is developed within a case study, based on a literature review. Results show that not only the long-term consequences of the oil spill on the environment are devastating on almost all the elements studied, but that the role of the State in the accident was decisive, especially for the work culture which developed during the years, that led to the accident.

Den här studien är en kvalitativ jämförande fallstudie med syftet med att jämföra hur det stöd olika aktörer ger motsvarar deras deltagares behov och förväntan när de befinner sig i en omställningsprocess. Studien utgår från individernas och aktörernas perspektiv och intervjuer har genomförts med hjälp av en semistrukturerad intervjuguide. Intervjuerna, totalt nio stycken, har genomförts via videosamtal med varje enskild respondent. Resultatet visar att de stödverktyg som deltagarna får tillgång till hos aktörerna är relativt lika. Däremot finns det tydliga strukturella skillnader i hur stödet är planlagt hos aktörerna. Vidare är deltagarna generellt nöjda med stödet men upplever inte att det påverkar deras arbetssökande i någon större utsträckning. Det framgår också tydligt från samtliga respondenter att det egna ansvaret är viktigt för att stödet ska fungera. Däremot finns det viss kritik från deltagarna mot hur individanpassat stödet är. Således är det svårt för en enskild aktör att helt kunna möta deltagarnas behov fullt ut. / This study is a comparative case study with the aim of comparing how the support provided by different career support services corresponds to the individual's needs when in a change process. The study is based on the individuals and the career support services perspectives and interviews have been conducted with the help of a semi-structured interview guide. The interviews, a total of nine, were conducted via video call with each individual respondent. The results show that the support tools that the participants have access to, from the career support services are relatively similar. On the other hand, there are clear structural differences in the approaches of the career support services. Furthermore, the participants are generally satisfied with the support but do not feel that it affects their job seeking to any great extent. It is also clear from all respondents that personal responsibility is important for career support to work. However, there is some criticism from the participants about how individualized the support is. Thus, it is difficult for an individual career counsellor to fully meet the needs of the participants.

Model-Based Systems Engineering in industry has been constantly increasing its presence within the aerospace industry. SysML is one such MBSE tool that shows complex system organization and relationships. The Horizon Simulation Framework is another MBSE tool, created by Cal Poly students, that gives users the ability to run “day-in-the-life” simulations of systems. Finding a way to link these two tools could allow systems engineers to reap the benefits of both. This thesis investigates the background and design process involved with developing the code that can convert an output file generated in SysML, into a format specifically made for the Horizon Simulation Framework. The goal was to create an interface that can allow users to model a system in SysML, and analyze the model and verify system requirements using HSF. Another goal was to expand the capabilities of the Horizon Simulation Framework by designing and develop a module that would allow users to define and analyze system-level requirements. To evaluate the effectiveness of both codes, the Aeolus example case was used. A SysML model of the system was created as the product of another thesis; SysML based CubeSat Model Design and Integration with the Horizon Simulation Framework. The Aeolus SysML model was converted and used as input in an HSF simulation. The SysML model simulation data was compared against those of the original test case. To test the requirement module, system level requirements were formulated within the Aeolus system and run in simulation, providing an analysis of the results. The results of the analysis confirmed a successful conversion of the SysML model into an equivalent HSF model and a successful analysis of system-level requirements.