Unfaithful Glitch Propagation in Existing Binary Circuit Models

We show that no existing continuous-time, binary value-domain model for digital circuits is able to correctly capture glitch propagation. Prominent examples of such models are based on pure delay channels (P), inertial delay channels (I), or the elaborate PID channels proposed by Bellido-D\'iaz et al. We accomplish our goal by considering the solvability/non-solvability border of a simple problem called Short-Pulse Filtration (SPF), which is closely related to arbitration and synchronization. On one hand, we prove that SPF is solvable in bounded time in any such model that provides channels with non-constant delay, like I and PID. This is in opposition to the impossibility of solving bounded SPF in real (physical) circuit models. On the other hand, for binary circuit models with constant-delay channels, we prove that SPF cannot be solved even in unbounded time; again in opposition to physical circuit models. Consequently, indeed none of the binary value-domain models proposed so far (and that we are aware of) faithfully captures glitch propagation of real circuits. We finally show that these modeling mismatches do not hold for the weaker eventual SPF problem.Comment: 23 pages, 15 figure

Constitution and narrative: peculiarities of rhetoric and genre in the foundational laws of the USSR and the Russian federation

Constitutions are not just legal texts but form a narrative with an engaging plot, a hierarchy of actors and a distinct ideology. They can be read and interpreted as literary texts. The four constitutions in 20th century Russia (1924, 1936, 1977, 1993) can be attributed to specific genres (drama, fairy tale, gospel, performance). Moreover, they interact closely with the official culture of their time (painting, collage, film, literature). The constitutions serve an important task in the cultural self-definition of Russian society which as a rule occurred in moments of ideological crisis. The case of Russia is especially intriguing since the utopian project of a just society needed in every stage of its evolution (revolution, consolidation, "developed socialism”, postcommunism) a new convincing design which was able to guarantee the citizens' loyalty to the stat

A large neighbourhood based heuristic for two-echelon routing problems

In this paper, we address two optimisation problems arising in the context of city logistics and two-level transportation systems. The two-echelon vehicle routing problem and the two-echelon location routing problem seek to produce vehicle itineraries to deliver goods to customers, with transits through intermediate facilities. To efficiently solve these problems, we propose a hybrid metaheuristic which combines enumerative local searches with destroy-and-repair principles, as well as some tailored operators to optimise the selections of intermediate facilities. We conduct extensive computational experiments to investigate the contribution of these operators to the search performance, and measure the performance of the method on both problem classes. The proposed algorithm finds the current best known solutions, or better ones, for 95% of the two-echelon vehicle routing problem benchmark instances. Overall, for both problems, it achieves high-quality solutions within short computing times. Finally, for future reference, we resolve inconsistencies between different versions of benchmark instances, document their differences, and provide them all online in a unified format

Heidegger and Dostoevsky: Philosophy and Politics

Heidegger and Dostoevsky: Philosophy and Politic