1,819 research outputs found
Symbol Synchronization for SDR Using a Polyphase Filterbank Based on an FPGA
This paper is devoted to the proposal of a highly efficient symbol synchronization subsystem for Software Defined Radio. The proposed feedback phase-locked loop timing synchronizer is suitable for parallel implementation on an FPGA. The polyphase FIR filter simultaneously performs matched-filtering and arbitrary interpolation between acquired samples. Determination of the proper sampling instant is achieved by selecting a suitable polyphase filterbank using a derived index. This index is determined based on the output either the Zero-Crossing or Gardner Timing Error Detector. The paper will extensively focus on simulation of the proposed synchronization system. On the basis of this simulation, a complete, fully pipelined VHDL description model is created. This model is composed of a fully parallel polyphase filterbank based on distributed arithmetic, timing error detector and interpolation control block. Finally, RTL synthesis on an Altera Cyclone IV FPGA is presented and resource utilization in comparison with a conventional model is analyzed
Asymptotics of the Farey Fraction Spin Chain Free Energy at the Critical Point
We consider the Farey fraction spin chain in an external field . Using
ideas from dynamical systems and functional analysis, we show that the free
energy in the vicinity of the second-order phase transition is given,
exactly, by
Here is a reduced
temperature, so that the deviation from the critical point is scaled by the
Lyapunov exponent of the Gauss map, . It follows that
determines the amplitude of both the specific heat and susceptibility
singularities. To our knowledge, there is only one other microscopically
defined interacting model for which the free energy near a phase transition is
known as a function of two variables.
Our results confirm what was found previously with a cluster approximation,
and show that a clustering mechanism is in fact responsible for the transition.
However, the results disagree in part with a renormalisation group treatment
Soldier pile walls â 3D numerical analysis of soldier pile embedment
The paper is focused to a determination of spatial passive earth pressure (soil resistance) in the embedded part of the soldier pile. The analysis of 3D passive earth pressure is done numerically in software Plaxis 3D Tunnel v 2.2. The analysis of 3D passive earth pressure (soil resistance) is done for cantilever soldier pile walls in sand. The parameters for constitutive models were calibrated based on laboratory tests (triaxial â CD and oedometric tests). Hardening soil model is used in analysis. Outputs of the numerical analysis present a
comparison for the resulting passive earth force in case of different b/d ratios and different angles of internal friction, parameter ÏR which is used in approach by Weissenbach and finally the magnitude of 3D passive earth pressure coefficients (KP,3D) for different soldier pile distance (L), embedment depth (d) and angles of internal friction (ÏÂŽ). Numerical analysis showed that the 3D passive earth pressure is higher than currently presented approach by Weissenbach. The other present theories donât take to account the behaviour for higher slenderness ratio and influence adjacent soldier pile no way
CEDNIK: Phenotypic and molecular characterization of an additional patient and review of the literature
Synaptosomal-associated protein 29 (SNAP29) is a t-SNARE protein that is implicated in intracellular vesicle fusion. Mutations in the SNAP29 gene have been associated with cerebral dysgenesis, neuropathy, ichthyosis, and keratoderma syndrome (CEDNIK). In patients with 22q11.2 deletion syndrome, mutations in SNAP29 on the nondeleted chromosome are linked to similar ichthyotic and neurological phenotypes. Here, the authors report a patient with cerebral dysgenesis, neuropathy, ichthyosis, and keratoderma syndrome who presented with global developmental delay, polymicrogyria, dysgenesis of the corpus callosum, optic nerve dysplasia, gaze apraxia, and dysmorphic features. He has developed ichthyosis and palmoplantar keratoderma as he has grown. Exome sequencing identified a homozygous nonsense mutation in SNAP29 gene designated as c.85C>T (p.Arg29X). The authors compare the findings in the proband with previously reported cases. The previously unreported mutation in this patient and his phenotype add to the characterization of cerebral dysgenesis, neuropathy, ichthyosis, and keratoderma syndrome and the accumulating scientific evidence that implicates synaptic protein dysfunction in various neuroectodermal conditions
Heat transfer measurement of turbulent spots in a hypersonic blunt-body boundary layer
This paper presents data on turbulent-spot propagation in the hypersonic boundary-layer flow over a blunted cylindrical body. Data are based on the measurement of time-dependent surface heat transfer rates using gauges positioned as arrays in either th
Coupling a model of human thermoregulation with computational fluid dynamics for predicting human-environment interaction
This paper describes the methods developed to couple a commercial CFD program with a multi-segmented model of human thermal comfort and physiology. A CFD model is able to predict detailed temperatures and velocities of airflow around a human body, whilst a thermal comfort model is able to predict the response of a human to the environment surrounding it. By coupling the two models and exchanging information about the heat transfer at the body surface the coupled system can potentially predict the response of a human body to detailed local environmental conditions. This paper presents a method of exchanging data, using shared files, to provide a means of dynamically exchanging simulation data with the IESD-Fiala model during the CFD solution process. Additional
code is used to set boundary conditions for the CFD simulation at the body surface as determined by the IESD-Fiala model and to return information about local environmental conditions adjacent to the body surface as determined by the CFD simulation. The coupled system is used to model a human subject in a naturally ventilated environment. The resulting ventilation flow pattern agrees well with other numerical and
experimental work
Parameterizing by the Number of Numbers
The usefulness of parameterized algorithmics has often depended on what
Niedermeier has called, "the art of problem parameterization". In this paper we
introduce and explore a novel but general form of parameterization: the number
of numbers. Several classic numerical problems, such as Subset Sum, Partition,
3-Partition, Numerical 3-Dimensional Matching, and Numerical Matching with
Target Sums, have multisets of integers as input. We initiate the study of
parameterizing these problems by the number of distinct integers in the input.
We rely on an FPT result for ILPF to show that all the above-mentioned problems
are fixed-parameter tractable when parameterized in this way. In various
applied settings, problem inputs often consist in part of multisets of integers
or multisets of weighted objects (such as edges in a graph, or jobs to be
scheduled). Such number-of-numbers parameterized problems often reduce to
subproblems about transition systems of various kinds, parameterized by the
size of the system description. We consider several core problems of this kind
relevant to number-of-numbers parameterization. Our main hardness result
considers the problem: given a non-deterministic Mealy machine M (a finite
state automaton outputting a letter on each transition), an input word x, and a
census requirement c for the output word specifying how many times each letter
of the output alphabet should be written, decide whether there exists a
computation of M reading x that outputs a word y that meets the requirement c.
We show that this problem is hard for W[1]. If the question is whether there
exists an input word x such that a computation of M on x outputs a word that
meets c, the problem becomes fixed-parameter tractable
Lower Bounds for the Graph Homomorphism Problem
The graph homomorphism problem (HOM) asks whether the vertices of a given
-vertex graph can be mapped to the vertices of a given -vertex graph
such that each edge of is mapped to an edge of . The problem
generalizes the graph coloring problem and at the same time can be viewed as a
special case of the -CSP problem. In this paper, we prove several lower
bound for HOM under the Exponential Time Hypothesis (ETH) assumption. The main
result is a lower bound .
This rules out the existence of a single-exponential algorithm and shows that
the trivial upper bound is almost asymptotically
tight.
We also investigate what properties of graphs and make it difficult
to solve HOM. An easy observation is that an upper
bound can be improved to where
is the minimum size of a vertex cover of . The second
lower bound shows that the upper bound is
asymptotically tight. As to the properties of the "right-hand side" graph ,
it is known that HOM can be solved in time and
where is the maximum degree of
and is the treewidth of . This gives
single-exponential algorithms for graphs of bounded maximum degree or bounded
treewidth. Since the chromatic number does not exceed
and , it is natural to ask whether similar
upper bounds with respect to can be obtained. We provide a negative
answer to this question by establishing a lower bound for any
function . We also observe that similar lower bounds can be obtained for
locally injective homomorphisms.Comment: 19 page
- âŠ