A longstanding open question of Archdeacon and Craft asks whether every complete graph has a minimum genus embedding with at most one nontriangular face. We exhibit such an for each except K 8 , we go on to prove that no can exist this graph. Our approach also solves more general problem, giving characterization the possible face distributions (i.e., numbers faces length) realizable by embeddin...

We consider a notion of sequential functional of -nite type, more generous than the familiar notion embodied in Plotkin’s language PCF. We study both the “full” and “e4ective” partial type structures arising from this notion of sequentiality. The full type structure coincides with that given by the strongly stable model of Bucciarelli and Ehrhard; it has also been characterized by van Oosten in...

Trajectory tracking of nonlinear dynamical systems with affine open-loop controls is investigated. The control task is to enforce the system state to follow a prescribed desired trajectory as closely as possible. We introduce exactly realizable desired trajectories as these trajectories which can be tracked exactly by an appropriate control. Exactly realizable trajectories are characterized mat...

In the Graph Realization Problem (GRP), one is given a graph G, a set of non-negative edge-weights, and an integer d. The goal is to find, if possible, a realization of G in the Euclidian space R, such that the distance between any two vertices is the assigned edge weight. The problem has many applications in mathematics and computer science, but is NP-hard when the dimension d is fixed. Charac...

This paper presents the comparison of numerical simulation results and wind tunnel experiment for compound WIG's wing. Numerical was performed in ANSYS Fluent software. The choice turbulence model computational mesh parameters, including resolution boundary layer, are substantiated. Comparison showed good convergence middle density about 7 million cells first layer height 0.0001 m. Additional s...

The following major aspects of the problem of Input–Output Triangular Decoupling (TD) for general neutral multi–delay systems, via proportional realizable state feedback, are resolved for the first time: The necessary and sufficient conditions for the problem to have a realizable solution and the general analytical expressions of the proportional realizable TD controller matrices. The condition...