• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1345
  • 397
  • 363
  • 185
  • 104
  • 47
  • 36
  • 31
  • 26
  • 22
  • 22
  • 16
  • 14
  • 13
  • 13
  • Tagged with
  • 3040
  • 532
  • 464
  • 416
  • 409
  • 358
  • 327
  • 276
  • 264
  • 222
  • 219
  • 201
  • 169
  • 161
  • 157
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
581

Instance compression of parametric problems and related hierarchies

Chakraborty, Chiranjit January 2014 (has links)
We define instance compressibility ([13, 17]) for parametric problems in the classes PH and PSPACE.We observe that the problem ƩiCIRCUITSAT of deciding satisfiability of a quantified Boolean circuit with i-1 alternations of quantifiers starting with an existential quantifier is complete for parametric problems in the class Ʃp/i with respect to w-reductions, and that analogously the problem QBCSAT (Quantified Boolean Circuit Satisfiability) is complete for parametric problems in PSPACE with respect to w-reductions. We show the following results about these problems: 1. If CIRCUITSAT is non-uniformly compressible within NP, then ƩiCIRCUITSAT is non-uniformly compressible within NP, for any i≥1. 2. If QBCSAT is non-uniformly compressible (or even if satisfiability of quantified Boolean CNF formulae is non-uniformly compressible), then PSPACE ⊆ NP/poly and PH collapses to the third level. Next, we define Succinct Interactive Proof (Succinct IP) and by adapting the proof of IP = PSPACE ([11, 6]) , we show that QBCNFSAT (Quantified Boolean Formula (in CNF) Satisfiability) is in Succinct IP. On the contrary if QBCNFSAT has Succinct PCPs ([32]) , Polynomial Hierarchy (PH) collapses. After extending the notion of instance compression to higher classes, we study the hierarchical structure of the parametric problems with respect to compressibility. For that purpose, we extend the existing definition of VC-hierarchy ([13]) to parametric problems. After that, we have considered a long list of natural NP problems and tried to classify them into some level of VC-hierarchy. We have shown some of the new w-reductions in this context and pointed out a few interesting results including the ones as follows. 1. CLIQUE is VC1-complete (using the results in [14]). 2. SET SPLITTING and NAE-SAT are VC2-complete. We have also introduced a new complexity class VCE in this context and showed some hardness and completeness results for this class. We have done a comparison of VC-hierarchy with other related hierarchies in parameterized complexity domain as well. Next, we define the compression of counting problems and the analogous classification of them with respect to the notion of instance compression. We define #VC-hierarchy for this purpose and similarly classify a large number of natural counting problems with respect to this hierarchy, by showing some interesting hardness and completeness results. We have considered some of the interesting practical problems as well other than popular NP problems (e.g., #MULTICOLOURED CLIQUE, #SELECTED DOMINATING SET etc.) and studied their complexity for both decision and counting version. We have also considered a large variety of circuit satisfiability problems (e.g., #MONOTONE WEIGHTED-CNFSAT, #EXACT DNF-SAT etc.) and proved some interesting results about them with respect to the theory of instance compressibility.
582

Influence of inhomogeneities on the tensile and compressive mechanical properties of paperboard

