Filetype
Abstract in UndeterminedDataflow descriptions have been used ina wide range of Digital Signal Processing (DSP)applications, such as multi-media processing, andwireless communications. Among various forms ofdataflow modeling, Synchronous Dataflow (SDF) isgeared towards static scheduling of computationalmodules, which improves system performance andpredictability. However, many DSP applicationsdo no
Homogeneous charge compression ignition (HCCI) holds promise for reduced emissions and increased efficiency compared to conventional internal combustion engines. As HCCI lacks direct actuation over the combustion phasing, much work has been devoted to designing controllers capable of set-point tracking and disturbance rejection. This paper presents results on model predictive control (MPC) of the
A (Formula presented.) -configuration is a set of (Formula presented.) blocks on (Formula presented.) points. For Steiner triple systems, (Formula presented.) -configurations are of particular interest. The smallest nontrivial such configuration is the Pasch configuration, which is a (Formula presented.) -configuration. A Steiner triple system of order (Formula presented.), an STS (Formula present
This article reports work-in-progress of a parallel kinematic robot development for construction with main focus on the concept phase. We suppose the weight distribution of the proposed structure enables integration of robotic components into construction equipment while enabling tailoring of important characteristics such as accuracy, stiffness and workspace toward application needs.We describe c
We show exponential lower bounds on resolution proof length for pigeonhole principle (PHP) formulas and perfect matching formulas over highly unbalanced, sparse expander graphs, thus answering the challenge to establish strong lower bounds in the regime between balanced constant-degree expanders as in [Ben-Sasson and Wigderson'01] and highly unbalanced, dense graphs as in [Raz'04] and [Razborov'03
We give a significantly simplified proof of the exponential separation between regular and general resolution of Alekhnovich et al. (2007) as a consequence of a general theorem lifting proof depth to regular proof length in resolution. This simpler proof then allows us to strengthen the separation further, and to construct families of theoretically very easy benchmarks that are surprisingly hard f
Building on [Clegg et al.’96], [Impagliazzo et al.’99] established that if an unsatisfiable k-CNF formula over n variables has a refutation of size S in the polynomial calculus resolution proof system, then this formula also has a refutation of degree k + O(n log S). The proof of this works by converting a small-size refutation into a small-degree one, but at the expense of increasing the proof si
To systematically address non-technical engineering skills (NTES), six mandatory "Engineering Days" (Ing-dagar) were introduced in two bachelor programmes. The students were also allowed to perform voluntary activities leading to a Certification of Non-technical Engineering Competences, a certificate the students can attach to their CVs. To be certified, the student must have performed activities
Sliding mode control (SMC) is to keep the system to a stable differential manifold. Model predictive control (MPC) calculates the control input by solving an optimization problem on receding horizon. The method of receding horizon sliding control (RHSC) includes the predicted information into the SMC design by combining SMC and MPC. Considering the modeling error and measurement noise, there are m
The min-sum (MS) and approximate-min* (a-min*) algorithms are alternatives of the belief propagation (BP) algorithm for decoding low-density parity-check (LDPC) codes. To lower the BP decoding complexity, both algorithms compute two magnitudes at each check node (CN) and pass them to the neighboring variable nodes (VNs).In this work we propose a new algorithm, ga-min*, that generalizes the MS
We see a potential for ESS to benefit from sharing alarm data for machine learning applications, by establishing data ecosystem. To achieve these goal, ESS must make a strategic decision to pursue data sharing, establish a technical platform to share a digital twin, continue advancing the data ecosystem, and work towards a standardized reference model.
One type of light source that remains largely unexplored in the field of light transport rendering is the light generated by superluminal particles, a phenomenon more commonly known as Cherenkov radiation. By re-purposing the Frank-Tamm equation for rendering, the energy output of these particles can be estimated and consequently mapped to photons, making it possible to visualize the brilliant blu
We establish an exactly tight relation between reversiblepebblings of graphs and Nullstellensatz refutations of pebbling formulas,showing that a graph G can be reversibly pebbled in time t and space s if and only if there is a Nullstellensatz refutation of the pebbling formulaover G in size t + 1 and degree s (independently of the field in whichthe Nullstellensatz refutation is made). We use this
In this paper we propose a design methodology to partition dataflow applications on a multi clock domain architecture. This work shows how starting from a high level dataflow representation of a dynamic program it is possible to reduce the overall power consumption without impacting the performances. Two different approaches are illustrated, both based on the post-processing and analysis of the ca
In this paper, we present a systematic approach to design a compact dual-mode monopole-like patch antenna using characteristic mode analysis (CMA). The modal analysis of a slotted circular patch structure incorporating a new shorting pin loading technique is presented. To achieve a compact monopole-like antenna with wideband operation, it is demonstrated that the first two significant modes with m
Over the past decade, characteristic mode analysis (CMA) research has grown from a niche topic to a mainstream topic, warranting a tutorial-style special issue to survey the significant progress that has been made in this field. In thisintroductory article (PAPER 1), the focus is on providing the big picture. We start with a simple description of characteristic modes. Next, we examine the trends in
A low-profile wideband tri-polarized MIMO antenna is proposed in this paper. Based on characteristic mode analysis of a circular patch, four slots are etched symmetrically on the patch to transform the high-order monopole-like modes into broadside modes with lower resonant frequencies. Four sets of shorting pins are also applied to simultaneously adjust the resonant frequencies of the monopole-lik
The improvements in GPU hardware, including hardware-accelerated ray tracing, and the push for fully dynamic realistic-looking video games, has been driving more research in the use of ray tracing in real-time applications. The work described in this thesis covers multiple aspects such as optimisations, adapting existing offline methods to real-time constraints, and adding effects which were hard
One of the major open problems in complexity theory is proving super-logarithmic lower bounds on the depth of circuits (i.e., mathrm{P} nsubseteq text{NC}{1}). Karchmer, Raz, and Wigderson [13] suggested to approach this problem by proving that depth complexity behaves'as expected' with respect to the composition of functions f diamond g. They showed that the validity of this conjecture would impl
Reflective reconfigurable intelligent surface (RIS) technology is regarded as an innovative, cost- and power-effective solution that aims at influencing the wireless channel through controlled scattering. The technology can be realized by using metamaterials and/or resonant elements that scatter electromagnetic waves with a configurable phase shift. Most of the previous work on beamforming techniq
