Rectangular automata are well suited for approximate modeling of continuous{discrete systems. The exact analysis of these automata is feasible for small examples but can encounter severe numerical problems for even medium-sized systems. This paper presents an analysis algorithm that uses conservative overapproximation to avoid these numerical problems. The algorithm is demonstrated on a simple ...

The objective of this paper is to determine the efficiency of manufacturing companies in Kenya over the period of 2009 to 2011 as well as suggesting appropriate policies to be employed by the manufacturing companies in Kenya based on the findings of the study. Three critical inputs variables (raw materials, staff expenses and plant and machinery) and two output variables (net sale and earnings ...

Current research refers to videogames as a constant variable. However, games today are designed to be highly interactive and versatile: two players may be using the same videogame, but as a result of different using patterns, the game will not necessarily encompass the same content and gameplay. The current study examined the possible relationship between psychopathology and in-game playing pat...

In this paper we present an ant-based algorithm for solving unconstrained multi-level lot-sizing problems called ant system for multi-level lot-sizing algorithm (ASMLLS). We apply a hybrid approach where we use ant colony optimization in order to find a good lot-sizing sequence, i.e. a sequence of the different items in the product structure in which we apply a modified Wagner-Whitin algorithm ...

We analyze the complexity of vote trading problems with equal-sized voting districts. For two allied vote-swapping parties, the problem is polynomially solvable. For three parties, the problem is NP-complete.

A cutting stock problem is one of the main and classical problems in operations research that is modeled as Lp < /div> problem. Because of its NP-hard nature, finding an optimal solution in reasonable time is extremely difficult and at least non-economical. In this paper, two meta-heuristic algorithms, namely simulated annealing (SA) and tabu search (TS), are proposed and deve...

Scheduling for a two-stage production system is one of the most common problems in production management. In this production system, a number of products are produced and each product is assembled from a set of parts. The parts are produced in the first stage that is a fabrication stage and then they are assembled in the second stage that usually is an assembly stage. In this article, the first...

The modern assessment of the state economy in world has become widespread context systemic paradigm, according to which two aspects consideration can be distinguished: interaction macroeconomics with and society; space-time continuum different levels (micro-, meso- macro levels). In terms ongoing global political contradictions, financial economic crises, socio-ethnic conflicts, COVID-19 restri...

Small and medium-sized enterprises are the foundation of China’s national economy, they important forces to promote economic social development. They play an irreplaceable role in promoting scientific technological progress, increasing employment, expanding foreign trade, other aspects which have become part socialist market economy. Based on research background international trade financing, t...