Hagman, Anton January 2016 (has links)
The in-plane properties of paperboard have always been of interest to paper scientists. Tensile properties are crucial when the board is fed through converting machines at high speeds. Compressive properties are essential in the later use. Inhomogeneities affect both the compressive and tensile properties. For the tensile properties, it is the inherent heterogeneity of the paperboard that might cause problems for the board-maker. Varying material properties, through the thickness of the paperboard, are on the other hand used to achieve high bending stiffness with low fiber usage. It is of interest to know how this practice affects the local compressive properties. Papers A and B aims to address this, while C, D and E focus on in-plane heterogeneities. Paper A investigates the mechanism that causes failure in the short span compression test (SCT). It was concluded that the main mechanism for failure in SCT is delamination due to shear damage. In paper B the effect of the through-thickness profiles on the local compression strength was examined. It was concluded that the local compression is governed by in-plane stiffness and through thickness delamination. The latter was in turn dependent on the local shear strength and in-plane stiffness gradients. In paper C the tensile test is investigated with focus on sample size and strain distributions. The strain behavior was dependent on the length to width ratio of the sample and was caused by activation of local zones with high strainability. Paper D focuses on the strain zones seen in C. The thermal response in paper was studied. It was observed that an inhomogeneous deformation pattern arose in the paper samples during tensile testing. It was concluded that the heat patterns observed coincided with the deformation patterns. It could be shown that the formation was the cause of the inhomogeneous deformation. In final paper, E, the virtual field method was applied on data from C. / Egenskaperna hos ett kartongark kan grovt delas upp i två kategorier: i-planet egenskaper och ut-ur-planet egenskaper. I-planet egenskaperna har länge varit ett område som pappersmekanister och andra pappersforskare visat intresse för. Anledningen till detta är att de är avgörande för hur väl det går att konvertera kartongen till färdiga förpackningar, samt hur väl de förpackningarna klarar sin uppgift. Dragegenskaperna prövas när kartongen dras genom tryck- och konverteringsmaskiner i hög hastighet. Tryckegenskaperna spelar stor roll för hur väl en förpackning klarar att staplas och hålla sitt innehåll intakt. Inhomogeniteter påverkar både drag och tryckegenskaper. Papprets naturliga variation påverkar dragegenskaperna hos kartongen och kan orsaka problem för kartongmakarna. Särskilt när utvecklingen går mot mer avancerade kartong utseenden. Å andra sidan så använder sig kartongmakare flitigt av egenskapsvariationer genom tjockleken på kartongen, när dom vill åstadkomma böjstyva kartonger utan att slösa med fibrer. I detta fall är det intressant att veta hur de lokala kompressionsegenskaperna påverkas av kartongens ut-ur-planet profil. Det första två uppsatserna i denna avhandling, A och B, handlar om just detta. Uppsatserna C, D och E avhandlar hur i-planet variationer påverkar kartongens egenskaper. I Artikel A undersöks vilka skademekanismer som aktiveras under ett kortspannskompressionstest (SCT). Tre flerskiktskartonger undersöktes. De hade valts så att de hade distinkt olika skjuvstyrkeprofiler. Kartongerna karakteriserades och datan användes som materialdata i en finit element modell av SCT-testet. Modellen bestod av skikt, betraktade som kontinuum, mellan vilka det fanns kohesiva ytor. Huvudmekanismen i SCT var att kartongen delaminerade på grund av skjuvskador. Den andra uppsatsen, Artikel B, var en fortsättning på den första. Denna gång undersöktes fem flerskiktskartonger framtagna så att de hade olika skjuvstyrka beroende på positionen i tjockleksled. Det konstaterades att kompressionsegenskaperna lokalt styrs av skjuvstyrkeprofilen och styvhetsgradienter. Vidare konstaterades det att mekanismerna innan kartongen delaminerar är, i huvudsak, elastiska. Den tredje artikeln, Artikel C, fokuserade på hur dragprov på kartong påverkas av provstorleken och töjningsvariationen. Tre olika flerskiktskartonger användes som provmaterial och provbitar med olika storlek analyserades. Förutom dragprov så användes digital image correlation (DIC) för analysen. Det visade sig att den globala töjbarheten varierade med storleken på provet beroende på kvoten mellan längd och bredd. DIC visade att detta i sin tur berodde på att zoner med hög töjbarhet aktiverades i provet. Dessa zoner hade samma storlek oberoende av provstorlek och påverkade därför den totala töjbarheten olika mycket. Artikel D undersöker töjningszonerna som sågs i Artikel C samt hur de påverkas av kreppning. Vidare undersöktes pappersproverna med hjälp av termografi. Termografin visade att varma zoner uppstod i proven när det töjdes. Zonerna blev synliga när provet töjdes plastiskt. Termografi kördes parallellt med DIC på några prover. Det visade sig att de varma zonerna överenstämde med zoner med hög lokal töjning. Vidare kunde det visas att dessa zoner övenstämde med papperets mikrostruktur, formationen. En finit element analys av hur papper med olika formation töjs gjordes. Delar av provningen gjordes på kreppade papper som har högre töjbarhet. Det visades sig att någon form av skada hade överlagrats på papprets mikrostruktur under kreppningen, och att den deformationen återtogs när pappret töjdes. I den sista artikeln, Artikel E, behandlas hur VFM (Virtual Field Method) kan användas på DIC-data från kartong. DIC-datan som användes hämtades från Artikel C. Detta gjordes för att visa på hur olika VFM-formuleringar kan användas för att karakterisera styvhetsvariationen hos kartong. Provet delades upp i tre subregioner baserat på den axiella töjningsgraden. VFM-analysen visade att dessa subregioners styvhet och tvärkontraktionstal sjönk monotont, men att skillnaden mellan regionerna ökade med ökande spänning. även om endast ett prov undersöktes, så indikerade resultaten att områden med hög styvhet endast förbättrar de mekaniska egenskaperna marginellt. Analysen visade också att även om subregionerna inte är sammanhängande, så har dom liknande mekaniska egenskaper. / <p>QC 20160429</p>
583

