An approach to schedule development in project management is proposed based on models and methods of idempotent algebra. The approach offers a way to represent various types of precedence relationships among activities in projects as linear vector equations in terms of an idempotent semiring. As a result, many issues in project scheduling reduce to solving computational problems in the idempote...

Semiheaps are ternary generalisations of involuted semigroups. The first kind of semiheaps studied were heaps, which correspond closely to groups. We apply the radical theory of varieties of idempotent algebras to varieties of idempotent semiheaps. The class of heaps is shown to be a radical class, as are two larger classes having no involuted semigroup counterparts. Radical decompositions of v...

In this paper branching rules for the fundamental representations of the symplectic groups in positive characteristic are found. The submodule structure of the restrictions of the fundamental modules for the group Sp2n(K) to the naturally embedded subgroup Sp2n−2(K) is determined. As a corollary, inductive systems of fundamental representations for Sp∞(K) are classified. The submodule structure...

In previous research we extended the submodule construction techniques to cover a more expressive and compact behavioral model that handles data through parameterized interactions, state variables, and simple transition guards. The model was based on extended Input/Output Automata, and the algorithm on the Chaos concept. In this paper we generalize these extensions and improve the submodule con...

We introduce an extension of the derivatives of rational expressions to expressions denoting formal power series over partially commuting variables. The expressions are purely noncommutative, however they denote partially commuting power series. The derivations (which are so-called φ-derivations) are shown to satisfy the commutation relations. Our main result states that for every so-called rig...

The submodule construction problem (SCP) as stated and formulated by Merlin and Bochmann [P. Merlin, G.V. Bochmann, On the construction of submodule specification and communication protocols, ACM Trans. Prog. Lang. Sys., 5(1) (1983) 1–25] is considered: given the specification of a system (module) and that of its n 2 1 submodules, determine the specification of the nth submodule that together w...

A linear vector equation is considered defined in terms of idempotent mathematics. To solve the equation, we apply an approach that is based on the analysis of distances between vectors in idempotent vector spaces and reduces the solution of the equation to that of a tropical optimization problem. Based on the approach, existence and uniqueness conditions are established for the solution, and a...

This paper is a very brief introduction to idempotent mathematics and related topics. It appears as an introductory paper in the volume Idempotent Mathematics and Mathematical Physics (G. L. Litvinov and V. P. Maslov, eds; AMS Contemporary Mathematics Proceedings Series, 2005) [73]. This paper is a very brief introduction, without exact theorems and proofs, to the Maslov dequantization and idem...