Konserttiohjelma 1898-12-05 - Ohjelma

Helsinki 1898

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.

La población infantil de Barcelona (1898-1961): una evaluación de su estado nutricional a partir de estadísticas antropométricas

En los ejercicios de evaluación de la denominada “penalización urbana”, la mortalidad infantil y juvenil suele ser uno o de los indicadores más habituales. Disponer de indicadores relativos a sus condiciones de salud es más difícil. Una opción son los datos antropométricos. Este tipo de información abunda para las poblaciones adultas –especialmente las masculinas enroladas en los ejércitos- pero es más escasa para las infantiles. El propósito de este trabajo es contribuir al conocimiento de las condiciones de salud de este grupo de la población barcelonesa durante algo más de la primera mitad del siglo XX, a partir del estudio de un conjunto de 9 estadísticas antropométricas publicadas entre 1900 y 1961. A través de una reconstrucción estadística, mediante el empleo de las Tablas de Crecimiento de la población infantil española elaboradas por M. Hernández, E Sánchez y B.Sobradillo en 1995, se han estandarizado las tallas y comparado los Indices de Masa Corporal calculados a partir de las medidas publicadas. Los principales resultados son: a) La presencia de diferentes pautas en las trayectorias seculares de crecimiento de niños y niñas. El crecimiento de las tallas entre los niños fue de 1,09 cm por decenio entre 1898 y 1945 y de 1,40 entre 1945 y 1961. Mientras que en el caso de las niñas entre 1898 y 1945 fue de 0,14 cm por decenio para aumentar a 2,18 entre 1945 y 1981. b) Las diferencias sociales en los indicadores antropométricos persisten a lo largo del periodo estudiado c) Los porcentajes de población infantil con probable malnutrición se situaron en torno al 24 por ciento para las generaciones nacidas entre 1885 y 1940, para ir descendiendo de forma irreversible en las nacidas a partir de 1950. De este modo en la década años setenta del siglo XX no parece existir evidencia de tal estado en la población infantil barcelonesa.

Caracterização do mel produzido por espécies de Melipona Illiger, 1806 (apidae: meliponini) da região nordeste do Brasil: 1. Características físico-químicas

Thirty three honey samples produced by four Melipona species from different areas of the State of Bahia, were analyzed with the aim to determine their physico-chemical characteristics, contributing to the establishment of standards for quality control. The majority of the average values for physico-chemical parameters fulfilled the quality criteria established by the Brazilian and international Legislations for Apis honey, except for moisture content, which afforded higher values. Concerning the high number of samples wich did not fit the limits for reducing sugars, it is necessary to define minimum values in order to characterize Melipona honeys, as well as criteria for use of diastasic activity.

Gutenberg 1898:13

Gutenberg-lehti ilmestyi vuosina 1893-1915. Se oli perustettu ammattilehdeksi ja yhdyssiteeksi Suomen kirjanpainajille sekä äänenkannattajaksi Suomen kirjaltajaliitolle.

Gutenberg 1898:14

Gutenberg-lehti ilmestyi vuosina 1893-1915. Se oli perustettu ammattilehdeksi ja yhdyssiteeksi Suomen kirjanpainajille sekä äänenkannattajaksi Suomen kirjaltajaliitolle.

Gutenberg 1898:15

Gutenberg-lehti ilmestyi vuosina 1893-1915. Se oli perustettu ammattilehdeksi ja yhdyssiteeksi Suomen kirjanpainajille sekä äänenkannattajaksi Suomen kirjaltajaliitolle.

Gutenberg 1898:16

Gutenberg-lehti ilmestyi vuosina 1893-1915. Se oli perustettu ammattilehdeksi ja yhdyssiteeksi Suomen kirjanpainajille sekä äänenkannattajaksi Suomen kirjaltajaliitolle.

Gutenberg 1898:17

Gutenberg-lehti ilmestyi vuosina 1893-1915. Se oli perustettu ammattilehdeksi ja yhdyssiteeksi Suomen kirjanpainajille sekä äänenkannattajaksi Suomen kirjaltajaliitolle.

Gutenberg 1898:18

Gutenberg-lehti ilmestyi vuosina 1893-1915. Se oli perustettu ammattilehdeksi ja yhdyssiteeksi Suomen kirjanpainajille sekä äänenkannattajaksi Suomen kirjaltajaliitolle.

Gutenberg 1898:19

Gutenberg-lehti ilmestyi vuosina 1893-1915. Se oli perustettu ammattilehdeksi ja yhdyssiteeksi Suomen kirjanpainajille sekä äänenkannattajaksi Suomen kirjaltajaliitolle.

Gutenberg 1898:20

Gutenberg-lehti ilmestyi vuosina 1893-1915. Se oli perustettu ammattilehdeksi ja yhdyssiteeksi Suomen kirjanpainajille sekä äänenkannattajaksi Suomen kirjaltajaliitolle.

Gutenberg 1898:21

Gutenberg-lehti ilmestyi vuosina 1893-1915. Se oli perustettu ammattilehdeksi ja yhdyssiteeksi Suomen kirjanpainajille sekä äänenkannattajaksi Suomen kirjaltajaliitolle.