Teaching materials

Teaching materials - Announcements / Oktatási anyagok - Hirdetmények

Jegyzetek, segédletek, eredmények, tudnivalók, stb.

LABORREND - Tessék elolvasni és értelmezni!

≣ Operációs Rendszerek - BSc - CV


#!/bin/bash
# (c) k
if [ `hostname` = mybody ]
then
 TRMMCE=$(echo `grep -e TRM -e MCE /proc/interrupts | awk '{print $2}'`|tr " " +|bc)
 NMI=`grep NMI /proc/interrupts | awk '{print $2}'`
 while true
 do
# touch -a mouth nose 
  clear
  for t in `seq 1 10`
  do
   finger $t wash >/dev/null 2>&1
  done
  TRMMCEnew=`awk 'BEGIN{c=0} /TRM|MCE/{c+=$2} END{print c}' /proc/interrupts`
  if [ ${TRMMCEnew} -gt ${TRMMCE} ]; then
   NMInew=$(echo `grep NMI /proc/interrupts` | cut -d" " -f2)
   if test $NMInew -eq $NMI ; then
    apt-get -y install mask
   else
    NMI=$NMInew
   fi
   TRMMCE=$TRMMCEnew
  fi
  sleep 1800
# touch -am eyes
 done
fi



GEIAL302-B - Ütemterv 2018/2019 II. félév
GEIAL302-BL - Ütemterv 2018/2019 II. félév
GEIAL302-B - Követelmények 2018/2019 II. félév  ← Kötelező olvasmány!
GEIAL302-B/GEIAL302-BL - Operációs rendszerek bemelegítő
GEIAL302-B/GEIAL302-BL - I. OS fogalmak/struktúra - nyomtatni
Kivételek/megszakítások x86 architektúrán: Vol. 1. (2019 januári kiadás) - 6.4. (6-1. táblázat) és C.1. fejezetek: Intel® 64 and IA-32 Architectures Software Developer’s Manuals
GEIAL302-B/GEIAL302-BL - II. A processz - nyomtatni
GEIAL302-B/GEIAL302-BL - III. Inter-Process Communication - nyomtatni
Linux signal-jai: kernel forráskódjában: include/uapi/asm-generic/signal.h
Részletes leírás a manual 7-es fejezeteben signal kulcsszó alatt. ("man 7 signal")
GEIAL302-B/GEIAL302-BL - IV. Kölcsönös kizárás, holtpont - nyomtatni
GEIAL302-B/GEIAL302-BL - V. Memória kezelés - nyomtatni
GEIAL302-B/GEIAL302-BL - VI. I/O kezelés + Fájlrendszerek - nyomtatni
GEIAL302-B/GEIAL302-BL - Jegyzet
GEIAL302-B - Gyak I.
GEIAL302-B - Gyak II.
GEIAL302-B - Gyak III.
GEIAL302-B - Gyak IV.
GEIAL302-B - Gyak - Processzek
GEIAL302-B/BL - Gyak - IPC.
Tóth Alex segédletei

≣ Korszerű információs technológiák - BSc - 2019/2020 I.

GEIAL31G-B - Ütemterv
potZH eredmenyek
ZH eredmenyek
GEIAL31G-B - Fuzzy Logika, Megerősítéses tanulás
GEIAL31G-B - Szuperszámítógépek
GEIAL31G-B - AVX
GEIAL31G-B - AVX feladat
GEIAL31G-B - AVX feladat - Kep
GEIAL31G-B - Floating-point.c
GEIAL31G-B - VR+AR+MR
Intel Intrinsics Guide
Intel® 64 and IA-32 Architectures Software Developer Manuals

≣ UNIX rendszergazda - BSc - 2019/2020 I.

GEIAL30F-B - Ütemterv
GEIAL30F-B - I. - Bevezetés, UNIX/Linux koncepció, OS ismétlés
GEIAL30F-B - II. - Felhasználók kezelése, eszközök, fájlok, fájlrendszerek
GEIAL30F-B - III. - Fájlrendszerek
GEIAL30F-B - IV. - Fájlmegosztás a hálózaton
GEIAL30F-B - V. - Rendszerindítás és egyebek
GEIAL30F-B - VI. - Felhasználók/csoportok kezelése
GEIAL30F-B - VII. - X11

≣ Operációs Rendszerek és Hálózatok - MSc - Nappali - 2019/2020 I.

GEIAL501M - Ütemterv
GEIAL501M - I. - Adattárolás, szerverek, adatközpontok
GEIAL501M - II. - Szuperszámítógépek, Klaszterek
Tölgyesi László: Apollo az éghajlatkutatás szolgálatában
GEIAL501M - III. - Tároló halózatok (SAN)
GEIAL501M - IV. - Beágyazott rendszerek áttekintés
GEIAL501M - V. - RTOS
GEIAL501M - VI. - Számítógép hálózatok
GEIAL501M - VII. - Virtualizáció
GEIAL501M - VIII. - Modern fájlrendszerek
GEIAL501M - Gyak I. témakör - RAID
Book: Virtualization with Xen™ (accessible freely from the campus network)
InfiniBand áttekintés / InfiniBand overview
MEMOOC

