The Achilles heel of classic analog computers was the complex, error prone, and time consuming process of programming. This typically involved manually patching hundreds or even thousands of connections between individual computing elements as well as setting many precision 10-turn potentiometers manually, often taking hours, or even days. Albeit being simplified by means of removable patch panels, switching from one program to another still was time consuming and thus expensive. With digital computers about to hit physical boundaries with respect to energy consumption, clock frequency, and integration density, analog computers have gained a lot of interest as co-processors for certain application areas in recent years. This requires some means for automatic reconfiguration of these systems under control of an attached digital computer. The following sections give an overview of classic and modern approaches towards such autopatch systems.
This paper aims to provide insights related to the impact assessment and evaluation results from the use of CITS services in the Greek pilot of the CRoads Greece project, i.e., Attica Tollway and Egnatia Odos Tollway. The impact assessment and evaluation of the CITS services includes aspects related to user acceptance, real world pilot logs collected from the two pilots, and simulation experiments that were conducted for the impact assessment of the CITS services. The paper concludes with a roadmap and guidelines for the extended deployment of CITS services in the Greek highway and urban road networks.
Big Data-driven transportation engineering has the potential to improve utilization of road infrastructure, decrease traffic fatalities, improve fuel consumption, decrease construction worker injuries, among others. Despite these benefits, research on Big Data-driven transportation engineering is difficult today due to the computational expertise required to get started. This work proposes BoaT, a transportation-specific programming language, and it's Big Data infrastructure that is aimed at decreasing this barrier to entry. Our evaluation that uses over two dozen research questions from six categories show that research is easier to realize as a BoaT computer program, an order of magnitude faster when this program is run, and exhibits 12-14x decrease in storage requirements.
What is computable with limited resources? How can we verify the correctness of computations? How to measure computational power with precision? Despite the immense scientific and engineering progress in computing, we still have only partial answers to these questions. In order to make these problems more precise, we describe an abstract algebraic definition of classical computation, generalizing traditional models to semigroups. The mathematical abstraction also allows the investigation of different computing paradigms (e.g. cellular automata, reversible computing) in the same framework. Here we summarize the main questions and recent results of the research of finite computation.
"Big data" has become a major area of research and associated funding, as well as a focus of utopian thinking. In the still growing research community, one of the favourite optimistic analogies for data processing is that of the oil refinery, extracting the essence out of the raw data. Pessimists look for their imagery to the other end of the petrol cycle, and talk about the "data exhausts" of our society. Obviously, the refinement community knows how to do "refining". This paper explores the extent to which notions of refinement and data in the formal methods community relate to the core concepts in "big data". In particular, can the data refinement paradigm can be used to explain aspects of big data processing?
The smart mobile terminal operator platform Android is getting popular all over the world with its wide variety of applications and enormous use in numerous spheres of our daily life. Considering the fact of increasing demand of home security and automation, an Android based control system is presented in this paper where the proposed system can maintain the security of home main entrance and also the car door lock. Another important feature of the designed system is that it can control the overall appliances in a room. The mobile to security system or home automation system interface is established through Bluetooth. The hardware part is designed with the PIC microcontroller.
A new multi-device wireless power transfer scheme that reduces the overall charging time is presented. The proposed scheme employs the intermediated energy storage (IES) circuit which consists of a constant power driving circuit and a super-capacitor. By utilizing the characteristic of high power density of the super-capacitor, the receiver can receive and store the energy in short duration and supply to the battery for long time. This enables the overlap of charging duration between all receivers. As a result, the overall charging time can be reduced.
Traffic simulation software is becoming increasingly popular as more cities worldwide use it to better manage their crowded traffic networks. An important requirement for such software is the ability to produce accurate results in real time, requiring great computation resources. This work proposes an ASIC-based hardware accelerated approach for the AIMSUN traffic simulator, taking advantage of repetitive tasks in the algorithm. Different system configurations using this accelerator are also discussed. Compared with the traditional software simulator, it has been found to improve the performance by as much as 9x when using a single processing element approach, or more depending on the chosen hardware configuration.
Using concave rectangular patches, a new solution to reduce mutual coupling and return loss in two-dimensional array of microstrip antennas is proposed. The effect of width and length concavity on mutual coupling and return loss is studied. Also, the patch parameters as well as the amounts of width and length concavity are optimized using an enhanced genetic algorithm. Simulation results show that the resulting array antenna has low amounts of mutual coupling and return loss.
In this research paper we address the importance of Product Data Management (PDM) with respect to the industrial contributional point of view and its major objectives. Moreover we also present some currently available major challenges to the Product Data Management based communities, and targeting those challenges we discuss an already proposed conceptual architectural based helpful approach and briefly describe how this approach can be helpful in solving the PDM communities faced problems.
The mathematical shaping in the study of water quality has become a branch of environmental engineering. The comprehension and effective application of mathematical models in studying environmental phenomena keep up with the results in the domain of mathematics and the development of specialized software as well. Integrated software programs simulate and predict extreme events, propose solutions, analyzing and processing data in due time. This paper presents a browsing through some mathematical categories of processing the statistical data, examples and their analysis concerning the degree of water pollution downstream the river Danube.
The paper discusses the importance and the issues of interfacing capacitive sensors. Two architectures applicable for interfacing capacitive sensors are presented. The first solution was designed to interface a capacitive humidity sensor designed and built for a humidity-dependent monolithic capacitor developed at Budapest University of Technology and Economics. The second case presents the possible read-out solutions for a SOI-MEMS accelerometer. Both of the architectures were built and tested in a discrete implementation to qualify the methods before the integrated realization. The paper presents a detailed comparison of the two methods
Functional aspects as well as the influence of integration technology on the system behavior have to be considered in the 3D integration design process of micro systems. Therefore, information from different physical domains has to be provided to designers. Due to the variety of structures and effects of different physical domains, efficient modeling approaches and simulation algorithms have to be combined. The paper describes a modular approach which covers detailed analysis with PDE solvers and model generation for system level simulation.
This paper presents a detailed noise analysis and a noise-based optimization procedure for resonant MEMS structures. A design for high sensitivity of MEMS structures needs to take into account the noise shaping induced by damping phenomena at micro scale. The existing literature presents detailed models for the damping at microscale, but usually neglects them in the noise analysis process, assuming instead a white spectrum approximation for the mechano-thermal noise. The present work extends the implications of the complex gas-solid interaction into the field of noise analysis for mechanical sensors, and provides a semi-automatic procedure for behavioral macromodel extraction and sensor optimization with respect to signal-to-noise ratio.
Generalized comb filters (GCFs) are efficient anti-aliasing decimation filters with improved selectivity and quantization noise (QN) rejection performance around the so called folding bands with respect to classical comb filters. In this paper, we address the design of GCF filters by proposing an efficient partial polyphase architecture with the aim to reduce the data rate as much as possible after the Sigma-Delta A/D conversion. We propose a mathematical framework in order to completely characterize the dependence of the frequency response of GCFs on the quantization of the multipliers embedded in the proposed filter architecture. This analysis paves the way to the design of multiplier-less decimation architectures. We also derive the impulse response of a sample 3rd order GCF filter used as a reference scheme throughout the paper.
This paper presents a novel repeater insertion algorithm for interconnect power minimization. The novelty of our approach is in the judicious integration of an analytical solver and a dynamic programming based method. Specifically, the analytical solver chooses a concise repeater library and a small set of repeater location candidates such that the dynamic programming algorithm can be performed fast with little degradation of the solution quality. In comparison with previously reported repeater insertion schemes, within comparable runtimes, our approach achieves up to 37% higher power savings. Moreover, for the same design quality, our scheme attains a speedup of two orders of magnitude.
The crystal structures of the isotypic monoclinic cyano complexes Cs2NaMn(CN)6 (a = 759.7(1), b = 780.6(1), c = 1095.0(1) pm, β = 90.07(1)°) and Cs2KMn(CN)6 (a = 769.8(2), b = 820.4(1), c = 1120.7(2) pm, β = 90.25(1)°) have been refined from single crystal X-ray data in space group P21/n, Z = 2 (wR = 0.039 and 0.027, resp., using 1639 and 1732 independent reflections). The compounds are isostructural with cryolite, Na3AlF6, showing quite similar position parameters and nearly regular octahedra (average Mn—C= 198.8/199.6pm, C—N = 114.7/114.4pm for Na/K compound, resp.). The tilting of octahedra [Mn(CN)6]3—, [NaN6] (Na—N = 248.5 pm) and [KN6] (K—N = 280.0 pm) is compared to that of other cyano-cryolites and rationalized using radius ratio arguments in the form of a tolerance factor relation.