Search results for "hardware"
showing 10 items of 1372 documents
Capacity-based calculation of passenger car equivalents using traffic simulation at double-lane roundabouts
2018
Abstract Calculation of passenger car equivalents for heavy vehicles represents the starting point for the operational analysis of road facilities and other traffic management applications. This paper introduces a criterion to find the passenger car equivalents that reflect traffic conditions at double-lane roundabouts, where the capacity is typically estimated for each entry lane. Based on the equivalence defined by the proportion of capacity used by vehicles of different classes, the criterion implies a comparison between the capacity that would occur with a traffic demand of passenger cars only and the capacity reached beginning from a demand with a certain percentage of heavy vehicles. …
A Compact SPICE Model for Organic TFTs and Applications to Logic Circuit Design
2016
This work introduces a compact DC model developed for organic thin film transistors (OTFTs) and its SPICE implementation. The model relies on a modified version of the gradual channel approximation that takes into account the contact effects, occurring at nonohmic metal/organic semiconductor junctions, modeling them as reverse biased Schottky diodes. The model also comprises channel length modulation and scalability of drain current with respect to channel length. To show the suitability of the model, we used it to design an inverter and a ring oscillator circuit. Furthermore, an experimental validation of the OTFTs has been done at the level of the single device as well as with a discrete-…
On the satisfiability problem for fragments of two-variable logic with one transitive relation
2019
Abstract We study the satisfiability problem for two-variable first-order logic over structures with one transitive relation. We show that the problem is decidable in 2-NExpTime for the fragment consisting of formulas where existential quantifiers are guarded by transitive atoms. As this fragment enjoys neither the finite model property nor the tree model property, to show decidability we introduce a novel model construction technique based on the infinite Ramsey theorem. We also point out why the technique is not sufficient to obtain decidability for the full two-variable logic with one transitive relation; hence, contrary to our previous claim, [FO$^2$ with one transitive relation is deci…
Inductive Power Transfer for 100W battery charging
2013
Today, Inductive Power Transfer (IPT) is widely investigated to provide wireless battery charge. Potential applications range from a few Watts of handheld devices to kWatts of automotive applications. Despite of comfort and safety options, wireless charging features relatively poor power conversion efficiency. In the literature, several solutions are proposed addressing efficiency related issues. In this paper, a 100W wireless charging station for electric bikes which improves the power conversion efficiency is proposed. The magnetic structure design is analyzed thoroughly as well as the proposed power electronics system architectures of both the power transmitter and power receiver. The ef…
On solving separable block tridiagonal linear systems using a GPU implementation of radix-4 PSCR method
2018
Partial solution variant of the cyclic reduction (PSCR) method is a direct solver that can be applied to certain types of separable block tridiagonal linear systems. Such linear systems arise, e.g., from the Poisson and the Helmholtz equations discretized with bilinear finite-elements. Furthermore, the separability of the linear system entails that the discretization domain has to be rectangular and the discretization mesh orthogonal. A generalized graphics processing unit (GPU) implementation of the PSCR method is presented. The numerical results indicate up to 24-fold speedups when compared to an equivalent CPU implementation that utilizes a single CPU core. Attained floating point perfor…
A Cost-Effective Approach to Hardware-in-the-Loop Simulation
2012
This paper presents an approach for developing cost effective hardware-in-the-loop (HIL) simulation platforms for the use in controller software test and development. The approach is aimed at the many smaller manufacturers of e.g. mobile hydraulic machinery, which often do not have very advanced testing facilities at their disposal. A case study is presented where a HIL simulation platform is developed for the controller of a truck mounted loader crane. The total expenses in hardware and software is less than 10.000$.
From UML Specification into FPGA Implementation
2014
In the paper a method of using the Unified Modeling Language for specification of digital systems, especially logic controllers, is presented. The proposed method is based mainly on the UML state machine di- agrams and uses Hierarchical Concurrent Finite State Machines (HCFSMs) as a temporary model. The paper shows a way to transform the UML diagrams, expressed in XML language, to the form that is acceptable by reconfigurable FPGAs (Field Programmable Gate Ar- rays). The UML specification is used to generate an eective program in Hardware Description Languages (HDLs), especially Verilog.
From UML State Machine Diagram into FPGA Implementation
2013
Abstract In the paper a method of using the Unified Modeling Language diagrams for specification of digital systems, especially logic controllers, is presented. The proposed method is based mainly on the UML state machine diagrams and uses Hierarchical Concurrent Finite State Machines (HCFSMs) as a temporary model. The paper shows a way to transform the UML diagrams to the form that is acceptable by reconfigurable FPGAs (Field Programmable Gate Arrays). The UML specification is used to generate an effective program in Hardware Description Languages (HDLs), especially Verilog.
Transformations Between UML Diagrams
2003
The Unified Modeling Language (UML) provides various diagram types for describing a system from different perspectives or abstraction levels. Hence, UML diagrams describing the same system are dependent and strongly overlapping. In this paper we study how this can be exploited for specifying transformation operations between different diagram types. We discuss various general approaches and viewpoints of model transformations in UML. The source and target diagram types for useful transformations are analyzed and given categories. The potentially most interesting transformation operations are discussed in detail. It is concluded that the transformation operations can automate a substantial p…
AN INEXPENSIVE ULTRA-HIGH-SPEED PHOTOGRAPHIC TECHNIQUE
1968
Commercial Ultra-High-Speed Cameras for framing rates over 50,000 f.p.s. are very expensive and yield a small number of frames (8 to 24) per run. The single-flash technique with increasing delays gives photographs at a high framing rate over a comparatively long time and, as described here, requires no special electronic equipment except a good flash unit and a general-purpose oscilloscope.