Sökning: "Ayani Rassul"

Visar resultat 1 - 5 av 8 avhandlingar innehållade orden Ayani Rassul.

1. 1. Fault-tolerance in HLA-based distributed simulations

   Författare :Martin Eklöf; Rassul Ayani; Gary Tan; KTH; []
   Nyckelord :NATURVETENSKAP; NATURAL SCIENCES; HLA; fault-tolerance; distributed simulations; federate; federation; Computer engineering; Datorteknik;

   Sammanfattning : Successful integration of simulations within the Network-Based Defence (NBD), specifically use of simulations within Command and Control (C2) environments, enforces a number of requirements. Simulations must be reliable and be able to respond in a timely manner. Otherwise the commander will have no confidence in using simulation as a tool. LÄS MER

3. 2. Semantic based resource identification, storage and discovery in distributed systems

   Författare :Marianela Garcia Lozano; Rassul Ayani; Yong-Meng Teo; Department of Systems Modelling Swedish Defence Research Agency FOI; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Telecommunication theory; Telekommunikationsteori;

   Sammanfattning : .... LÄS MER

4. 3. Simulation-based Optimization and Decision Making with Imperfect Information

   Författare :Farzad Kamrani; Rassul Ayani; Stephen John Turner; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Simulation-based Optimization; UAV Path Planning; Business Process Optimization;

   Sammanfattning : The purpose of this work is to provide simulation-based support for making optimal (or near-optimal) decisions in situations where decision makers are faced with imperfect information. We develop several novel techniques and algorithms for simulation-based optimization and decision support and apply them to two categories of problems: (i) Unmanned Aerial Vehicle (UAV) path planning in search operations, and; (ii) optimization of business process models. LÄS MER

5. 4. Using on-line simulation in UAV path planning

   Författare :Farzad Kamrani; Rassul Ayani; Steve Turner; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Electronics; Elektronik;

   Sammanfattning : In this thesis, we investigate the problem of Unmanned Aerial Vehicle (UAV) path planning in search or surveillance mission, when some a priori information about the targets and the environment is available. A search operation that utilizes the available a priori information about the initial location of the targets, terrain data, and information from reasonable assumptions about the targets movement can in average perform better than a uniform search that does not incorporate this information. LÄS MER

7. 5. A Verification Framework for Component Based Modeling and Simulation : “Putting the pieces together”

   Författare :Imran Mahmood; Rassul Ayani; Gary Tan; KTH; []
   Nyckelord :TEKNIK OCH TEKNOLOGIER; ENGINEERING AND TECHNOLOGY; Modeling and Simulation; Component-based development; Composability; Semantic Composability; Dynamic-Semantic Composability; Verification; Correctness; Petri Nets Analysis; Algebraic Techniques; Colored Petri Nets; State-space Analysis; Communicating Sequential Processes; Model Checking.; SRA - ICT; SRA - Informations- och kommunikationsteknik;

   Sammanfattning : The discipline of component-based modeling and simulation offers promising gains including reduction in development cost, time, and system complexity. This paradigm is very profitable as it promotes the use and reuse of modular components and is auspicious for effective development of complex simulations. LÄS MER