≣ Operációs Rendszerek és Hálózatok - MSc - Info/Villamosmérnök - Levelező - 2019/2020 I.

GEIAL501ML - Ütemterv
GEIAL5011ML - Ütemterv
GEIAL501ML/GEIAL5011ML- Levelező csomag 2019
GEIAL501ML/GEIAL5011ML- Levelező csomag 2019 - Hálózatok
Book: Virtualization with Xen™ (accessible freely from the campus network)
MEMOOC

News

News / Hírek

≣ ASC17 - Wuxi + Shanghai, China
≣ Visit at Chuo University, Tokyo + K Computer, Kobe, Japan
≣ Team of the University of Miskolc @ ASC'17, Wuxi, Jiangsu, China
Visiting Sunway TaihuLight
≣ Team of the University of Miskolc @ ASC'16, Wuhan, Hubei, China
≣ Team of the University of Miskolc @ ASC'15, Taiyuan, Shanxi, China
≣ Team of the University of Miskolc @ ASC'14, Guangzhou, Guangdong, China
Visiting Tianhe-2


Thesis/project

Thesis/Project - Komplex feladat / Szakdolgozat / Diplomamunka / TDK

Tématerületek, amiket konzultálok

Ezekre a témákra várok lelkes érdeklődőket!
Konkrét témák iránt személyesen vagy e-mailben célszerű érdeklődni.
Előnyben részesülnek, akiknek van már valamilyen alapötletük, tervük, hogy mit is szeretnének. (Ajánlom mindenkinek az ezen való gondolkodást...)

FRIQ-learning mintapéldak készítése

Készíithető MATLAB vagy egyéb környezetben/programnyelven is (Python, C++, Java, stb.)
Az FRIQ-learning módszer lényege, hogy képes egy üres szabálybázisból kiindulva egy megfelelően definiált jutalomfüggvény alapján felépíteni a szükséges tudásbázist a rendszer működtetéséhez.
Tehát kezdeti tudás nélkül megoldani a problémát.
Egy lehetséges mintapéldában, adott egy lengő robotkar, ami önerőből nem képes függőleges álló helyzetbe kerülni. Ezért lendületet gyűjtve (balra-jobbra hintázva) kell elérnie ezt a pozíciót.
Hogy melyik helyzetben merre kell lengetni és mekkora erővel, azt a rendszer előre nem tudja, csak azt, hogy az a cél, hogy minél fentebb kerüljön a robotkar. Az FRIQ-learning algoritmus használatával kell megvalósítani, hogy feltérkepezze az ehhez szükséges tudást fuzzy szabályok formájában.
Ez a mintapélda már rendelkezésre áll diszkrét Q-learning alkalmazásával, a feladat ennek az átalakítása FRIQ-learning módszerre. A FRIQ-learning keretrendszer kódját rendelekzésre bocsájtom.


Egy másik mintapélda ehhez hasonló (aminek már elkészült a FRIQ-learning verziója), ahol is, egy volgyben levo kiskocsit kell kijuttatni a volgybol, de itt is az a problema, hogy nem eleg eros a motorja ahhoz, hogy felmenjen az emelkedon, ezert a volgyben ide-oda tolatva-gyorsitva lenduletet kell gyujtenie, hogy fel tudjon menni az emelkedon. A konkret teenedok felterkepezesehez, pedig FRIQ-learninget lehet hasznalni.


Ezekhez hasonló saját mintapélda ötleteket szívesen konzultálok!


Research

Research

My research areas include: Fuzzy Systems, Fuzzy Rule Interpolation, Reinforcement Learning, Operating Systems Security.


ResearchGate profile

Google Scholar profile

Scopus profile

MTMT profil

Dávid Vincze: Fuzzy rule interpolation and reinforcement learning
IEEE 15th International Symposium on Applied Machine Intelligence and Informatics (SAMI), 2017, Herlany, Slovakia, pp. 173-178.
IEEE Xplore paper

Vincze Dávid: Egy újszerű hozzáférés szabályozási módszer a Linux operációs rendszer kernelében
GÉP 5: pp. 103-106. (2012)

D. Vincze, Sz. Kovács, M. Gácsi, P. Korondi, Á. Miklósi, P. Baranyi: A Novel Application of the 3D VirCA Environment: Modeling a Standard Ethological Test of Dog-Human Interactions
Acta Polytechnica Hungarica, Journal of Applied Sciences, Vol. 9. No. 1., 2012, Óbuda University, Budapest, Hungary, pp. 107-120, ISSN 1785-8860
paper

