NEW ALGORITHM FOR BEHAVIOURAL TEST GENERATION

Significant efforts of the test design community have addressed the development of high level test generation algorithms in the last decade. The main problem originates in the insufficiently low gate level fault coverage of test sets generated at the behavioural or functional levels due to oversimplifications which result from the application of highly abstract and technology-independent fault models. In this paper a novel behavioural level test generation algorithm is presented effectively utilizing information on the circuit structure, which is extracted from the high level synthesis process. Experimental results show that the gate level fault coverage of the test sets generated by the new algorithm is similar to those assured by the gate level test generation algorithms

A cirkadián óramű molekuláris jellemzése: Az oszcillátor fehérje Frequency kifejeződésének transzkripciós és poszttranszkripciós szinten történő szabályozása = Molecular characterization of the circadian clockwork: Regulation of the expression of the oscillator protein on the transcriptional and posttranscriptional level

Kutatási munkánk célja a cirkadián oszcillátor működését biztosító, illetve módosító faktorok megismerése és funkcionális jellemzése volt a Neurospora crassa modellorganizmusban. Eredményeink: 1. Létrehoztunk egy olyan számítógépes programot, amely a Neurospora crassa genomjában képes szekvencia-mintázatokat keresni. A cirkadián óra pozitív komponensének ismert kötőhelyeihez hasonló struktúrákat kerestünk és így azonosítottunk egy új, a cirkadián oszcillátor működését befolyásoló faktort, egy feltehetően RasGEF aktivitású fehérjét. 2. A cirkadián óra egyik pozitív komponensének, a White Collar-1 fehérjének a vizsgálata kapcsán azonosítottunk két, a fehérje foszforilációját és ezen keresztül működését alapvetően meghatározó fehérjerégiót. Az egyik régión belül szekvencia homológia alapján valószínűleg egy MAP kináz foszforilációs hely található. 3. Kimutattuk, hogy a VIVID nevű másodlagos fényreceptor a környezeti fényintenzitásra vonatkozó molekuláris memóriaként működik. A cirkadián óra pozitív faktorával kölcsönhatásba lépve gátolja annak fényfüggő aktiválódását és ezáltal természetes fényperiódusok mellett stabilizálja a cirkadián óra működését. 4. Eredményeink szerint a reaktív oxigén származékok (ROS) szintjének változása fontos tényezője a cirkadián óra szabályozásának. A ROS-szint a molekuláris oszcillátorra hat, emelkedése korábbra helyezi a fázist és rövidíti a periódust. A ROS szint változásának hatását valószínűleg a protein foszfatáz 2A közvetíti. | Aim of our work was to functionally characterize factors involved in the regulation of the circadian clockwork of the model organism Neurospora crassa. Our most important results are summarized below: 1. We designed a computer program that enables one to search the genome of Neurospora for special sequence patterns. By searching for possible binding sites of the positive factor of the Neurospora clock we found a gene coding for a putative RasGEF protein. Our observations on a RasGEF mutant suggest that this protein is a modulator of the molecular clockwork. 2. We characterized two regulatory regions of the White Collar-1 protein. Deletion of these regions alters the phosphorylation of the protein and results in severe circadian phenotypes. One of these regions is a putative binding site of the MAP kinase. 3. We showed that the VIVID protein acting as a molecular memory interacts with and inhibits the positive component of the circadian clock and thus stabilizes the circadian rhythm even in naturally ambiguous photoperiods. 4. We found that reactive oxygen species (ROS) are important factors controlling the circadian clock. Increased ROS production advances the phase and shortens the circadian period. We suggest that the effect of ROS on the molecular oscillator is mediated by the protein phosphatase 2A

CLASSIFICATION OF TIME SERIES VIA WAVELET SUBBAND ANALYSIS USING SUPPORT VECTOR MACHINE CLASSIFIER

An improved feature extraction method has been developed for classification and identification of time series, in case of the number of the experiments are considerably less than that of the samples in time series. The method based on the subband analysis of the wavelet transformation of the time signals, provides lower dimension feature vectors as well as much more robust kernel-based classifier than the traditional wavelet-based feature extraction method does. The application of this technique is illustrated by the classification of cerebral blood flow oscillation using support vector classifier with Gaussian kernel. The computations were carried out with Mathematica 5.1 and its Wavelet Application