EMBEDDED VIDEO TRANSMISSION IN A CAIS DATA ACQUISITION SYSTEM

Brauer, David A. 10 1900 (has links)
International Telemetering Conference Proceedings / October 23-26, 2000 / Town & Country Hotel and Conference Center, San Diego, California / Acquiring real-time video data, during flight testing, has become an integral component in aircraft design and performance evaluation. This unique data acquisition capability has been successfully integrated into the JSF (Joint Strike Fighter), CAIS compliant, FTIDAS (Flight Test Instrumentation Data Acquisition System) developed by L-3 Communications Telemetry-East.
584

RANGE TELEMETRY IMPROVEMENT AND MODERNIZATION

Chalfant, Timothy A., Irving, Charles E. 10 1900 (has links)
International Telemetering Conference Proceedings / October 27-30, 1997 / Riviera Hotel and Convention Center, Las Vegas, Nevada / The system throughput capacities of modern data systems exceed the bit rate capacity of current range telemetry capabilities. Coupling this with the shrinking spectrum allocated for telemetry results in a serious problem for the Test, Training, and Space telemetry users. Acknowledging this problem, the Department of Defense (DoD) has embarked on an aggressive improvement and modernization program that will benefit both the government and commercial range providers and users. The ADVANCED RANGE TELEMETRY (ARTM) program was created and funded by the Central Test and Evaluation Investment Program (CTEIP) under the Office of the Secretary of Defense, Undersecretary for Acquisition and Technology to address this problem. The ARTM program goals are to improve the efficiency of spectrum usage by changing historical methods of acquiring telemetry data and transmitting it from systems under test to range customers. The program is initiating advances in coding, compression, data channel assignment, and modulation. Due to the strong interactions of these four dimensions, the effort is integrated into a single focused program. This paper describes the ARTM program and how academia research, emerging technology, and commercial applications will lay the foundation for future development.
585

An On-Board Instrumentation System for High-Rate Medium Caliber Projectiles

Bukowski, Edward, Don, Michael, Grzybowski, David, Harkins, Thomas 10 1900 (has links)
ITC/USA 2015 Conference Proceedings / The Fifty-First Annual International Telemetering Conference and Technical Exhibition / October 26-29, 2015 / Bally's Hotel & Convention Center, Las Vegas, NV / The U.S. Army Research Laboratory developed an on-board telemetry instrumentation system to obtain measurements of the in-flight dynamics of medium caliber projectiles. The small size, high launch acceleration, and extremely high spin rates of these projectiles created many design challenges. Particularly challenging were the high spin rates, necessitating the development of a data compression scheme for solar sensors. Flight tests successfully captured data for spin rates exceeding 1000 Hertz (1 kHz).
586

Image compression using the one-dimensional discrete pulse transform

