On monochromatic linear recurrence sequences

In this paper we prove some van der Waerden type theorems for linear recurrence sequences. Under the assumption $a_{i-1}\leq a_{i}a_{s-1}$ ($i=2,\ldots,s$), we extend the results of G. Nyul and B. Rauf \cite{nyul} for sequences satisfying $x_i=a_1x_{i-s}+\ldots+a_sx_{i-1}$ ($i\geq s+1$), where $a_{1},\ldots,a_{s}$ are positive integers. Moreover, we solve completely the same problem for sequences satisfying the binary recurrence relation $x_i=ax_{i-1}-bx_{i-2}$ ($i\geq 3$) and x_1<x_2, where $a,b$ are positive integers with $a\geq b+1$

The Grave of the “Lady of Borjád” – a Late Neolithic Woman of High Status From Baranya County (Hungary)

A cikk két, egy ép és egy nagyrészt elpusztult, a késő neolitikus lengyeli kultúra idejére keltezhető sírt mutat be. A 2010-ben, a Baranya megyei Borjád határában egy mentőásatás keretében feltárt objektumok abba a nemrég azonosított típusba sorolhatók, melyeknek fő jellemzője a nagy, téglalap alakú sírgödör, melynek sarkaiba mélyedéseket vájtak. E sírok egy jelentős részére jellemző még a gazdag sírmelléklet is. Noha Baranya megyéből már több száz publikált lengyeli sírt ismerünk, az itt ismertetett típus eddig ismeretlen volt, és a baranyai sír a második, amely a típust ismertté tevő alsónyék-bátaszéki lelőhelyen kívül előkerült

New research of mass grave No. III at Mohács

In 2009, the Janus Pannonius Museum in Pécs renewed the archaeological research of the Battle of Mohács (1526) with outside partners (Bertók et al. 2020, 107–118). The goals of the initiative have been to identify the exact location of the historic clashes, reconstruct the chain of the related events, and conduct a scientific analysis of the final resting place of the soldiers who fell on the battlefield. We planned to complete the project by the upcoming 500th anniversary of the battle. In our hopes, this research has enabled an expansion of the current national memorial site where the remains of the heroes who sacrified their lives to protect their Hungarian homeland could finally be laid to rest. The project has provided us with a fitting opportunity to summarize previous work and present the findings of the archaeological excavations conducted in 2020–2021

A mohácsi III. számú tömegsír új kutatása

A pécsi Janus Pannonius Múzeum külső partnerek bevonásával 2009-től felújította az 1526-os mohácsi csata régészeti kutatását (ld. Bertók et al. 2020, 107–118) azzal a céllal, hogy az ütközet 500. évfordulójára megvalósulhasson a sorsdöntő eseménysor helyszínének pontos azonosítása, eseménysorának rekonstrukciója, és a csatában elhunyt katonák végső nyughelyének tudományos vizsgálata. E kutatás reményeink szerint lehetővé teszi azt is, hogy a nemzeti emlékhely kibővítése után a magyar hazáért végső áldozatot hozó hősöket végső nyughelyükre helyezzék. Mindez jó alkalmat jelent arra, hogy összefoglaljuk a legfontosabb korábbi kutatásokat és a 2020–21-ben végzett régészeti feltárás eredményeit

Blood Parasite Infection Intensity Covaries with Risk-Taking Personality in Male Carpetan Rock Lizards (Iberolacerta cyreni)

Identifying evolutionary and developmental mechanisms underlying consistent between-individual differences in behaviour is the main goal in 'animal personality studies'. Here, we explored whether activity and risk-taking varied consistently between individuals and correlated to various - potentially fitness linked - male traits in Carpetan rock lizards (Iberolacerta cyreni). Lizards showed significant consistency within both behaviours, implying the presence of activity and risk-taking personalities. However, there were no correlation between activity and risk-taking, neither on the between- nor on the within-individual levels, implying the absence of a behavioural syndrome. We found a strong link between the intensity of blood parasite (Haemogregarinidae) infection and risk-taking: lizards with higher infection intensity took more risk. While we cannot distinguish cause from causative in the parasite intensity - risk-taking correlation - our results are in line with the asset protection hypothesis predicting that individuals with lower future reproductive value should focus on the current reproductive event and take higher risk.László Zsolt Garamszegi received funds from the Spanish government within the frame of the “Plan Nacional” programme (ref. no. CGL2012- 38262 and CGL2012-40026-C02-01). Pilar López and José Martín were supported by the project MICIIN-CGL2011-24150/BOS.Peer Reviewe