Information system for road infrastructure booking

Booking of road infrastructure is a tool for management of ,,stresses´´ between traffic demand and available infrastructure capacity (supply). In this course entitlement to use of certain network elements (lane, zone, and parking lot) can be purchased. It can be applied at those network elements where traffic jams are generated regularly and travel time is unpredictable. Charges for use of infrastructure are proportional to the number of bookings. Its extent influences both travel mode and vehicle choice. ,,Intervention´´ in traffic flows is wanted, therefore its analysis and control require the use of knowledge in the following fields: transport network planning, traffic technology and transport informatics; in a system- and process-oriented approach. Model of this complex transport system has been built up; the operations are influenced by dynamic information

Pilot study of the SPRINT glycemic control protocol in a Hungarian medical intensive care unit.

Stress-induced hyperglycemia increases morbidity and mortality. Tight control can reduce mortality but has proven difficult to achieve. The SPRINT (Specialized Relative Insulin and Nutrition Tables) protocol is the only protocol that reduced both mortality and hypoglycemia by modulating both insulin and nutrition, but it has not been tested in independent hospitals. SPRINT was used for 12 adult intensive care unit patients (949 h) at Kálmán Pándy Hospital (Gyula, Hungary) as a clinical practice assessment. Insulin recommendations (0-6 U/h) were administered via constant infusion rather than bolus delivery. Nutrition was administered per local standard protocol, weaning parenteral to enteral nutrition, but was modulated per SPRINT recommendations. Measurement was every 1 to 2 h, per protocol. Glycemic performance is assessed by percentage of blood glucose (BG) measurements in glycemic bands for the cohort and per patient. Safety from hypoglycemia is assessed by numbers of patients with BG < 2.2 (severe) and %BG < 3.0 and < 4.0 mmol/liter (moderate and light). Clinical effort is assessed by measurements per day. Results are median (interquartile range). There were 742 measurements over 1088 h of control (16.4 measurements/day), which is similar to clinical SPRINT results (16.2/day). Per-patient hours of control were 65 (50-95) h. Initial per-patient BG was 10.5 (7.9-11.2) mmol/liter. All patients (100%) reached 6.1 mmol/liter. Cohort BG was 6.3 (5.5-7.5) mmol/liter, with 42.2%, 65.1% and 77.6% of BG in the 4.0-6.1, 4.0-7.0, and 4.0-8.0 mmol/liter bands. Per-patient, median percentage time in these bands was 40.2 (26.7-51.5)%, 62.5 (46.0-75.7)%, and 74.7 (61.6.8-87.8)%, respectively. No patients had BG < 2.2 mmol/liter, and the %BG < 4.0 mmol/liter was 1.9%. These results were achieved using 3.0 (3.0-5.0) U/h of insulin with 7.4 (4.4-10.2) g/h of dextrose administration (all sources) for the cohort. Per-patient median insulin administration was 3.0 (3.0-3.0) U/h and 7.1 (3.4-9.6) g/h dextrose. Higher carbohydrate nutrition formulas than were used in SPRINT are offset by slightly higher insulin administration in this study. The glycemic performance shows that using the SPRINT protocol to guide insulin infusions and nutrition administration provided very good glycemic control in initial pilot testing, with no severe hypoglycemia. The overall design of the protocol was able to be generalized with good compliance and outcomes across geographically distinct clinical units, patients, and clinical practice. © 2012 Diabetes Technology Society

Biztonságkritikus diagnosztikai célú informatikai rendszerek kutatása = Safety critical diagnostic systems