Uys, Ernst Wilhelm 03 1900 (has links)
Thesis (MSc)--University of Stellenbosch, 2011. / ENGLISH ABSTRACT: The nonlinear LULU smoothers excel at removing impulsive noise from sequences and possess a variety of theoretical properties that make it possible to perform a so-called Discrete Pulse Transform, which is a novel multiresolution analysis technique that decomposes a sequence into resolution levels with a large amount of structure, analogous to a Discrete Wavelet Transform. We explore the use of a one-dimensional Discrete Pulse Transform as the central element in a digital image compressor. We depend crucially on the ability of space-filling scanning orders to map the two-dimensional image data to one dimension, sacrificing as little image structure as possible. Both lossless and lossy image compression are considered, leading to five new image compression schemes that give promising results when compared to state-of-the-art image compressors. / AFRIKAANSE OPSOMMING: Die nielineêre LULU gladstrykers verwyder impulsiewe geraas baie goed uit rye en besit verskeie teoretiese eienskappe wat dit moontlik maak om ’n sogenoemde Diskrete Puls Transform uit te voer; ’n nuwe multiresolusie analise tegniek wat ’n ry opbreek in ’n versameling resolusie vlakke wat ’n groot hoeveelheid struktuur bevat, soortgelyk tot ’n Diskrete Golfie Transform. Ons ondersoek of ’n eendimensionele Diskrete Puls Transform as die sentrale element in ’n digitale beeld kompressor gebruik kan word. Ons is afhanklik van ruimtevullende skandeer ordes om die tweedimensionele beelddata om te skakel na een dimensie, sonder om te veel beeld struktuur te verloor. Vyf nuwe beeld kompressie skemas word bespreek. Hierdie skemas lewer belowende resultate wanneer dit met die beste hedendaagse beeld kompressors vergelyk word.
587

DATA COMPRESSION SYSTEM FOR VIDEO IMAGES

RAJYALAKSHMI, P.S., RAJANGAM, R.K. 10 1900 (has links)
International Telemetering Conference Proceedings / October 13-16, 1986 / Riviera Hotel, Las Vegas, Nevada / In most transmission channels, bandwidth is at a premium and an important attribute of any good digital signalling scheme is to optimally utilise the bandwidth for transmitting the information. The Data Compression System in this way plays a significant role in the transmission of picture data from any Remote Sensing Satellite by exploiting the statistical properties of the imagery. The data rate required for transmission to ground can be reduced by using suitable compression technique. A data compression algorithm has been developed for processing the images of Indian Remote Sensing Satellite. Sample LANDSAT imagery and also a reference photo are used for evaluating the performance of the system. The reconstructed images are obtained after compression for 1.5 bits per pixel and 2 bits per pixel as against the original of 7 bits per pixel. The technique used is uni-dimensional Hadamard Transform Technique. The Histograms are computed for various pictures which are used as samples. This paper describes the development of such a hardware and software system and also indicates how hardware can be adopted for a two dimensional Hadamard Transform Technique.
588

Object-based coding and transmission for plenoptic videos

Wu, Qing, 吳慶 January 2008 (has links)
published_or_final_version / abstract / Electrical and Electronic Engineering / Doctoral / Doctor of Philosophy
589

Lifting schemes for wavelet filters of trigonometric vanishingmoments

Cheng, Ho-Yin., 鄭浩賢. January 2002 (has links)
published_or_final_version / Mathematics / Master / Master of Philosophy
590

VLSI design and implementation of non-linear decoder combined with linear decompressor to achieve greater test vector compression

Doddi, Srujana 26 October 2010 (has links)
This paper investigates the cost-tradeoffs of implementing a test data compression technique previously presented in [Lee 06] which uses a small non-linear decoder combined with a linear decompressor to achieve greater test data compressions. The non-linear decoder is a sequential non-linear decompressor that exploits bit-wise and pattern-wise correlations in test vectors. This paper further emphasizes the design and implementation side of the proposed test data compressor. The linear decompressor used in this design is a Linear Feedback Shift Register (LFSR) which after choosing the right seed has the ability to produce the correct care bit values while filling the don’t care value bits with pseudo-random values. Experimental results show that using the presented compression scheme here significantly improves the overall compression. Area and power results are presented for the experiments carried out on the given design. / text

Page generated in 0.0189 seconds