Operációkutatási módszerek műszaki informatikai rendszerek analízisében és verifikációjában = Operation Research Methods for the Analysis and Verification of Information Technology Systems

Kidolgoztuk a Petri-hálók és produkciós hálók (PNS) egységes szemléletű leírását. Megfogalmaztuk az "optimális trajektória generálásának" problémáját Petri-hálós modellekre. A megoldásként kidolgozott és implementált algoritmus egyúttal temporális logikai követelményeket is vizsgál a modellen. Az algoritmust gyorsítottuk a PNS logikai bázisa fölötti kereséssel. A SPIN modellellenőrzőt magát használva egy másik megoldást is adtunk a problémára, valamint gráftranszformációs rendszerek optimalizálására. Megadtuk a lineáris korlátozási feltételekkel adott szeparábilis konkáv minimalizálási feladat egy elégséges optimalitási kritériumát, mely a Branch-and-Bound típusú algoritmusban használható fel megállási kritériumként. A magasszintű leírásokból a Petri-hálós modellbe történő transzformációkat matematikai alapokon definiáltuk, megvalósításukra automatikus modelltranszformációs megoldást dolgoztunk ki: egy algoritmust, amely GRM profillal adott modellből generálja a Petri-hálót, és egy általános algoritmust, amely UML modellekből származtat a diagnosztika alapjául szolgáló modelleket. Megvizsgáltuk ezen modellek illeszthetőségét a szabványokhoz. Multiprocesszoros rendszerek diagnosztizálására egy PNS technikákat használó algoritmust adtunk, melynek várható hatékonyságát igazoltuk. Munkálatok folytak a diagnosztika tesztalapú megközelítésére, és diagnosztikai modellek kísérletes paraméterezésére. Kísérleteket végeztünk az IBM Holosofx ipari workflow modellező eszköz illesztésére. | A unified treatment for Petri nets and process network (PNS) problems was defined. The 'optimal trajectory generation problem' for Petri nets was defined. Elaboration and implementation of an algorithm that is able not only to give the optimal trajectory but to verify temporal logic requirements for Petri nets. This algorithm was accelerated using Branch-and-Bound method over the logical basis of the feasible process networks. Another algorithm to solve the problem using only the SPIN model checker was elaborated. The optimization of graph transformation systems with time was solved based on the same technique. A sufficient optimality criteria was given for constrained, concave minimization problems. The precise mathematics of the model transformation from high-level models to Petri nets was defined, and automatic model transformations were carried out to realize these transformations: a transformation from UML models given by the GRM profile to Petri nets and a general algorithm that delivers models to diagnose from UML models. The conformancy of these models to standards was investigated. The probabilistic diagnosis problem in multiprocessor systems was solved using PNS techniques. The efficiency of the method was shown. There were efforts to elaborate a test-based approach of diagnostics, and to parameterize diagnostics models based on dependability experiments. Experiments were carried out to transform IBM Holosofx models to Petri nets

On monochromatic linear recurrence sequences

In this paper we prove some van der Waerden type theorems for linear recurrence sequences. Under the assumption $a_{i-1}\leq a_{i}a_{s-1}$ ($i=2,\ldots,s$), we extend results of G. Nyul and B. Rauf for sequences satisfying $x_i=a_1x_{i-s}+\cdots+a_sx_{i-1}$ ($i\geq s+1$), where $a_{1},\ldots,a_{s}$ are positive integers. Moreover, we solve completely the same problem for sequences satisfying the binary recurrence relation $x_i=ax_{i-1}-bx_{i-2}$ ($i\geq 3$) and $x_1<x_2$, where $a,b$ are positive integers with $a\geq b+1$

On monochromatic linear recurrence sequences

In this paper we prove some van der Waerden type theorems for linear recurrence sequences. Under the assumption $a_{i-1}\leq a_{i}a_{s-1}$ ($i=2,\ldots,s$), we extend the results of G. Nyul and B. Rauf \cite{nyul} for sequences satisfying $x_i=a_1x_{i-s}+\ldots+a_sx_{i-1}$ ($i\geq s+1$), where $a_{1},\ldots,a_{s}$ are positive integers. Moreover, we solve completely the same problem for sequences satisfying the binary recurrence relation $x_i=ax_{i-1}-bx_{i-2}$ ($i\geq 3$) and x_1<x_2, where $a,b$ are positive integers with $a\geq b+1$