A kutatás az elfogadott projekt tervnek megfelelően több egymáshoz kapcsolódó résztémát ölelt fel. Az elért eredményeket röviden ismertetjük a Szakmai Beszámolóban, az eredmények részletes leírása a megadott publikációkban található. Az elért eredmények tükröződnek a megjelentetett közlemények nagy számában, valamint a résztvevő kutatók előrehaladásában a tudományos ranglétrán. Jelen OTKA projektben résztvevők közül ketten PhD minősítést szereztek (Szilágyi László és Kovács Levente), egy résztvevő (Somogyi Péter) PhD eljárása folyamatban van és várhatóan ebben az évben lezárul. További négy résztvevő fejezte be sikeresen PhD tanulmányait (Kovács Katalin, Heckenast Tamás, Fördös Gergely, Szlávecz Ákos) és szerzett abszolutóriumot, ők aktívan dolgoznak a disszertációjuk elkészítésén. Az OTKA projekt témájához kötődve több kutatási és kutatásfejlesztési program indult. Két programot említünk, melyek a "Diagnosztika foton emissziós felvételek alapján" végzett kutatások kapcsán indultak, ezek: - Multi-modalitású képalkotó-rendszer sorozatgyártásra történő kifejlesztése orvos-biológiai kutatás és humán orvos-diagnosztika céljára (PETCT_06) - Különböző modalitású orvosi diagnosztikai tomográfiás berendezésekbe építhető teraflop kapacitású képrekonstrukciós rendszer kifejlesztése (TERATOMO) Az OTKA kutatási projekt tehát nemcsak a publikációkban közzétett kutatási eredményeket tekintve, hanem további mérhető szempontokat is figyelembe véve sikeresen zárult. | The reported project included several subtopics according to the original project plan. The details of the achieved results are published in the papers listed in the project report. Both the high number of the publications and the improvements of the participating researchers in their scientific carrier reflect the project results. Two researchers (Szilágyi László és Kovács Levente) from the project team received PhD degree during this research project, another participant (Somogyi Péter) started his PhD graduation and four other researchers (Kovács Katalin, Heckenast Tamás, Fördös Gergely, Szlávecz Ákos) finished successfully her/his PhD study. The successful OTKA project also helped us to initiate further research and R&D projects. Two examples are: - Development of multimodality imaging system for serial production dedicated to biomedical research and human diagnostic imaging - Development of a teraflop capacity image reconstruction system for various medical tomography devices used for diagnosis. Thus this OTKA research project has been successfully completed regarding the scientific results and other achievements as well

Biológiai jelek információjának diagnosztikai célú kutatása rendszerelméleti megközelítéssel = System theory approach of the information of the biological signals for diagnostics

Kidolgoztunk egy új magzati fonokardiográfiás mérési és jelfeldolgozási módszert az FHR hosszú távú robusztus meghatározására. Létrehoztunk egy neurális hálzatokat alkalmazó légzési rendellenesség felismerő rendszert. Megalkottuk számos, a csecsemősírás jellemzésére szolgáló paraméter meghatározásának módszerét, és összehasonlítottuk több száz csecsemő sírását e paraméterek alapján. Több betegségcsoportnál jellemző eltéréseket tapasztaltunk. Neurolingvisztikai kutatásunk során megvalósítottunk egy lingvisztikai adatbázis-struktúrát és a hozzá tartozó adatbázis-kezelő segédprogramot. Nyelvi adatbázisunk struktúráját kiterjesztettük, valamint megvalósítottunk néhány új algoritmust, melyek lehetővé teszik a terápiás gyakorlatok során magasabb nyelvi modalitások felhasználását is. | We've worked out a novel vital phonocardiographic measurement ad signal processing method to determine robustly the longterm fetal heart rate (FHR). We'v created system to recognize respiration disorders containing a neural network. We developed new algorithms and methods in the analysis of the infant cry to check disorders during infancy. We analysed the crying sound from hundreds of infanst and found differences between healthy and unhealthy infants. In our neurolinguistic research we created a novel computer-aided training and rehabilitaion approach to the therapy of aphasia. The system helps to treat and overcome the most severe consequences of this language disorder. The developed system is embedded into a tele-rehabilitation framework, which offers a uniform interface for various telecare applications

Effectiveness of Parameters in Quantifying Root Canal Morphology Change after Instrumentation with the Aid of a Microcomputed Tomography

L