Dávid Vincze, Szilveszter Kovács, Mihoko Niitsuma, Hideki Hashimoto, Péter Korondi, Márta Gácsi, Ádám Miklósi: Ethologically inspired human-robot interaction interfaces
HCCE '12 Proceedings of the 2012 Joint International Conference on Human-Centered Computer Environments, Hamamatsu, Japan, 2012. pp. 51-57. ISBN: 978-1-4503-1191-5
http://dl.acm.org/citation.cfm?id=2160761

Vincze, D., Kovacs, S., Korondi, P., Baranyi, P.: A simple interface to the Virtual Collaboration Arena for MATLAB applications
2011 IEEE 12th International Symposium on Computational Intelligence and Informatics (CINTI 2011), 21-22 Nov. 2011., Budapest, Hungary
IEEE Xplore

Sz. Kovács, M. Gácsi, D. Vincze, P. Korondi, Á. Miklósi: A novel, ethologically inspired HRI model implementation: Simulating dog-human attachment
The 2nd International Conference on Cognitive Infocommunications (CogInfoCom2011), Budapest, Hungary, July 7-9, 2011.

B. Kovács, G. Száyer, P. Korondi, M. Gácsi, Á. Miklósi, Sz. Kovács, D. Vincze: Ethologically Inspired Robot Design
The 2nd International Conference on Cognitive Infocommunications (CogInfoCom2011), Budapest, Hungary, July 7-9, 2011.

Dávid Vincze, Szilveszter Kovács: Performance Optimization of the Fuzzy Rule Interpolation Method 'FIVE'
Journal of Advanced Computational Intelligence and Intelligent Informatics (JACIII), Vol.15 No.3, Special issue on Fuzzy Rule Interpolation, 2011, Fuji Technology Press, Tokyo, Japan, pp. 313-320. , ISSN 1343-0130 http://www.fujipress.jp/JACIII/JACII00150003.html#no_150301
paper

Szilveszter Kovacs, David Vincze, Marta Gacsi, Adam Miklosi and Peter Korondi: Ethologically Inspired Robot Behavior Implementation
4th International Conference on Human System Interaction (HSI 2011), May 19-21, 2011, Keio University, Yokohama, Japan, pp. 64-69, DOI: 10.1109/HSI.2011.5937344
IEEE Xplore

Dávid Vincze and Szilveszter Kovács: Incremental Rule Base Creation with Fuzzy Rule Interpolation-Based Q-Learning
Studies in Computational Intelligence - Computational Intelligence in Engineering, 2010, Volume 313/2010, pp. 191-203, DOI: 10.1007/978-3-642-15220-7_16
http://www.springerlink.com/content/5j876382r0143255/

Kovacs, S.; Vincze, D.; Gacsi, M.; Miklosi, A.; Korondi, P.: Fuzzy automaton based Human-Robot Interaction
Proceedings of the 8th IEEE International Symposium on Applied Machine Intelligence and Informatics (SAMI), 28-30 Jan. 2010, pp. 165-169, Herlany, Slovakia, ISBN: 978-1-4244-6422-7
IEEE Xplore

Dávid Vincze, Szilveszter Kovács: Extending Fuzzy Q-learning with Fuzzy Rule Interpolation Method "FIVE"
Scientific Bulletin of "Politehnica" University of Timisoara, Romania, Transactions on Automatic Control and Computer Science, vol. 54(68) No. 4 / 2009, pp. 173-178. ISSN 1224-600X .

Dávid Vincze, Szilveszter Kovács: Reduced Rule Base in Fuzzy Rule Interpolation-based Q-learning
Proceedings of the 10th International Symposium of Hungarian Researchers on Computational Intelligence and Informatics, CINTI 2009, November 12-14, 2009, Budapest Tech, Budapest, pp. 533-544.

Szilveszter Kovács, Dávid Vincze, Márta Gácsi, Ádám Miklósi, Péter Korondi: Interpolation based Fuzzy Automaton for Human-Robot Interaction
Proceedings of SYROCO2009, 9th IFAC Symposium on Robot Control, Nagaragawa Convention Center, Gifu, Japan, September 9-12, 2009
http://www.ifac-papersonline.net/Detailed/45621.html

Dávid Vincze, Szilveszter Kovács: Fuzzy Rule Interpolation-based Q-learning
CIIS2009, first workshop on Computational Intelligence in Information Science, Miskolc, Hungary, May 25-26, 2009 as part of: SACI 2009 5th International Symposium on Applied Computational Intelligence and Informatics May 28-29, 2009, Timisoara, Romania, pp. 55-59.
paper IEEE Xplore

