11,104 research outputs found
On a stronger reconstruction notion for monoids and clones
Motivated by reconstruction results by Rubin, we introduce a new
reconstruction notion for permutation groups, transformation monoids and
clones, called automatic action compatibility, which entails automatic
homeomorphicity. We further give a characterization of automatic
homeomorphicity for transformation monoids on arbitrary carriers with a dense
group of invertibles having automatic homeomorphicity. We then show how to lift
automatic action compatibility from groups to monoids and from monoids to
clones under fairly weak assumptions. We finally employ these theorems to get
automatic action compatibility results for monoids and clones over several
well-known countable structures, including the strictly ordered rationals, the
directed and undirected version of the random graph, the random tournament and
bipartite graph, the generic strictly ordered set, and the directed and
undirected versions of the universal homogeneous Henson graphs.Comment: 29 pp; Changes v1-->v2::typos corr.|L3.5+pf extended|Rem3.7 added|C.
Pech found out that arg of L5.3-v1 solved Probl2-v1|L5.3, C5.4, Probl2 of v1
removed|C5.2, R5.4 new, contain parts of pf of L5.3-v1|L5.2-v1 is now
L5.3,merged with concl of C5.4-v1,L5.3-v2 extends C5.4-v1|abstract, intro
updated|ref[24] added|part of L5.3-v1 is L2.1(e)-v2, another part merged with
pf of L5.2-v1 => L5.3-v
The minimum maximal k-partial-matching problem
In this paper, we introduce a new problem related to bipartite graphs called
minimum maximal k-partial-matching (MMKPM) which has been modelled by
using a relaxation of the concept of matching in a graph. The MMKPM problem can
be viewed as a generalization of the classical Hitting Set and Set Cover
problems. This property has been used to prove that the MMKPM problem is NPComplete.
An integer linear programming formulation and a greedy algorithm have
been proposed. The problem can be applied to the design process of finite state
machines with input multiplexing for simplifying the complexity of multiplexers
Minimum maximum reconfiguration cost problem
This paper discusses the problem of minimizing the reconfiguration cost of
some types of reconfigurable systems. A formal definition of the problem and a proof
of its NP-completeness are provided. In addition, an Integer Linear Programming
formulation is proposed. The proposed problem has been used for optimizing a design
stage of Finite Virtual State Machines
Finite State Machines With Input Multiplexing: A Performance Study
Finite state machines with input multiplexing (FSMIMs)
have been proposed in previous works as a technique for efficient
mapping FSMs into ROM memory. In this paper, we propose a new
architecture for implementing FSMIMs, called FSMIM with state-based
input selection, whose goal is to achieve a further reduction in memory
usage. This paper also describes in detail the algorithms for generating
FSMIMs used by the tool FSMIM-Gen, which has been developed
and made available on the Internet for free public use. A comparative
study in terms of speed and area between FSMIM approaches
and other field programmable gate array-based techniques is presented.
The results show that the FSMIM approaches obtain huge
reductions in the look-up table (LUT) usage by using a small number
of embedded memory blocks. In addition, speed improvements
over conventional LUT-based implementations have been obtained in
many cases
High-Performance Architecture for Binary-Tree-Based Finite State Machines
A binary-tree-based finite state machine (BT-FSM)
is a state machine with a 1-bit input signal whose state transition
graph is a binary tree. BT-FSMs are useful in those
application areas where searching in a binary tree is required,
such as computer networks, compression, automatic control, or
cryptography. This paper presents a new architecture for implementing
BT-FSMs which is based on the model finite virtual state
machine (FVSM). The proposed architecture has been compared
with the general FVSM and conventional approaches by using
both synthetic test benches and very large BT-FSMs obtained
from a real application. In synthetic test benches, the average
speed improvement of the proposed architecture respect to the
best results of the other approaches achieves 41% (there are
some cases in which the speed is more than double). In the
case of the real application, the average speed improvement
achieves 155%
The number of clones determined by disjunctions of unary relations
We consider finitary relations (also known as crosses) that are definable via
finite disjunctions of unary relations, i.e. subsets, taken from a fixed finite
parameter set . We prove that whenever contains at least one
non-empty relation distinct from the full carrier set, there is a countably
infinite number of polymorphism clones determined by relations that are
disjunctively definable from . Finally, we extend our result to
finitely related polymorphism clones and countably infinite sets .Comment: manuscript to be published in Theory of Computing System
Novel tuneable filter based on MZ and an amplified ring resonator for OFDM networks
IEEE Lasers and Electro-Optics Society. 1999 Annual Meeting. 8-11 November 1999. San Francisco, CAA novel reconfigurable fibre based tuneable filter is proposed. The module relies on a cascaded connection of Mach-Zehnders and an amplified fibre ring resonator. MHz range adjustable FHWM bandwidths and high crosstalk are achieved.Publicad
- …