Vega talvisatamassa L. Palanderin keväällä 1879 ottaman valokuvan mukaan

Wiipuri 1881

Sherali-Adams Relaxations and Indistinguishability in Counting Logics

Two graphs with adjacency matrices $\mathbf{A}$ and $\mathbf{B}$ are isomorphic if there exists a permutation matrix $\mathbf{P}$ for which the identity $\mathbf{P}^{\mathrm{T}} \mathbf{A} \mathbf{P} = \mathbf{B}$ holds. Multiplying through by $\mathbf{P}$ and relaxing the permutation matrix to a doubly stochastic matrix leads to the linear programming relaxation known as fractional isomorphism. We show that the levels of the Sherali--Adams (SA) hierarchy of linear programming relaxations applied to fractional isomorphism interleave in power with the levels of a well-known color-refinement heuristic for graph isomorphism called the Weisfeiler--Lehman algorithm, or, equivalently, with the levels of indistinguishability in a logic with counting quantifiers and a bounded number of variables. This tight connection has quite striking consequences. For example, it follows immediately from a deep result of Grohe in the context of logics with counting quantifiers that a fixed number of levels of SA suffice to determine isomorphism of planar and minor-free graphs. We also offer applications in both finite model theory and polyhedral combinatorics. First, we show that certain properties of graphs, such as that of having a flow circulation of a prescribed value, are definable in the infinitary logic with counting with a bounded number of variables. Second, we exploit a lower bound construction due to Cai, Fürer, and Immerman in the context of counting logics to give simple explicit instances that show that the SA relaxations of the vertex-cover and cut polytopes do not reach their integer hulls for up to $\Omega(n)$ levels, where $n$ is the number of vertices in the graph.

In-Vessel Penetrator -käärmerobotin mallinnus ADAMS-ohjelmistolla

Työn tavoitteena oli muodostaa virtuaaliprototyyppi fuusioreaktorin huollossa käytettävästä IVP-robotista. Työssä mallinnettiin robotin mekaniikka joustavana sekä toimilaitteiden ja käyttöjen dynaamiset ominaisuudet valmistajien esitietojen ja mitoitustietojen perusteella. Käyttöjen ja mekaniikan mallit yhdistettiin ADAMS-ohjelmistossa. Mekaanisten joustojen mallinnuksessa sekä verifioinnissa käytettiin apuna ANSYS –ohjelmistoa. Virtuaaliprototyypin toimivuudesta varmistuttiin vertaamalla sitä robotin suunnittelutietoihin ja fyysiseen prototyyppiin. Robotin ohjauksessa käytettävän P-säätäjän vaikutusta tutkittiin eri vahvistuksen arvoilla sekä verrattiin mekaanisia vasteita fyysisen prototyypin dynaamisiin testeihin. Esimerkkinä robotin käyttäytymisestä todellisessa tilanteessa simuloitiin sen ajoa reaktoriin. Toteutetun simulointimallin todettiin vastaavan rakenteeltaan sekä siinä esiintyvien voimien osalta suunnitelmien mukaista konstruktiota. Käytetyillä parametreilla se toteutti hyvin robotille asetetut nopeusvaatimukset.

"Sanat ovat käsiä, joilla voi koskettaa toista" : John Shotterin haastattelu

Haastattelijan suomennos: Onnismaa, J. 2005. "You can touch other people with your words". Interview with John Shotter. Lifelong learning in Europe LLinE 10 (4): 242-247

Bibliotheque françoise ou Histoire de la litterature françoise : dans laquelle on montre l'utilité que l'on peut retirer des livres publiés en françois depuis l'origine de l'imprimerie.... Tome dix-septième / par M. l'abbé Goujet,..

Collection : Archives de la linguistique française ; 188

Bibliotheque françoise ou Histoire de la litterature françoise : dans laquelle on montre l'utilité que l'on peut retirer des livres publiés en françois depuis l'origine de l'imprimerie.... Tome dix-huitième / par M. l'abbé Goujet,..

Collection : Archives de la linguistique française ; 188