Vincze Dávid :Az Apache webszerver biztonsági és egyéb kiegészítései
NETWORKSHOP 2009, Szegedi Tudományegyetem, 2009. Április 15-17., Szeged

Dávid Vincze, Szilveszter Kovács: Using Fuzzy Rule Interpolation-based Automata for Controlling Navigation and Collision Avoidance Behaviour of a Robot
Proceedings of the IEEE 6th International Conference on Computational Cybernetics November 27-29, 2008, Stara Lesná, Slovakia, pp. 79-84.
paper IEEE Xplore

Linux

My Linux projects

Securing the script execution mechanism of the Apache HTTPD webserver | Linux/ppc64 on IBM pSeries (RS/6000) systems | v4l2 driver for Mirage VisualTVpro TC-07 TV tuner cards | Video Filters for MPlayer | Cricket

Security related and other extensions of the Apache HTTPD webserver (my MSc thesis)

New system calls in the Linux kernel (part of my MSc thesis)

Linux/ppc64 on IBM pSeries (RS/6000, also called "System p" nowadays) systems

Debian cd image for ppc64 pSeries
Boots ok, can be installed, some things has to be done manually right now, like installing bootloader and kernel. This is the Woody PPC CD with some modifications, changed kernel and modules, and made bootable on pSeries systems. Although the CD is Woody, I prefer using Sarge on these machines. I encountered some problems with Woody, for example, libraries are outdated for some special apps from IBM, some binaries exited with 'Illegal instruction', maybe because of bad optimization or buggy compiler.
This is just the first cd, you need this to boot, for the remaining CDs the offical PPC CD images will do, get them from the mirror closest to you.

Download the modified cd image: ftp://ftp.iit.uni-miskolc.hu/pub/linux/debian-3.0r2-ppc64-unofficial-v1.iso

Debian 'testing' installer beta 4
Download the modified cd image: ftp://ftp.iit.uni-miskolc.hu/pub/linux/d-i-beta4-ppc64-unofficial-v1.iso

Knoppix for pSeries
I'm working hard on making Knoppix-PPC usable on ppc64 pSeries machines.
Status: still hacking ramdisk, it'll work soon, i just need some time.
Download: not available yet.

I see no point in continuing these projects, because nowadays many better solutions exist for example see Gentoo PPC64.

Documentation: Linux/ppc64 on pSeries
Only in hungarian: LinuxPPC64.pdf

v4l2 driver for Mirage VisualTVpro TC-07 TV tuner cards (SAA7146+SAA7111 based)

This pctv card is based on the following components connected via I2C:
Philips SAA7146A PCI Multimedia bridge
Philips SAA7111A Video decoder (digitizer if you like)
Philips TDA8425 Audio controller
Temic 4002 FH5 Tuner

Separate drivers exist for all the components, I just had to put it together, and make it work. SAA7146+SAA7111 works like a charm with Michael Hunold's drivers: http://www.gdv.uni-hannover.de/~hunold1/linux/saa7146/index.html
Driver for the Temic tuner is also ok since lots of other cards use it, works perfectly with the tuner module (tuner type 5). TDA8425 generally work with the tvaudio module, but some modifications were necessary for correct operation. The MXB card is very similar to this card, so I started to play around with the mxb module, changed the init the sequence, tuner type, made some card specific modifications, removed the audio chip related code, and written it for the TDA8425 (datasheet: TDA8425_CNV_2.pdf ).
For 2.4 kernels: first apply this kernel patch for 2.4.26 (tvaudio). Configure, compile and boot it.
Next, get the dvb-kernel source from the site mentioned above, and apply this patch against it. Then compile, load 'mirage' module, launch xawtv.
For 2.6 kernels: dvb-kernel modules are included in 2.6, so you only need to apply my patch, and compile the kernel with the driver. Patch for 2.6.5 here: soon

I will continue this project for newer kernels soon :)

Video Filters for MPlayer

There's no need to introduce MPlayer, everybody knows MPlayer, but in case you don't, see http://www.mplayerhq.hu/. I wrote some video filters I needed for special reasons, they're the following:

Cricket

Cricket is an universal monitoring tool, more info can be found here: http://cricket.sourceforge.net/.
I wrote sample configs and scripts for some specific devices, which can be used with cricket:

Contact

Contact

Dávid Vincze, PhD
Department of Information Science
University of Miskolc
H-3515, Miskolc-Egyetemváros, Hungary

Phone: +36-46-565-111 #1758
"Informatics building", 1st floor, room 107/B

david.vincze at iit.uni-miskolc.hu

Kapcsolat

Dr. Vincze Dávid
Általános Informatikai Intézeti Tanszék
Miskolci Egyetem
3515, Miskolc-Egyetemváros

Tel.: (46) 565-111 #1758
Informatikai épület, I. em., 107/B szoba

vincze.david at iit.uni-miskolc.hu