81 |
Modélisation au niveau transactionnel de l'architecture et du contrôle relatifs à la gestion d'énergie de systèmes sur puce / TLM modelling of architecture and control of power management structure for system on chipsAffes, Hend 18 December 2015 (has links)
Les systèmes embarqués sur puce (SoC) envahissent notre vie quotidienne. Avec les progrès technologiques, ils intègrent de plus en plus de fonctionnalités complexes impliquant des charges de calcul et des tailles de mémoire importantes. Alors que leur complexité est une tendance clé, la consommation d’énergie est aussi devenue un facteur critique pour la conception de SoC. Dans ce contexte, nous avons étudié une approche de modélisation au niveau transactionnel qui associe à un modèle fonctionnel SystemC-TLM une description d’une structure de gestion d’un arbre d’horloge décrit au même niveau d’abstraction. Cette structure développée dans une approche de séparation des préoccupations fournit à la fois l’interface pour la gestion de puissance des composants matériels et pour le logiciel applicatif. L’ensemble des modèles développés est rassemblé dans une librairie ClkARCH. Pour appliquer à un modèle fonctionnel un modèle d’un arbre d’horloge, nous proposons une méthodologie en trois étapes : spécification, modélisation et simulation. Une étape de vérification en simulation est aussi considérée basée sur des contrats de type assertion. De plus, nos travaux visent à être compatibles avec des outils de conception actuels. Nous avons proposé une représentation d’une structure de gestion d’horloge et de puissance dans le standard IP-XACT permettant de produire les descriptions C++ des structures de gestion de puissance du SoC. Enfin, nous avons proposé une approche de gestion de puissance basée sur l’observation globale des états fonctionnels du système dans le but d’éviter ainsi des prises de décisions locales peu efficaces à une optimisation de l’énergie. / Embedded systems-on-chip (SoC) invade our daily life. With advances in semiconductor technology, these systems integrate more and more complex and energy-intensive features which generate increasing computation load and memory size requirements. While the complexity of these systems is a key trend, energy consumption has emerged as a critical factor for SoC designers. In this context, we have studied a modeling transactional level approach allowing a description of a clock tree and its management structure to be associated with a functional model, both described at the same abstraction level. This structure developed in a separation of concerns approach provides both the interface to the power consumption management of the hardware components and the application software. All the models developed are gathered in a C++ ClkArch library. To apply to a SystemC-TLM architecture model a clock tree intent with its control part, we propose a methodology based on three steps: specification, modeling and simulation. A verification step based on simulation is also considered using contracts of assertion type. This work aims to build a modelling approach on current design tools. So we propose a representation of a clock and power management structure in the IP-XACT standard allowing a C++ description of the SoC power management structures to be generated. Finally, a power management strategy based on the global functional states of the components of the system architecture is proposed. This strategy avoids local decision-making unsuited to optimized overall power/energy management.
|
82 |
Verifikace ASIP založena na formálních tvrzeních / Assertion-Based Verification of ASIPŠulek, Jakub January 2015 (has links)
This thesis introduces the concept of assertion-based verifi cation of application-specifi c instruction set processors (ASIPs). The proposed design is implemented in SystemVerilog Assertions language as a part of veri fication environment created using Codasip Framework. The implemented concept is simulated in QuestaSim tool using model of Codix RISC processor. Main outcome of this thesis is the verifi cation concept usable not only on other processors, but as a part of system that automates the processor design as well.
|
83 |
Sibling warmth as a correlate of youth self-esteemWu, Naomi January 2019 (has links)
During adolescence, self-systems and individual perceptions of the self are changing and heavily influenced by family relationships, which are generally the first and longest lasting connections individuals experience. Thus, to understand youth development, it is imperative to investigate the family context, wherein parent-youth relationships and sibling relationships impact one another. The current study examines the effect of a close sibling relationship on youth self-esteem above and beyond the effect of the mother-youth relationship. A cross-sectional study was employed on a sample of 434 families in the US, which all consisted of one mother and at least a pair of siblings. All three members of the family participating filled in an online survey. The target youth were between the 5th to 7th grades. Hierarchical multiple regression analyses find sibling warmth as a significant predictor for youth self-perception, but not for youth self-criticism. The present study shows the importance of considering not only the mother-youth relationship when analyzing youth self-system development, but also the sibling relationship. / Under adolescensen förändras självsystemet, eller individens uppfattning om det egna jaget, och är kraftigt influerat av individens familjerelationer. Dessa relationer är generellt de mest varaktiga relationer som en individ upplever. För att förstå ungdomsutveckling är det därför nödvändigt att undersöka familjekontexten, i vilken relationerna mellan förälder-ungdom och mellan syskon påverkar varandra. Denna studie undersöker effekten av en nära syskonrelation på ungdomars självkänsla utöver och bortom effekten från ungdomars föräldrarelation. Studien är en tvärsnittsstudie av 434 familjer i USA bestående av minst en mor och ett syskonpar. Dessa tre familjemedlemmar deltog alla i en webbaserad undersökning. Denna studies fokus är de av ungdomarna som vid undersökningens tidpunkt gick i årskurs 5 till 7. Med hierarkisk multipel regressionsanalys visas att en varm syskonrelation är en signifikant prediktor för ungdomars självuppfattning, men inte för ungdomars självkritik. Denna studie visar på vikten av att inte endast beakta relationen mellan mor och ungdom när ungdomars självsystem analyseras, utan även syskonrelationen.
|
84 |
Perspective in context : relative truth, knowledge, and the first personKindermann, Dirk January 2012 (has links)
This dissertation is about the nature of perspectival thoughts and the context-sensitivity of the language used to express them. It focuses on two kinds of perspectival thoughts: ‘subjective' evaluative thoughts about matters of personal taste, such as 'Beetroot is delicious' or 'Skydiving is fun', and first-personal or de se thoughts about oneself, such as 'I am hungry' or 'I have been fooled.' The dissertation defends of a novel form of relativism about truth - the idea that the truth of some (but not all) perspectival thought and talk is relative to the perspective of an evaluating subject or group. In Part I, I argue that the realm of ‘subjective' evaluative thought and talk whose truth is perspective-relative includes attributions of knowledge of the form 'S knows that p.' Following a brief introduction (chapter 1), chapter 2 presents a new, error-theoretic objection against relativism about knowledge attributions. The case for relativism regarding knowledge attributions rests on the claim that relativism is the only view that explains all of the empirical data from speakers' use of the word "know" without recourse to an error theory. In chapter 2, I show that the relativist can only account for sceptical paradoxes and ordinary epistemic closure puzzles if she attributes a problematic form of semantic blindness to speakers. However, in 3 I show that all major competitor theories - forms of invariantism and contextualism - are subject to equally serious error-theoretic objections. This raises the following fundamental question for empirical theorising about the meaning of natural language expressions: If error attributions are ubiquitous, by which criteria do we evaluate and compare the force of error-theoretic objections and the plausibility of error attributions? I provide a number of criteria and argue that they give us reason to think that relativism's error attributions are more plausible than those of its competitors. In Part II, I develop a novel unified account of the content and communication of perspectival thoughts. Many relativists regarding ‘subjective' thoughts and Lewisians about de se thoughts endorse a view of belief as self-location. In chapter 4, I argue that the self-location view of belief is in conflict with the received picture of linguistic communication, which understands communication as the transmission of information from speaker's head to hearer's head. I argue that understanding mental content and speech act content in terms of sequenced worlds allows a reconciliation of these views. On the view I advocate, content is modelled as a set of sequenced worlds - possible worlds ‘centred' on a group of individuals inhabiting the world at some time. Intuitively, a sequenced world is a way a group of people may be. I develop a Stalnakerian model of communication based on sequenced worlds content, and I provide a suitable semantics for personal pronouns and predicates of personal taste. In chapter 5, I show that one of the advantages of this model is its compatibility with both nonindexical contextualism and truth relativism about taste. I argue in chapters 5 and 6 that the empirical data from eavesdropping, retraction, and disagreement cases supports a relativist completion of the model, and I show in detail how to account for these phenomena on the sequenced worlds view.
|
85 |
Réjouissances monarchiques et joie publique à Paris au XVIIIe siècle : approbation et interrogation du pouvoir politique par l'émotion (1715-1789) / Rejoicings and popular joyfulness : asserting and questioning political power through feelings (1715-1789)Valade, Pauline 03 December 2016 (has links)
Dans la société d’Ancien Régime, les réjouissances monarchiques et les manifestations de joie publique avaient une fonction essentielle pour le pouvoir politique. Leur organisation, ainsi que leur déroulement, démontraient une attention soutenue aux manières d’émerveiller, d’amuser et de susciter des démonstrations de joie parmi la population parisienne. Privée de toute parole politique, celle-ci était néanmoins convoquée pour acclamer et approuver le pouvoir royal et le gouvernement. Toutefois, les réjouissances étaient avant tout un espace de dialogue entre les élites et la population de la capitale parce que cette dernière se réservait le droit de témoigner ou non sa joie, dans le but de critiquer ou d’interroger les vertus du pouvoir politique. Par l’étude des décisions, des modalités de l’organisation et de l’encadrement des réjouissances, il s’agit de comprendre dans quelle mesure le pouvoir monarchique avait besoin des réjouissances pour manifester sa puissance et ses vertus dans un espace public normalisé et contrôlé. Il apparaît alors que se réjouir était un devoir des sujets. L’analyse des moyens mis en œuvre pour réjouir la population permet de rendre compte des perceptions élitaires de la population, strictement réduite à ses capacités sensorielles. L’étude des feux d’artifice, des jets d’argent ou des gestes de charité du pouvoir royal révèle néanmoins un intérêt certain pour s’assurer des acclamations bien calculées. La dernière partie s’interroge sur les manières dont la population répondait aux sollicitations du pouvoir. L’analyse des expériences de la joie publique, des princes aux plus humbles Parisiens, permet de comprendre que l’obéissance n’excluait jamais une appropriation personnelle des événements. Les manifestations officielles de la joie étaient autant des objets de négociations que de détournement, à des fins contestataires ou plus transgressives, surtout dans le dernier tiers du XVIIIe siècle. Ainsi, la culture de l’approbation, inculquée tout au long du siècle, servit paradoxalement une culture de la contestation puisque le devoir de se réjouir était devenu un droit à se réjouir. / In the society of Ancient Regime, the monarchical festivities and public manifestations of joy had an essential function for political power. Their organization and their progress, demonstrated a sustained attention to ways to amaze, amuse and provoke demonstrations of joy among the Parisian population. Deprived of any political speech, this one was convened to applaud and approve the royal power and government. However, the celebrations were primarily a space for dialogue between the elites and the population of the capital because it reserved the right to show or not his joy, in order to criticize or question the virtues of political power. By studying the decisions, rules for the organization and supervision of the festivities, this is to understand how the monarchy needed the festivities to show his power and virtues in a public space under political and police control. It appears that rejoicing was a duty of the subjects. Analysis of the means used to delight the population can reveal the elite perceptions of the population, strictly reduced sensory abilities. The study of fireworks, throwing money or charitable gestures of royal power nevertheless throws new light on interests to ensure well-calculated cheers. The final part examines the ways in which people responded to the demands of power. The analysis of the experiences of the public joy, helps understand that obedience never excluded a personal appropriation of events, for princes to the humblest Parisians. As official events of joy were subjects of negotiations as they were diversion for protester or transgressive purposes, especially in the last third of the eighteenth century. Thus, the culture of assertion, instilled throughout the century, paradoxically served a culture of protest since the duty to cheer became a right to rejoice.
|
86 |
Capturing JUnit Behavior into Static Programs : Static Testing FrameworkSiddiqui, Asher January 2010 (has links)
<p>In this research paper, it evaluates the benefits achievable from static testing framework by analyzing and transforming the <em>JUnit3.8 </em>source code and static execution of transformed code. Static structure enables us to analyze the code statically during creation and execution of test cases. The concept of research is by now well established in static analysis and testing development. The research approach is also increasingly affecting the static testing process and such research oriented work has proved particularly valuable for those of us who want to understand the reflective behavior of <em>JUnit3.8 Framework</em>.</p><p><em> JUnit3.8 Framework</em> uses <em>Java Reflection API</em> to invoke core functionality (test cases creation and execution) dynamically. However, <em>Java Reflection API</em> allows developers to access and modify structure and behavior of a program. Reflection provides flexible solution for creating test cases and controlling the execution of test cases. Java reflection helps to encapsulate test cases in a single object representing the test suite. It also helps to associate each test method with a test object. Where reflection is a powerful tool to perform potential operations, on the other hand, it limits static analysis. Static analysis tools often cannot work effectively with reflection.</p><p>In order to avoid the reflection, <em>Static Testing Framework</em> provides a static platform to analyze the <em>JUnit3.8</em> source code and transform it into non-reflective version that emulates the dynamic behavior of <em>JUnit3.8</em>. The transformed source code has possible leverage to replace reflection with static code and does same things in an execution environment of <em>Static Testing Framework</em> that reflection does in <em>JUnit3.8</em>. More besides, the transformed code also enables execution environment of <em>Static Testing Framework</em> to run test methods statically. In order to measure the degree of efficiency, the implemented tool is evaluated. The evaluation of <em>Static Testing Framework</em> draws results for different Java projects and these statistical data is compared with <em>JUnit3.8</em> results to measure the effectiveness of <em>Static Testing Framework</em>. As a result of evaluation, <em>STF</em> can be used for static creation and execution of test cases up to <em>JUnit3.8</em> where test cases are not creating within a test class and where real definition of constructors is not required. These problems can be dealt as future work by introducing a middle layer to execute test fixtures for each test method and by generating test classes as per real definition of constructors.</p>
|
87 |
Gouvernance et étude de l'impact du changement des processus métiers sur les architectures orientées services : une approche dirigée par les modèlesDahman, Karim 30 October 2012 (has links) (PDF)
La plupart des entreprises évoluent dans des marchés concurrentiels en adaptant rapidement leurs processus métiers. Leur performance dépend de leur capacité à utiliser des techniques d'amélioration continue de leur organisation par la mise au point de Systèmes Informatiques (SI) durables pour l'automatisation des processus. En ce sens, les architectures orientées services (Service Oriented Architectures) ont permis le développement de SI flexibles avec un style d'architecture prédominant de composition de services. Cependant, l'alignement de ces architectures aux impératifs de l'évolution des processus reste une préoccupation centrale. Dans cette thèse, nous étudions la cartographie et l'évolution des processus métiers depuis leur conception jusqu'à leur automatisation dans une architecture orientée services ainsi que son adaptation. Nous proposons une approche d'ingénierie dirigée par les modèles intégrée à un outil de modélisation de processus et de développement d'architectures orientées services. Celle-ci débute par la spécification d'un modèle BPMN (Business Process Modeling Notation) décrivant les interactions des processus métiers. Grâce à une chaîne de transformation automatisée, nous produisons un modèle SCA (Service Component Architecture) décrivant une solution de composition de services. Ceci garantit la traçabilité architecturale entre le niveau métier du SI et son niveau technique puisque les services générés décrivent une {logique applicative} qui met en œuvre la logique métier du modèle BPMN. Ensuite, nous introduisons une méthode de propagation du changement de la logique métier vers la logique applicative qui est fondée sur la synchronisation incrémentale entre les modèles BPMN et SCA. Elle est intégrée à un outil d'analyse de l'impact du changement qui se base sur la réécriture de graphes pour éviter les inconsistances induites par les modifications. Enfin, elle permet de simuler l'impact des évolutions des processus, pour en estimer le coût selon les métriques que nous proposons, avant de procéder à la réingénierie de l'architecture orientée services pour assurer une meilleure gouvernance du changement.
|
88 |
Capturing JUnit Behavior into Static Programs : Static Testing FrameworkSiddiqui, Asher January 2010 (has links)
In this research paper, it evaluates the benefits achievable from static testing framework by analyzing and transforming the JUnit3.8 source code and static execution of transformed code. Static structure enables us to analyze the code statically during creation and execution of test cases. The concept of research is by now well established in static analysis and testing development. The research approach is also increasingly affecting the static testing process and such research oriented work has proved particularly valuable for those of us who want to understand the reflective behavior of JUnit3.8 Framework. JUnit3.8 Framework uses Java Reflection API to invoke core functionality (test cases creation and execution) dynamically. However, Java Reflection API allows developers to access and modify structure and behavior of a program. Reflection provides flexible solution for creating test cases and controlling the execution of test cases. Java reflection helps to encapsulate test cases in a single object representing the test suite. It also helps to associate each test method with a test object. Where reflection is a powerful tool to perform potential operations, on the other hand, it limits static analysis. Static analysis tools often cannot work effectively with reflection. In order to avoid the reflection, Static Testing Framework provides a static platform to analyze the JUnit3.8 source code and transform it into non-reflective version that emulates the dynamic behavior of JUnit3.8. The transformed source code has possible leverage to replace reflection with static code and does same things in an execution environment of Static Testing Framework that reflection does in JUnit3.8. More besides, the transformed code also enables execution environment of Static Testing Framework to run test methods statically. In order to measure the degree of efficiency, the implemented tool is evaluated. The evaluation of Static Testing Framework draws results for different Java projects and these statistical data is compared with JUnit3.8 results to measure the effectiveness of Static Testing Framework. As a result of evaluation, STF can be used for static creation and execution of test cases up to JUnit3.8 where test cases are not creating within a test class and where real definition of constructors is not required. These problems can be dealt as future work by introducing a middle layer to execute test fixtures for each test method and by generating test classes as per real definition of constructors.
|
89 |
Исследование взаимосвязи социального интеллекта с акцентуациями характера у подростков : магистерская диссертация / Correlation research on the social intelligence and the accentuation of personality traits in adolescentsTrubina, A. A., Трубина, А. А. January 2014 (has links)
The work is based on the theoretical and empirical analyses of the correlation between the social intelligence and the accentuation of personality traits made by Russian and foreign researchers. The scientific work has ongoing practical importance for the adolescence issue studies in order to form the personality of a teenager and build a solid capacity to show relevant reactions to the multitude of the influential factors (internal and external) that lead to successful adaptation and socialization in the community. There were examined models and indices of the social intelligence (social flexibility, empathy, assertion, self-control and etc.) and were illuminated the classification types of the accentuation and specification of personality traits. 74 schoolchildren (42 girls and 32 boys) at the age of 13-14 were tested using the M. O'Sullivan and J. P. Guilford Social Intelligence Test (adapted by E.S. Mihailova) and by the modify questionary on the accentuation types of personality traits in adolescents (modification of the diagnostician psychopathy questionary by A.Y. Lichko). For the statistical analysis were used t-distribution, Kruskal–Wallis one-way analysis of variance, chi-squared distribution. The types of accentuations were examine, having in mind the social intelligence development level, in the mixed group of the teenagers as well as in groups divided by sex.
The outcomes of the research can be used as a framework for psycho-social capacity-building projects, disorder treatment programs, and as an informational source to form the recommendations for the teachers and parents in order to reduce number of conflicts and minimize their effects in the school and families of the teenagers. / В исследовании проведен анализ теоретических и эмпирических исследований по проблеме взаимосвязи социального интеллекта и акцентуации характера по данным зарубежных и отечественных источников. Обоснована актуальность и практическая значимость данной проблемы для подросткового возраста как значимого для формирования личности в условиях влияния на подростка множества факторов (внешних и внутренних) когда необходимо научиться адекватно выстраивать свое поведение с учетом этих факторов с целью успешной социализации и адаптации в обществе. Рассмотрены модели и индикаторы социального интеллекта социальная пластичность, эмпатия, самооценка, саморегуляция и т.д.), а также существующие классификации акцентуаций характера. и присущие разным типам поведенческие особенности. Приведены результаты исследования подростков 13-14 лет (74 учащихся, из них – 42 девочки, 32 мальчика) по методикам социального интеллекта Дж. Гилфорда и М. Салливана (адаптация Е. С. Михайловой) и модифицированного опросника идентификации типов акцентуации характера у подростков (модификация патохарактерологического диагностического опросника А. Е. Личко). Для статистической обработки данных использовались t – критерий Стьюдента, критерий Краскела-Уоллеса, Хи-квадрат Пирсона. Проанализированы типы акцентуаций с точки зрения уровня выраженности социального интеллекта в группе подростков в целом, а также отдельно в группах девочек и мальчиков. Полученные данные могут служить основой для разработки программ социально-психологического тренинга, коррекционной программы, а также рекомендаций учителям и родителям с целью минимизировать конфликты и их последствия в школе и семьях подростков.
|
Page generated in 0.0181 seconds