Dissertationen zum Thema „Distributed space system“
Geben Sie eine Quelle nach APA, MLA, Chicago, Harvard und anderen Zitierweisen an
Machen Sie sich mit Top-50 Dissertationen für die Forschung zum Thema "Distributed space system" bekannt.
Neben jedem Werk im Literaturverzeichnis ist die Option "Zur Bibliographie hinzufügen" verfügbar. Nutzen Sie sie, wird Ihre bibliographische Angabe des gewählten Werkes nach der nötigen Zitierweise (APA, MLA, Harvard, Chicago, Vancouver usw.) automatisch gestaltet.
Sie können auch den vollen Text der wissenschaftlichen Publikation im PDF-Format herunterladen und eine Online-Annotation der Arbeit lesen, wenn die relevanten Parameter in den Metadaten verfügbar sind.
Sehen Sie die Dissertationen für verschiedene Spezialgebieten durch und erstellen Sie Ihre Bibliographie auf korrekte Weise.
Holsapple, Stephen Alan. „DSM64: A DISTRIBUTED SHARED MEMORY SYSTEM IN USER-SPACE“. DigitalCommons@CalPoly, 2012. https://digitalcommons.calpoly.edu/theses/725.
Der volle Inhalt der QuelleMcDonald, Ian Lindsay. „Memory management in a distributed system of single address space operating systems supporting quality of service“. Thesis, University of Glasgow, 2001. http://theses.gla.ac.uk/5427/.
Der volle Inhalt der QuelleRowe, Andrew W. „High-accuracy distributed sensor time-space-position information system for captive-carry field experiments“. Thesis, Monterey, Calif. : Springfield, Va. : Naval Postgraduate School ; Available from National Technical Information Service, 1996. http://handle.dtic.mil/100.2/ADA324537.
Der volle Inhalt der QuelleKassan, Mark W. „Distributed Interactive Simulation: The Answer to Interoperable Test and Training Instrumentation“. International Foundation for Telemetering, 1996. http://hdl.handle.net/10150/611445.
Der volle Inhalt der QuelleThis paper discusses Global Positioning System (GPS) Range Applications Joint Program Office (RAJPO) efforts to foster interoperability between airborne instrumentation, virtual simulators, and constructive simulations using Distributed Interactive Simulation (DIS). In the past, the testing and training communities developed separate airborne instrumentation systems primarily because available technology couldn't encompass both communities' requirements. As budgets get smaller, as requirements merge, and as technology advances, the separate systems can be used interoperably and possibly merged to meet common requirements. Using DIS to bridge the gap between the RAJPO test instrumentation system and the Air Combat Maneuvering Instrumentation (ACMI) training systems provides a defacto system-level interoperable interface while giving both communities the added benefits of interaction with the modeling and simulation world. The RAJPO leads the test community in using DIS. RAJPO instrumentation has already supported training exercises such as Roving Sands 95, Warfighter 95, and Combat Synthetic Test, Training, and Assessment Range (STTAR) and major tests such as the Joint Advanced Distributed Simulation (JADS) Joint Test and Evaluation (JT&E) program. Future efforts may include support of Warrior Flag 97 and upgrading the Nellis No-Drop Bomb Scoring Ranges. These exercises, combining the use of DIS and RAJPO instrumentation to date, demonstrate how a single airborne system can be used successfully to support both test and training requirements. The Air Combat Training System (ACTS) Program plans to build interoperability through DIS into existing and future ACMI systems. The RAJPO is committed to fostering interoperable airborne instrumentation systems as well as interfaces to virtual and constructive systems in the modeling and simulation world. This interoperability will provide a highly realistic combat training and test synthetic environment enhancing the military's ability to train its warfighters and test its advanced weapon systems.
Bruhn, Fredrik. „Miniaturized Multifunctional System Architecture for Satellites and Robotics“. Doctoral thesis, Uppsala : Acta Universitatis Upsaliensis : Universitetsbiblioteket [distributör], 2005. http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-6130.
Der volle Inhalt der QuelleBriao, Eduardo Wenzel. „Métodos de Exploração de Espaço de Projeto em Tempo de Execução em Sistemas Embarcados de Tempo Real Soft baseados em Redes-Em-Chip“. reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2008. http://hdl.handle.net/10183/13157.
Der volle Inhalt der QuelleThe complexity of electronic systems design has been increasing due to the technological evolution, which now allows the inclusion of a complete system on a single chip (SoC – System-on-Chip). In order to cope with the corresponding design complexity and reduce design costs and time-to-market, systems are built by assembling pre-designed and pre-verificated functional modules, called IP (Intellectual Property) cores. IP cores can be reused from previous designs or acquired from third-party vendors. However, an adequate communication architecture is required to interconnect these IP cores. Current communication architectures (busses) are unsuitable for the communication requirements of future SoCs (sharing of bandwidth, lack of scalability). Networks-on-Chip (NoC) arise as one of the solutions to fulfill these requirements. While developing NoC-based embedded systems, the NoC customization is mandatory to fulfill design constraints. This design space exploration (DSE), according to most approaches in the literature, is achieved at compile-time (off-line DSE), assuming the profiles of the tasks that will be executed in the embedded system are known a priori. However, nowadays, embedded systems are becoming more and more similar to generic processing devices (such as palmtops), where the tasks to be executed are not completely known a priori. Due to the dynamic modification of the workload of the embedded system, the fulfillment of requirements can be accomplished by using adaptive mechanisms that implement dynamically the DSE (run-time DSE or on-line DSE). In the scope of this work, DSE is on-line. In other words, when the system is running, adaptive mechanisms will be executed to fulfill the requirements of the system. Consequently, on-line DSE can achieve better results than off-line DSE alone, especially considering embedded systems with tight constraints. It is thus possible to maximize the lifetime of the battery that feeds an embedded system, or even to decrease the deadline miss ratio in a soft real-time system, for example by relocating tasks dynamically in order to generate less communication among the processors, provided that the system runs for enough execution time in order to amortize the migration overhead.In this work, a combination of allocation heuristics from the domain of Distributed Computing Systems is applied, for instance bin-packing and linear clustering algorithms. Results shows that applying task reallocation using the Worst-Fit and Linear Clustering combination reduces the energy consumption and deadline miss ratio by 17% and 37%, respectively, using the copy task migration model.
Hazra, Tushar K., Charles Sun, Arshad M. Mian und Louis M. Picinich. „Developing Communication and Data Systems for Space Station Facility Class Payloads“. International Foundation for Telemetering, 1995. http://hdl.handle.net/10150/608434.
Der volle Inhalt der QuelleThe driving force in modern space mission control has been directed towards developing cost effective and reliable communication and data systems. The objective is to maintain and ensure error-free payload commanding and data acquisition as well as efficient processing of the payload data for concurrent, real time and future use. While Mainframe computing still comprises a majority of commercially available communication and data systems, a significant diversion can be noticed towards utilizing a distributed network of workstations and commercially available software and hardware. This motivation reflects advances in modem computer technology and the trend in space mission control today and in the future. The development of communication and data involves the implementation of distributed and parallel processing concepts in a network of highly powerful client server environments. This paper addresses major issues related to developing and integrating communication and data system and the significance for future developments.
Puranik, Sachin Vishwas. „Development of a distributed model for the biological water processor of the water recovery system for NASA Advanced Life Support program“. Master's thesis, Mississippi State : Mississippi State University, 2004. http://library.msstate.edu/etd/show.asp?etd=etd-11152004-174325.
Der volle Inhalt der QuelleLanzarini, Matteo. „Distributed optimization methods for cooperative beamforming in satellite communications“. Master's thesis, Alma Mater Studiorum - Università di Bologna, 2021. http://amslaurea.unibo.it/23246/.
Der volle Inhalt der QuelleBanu, Shahera. „Examining the impact of climate change on dengue transmission in the Asia-Pacific region“. Thesis, Queensland University of Technology, 2013. https://eprints.qut.edu.au/66387/1/Shahera_Banu_Thesis.pdf.
Der volle Inhalt der QuelleAkopyan, Evelyne. „Fiabilité de l'architecture réseau des systèmes spatiaux distribués sur essaims de nanosatellites“. Electronic Thesis or Diss., Université de Toulouse (2023-....), 2024. http://www.theses.fr/2024TLSEP102.
Der volle Inhalt der QuelleThe study of the low-frequency range is essential for Deep Space observation, as it extracts precious information from Dark Ages signals, which are signatures of the very early Universe. To this day, the majority of low-frequency radio interferometers are deployed in desertic regions on the surface of the Earth. However, these signals are easily distorted by radio-frequency interferences as well as the ionosphere, making them hardly observable when they are not completely masked. One solution to this problem would be to observe the low-frequency signals directly from Space, by deploying a nanosatellite swarm in orbit around the Moon. This swarm is defined as a Distributed Space System (DSS) operating as an interferometer, while being shielded by the Moon from terrestrial interferences and ionospheric distortions. However, the configuration of a nanosatellite swarm as a space observatory proves to be a challenging problem in terms of communication, mostly because of the lack of external infrastructure in Space, and the amount of observation data to propagate within the swarm. Thus, the objective of the thesis is to define a reliable network architecture that would comply with the requirements of a MANET and a distributed system, simultaneously. This thesis starts by characterizing the network of the nanosatellite swarm and highlights its strong heterogeneity. Then, it introduces a set of algorithms, based on graph division, to fairly distribute the network load among the swarm, and compares their performance in terms of fairness. Finally, it assesses the fault tolerance of the system in terms of robustness (capacity to resist faults) and resilience (capacity to maintain functionality when faults occur) and evaluates the impact of graph division on the overall reliability of the swarm. The division algorithms developped in this thesis should ensure the Quality of Service (QoS) necessary to the proper functioning of a Space interferometer. To this end, relevant routing protocols should be thoroughly studied and integrated, in order to meet the strict requirements of this advanced application in terms of performance and reliability
Jeffrey, Alan. „Observation spaces and timed processes“. Thesis, University of Oxford, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.302874.
Der volle Inhalt der QuelleGull, Aarron. „Cherub : a hardware distributed single shared address space memory architecture“. Thesis, City University London, 1993. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.356981.
Der volle Inhalt der QuelleMenezes, Ronaldo Parente de. „Resource management in open tuple space systems“. Thesis, University of York, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.313869.
Der volle Inhalt der QuelleTang, Yipeng. „DSP implementation of trellis coded modulation and distributed space time coding“. Morgantown, W. Va. : [West Virginia University Libraries], 2001. http://etd.wvu.edu/templates/showETD.cfm?recnum=1796.
Der volle Inhalt der QuelleTitle from document title page. Document formatted into pages; contains v, 118, [64] p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 114-118).
Corbin, Benjamin Andrew. „The value proposition of distributed satellite systems for space science missions“. Thesis, Massachusetts Institute of Technology, 2015. http://hdl.handle.net/1721.1/103442.
Der volle Inhalt der QuelleCataloged from PDF version of thesis.
Includes bibliographical references (pages 382-402).
The resources available for planetary science missions are finite and subject to some uncertainty. Despite decreasing costs of spacecraft components and launch services, the cost of space science missions is increasing, causing some missions to be canceled or delayed, and fewer science groups have the opportunity to achieve their goals due to budget limits. New methods in systems engineering have been developed to evaluate flexible systems and their sustained lifecycle value, but these methods are not yet employed by space agencies in the early stages of a mission's design. Previous studies of distributed satellite systems (DSS) showed that they are rarely competitive with monolithic systems; however, comparatively little research has focused on how DSS can be used to achieve new, fundamental space science goals that simply cannot be achieved with monolithic systems. The Responsive Systems Comparison (RSC) method combines Multi-Attribute Tradespace Exploration with Epoch-Era Analysis to examine benefits, costs, and flexible options in complex systems over the mission lifecycle. Modifications to the RSC method as it exists in previously published literature were made in order to more accurately characterize how value is derived from space science missions. A tiered structure in multi-attribute utility theory allows attributes of complex systems to be mentally compartmentalized by stakeholders and more explicitly shows synergy between complementary science goals. New metrics help rank designs by the value derived over their entire mission lifecycle and show more accurate cumulative value distributions. A complete list of the emergent capabilities of DSS was defined through the examination of the potential benefits of DSS as well as other science campaigns that leverage multiple assets to achieve their scientific goals. Three distinct categories consisting of seven total unique capabilities related to scientific data sampling and collection were identified and defined. The three broad categories are fundamentally unique, analytically unique, and operationally unique capabilities. This work uses RSC to examine four case studies of DSS missions that achieve new space science goals by leveraging these emergent capabilities. ExoplanetSat leverages shared sampling to conduct observations of necessary frequency and length to detect transiting exoplanets. HOBOCOP leverages simultaneous sampling and stacked sampling to study the Sun in far greater detail than any previous mission. ÆGIR leverages census sampling and self-sampling to catalog asteroids for future ISRU and mining operations. GANGMIR leverages staged sampling with sacrifice sampling and stacked sampling to answer fundamental questions related to the future human exploration of Mars. In all four case studies, RSC showed how scientific value was gained that would. be impossible or unsatisfactory with monolithic systems. Information gained in these studies helped stakeholders more accurately understand the risks and opportunities that arise as a result of the added flexibility in these missions. The wide scope of these case studies demonstrates how RSC can be applied to any science mission, especially one with goals that are more easily achieved with (or impossible to achieve without) DSS. Each study serves as a blueprint for how to conduct a Pre-Phase A study using these methods.
by Benjamin Andrew Corbin.
Ph. D.
Boone, Gary Noel. „Extreme dimensionality reduction for text learning : cluster-generated feature spaces“. Diss., Georgia Institute of Technology, 2000. http://hdl.handle.net/1853/8139.
Der volle Inhalt der QuelleJacobs, Zachary A. „PROVIDING A PERSISTENT SPACE PLUG-AND-PLAY AVIONICS NETWORK ON THE INTERNATIONAL SPACE STATION“. UKnowledge, 2013. http://uknowledge.uky.edu/ece_etds/16.
Der volle Inhalt der QuelleSugiura, Shinya. „Coherent versus non-coherent space-time shift keying for co-located and distributed MIMO systems“. Thesis, University of Southampton, 2010. https://eprints.soton.ac.uk/165759/.
Der volle Inhalt der QuellePaques, Henrique Wiermann. „The Ginga Approach to Adaptive Query Processing in Large Distributed Systems“. Diss., Georgia Institute of Technology, 2003. http://hdl.handle.net/1853/5277.
Der volle Inhalt der QuelleVaragnolo, Damiano. „Distributed Parametric-Nonparametric Estimation in Networked Control Systems“. Doctoral thesis, Università degli studi di Padova, 2011. http://hdl.handle.net/11577/3421610.
Der volle Inhalt der QuelleIn questa tesi vengono introdotti e analizzati alcuni algoritmi di regressione distribuita parametrica e nonparametrica, basati su tecniche di consenso e parametrizzati da un parametro il cui significato è una stima del numero di sensori presenti nella rete. Gli algoritmi parametrici assumono la conoscenza di informazione a-priori sulle quantità da stimare, mentre quelli nonparametrici utilizzano come spazio delle ipotesi uno spazio di Hilbert a nucleo riproducente. Dall'analisi degli stimatori distribuiti proposti si ricavano alcune condizioni sufficienti che, se assicurate, garantiscono che le prestazioni degli stimatori distribuiti sono migliori di quelli locali (usando come metrica la varianza dell'errore di stima). Inoltre dalla stessa analisi si caratterizzano le perdite di prestazioni che si hanno usando gli stimatori distribuiti invece che quelli centralizzati e ottimi (usando come metrica la distanza euclidea tra le due diverse stime ottenute). Inoltre viene offerto un nuovo algoritmo che calcola in maniera distribuita dei certificati di qualità che garantiscono la bontà dei risultati ottenuti con gli stimatori distribuiti. Si mostra inoltre come lo stimatore nonparametrico distribuito proposto sia in realtà una versione approssimata delle cosiddette ``Reti di Regolarizzazione'', e come esso richieda poche risorse computazionali, di memoria e di comunicazione tra sensori. Si analizza quindi il caso di sensori spazialmente distribuiti e soggetti a ritardi temporali sconosciuti. Si mostra dunque come si possano stimare, minimizzando opportune funzioni di prodotti interni negli spazi di Hilbert precedentemente considerati, sia la funzione vista dai sensori che i relativi ritardi visti da questi. A causa dell'importanza della conoscenza del numero di agenti negli algoritmi proposti precedentemente, viene proposta una nuova metodologia per sviluppare algoritmi di stima distribuita di tale numero, basata sulla seguente idea: come primo passo gli agenti generano localmente alcuni numeri, in maniera casuale e da una densità di probabilità nota a tutti. Quindi i sensori si scambiano e modificano questi dati usando algoritmi di consenso quali la media o il massimo; infine, tramite analisi statistiche sulla distribuzione finale dei dati modificati, si può ottenere dell'informazione su quanti agenti hanno partecipato al processo di consenso e modifica. Una caratteristica di questo approccio è che gli algoritmi sono completamente distribuiti, in quanto non richiedono passi di elezione di leaders. Un'altra è che ai sensori non è richiesto di trasmettere informazioni sensibili quali codici identificativi o altro, quindi la strategia è implementabile anche se in presenza di problemi di riservatezza. Dopo una formulazione rigorosa del paradigma, analizziamo alcuni esempi pratici, li caratterizziamo completamente dal punto di vista statistico, e infine offriamo alcuni risultati teorici generali e analisi asintotiche.
Sundholm, Hillevi. „Spaces within Spaces : The Construction of a Collaborative Reality“. Doctoral thesis, Kista : Department of Computer and Systems Sciences (Stockholm University together with KTH), 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-6860.
Der volle Inhalt der QuelleAlotaibi, Faisal T. „Distributed space-time block coding in cooperative relay networks with application in cognitive radio“. Thesis, Loughborough University, 2012. https://dspace.lboro.ac.uk/2134/10965.
Der volle Inhalt der QuelleJung, Jin Woo. „Modeling and control of fuel cell based distributed generation systems“. Connect to resource, 2005. http://rave.ohiolink.edu/etdc/view?acc%5Fnum=osu1116451881.
Der volle Inhalt der QuelleTitle from first page of PDF file. Document formatted into pages; contains xvi, 209 p.; also includes graphics. Includes bibliographical references (p. 202-209). Available online via OhioLINK's ETD Center
Jones, Alistair. „Co-located collaboration in interactive spaces for preliminary design“. Phd thesis, Université de Technologie de Compiègne, 2013. http://tel.archives-ouvertes.fr/tel-01067774.
Der volle Inhalt der QuelleBellachehab, Anass. „Pairwise gossip in CAT(k) metric spaces“. Thesis, Evry, Institut national des télécommunications, 2017. http://www.theses.fr/2017TELE0017/document.
Der volle Inhalt der QuelleThis thesis deals with the problem of consensus on networks. Networks under study consists of identical agents that can communicate with each other, have memory and computational capacity. The network has no central node. Each agent stores a value that, initially, is not known by other agents. The goal is to achieve consensus, i.e. all agents having the same value, in a fully distributed way. Hence, only neighboring agents can have direct communication. This problem has a long and fruitful history. If all values belong to some vector space, several protocols are known to solve this problem. A well-known solution is the pairwise gossip protocol that achieves consensus asymptotically. It is an iterative protocol that consists in choosing two adjacent nodes at each iteration and average them. The specificity of this Ph.D. thesis lies in the fact that the data stored by the agents does not necessarily belong to a vector space, but some metric space. For instance, each agent stores a direction (the metric space is the projective space) or position on a sphere (the metric space is a sphere) or even a position on a metric graph (the metric space is the underlying graph). Then the mentioned pairwise gossip protocols makes no sense since averaging implies additions and multiplications that are not available in metric spaces: what is the average of two directions, for instance? However, in metric spaces midpoints sometimes make sense and when they do, they can advantageously replace averages. In this work, we realized that, if one wants midpoints to converge, curvature matters. We focused on the case where the data space belongs to some special class of metric spaces called CAT(k) spaces. And we were able to show that, provided initial data is "close enough" is some precise meaning, midpoints-based gossip algorithm – that we refer to as Random Pairwise Midpoints - does converge to consensus asymptotically. Our generalization allows to treat new cases of data spaces such as positive definite matrices, the rotations group and metamorphic systems
Fan, Yang, Hidehiko Masuhara, Tomoyuki Aotani, Flemming Nielson und Hanne Riis Nielson. „AspectKE*: Security aspects with program analysis for distributed systems“. Universität Potsdam, 2010. http://opus.kobv.de/ubp/volltexte/2010/4136/.
Der volle Inhalt der QuelleBorkar, Milind. „A distributed Monte Carlo method for initializing state vector distributions in heterogeneous smart sensor networks“. Diss., Georgia Institute of Technology, 2008. http://hdl.handle.net/1853/22680.
Der volle Inhalt der QuelleBellachehab, Anass. „Pairwise gossip in CAT(k) metric spaces“. Electronic Thesis or Diss., Evry, Institut national des télécommunications, 2017. http://www.theses.fr/2017TELE0017.
Der volle Inhalt der QuelleThis thesis deals with the problem of consensus on networks. Networks under study consists of identical agents that can communicate with each other, have memory and computational capacity. The network has no central node. Each agent stores a value that, initially, is not known by other agents. The goal is to achieve consensus, i.e. all agents having the same value, in a fully distributed way. Hence, only neighboring agents can have direct communication. This problem has a long and fruitful history. If all values belong to some vector space, several protocols are known to solve this problem. A well-known solution is the pairwise gossip protocol that achieves consensus asymptotically. It is an iterative protocol that consists in choosing two adjacent nodes at each iteration and average them. The specificity of this Ph.D. thesis lies in the fact that the data stored by the agents does not necessarily belong to a vector space, but some metric space. For instance, each agent stores a direction (the metric space is the projective space) or position on a sphere (the metric space is a sphere) or even a position on a metric graph (the metric space is the underlying graph). Then the mentioned pairwise gossip protocols makes no sense since averaging implies additions and multiplications that are not available in metric spaces: what is the average of two directions, for instance? However, in metric spaces midpoints sometimes make sense and when they do, they can advantageously replace averages. In this work, we realized that, if one wants midpoints to converge, curvature matters. We focused on the case where the data space belongs to some special class of metric spaces called CAT(k) spaces. And we were able to show that, provided initial data is "close enough" is some precise meaning, midpoints-based gossip algorithm – that we refer to as Random Pairwise Midpoints - does converge to consensus asymptotically. Our generalization allows to treat new cases of data spaces such as positive definite matrices, the rotations group and metamorphic systems
Kratz, Jonathan L. „Robust Control of Uncertain Input-Delayed Sample Data Systems through Optimization of a Robustness Bound“. The Ohio State University, 2015. http://rave.ohiolink.edu/etdc/view?acc_num=osu1429149093.
Der volle Inhalt der QuelleBorn, Marc, und Olaf Kath. „CoRE - komponentenorientierte Entwicklung offener verteilter Softwaresysteme im Telekommunikationskontext“. Doctoral thesis, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät I; Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2002. http://dx.doi.org/10.18452/14744.
Der volle Inhalt der QuelleThe telecommunication industry and their suppliers form a software intensive domain. In addition, a high percentage of the software is developed by the telecommunication enterprises themselves. A main contributing factor for this situation are specific requirements to telecommunication software systems which cannot be fulfilled by standard off-the-shelf products. These requirements result from particular properties of those software systems, e.g. distributed development and execution of their components, heterogeneity of execution and development environments and complex non-functional characteristics like scalability, reliability, security and manageability. The development of telecommunication software systems is a complex process and currently not satisfactory realized. Actual research topics in this arena are software development processes and development techniques as well as tools which support the creation and integration of reusable software components (component ware). The goal of this thesis work is the support of the industrial development and manufacturing of open distributed telecommunication software systems. For that purpose, the development technique object oriented modelling and the implementation technique usage of component architectures are combined. The available modelling concepts are precisely defined as a metamodel. Based on that metamodel, graphical and textual notations for the presentation of models are developed. To enable a smooth transition from object oriented models into executable components a component architecture based on CORBA was also developed as part of the thesis. This component architecture covers besides the interaction support for distributed components deployment and execution aspects. Again on the basis of the metamodel code generation rules are defined which allow to automate the transition from models to components. The development techniques described in this thesis have been implemented as a tool chain. This tool chain has been successfully used in several software development projects.
Amoah, Raphael. „Formal security analysis of the DNP3-Secure Authentication Protocol“. Thesis, Queensland University of Technology, 2016. https://eprints.qut.edu.au/93798/1/Raphael_Amoah_Thesis.pdf.
Der volle Inhalt der QuelleRoriz, Junior Marcos Paulino. „C3S: uma plataforma de middleware de compartilhamento de conteúdo para espaços inteligentes“. Universidade Federal de Goiás, 2013. http://repositorio.bc.ufg.br/tede/handle/tede/3101.
Der volle Inhalt der QuelleApproved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2014-09-19T12:58:45Z (GMT) No. of bitstreams: 2 Dissertacao Marcos Paulino Roriz Junior.pdf: 6606924 bytes, checksum: 51f41fd9bffd47d74d5b5433034ffe62 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5)
Made available in DSpace on 2014-09-19T12:58:45Z (GMT). No. of bitstreams: 2 Dissertacao Marcos Paulino Roriz Junior.pdf: 6606924 bytes, checksum: 51f41fd9bffd47d74d5b5433034ffe62 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2013-05-17
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES
Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq
According to Mark Weiser, ubiquitous computing focuses on seamlessly integrating computing tasks into people’s daily lives. Because of current technology limitations, the realization of ubiquitous computing observes a limited set of aspects of ubiquitous computing, such as, mobility and context, which are based on services that integrate the users with the resources that are present on a delimited ubiquitous environment (such as in smart spaces). Instead, we explored a different approach, in which services are used not to integrate an individual user with the environment, but to integrate the users present in the environment with one another. One way to realize this aspect is by using content sharing, first-class application dat, that serve as integration medium between users. However, due to the environment complexity and lack of middleware platforms, applications that follow this approach are repeatedly built from scratch using raw techniques. Aiming to provide an infrastructure for the development of this kind of applications, we propose Content Sharing for Smart Spaces (C3S), a middleware that offers a high-level programming model using primitives that are based on a set of content sharing semantics and ubiquitous application concepts. The primitives express a small set of behaviors, such as move, clone, and mirror, which serve as building blocks for developers to implement sharing and content ubiquity features, while the ubiquitous concepts supported by the middleware allow the manipulation of users, groups and ubiquitous applications. We validated our proposal using two different case studies that allowed us to explore these features. Our results show that our middleware provides an easier way to develop sharing-based applications compared to related work found in the literature.
De acordo com Mark Weiser, a computação ubíqua se concentra na integração de maneira despercebida e sem rupturas (seamlessy) de tarefas da computação no cotidiano das pessoas. Por causa das atuais limitações tecnológicas, a realização dessa integração segue um ou mais aspectos da computação ubíqua, por exemplo, de mobilidade ou de contexto, que são baseados em serviços que integram o usuário em um ambiente ubíquo delimitado (como espaços inteligentes). Neste trabalho exploramos uma abordagem diferente, em que os serviços não são utilizados para integrar um usuário individual ao ambiente, mas são utilizados para integrar os usuários presentes no ambiente uns com os outros. Uma maneira de realizar esse aspecto é usando o compartilhamento de conteúdo, dados de primeira classe da aplicação que servem como meio de integrar os usuários. No entanto, devido à complexidade do ambiente de computação ubíqua e à falta de plataformas de middleware, aplicações que seguem esta abordagem são repetidamente construídas a partir “do zero”, usando técnicas não convencionais. Com o objetivo de fornecer uma infraestrutura para o desenvolvimento deste tipo de aplicação, propomos o Content Sharing for Smart Spaces (C3S), um middleware que oferece um modelo de programação de alto nível, usando primitivas baseadas em um conjunto de semânticas de compartilhamento de conteúdo e em conceitos de aplicações ubíquas. As primitivas expressam um conjunto de comportamentos, tais como mover, clonar, e espelhar, que servem como blocos de construção para os desenvolvedores implementarem funcionalidades de compartilhamento, enquanto que os conceitos de ubiquidade permitem a manipulação de usuários, grupos e aplicações ubíquas. A proposta foi validada por meio de dois estudos de caso que exploram esses recursos. Os resultados permitiram concluir que o middleware fornece uma maneira mais fácil de desenvolver aplicativos baseados em compartilhamento em comparação com trabalhos semelhantes encontrados na literatura.
Mehiaoui, Asma. „Techniques d'analyse et d'optimisation pour la synthèse architecturale de systèmes temps réel embarqués distribués : problèmes de placement, de partitionnement et d'ordonnancement“. Thesis, Brest, 2014. http://www.theses.fr/2014BRES0011/document.
Der volle Inhalt der QuelleModern development methodologies from the industry and the academia exploit more and more the ”model” concept to address the complexity of critical real-time systems. These methodologies define a key stage in which the functional model, designed as a network of function blocks communicating through exchanged data signals, is deployed onto a hardware execution platform model and implemented in a software model consisting of a set of tasks and messages. This stage so-called deployment stage allows establishment of an operational architecture of the system, thus it requires evaluation and validation of the temporal properties of the system. In the context of event-driven real-time systems, the verification of temporal properties is performed using the schedulability analysis based on the response time analysis. Each deployment choice has an essential impact on the validity and the quality of the system. However, the existing methodologies do not provide supportto guide the designer of applications in the exploration of the operational architectures space. The objective of this thesis is to develop techniques for analysis and automatic synthesis of a valid operational architecture optimized with respect to the system performances. Our proposition is dedicated to the exploration of architectures space considering at the same time the four degrees of freedom determined during the deployment phase, (i) the placement of functional elements on the computing and communication resources of the execution platform, (ii) the partitioning of function elements into real time tasks and data signals into messages, (iii) the priority assignment to system tasks and messages and (iv) the assignment of shared data protection mechanism for periodic real-time systems. We are mainly interested in meeting temporal constraints and memory capacity of the target platform. In addition, we are focusing on the optimization of end-to-end latency and memory consumption. The design space exploration approaches presented in this thesis are based on the MILP (Mixed Integer Linear programming) optimization technique and concern at the same time time-driven and data-driven applications. Unlike many earlier approaches providing a partial solution to the deployment problem, our methods consider the whole deployment problem. The proposed approaches in this thesis are evaluated using both synthetic and industrial applications
Ben, Salem Aymen. „The Application of Multiuser Detection to Spectrally Efficient MIMO or Virtual MIMO SC-FDMA Uplinks in LTE Systems“. Thèse, Université d'Ottawa / University of Ottawa, 2013. http://hdl.handle.net/10393/30351.
Der volle Inhalt der Quelle廖智瑋. „Partially Distributed Space-Time Coding System in Flat Fading Channels“. Thesis, 2016. http://ndltd.ncl.edu.tw/handle/95746082357936820576.
Der volle Inhalt der Quelle逢甲大學
通訊工程學系
104
In this paper, we will propose a new coding rules used in cooperative communication systems, comprosing 2x1,3x1,4x1 even multiple relay systems, using the virtual relay to simplifies and streamlines the process of the signal transmission, the coding rules names Alamouti Partially Distributed Space-Time Coding, we research on Alamouti Partially Distributed Space-Time Coding system in Flat Fading Channels. The symbol error rate performances of Alamouti Partially Distributed Space-Time Coding system on Flat Fading Channels using Amplify and Forward scheme is simulated and compared with Alamouti Full Distributed Space-Time Coding. We show through simulation that performance of Alamouti Partially Distributed Space-Time Coding is better than Alamouti Full Distributed Space-Time Coding.
Hwu, Jiann-Ming, und 胡建銘. „An Extended Stub Library for Distributed Common Variable Space in the PVM System“. Thesis, 1994. http://ndltd.ncl.edu.tw/handle/00125454640822606120.
Der volle Inhalt der Quelle國立中央大學
資訊及電子工程研究所
82
These years, the research in the realm of distributed shared memory (DSM) has been a hot research area. The benefits of DSM over that of message passing mechanisms are widely acknowledged. Instead of involving in the research about DSM meanwhile, a varied meachanism, distributed shared variable (DSV), will be applied because the development of DSM always requires extra modification for the kernel of operating system. The major differences between DSV and DSM paradigm can be distinguished in the following. DSV paradigm only supports the data sharing in a distributed computing environment. However, DSM paradigm can support data and code sharing. Nevertheless, the source codes of the existing widely accepted commercial operating systems are not affordable easily. So, pursuing a method with no kernel modification and with capability of achieving data sharing in heterogeneous computing environment is our final reasonable choice. DSV is not only an efficient programming interface, but also a friendly high-level application programming interface. While the scale of software will grow large, the DSV paradigm should be able to cure the original crisis incurred by software complexity. PVM is a user- level software system which integrates lots of existing famous computing resources on the network into one large virtual entity, however, it lacks an efficient programming paradigm such as shared variable or even shared memory. After taking the above into account, we choose this platform, PVM system, to develop the prototype of DSV system as quickly as possible.
Hol, Wen-Chen, und 何文丞. „On the Study of Optimal File Assignment in Distributed System Under Memory Space Constraint“. Thesis, 1993. http://ndltd.ncl.edu.tw/handle/78119250464957123904.
Der volle Inhalt der Quelle國立交通大學
資訊工程研究所
81
Distributed Computing System (DCS) has become a major trend today's computer system design for its high speed and high performance advantages. Reliability is an important performance parameter in DCS design. In this thesis, we develop a heuristic algorithm (HROFA) for the reliability-oriented file assignment problem, which uses a careful reduction method to reduce the problem space. Based on some numerical results, the HROFA algorithm obtain the exact solution in most case and the computation time is improved significantly. When it fails to give an exact solution, the deviation from the exact solution is very small.
Wan-ChunWen und 溫婉均. „A High Capacity Cell Architecture Based on Distributed Antenna System And Cooperative Space-Time Coding“. Thesis, 2011. http://ndltd.ncl.edu.tw/handle/54104116699755088491.
Der volle Inhalt der QuelleYu, Kai. „Reduced state-space Markov decision process and the dynamic recovery and reconfiguration of a distributed real-time system“. 1996. https://scholarworks.umass.edu/dissertations/AAI9721499.
Der volle Inhalt der QuelleCheng, Tz-shin, und 程子勳. „A Simple Heuristic Method to maximize the System Reliability of the File Assignment problem in the distributed computing system under Memory Space Constraints“. Thesis, 1995. http://ndltd.ncl.edu.tw/handle/31234908069609808969.
Der volle Inhalt der Quelle國立交通大學
資訊工程研究所
83
Distributed computing systems (DCS) have become a major trend in computer system design today because of their high speed and high reliable performance advantages. Reliability is an important performance parameter in DCS design. Typically, redundant copies of software can be added to a system to increase system's reliability. The distribution of program and data files can also affect the distributed program reliability (DPR) and distributed system reliability (DSR). The reliability- oriented file assignment problem is to find a file distribution such that program reliability or system reliability is maximal. In this thesis, we develop a simple heuristic file assignment algorithm which use several simple heuristic assignment rules to achieve reliability-oriented file assignment. The proposed algorithm can obtain the optimal solutions in most cases and reduce computation time significantly. Examples are given to illustrate the applicability and advantages of the proposed algorithm. Also, the time complexity is analyzed.
Cheng, Zi-Xun, und 程子勳. „A simple heuristic method to maximize the system reliability of the file assignment problem in the distributed computing system under memory space constraints“. Thesis, 1995. http://ndltd.ncl.edu.tw/handle/99076355775167811615.
Der volle Inhalt der Quelle國立交通大學
資訊工程研究所
83
Distributed computing systems (DCS) have become a major trend in computer system design today because of their high speed and high reliable performance advantages. Reliability is an important performance parameter in DCS design. Typically, redundant copies of software can be added to a system to increase system''s reliability. The distribution of program and data files can also affect the distributed program reliability (DPR) and distributed system reliability (DSR). The reliability- oriented file assignment problem is to find a file distribution such that program reliability or system reliability is maximal. In this thesis, we develop a simple heuristic file assignment algorithm which use several simple heuristic assignment rules to achieve reliability-oriented file assignment. The proposed algorithm can obtain the optimal solutions in most cases and reduce computation time significantly. Examples are given to illustrate the applicability and advantages of the proposed algorithm. Also, the time complexity is analyzed.
Maybodi, Farnam Khalili. „A Data-Flow Threads Co-Processor for MPSoC FPGA Clusters“. Doctoral thesis, 2021. http://hdl.handle.net/2158/1237446.
Der volle Inhalt der QuelleKumar, Sappati Vinodh. „Distributed Robust Estimation of Space-Time Varying Parameter over Distributed Network“. Thesis, 2016. http://ethesis.nitrkl.ac.in/9200/1/2016_MT_SVKumar.pdf.
Der volle Inhalt der QuelleYI, ZHIHANG. „Distributed Space-Time Block Codes in Wireless Cooperative Networks“. Thesis, 2009. http://hdl.handle.net/1974/1978.
Der volle Inhalt der QuelleThesis (Ph.D, Electrical & Computer Engineering) -- Queen's University, 2009-06-27 19:07:47.066
„Distributed space-time block coding in wireless cooperative communications“. 2005. http://library.cuhk.edu.hk/record=b5892631.
Der volle Inhalt der QuelleThesis (M.Phil.)--Chinese University of Hong Kong, 2005.
Includes bibliographical references (leaves 90-93).
Abstracts in English and Chinese.
Abstract --- p.i
Acknowledgement --- p.iv
Chapter 1 --- Introduction --- p.1
Chapter 1.1 --- Overview of Wireless Cooperative Communications --- p.1
Chapter 1.2 --- Motivation --- p.2
Chapter 1.3 --- Distributed Space-Time Block Coding --- p.4
Chapter 1.4 --- Imperfect Channel Estimation --- p.4
Chapter 1.5 --- Time-Varying Channels --- p.4
Chapter 1.6 --- Outline of the thesis --- p.5
Chapter 2 --- Background Study --- p.6
Chapter 3 --- Distributed Space-Time Block Coding --- p.13
Chapter 3.1 --- Introduction --- p.13
Chapter 3.2 --- System Model --- p.13
Chapter 3.3 --- BER Analysis by Characteristic Equations --- p.16
Chapter 3.4 --- BER Analysis by Error Terms --- p.18
Chapter 3.4.1 --- Non-fading R→D link --- p.19
Chapter 3.4.2 --- Fading R→D link --- p.19
Chapter 3.5 --- Performance --- p.20
Chapter 3.5.1 --- Accuracy of Analytical Expressions --- p.20
Chapter 3.5.2 --- Observation of Second-order Diversity --- p.21
Chapter 3.6 --- Summary --- p.22
Chapter 4 --- Distributed Space-Time Block Coding with Imperfect Channel Estimation --- p.31
Chapter 4.1 --- Introduction --- p.31
Chapter 4.2 --- System Model --- p.32
Chapter 4.3 --- BER Analysis --- p.32
Chapter 4.3.1 --- Non-fading R→D link --- p.33
Chapter 4.3.2 --- Fading R→D link --- p.34
Chapter 4.4 --- Numerical Results --- p.34
Chapter 4.5 --- Summary --- p.36
Chapter 5 --- Distributed Space-Time Block Coding with Time-Varying Channels --- p.43
Chapter 5.1 --- Introduction --- p.43
Chapter 5.2 --- System Model --- p.44
Chapter 5.3 --- Pilot Symbol Assisted Modulation (PSAM) for DSTBC --- p.45
Chapter 5.4 --- Reception Methods --- p.48
Chapter 5.4.1 --- Maximum-Likelihood Detection (ML) in [29] --- p.48
Chapter 5.4.2 --- Cooperative Maximum-Likelihood Detection (CML) --- p.50
Chapter 5.4.3 --- Alamouti's Receiver (AR) --- p.51
Chapter 5.4.4 --- Zero-forcing Linear Detection (ZF) --- p.51
Chapter 5.4.5 --- Decision-feedback Detection (DF) --- p.52
Chapter 5.5 --- BER Analysis for Time-varying Channels --- p.53
Chapter 5.5.1 --- Quasi-Static Channels (p = 1) --- p.53
Chapter 5.5.2 --- ZF: Uncorrelated Channel (p = 0) --- p.54
Chapter 5.5.3 --- ZF: General Channel --- p.55
Chapter 5.5.4 --- DF: General Channel --- p.56
Chapter 5.6 --- Numerical Results --- p.57
Chapter 5.7 --- Summary --- p.60
Chapter 6 --- Conclusion and Future Work --- p.74
Chapter 6.1 --- Conclusion --- p.74
Chapter 6.2 --- Future Work --- p.76
Chapter 6.2.1 --- Design of Code Matrix --- p.76
Chapter 6.2.2 --- Adaptive Protocols --- p.77
Chapter A --- Derivation of (3.23) --- p.79
Chapter B --- Derivation of (3.30) and (3.32) --- p.83
Chapter C --- Derivation of (4.9) and (4.13) --- p.85
Chapter D --- Derivation of (5.68) --- p.88
Bibliography --- p.90
Chen, Ming-Hsian, und 陳銘賢. „Estimation of Space-Distributed Parameters of the Shaft in Rotor Systems“. Thesis, 2003. http://ndltd.ncl.edu.tw/handle/56852336145125937526.
Der volle Inhalt der Quelle中華大學
機械與航太工程研究所
91
This research uses a general transfer matrix method (GTMM) and Timoshenko Principle for estimating the spatial unbalance parameters in rotor systems. Firstly we derive the motion equation of the flexible shaft, disks, and bearings. Through assembling the transfer matrices of the flexible shaft, disks, and bearings, we can obtain the global transfer matrix of the rotor system. The state variables of the transfer matrix include lateral deflections, deflection angles caused by shears and bending moments respectively, shears, bending moments, torque, and torsional angle. The spatial unbalance parameters of flexible shafts, and disk eccentricities, can be estimated at two closely rotating speeds. The theoretical development of the proposed method is presented with simulation results and discussion.
Liou, Jiun-Huei, und 劉俊輝. „Study of Distributed Space-Frequency Codes for Cooperative Communication Systems with Multiple Carrier Frequency Offsets“. Thesis, 2011. http://ndltd.ncl.edu.tw/handle/98926409743191155675.
Der volle Inhalt der Quelle國立暨南國際大學
通訊工程研究所
99
In this thesis, we study in cooperative wireless communications system that combined Orthogonal Frequency Division Multiplexing (OFDM) to let frequency selective fading channel reduces to a flat fading channel.We are using three space-frequency codes (SFC) to discuss that we use ZF, and MMSE to achieve full cooperative diversity at receiver in the frequency domain.In the flat fading channel,we compared the performance of three space-frequencywhen multi relay nodes exist.
Mishra, Ashirbad. „Efficient betweenness Centrality Computations on Hybrid CPU-GPU Systems“. Thesis, 2016. http://etd.iisc.ac.in/handle/2005/2718.
Der volle Inhalt der QuelleMishra, Ashirbad. „Efficient betweenness Centrality Computations on Hybrid CPU-GPU Systems“. Thesis, 2016. http://hdl.handle.net/2005/2718.
Der volle Inhalt der Quelle