Global ETD Search

1	Formaln verifikace RISC-V procesoru s vyuitm Questa PropCheck / Formal verification of RISC-V processor with Questa PropCheck Javor, Adrin January 2020 (has links) The topic of this master thesis is Formal verification of RISC-V processor with Questa PropCheck using SystemVerilog assertions. The theoretical part writes about the RISC-V architecture, furthermore, selected components of Codix Berkelium 5 processor used for formal verification are described, communication protocol AHB-lite, formal verification and its methods and tools are also studied. Experimental part consists of verification planning of selected components, subsequent formal verification, analysing of results and evaluating a benefits of formal technics.
2	ECONOMIC ANALYSIS OF CARBON SEQUESTRATION UNDER CATASTROPHIC RISK AND PRICE UNCERTAINTY IN KENTUCKY Hu, Lijiao 01 January 2014 (has links) Internalizing carbon value for forest landowners has the potential to increase carbon supply in forest and mitigate CO2 in the atmosphere. In this study, we developed a modified Hartman model to investigate how payments of carbon offsets impact the optimal management of hardwood forests in Kentucky under condition of catastrophic events. Different carbon markets were modeled and several sensitivity analyses were performed to examine varied management strategies to achieve maximized financial return or highest environmental benefits. Furthermore, another model was developed to incorporate the impact of risk aversion to price uncertainty using E-V model. We were able to identify the most favorable scenarios for landowners and society in the face of price variability and catastrophic risk. Carbon sequestration catastrophic risk the modified Hartman model E-V model Kentucky forests Agricultural and Resource Economics
3	An integrated System Development Approach for Mobile Machinery in consistence with Functional Safety Requirements Lautner, Erik, Körner, Daniel 03 May 2016 (has links) (PDF) The article identifies the challenges during the system and specifically the software development process for safety critical electro-hydraulic control systems by using the example of the hydrostatic driveline with a four speed transmission of a feeder mixer. An optimized development approach for mobile machinery has to fulfill all the requirements according to the Machinery Directive 2006/42/EC, considering functional safety, documentation and testing requirements from the beginning and throughout the entire machine life cycle. The functionality of the drive line control could be verified in advance of the availability of a prototype by using a “software-in-the-loop” development approach, based on a MATLAB/SIMULINK model of the drive line in connection with the embedded software. Functional Safety Safety Related Development V-Model Modular Software Design Testability Software Test Software-in-the-loop ddc:620 rvk:ZQ 5460
4	An integrated System Development Approach for Mobile Machinery in consistence with Functional Safety Requirements Lautner, Erik, Körner, Daniel January 2016 (has links) The article identifies the challenges during the system and specifically the software development process for safety critical electro-hydraulic control systems by using the example of the hydrostatic driveline with a four speed transmission of a feeder mixer. An optimized development approach for mobile machinery has to fulfill all the requirements according to the Machinery Directive 2006/42/EC, considering functional safety, documentation and testing requirements from the beginning and throughout the entire machine life cycle. The functionality of the drive line control could be verified in advance of the availability of a prototype by using a “software-in-the-loop” development approach, based on a MATLAB/SIMULINK model of the drive line in connection with the embedded software. info:eu-repo/classification/ddc/620 ddc:620
5	Managing complex product development projects : An analytical framework for complex product development / Hantering av komplexa produktutveklingsprojekt : Ett analytiskt ramverk för komplex produktutveckling GHATTAS, HELEN January 2016 (has links) Under de senaste åren har produkterna blivit mer invecklade beträffande anslutningen, prestanda och funktionalitet. Därför är syftet av denna studie att undersöka hur komplexa system utvecklas och leds genom att genomföra fallstudie på olika svenska företag som utvecklar mekatroniska och cyber-fysiska system. Resultatet av denna studie har lett till identifieringen av många utmaningar som de undersökta företagen har och som i sin tur har lett till framställningen av ett analytiskt ramverk som diskuterar hur och vad man bör göra för att utveckla komplexa produkter på ett effektivt sätt, så att onödig komplexitet i produktutvecklingen kan reduceras. / In recent years, products have become more complex in terms of connectivity, performance and functionality. Therefore, this study aims at studying how complex products are developed and managed through conducting multiple case studies at different Swedish companies that develop mechatronic or cyberphysical systems. The results of this study is the identification of many challenges that the investigated companies have, which have led to a presentation of an analytical framework that discusses how complex product development projects can and should be managed in order to be efficient, in order to reduce unnecessary complexity in the way companies develop these complex products. Cyber-physical integration phase V-model project management product development mechatronics and systems engineering Cyber-fysiska system integrationsfasen V-modellen projektledning produktutveckling mekatronik och systems engineering Economics and Business Ekonomi och näringsliv
6	Investigating Ethical Decision Making in Marketing Research: An Exploratory Study Towards the Interaction of Different Moral Agents in Marketing Research Bimpli, Iva January 2015 (has links) The premise of this study is the in-depth exploration and investigation of the nature of Ethical Decision Making (EDM) in marketing research. More specifically, this research is concerned with exploring the understanding and the holistic conceptualisation of Ethical Decision Making (EDM) through the investigation of different moral agents in marketing research in the United Kingdom. In particular, marketing research researchers’ (MR researchers) and marketing research respondents’ (MR respondents) ethical judgements and behavioural intentions have been investigated based on two marketing research techniques that generate ethical issues; neuromarketing [NM] and autoethnography [AE], Despite the examination of the two aforementioned moral agents, at the heart of this thesis has been the investigation of MR researchers’ (un)willingness to adopt or practice (i.e. behavioural intentions) these marketing research techniques. This study employed a qualitative design and was initiated on descriptive behavioural ethics, in order to investigate MR researchers’ behavioural intentions, while it has a nonnative purpose towards norm generation in the field. Thus, the Theory of Planned Behaviour’ and the ‘General Theory of Marketing Ethics’ (i.e. H-V model) were applied for the initial theoretical considerations of this thesis. By utilising descriptive and nonnative ethical accounts, this study has found that Ethical Decision Making (EDM) in marketing research is grounded in a social contract ethics foundation of a multidimensional structural functionalistic premise. Within this ethical setting the MR researcher is considering the MR respondent’s decision making processes with regards to norm generation, governed by social consensus, social proof and conformity. This results from a multidimensional interdependent social interaction of the two moral agents. Finally, this thesis concludes that Ethical Decision Making (EDM) in marketing research is not conceptualised in a linear progressive manner, but it consists of numerous constructs that fit with each other in a rather loosely coupled modular manner depicting a rather complex and dynamic system of multilayered factors and multi-dimensional constructs. Ethical decision making Marketing research Multiple moral agents Ethical judgments Behavioural intentions Social interaction H-V model Theory of Planned Behaviour
7	Návrh a optimalizace prostoru hydrostatické kapsy / Design and optimization of hydrostatic pocket space Minář, Petr January 2011 (has links) This diploma thesis deals with an optimization of hydrostatic slide of the large-portal gantry machine FRU (TOS Kuřim). First part of the thesis concerns with an analysis of the current practice in hydrostatic guides in the field of heavy gantry machines, an usage of alternative materials for a construction of carrying parts of machines, and possibilities of current simulation methods. Aim of the second part of this thesis is a brief clarification of the principle of mathematical optimization, and creation of general methodology of construction optimization by means of system analysis. Optimization calculations were processed by ANSYS Workbench 11.0. There is achieved adjusted and optimized design of the hydrostatic slide as the result of the thesis. Moreover, the comparison of key deformations was added. Created methodology is applicable in both an area of construction of gantry machines, and a wide spectrum of construction fields.
8	Nástroj na testování síťových aplikací / A Tool for Testing Network Applications Hornický, Pavol January 2012 (has links) This master thesis addresses the issue of software testing. It discusses different types and forms of testing such as white-box testing, black-box testing, unit testing, integration testing and regression testing. Further it deals with the specific problems of testing network applications and automation of the testing process. To solve these issues, the thesis presents a language based on XML for describing testing cases. The following chapter describes the design of this language interpreter. The thesis also deals with problems occurring during implementation phase of similar tools and their possible solutions. Functionality demonstration of designed tool helped to discover an error in product of AVG Technologies CZ, s.r.o..
9	Test vid utveckling av IT- system : En studie om metoder och arbetssätt för low-level test / Test in Development of IT systems : A study of methods and procedures for low-level test Vega Ledezma, Madeleine, Arslan, Murat-Emre January 2014 (has links) Test av informationssystem är en viktig del inom systemutvecklingsprocessen för att minimera felaktigheter och förbättra tillförlitligheten av system. Trafikverkets IT enhet hade ett fastställt och strukturerat testarbete för high-level test däremot hade de inte ett fastställt strukturerat testarbete inom low-level test. Vi fick i uppdrag att undersöka metoder och arbetssätt som fanns inom low-level test. Vi skulle också jämföra system som genomgått ett strukturerat testarbete inom low- och high-level test mot system som genomgått ostrukturerat low-level test och strukturerat high-level test. Målet med examensarbetet var att föreslå lämpliga metoder och arbetsätt inom low-level test för Trafikverkets IT enhet. Målet var också att ge en rekommendation ifall ett strukturerat testarbete inom low- och high-level var att rekommendera i jämförelse mot system som genomgått ostrukturerat low-level test och strukturerat high-level test. Genom litterära studier och intervjuer med Trafikverkets resurser genomförde vi vår undersökning och kom fram till vårt resultat.Vår rekommendation för Trafikverket IT var att de ska använda sig utav testdriven utveckling eftersom utvecklarna var osäkra på vad som skulle testas och metoden skulle klargöra detta. Dessutom ville de ha valmöjligheter och riktlinjer som skulle ge dem en mer bestämd arbetsstruktur. Vi rekommenderar också en anpassning av Self-Governance ramverket där aktiviteter väljs ut för varje projekt av en metodansvarig eller projektansvarig (Scrum Master) som bestämmer vilka aktiviteter som ska utföras på individ- och gruppnivå. / Testing of information systems is an essential part of the system development process to minimize errors and improve the reliability of systems. Trafikverket IT unit had a structured testing in the test phase high-level, however, they had not a structured testing in the development phase, low-level tests. We were assigned to examine methods and working methods in low-level test. We also would compare systems that had undergone a structuredtesting in low-and high-level test against systems that had undergone an unstructured low-leveltest and structured high-level test.The goal of the thesis was to propose appropriate method/methods in low-level test for Trafikverket IT unit. The goal was also to make a recommendation if a structured testing in low-and high-level were to be recommended in comparison with systems that had undergone unstructured low-level test and structured high-level test. Through literary studies and interviews with Trafikverket employees we reached our result. Our recommendation for Trafikverket IT is that they should use test-driven development because developers were unsure of what should be tested and the method would make thisclear. The developers also wanted to have options and guidelines that would give them a definite work structure. We also recommend an adaptation of the Self-Governance frameworkfrom where activities can be selected from each project manager (Scrum Master) that determines which activities will be performed in individual- and group level for each project. Test v-model low-level test high level test Scrum test-driven development Developers’ Self-Governance Test v-modellen low-level test high-level test Scrum testdriven utveckling Self-Governance Computer and Information Sciences Data- och informationsvetenskap
10	Placement of Controls in Construction Equipment Using Operators´Sitting Postures : Process and Recommendations Jalkebo, Charlotte January 2014 (has links) An ergonomically designed work environment may decrease work related musculoskeletal disorders, lead to less sick leaves and increase production time for operators and companies all around the world. Volvo Construction Equipment wants to deepen the knowledge and investigate more carefully how operators are actually sitting whilst operating the machines, how this affects placement of controls and furthermore optimize controls placements accordingly. The purpose is to enhance their product development process by suggesting guidelines for control placement with improved ergonomics based on operators’ sitting postures. The goal is to deliver a process which identifies and transfers sitting postures to RAMSIS and uses them for control placement recommendations in the cab and operator environments. Delimitations concerns: physical ergonomics, 80% usability of the resulted process on the machine types, and the level of detail for controls and their placements. Research, analysis, interviews, test driving of machines, video recordings of operators and the ergonomic software RAMSIS has served as base for analysis. The analysis led to (i) the conclusion that sitting postures affect optimal ergonomic placement of controls, though not ISO-standards, (ii) the conclusion that RAMSIS heavy truck postures does not seem to correspond to Volvo CE’s operators’ sitting postures and (iii) and to an advanced engineering project process suitable for all machine types and applicable in the product development process. The result can also be used for other machines than construction equipment. The resulted process consists of three independent sub-processes with step by step explanations and recommendations of; (i) what information that needs to be gathered, (ii) how to identify and transfer sitting postures into RAMSIS, (iii) how to use RAMSIS to create e design aid for recommended control placement. The thesis also contains additional enhancements to Volvo CE’s product development process with focus on ergonomics. A conclusion is that the use of motion capture could not be verified to work for Volvo Construction Equipment, though it was verified that if motion capture works, the process works. Another conclusion is that the suggested body landmarks not could be verified that they are all needed for this purpose except for those needed for control placement. Though they are based on previous sitting posture identification in vehicles and only those that also occur in RAMSIS are recommended, and therefore they can be used. This thesis also questions the most important parameters for interior vehicle design (hip- and eye locations) and suggests that shoulder locations are just as important. The thesis concluded five parameters for control categorization, and added seven categories in addition to those mentioned in the ISO-standards. Other contradictions and loopholes in the ISO-standards were identified, highlighted and discussed. Suggestions for improving the ergonomic analyses in RAMSIS can also be found in this report. More future research mentioned is more details on control placement as well as research regarding sitting postures are suggested. If the resulted process is delimited to concern upper body postures, other methods for posture identification may be used. Motion capture controls placement posture identification construction equipment operator environment volvo ce depth sensor inertial optical zone of reach zone of comfort H-point SIP Seat index point product development ergonomics Work Related Musculoskeletal Disorders Human Machine Interaction HMI WRMD Anthropometry Catia RAMSIS GEometric Kinematic backhoe loader wheel loader articulated hauler excavator Faro-Arm CMM Skeleton points skin points sitting posture operating posture categorization V model visual fields percentile road condition skill level sight point Abrasion speed visibility FOV field of view primary secondary tertiary ZoC ZoR mid-eye Design aid safety heavy truck

Search results