Dissertations / Theses on the topic 'Generative System'
To see the other types of publications on this topic, follow the link: Generative System.
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Generative System.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Magill, W. R. "A generative Computer Aided Process Planning system." Thesis, University of Newcastle Upon Tyne, 1989. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.328585.
Full text
2
Busatta, Gianluca. "Italian Retrieval-Augmented Generative Question Answering System for Legal Domains." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2022.
Find full textAbstract:
A typical scenario involves a user searching an information about something and obtaining a list of documents from an information retrieval system. The retrieved documents may be more or less relevant and it could happen that the information sought is contained in several documents. This would possibly leave the task of searching the information in different documents to the user. In this thesis, it is has been developed an Italian question answering system for legal domains with a Retrieval-Augmented Generation (RAG) approach that aims to directly satisfy the information need of the user. The model is composed of a retriever and a generator both of which are based on Transformer and it has been trained firstly in a self-supervised way on the library of Gruppo Maggioli company, and then in a supervised way on a novel Italian question answering dataset build on purpose. Once the user has provided an input, the model automatically retrieves possibly relevant documents from the knowledge base and use them to condition the generation of an appropriate answer.
3
Huang, Hefeng. "A generative process planning system for turned components." Thesis, University of Manchester, 1988. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.260091.
Full text
4
Stenhagen, Petter. "Improving Realism in Synthetic Barcode Images using Generative Adversarial Networks." Thesis, Linköpings universitet, Datorseende, 2018. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-151959.
Full textAbstract:
This master thesis explores the possibility of using generative Adversarial Networks (GANs) to refine labeled synthetic code images to resemble real code images while preserving label information. The GAN used in this thesis consists of a refiner and a discriminator. The discriminator tries to distinguish between real images and refined synthetic images. The refiner tries to fool the discriminator by producing refined synthetic images such that the discriminator classify them as real. By updating these two networks iteratively, the idea is that they will push each other to get better, resulting in refined synthetic images with real image characteristics. The aspiration, if the exploration of GANs turns out successful, is to be able to use refined synthetic images as training data in Semantic Segmentation (SS) tasks and thereby eliminate the laborious task of gathering and labeling real data. Starting off from a foundational GAN-model, different network architectures, hyperparameters and other design choices are explored to find the best performing GAN-model. As is widely acknowledged in the relevant literature, GANs can be difficult to train and the results in this thesis are varying and sometimes ambiguous. Based on the results from this study, the best performing models do however perform better in SS tasks than the unrefined synthetic set they are based on and benchmarked against, with regards to Intersection over Union.
5
Birgersson, Anna, and Klara Hellgren. "Texture Enhancement in 3D Maps using Generative Adversarial Networks." Thesis, Linköpings universitet, Datorseende, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-162446.
Full textAbstract:
In this thesis we investigate the use of GANs for texture enhancement. To achievethis, we have studied if synthetic satellite images generated by GANs will improvethe texture in satellite-based 3D maps. We investigate two GANs; SRGAN and pix2pix. SRGAN increases the pixelresolution of the satellite images by generating upsampled images from low resolutionimages. As for pip2pix, the GAN performs image-to-image translation bytranslating a source image to a target image, without changing the pixel resolution. We trained the GANs in two different approaches, named SAT-to-AER andSAT-to-AER-3D, where SAT, AER and AER-3D are different datasets provided bythe company Vricon. In the first approach, aerial images were used as groundtruth and in the second approach, rendered images from an aerial-based 3D mapwere used as ground truth. The procedure of enhancing the texture in a satellite-based 3D map was dividedin two steps; the generation of synthetic satellite images and the re-texturingof the 3D map. Synthetic satellite images generated by two SRGAN models andone pix2pix model were used for the re-texturing. The best results were presentedusing SRGAN in the SAT-to-AER approach, in where the re-textured 3Dmap had enhanced structures and an increased perceived quality. SRGAN alsopresented a good result in the SAT-to-AER-3D approach, where the re-textured3D map had changed color distribution and the road markers were easier to distinguishfrom the ground. The images generated by the pix2pix model presentedthe worst result. As for the SAT-to-AER approach, even though the syntheticsatellite images generated by pix2pix were somewhat enhanced and containedless noise, they had no significant impact in the re-texturing. In the SAT-to-AER-3D approach, none of the investigated models based on the pix2pix frameworkpresented any successful results. We concluded that GANs can be used as a texture enhancer using both aerialimages and images rendered from an aerial-based 3D map as ground truth. Theuse of GANs as a texture enhancer have great potential and have several interestingareas for future works.
6
Jiang, Bing. "A coding scheme based generative capp system for prismatic components using expert system methodology /." Title page, table of contents and abstract only, 1997. http://web4.library.adelaide.edu.au/theses/09ENS/09ensj61.pdf.
Full text
7
Gu, Ning. "Dynamic Designs of Virtual Worlds Using Generative Design Agents." Thesis, The University of Sydney, 2006. http://hdl.handle.net/2123/984.
Full textAbstract:
This research aims at developing a different kind of virtual world that is dynamically designed and implemented as needed. Currently, most virtual world designs are considered static. Similar to the physical world, these worlds are pre-defined prior to their use. The resultant environments serve certain purposes but do not take into consideration possible changes to the purposes during their use, changes which often occur when the occupants interact with the environments and with each other. Virtual worlds as networked environments can be flexibly configured and programmed. This flexibility makes it possible to consider virtual world designs in terms of dynamics and autonomy, reflecting the changing needs of different moments. To achieve dynamic designs of virtual worlds, this study applies a computational approach using rational design agents. A Generative Design Agent (GDA) model is developed that specifies computational processes for reasoning and designing in virtual worlds. The GDAs serve as personal design agents to the virtual world occupants. Design formalisms for virtual worlds are also addressed. The design component of a GDA is supported by the application of a generative design grammar. On one hand, generative design grammars serve as the generative force to be applied by the GDAs for virtual world design automation. On the other hand, each grammar defines coherent stylistic characterisations shared by the virtual world designs it generates. The technical outcomes of the research consist of the GDA model and a generative design grammar framework. The framework provides guidelines and strategies to designers for developing generative design grammars that produce different design languages for virtual worlds, rather than predefine every detail of all possible virtual world designs. GDAs monitor the virtual worlds and the various activities that occur in the worlds, interpret the occupants’ needs in the virtual worlds and the state of the worlds based on these observations, hypothesise design goals in order to satisfy these needs, and finally apply generative design grammars to provide virtual world designs for the moment, or initiate other actions in the worlds, according to the current design goals, on behalf of the occupants. The development of the GDA model and the generative design grammar framework provides new perspectives for understanding and developing virtual worlds. The GDA model challenges the conventional way that virtual worlds are designed and implemented, and this leads to dynamic designs of virtual worlds. The generative design grammar framework provides a computational approach to formally defining design languages for virtual worlds.
8
Gu, Ning. "Dynamic Designs of Virtual Worlds Using Generative Design Agents." Architecture, 2006. http://hdl.handle.net/2123/984.
Full textAbstract:
Doctor of Philosophy (PhD)This research aims at developing a different kind of virtual world that is dynamically designed and implemented as needed. Currently, most virtual world designs are considered static. Similar to the physical world, these worlds are pre-defined prior to their use. The resultant environments serve certain purposes but do not take into consideration possible changes to the purposes during their use, changes which often occur when the occupants interact with the environments and with each other. Virtual worlds as networked environments can be flexibly configured and programmed. This flexibility makes it possible to consider virtual world designs in terms of dynamics and autonomy, reflecting the changing needs of different moments. To achieve dynamic designs of virtual worlds, this study applies a computational approach using rational design agents. A Generative Design Agent (GDA) model is developed that specifies computational processes for reasoning and designing in virtual worlds. The GDAs serve as personal design agents to the virtual world occupants. Design formalisms for virtual worlds are also addressed. The design component of a GDA is supported by the application of a generative design grammar. On one hand, generative design grammars serve as the generative force to be applied by the GDAs for virtual world design automation. On the other hand, each grammar defines coherent stylistic characterisations shared by the virtual world designs it generates. The technical outcomes of the research consist of the GDA model and a generative design grammar framework. The framework provides guidelines and strategies to designers for developing generative design grammars that produce different design languages for virtual worlds, rather than predefine every detail of all possible virtual world designs. GDAs monitor the virtual worlds and the various activities that occur in the worlds, interpret the occupants’ needs in the virtual worlds and the state of the worlds based on these observations, hypothesise design goals in order to satisfy these needs, and finally apply generative design grammars to provide virtual world designs for the moment, or initiate other actions in the worlds, according to the current design goals, on behalf of the occupants. The development of the GDA model and the generative design grammar framework provides new perspectives for understanding and developing virtual worlds. The GDA model challenges the conventional way that virtual worlds are designed and implemented, and this leads to dynamic designs of virtual worlds. The generative design grammar framework provides a computational approach to formally defining design languages for virtual worlds.
9
Mincolla, Andrea. "Space Systems of Systems Generative Design Using Concurrent MBSE: An Application of ECSS-E-TM-10-25 and the GCD Tool to Copernicus Next Generation." Thesis, KTH, Rymdteknik, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-286332.
Full textAbstract:
The Concurrent Design Platform 4 (CDP4®) is a collaborative Model-Based Systems Engineering (MBSE) software tool conceived for architecting complex systems. Nevertheless, there are limitations concerning the manageable number of system options. The upcoming Siemens tool for generative engineering, Simcenter™ Studio, is attempting to overcome this limitation by enabling automatic synthesis and evaluation of architecture variants. The motivation for the Generative Concurrent Design (GCD) project as a collaboration between RHEA, Siemens and OHB is to develop a combined prototype of these two tools. This thesis presents a modelling of Copernicus Next Generation (CNG) space component, using generative capabilities in a typical Phase-0 study. It represents the third step of the bottom-up GCD validation process, intended to investigate how architecting differs among “Sub-system”, “Systems” and “Systems of Systems (SoS)”. Therefore, this work provides an architecting strategy which is generalizable for other SoS use-cases and contributes to assess whether extensions to ECSS-E-TM-10-25 are necessary to successfully support GCD.Concurrent Design Platform 4 (CDP4®) är ett samarbetsverktyg för modellbaserad systemteknik (MBSE) som utformats för att bygga komplexa system. Dock finns det begränsningar vad gäller det antalet hanterbara systemalternativ. Det kommande Siemens-verktyget för generativ teknik, Simcenter™ Studio, försöker övervinna denna begränsning genom att möjliggöra automatisk syntes och utvärdering av arkitekturvarianter. Motivationen för Generative Concurrent Design (GCD) -projektet som ett samarbete mellan RHEA, Siemens och OHB är att utveckla en kombinerad prototyp av verktygen CDP4® och Simcenter™. Detta examensarbete presenterar en modellering av rymdkomponenten Copernicus Next Generation (CNG) med användning av generativa funktioner i en typisk fas-0-studie. Den representerar det tredje steget i GCD-valideringsprocessen nedifrån och upp, avsedd att undersöka hur arkitekturen skiljer sig åt mellan "Sub-system", "Systems" och "Systems of Systems (SoS)". Detta arbete ger därför en arkitektonisk strategi som är generaliserbar för andra SoS-användningsfall och bidrar till att bedöma om förlängningar till ECSS-E-TM-10-25 är nödvändiga för att framgångsrikt stödja GCD.
10
Pang, Jin. "A generative integrated and intelligent process planning system for machining parts." Thesis, Glasgow Caledonian University, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.287859.
Full text
11
Chiang, Charles Chi-Yu. "A true generative CAPP system for DFM application to machined components." Thesis, This resource online, 1994. http://scholar.lib.vt.edu/theses/available/etd-12052009-020259/.
Full text
12
Miao, Yishu. "Deep generative models for natural language processing." Thesis, University of Oxford, 2017. http://ora.ox.ac.uk/objects/uuid:e4e1f1f9-e507-4754-a0ab-0246f1e1e258.
Full textAbstract:
Deep generative models are essential to Natural Language Processing (NLP) due to their outstanding ability to use unlabelled data, to incorporate abundant linguistic features, and to learn interpretable dependencies among data. As the structure becomes deeper and more complex, having an effective and efficient inference method becomes increasingly important. In this thesis, neural variational inference is applied to carry out inference for deep generative models. While traditional variational methods derive an analytic approximation for the intractable distributions over latent variables, here we construct an inference network conditioned on the discrete text input to provide the variational distribution. The powerful neural networks are able to approximate complicated non-linear distributions and grant the possibilities for more interesting and complicated generative models. Therefore, we develop the potential of neural variational inference and apply it to a variety of models for NLP with continuous or discrete latent variables. This thesis is divided into three parts. Part I introduces a generic variational inference framework for generative and conditional models of text. For continuous or discrete latent variables, we apply a continuous reparameterisation trick or the REINFORCE algorithm to build low-variance gradient estimators. To further explore Bayesian non-parametrics in deep neural networks, we propose a family of neural networks that parameterise categorical distributions with continuous latent variables. Using the stick-breaking construction, an unbounded categorical distribution is incorporated into our deep generative models which can be optimised by stochastic gradient back-propagation with a continuous reparameterisation. Part II explores continuous latent variable models for NLP. Chapter 3 discusses the Neural Variational Document Model (NVDM): an unsupervised generative model of text which aims to extract a continuous semantic latent variable for each document. In Chapter 4, the neural topic models modify the neural document models by parameterising categorical distributions with continuous latent variables, where the topics are explicitly modelled by discrete latent variables. The models are further extended to neural unbounded topic models with the help of stick-breaking construction, and a truncation-free variational inference method is proposed based on a Recurrent Stick-breaking construction (RSB). Chapter 5 describes the Neural Answer Selection Model (NASM) for learning a latent stochastic attention mechanism to model the semantics of question-answer pairs and predict their relatedness. Part III discusses discrete latent variable models. Chapter 6 introduces latent sentence compression models. The Auto-encoding Sentence Compression Model (ASC), as a discrete variational auto-encoder, generates a sentence by a sequence of discrete latent variables representing explicit words. The Forced Attention Sentence Compression Model (FSC) incorporates a combined pointer network biased towards the usage of words from source sentence, which significantly improves the performance when jointly trained with the ASC model in a semi-supervised learning fashion. Chapter 7 describes the Latent Intention Dialogue Models (LIDM) that employ a discrete latent variable to learn underlying dialogue intentions. Additionally, the latent intentions can be interpreted as actions guiding the generation of machine responses, which could be further refined autonomously by reinforcement learning. Finally, Chapter 8 summarizes our findings and directions for future work.
13
Caldas, Luisa Gama (Maria Luisa da Oliveira Gama Caldas) 1968. "An evolution-based generative design system : using adaptation to shape architectural form." Thesis, Massachusetts Institute of Technology, 2001. http://hdl.handle.net/1721.1/8188.
Full textAbstract:
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Architecture, 2001.Includes bibliographical references (leaves 284-291).
This dissertation dwells in the interstitial spaces between the fields of architecture, environmental design and computation. It introduces a Generative Design System that draws on evolutionary concepts to incorporate adaptation paradigms into the architectural design process. The initial aim of the project focused on helping architects improving the environmental performance of buildings, but the final conclusions of the thesis transcend this realm to question the process of incorporating computational generative systems in the broader context of architectural design. The Generative System [GS] uses a Genetic Algorithm as the search and optimization engine. The evaluation of solutions in terms of environmental performance is done using DOE2.1E. The GS is first tested within a restricted domain, where the optimal solution is previously known, to allow for the evaluation of the system's performance in locating high quality solutions. Results are very satisfactory and provide confidence to extend the GS to complex building layouts. Comparative studies using other heuristic search procedures like Simulated Annealing are also performed. The GS is then applied to an existing building by Alvaro Siza, to study the system's behavior in a complex architectural domain, and to assess its capability for encoding language constraints, so that solutions generated may be within certain design intentions. An extension to multicriteria problems is presented, using a Pareto-based method.
(cont.) The GS successfully finds well-defined Pareto fronts providing information on best trade-offs between conflicting objectives. The method is open-ended, as it leaves the final decision-making to the architect. Examples include finding best trade-offs between costs of construction materials, annual energy consumption in buildings, and greenhouse gas emissions embedded in materials. The GS is then used to generate whole building geometries, departing from abstract relationships between design elements and using adaptation to evolve architectural form. The shape-generation experiments are performed for distinct geographic locations, testing the algorithm's ability to adapt buildings shape to different environments. Pareto methods are used to investigate what forms respond better to conflicting objectives. New directions of research are suggested, like combining the GS with a parametric solid modeler, or extending the investigation to the study of complex adaptive systems in architecture.
by Luisa Gama Caldas.
Ph.D.
14
Rustom, Elfatih Abdelhalim. "BEPPS-GSCAPPP : generative system of computer aided process planning for prismatic components." Thesis, University of Bath, 1992. https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.305110.
Full text
15
Jeff, Byron A. "A system for using perceiver input to vary the quality of generative multimedia performances." Diss., Available online, Georgia Institute of Technology, 2005, 2005. http://etd.gatech.edu/theses/available/etd-07142005-023405/.
Full textAbstract:
Thesis (Ph. D.)--Computing, Georgia Institute of Technology, 2006.Schwan, Karsten, Committee Chair ; Ramachandran, Kishore, Committee Member ; Ahamad, Mustaque, Committee Member ; Yalamanchili, Sudhakar, Committee Member ; Howe, W. Gerry, Committee Member. Vita. Includes bibliographical references.
16
Thaung, Ludwig. "Advanced Data Augmentation : With Generative Adversarial Networks and Computer-Aided Design." Thesis, Linköpings universitet, Datorseende, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-170886.
Full textAbstract:
CNN-based (Convolutional Neural Network) visual object detectors often reach human level of accuracy but need to be trained with large amounts of manually annotated data. Collecting and annotating this data can frequently be time-consuming and financially expensive. Using generative models to augment the data can help minimize the amount of data required and increase detection per-formance. Many state-of-the-art generative models are Generative Adversarial Networks (GANs). This thesis investigates if and how one can utilize image data to generate new data through GANs to train a YOLO-based (You Only Look Once) object detector, and how CAD (Computer-Aided Design) models can aid in this process. In the experiments, different models of GANs are trained and evaluated by visual inspection or with the Fréchet Inception Distance (FID) metric. The data provided by Ericsson Research consists of images of antenna and baseband equipment along with annotations and segmentations. Ericsson Research supplied the YOLO detector, and no modifications are made to this detector. Finally, the YOLO detector is trained on data generated by the chosen model and evaluated by the Average Precision (AP). The results show that the generative models designed in this work can produce RGB images of high quality. However, the quality reduces if binary segmentation masks are to be generated as well. The experiments with CAD input data did not result in images that could be used for the training of the detector. The GAN designed in this work is able to successfully replace objects in images with the style of other objects. The results show that training the YOLO detector with GAN-modified data compared to training with real data leads to the same detection performance. The results also show that the shapes and backgrounds of the antennas contributed more to detection performance than their style and colour.
17
Khorami, Massih Tayebi. "Bridging the gap between CAD and CAM by intelligent generative integrated process planning system." Thesis, University of Strathclyde, 1991. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.361629.
Full text
18
Chan, Ching-yu. "Ageing and the gene expression of endothelin in the male reproductive system of the rat /." View the Table of Contents & Abstract, 2007. http://sunzi.lib.hku.hk/hkuto/record/B39333024.
Full text
19
Wang, Zhiping. "Constructive generative design methods for qualified additive manufacturing." Thesis, Ecole centrale de Nantes, 2021. https://tel.archives-ouvertes.fr/tel-03670417.
Full textAbstract:
Les technologies de fabrication additive (FA) donnent de plus en plus de liberté de conception aux concepteurs et aux ingénieurs pour concevoir et définir des géométries et des compositions de matériaux très complexes. En raison d'un traitement couche par couche, les contraintes, méthodes, outils et processus de conception en FA sont différents de ceux des processus de fabrication traditionnels. Les méthodes et outils de conception traditionnels ne peuvent pas répondre aux besoins de la conception en FA. Par conséquent, un nouveau domaine de recherche, la conception pour la FA (Design for AM - DfAM), a émergé pour répondre à ce besoin. Cependant, les méthodes de DfAM existantes sont soit des lignes directrices, soit des outils de calculs, qui ont une prise en compte limitée des contraintes couplées le long de la chaîne de traitement numérique de la FA et peinent à garantir la fabricabilité de la conception en FA. Pour contribuer à l’obtention d’une conception qualifiée en FA, ce travail de thèse se concentre sur trois problèmes existants typiques dans le domaine du DfAM : premièrement, com-ment assurer la fabricabilité dans le processus d’optimisation topologique ? Deuxièmement, comment concevoir des structures de supports allégées, faciles à retirer pour le post-traitement et de diffusion de chaleur conviviales pour assurer la précision de la forme et améliorer la rugosité de surface des pièces imprimées ? Enfin, comment éviter les pertes de précision lors de la préparation de l'impression de structures en treillis complexes et assurer leur fabricabilité lors de la conception ?Pour résoudre les trois problèmes identifiés, ce travail de thèse propose un ensemble de nouvelles méthodes de conception générative constructive : 1. Méthode de conception générative basée sur un modèle CSG pour assurer la fabricabilité dans l'optimisation de la topologie de la structure allégée ; 2. Méthode de conception générative constructive basée sur des modèles pour optimiser la conception de la structure de supports et 3. Conception constructive inversée basée sur les « parcours d'outils » pour obtenir directement des modèles de traitement de structures poreuses ou de réseaux complexes correspondants avec des « parcours d'outils » pour obtenir directement des modèles de traitement de structures poreuses ou de réseaux complexes correspondants avec des « parcours d'outils » d'impression qualifiés. Les trois méthodes proposées intègrent les contraintes de processus de FA, réalisent un contrôle paramétrique et économisent des coûts de calcul dans le processus de conception pour obtenir un ensemble de solutions de conception candidates avec une fabrication garantie. Un ensemble d'études comparatives avec les méthodes DfAM existantes et quelques études de cas expérimentaux dans des applications médicales ont démontré les avantages des méthodes proposées. Ces méthodes constructives peuvent avoir un grand potentiel d'application pour être adoptées comme outils de conception et de prise de décision pour d'autres applications industrielles lorsqu'un DfAM qualifié est requisAdditive manufacturing (AM) technologies give more and more design freedom to designers and engi-neers to design and define highly complex geometries and material compositions. Due to a layer-by-layer processing, the constraints, methods, tools and processes of design in AM are different from that in traditional manufacturing processes. Traditional design methods and tools cannot meet the needs of design in AM. Therefore, a new re-search field, design for AM (DfAM), has emerged to serve this need. However, existing DfAM methods are either guidelines or pure computation-based, which have limited consideration of coupled constraints along the AM digital processing chain and are difficult to ensure manufactura-bility of design in AM. To obtain qualified design in AM, this research focuses on three typical existing problems in DfAM domain: Firstly, how to ensure manufacturability in (topology optimization) TO process? Secondly, how to design support structures with lightweight, easy-to-remove for post-processing and friendly heat-diffusion properties to ensure shape accuracy and improve surface roughness of printed parts? Finally, how to avoid accuracy loss in print-ing preparation of complex lattice structures and ensure their manufacturability in design?To solve the three identified problems, this research developed a set of new constructive genera-tive design methods: 1. CSG-based generative design method to ensure manufacturability in light-weight topology optimization; 2. Pattern-based constructive generative design method to optimize support structure design and 3. Toolpath-based inversed constructive design to directly ob-tain processing models of corresponding complex lattice or porous structures with qualified print-ing toolpaths. The three proposed methods can well embed AM process constraints, realize para-metric control and save computation cost in design process to obtain a set of candidate design solutions with ensured manufacturability. A set of comparison studies with existing DfAM meth-ods and a couple of experiment case studies in medical applications demonstrated the methods’ advantages. These constructive methods may have large application potential to be adopted as design and decision making tools for other industrial applications when qualified DfAM is required
20
陳青瑜 and Ching-yu Chan. "Ageing and the gene expression of endothelin in the male reproductive system of the rat." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2007. http://hub.hku.hk/bib/B45011540.
Full text
21
Schefe, Neville L. "The impact of complexity in information system driven organisational transformations." Thesis, Queensland University of Technology, 2016. https://eprints.qut.edu.au/99502/1/Neville_Schefe_Thesis.pdf.
Full textAbstract:
This study examined the effect of complexity on organisational transformations that are initiated by substantial information system changes. The motivation for this study was to explain and provide options to improve the relatively low benefit realisation from transformation investments. This study uniquely combined a critical realist approach, complexity theory and organisational theory to identify three critical mechanisms. Persistent activation energy mechanism, structural latency mechanism and insightful experimentation mechanism mutually interact to influence organisational transformation outcomes. These findings assist practitioners as they plan and implement transformations and researchers who can use these findings to further investigate the nature of transformative mechanisms.
22
李蕾 and Lei Li. "Adrenomedullin in female reproductive system: gene expression and actions in cycling and pregnant rats." Thesis, The University of Hong Kong (Pokfulam, Hong Kong), 2010. http://hub.hku.hk/bib/B44891799.
Full text
23
Hamrell, Hanna. "Image-to-Image Translation for Improvement of Synthetic Thermal Infrared Training Data Using Generative Adversarial Networks." Thesis, Linköpings universitet, Datorseende, 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-174928.
Full textAbstract:
Training data is an essential ingredient within supervised learning, yet time con-suming, expensive and for some applications impossible to retrieve. Thus it isof interest to use synthetic training data. However, the domain shift of syntheticdata makes it challenging to obtain good results when used as training data fordeep learning models. It is therefore of interest to refine synthetic data, e.g. using image-to-image translation, to improve results. The aim of this work is to compare different methods to do image-to-image translation of synthetic training data of thermal IR-images using GANs. Translation is done both using synthetic thermal IR-images alone, as well as including pixelwise depth and/or semantic information. To evaluate, a new measure based on the Frechét Inception Distance, adapted to work for thermal IR-images is proposed. The results show that the model trained using IR-images alone translates the generated images closest to the domain of authentic thermal IR-images. The training where IR-images are complemented by corresponding pixelwise depth data performs second best. However, given more training time, inclusion of depth data has the potential to outperform training withirdata alone. This gives a valuable insight on how to best translate images from the domain of synthetic IR-images to that of authentic IR-images, which is vital for quick and low cost generation of training data for deep learning models.
24
Schilling, Lennart. "Generating synthetic brain MR images using a hybrid combination of Noise-to-Image and Image-to-Image GANs." Thesis, Linköpings universitet, Statistik och maskininlärning, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-166034.
Full textAbstract:
Generative Adversarial Networks (GANs) have attracted much attention because of their ability to learn high-dimensional, realistic data distributions. In the field of medical imaging, they can be used to augment the often small image sets available. In this way, for example, the training of image classification or segmentation models can be improved to support clinical decision making. GANs can be distinguished according to their input. While Noise-to-Image GANs synthesize new images from a random noise vector, Image-To-Image GANs translate a given image into another domain. In this study, it is investigated if the performance of a Noise-To-Image GAN, defined by its generated output quality and diversity, can be improved by using elements of a previously trained Image-To-Image GAN within its training. The data used consists of paired T1- and T2-weighted MR brain images. With the objective of generating additional T1-weighted images, a hybrid model (Hybrid GAN) is implemented that combines elements of a Deep Convolutional GAN (DCGAN) as a Noise-To-Image GAN and a Pix2Pix as an Image-To-Image GAN. Thereby, starting from the dependency of an input image, the model is gradually converted into a Noise-to-Image GAN. Performance is evaluated by the use of an independent classifier that estimates the divergence between the generative output distribution and the real data distribution. When comparing the Hybrid GAN performance with the DCGAN baseline, no improvement, neither in the quality nor in the diversity of the generated images, could be observed. Consequently, it could not be shown that the performance of a Noise-To-Image GAN is improved by using elements of a previously trained Image-To-Image GAN within its training.
25
Joseph, Brett R. "The urban village as a living system| Building a generative and caring local economy and society through strategic collaboration." Thesis, Saybrook University, 2016. http://pqdtopen.proquest.com/#viewpdf?dispub=10131772.
Full textAbstract:
This research investigated cross-sector collaboration as ideal-seeking social action within the context of a stakeholder-led initiative to foster place-based community revitalization in the City of Cleveland, Ohio, USA. It engaged organizational leaders and citizen activists to develop and refine the praxis of design conversation inspired by an appreciative awareness of values and qualities found in communities as thriving, living systems. Within a framework of community action research (CAR) methodology, the study engaged a small group of community leaders to create a learning space and relational field enabling them to acquire knowledge and understanding in the manner of an evolutionary learning community. Through facilitated design inquiry, participants sought to understand their communities as living socio-ecological systems; evolving purposefully within a context of embedded cultural and institutional influences.
The group discourse combined generative and strategic dialogue with other co-creative inquiry practices to embody dynamic and purposeful characteristics of an evolutionary guidance system. Through design conversation in both small group and community practice settings, participants worked to transform habitual patterns of thinking and shift awareness towards appreciative qualities of communities as purposeful social systems; thereby building collective evolutionary competencies that enable self-organization and unfolding of human evolutionary potentials at the levels of self, organization, community, and society.
The study results were summarized from participant journaling and transcribed conversations, and interpreted through critical hermeneutic analysis and systemic modelling. The results demonstrate, at least tentatively, how designing conversation as a strategic approach to community revitalization praxis enabled participants to coalesce as a dynamic learning community, expressing evolutionary consciousness and competency and developing a more integral, shared understanding of Cleveland’s communities as continuously evolving and appreciatively self-guided, living systems. These results show how strategically facilitated conversation within a framework of evolutionary systems design enabled community stakeholders in Cleveland to utilize conversation as purposeful social action to build appreciative awareness of their differences and understanding of their collective human potentials as the conscious embodiment of values and qualities found in healthy, resilient communities.
26
Kerr, Thorin. "Performing composition : developing a computer assisted composition system through live coding performance." Thesis, Queensland University of Technology, 2009. https://eprints.qut.edu.au/32175/1/Thorin_Kerr_Thesis.pdf.
Full textAbstract:
This thesis maps the author's journey from a music composition practice to a composition and performance practice. The work involves the development of a software library for the purpose of encapsulating compositional ideas in software, and realising these ideas in performance through a live coding computer music practice. The thesis examines what artistic practice emerges through live coding and software development, and does this permit a blurring between the activities of music composition and performance. The role that software design plays in affecting musical outcomes is considered to gain an insight into how software development contributes to artistic development. The relationship between music composition and performance is also examined to identify the means by which engaging in live coding and software development can bring these activities together. The thesis, situated within the discourse of practice led research, documents a journey which uses the experience of software development and performance as a means to guide the direction of the research. The journey serves as an experiment for the author in engaging an hitherto unfamiliar musical practice, and as a roadmap for others seeking to modify or broaden their artistic practice.
27
Bukhari, Fakhri A. "A hierarchical evolutionary algorithmic design (HEAD) system for generating and evolving building design models." Thesis, Queensland University of Technology, 2011. https://eprints.qut.edu.au/50964/1/Fakhri_Bukhari_Thesis.pdf.
Full textAbstract:
This thesis develops a detailed conceptual design method and a system software architecture defined with a parametric and generative evolutionary design system to support an integrated interdisciplinary building design approach. The research recognises the need to shift design efforts toward the earliest phases of the design process to support crucial design decisions that have a substantial cost implication on the overall project budget.
The overall motivation of the research is to improve the quality of designs produced at the author's employer, the General Directorate of Major Works (GDMW) of the Saudi Arabian Armed Forces. GDMW produces many buildings that have standard requirements, across a wide range of environmental and social circumstances. A rapid means of customising designs for local circumstances would have significant benefits. The research considers the use of evolutionary genetic algorithms in the design process and the ability to generate and assess a wider range of potential design solutions than a human could manage. This wider ranging assessment, during the early stages of the design process, means that the generated solutions will be more appropriate for the defined design problem.
The research work proposes a design method and system that promotes a collaborative relationship between human creativity and the computer capability. The tectonic design approach is adopted as a process oriented design that values the process of design as much as the product.
The aim is to connect the evolutionary systems to performance assessment applications, which are used as prioritised fitness functions. This will produce design solutions that respond to their environmental and function requirements. This integrated, interdisciplinary approach to design will produce solutions through a design process that considers and balances the requirements of all aspects of the design. Since this thesis covers a wide area of research material, 'methodological pluralism' approach was used, incorporating both prescriptive and descriptive research methods. Multiple models of research were combined and the overall research was undertaken following three main stages, conceptualisation, developmental and evaluation. The first two stages lay the foundations for the specification of the proposed system where key aspects of the system that have not previously been proven in the literature, were implemented to test the feasibility of the system. As a result of combining the existing knowledge in the area with the newlyverified key aspects of the proposed system, this research can form the base for a future software development project. The evaluation stage, which includes building the prototype system to test and evaluate the system performance based on the criteria defined in the earlier stage, is not within the scope this thesis.
The research results in a conceptual design method and a proposed system software architecture. The proposed system is called the 'Hierarchical Evolutionary Algorithmic Design (HEAD) System'. The HEAD system has shown to be feasible through the initial illustrative paper-based simulation. The HEAD system consists of the two main components - 'Design Schema' and the 'Synthesis Algorithms'. The HEAD system reflects the major research contribution in the way it is conceptualised, while secondary contributions are achieved within the system components.
The design schema provides constraints on the generation of designs, thus enabling the designer to create a wide range of potential designs that can then be analysed for desirable characteristics. The design schema supports the digital representation of the human creativity of designers into a dynamic design framework that can be encoded and then executed through the use of evolutionary genetic algorithms.
The design schema incorporates 2D and 3D geometry and graph theory for space layout planning and building formation using the Lowest Common Design Denominator (LCDD) of a parameterised 2D module and a 3D structural module. This provides a bridge between the standard adjacency requirements and the evolutionary system. The use of graphs as an input to the evolutionary algorithm supports the introduction of constraints in a way that is not supported by standard evolutionary techniques. The process of design synthesis is guided as a higher level description of the building that supports geometrical constraints.
The Synthesis Algorithms component analyses designs at four levels, 'Room', 'Layout', 'Building' and 'Optimisation'. At each level multiple fitness functions are embedded into the genetic algorithm to target the specific requirements of the relevant decomposed part of the design problem. Decomposing the design problem to allow for the design requirements of each level to be dealt with separately and then reassembling them in a bottom up approach reduces the generation of non-viable solutions through constraining the options available at the next higher level. The iterative approach, in exploring the range of design solutions through modification of the design schema as the understanding of the design problem improves, assists in identifying conflicts in the design requirements. Additionally, the hierarchical set-up allows the embedding of multiple fitness functions into the genetic algorithm, each relevant to a specific level. This supports an integrated multi-level, multi-disciplinary approach.
The HEAD system promotes a collaborative relationship between human creativity and the computer capability. The design schema component, as the input to the procedural algorithms, enables the encoding of certain aspects of the designer's subjective creativity. By focusing on finding solutions for the relevant sub-problems at the appropriate levels of detail, the hierarchical nature of the system assist in the design decision-making process.
28
Bozhinovski, Konstantin. "Generative design of a nature-inspired geometry manipulated by an algorithm in a BIM-environment, applied in a façade system for a residential building in Bologna, Italy." Master's thesis, Alma Mater Studiorum - Università di Bologna, 2020. http://amslaurea.unibo.it/21501/.
Full textAbstract:
In terms of technology, BIM is also part of the worldwide change Industry 4.0, which in essence is the trend toward automation and data exchange in manufacturing technologies and processes. Generative design is an iterative process that involves a program that will generate a certain number of outputs that meet certain constraints, so that a designer is able to fine tune the feasible project by changing minimal and maximal values of an interval in which a variable of the program meets the set of constraints, in order to reduce or augment the number of outputs to choose from. The initial idea of this thesis work was to manipulate few of the most basic geometric elements in order to get a complex parametric shape inspired from the honeycomb as the natures perfectly generated the element. This preliminary idea, together with the ambition to use this transformation for a façade system in a structural building led us to a series of decisions to try and connect two “worlds”, in the sense that we have a CAD environment that lets us create the geometry and a BIM environment where everything is represented by a specific level of information. This geometry is given a specific set of rules that drive and manipulate each of the elements it contains in a certain fashion. This methodology, as well as the communication and the interaction between the software adopted and their programming environments, is what makes the generative design possible. This result from the Grasshopper algorithm is then being created in the CAD environment in Rhinoceros3D, which then can be opened through Rhino.Inside.Revit and give us a direct real-time preview in the BIM environment in Revit. Through a long series of testing and experimenting with the geometry, we get to a point where we have a functional algorithm that creates and manipulates the geometry, in order to foster many design opportunities for structural and architectural designers.
29
Stirewalt, R. E. Kurt. "Automatic generation of interactive systems from declarative models." Diss., Georgia Institute of Technology, 1997. http://hdl.handle.net/1853/8289.
Full text
30
Wang, Wenye. "Location management techniques for next generation wireless systems." Diss., Georgia Institute of Technology, 2002. http://hdl.handle.net/1853/13289.
Full text
31
Marinos, Alexandros. "Generative web information systems." Thesis, University of Surrey, 2011. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.540716.
Full textAbstract:
This PhD project aims to realise a new type of information system, more dynamic and less opaque to its owners, specified with structured natural language models and queried through hypermedia. To accomplish this, we focus on Semantics of Business Vocabulary and Rules (SBVR) as a modelling language, Representational State Transfer (REST) as an interface paradigm and Relational Databases as the persistence mechanism. All three of these technologies have declarative underpinnings, focusing on the ‘what’ rather than the ‘how’, which is why their combination is feasible and effective. By creating appropriate mappings to align these technologies, we create a core platform for Generative Web Information Systems (GWIS). To this end, we present an architecture that binds the three technologies together and adds the concept of a Meta-Process, a way for users to perform process-like workflows without the system having explicit processes defined. The resulting system can gracefully handle unforeseen requests its users may make. To make the Meta-Process feasible, we have created RETRO, a RESTful Transaction Model that allows users to perform more than one action with guarantees of atomicity over the Web. We also describe a service composition framework for Generative Web Information Systems which combines the strengths of the Web with the descriptive capabilities of SBVR to create a Web of Models in which GWIS are native. To validate the conceptual architecture that has been constructed, we have implemented SBVR with Sails, a prototype Generative Web Information System that serves both as a proof of concept and as a basis for future work and exploration of the concept. This model-driven and declarative approach makes semantics and policy integral to the operation of the information system and therefore the individual information system becomes a self-documenting native citizen of the digital ecosystem and the World Wide Web.
32
Kouchev, Ilian. "Design of a highly linear direct-conversion receiver for third-generation mobile communications /." Konstanz : Hartung-Gorre, 2006. http://www.loc.gov/catdir/toc/fy0707/2007358988.html.
Full textAbstract:
Originally presented as the author's thesis (Swiss Federal Institute of Technology), Diss. ETH No. 16687.Summary in German and English, text in English. Includes bibliographical references (p. 175-180).
33
Narat, Véronique. "L'aide a l'expression des contraintes d'integrite dans les systemes d'information et la generation automatique des procedures associees." Paris 6, 1988. http://www.theses.fr/1988PA066434.
Full textAbstract:
Elaboration d'un outil d'aide a la conception de systemes d'information. Un langage permettant d'exprimer les contraintes d'integrite portant sur des entites et des associations est propose a l'utilisateur. Ce langage est base sur la logique du premier ordre
34
Sanchez, Wilfredo Alexander. "Evaluation of power generation system architectures for manned Mars missions." Thesis, Massachusetts Institute of Technology, 2015. http://hdl.handle.net/1721.1/105317.
Full textAbstract:
Thesis: S.M. in Engineering and Management, Massachusetts Institute of Technology, Engineering Systems Division, 2015.Cataloged from PDF version of thesis.
Includes bibliographical references (pages 59-61).
This work applies a systems approach to architectural definition, development and selection of power generating concepts capable of supporting a 20 crewmember Mars mission by the year 2040. The thesis confirms that current thin film solar technology is sufficient to sustain this mission, given the base of operations is located in the northern hemisphere (20°N-30°N) and is using regenerative fuel cells as an energy storage medium. Beyond those latitudes, calculations for a combination of thin film solar and a nuclear Brayton cycle architecture is needed to maintain sufficient power. The problem definition process is achieved through domain exploration, functional decompositions, and mapping the process functions to their objects of form. The thesis then identifies the constraints developed by the MIT Mars 2040 Project team and develops a sizing algorithm for the combined nuclear-solar systems dependent upon Martian latitudes. The highest scoring site location was Mawrth Vallis (22.6°N) for thin film solar system with regenerative fuels cells that can produce 239 kWe of power. The sizing model developed here is integrated into the Mars project's comprehensive system model, which uses the calculated mass and volume values as inputs for their tradespace designs.
by Wilfredo Alexander Sanchez.
S.M. in Engineering and Management
35
Olsen, Linnéa. "Can Chatbot technologies answer work email needs? : A case study on work email needs in an accounting firm." Thesis, Karlstads universitet, Handelshögskolan (from 2013), 2021. http://urn.kb.se/resolve?urn=urn:nbn:se:kau:diva-85013.
Full textAbstract:
Work email is one of the organisations most critical tool today. It`s have become a standard way to communicate internally and externally. It can also affect our well-being. Email overload has become a well-known issue for many people. With interviews, follow up interviews, and a workshop, three persons from an accounting firm prioritise pre-define emails needs. And identified several other email needs that were added to the priority list. A thematic analysis and summarizing of a Likert scale was conducted to identify underlying work email needs and work email needs that are not apparent. Three work email needs were selected and using scenario-based methods and the elements of PACT to investigating how the characteristics of a chatbot can help solve the identified work email overload issue? The result shows that email overload is percept different from individual to individual. The choice of how email is handled and email activities indicate how email overload feeling is experienced. The result shows a need to get a sense of the email content quickly, fast collect financial information and information from Swedish authorities, and repetitive, time-consuming tasks. Suggestions on how this problem can be solved have been put forward for many years, and how to use machine learning to help reduce email overload. However, many of these proposed solutions have not yet been implemented on a full scale. One conclusion may be that since email overload is not experienced in the same way, individuals have different needs - One solution does not fit all. With the help of the character of a chatbot, many problems can be solved. And with a technological character of a chatbot that can learn individuals' email patterns, suggest email task to the user and performing tasks to reducing the email overload perception. Using keyword for email intents to get a sense of the email content faster and produce quick links where to find information about the identified subject. And to work preventive give the user remainder and perform repetitive tasks on specific dates.
36
Piña, Alexander L. "Applying epoch-era analysis for homeowner selection of distributed generation power systems." Thesis, Massachusetts Institute of Technology, 2014. http://hdl.handle.net/1721.1/90721.
Full textAbstract:
Thesis: S.M. in Engineering and Management, Massachusetts Institute of Technology, Engineering Systems Division, System Design and Management Program, 2014.Cataloged from PDF version of thesis.
Includes bibliographical references (pages 161-164).
The current shift from centralized energy generation to a more distributed model has opened a number of choices for homeowners to provide their own power. While there are a number of systems to purchase, there are no tools to help the homeowner determine which system they should select. The research investigates how an Epoch-Era Analysis formulation can be used to select the appropriate distributed generation system for the homeowner. Ten different distributed generation systems were successfully analyzed and resulted in the average homeowner selecting the solar photovoltaic system. Additionally, the research investigated how using an "average" homeowner compared to an individual homeowner might result in a different distributed generation selection. Two randomly selected homeowners were analyzed and there were noticeable differences with the average homeowner results, including one of the homeowners selecting the geothermal system instead. Suggestions for how the research can be expanded - including individual homeowner parameterization, distributed generation systems inclusion, and epoch/era expansion - are covered at the end.
by Alexander L. Piña.
S.M. in Engineering and Management
37
Mayer, Rosirene. "A gramática da habitação mínima : análise do projeto arquitetônico da habitação de interesse social em Porto Alegre e Região Metropolitana." reponame:Biblioteca Digital de Teses e Dissertações da UFRGS, 2012. http://hdl.handle.net/10183/67057.
Full textAbstract:
A presente tese propõe um modelo geométrico paramétrico para a geração, baseada em regras, da geometria do projetos de Habitação de Interesse Social, HIS, adequada à realidade socioeconômica brasileira. A definição do modelo partiu da análise dos padrões existentes na morfologia dos projetos arquitetônicos de uma amostra da produção de HIS de Porto Alegre (Rio Grande do Sul, Brasil) e Região Metropolitana. A identificação destes padrões serviu para acessar os limites de variação e qualificação do projeto da HIS. Foram utilizadas representações adimensionais associadas a grafos de adjacência para descrição das relações espaciais mais freqüentes em dois níveis distintos porém relacionados - para o equipamento e para os compartimentos. O modelo de Gramáticas da Forma serviu à descrição das regras de composição e configuração do espaço e seus componentes. A análise comparativa do corpus e das necessidades programáticas forneceu a variação admissível dos parâmetros dimensionais. A implementação computacional do modelo geométrico resultante permitiu a exploração das variações paramétricas das alternativas de configuração de projeto. Os resultados permitiram verificar uma homogeneidade da estrutura sintática do corpus que ultrapassa os limites tipológicos. Parte das diferenças existentes entre os elementos da amostra podem ser atribuídas a variações paramétricas das partes e a sua influência mútua na composição da área total e da forma da unidade habitacional. Variações paramétricas de uma configuração podem servir para adaptar a inserção da unidade habitacional no lote ou no edifício. A aplicabilidade do modelo geométrico paramétrico pode ser vista sob dois aspectos interrelacionados: como matriz generativa para o desenvolvimento de projetos mais adequados a problemas específicos e, conseqüentemente, e como uma alternativa a padronização da produção habitacional.This thesis proposes a parametric geometrical model for the rule-based generation of the configurational geometry of social housing architectural designs, suitable to the Brazilian socioeconomic context. The model was based on analysis of existing patterns identified in the morphology of architectural designs from a sample of the social housing production in Porto Alegre and Metropolitan Area. The identification of these patterns was intended to access the limits of variation and qualification of social housing designs. The association between dimensionless representations and adjacency graphs was used for the description of spatial relations in two distinguished but related levels: for the furniture and the rooms. The shape grammars model was used to describe the geometrical rules governing the composition and configuration of the space and its components. The comparative analysis of the corpus and functional needs enabled to identify the admissible variation of the dimensional parameters. The computational implementation of the resulting geometrical model allowed the exploration of the parametric variations in the design configuration alternatives. The results showed homogeneity of syntactic structure of the corpus, which overcomes the typological limits.! Part of the differences between the elements of the sample may be attributed to the parametric variations in rooms and their mutual influence on the composition of the total area and the shape of the housing unit. The parametric variations in a design can also enable setting the location of the housing unit on a plot or in a building. The application of the parametric geometrical model can be seen in two interrelated aspects: as a generative matrix for the development of projects best suited to specific problems, and consequently, as an alternative to the standardization of housing production.
38
Qi, Zichao. "An analysis of patch plausibility and correctness for generate-and-validate patch generation systems." Thesis, Massachusetts Institute of Technology, 2015. http://hdl.handle.net/1721.1/101586.
Full textAbstract:
Thesis: S.M., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2015.Cataloged from PDF version of thesis.
Includes bibliographical references (pages 79-84).
We analyze reported patches for three existing generate-and-validate patch generation systems (GenProg, RSRepair, and AE). The basic principle behind generate-and-validate systems is to accept only plausible patches that produce correct outputs for all inputs in the test suite used to validate the patches. Because of errors in the patch evaluation infrastructure, the majority of the reported patches are not plausible - they do not produce correct outputs even for the inputs in the validation test suite. The overwhelming majority of the reported patches are not correct and are equivalent to a single modification that simply deletes functionality. Observed negative effects include the introduction of security vulnerabilities and the elimination of desirable standard functionality. We also present Kali, a generate-and-validate patch generation system that only deletes functionality. Working with a simpler and more effectively focused search space, Kali generates at least as many correct patches as prior GenProg, RSRepair, and AE systems. Kali also generates at least as many patches that produce correct outputs for the inputs in the validation test suite as the three prior systems. We also discuss the patches produced by ClearView, a generate-and-validate binary hot patching system that leverages learned invariants to produce patches that enable systems to survive otherwise fatal defects and security attacks. Our analysis indicates that ClearView successfully patches 9 of the 10 security vulnerabilities used to evaluate the system. At least 4 of these patches are correct.
by Zichao Qi.
S.M.
39
坂部, 俊樹, 正彦 酒井, 圭一朗 草刈, and 直樹 西田. "Program Generation System : GeneSys." INTELLIGENT MEDIA INTEGRATION NAGOYA UNIVERSITY / COE, 2005. http://hdl.handle.net/2237/10379.
Full text
40
Chen, Hua. "Generating system reliability optimization." Thesis, National Library of Canada = Bibliothèque nationale du Canada, 2000. http://www.collectionscanada.ca/obj/s4/f2/dsk1/tape4/PQDD_0034/NQ63854.pdf.
Full text
41
SANTORO, ALEXANDRE JOSE REIS. "A DATAPATH GENERATING SYSTEM." PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO, 1991. http://www.maxwell.vrac.puc-rio.br/Busca_etds.php?strSecao=resultado&nrSeq=14554@1.
Full textAbstract:
Programas de computador já vem sendo utilizados há muito tempo no projeto de circuitos integrados, principalmente para verificação e simulação. Os anos 80 viram surgir os compiladores de silício, novas ferramentas para a geração automática de estruturas e leiautes. O sistema apresentado nesse trabalho permite a geração automática do leiaute de uma via de dados (conjunto de registradores e ALUs) a partir de uma descrição de seu tamanho e componentes. É também apresentado um gerador de leiautes gate matrix com facilidades para posicionamento de terminais, utilizando para a criação das células da biblioteca do gerador de vias. São discutidos também os problemas envolvidos nas diversas etapas de geração, assim como as soluções encontradas.Computer programs have been used for a long time in the design of integrated circuits, specially for verification and simulation. In the 80s silicon compilers appeared, a newkind of tool used for circuit synthesis and layout generation. The system here presented permits the automatic generation of the layout of a datapath (a collection of registers and ALUs) from a specification containing the number of bits and functions desired. A gate matrix layout generator with facilities for placing terminals is also presented, as a tool for creating the necessary cells for the datapath library. The several problems involved on layout generation are discussed, as well as the solutions employed.
42
Kim, Jaewon S. M. Massachusetts Institute of Technology. "Next generation CAT system." Thesis, Massachusetts Institute of Technology, 2010. http://hdl.handle.net/1721.1/62117.
Full textAbstract:
Thesis (S.M.)--Massachusetts Institute of Technology, School of Architecture and Planning, Program in Media Arts and Sciences, 2010.Cataloged from PDF version of thesis.
Includes bibliographical references (p. 45-48).
Two novel techniques for future CAT system are presented. Transmission descattering is a singleshot method to differentiate unscattered and scattered components of light transmission through a scattering material. Directly-transmitted components travel in a straight line from the light source, while scattered components originate from multiple scattering centers in the volume. Angularly varying scattered light is strategically captured via a lenslet array placed close to the image plane and the unscattered direct component is computed based on separable scattered components. The disadvantage is a reduction in spatial resolution. As an application, the enhanced tomographic reconstruction is demonstrated using estimated direct transmission images. The other technique is single-shot 3D reconstruction of a translucent object. Multiple light sources form images of a translucent object at different projection angles onto a screen. Those images are captured by a single-photo in a coded format via lenslet array. The projection image casted from each light source is separated from each other by a decoding process and in turn the images are combined to reconstruct 3D shape of the translucent object by ART method.
by Jaewon Kim.
S.M.
43
Magnusson, Mimmi. "Energy systems studied of biogas : Generation aspects of renewable vehicle fuels in the transport system." Doctoral thesis, KTH, Energiprocesser, 2012. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-105120.
Full textAbstract:
The transport sector is seen as particularly problematic when concerns about climate change and dependency on fossil energy are discussed. Because of this, bioenergy is strongly promoted for use in the transport sector, both on a European level and nationally in Sweden. Even though bioenergy is considered one of the key solutions, it is generally agreed that both supply- and demand-side measures will be needed to achieve a change to a more sustainable transport system. One of the reasons for this is the limited availability of biomass, especially agricultural feedstocks competing with food or feed production. Woody biomass, however more abundant, is also exposed to tough competition from other sectors. In this thesis, the role of biogas as a vehicle fuel in a future sustainable transport system is discussed together with the prerequisites needed to realise such a transport system. Biogas is a biofuel that could be produced in several different ways: by anaerobic digestion, which is a first-generation production route, by gasification, which is a second-generation process, and by catalytic reduction of carbon dioxide, a third-generation technology. The main focus in this thesis is on biogas produced by anaerobic digestion and the results show that there is a significant potential for an increase compared to today’s production. Biogas from anaerobic digestion, however, will only be able to cover a minor part of the demand in the Swedish transport sector. Considering biogas of the second and third generations, the potential for production is more uncertain in a mid-term future, mainly due to competition for feedstock, the possibility to produce other fuels by these processes, and the present immaturity of the technology. The limited potential for replacing fossil vehicle fuels, either by biogas or other renewable fuels, clearly shows the need for demand-side measures in the transport system as well. This thesis shows the importance of technical and non-technical means to decrease the demand for transport and to make the transport as efficient as possible. The results show that both energy-efficient vehicles and behavioural and infrastructural changes will be required. Policies and economic incentives set by governments and decision-making bodies have a prominent role to play, in order to bring about a shift to a more sustainable transport system, however, measures taken on individual level will also have a great impact to contribute to a more sustainable transport system.QC 20121116
44
Merkel, Evan Andrew. "Systema." Thesis, Virginia Tech, 2018. http://hdl.handle.net/10919/82403.
Full textAbstract:
This thesis is a three-part creative coding exploration of generative typography and pixel-based image manipulation. Systema is composed of three distinct projects named Lyra, Mensa, and Vela, respectively, that investigate and demonstrate the advantages and drawbacks of generative graphic design.Master of Fine Arts
45
Mao, Yiming Mui Karen. "Protection system design for power distribution systems in the presence of distributed generation /." Philadelphia, Pa. : Drexel University, 2005. http://dspace.library.drexel.edu/handle/1860/501.
Full text
46
Zang, Guiyan. "Biomass gasification application on power generation: BIGCC systems comparison and other system design." Diss., University of Iowa, 2019. https://ir.uiowa.edu/etd/6898.
Full textAbstract:
Biomass is an attractive renewable energy resource for electricity generation, which has the potential to protect air quality, reduce dependence on fossil fuel, and improve forest health. Biomass gasification is a technology that transfers solid or liquid biomass into gaseous energy carrier (syngas) to increase the efficiency of electricity generation. The objective of this thesis is to supply a detailed feasibility study and provide a state-of-the-art economical pathway on biomass gasification application.
The work of this dissertation can be separated into two parts: commercial-scale biomass integrated gasification combined cycle (BIGCC) power plants comparison and other biomass gasification system design. The first part compares eight BIGCC systems with three groups of technology variations of gasification agent, syngas combustion method, and CO2 capture and storage. By comparing on performance, economic, and environmental indicators of these systems, it is found that BIGCC systems have higher exergy efficiency and lower emissions than biomass combustion electricity production system and electricity grid. However, its levelized cost of electricity is around 27% higher than the average electricity market price.
To reduce the BIGCC system’s cost, in the second part of this thesis, the potential for waste material gasification has been discussed. This part discussed the tire gasification and the gasification technology application for avian influenza poultry management. Results showed that tire gasification has a lower cost than natural gas which has the potential to reduce the BIGCC system’s cost. Moreover, gasification is an effective and economical available approach for avian influenza poultry management.
47
Kojima, Kazuaki, and Kazuhisa Miwa. "BRIDGING AUTOMATIC PROBLEM GENERATION SYSTEM AND LEARNING SUPPORT SYSTEM FOR HUMAN'S PROBLEM GENERATION." INTELLIGENT MEDIA INTEGRATION NAGOYA UNIVERSITY / COE, 2006. http://hdl.handle.net/2237/10477.
Full text
48
POSEDLY, PAUL EDWARD III. "Modeling and Analysis of Photovoltaic Generation and Storage Systems for Residential Use." University of Cincinnati / OhioLINK, 2008. http://rave.ohiolink.edu/etdc/view?acc_num=ucin1213715332.
Full text
49
Schooley, David C. "Unit commitment and system reliability in electric utility systems with independent wind and solar generation." Diss., Georgia Institute of Technology, 1998. http://hdl.handle.net/1853/12917.
Full text
50
Björkman, Fredrik, and Gustaf Eriksson. "Indoor positioning aided survey and map generation." Thesis, KTH, Skolan för elektroteknik och datavetenskap (EECS), 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-252919.
Full textAbstract:
Indoor positioning systems can be of a great help when trying to local- ize in an indoor environment. To be able to navigate, there is a need for an indoor map that to some degree represent the reality. This thesis aims to come up with a proof of concept of a system that maps rectan- gular objects onto a two dimensional map in an indoor environment. The maps will be drawn with the help of the position of a hand-held device that marks the corners of the objects. A problem that arises is that the error in the positioning can contribute to objects that have the same size and are aligned in reality can vary in size and be misaligned on the map. Another problem is that with the error in the position- ing, the position might end up within an existing object, which leads to a bad user experience. The problems were solved by developing a system, that given a map with objects mapped from the help of posi- tioning, can adjust the shape and positions of the objects based on the mean-values of multiple identical objects. To avoid positions within objects, a function was written that always checks if the positions is within an existing object and if that is the case, then move the correct the position to the closest position outside of the object. The final re- sult was a proof of concept of a system that can generate maps with mapped objects and users that can traverse the map with a good user experience.Inomhuspositioneringssystem kan vara till stor hjälp när man vill lo- kalisera sig i en inomhusmiljö. För att kunna navigera sig så krävs det en inomhuskarta som i viss mån representerar verkligheten. Den- na avhandling ämnar att komma fram till en konceptvalidering för ett system som ska mappa upp rektangulära objekt på tvådimensio- nella kartor i en inomhusmiljö. Kartorna ritas upp med hjälp av po- sitionen från en handhållen enhet som markerar hörnen på objekten. Problem som uppstår då är att felet från positionen kan få objekt som är av samma storlek och uppställda på rad i verkligheten, att se oli- ka stora ut och vara placerade lite huller om buller på kartan. Ett an- nat problem är att positionen kan med det här felet i positioneringen, komma att befinna sig i ett existerande objekt, vilket leder till en dålig användarupplevelse. Problemen löstes genom att utveckla ett system, som utifrån en karta med objekt mappade med hjälp av positionering, kan justera objektens form och position baserat på medelvärdena av flertalet likadana objekt. För att undvika positioner innanför objekt så skrevs en funktion som hela tiden kollar om positionen befinner sig i något befintligt objekt och om så skulle vara fallet så korrigeras po- sitionen till närmsta position utanför objektet. Slutresultatet blev en konceptvalidering av ett system som kan generera kartor med mappa- de objekt och användare som kan traversera dessa kartor med en god användarupplevelse.