Sökning: "computer analysis"

Visar resultat 16 - 20 av 2349 avhandlingar innehållade orden computer analysis.

1. 16. Symbolic Supervisory Control of Resource Allocation Systems

   Författare :Zhennan Fei; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Resource Allocation System; Binary Decision Diagram.; Discrete Event System; Supervisory Control Theory;

   Sammanfattning : Supervisory control theory (SCT) is a formal model-based methodology for verification and synthesis of supervisors for discrete event systems (DES). The main goal is to guarantee that the closed-loop system fulfills given specifications. SCT has great promise to assist engineers with the generation of reliable control functions. LÄS MER

3. 17. Mobile systems for monitoring Parkinson's disease

   Författare :Mevludin Memedi; Mark Dougherty; Silvia Coradeschi; Peter Funk; Jerker Westin; Martin Gellerstedt; Örebro universitet; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; automatic assessments; data visualization; data-driven modelling; home assessments; information technology; mobile computing; objective measures; Parkinson’s disease; quantitative assessments; remote monitoring; spirography; symptom severity; tapping tests; telemedicine; telemetry; time series analysis; web technology; Information technology; Informationsteknologi; Datavetenskap; Computer Science; PAULINA - Uppföljning av Parkinsonsymptom från hemmet;

   Sammanfattning : A challenge for the clinical management of Parkinson's disease (PD) is the large within- and between-patient variability in symptom profiles as well as the emergence of motor complications which represent a significant source of disability in patients. This thesis deals with the development and evaluation of methods and systems for supporting the management of PD by using repeated measures, consisting of subjective assessments of symptoms and objective assessments of motor function through fine motor tests (spirography and tapping), collected by means of a telemetry touch screen device. LÄS MER

4. 18. Enabling Timing Analysis of Complex Embedded Software Systems

   Författare :Johan Kraft; Christer Norström; Anders Wall; Ian Broster; Mälardalens högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; Embedded-systems; Real-time-systems; Timing-analysis; Simulation; Simulation-optimization; Simulation-Model-Extraction; Source-code-analysis; Run-time-monitoring; Model-validation; Computer science; Datavetenskap; Computer Science; datavetenskap;

   Sammanfattning : Cars, trains, trucks, telecom networks and industrial robots are examples of products relying on complex embedded software systems, running on embedded computers. Such systems may consist of millions of lines of program code developed by hundreds of engineers over many years, often decades. LÄS MER

5. 19. Decentralized Constrained Optimization: a Novel Convergence Analysis

   Författare :Firooz Shahriari Mehr; Chalmers tekniska högskola; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; NATURVETENSKAP; NATURAL SCIENCES; TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Constrained optimization; Decentralized optimal transport; Distributed optimization; Multi-agent systems; Convergence analysis; Convex optimization;

   Sammanfattning : One reason for the spectacular success of machine learning models is the appearance of large datasets. These datasets are often generated by different computational units or agents and cannot be processed on a single machine due to memory and computing limitations. LÄS MER

7. 20. Assessment of Telematic Systems for Road Freight Transport

   Författare :Gideon Mbiydzenyuy; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; Transportation; telematics; architectures; analysis; optimization; clustering; net present value;

   Sammanfattning : The focus of this thesis is the assessment of telematic systems for road freight transport from a planning perspective. The aim is to support strategic decisions related to architectural choices for such systems, with the possibility to achieve synergies by supporting multiple telematic services. LÄS MER