university of east sarajevo mathematical society of the ... file2 pocasni odbor konferencije...
TRANSCRIPT
University of East Sarajevo
Mathematical Society of the Republic of Srpska
4th MATHEMATICAL CONFERENCEOF THE REPUBLIC OF SRPSKA
BOOK OF ABSTRACTS
Trebinje, 06-07 June 2014
Trebinje, 2014
2
POCASNI ODBOR KONFERENCIJEHONORARY CONFERENCE COMMITTEE
1. Prof. dr Mitar Novakovic, rektor Univerziteta u Istocnom Sarajevu
2. Prof. dr Jasmin Komic, ministar nauke i tehnologije Republike Srpske
3. Akademik Dragoljub Mirjanic, sekretar ANURS
4. Prof. dr Rade Ivankovic, predsjednik upravnog odbora UIS-a
5. Prof. dr Stevan Trbojevic, prorektor za istrazivanje, nauku i razvojUIS-a
6. Prof. dr Radoslav Grujic, prorektor za nastavu i studentska pitanjaUIS-a
7. Prof. dr Dejan Bokonjic, prorektor za medunarodnu i meduuniverzitetskusaradnju i osiguranje kvaliteta UIS-a
8. Prof. dr Milanka Babic, dekan, Filozofski fakultet Pale
9. Mr Vinko Bogdan, pomocnik ministra nauke i tehnologije RepublikeSrpske
10. Prof. dr Zana Kovijanic-Vukicevic, dekan, Prirodno-matematicki fakul-tet Podgorica
11. Prof. dr Miodrag Mateljevic, dekan, Matematicki fakultet Beograd
12. Prof. dr Alija Mandak, dekan, Uciteljski fakultet Leposavic
NAUCNI ODBOR KONFERENCIJECONFERENCE SCIENTIFIC COMMITTEE
1. Prof. dr Milenko Pikula, Filozofski fakultet Pale, predsjednik
2. Akademik Stevan Pilipovic, Prirodno-matematicki fakultet Novi Sad
3. Akademik Svjetlana Terzic, Prirodno-matematicki fakultet Podgorica
4. Akademik Milojica Jacimovic, Prirodno-matematicki fakultet Podgor-ica
5. Akademik Mirjana Vukovic, Prirodno-matematicki fakultet Sarajevo
6. Prof. dr Zoran Markovic, Srpska akademija nauka i umjetnosti, SANU
3
7. Prof. dr Miodrag Spalevic, Masinski fakultet Beograd
8. Prof. dr Aleksandar Pecencov, Lomonosov Moscow State University
9. Prof. dr Predrag Stanisic, Prirodno-matematicki fakultet Podgorica
10. Prof. dr Dusan Pagon, Univerzitet u Mariboru
11. Prof. dr Zarko Mijajlovic, Matematicki fakultet Beograd
12. Prof. dr Zoran Kadelburg, Matematicki fakultet Beograd
13. Prof. dr Aleksandar Lipkovski, Matematicki fakultet Beograd
14. Prof. dr Zarko Pavicevic, Prirodno-matematicki fakultet Podgorica
15. Prof. dr Slobodan Vujosevic, Prirodno-matematicki fakultet Podgor-ica
16. Prof. dr Ljubisa Kocinac, Prirodno-matematicki fakultet Nis
17. Prof. dr Vidan Govedarica, Elektrotehnicki fakultet Istocno Sarajevo
18. Prof. dr Milos Tomic, Tehnoloski fakultet Zvornik
19. Doc. dr Dusan Jokanovic, Falultet za proizvodnju i menadzment Tre-binje
20. Mr Biljana Vojvodic, Ministarstvo nauke i tehnologije u Vladi Repub-like Srpske
21. Prof. dr Zorica Stanimirovic, Matematicki fakultet Beograd
22. Prof. dr Hranislav Milosevic, Prirodno-matematicki fakultet u KosovskojMitrovici
23. Prof. dr Dragic Bankovic, Prirodno-matematicki fakultet Kragujevac
24. Prof. dr Radoje Scepanovic, Prirodno-matematicki fakultet Podgorica
25. Prof. dr Vladimir Jovanovic, Prirodno-matematicki fakultet BanjaLuka
4
ORGANIZACIONI ODBOR KONFERENCIJECONFERENCE ORGANIZING COMMITTEE
1. Prof. dr Radoje Scepanovic, Prirodno-matematicki fakultet Podgor-ica, predsjednik
2. Prof. dr Nebojsa Elez, Filozofski fakultet Pale
3. Prof. dr Huse Fatkic, Elektrotehnicki fakultet Sarajevo
4. Prof. dr Vidan Govedarica, Elektrotehnicki fakultet Istocno Sarajevo
5. Prof. dr Sefket Arslanagic, Prirodno-matematicki fakultet Sarajevo
6. Doc. dr Vladimir Bozovic, Prirodno-matematicki fakultet Podgorica
7. Prof. dr Milorad Banjanin, Filozofski fakultet Pale
8. Doc. dr Vladimir Vladicic, Filozofski fakultet Pale
9. Dr -Dorde Baralic, Srpska akademija nauka i umjetnosti, SANU
10. Mr Sanja Spuzevic, Fakultet prirodnoslovno-matematickih i odgojnihznanosti Sveucilista u Mostaru
11. Mr Darko Drakulic, Filozofski fakultet Pale
12. Mr Natasa Pavlovic, Elektrotehnicki fakultet Istocno Sarajevo
13. Mr Valentina Konjokrad, Filozofski fakultet Pale
14. Mr Marko Citic, Filozofski fakultet Pale
15. Jana Maric, Fakultet prirodnoslovno-matematickih i odgojnih znanostiSveucilista u Mostaru
16. Marina Zirojevic, Fakultet za proizvodnju i menadzment Trebinje
17. Rade Cuk, studentska organizacija Fakulteta za proizvodnju i menadzmentTrebinje
5
PROGRAM RADA KONFERENCIJE
Petak, 6. juni 2014. godine
11:00-14:00 - Registracija ucesnika u holu Fakulteta za proizvodnju imenadzment Trebinje
14:00 - Otvaranje konferencije i promocija Zbornika sa Trece matematickekonferencije
Republike Srpske
PLENARNA SJEDNICA
Radno predsjednistvo
prof. dr Miodrag Mateljevic, prof. dr Radoje Scepanovic, doc. dr DejanBokonjic, doc. dr Dusan Jokanovic
PLENARNO PREDAVANJE
15:00 - PROFESOR LOTHAR REICHEL, UNIVERZITET UKENTU - NETWORK ANALYSIS VIA PARTIAL SPECTRAL
FACTORIZATION AND GAUSS QUADRATURE
16:00 - Koktel u holu Fakulteta za proizvodnju i menadzment Trebinje
17:00-20:00 - Rad po sekcijama
21:00 - Svecana vecera (hotel Leotar)
Subota, 7. juni 2014. godine
08:30-12:00 - Rad po sekcijama
12:30 - Zavrsna plenarna sjednica
ZAVRSNA RIJEC
13:00 - Posjeta Hercegovackoj Gracanici
7
CONFERENCE PROGRAMME
THE 1stCONFERENCE DAY, 06 June 2014
11:00-14:00 - Registration for the conference in the foyer of theProduction and Management Faculty Trebinje
14:00 - Opening ceremony and promotion of the Proceedings of the ThirdMathematical Conferenceof the Republic of Srpska
PLENARY SESSION
Presiding Panel Members
Full Professor Miodrag Mateljevc, Full Professor Radoje Scepanovic,Assistant Professor Dejan Bokonjic, Assistant Professor Dusan Jokanovic
PLENARY LECTURE
15:00 - PROFESSOR LOTHAR REICHEL, KENT STATEUNIVERSITY - NETWORK ANALYSIS VIA PARTIAL SPECTRAL
FACTORIZATION AND GAUSS QUADRATURE
16:00 - Cocktail (Foyer of the Production and Management FacultyTrebinje)
17:00-20:00 - Work in sections
21:00 - Conference Dinner (Hotel Leotar)
THE 2nd CONFERENCE DAY, 07 June 2014
08:30-12:00 - Work in sections
12:30 - Final plenary session
CLOSING REMARKS
13:00 - Excursion - A Visit to Hercegovacka Gracanica Ortodox Church
8
SECTION FOR ALGEBRA AND GEOMETRY
Friday, 6 June 2014
17:00 - Production and Management Faculty
Chair: dr -Dorde Baralic
Secretary: Darko Drakulic
Zarko Mijajlovic - Projection Calculus
Zoran Rakic - Duality Principle and Osserman Condition
Dusko Jojic - Some Complexes of Non-Crossing Diagonals of a Polygon
Zoran Petric - Segalovi simplicijalni prostori
Ioana-Claudia Lazar - The Combinatorial Structure of Finite SimplicialComplexes of Nonpositive Curvature
-Dorde Baralic, Vladimir Grujic - Osobine kvazitorusnih mnogostrukostinad poligonima
Biljana Vujosevic - Sistemi inkluzija Hilbertovih modula
Predrag Tanovic - O invarijantama u strukturama prvog reda
Slavko Moconja - On Quasiminimal Groups
Dejan Ilic - O razlaganju linearno uredenih struktura
Vladimir Dragovic, Katarina Kukic - Diskriminantno separabilnipolinomi i kvad-jednacine
9
SECTION FOR ALGEBRA AND GEOMETRY
Saturday, 7 June 2014
08:30 - Production and Management Faculty
Chair: dr Zoran Petric
Secretary: Jelena Radovic
Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic - Verovatnosnelogike
Nenad Stojanovic, Vidan Govedarica - Parketiranje ravni polupravilnimpoligonima
Nedzad Dukic, Ilija Lalovic - Fuzzy viseznacne zavisnosti i fuzzy formuleu fuzzy modelu
Emil Ilic-Georgijevic - A note on the Jacobson radical of a graded ring
Nela Milosevic, Zoran Petrovic - Homology of Ideal Zero-DivisorComplex of Laurent type
Dusan Jokanovic - Some Properties of Semicommutative Rings
Jelena Colic-Oravec, Jovanka Pantovic - On Some Classes of MaximalClones of Incompletely Specified Operationsa
Milovan Vincic - Minimalni varijeteti involutivnih prstena
Jelena Radovic - Fourier transforms on finite inverse semigroups
10
SECTION FOR ANALYSIS
Friday, 6 June 2014
17:00 - Production and Management Faculty
Chair: dr Milenko Pikula
Secretary: Natasa Pavloviv
Miodrag Mateljevic - Distortion of Quasiregular Mappings and EquivalentNorms on Lipschitz-type Space
Milenko Pikula, Ismet Kalco - Osobine karakteristicne funkcije granicnogzadatka operatora L sa linearnim kasnjenjem
Zoran Mitrovic - The Remarks on Best and Coupled BestApproximations
Milenko Pikula, Dragana Nedic, Vladimir Vladicic, Olivera Markovic -Odnos asimtotike karakteristicne funkcije i asimptotike njenih nula zaklasicni operator tipa Sturm-Liuvila
Vesna Misic, Ivan Arandelovic - On a Fixed Point Theorem of Rezapourand Hamlbarani
Vladimir Vladicic, Nebojsa Elez - Inequalities and Rapidly VaryingFunctions
M. Pikula, E. Catrnja, E. Jakupovic, A. Saric - Konstrukcija vektorskefunkcije −→w = (q, α) pomocu dva data niza sopstvenih vrijednosti
Jelena Vujakovic - Weakly Compatible Mappings in Menger Spaces andFixed Point Results
11
SECTION FOR ANALYSIS
Saturday, 7 June 2014
08:30 - Production and Management Faculty
Chair: dr Hranislav Milosevic
Secretary: Natasa Pavlovic
Miljan Knezevic - Bi-Lipschitz Properties of Harmonic QuasiconformalMappings
Fikret Vajzovic, Amina Sahovic, Sead Peco - Ergodicke teoreme zakosinusne operatorske funkcije
Elmir Catrnja, Milenko Pikula - Rjesavanje Sturm-Liouvilovog problemasa konstantnim kasnjenjem metodom upucavanja
Ivan Arandelovic, Hranislav Milosevic, Dojcin Petkovic - Konvergencijaracionalnih funkcija sa primenom na neke od klasa funkcija
Jelena Katic, Jovana -Duretic, Darko Milinkovic - Hofer’s geometry forLagrangian submanifolds and Hamiltonian diffeomorphisms
Jovana -Duretic - Piunikhin-Salamon-Schwarz isomorphisms andsymplectic invariants obtained using cobordisms of moduli spaces
Milenko Pikula, Biljana Vojvodic, Natasa Pavlovic - Prvi regularizovanitrag granicnog zadatka tipa Sturm-Liuvila sa dva konstantna kasnjenja
Branko Saric, Esad Jakupovic - Totalization of the Riemann Integral
Sefket Arslanagic - Znacaj metode pomocne nejednakosti za dokazivanjeraznih nejednakosti
12
SECTION FOR APPLIED MATHEMATICS
Friday, 6 June 2014
17:00 - Production and Management Faculty
Chair: dr Miodrag Spalevic
Secretary: Goran Popivoda
Bernardo de la Calle Ysern - Modified Gauss-Kronrod Quadratures
Milan Tuba - Swarm Intelligence Algorithms for JPEG QuantizationTable Selection
Aleksandar Pejcev, Miodrag Spalevic - Quadrature Formulas for theFourier-Chebyshev Coefficients
Miodrag Spalevic - Ocene gresaka Gaus-Turanovih kvadratura
Miroslav Pranic - Rational Gauss Quadrature
Gradimir V. Milovanovic - Nonstandard Quadratures of Gaussian Type
Zana Kovijanic-Vukicevic, Goran Popivoda, Vladimir Bozovic - Extremalvalues of certain topological indices over some special classes of graphs
Stevan Scepanovic, Marko Grebovic - Matematicka analizapoboljsanja energetske efikasnosti automatizacijom sistemapotrosnje energije i optimizovanjem troskova gradnje
Hranislav Milosevic, Sonia A. Beisel and Alexandar D. Rychkov -Modeling of Tsunami Run up Using of Large Particles of Shallow WaterTheory on the Shore Area
Bogdana Stanojevic, Milan Stanojevic - Generation of the non-dominatedset for bi-objective linear fractional programs - Conjectural conclusions
Ivana Kuzmanovic, Zoran Tomljanovic, Ninoslav Truhar - Lyapunov andT-Lyapunov Equations with some Applications in Mechanics
Silvia Gilezan, Jelena Ivetic, Pierre Lescanne, Silvia Likavec - SomeAdvantages of the Lambda Calculi with Resourse Control
Huse Fatkic, Mehmed Brkic, Berina Fatkic - On Measurability-preservingWeakly Mixing Transformation
13
Nebojsa Ralevic, Sanja Dukic, Danijela Karaklic - Rastojanja izmeu faziobjekata
Sandra Buhmiler - Jedan algoritam za formiranje i resavanje granicnogsistema za singularne probleme”
Zeljko Przulj, Zoran Ljuboje, Zoran Ivic - Solitonski model energije inaelektrisanja u molekulskim lancima
14
SECTION FOR APPLIED MATHEMATICS
Saturday, 7 June 2014
08:30 - Production and Management Faculty
Chair: dr Vidan Govedarica
Secretary: Tamara Bojicic
Marija Stanic - An Optimal set of Quadrature Rules for TrigonometricPolynomials
Dragan Vidakovic, Dusko Parezanovic - Point Multiplication on ElipticCurves Over Fp
Vidan Govedarica, Tatjana Mirkovic - Neke jednakosti i nejednakostisopstvenih vrednosti grafova
Aleksandar Takaci, Miroslav Maric, Darko Drakulic - Primena razlicitihkonormi u modelovanju fazi lokacijskih problema
Nebojsa Ralevic, Marko Janev, Danilo Rapaic - Fazi regresija
Dalibor Cevizovic, Zeljko Przulj, Zoran Ivic - Primena varijacionogmetoda na odredivanje statisticki najpovoljnijih kvantnih stanjaeksitacija kod proteinskih makromolekularnih lanaca
Zoran Ljuboje, Zeljko Przulj, Ognjen Bjelica - Primjena numerickihmetoda pri rjesavanju nekih problema u fotorefraktivnoj optici
Tamara Bojicic, Vesna Popovic-Bugarin - Uticaj perioda aktivacijeuredaja na upravljanje opterecenjem elektrodistributivne mrezeprimjenom razlicitih kriterijuma minimizacije
Nebojsa Nikolic, Dragana Makajic-Nikolic - Connection Between MetricDimension of Hypercube and Coin Weighing Problem
Dragan Matic, Vladimir Filipovic, Jozef Kratica - Pregled metoda zarjesavanje problema maksimalno balansirane povezane particije u grafu
Milan Dotlic, Mladen Ignjatovic, Mladen Ignjatovic - Numerical Solutionsto Love’s Integral Equation
Radoslav Milosevic - Kvantifikatori ogranicenog dometa
15
Dusan Jokanovic, Mirsada -Dezic, Marina Zirojevic - A note toCantor-Zassenhaus Algorithm
Petar Mandic, Mihailo Lazarevic, Tomislav Sekara - An Algorithm forStabilization of Lineaar Control Systems Using Fractional Ordered PIDControllers
Vladan Mastilovic, Milorad Banjanin - WEB servisi u MD reinzenjeringuinformacionih sistema
16
SECTION FOR HISTORY, PHILOSOPHY ANDMATHEMATICS TEACHING
Friday, 6 June 2014
17:00 - Production and Management Faculty, Room 2
Chair: dr Vesna Jevremovic
Secretary: Marina Zirojevic
Mirko Radic - Geogebra and Patterns of Variation
Radoje Scepanovic - Primjeri linearnih preslikavanja i jednacina u nastavisrednje skole
Vesna Jevremovic - Kombinatorika - zivot i matematika
Milenko Pikula, Jelena Bozalo - Slobode i ogranicenja ucitelja urealizaciji nastavi matematike
Dragana Matic, Milisav Knezevic, Dragan Matic - Modernizacijanastavnih planova i programa iz matematike za srednje strucne skole uRepublici Srpskoj
Aleksandar M. Nikolic - Institucionalni razvoj matematike u Srbiji doVelikog rata
Spasoje Mucibabic, Dragan Vukmirovic, Milan Martic -Matematicko-statistickim metodama i vojnostrategijskom analizom doistine o sarajevskom atentatu i pocetku Prvog svetskog rata
Vladimir Drekalovic - Historical Development of the OntologicalArgument – Philosphical and Mathematical Aspects
Jasmina Milinkovic - O teoriji i praksi postavljanja problema u nastavimatematike
Gordana Lastovicka-Medin - Assessing of Children’s Thinking
Sanja Maricic, Krstivoje Spijunovic - Metodika pocetne nastavematematike-izazovi i perspektive
Milorad Sukovic, Zoran Lovren - Resenje nije samo rezultat
Dejic Mirko, Ivana Jovanovic - Teorijske osnove resavanja problemskihzadataka u pocetnoj nastavi matematike
17
Aleksandra Stankovic - Internet i drutvene mreze izmedu zloupotrebe islobode
Karmelita Pjanic, Sanela Nesimovic - Identifikacija i klasifikacijageometrijskih oblika uocenih na fotografijama realnih objekata - slucajstudenata razredne nastave
Alma Sehanovic, Dragana Kovacevic - Pravila djeljivosti
Jasmina Milinkovic - Funkcije igre u nastavi matematike
Aleksandra Mihajlovic - Postavljanje problema u pocetnoj nastavimatematike
Mico Miletic - Tipicne greske ucenika (Jedan pogled na znanjematematike kod kod ucenika osnovinih i srednjih skola)
Gordana Maksimovic - Primjena slobodnog softvera u nastavi webdizajna i programiranja
18
SECTION FOR HISTORY, PHILOSOPHY ANDMATHEMATICS TEACHING
Saturday, 7 June 2014
08:30 - Production and Management Faculty
Chair: dr Radoje Scepanovic
Secretary: Marina Zirojevic
Slobodan Vujosevic - Noncomputability, Mind and Physics
Gordana Lastovicka-Medin - Experiential education: Multi-sensoryapproach and Linking the Abstract to the Concrete
Ivan Budimir - Zenonov paradoks o Ahileju i kornjaci i beskonacnost
Dragica Milinkovic - Modelovanje jednacina u mladim razredima osnovneskole
Darko Drakulic, Milorad Banjanin, Milenko Pikula, Vladimir Vladicic -Interaktivni udzbenici iz matematike u Republici Srpskoj
Ljubica Dikovic - Jacanje intuitivnog usvajanja pojmova-limes ineprekidnost
Branislav Popovic, Radojko Damjanovic - Konkretno i apstraktno -matematicke reprezentacije i razvoj kognicije kod ucenika
Radoslav Milosevic - Neki noviji filozofski pravci u matematici
Mirko Dejic - Koreni i svedocanstva slovenske (srpske) numeracije
Savo Cebic - Sta to bese ugao?
Marina Zubac - Grupni oblik rada u nastavi matematike
Sefket Arslanagic - Doprinos matematike razvoju licnosti
Milan Zivanovic, Jelena Stojkanovic - Nastava statistike u srednjoj skoli imjerenje frekfencije saobracaja
Dragica Milinkovic - Kompetencije studenata uciteljskog studija zamatematicko modelovanje
Ivica Boljat - Usporedba ALICE, NXT-G LEGOMINDSTORMS-a ipseudo-koda u poucavanju programiranja pocetnika
19
Ivica Luketin - Incorporating the Structure and Materials from InovativeMooc into Traditional Physics Didactics Seminar Based on ScentificArgumentation
Tatjana Bajic - Informatika i racunarstvo za strukovne vaspitaceplaniranje i interpretacija nastavnih sadrzaja
Vladimir Saso - Slobodan pristup Internetu i nastava Informacionihtehnologija
Gordana -Dordevic - Unapredenje nastavnih procesa primenominformacionih tehnologija
Bernandin F. Ibrahimovic - Pitagorine trojke
Petar Vuca - Nastava fizike u konteksu promena u obrazovanju
Milorad Banjanin - Globalne racunarske mreze i tehnologije pretrazivanja
20
SECTION FOR PROBABILITY AND STATISTICS
Friday, 6 June 2014
17:00-18:30 - Production and Management Faculty
Chair: dr Huse Fatkic
Secretary: Hana Fatkic
Halima Elfaghihe, Kristina Veljkovic, Vesna Jevremovic - OptimalProcess Calibration for Some Examples of Non-symmetric Loss Functions
Slavica Medic, Tatjana Grbic - Chebyshev type Inequalities based ong-integrals
Huse Fatkic, Slobodan Sekulovic, Hana Fatkic - On Harmonic MeanValues and Weakly Mixing Transformations
Kristina Veljkovic - The X Bar Control Chart for Non-Normal SymmetricDistribution of Quality Characteristic
Tijana Levajkovic - Propagator Method for Malliavin-Type Equations
Jelena Stanojevic - Intervalno ocenjivanje varijanse
Tatjana Bajic - An orthogonal stochastic measure and the normedHermite polynomials
21
STUDENT’S SECTION
Friday, 6 June 2014
18:30 - Production and Management Faculty
Secretary: Marko Rajkovic
Marko Rajkovic, Ivan Bartulovic, Mentor dr Stefko Miklavic - PolynomialTime Primality Testing
-Dorde Zikelic, Mentor dr -Dorde Baralic - Mnogouglovi upisani ucelobrojnu resetku
Mina Sekularac, Mentor dr Aleksandar Pejcev - Teselacije
Vesna Miletic, Mentor dr Milenko Pikula - O jednom sistemunelinearnih jednacina u prostoru E4
Branko Grbic, Mentor dr Milos -Doric - Krive u ravni
23
PLENARNO PREDAVANJEPLENARY LECTURE
Lothar Reichel
Department of Mathematics, Kent State University, Kent, Ohio, USA
NETWORK ANALYSIS VIA PARTIAL SPECTRALFACTORIZATION AND GAUSS QUADRATURE
Abstract
Large-scale networks arise in many applications. It is often of interestto be able to identify the most important nodes of a network or to ascer-tain the ease of traveling between nodes. These and related quantities canbe determined by evaluating expressions of the form uTf(A)w, where Ais the adjacency matrix that represents the graph of the network, f is anonlinear function, such as the exponential function, u and w are vectors,for instance, axis vectors. We first describe a novel technique for determin-ing upper and lower bounds for expressions uTf(A)w when A representsan undirected graph and bounds for many vectors u and w are desired.Then A is symmetric and the bounds are computed by first evaluating alow-rank approximation of A, which is used to determine rough boundsfor the desired quantities for all nodes. These rough bounds indicate forwhich vectors u and w more accurate bounds should be computed withthe aid of Gauss-type quadrature rules. This hybrid approach is cheaperthan only using Gauss-type rules to determine accurate upper and lowerbounds in the common situation when it is not known a priori for whichvectors u and w accurate bounds for uTf(A)w should be computed. Sev-eral computed examples, including an application to software engineering,illustrate the performance of the hybrid method. Extensions to undirectednetworks that correspond to a nonsymmetric adjacency matrix also will bediscussed.
SEKCIJA ZA ALGEBRU I GEOMETRIJU
SECTION FOR ALGEBRA AND GEOMETRY
27
Zarko Mijajlovic
Faculty of Mathematics, University of Belgrade, Serbia
PROJECTION CALCULUS
Abstract
Let C be the set of complex numbers, Z the set of integers and N theset of nonnegative integers. We remind that a function πn : C
Z → C,n ∈ Z, is a projection if πn(f) = f(n), f ∈ CZ . Let P be the subspaceof the vector space of linear functionals of the complex vector space CZ
where P is generated by projections. We introduce an associative andcommutative algebraA over P defining multiplication of projections by πm·πn = πm+n. It appears that the algebraA is very appropriate for computingvarious inversion formulas from discrete mathematics. For example, if θn,n ∈ N , is the sequence of linear functionals defined by θn =
∑k
(nk
)πn−2k,
n ∈ N , then πn = cn(θ) − π−n, where θ = θ1 = π1 + π−1 and cn is theTchebychev polynomial of the first kind. This immediately leads to thefollowing inversion formula for the sequences of complex numbers
gn =∑k
(n
k
)fn−2k ⇔ fn =
∑k
(−1)kn
n− k
(n− k
k
)gn−2k.
Calculation in the algebra A, we call the projection calculus. We also showthat the algebra A naturally bears the structure of Hopf algebra.
Zoran Petric
Matematicki institut SANU
SEGALOVI SIMPLICIJALNI PROSTORI
Apstrakt
Simplicijalni prostor [n] 7→ An je redukovan Segalov prostor kada zasvako n vazi da je preslikavanje iz An u (A1)
n, indukovano morfizmimasimplicijalne kategorije koji odgovaraju projekcijama, homotopska ekviva-lencija. Uz odredene uslove, za redukovan Segalov prostor vazi da je A1
28
homotopski ekvivalentan prostoru petlji geometrijske realizacije simplici-jalnog prostora A. Na predavanju ce biti reci o jednom uopstenju ovogrezultata na multisimplicijalne prostore.
Predrag Tanovic
Matematicki institut SANU i Matematicki fakultet Beograd, Srbija
O INVARIJANTAMA U STRUKTURAMA PRVOG REDA
Apstrakt
Neka je K neka klasa struktura prvog reda u fiksiranom jeziku. Kar-dinalna invarijanta klase je funkcija koja svakoj strukturi klase dodeljujekardinalni broj koji ne zavisi od tipa izomorfizma strukture i koji ne rasteprilikom utapanja u drugu strukturu klase. Najpoznatiji primeri kardi-nalnih invarijanata su dimenzija u klasi vektorskih prostora nad fiksiranimpoljem, kao i stepen transcendentnosti u slucaju klase polja fiksirane karak-teristike.
Pojam dimenzije u teoriji modela prvi je uveo William Marsh 1964.godine u [1], ustanovisi da dimenzija postoji i u klasi modela jako mini-malnih teorija (kakve su teorija vektorskog prostora nad fiksiranim poljemi teorija algebarski zatvorenih polja fiksirane karakteristike). Saharon She-lah je razvio opstu teoriju klasifikacije struktura prvog reda u [2], u kojojosim kardinalnih invarijanti figuriraju i invarijante cije vrednosti mogu bitii nizovi kardinala, nizovi nizova kardinala, ....
Na predavanju ce najvise biti reci o nedavno uvedenim invarijantama ([3]i [4]) cije vrednosti su linearna uredenja. Takve postoje u klasi diskretnihlinearnih uredenja, kao i nekih uredenih grupa (valued groups).
Bibliography
[1] W. E. Marsh, On ω1-categorical and not ω-categorical theories, PhDThesis, Darmouth College, 1966.
[2] S. Shelah, Classification Theory, North Holland 1990.
[3] A. Pillay, P. Tanovic, Generic stability, regularity, and quasiminimal-ity, In: Models, Logics and Higher-Dimensional Categories, A Tribute tothe Work of Mihaly Makkai), CRM Proceedings and Lecture Notes, 2011,pp.189-211.
29
[4] S. Moconja, P. Tanovic, Asymmetric regular types, arXiv:1312.0222,2013.
Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic
Mathematical Institute of the Serbian Academy of Sciences and ArtsBeograd, Serbia
PROBABILITY LOGICS
Abstract
The paper summarizes the results of the authors in formalization of un-certain reasoning. A number of probability logics is considered. Their ax-iomatizations, completeness, compactness and decidability are addressed.Some possible applications of probability logics are analyzed.
Keywords: probability logic, conditional probability, approximate prob-ability, non-standard analysis, strong completeness, decidability, defaultreasoning
Ioana-Claudia Lazar
’Politehnica’ University of Timisoara, Romania
-Dorde Baralic
Mathematical Institute SANU
THE COMBINATORIAL STRUCTURE OF FINITESIMPLICIAL COMPLEXES OF NONPOSITIVE
CURVATURE
Abstract
We investigate the collapsibility of systolic finite simplicial complexesof arbitrary dimension. The main tool we use in the proof is discreteMorse theory. We shall consider a convex subcomplex of the complexand project any simplex of the complex onto a ball around this convexsubcomplex. These projections will induce a convenient gradient matchingon the complex. Along the way we make use of certain well known resultsregarding systolic geometry.
30
Nela Milosevic, Zoran Petrovic
Mathematical Faculty Belgrade
HOMOLOGY OF IDEAL ZERO-DIVISOR COMPLEX
Abstract
We look at higher dimensional complexes associated to commutativerings and investigate various properties of the homology groups of theassociated complex. In particular, we look at the ideal zero-divisor complexand present some new results for the ring Z/nZ.
Zoran Rakic
Faculty of Mathematics, Studentski trg 16, p.o. box 550, 11 001 Belgrade,Serbia
DUALITY PRINCIPLE AND OSSERMAN CONDITION
Abstract
Let (M, g) be a pseudo-Riemannian manifold, with curvature tensor R.The Jacobi operator RX is the symmetric endomorphism of TpM definedby RX(Y ) = R(Y,X)X. In Riemannian settings, if M is locally a rank-one symmetric space or if M is flat, then the local isometry group actstransitively on the unit sphere bundle SM and hence the eigenvalues ofRX are constant on SM . Osserman wondered if the converse held; thisquestion is usually known as the Osserman conjecture.
Recently, many authors have been studied problems which arising fromthe Osserman conjecture and its generalizations. In the first part of thelecture we will give an overview of Osserman type problems in the psuedo-Riemannian geometry. The second part is devoted to the equivalence ofthe Osserman pointwise condition and the duality principle. This part ofthe lecture consists the new results, which are obtained in collaborationwith Yury Nikolayevsky and Vladica Andrejic.
31
Dusko Jojic
Prirodno-matematicki fakultet Banja Luka
SOME COMPLEXES OF NON-CROSSING DIAGONALS OFA POLYGON
Abstract
For a given polygon P in the Euclidean plane let ΓP denote the simplicialcomplex whose vertices are diagonals of P . Faces of ΓP are the subsetsof non-crossing diagonals of P . If P is a convex n-gon, then ΓP is theboundary complex of an (n − 3)-dimensional simplicial convex polytope(dual of the associahedron). We prove that ΓP is vertex decomposable.Also, we obtain some relations for h-vector of these complexes.
Let ∆mAn−1
denote simplicial complex whose vertices are diagonals of aconvex (mn + 2)-gon P which dissect P into an (jm + 2)-gon and an((n− j)m+ 2)-gon. The facets of ∆m
An−1are sets of non-crossing diagonals
that dissects P into (m + 2)-gons. We describe an explicit shelling for∆m
An−1, obtain a combinatorial interpretation for its h-vector, and describe
a bijection between generating facets of ∆mAn−1
and facets of ∆m−1An−1
.
Katarina Kukic
Saobracajni fakultet, Univerzitet u Beogradu
Vladimir Dragovic
Matematicki institut SANU
DISKRIMINANTNO SEPARABILNI POLINOMI IKVAD-JEDNACINE
Apstrakt
U radu je prikazana veza izmedu diskriminantno separabilnih polinomai kvad-jednacina koje u svojim radovima razmatraju Adler, Bobenko iSuris. Po definiciji diskriminantno separabilni polinomi su polinomi cije sediskriminante mogu predstaviti kao proizvod polinoma jedne promenljive.
32
Klasifikovali smo diskriminantno separabilne polinome koji zavise od tripromenljive i stepena su dva po svakoj od tih promenljivih. Prikazana je igeometrijska interpretacija takvih polinoma u nekim slucajevima. Takodeza predstavnike svake klase ekvivalencije polinoma uocili smo odgovarajucuintegrabilnu kvad-jednacinu.
Predstavljeni rezultati su zajednicki rad sa Vladimirom Dragovicem.
Nenad Stojanovic
Visoka medicinska skola Prijedor
Vidan Govedarica
Elektrotehnicki fakultet, Univerzitet u Istocnom Sarajevu
PARKETIRANJE RAVNI POLUPRAVILNIM POLIGONIMA
Apstrakt
U ovom radu je dat pristup analizi parketiranja ravni polupravilnim jed-nakostranicnim poligonima. Prvo je dat osvrt na parketiranje ravni jed-nom vrstom polupravilnih poligona, a zatim parketiranje ravni jednakos-tranicnim polupravilnim poligonima razlicitih vrsta. Rjesavanjem odgo-varajuce Diofantove jednacine pokazano je da se od svih polupravilnihjednakostranicnih konveksnih poligona P2m,m > 2,m ∈ N parketiranjeravni moze obaviti jedino sa polupravilnim cetvorouglovima. Kao primjerparketiranja ravni sa dvije vrste polupravilnih jednakostranicnih poligonarazmatran je slucaj parketiranja cetvorouglovima i sestouglovima, kao iodgovarajuca Diofantova jednacina tog slucaja.
33
Emil Ilic-Georgijevic
University of Sarajevo, Faculty of Civil Engineering
A NOTE ON THE JACOBSON RADICAL OF A GRADEDRING
Abstract
If G is a partial groupoid, then R =⊕
g∈GRg is called G-graded and wesay that R induces G if and only if: i) RgRh ⊆ Rgh whenever gh is defined,ii) RgRh = 0 implies that the product gh is defined. In that case, Gis called the partial groupoid induced by R. Also, a partial groupoid G iscalled right cancellative if xz = yz implies x = y. The notion of a can-cellative partial groupoid is clear enough. A. Kelarev provided us with thefollowing open problem:Is it true that, if S is a finite cancellative partial groupoid with idempotent eand R =
⊕s∈S Rs is an S-graded ring inducing S, then J(Re) = Re∩J(R)?
Here we will answer this question affirmatively in case R is Artinian regard-less the cardinality of S. More precisely, we prove the following theorem.
Theorem 1. If S is a cancellative partial groupoid with idempotent e andR =
⊕s∈S Rs an Artinian S-graded ring inducing S, then J(Re) = Re ∩
J(R).
In order to prove Theorem 1, we will use the notion of a graduationintroduced by M. Krasner and the results on the Jacobson radical of regulargraded rings obtained by E. Halberstadt.
34
-Dorde Baralic
Matematicki institut SANU
Vladimir Grujic
Matematicki fakultet Beograd
OSOBINE KVAZITORUSNIH MNOGOSTRUKOSTI NADPOLIGONIMA
Apstrakt
Kvazitorusne 4 mnogostrukosti su mnogostrukosti na kojima dejstvujetorus T 2 i orbita ovog dejstva je poligon. Koristeci karakteristicne klasei kombinatoriku poligona pokazujemo da topoloske osobine, kao sto sudimenzija minimalnog prostora u koje se one ulazu ili imerziju, klase bor-dizama i druge, zavise iskljucivo od parnosti broja strana poligona. Ovo jespecificno za dimenziju 4 koja obuhvata siroku klasu mnogostrukosti, kaonpr. Hircebruhove povrsi, jer u visim dimenzijama ne mozemo dobiti takoopsti rezultat.
Nezad Dukic
PMF, Odsjek za matematiku, Sarajevo
Ilija Lalovic
PMF, SP Matematika i informatika, Banja Luka
FUZZY VISEZNACNE ZAVISNOSTI I FUZZY FORMULE UFUZZY MODELU
Apstrakt
U ovom radu probleme izvodenja posljedica iz fuzzy viseznacnih za-visnosti svodimo na odgovarajuce probleme sa fuzzy formulama koje serjesavaju koristenjem principa rezolucije. Definisacemo istinitosnu vrijed-nost atributa za datu semu fuzzy relacione baze podataka, a zatim cemofuzzy zavisnostima pridruziti odgovarajuce fuzzy formule. Dokazujemoda ako vrijedi fuzzy viseznacna zavisnost, onda je njoj pridruzena fuzzy
35
formula zadovoljiva i obrnuto. Takode pokazujemo, ako iz skupa fuzzyzavisnosti slijede druge zavisnosti, onda iz skupa fuzzy formula koje imodgovaraju slijedi i zadovoljivost fuzzy formula koje odgvaraju tim drugimzavisnostima.
Jelena Colic Oravec, Jovanka Pantovic
Fakultet tehnickih nauka, Univerzitet u Novom Sadu
Hajime Machida
Graduate School of Arts and Sciences, International Christian University,Tokyo, Japan
ON SOME CLASSES OF MAXIMAL CLONES OFINCOMPLETELY SPECIFIED OPERATIONS
Abstract
Incompletely specified operations (IS operations) are functions whoseoutput values are specified for only some of the input values. Therefore wemay say that an n-ary IS operation on Ek, just like n-ary partial operation,is a mapping from E
(n)k to Ek+1. The distinction between these two con-
cepts comes from the interpretation of the output value k. Namely, in thecase of partial operations k is considered to be undefined value, whereasfor IS operations k means that the value is not specified. Because of thisdifference, it is necessary to construct a composition which is more suit-able for IS operations than the usual composition of partial operations, ina way that the value of the composition of IS operations f and g may bespecified even if the values of f or g are not specified. This new composi-tion yields a corresponding clone of incompletely specified operations (ISclone). In this paper we focus on maximal IS clones. It is known that on atwo-element set there are eight maximal partial clones (Freivald) and ninemaximal IS clones (Tarasov). On at least three-element set, the lattice ofIS clones is neither isomorphic to the lattice of partial clones nor to thelattice of hyperclones. Nevertheless, there are certain properties that canbe transferred, and in our paper we use this kind of reasoning to describesome classes of maximal clones of incompletely specified operations.
36
Dejan Ilic
Saobracajni fakultet, Univerzitet u Beogradu, Srbija
O RAZLAGANJU LINEARNO URE-DENIH STRUKTURA
Apstrakt
Modelsko teoretska analiza linearnih uredenja razvijena je u knjizi Rozen-stajna [1]. Na primer slozenost prebrojivih linearnih uredenja meri se ordi-nalnim funkcijama, koje se nazivaju kondenzacioni rangovi. Definisacemonovi kondenzacioni rang i pokazati njegove prednosti u odnosu na posto-jece u analiziranju rasutih linearnih uredenja sa dodatnim predikatima.Podsetimo da je linearno uredenje rasuto ako ne sadrzi kopiju uredenjaracionalnih brojeva i da je diskretno ako svi elementi, osim mozda prvog iposlednjeg, imaju neposrednog prethodnika i neposrednog sledbenika.
Neka je A = (A,<) linearno uredenje. Definisimo:
a ∼ b ako i samo ako je interval [a, b] diskretno linearno ureden.
Relacija ∼ je definabilna relacija ekvivalencije, a njene klase su konveksniskupovi. Kolicnicki skup δ(A) je linearno ureden, oznacimo to linearnouredjenje sa δ(A). Ako je A rasuto uredjenje, onda je i δ(A) rasuto. Kon-denzacioni rang rasutih uredenja uvodimo indukcijom na sledeci nacin:
d(A) > 1 ako |A| > 2;d(A) > α + 1 ako d(δ(A)) > α;d(A) > α (α granicni) ako d(A) > β za sve β < α.d(A) = α ako je α najveci ordinal takav da d(A) > α.Ideja kondenzacije je da se problem slozenosti strukture A razlozi na
dve komponente: slozenost (pune indukovane) strukture na δ(A) i sloze-nost svake od klasa ponaosob. Situacija se komplikuje kada dozvolimo daA ima dodatnu strukturu. Tada uvodimo dodatnu pretpostavku, da jeTh(A) mala teorija (ima prebrojivo mnogo tipova). Slozenost klasa u tomslucaju je predmet rada [2]. Takode vazi:
Theorem 2. Ako je (A,<, ...) linearno uredena struktura sa malom teori-jom tada je d(A) < ω.
U [1] je dokazano da je u svakom linearnom uredenju Th(A,<) binar-na teorija (svaka formula je ekvivalentna bulovskoj kombinaciji formula sanajvise dve slobodne promenljive). Prirodno je postaviti pitanje:
37
Problem: Da li ce svaka linearno uredena struktura (A,<, ...) sa malomteorijom imati binarnu teoriju?
[1] J. Rosenstein, Linear orderings, Academic Press, 1982.
[2] D. Ilic, Simple types in discretely ordered structures, Archive forMathematical Logic (prihvacen za stampu), 2014.
Slavko Moconja
Faculty of Mathematics, University of Belgrade, Serbia
ON QUASIMINIMAL GROUPS
Abstract
An uncountable first order structure M is said to be quasiminimal ifevery definable (with parameters) subset of M is either countable or co-countable (its complement is countable). We are particularly interestedin quasiminimal groups. It is known that quasiminimal group either isendowed (in a natural way) with pregeometry operation or it has a definable(with parameters) partial order with uncountable chains.
It is an open problem if there is a non-abelian quasiminimal group. If itexists, it is known that it is the union of its center and a single conjugacyclass.
Theorem 3. Every quasiminimal group having a 0-definable partial orderwith uncountable chains is abelian.
Dusan Jokanovic
University of East Sarajevo, Production and Management FacultyTrebinje
SOME PROPERTIES OF SEMICOMMUTATIVE RINGS
Abstract
Throughout this paper R denotes an associative ring with identity andσ denotes a nonzero non identity endomorphism of a given ring, unless
38
specified otherwise. Recall that a ring is reduced if it has no nonzeronilpotent elements. We used the term reversible to denote zero commuta-tive ring. A generalization of a reversible ring is a semicomutative ring.A ring R is semicommutative if ab = 0 implies aRb = 0 for a, b ∈ R. Weinvestigate relation between Armendariz and semicommutative rings. Wealso aproach posibility of transferring semicommutativity property fromthe ring to some of his extensions.
Biljana Vujosevic
Matematicki fakultet, Univerzitet u Beogradu, Srbija
SISTEMI INKLUZIJA HILBERTOVIH MODULA
Apstrakt
U ovom radu razmatra se uopstenje pojma sistema inkluzija Hilbertovihprostora. Poznato je da sistem inkluzija Hilbertovih prostora generise sis-tem proizvoda Hilbertovih prostora i da postoji izomorfizam izmedju je-dinica sistema inkluzija i jedinica indukovanog sistema proizvoda.
Ovde se posmatra sistem inkluzija dvostranih Hilbertovih modula nadC∗-algebrom ogranicenih linearnih operatora na Hilbertovom prostoru. Dokazujese da, ukoliko je Hilbertov prostor konacne dimenzije, postoji izomorfizamizmedu jedinica sistema inkluzija dvostranih Hilbertovih C∗-modula i je-dinica sistema proizvoda dvostranih Hilbertovih C∗-modula koji je gener-isan datim sistemom inkluzija.
Milovan Vincic
Ekonomski fakultet, Univerzitet u Banja Luci
MINIMALNI VARIJETETI INVOLUTIVNIH PRSTENA
Apstrakt
Involutivni prsten je algebra A = (A,+,−, ·, ∗) takva da je (A,+,−, ·)prsten, a ∗ je unarna operacija koja zadovoljava identitete
(x+ y)∗ = x∗ + y∗
39
(xy)∗ = y∗x∗
(x∗)∗ = x.
Klasa ν istotipnih algebri signature Ω naziva se varijetet (mnogostrukost)ako postoji skup Σ tako da se ν sastoji samo od onih algebri na kojimasu istiniti svi identiteti iz Σ. Varijetet se naziva minimalnim ako on sadrzinejedinicnu algebru i nema pravih podvarijeteta.
U ovom radu se posmatraju minimalni identiteti involutivnih prstena.
Jelena Radovic
University of East Sarajevo, Faculty of Philosophy
FOURIER TRANSFORMS ON FINITE INVERSESEMIGROUPS
Abstract
Fourier transforms on groups have been thoroughly studied ([1], [2], [3]).However, an analogue theory of Fourier transforms on semigroups has notbeen developed until the recent works by M. Malandro ([4] and [5]). Thispaper presents some of the key results of this research. We introduce thedefinition of a Fourier transform on an arbitrary inverse semigroup, andextend some of the know theorems from the theory of Fourier transformson symmetric groups. The paper also addresses the future problems whichmay arise in this area, namely the definition of Fourier transforms on awider class of semigroups.
This is a joint paper with doc. dr Vladimir Vladicic.
SEKCIJA ZA ANALIZU
SECTION FOR ANALYSIS
43
Miodrag Mateljevic
Dopisni clan SANU, Matematicki fakultet Beograd
DISTORTION OF QUASIREGULAR MAPPINGS ANDEQUIVALENT NORMS ON LIPSCHITZ-TYPE SPACE
Abstract
As an application, we establish that Lipschitz-type properties are inher-ited by a quasiregular function from its modulu. We also prove some re-sults of Hardy- Littlewood type for Lipschitz-type spaces in several dimen-sions, give the characterization of Lipschitz-type spaces for quasiquasireg-ular mappings by the average Jacobian and give a short review of thesubject. In particular, we solve so called Dyakonov’s problem.
Milenko Pikula
Filozofski fakultet Pale
Biljana Vojvodic
Ministarstvo nauke i tehnologije Republike Srpske
Natasa Pavlovic
Elektrotehnicki fakultet Istocno Sarajevo
PRVI REGULARIZOVANI TRAG GRANICNOG ZADATKATIPA STURM-LIUVILA SA DVA KONSTANTNA
KASNJENJA
Apstrakt
Neka je L(τ, q1, q2) operator definisan sa
l(y) : −y′′(x) + q1(x)y(x− τ1) + q2(x)y(x− τ2), q1, q2 ∈ L1[0, π]
y(x− τ1) ≡ 0, x ∈ [0, τ1]
0 < τ2 < . . . < (x0 − 1)τ2 < k0τ2 = τ1 < . . . < (l0k0 − 1)τ2 < l0τ1 =
44
= l0k0τ2 < π ≤ (l0k0 + 1)τ2, k0, l0 ∈ N
y(π) = 0
i neka je Ly = λy, (λ = z2) spektralni zadatak. Rad je posvecen kon-strukciji rjesenja y(x, z) na segmentu [0, π] i nalazenju asimptotskog razla-ganja sopstvenih vrijednosti operatora L. Na kraju se nalazi prvi regular-izovani trag operatora L, koji se koristi za rjesavanje inverznog zadatka zaovaj operator.
Branko Saric, Esad Jakupovic
Pan-European University Apeiron
TOTALIZATION OF THE RIEMANN INTEGRAL
Abstract
The aim of this note is to define the total value of the Riemann integralthat can be used to generalize the well-known NewtonLeibniz formula.
Milenko Pikula
Filozofski fakultet Pale
Ismet Kalco
Politehnicki fakultet Univerziteta u Zenici
OSOBINE KARAKTERISTICNE FUNKCIJE GRANICNOGZADATKA ZA OPERATOR L SA LINEARNIM
KASNJENJEM
Apstrakt
U ovom radu bavimo se konstrukcijom karakteristicne funkcije operatoraL sa razdjeljenim uslovima:
−y′′(x) + q(x)y(x− τ(x)) = λy(x)
y(x− τ(x)) ≡ 0, x− τ(x) < 0
45
y′(x− τ(0)− hy(0) = 0
y′(π) +Hy(π) = 0, h,H ∈ R; τ(x) = α(x) + β, α, β ∈ R+.
Karakteristicna funkcija determinisana je kasnjenjem τ(x) = αx + βkoje je promjenjivo i zavisi od pozitivnih realnih brojeva α i β.
Milenko Pikula
Univerzitet u Istocnom Sarajevu, Filozofski fakultet Pale
Dragana Nedic
Univerzitet u Istocnom Sarajevu, Saobracajni fakultet Doboj
Vladimir Vladicic
Univerzitet u Istocnom Sarajevu, Filozofski fakultet Pale
Olivera Markovic
Univerzitet u Kragujevcu, Uciteljski fakultet Uzice
ODNOS ASIMPTOTIKE KARAKTERISTICNE FUNKCIJE IASIMPTOTIKE NJENIH NULA ZA KLASICNI OPERATOR
TIPA STURM-LIUVILA
Apstrakt
U radu se dokazuje stav o potrebnim i dovoljnim uslovima koje zadovol-java cijela funkcija eksponencijalnog tipa da bi bila karakteristicna funkcijagranicnog zadatka datog sa
−y′′(x) + q(x)y(x) = λy(x), z2 = λ ∈ C, q ∈ L2[0, π]
y′(0)− hy(0) = 0, h ∈ C
y′(π) +Hy(π) = 0, H ∈ C.
Ovaj operator je izucen u radovima Geljfanda, Levitana, Borga, Krejna,Marcenka drugim metodama.
46
Zoran Mitrovic
Faculty of Electrical Engineering, University of Banja Luka
THE REMARKS ON BEST AND COUPLED BESTAPPROXIMATIONS
Abstract
In this paper we obtain a best approximations theorem for set-valuedmaps in complete metric spaces. We are using the generalization of theTheorem of Ky Fan and the results of Horvath who used Kuratowski’smeasure of non-compactness. Also we derive the results on coupled coin-cidence points and coupled fixed points, which were introduced by Laksh-mikantham, Ciric and Amini-Harandi.
Ivan Arandelovic
Masinski fakultet Beograd
Hranislav Milosevic
Prirodno-matematicki fakultet Kosovska Mitrovica
Dojcin Petkovic
Prirodno-matematicki fakultet Kosovska Mitrovica
KONVERGENCIJA RACIONALNIH FUNKCIJA SAPRIMENOM NA NEKE OD KLASA FUNKCIJA
Apstrakt
U mnogim oblastima savremene nauke i tehnike sve cesce se dolazi domatematickih zadataka cija se tacna resenja ne mogu dobiti klasicnimmatematickim metodama ili se pak mogu dobiti, ali su pri tom tolikokomplikovana da se prakticno ne mogu upotrebiti. Broj takvih zadatakaje porastao. Narocito u poslednje vreme zbog velikog i brzog razvojanauke i tehnike. Prirodno je sto se, zbog toga, postavio problem izgrad-nje efikasnih metoda za nalazenje pribliznih resenja takvih zadataka. S
47
druge strane zbog velikog napretka u nauci i tehnici omogucili su konstru-isanje novih, izvanrednih sredstava za racunanje. Zbog toga su se postavilizadaci uporedivanja, revidiranja i sistematizacije vec postojecih i izgrad-nje novih metoda radi efikasnog koriscenja tih sredstava. Navedeni razlozisu doveli do nastanka jedne posebne oblasti matematike, ciji je zadatakrazrada metoda koje dovode do brojcanih rezultata, resenja, razlicitih za-dataka analize, algebre, verovatnoce, statistike, geometrije itd. U ovomradu bice prikazana jedna od takvih metoda za resavanje problema kon-vergencije racionalnih aproksimacija, i njihova primena na neke od klasafunkcija.
Fikret Vajzovic, Amina Sahovic, Sead Peco
Univerzitet ”Dzemal Bijedic” Mostar, BiH
ERGODICKE TEOREME ZA KOSINUSNE OPERATORSKEFUNKCIJE
Apstrakt
Dokazane su tri ergodicke teoreme kojima je data veza izmedu operatorakoji se pojavljuju u ergodickim limesima i pozitivnog kvadratnog korijenaiz infinitezimalnog generatora ogranicene jako neprekidne kosinusne oper-atorske funkcije u kompleksnom Banach-ovom prostoru i na jednoj uzojklasi Banach-ovih prostora.
Jovana -Duretic
Faculty of Mathematics, University of Belgrade, Serbia
PIUNIKHIN–SALAMON–SCHWARZ ISOMORPHISMS ANDSYMPLECTIC INVARIANTS OBTAINED USING
COBORDISMS OF MODULI SPACES
Abstract
We give a brief survey of results considering the Piunikhin–Salamon-Schwarz isomorphism in Lagrangian Floer homology groups generated byHamiltonian orbits starting at the zero section and ending at the conormal
48
bundle. We discuss the PSS isomorphism in Lagrangian Floer homologygroups for the open subset. Also we discuss some properties of the absoluteand relative spectral invariants.
Elmir Catrnja
Univerzitet ”Dzemal Bijedic” Mostar
Milenko Pikula
Filozofski fakultet Pale
RJESAVANJE STURM-LIOUVILLOVOG PROBLEMA SAKONSTANTNIM KASNJENJEM METODOM
UPUCAVANJA
Apstrakt
Metoda upucavanja se vec dugi niz koristi za numericko rjesavanje difer-encijalnih jednacina, kao i za rjesavanje Sturm-Liouvilleovog problema.Medutim, kod klasicnog Sturm-Liouvilleovog problema, sve svojstvene vri-jednosti i svojstvene funkcije su realne, dok se kod Sturm-Liouvilleovogproblema sa kasvnjenjem, pored realnih svojstvenih vrijednosti pojavljujui kompleksne svojstvene vrijednosti, a samim time i kompleksne svojstvenefunkcije. U ovom radu prosirujemo primjenu ove metode na odredivanjesvojstvenih vrijednosti i svojstvenih funkcija (kako realnih, tako i komplek-snih) Sturm-Liouvilleove jednacne sa konstantim kasnjenjem pri granicnimuslovima Dirichletovog tipa.
Sefket Arslanagic
Prirodno-matematicki fakultet Sarajevo
ZNACAJ METODE POMOCNE NEJEDNAKOSTI ZADOKAZIVANJE RAZNIH NEJEDNAKOSTI
Apstrakt
U ovom radu je dat dokaz jedne zanimljive algebarske nejednakosti odtri promjenljive. Za njen dokaz se koristi jedna pomocna nejednakost koju
49
smo konstruisali uz detaljno objasnjene kako smo to uradili. Poslije dokazadate nejednakosti, data je i njena generalizacija kao i njen dokaz.
Rijec je o sljedecoj nejednakosti
x2
x2 + y + z+
y2
y2 + z + x+
z2
z2 + x+ y≥ 1
7,
gdje su x, y, z realni pozitivni brojevi cija je suma jednaka 1, tj. x+ y+z = 1.
Vladimir Vladicic
Faculty of Philosophy, University East Sarajevo
Nebojsa K. Elez
Faculty of Philosophy, University East Sarajevo
INEQUALITIES AND RAPIDLY VARYING FUNCTIONS
Abstract
A measurable function f : [a,∞) 7→ (0,∞), a > 0 is called regularlyvarying in the sense of Karamata if for some α ∈ R it satisfies
limx→∞
f(λx)
f(x)= λα
for every λ > 0, and we denote f ∈ Rα. Class Rα were introduced byJ.Karamata [5] in 1930.
A measurable function f : [a,∞) 7→ (0,∞), (a > 0) is called rapidlyvarying in the sense of de Haan with the index of variability ∞ if itsatisfies
limx→∞
f(λx)
f(x)= ∞
for every λ > 1. This functional class is denoted by R∞ (see e.g. [1]).Example: If f(x) = xr(x), r(x) → ∞, and r is nondecreasing function thenf ∈ R∞.
In this paper we study properties of regularly and rapidly varying func-tions. The important properties of this class that are related to classical
50
inequalities will be proved. The properties of rapidly varying functionsthat are related to integral sums will be proved, also.
Jovana -Duretic, Jelena Katic and Darko Milinkovic
Faculty of Mathematics, University of Belgrade, Serbia
HOFER’S GEOMETRY FOR LAGRANGIANSUBMANIFOLDS AND HAMILTONIAN
DIFFEOMORPHISMS
Abstract
We give a brief survey of results and problems considering the rela-tion between Hofer’s distance for Hamiltonian diffeomorpshisms, and La-grangian submanifolds, as well as the role of quasi - autonomous Hamiltoni-ans in the description of geodesics. Besides, we discuss quasi - autonomousHamiltonians in relation to Hofer’s geometry of Hamiltonian diffeomor-phisms group within the ambient space of Lagrangian submanifolds.
Vesna Misic
University of East Sarajevo - Faculty of Transport and Traffic EngineeringVojvode Misica 52, 53000 Doboj, Bosnia and Herzegovina
Ivan D. Arandelovic
University of Belgrade - Faculty of Mechanical EngineeringKraljice Marije 16, 11000 Beograd, Serbia
ON A FIXED POINT THEOREM OF REZAPOUR ANDHAMLBARANI
Abstract
In this talk (paper) we present one fixed point theorem with operatorcontractive condition which generalize earlier result obtained by Sh. Reza-pour and R. Hamlbarani.
51
Milenko Pikula
Filozofski fakultet Pale
Elmir Catrnja
Pedagoski fakultet, Univerzitet ”Dzemal Bijedic” Mostar
Esad Jakupovic
Panevropski fakultet ”Apeiron” Banja Luka
A. Saric
Srednjoskolski centar Mostar
KONSTRUKCIJA VEKTORSKE FUNKCIJE −→w = (q, α)POMOCU DVA DATA NIZA SOPSTVENIH VRIJEDNOSTI
Apstrakt
Osnovni rezultat ovog rada moze se izraziti sledecom teoremom:Teorema: Ako su λnj, n = 1, 2, . . ., j = 1, 2 nizovi sopstvenih vrijed-
nosti granicnog zadatka
−y′′(x) + q(x)y(λ(x)) = λy(x)
sa granicnim uslovima y(0) = y(π) = 0 i y′(0) = y′(π) = 0 redom priq ∈ L2[0, π], 0 < λ′(x) < 1, λ ∈ C1[0, π] tada je dvodimenzionalni vektor−→w = (q, α) jednoznacno definisan.
Jelena Vujakovic
University of Pristina, Faculty of Sciences and Mathematics
WEAKLY COMPATIBLE MAPPINGS IN MENGER SPACESAND FIXED POINT RESULTS
Abstract
It is well known that the class of fuzzy metric spaces in the sense ofKramosil and Michalek is ”equivalent” to the class of Menger spaces hav-ing a continuous t-norm. In this paper is prove common fixed point theo-rems for two pairs weakly compatible mappings in Menger spaces. Some
52
illustrative examples are given to demonstrate the validity of main results.
Miljan Knezevic
Matematicki fakultet Beograd
BI-LIPSCHITZ PROPERTIES OF HARMONICQUASICONFORMAL MAPPINGS
Abstract
By considering the properties of hyperbolic metrics we will give somecharacterizations of harmonic quasiconformal mappings. Also, we will givefew interested inequalities of Schwarz-Pick type for harmonic quasiconfor-mal mappings.
SEKCIJA ZA PRIMIJENJENU MATEMATIKU
SECTION FOR APPLIED MATHEMATICS
55
Milan Tuba
Matematicki fakultet Univerziteta u Beogradu, Fakultet za kompjuterskenauke Megatrend Univerziteta
SWARM INTELLIGENCE ALGORITHMS FOR JPEGQUANTIZATION TABLE SELECTION
Abstract
JPEG algorithm is the prevailing digital image compression method.It is a lossy compression algorithm that facilitated digital image revolu-tion during the last decade. The degree of compression can be decided byselecting appropriate quantization matrix. JPEG standard contains rec-ommended quantization matrix which was determined empirically, mostlywith the purpose to make compressed image ”look good” to human ob-server. However, for many important applications like medical imagesanalysis (usually from alternative imaging sources like ultrasound or x-ray)or biometrics (iris, fingerprint or face recognition), recommended quanti-zation matrix is not appropriate since measure of the image compressionquality is determined by successfulness of the corresponding software ap-plication and not by the subjective human opinion. Moreover, there isnot a single best quantization matrix for all applications, not even forone application; one matrix may be good for x-ray images from one de-vice, the other may be more appropriate for x-ray images originating fromdifferent x-ray device. Selecting optimal quantization matrix is an expo-nential combinatorial problem with extremely complex objective function.Nondeterministic metaheuristics are appropriate tool for such optimizationproblems and this lecture will show some successful applications of swarmintelligence algorithms to quantization matrix selection using appropriateimage similarity measure.
56
Bernardo de la Calle Ysern
Department of Applied Mathematics, Polytechnic University of MadridETS de Ingenieros Industriales, Jose Gutierrez Abascal 2, 28006 Madrid,
Spain
MODIFIED GAUSS-KRONROD QUADRATURES
Abstract
Gauss-Kronrod quadrature rules were introduced in the sixties to cal-culate in an optimal way an approximation of the integral and an estimateof the error committed. When they exist, Gauss-Kronrod rules can becomputed efficiently and are used in packages for automatic integration.However, very few classes of weight functions are known for which the cor-responding Gauss-Kronrod rules are proved to exist. So, several authorshave proposed to relax the requirements of the Gaussian extension so thatthe resulting suboptimal rules show good properties, like having simplenodes on the interval of integration and positive quadrature weights.
Though there is numerical evidence supporting this approach, no theo-retical results are available until now.
In this work, we introduce modified Stieltjes polynomials to constructsuboptimal extensions of the Gaussian rules with one or two degrees lessof polynomial exactness than the corresponding Kronrod extensions. Weprove that, for a wide class of weight functions and sufficiently large numberof nodes, the extended quadratures have positive weights and simple nodeson the interval of integration. The class of weight functions consideredcomplements those for which the Gausss-Kronrod rule is known to exist.
This is a joint work with Prof. Miodrag M. Spalevic.
57
Aleksandar Pejcev, Miodrag Spalevic
Faculty of Mechanical Engineering
QUADRATURE FORMULAS FOR THEFOURIER-CHEBYSHEV COEFFICIENTS
Abstract
We consider the well known Micchelli-Rivlin quadrature formula, ofhighest algebraic degree of precision, for the Fourier-Chebyshev coefficients.For analytic functions the remainder term of this quadrature formula canbe represented as a contour integral with a complex kernel. We study thekernel, on elliptic contours with foci at the points ∓1 and a sum of semi-axes ρ > 1, for the quoted quadrature formula. Starting from the explicitexpression of the kernel, we determine the locations on the ellipses wheremaximum modulus of the kernel is attained. So we derive effective L∞-error bounds for this quadrature formula. Complex-variable methods areused to obtain expansions of the error in the Micchelli-Rivlin quadratureformula over the interval [−1, 1]. Finally, effective L1-error bounds are alsoderived for this quadrature formula.
Miroslav Pranic
University of Banja Luka, Faculty of Sciences
RATIONAL GAUSS QUADRATURE
Abstract
The n-point mechanical quadratures which are exact in the 2n-dimensionalspace of rational functions (with preassigned poles) are considered. Thebasic idea is to stay as close as possible to the ideas behind well-knownGolub-Welsch algorithm.
58
Zana Kovijanic Vukicevic, Goran Popivoda, Vladimir Bozovic
Faculty of Sciences Podgorica
EXTREMAL VALUES OF CERTAIN TOPOLOGICALINDICES OVER SOME SPECIAL CLASSES OF GRAPHS
Abstract
In this paper we give an overview of following problems: maximal valuesof Zagreb indices over chemical trees, minimal values of Zagreb coindicesover chemical trees, and minimal value of detour index over connectedbicyclic graphs. Corresponding extremal graphs are also presented.
Miodrag Spalevic
University of Beograd, Faculty of Mechanical Engineering
ERROR ESTIMATES OF GAUSS-TURAN QUADRATURES
Abstract
A survey of our recent results on the error of Gauss-Turan quadratureformulae for functions which are analytic on a neighborhood of the set ofintegration is given. In particular, a computable upper bound of the erroris presented which is valid for arbitrary weight functions. A comparison ismade with the exact error and number of numerical examples, for arbitraryweight functions, are given which show the advantages of using such rulesas well as the sharpness of the error bound. Asymptotic error estimateswhen the number of nodes in the quadrature increases are presented. Acouple of numerical examples are included.
59
Gradimir V. Milovanovic
Mathematical Institute of the Serbian Academy of Sciences and Arts,Belgrade
NONSTANDARD QUADRATURES OF GAUSSIAN TYPE
Abstract
Let Dµ be a finite positive Borel measure on the real line such thatits support is an infinite set, and all its moments µk =
∫R x
kDµ(x), k =0, 1, . . ., exist and are finite. Let P be the space of real polynomials andPn ⊂ P be the space of polynomials of degree at most n.
The n-point quadrature formula∫Rf(x)Dµ(x) =
n∑k=1
wkf(xk) +Rn(f), (1)
which is exact on the set P2n−1, i.e., Rn(P2n−1) = 0, is known as theGauss quadrature formula. His famous method of approximate integration,Gauss discovered for the Legendre measure dµ(t) = dt on [−1, 1] in 1814,and he obtained values of quadrature parameters, the nodes xk and theweights wk, k = 1, . . . , n, by solving nonlinear systems of equations for n ≤7. Computationally, today there are very stable methods for generatingGaussian rules. The most popular of them is one due to Golub and Welsch,which is based on determining the eigenvalues and the first components ofthe eigenvectors of a symmetric tridiagonal Jacobi matrix, with elementsformed from the coefficients in the three-term recurrence relation for themonic polynomials orthogonal with respect to the inner product (f, g) =(f, g)Dµ =
∫R f(x)g(x)Dµ(x) (f, g ∈ L2(Dµ)). The Gaussian quadrature
formulae were generalized in several ways.In this lecture we present two kinds of the so-called nonstandard Gaus-
sian quadrature formulae, which have been recently developed. If the in-formation data f(xk)nk=1 in the standard quadrature (1) are replacedby (Ahkf)(xk)nk=1, where Ah is an extension of some linear operatorAh : P → P , h ≥ 0, we get a non–standard quadrature formula∫
Rf(x)Dµ(x) =
n∑k=1
wk(Ahkf)(xk) +Rn(f). (2)
60
Beside the theoretical results on existence, uniqueness and several prop-erties of such kind of Gaussian quadraures (based on operator values),Milovanovic & Cvetkovic have proposed a stable algorithm for their nu-merical construction. Also, some special classes of linear operators havebeen analyzed, e.g.,
(Ahf)(x) =1
2h
∫ x+h
x−h
f(t)Dt, (Ahf)(x) =m∑k=0
bkhk
k!Dkf(x),
(Ahf)(x) =m∑
k=−m
akf(x+ kh), (Ahf)(x) =m−1∑k=−m
akf
(x+ (k +
1
2)h
),
for which several interesting explicit results connected with theory of or-thogonal polynomials have been obtained. The first case, with the theaverage operator (operator of Steklov), is connected with the so-called in-terval quadratures, which have been also recently studied.
The second approach is related with quadratures for integrals of theform I(f) =
∫R(Lf)(x)Dµ(x), where L is a linear operator acting between
certain functional spaces. In a recent joint paper with S. Esmaeili, a fam-ily of nonstandard Gauss-Lobatto quadratures for numerical calculatingintegrals of the form
∫ 1
−1 f′(x)(1 − x)αDx, α > −1, has been derived and
applied to approximation of fractional derivatives of Riemann-Liouville andCaputo type.
In this lecture we devote a special attention to an important case of theGauss-Lobatto type with (Lf)(x) = αf(x) + (1 + x)f ′(x), α > 0,∫ 1
−1
(Lf)(x)w(x)Dx = A0f(−1) +n∑
k=1
Akf(xk) + An+1f(1) +Rn(f),
where Rn is the remainder term such that Rn(P2n+1) = 0. Under someconditions on the moment sequence µνν≥0 we prove that such quadra-tures exist for each n ∈ N. The nodes xk are real and lie in (−1, 1) andthe weights Ak can be expressed in terms of the corresponding Christof-fel numbers of an equivalent Gauss-Christoffel quadrature formula. Spe-cial cases and applications are also analyzed. A software implementa-tion of these quadratures was done by the recent Mathematica pack-age OrthogonalPolynomials, which is downloadable from the Web Site:http://www.mi.sanu.ac.rs/~gvm/. Several numerical examples are pre-sented and they show the effectiveness of the proposed approach.
61
Hranislav Milosevic
University of Pristina, Kosovska Mitrovica, Serbia
Sonia A. Beisel, Alexandar D. Rychkov
Institute of Computational Technologies SB RAS, Novosibirsk, Russia
Alexandar D. Rychkov
Institute of Computational Technologies SB RAS, Novosibirsk, Russia
MODELING OF TSUNAMI RUN UP USING OF LARGEPARTICLES OF SHALLOW WATER THEORY ON THE
SHORE AREA
Abstract
The work presents an approach to 2-D modeling of tsunami waves runupon the coast based on the use of large-particle method for calculating zonesof the waves runup on the shore area to shore effect. Computational al-gorithm is based on the classical equations of shallow water theory. Theresults of the verification of the numerical algorithm and validation of themathematical model on two-dimensional problems are presented. The op-portunities of the methodology are demonstrated by the calculation of thewave runup on the coast of some regions of Japan during the 2011 Tohokutsunami, on the Russian coast.
62
Zeljko Przulj
Elektrotehnicki fakultet Unverziteta u Istocnom Sarajevu, Institut zanuklearne nauke Vinca, Univerzitet u Beogradu
Zoran Ljuboje
Elektrotehnicki fakultet Unverziteta u Istocnom Sarajevu
Zoran Ivic
Institut za nuklearne nauke Vinca, Univerzitet u Beogradu
SOLITONSKI MODEL TRANSPORTA ENERGIJE INAELEKTRISANJA U MOLEKULSKIM LANCIMA
Apstrakt
Mnogi idealizovani modeli koji se uspjesno koriste u fizici kondenzovanematerije zasnovani su na harmonijskoj aproksimaciji. U okviru ove aproksi-macije uvode se kolektivna pobudenja koja opisuju istovremeno samosa-glasno kretanje velikog broja cestica i koja se mogu posmatrati kao idealnigas kvazicestica (fononi, eksitoni, magnoni...). Interakcija izmedu razlicitihkvazicestica dovodi nelinearnosti dinamickih jednacina koje opisuju evolu-ciju odredenog sistema. Ovakvi problemi se rjesavaju razlicitim perturba-cionim metodama.
Tokom vremena izdvojili su se problemi koji se nisu mogli objasniti uokviru pomenutog koncepta linearnih pobudenja. Karakteristicni prim-jeri su domenski zidovi u magneticima i feroelektricima, vorteksi u su-perprovodnicima, polaroni i drugi. U svim ovim slucajevima se radi osustinski nelinearnim pojavama, za ciji opis je trebalo razviti nove metode.Iako se radi o pojavama razlicite fizicke prirode, njihov teorijski opis bilo jemoguce svesti na mali broj modela, gdje se evolucija sistema opisuje nelin-earnim parcijalnim diferencijalnim jednacinama [1]. Partikularna rjesenjaovih jednacina su nelinearni, ujedinjeni talasi solitoni. Najvaznije nelin-earne jednacine koje dovode do solitonskih rjesenja su: Korteveg-de Fris,sinus-Gordonova i nelinearna Sredingerova.
Nastanak solitona vezan je za spontano narusenje simetrije homogenogsistema, odnosno sa autolokalizacijom energije pobudenja, gustine naelek-trisanja ili drugih fizickih velicina. Bitna osobina solitona je da se krecu
63
u kompaktnoj formi, zadrzavajuci oblik obvojnice i dimenzije proizvoljnodugo. Solitoni nastaju kao posljediva balansa suprotnih fizickih teznji:disperzije koja nastoji da rasiri talasni paket i nelinearnosti koja tezi daformira udarni talasni front.
Davidov i saradnici su predlozili novi model lokalizacije i transportavibracione energije i naelektrisanja u molekulkskim lancima [2]. U osnoviove teorije je ideja da se elektroni, protoni, unutarmolekulska pobudenja idrugo, mogu biti zahvaceni lokalnom deformacijom resetke, sa kojom gradevezano stanje koje se prostire kroz sistem u obliku solitona. U osnovisolitonskog mehanizma je efekat autolokalizacije.
U ovom radu, u okviru teorije koja objedinjuje vremenski zavisan var-ijacioni metod, odnosno Davidovljeve teorije i dressing metod [3], anal-iziracemo egzistenciju razlicitih tipova autolokalizovanih stanja u molekul-skim lancima. Razmotrena su dva tipa interakcije kvazicestica, sa akusticnimi sa optickim fononima. Ova stanja, polaroni i solitoni, su klasifikovana iodredeni su uslovi njihove egzistencije u zavisnosti od osnovnih param-etara sistema. Na osnovu dobijenih rezultata razmotrena je relevantnostsolitonskog modela transporta energije i naelektrisanja u spiralnim bje-lancevinama.
Dalibor Cevizovic, Zeljko Przulj, Zoran Ivic
Institut za nuklearne nauke Vinca, Univerzitet u Beogradu, Laboratorijaza teorijsku fiziku i fiziku kondenzovane materije, Beograd, Srbija
PRIMENA VARIJACIONOG METODA NA ODRE-DIVANJESTATISTICKI NAJPOVOLJNIJIH KVANTNIH STANJA
EKSITACIJA KOD PROTEINSKIHMAKROMOLEKULARNIH LANACA
Apstrakt
Odredivanje statisticki najpovoljnijih stanja kvantnih cestica u kristal-nim i kvazikristalnim strukturama koje se nalaze na konacnim temper-aturama veoma je slozen problem. On se obicno resava izborom varija-cione funkcije i odredivanjem varijacionih parametara koji moraju odgo-varati minomalnoj vrednosti Helmholcove slobodne energije posmatranogsistema. Ovakve procedure mogu biti veoma slozene i zahtevati velike
64
racunarske resurse. Slozenost procedure je uslovljena slozenoscu hamil-tonijana ovakvih sistema, posebno u slucaju kad se ne mogu zanemaritiinterakcije medu podsistemima. Tada je i samo izracunavanje Helmhol-cove slobodne energije zahtevan posao. U ovakvim slucajevima obicno sepribegava nekoj aproksimativnoj metodi. U mnogim slucajevima, varija-cioni metod zasnovan na primeni Bogoljubovljeve nejednakosti u znatnojmeri moze pomoci pri proceni gornje granice Helmholcove slobodne en-ergije. Ovakav metod u literaturi se obicno naziva Bogoljubovljev varija-cioni metod.
U radu su razmotrene osobine vibracionih pobudenja u makromoleku-larnim lancima i njihova zavisnost od fizickih parametara makromolekulakao i temperature okruzenja. U obzir je uzeta interakcija vibrona sa ter-malnim oscilacijama makromolekula. Primenjen je varijacioni metod zas-novan na korisenju modifikovane unitarne transformacije Langa i Firsova,a statisticki najpovoljnija stanja vibrona su procenjena iz gornje graniccnevrednosti Helmholcove slobodne energije, primenom Bogoljubovljeve ne-jednakosti.
Analizom dobijenih rezultata uoceno je da za pojedine vrednosti param-etara strukture, kao i za odredene vrednosti temperature okruzenja pos-toji nagla promena fizickih osobina vibronskih stanja: u pocetku slabolokalizovani, prakticno slobodni vibroni, bivaju zahvaceni u okolini nekogstrukturnog elementa makromolekularnog lanca. Procenjena je zavisnostkriticnih vrednosti parametara strukture od temperature. Dobijeni rezul-tati potvrduju ranija opazanja dvojnosti prirode vibrona u ovakvim struk-turama, dobijena slozenim numerickim procedurama.
65
Vidan Govedarica
Elektrotehnicki fakultet Istocno Sarajevo
Tatjana Mirkovic
Prirodno-matematicki fakultet Kosovska Mitrovica
NEKE JEDNAKOSTI I NEJEDNAKOSTI SOPSTVENIHVREDNOSTI GRAFOVA
Apstrakt
U radu su dokazane jednakosti i nejednakosti za sopstvene vrednostidatog grafa G = (V,E) , |V | = n > 1, |E| = m > 1, Opialovog iWirtingero-vog tipa.
Spektralna teorija grafova se veoma cesto primenjuje u resavanju mnogihproblema u racunarskim naukama, numerickoj matematici, fizici, biologiji,kao i u mnogim drugim naucnim i tehnickim disciplinama. U ovom radu sestavlja akcenat na njenu primenu u hemiji. Hemijski sastavi se predstavl-jaju empirijskim i strukturalnim formulama. Strukturalne formule se mogupredstaviti pomocu grafova, pri cemu se atomi predstavljaju cvorovima, ahemijske veze granama grafa. U izucavanju materijala i legura spektralnateorija grafova igra nezaobilaznu i osnovnu ulogu. Narocito se primenjujeu slucajevima kada novi materijali i legure treba da se sintetisu sa unapreddefinisanim karakteristikama.
Glavni zadatak spektralne teorije grafova je nalazenje spektra, tj sop-stvenih vrednosti i sopstvenih vektora datog grafa, kao i odredivanje karak-teristicnog i minimalnog polinoma. Nijedan od ovih zadataka, u opstemslucaju nije lak, a veoma retko se mogu naci resenja u zatvorenom obliku.Zbog toga se, prilikom izracunavanja sopstvenih vrednosti, odnosno nulaodgovarajuceg karakteristicnog polinoma, cesto koriste numericke metode.Takode, veoma znacajnu ulogu igraju nejednakosti, koje sadrze sopstvenevrednosti ili karakteristicne polinome. U ovom radu smo izlozili jednakosti inejednakosti, posebno one diskretne Opialovog i Wirtingerovog tipa (videtina primer [1,3]). Razlog lezi u cinjenici da se one mogu transformisati unejednakosti za sopstvene vrednosti grafova.
66
Bogdana Stanojevic
Mathematical Institute of the Serbian Academy of Sciences and Arts
Milan Stanojevic
University of Belgrade, Faculty of Organizational Sciences
GENERATION OF THE NON-DOMINATED SET FORBI-OBJECTIVE LINEAR FRACTIONAL PROGRAMS –
CONJECTURAL CONCLUSIONS
Abstract
The aim of this work is to give an idea about how the non-dominatedset of a bi-objective linear fractional program may be generated by usingthe solutions to certain linear programming problems. We transpose theclassic idea of weighting objectives to the idea of weighting marginal solu-tions, thus avoiding the complexity that comes from the optimization of anonlinear objective function. Both continuous and discrete cases are ad-dressed. We report the computational results obtained by solving randomgenerated instances and practical applications.
Petar D. Mandic, Mihailo P. Lazarevic
Faculty of Mechanical Engineering, University of Belgrade
Tomislav B. Sekara
Faculty of Electrical Engineering, University of Belgrade
AN ALGORITHM FOR STABILIZATION OF LINEARCONTROL SYSTEMS USING FRACTIONAL ORDER PID
CONTROLLERS
Abstract
In recent years, considerable attention has been paid to linear con-trol systems whose processes or controllers are of fractional-order. Thisis mainly due to the fact that many real physical systems are well char-acterized by fractional-order differential equations, i.e., equations involv-ing noninteger-order derivatives. On the other side, the PID controller
67
is unquestionably the most commonly used control algorithm in the con-trol industry, because of its relatively simple structure that can be easilyunderstood and implemented. Therefore, to enhance the robustness andperformance of linear PID control systems, a generalization of the PIDcontroller, namely PIλDµ controller, is introduced. It includes an inte-grator of order λ and differentiator of order µ, where the orders λ and µmay assume real noninteger values. It has been shown that the PIλDµ con-troller, which has extra degrees of freedom introduced by λ and µ, providesa better response than the integer-order PID controllers. The problem ofasymptotic stability is one of the basic requirements in control systems,and here it is solved using the D decomposition approach. In this paper,the D-decomposition method is generalized for the case of fractional-orderPIλDµ controllers. Simple and efficient computational methods for de-termining stability regions in parameter space of a linear fractional ordercontroller are presented. Some comparisons of fractional and integer orderPID controllers are given based on simulation results.
Zoran Ljuboje, Zeljko Przulj, Ognjen Bjelica
Univerzitet u Istocnom Sarajevu, Elektrotehnicki fakultet, IstocnoSarajevo
PRIMJENA NUMERICKIH METODA PRI RJESAVANJUNEKIH PROBLEMA U FOTOREFRAKTIVNOJ OPTICI
Apstrakt
Mnogi procesi u fizici opisuju se diferencijalnim jednacinama. U nekimsituacijama te jednacine je tesko ili nemoguce rijesiti analiticki pa se tadapri rjesavanju koriste numericke metode. Numericka metoda koju primjen-jujemo moze nam dati pogresna rjesenja. U nekim situacijama u rjesenjimase mogu pojaviti numericke nestabilnosti ili nas metoda moze voditi do tzv.numerickog haosa. U radu ce biti analiziran primjer rjesavanja diferenci-jalne jednacine i bice pokazano kako razlicite numericke meode daju ra-zlicita, pa i pogresna rjesenja, iako se jednacina moze rijesiti analiticki. Naovom primjeru pokazace se koja metoda daje najtacnija rjesenja. Nakontoga bice analizirani primjeri iz oblasti nelinearne optike, konkretno bice
68
analizirani neki aspekti fotorefraktivnog efekta. Ovaj efekat se javlja priinterakciji laserske svjetlosti sa nekim kristalima pri cemu dolazi do peri-odicne promjene indeksa prelamanja date opticke sredine. U ovoj situacijiformira se difrakciona resetka u kristalu na kojoj se mogu rasijavati dodatniupadni zraci.
Fotorefraktivni efekat je opisan diferencijalnim jednacinama koje se teskomogu rjesavati analiticki pa se rjesavaju numerickim metodama. U rjesenjimase pojavljuju numericke nestabilnosti za koje je potrebno ustanoviti da liimaju eksperimentalnu potvrdu.
Tamara Bojicic
Elektrotehnicki fakultet Podgorica
Vesna Popovic-Bugarin
Elektrotehnicki fakultet Podgorica
UTICAJ PERIODA AKTIVACIJE URE-DAJA NAUPRAVLJANJE OPTERECENJEM
ELEKTRODISTRIBUTIVNE MREZE PRIMJENOMRAZLICITIH KRITERIJUMA MINIMIZACIJE
Apstrakt
Cilj algoritama za upravljanje opterecenjem elektrodistributivne mrezejeste smanjenje iznosa koji potrosaci placaju za utrosenu elektricnu en-ergiju, ali i povecanje stabilnosti elektrodistributivne mreze u smislu sman-jenja odnosa maksimalnog i srednjeg nivoa opterecenja mreze u toku 24h.Sa ovakvim algoritmima koji obezbjeduju postizanje pomenutih perfor-mansi potrosaci bi trebali biti upoznati, ali i podstaknuti na njihovo koriscenje.Kako bi to bilo ostvarljivo u radu je analizirana mogucnost primjene ovihoptimizacionih algoritama uz koriscenje aktualne (linearne) funkcije ci-jene, a predlozeni su i nacini njene modifikacije uz sto manje izmjeneiste. Predlozena je i promjena perioda aktivacije uredaja (onih sa kliznimvremenom aktivacije kao sto su: masina za ves, masina za sude itd.) izvremena vise u vrijeme nize tarife, a sve u cilju sto boljih performansialgoritma za optimizaciju i simuliranja realne situacije u praksi. Dobi-jeni rezultati predstavljaju znacajan oslonac za primjenu optimizacionih
69
algoritama u praksi, kao i motivaciju za rad na njihovom unapredivanjui prilagoavanju potrosacima, sto bi moglo predstavljati znacajan pomaku razvoju savremenih tokova tehnologije. Rezultati simulacija pokazujuda bi domacinstva, postujuci sate vise i nize tarife, primjenom predlozenogalgoritma ostvarila znacajna smanjenja iznosa koji placaju za elektricnu en-ergiju uz istovremeno smanjenje odnosa maksimalnog i srednjeg opterecenjamreze, cime se obezbjeduje njena stabilnost.
Milan Dotlic
Institute Jaroslav Cerni for the Development of Water Resources,Belgrade, Serbia
Mladen Ignjatovic
Faculty of Technology, Zvornik, University of East Sarajevo, Bosnia andHerzegovina
Aleksandar Jovic
Faculty of Mathematics, University of Belgrade, Serbia
NUMERICAL SOLUTIONS TO LOVE’S INTEGRALEQUATION
Abstract
The electrostatical potential in the space, generated by a condenserconsisting of two parallel equal circular plates is described with integralequation of the second kind, known as Love’s integral equation
f(y)± 1
π
∫ 1
−1
d
(x− y)2 + d2f(x)dx = 1, |y| ≤ 1, d ≥ 0, d ∈ R.
In the fluid dynamics this equation describes small-amplitude verticaloscilations of a thin rigid plate beneath the free surface of deep water.
Numerical difficulties arise in approximating solution f as the parameterd decreases.
We present several numerical algorithms to solve the Love’s Integralequation. The first one represents the unknown function f in basis ofBoubaker polynomials. This method gives poor results if the parameter
70
d ≪ 1. Method based on dividing integrational domain and using thechange of variables, gives better results when d≪ 1, but it is computationalcost. For Love’s equation with negative sign and a very small parameterd (i.e. less than 1e− 7) based on the DE-SINC transformation is the bestchoice. Method based on the arcsinh transformation with the interpolationgives quite accurate results with low computational cost.
We presented numerical results obtained with each method consideringdifferent values of parameter.
Ivana Kuzmanovic, Zoran Tomljanovic, Ninoslav Truhar
Department of Mathematics, J. J. Strossmayer University of Osijek,Croatia
LYAPUNOV AND T -LYAPUNOV EQUATIONS WITH SOMEAPPLICATIONS IN MECHANICS
Abstract
Lyapunov equation is equation of the form
AX +XAT = E,
where A,E ∈ Rn×n are given and X ∈ Rn×n is unknown matrix. T -Lyapunov equation (known also as Lyapunov equation for T -congruence)is equation of the form
AX +XTAT = E,
where A ∈ Rm×n, E ∈ Rm×m and the unknown matrix is X ∈ Rn×m.
Lyapunov equations play a vital role in a number of applications suchas matrix eigendecompositions, control theory, model reduction, numericalsolution of matrix differential Riccati equations, image processing, eigen-value assignment problem, and many more.
On the other hand, T -Lyapunov equation comes from the theory ofHamiltonian mechanical systems, it can also be used for the singular valuedecomposition of time varying matrices, for H2 optimal output feedbackcontrol for descriptor systems and generalized algebraic Riccati equationfor continuous-time descriptor systems.
71
It is straightforward but very interesting to emphasize that the sym-metric solution of T -Lyapunov equation (if it exists) corresponds to thesolution of Lyapunov equation, i.e. Lyapunov equation can be understoodas constrained Lyapunov equation for T -congruence:
AX +XAT = E ⇐⇒ AX +XTAT = EX = XT .
This connection between Lyapunov and T -Lyapunov equations can be usedin some structured problems. For example, if A = SAST , where S isregular matrix, then multiplying AX+XAT = E from the left by S−1 andfrom the right by S−T , from Lyapunov equation we obtain T -Lyapunovequation AY +Y T AT = E, where Y = STXS−T and E = S−1ES−T . Then
AX +XAT = E ⇐⇒AY + Y T AT = E,
Y = STXS−T , X = XT ,
A = SAST , E = S−1ES−T .
If A has some particular structure, then the right-hand side constrainedT - Lyapunov structured problem may have better properties then the un-structured Lyapunov equation.
In this talk we will concern application of Lyapunov and T -Lyapunovequations to the problem of optimal damping in mechanical systems. Forthat purpose we first consider a mathematical model of a linear vibrationalsystem:
Mx+Dx+Kx = 0, (3)
where the matrices M,D and K (called mass, damping and stiffness, re-spectively) are real, symmetric matrices of order n with M and K positivedefinite. D = Cu + Cext is the damping matrix where Cu represents theinternal damping while matrix Cext = vC0 is a positive semidefinite matrixwith C0 which describes the geometry of external damping and v representsviscosity. Equation (3) can be transformed to the phase space which yieldsa system of first order differential equations y = Ay, where
A =
[0 Ω−Ω −ΦTDΦ
], y =
[y1y2
], (4)
where Φ is matrix which simultaneously diagonalizeM andK, i.e. ΦTKΦ =Ω2 and ΦTMΦ = I. The solution of above equation is y = eAty0 where y0contains the initial data.
72
In damping optimization very important question arises: for given massesand stiffnesses we want to determine the ”best” damping matrix D whichinsures optimal evanescence of each component of y. There exists differentoptimality criterions for that problem. We will use criterion based on theminimization of the total energy averaged over all initial states of the unittotal energy and a given frequency range which is equivalent to
trace(X) → min, (5)
where X is the solution of the Lyapunov equation
AX +XAT = −Z (6)
where Z = GGT and G determines eigenfrequencies of the undamped sys-tem which will be damped.
Damping optimization using criterion (5) requires solving the Lyapunovequation (6) numerous times since we need to optimize the viscosity param-eter or even geometry of external damping. Moreover, efficient dampingoptimization was widely studied in past, but due to complexity of presentedproblem, this is also nowadays very investigated problem.
Nebojsa Nikolic, Dragana Makajic-Nikolic
University of Belgrade, Faculty of Organizational Sciences
CONNECTION BETWEEN METRIC DIMENSION OFHYPERCUBE AND COIN WEIGHING PROBLEM
Abstract
In this paper we consider the connection between metric dimension prob-lem of hypercube graph and coin weighing problem. Metric dimension ofhypercube (βn) is the minimum cardinality of a resolving set of hypercubeQn. Coin weighing problem posed by Soderberg and shapiro can be definedas follows: for n coins, each with one of two distinct weights, determinethe weight of each coin with the minimum number of weighings (fn). Itis known that fn differs from βn by at most one. We have shown thatstronger inequalities holds: fn ≤ βn ≤ fn−1 + 1. In addition, we considerthe connection between the minimum cardinality of a doubly resolving set
73
of hypercube (ψn) and coin weighing problem. We have shown that equal-ity ψn = fn + 1 holds and, as a consequence, βm+n ≤ βm + βn. The lastinequality shows that well-known hypothesis β(G2H) ≤ β(G) + β(H) istrue in the case of hypercube graph.
Dragan Matic
Prirodno-matematicki fakultet Banja Luka
Vladimir Filipovic
Matematicki fakultet Beograd
Jozef Kratica
Matematicki institut SANU Beograd
PREGLED METODA ZA RJESAVANJE PROBLEMAMAKSIMALNO BALANSIRANE POVEZANE PARTICIJE U
GRAFU
Apstrakt
Problem pronalazenja maksimalno balansirane povezane particije spadau siroku klasu problema particionisanja grafa, koji pronalazi primjenu urjesavanju mnogih problema u teoriji i praksi. U ovom radu prikazan jepregled do sada razvijenih egzaktnih i heuristickih metoda za rjesavanjeovog NP teskog problema. Prikazani su eksperimentalni rezultati na os-novu kojih su uporedene performanse opisanih metoda.
74
Marija Stanic
University of Kragujevac, Faculty of Science, Department of Mathematicsand Informatics
AN OPTIMAL SET OF QUADRATURE RULES FORTRIGONOMETRIC POLYNOMIALS
Abstract
In this paper we define an optimal set of quadrature rules with an oddnumber of nodes for trigonometric polynomials in Borges’ sense [Numer.Math. 67 (1994), 271–288]. As a matter of fact we consider evaluationof a set of p ∈ N definite integrals over the same interval E of length2π, taken with respect to the different weight functions and related to acommon integrand. The optimal set of quadrature rules is characterizedby multiple orthogonal trigonometric polynomials of semi–integer degree.Theoretical results are illustrated by some numerical examples.
Silvia Gilezan, Jelena Ivetic
Univerzitet u Novom Sadu, Fakultet tehnickih nauka
Pierre Lescanne
University of Lyon, Ecole Normal Superieure de Lyon, France
Silvia Likavec
Dipartimento di Informatica, Universita di Torino, Italy
SOME ADVANTAGES OF THE LAMBDA CALCULI WITHRESOURCE CONTROL
Abstract
The subject of our research are the resource control lambda calculi,term calculi with operators for duplication and erasure of variables, thatcorrespond to the explicit structural rules of contraction and thinning inlogic. Some distinctive properties of both untyped and typed resourcecontrol lambda systems will be discussed. Particularly, we will focus on
75
the natural connection between resource control operators and intersectiontypes that enables the specification of the role of a variable in a term. Ourconclusion is that, due to the presented properties, lambda calculi with theresource control represent in some situations more convenient core calculifor the implementation than the traditional lambda calculus.
Miroslav Maric
Matematicki fakultet Beograd
Aleksandar Takaci
Tehnolosk fakultet Novi Sad
Darko Drakulic
Filozofski fakultet Pale
PRIMENA RAZLICITIH KONORMI U MODELOVANJUFAZI LOKACIJSKIH PROBLEMA
Apstrakt
Problemi pokrivanja lokacija (Covering location problems) predstavljajuvaznu klasu problema kombinatorne optimizacije. Standardni modeli ovihproblema ne opisuju precizno probleme iz stvarnog zivota, koji cesto sadrzeneprecizne uslove. Koriscenje fazi skupova i razlicitih konormi omogucavapreciznije modelovanje tih problema, a samim tim i dobijanje kvalitetnijihresenja. U ovom radu bice prezentovana primena fazi skupova koriscenjemtri razlicite konorme u modelovanju problema pokrivanja lokacija, a rezul-tati ce biti ilustrovani na definisanju novih modela za probleme maksi-malnog pokrivanja lokacija (Maximal covering location problem), mini-malnog pokrivanja lokacija (Minimal covering location problem) i pokri-vanja skupa lokacija (Location set covering problem).
76
Huse Fatkic
Department of Mathematics, Faculty of Electrical Engineering, Universityof Sarajevo
Mehmed Brkic
Department for Automatic Control and Electronics, Faculty of ElectricalEngineering, University of Sarajevo
Berina Fatkic
Department of Mathematics, Faculty of Science Sarajevo, University ofSarajevo
ON MEASURABILITY-PRESERVING WEAKLY MIXINGTRANSFORMATIONS
Abstract
In this paper, we investigate some metric properties, dispersive effectsand various notions of recurrence for measurability-preserving weakly mix-ing (MPWM) transformations on metric spaces endowed with a normalizedmeasure. We consider four types of recurrent behavior (exact recurrence,Poincare recurrence, coherent recurrence and strictly coherent recurrence)for some classes of measurability-preserving discrete time dynamical sys-tems. The second of these, which is the type originally introduced by JulesHenri Poincar (published in 1890) and is still by far the most widely dis-cussed, especially in physics, holds for all (MPWM) transformations byvirtue of the fact that they are measure-preserving. Poincare had shownthat almost all points in a space subject to a measure-preserving trans-formation return over and over again to positions arbitrarily close to theiroriginal position. However, P. Johnson and A. Sklar in [6] regard the thirdtype (”coherent recurrence” for measurability-preserving transformations)as being of at least equal physical significance, and this type of recurrencefails for Chebyshev polynomials. They also found that there is considerableevidence to support a conjecture that no strongly mixing transformationcan exhibit coherent recurrence.
Continuing the work begun by Johnson and A. Sklar [6], and R. E. Rice[6], we define the fourth type of recurrent behavior and obtained some
77
results that extend their results from strongly mixing transformation to(MPWM) transformations.
In addition to this work, we also extend the previous results on somemetric properties and dispersive effects due to T. Erber, B. Schweizer andA. Sklar [2], H. Fatkic [3], H. Fatkic and M. Brkic [4] and C. Sempi [10].
Stevan Scepanovic, Marko Grebovic
Prirodno-matematicki fakultet Podgorica, Univerzitet Crne Gore
MATEMATICKA ANALIZA POBOLJSANJA ENERGETSKEEFIKASNOSTI AUTOMATIZACIJOM SISTEMA
POTROSNJE ENERGIJE I OPTIMIZOVANJEM TROSKOVAGRADNJE
Apstrakt
Pitanje energetske efikasnosti u gradnji danas se najcesce posmatra izdva ugla: utroska energije kroz sisteme grijanja/hladenja i osvjetljenjai kroz energetske performanse omotaca (izolacije, zidova, krova, vrata iprozora). U oba slucaja, glavni problem koji treba rijesiti je pitanje is-plativosti. Sto se tice utroska energije, jedno rjesenje bi bilo koriscenjeobnovljivih izvora energije. To je svakako pozeljno, ali cesto ne donosi do-voljnu ustedu. Zbog toga se pribjegava nekim drugim metodama. Jednaod njih je optimizaciju troskova gradnje i implementacija automatizovanogsistema za upravljanje potrosnjom energije. U nasem radu smo, za anal-izu energetske efikasnosti u gradnji, koristili metodu imitacionog modeli-ranja. Ova metoda predstavlja proces konstruisanja modela realnog sis-tema i eksperiment sa ovim modelom na racunaru. Dakle, sam procesimitacionog modeliranja se sastoji iz dva dijela: izgradnje modela sistemai primjene tog modela za analizu sistema koji se modelira. Pri analizienergetske efikasnosti uz pomoc imitacionog modela, potrebno je sto jemoguce preciznije definisati tz. ciljnu funkciju, tj. mora biti jasna pred-stava koji su ciljevi i zadaci modeliranja posmatranog sistema i koji su toneophodni kriterijumi za ocenu ispunjenja tih ciljeva. Ciljna funkcija ilikriterijuma modeliranja je bio da se dobije sistem koji ce, uz optimalnaulaganja, trositi manje energije, a koji ce zadovoljiti sve potreba savre-menog covjeka za grijanjem, hladenjem, osvetljenjem, komunikacijama,
78
higijenom itd. U praksi se obicno izdvajaju dva tipa ciljnih funkcija ili kri-terijuma modeliranja: prvi je izgraditi modela postojeceg sistema u ciljunjegovog posmatranja i poboljsanja njegovih karakteristika, a drugi je proc-jena potrosnje energije, kada se planira izgradnja novog objekta u fazi pro-jektovanja. Ovaj se cilj podudara sa zadatkom ovog rada. Ciljna funkcijamora biti jednoznacno odredena ciljem ili zadatkom analize i mora odgo-varati prihvacenim resenjima. Ona je obicno sastavni dio modela i cio pro-ces manipulisanja sa modelom usmeren je na optimizaciju ili zadovoljenjetog cilja i zadatog kriterijuma. Cilj rada je izgradnja matematickog modelaoptimizacije troskova gradnje, uz postizanje najboljih performansi zgrade.U radu je posebno analizirana primjena automatizovanog sistema upravl-janja potrosnjom energije, zasnovanog na bezicnoj racunarskoj mrezi.
Ralevic Nebojsa, Dukic Sanja, Danijela Karaklic
Fakultet tehnickih nauka u Novom Sadu
RASTOJANJA IZME-DU FAZI OBJEKATA
Apstrakt
U skupu svih fazi objekata definisanih nad nekim univerzalnim skupommoze se dati pojam rastojanja koje moze biti metrika ili ne. Sva rastojanjakoja razmatramo su, dakle, oblika, gde je skup fazi objekata definisanihnad univerzalnim skupom (razliciti tipovi fazi skupova, fazi tacke), a pod-interval skupa realnih brojeva, skup nenegativnih fazi brojeva. Primeneu razlicitim oblastima kao sto su teorija slike, prepoznavanje oblika dikti-raju nam kakve osobine ta rastojanja treba da zadovoljavaju. Najcesce tarastojanja su semimetrike odnosno tzv. pseudometrike kod kojih ne vazinejednakost trougla. Obicno je ona zamenjena nejednakoscu u kojoj fig-urisu (ko)norme. U primeni su najcesce rastojanja izmedu fazi objekatadefinisana samo preko njihovih funkcija pripadanja, a postoje i definicijekoje kombinuju standardno definisana rastojanja sa funkcijama pripadanjaodgovarajucih objekata.
79
Nebojsa Ralevic, Marko Janev, Danilo Rapaic
Fakultet tehnickih nauka u Novom Sadu
FAZI REGRESIJA
Apstrakt
Najveci broj primena linearne regresije se moze svrstati u dve kategorije.Prva je predikcija ili predvidanje, gde regresiju koristimo da bismo kon-struisali model koji odgovara opserviranim podacima. Druga je selekcijaobelezja, to jest slucaj kada imamo odreden broj nezavisnih promenljivihkoje mogu imati neki uticaj na rezultujucu promenljivu, gde linearnu re-gresiju mozemo koristiti za procenu koja od tih promenljivih ima uticaja ikoliki je taj uticaj na rezultujucu promenljivu. U slucaju da nas je prirodaproblema, kojim se bavimo, navela da koristimo fazi regresiju, postavljajunam se sledeca pitanja: Kako cemo definisati rastojanje medu fazi objek-tima? Da li cemo dozvoliti postojanje negativnih koeficijenata? Da li cemoi kada koristiti regularizaciju modela? Odgovori na ova pitanja najcesceproizilaze iz same prirode podataka i slozenosti modela koji zelimo dati.
Sandra Buhmiler
Fakultet tehnickih nauka u Novom Sadu
JEDAN ALGORITAM ZA FORMIRANJE I RESAVANJEGRANICNOG SISTEMA ZA SINGULARNE PROBLEME
Apstrakt
Uvodenje granicnog sistema jedna je od modifikacija kojom se ubrzavakonvergencija iterativnog niza ka singularnom resenju sistema nelinearnihjednacina. Za formiranje i resavanje granicnog sistema postoji veoma brz,lokalno konvergentan algoritam koji zahteva izracunavanje matrice jakobi-jana i hesijana u svakoj iteraciji. U ovom radu je predlozena modifikacija al-goritma u kojoj se matrice jakobijana i hesijana aproksimiraju konacnim ra-zlikama, dok brza lokalna konvergencija ka resenju ostaje ocuvana. Kombi-nacijom metode negativnog gradijenta sa linijskim pretrazivanjem i predlo-zene modifikacije dobija se globalno konvergentan algoritam koji je veoma
80
brz u okolini resenja singularnog problema. Algoritam je testiran na rel-evantnim primerima iz vec postojece literature i predstavljeni su neki oddobijenih numerickih rezultata.
Dragan Vidakovic, Dusko Parezanovic
Gimnazija, 13. Septembar 58, 32250 Ivanjica, Serbia
POINT MULTIPLICATION ON ELIPTIC CURVES OVER FP
Abstract
National Institute of Standards and Technology (NIST) has added El-liptic curve cryptosystems (ECC) to its set of standard cryptographic al-gorithms. One of the most important operations for all applications ofelliptic curves is scalar point multiplication- the operation of multiplyinga random number by a point on an elliptic curve. This fact is the reasonwhy in this paper we present a full software implementation for comput-ing scalar point multiplication on non-supersingular elliptic curves definedover the finite field Fp. Weierstrass and Edwards curves are commonlyused in real life cryptography. Weierstrass curves are already an industrialstandard and point multiplication on them is amongst the fastest. Thoseare the reasons why Weierstrass curves are the basis of this paper.
Radoslav Milosevic
Filozofski fakultet Pale
KVANTIFIKATORI OGRANICENOG DOMETA
Apstrakt
U uvodnom dijelu rada navodi se interpretacija matematickih konstruk-cija.
U glavnom dijelu rada bice istaknuta interpretacija kvantifikatora, teinterpretacija logickih veznika.
Na kraju rada posebno ce se obraditi kvantifikatori ogranicenog dometasa posebnim osvrtom na univerzalni i egzistencijalni kvantifikator, kao i nanegaciju recenica koje sadrze kvantifikatori.
81
Dusan Jokanovic, Mirsada -Dezic, Marina Zirojevic
Fakultet za proizvodnju i menadzment Trebinje
A NOTE TO CANTOR-ZASSENHAUS ALGORITHM
Abstract
The topic of this paper is the Cantor-Zassenhaus randomized algorithmfor factoring polynomials over Fp. The basic idea is to choose a poli-nomial g ∈ Fp[x] of degree less than n at random, and than computeh = g(p
d−1)/(p−1) mod f. The polinimial h is computed using repaeatedsquaring, and h always satisfy hp ≡ h mod p, and with probability 1− 1
p
it will not be a constant. A significant compuer savings is obtained bychoosing g = x+ r, where r ∈ Fp is choosen at random.
Vladan Mastilovic1, Milorad Banjanin2
1 Ministarstvo Odbrane Sarajevo, 2 Filozofski fakultet Pale
WEB SERVISI U MD REINZENJERINGUINFORMACIONIH SISTEMA
Apstrakt
U eri stalnog napredka softverskih tehnologija informacioni sistemi razvi-jeni juce postaju nasledeni informacioni sistemi danas. Ipak napredak in-ternet tehnologija otvorio je mogucnost ponovne upotrebe nasledenih in-formacionih sistema i produzenje njihovih resursa, ne poznajuci geografskaogranicenja. Web servisi su se pojavili kao nova paradigma za dizajn irazvoj softvera iz komponenti u distribuiranom mreznom okruzenju. Onisu zasnovani na servisno orijentisanoj arhitekturi (SOA), XML-u i HTML-u. Nasledeni informacioni sistemi u procesu reinzenjeringa mogu ugradititehnologiju Web servisa i kao takvi mogu se ponovo koristiti u distribuira-nom okruzenju i na heterogenim platformama. Prateci savremene trendoveda se zakljuciti da se glavne inovacije u izgradnji i razvoju informacionihsistema odnose na problem njihove integracije i interoperabilnosti. Os-novni koncepti koji se u literaturi koriste za resavanje problema integracijei interoperabilnosti su: reinzenjering, restrukturiranje, reverzni inzenjering
82
i inzenjering prema napred (forward engineering). Aktuelna orijentacijaje na modelom vodeni razvoj sistema, arhitektura, procesa, inzenjeringa.Model vise nije samo sredstvo za dokumentovanje i analizu sistema, vec jedeo implementacije sistema, u smislu da je moguce transformisati modelu programski kod za ciljnu platformu. Modelom vodeni ili MD (Model-driven) pristupi razvoju sistema pomerili su interesovanje sa programskihjezika trece genderacije (3GL) na modele. Ovo istrazivanje predstavljasveobuhvatan, sistematican i automatizovan pristup modelom vodenomreinzinjeringu nasledenih informacionih sistema uWeb servise. Cilj je dakleizbeci ponovno pisanje cijelog nasledenog informacionog sistema i kretanjeod nule.
SEKCIJA ZA VJEROVATNOCU I STATISTIKU
SECTION FOR PROBABILITY AND STATISTICS
85
Slavica Medic, Tatjana Grbic
Faculty of Technical Sciences, University of Novi Sad, Serbia
CHEBYSHSEV TYPE INEQUALITIES BASED ONg-INTEGRALS
Abstract
Pseudo-integral inequalities of Chebyshev type for g-semirings are con-sidered. Generator g is a monotone continuous function. Pseudo-operationsare defined by x⊕ y = g−1(g(x) + g(y)) and x⊙ y = g−1(g(x) · g(y)).
In the real-valued case, expectation and higher moments do not exist forthe Chaychy’s distribution. With the suitable choice of the generator g, thecomputation of the pseudo-expectation for the Cauchy’s distribution andapplicability of the Chebishev’s inequality on the Cauchy’s distribution ispossible.
Keywords: g-semiring, g-integral, Cauchy’s distribution, pseudo-ex-pectation, Chebyshev type inequality
Halima Elfaghihe, Kristina Veljkovic, Vesna Jevremovic
Department of Probability and Statistics, Faculty of Mathematics,University of Belgrade
OPTIMAL PROCESS CALIBRATION FOR SOMEEXAMPLES OF NON-SYMMETRIC LOSS FUNCTIONS
Abstract
The process calibration is one of the methods in statistical process con-trol for improving the quality of the products used by our society. Weintroduced basic notions of statistical process control and gave a review onloss functions used in this area. This paper is concerned with the problemof process calibration for some examples of non-symmetric loss functions.We suggested an optimal calibration policy which can be implemented us-ing our programs written in statistical software R.
86
Huse Fatkic
Department of Mathematics, Faculty of Electrical Engineering, Universityof Sarajevo
Slobodan Sekulovic
Hot Springs National Park, Arkansas, USA
Hana Fatkic
Department for Computer Science and Informatics, Faculty of ElectricalEngineering,University of Sarajevo
ON HARMONIC MEAN VALUES AND WEAKLY MIXINGTRANSFORMATIONS
Abstract
Let (S, d) be a (extended) metric space, and let A be a subset of S. Forany positive integer k,(k ≥ 2), we define the harmonic diameter of order kof A, denoted by Dk(A), by
Dk(A) := sup
(k
2
) ∑1≤i≤j≤k
[g(xi, xj]−1
−1
|x1, . . . , xk ∈ A
.
Note that D2(A) is the (ordinary) diameter of the set A. The main resultin this work is the following theorem:
In the above situation if (S,A, P ) is a normalized measure (probability)space with the property that every open ball in (S, d) is P -measurableand has positive measure and if ϕ is a transformation on S that is weaklymixing with respect to P and A is P -measurable with µ(A) > 0, thenlimn→0Dk(ϕ
n(A)) = Dk(S). This extends the known result by R. E. Rice([6], Theorem 2) (motivated by some physical phenomena and offer someclarifications of these phenomena) from ordinary diameter to harmonicdiameter of any finite order.
The above theorem shows that any set A of positive measure necessarilyspreads out, not only in (ordinary) diameter, but also in harmonic diameterof any finite order. Thus, even though A may not spread out in ”volume”(measure), there is a very definite sense in which A does not remain small.
87
The obtained results here also extend and/or complement the previousresults due to T. Erber, B. Schweizer and A. Sklar [2], H. Fatkic and M.Brkic [3] , N. S. Landkof [5], E. B. Saff [7] and C. Sempi [9].
There is considerable evidence to support a conjecture that our result(for weakly mixing transformations/weakly mixing dynamical systems withdiscrete time) can be extended to weakly mixing dynamical systems withcontinuous time (see [1, pp. 6 - 26]).
Tijana Levajkovic
Faculty of Traffic and Transport Engineering, University of Belgrade
PROPAGATOR METHOD FOR MALLIAVIN-TYPEEQUATIONS
Abstract
We consider stochastic differential equations that involve the Malliavinderivative, the Skorokhod integral and the Ornstein-Uhlenbeck operator.Applying the propagator method in white noise spaces we solve these equa-tions and obtain explicit forms of the solutions in the space of Kondratievgeneralized stochastic processes. For a better understanding we provideseveral examples.
Kristina Veljkovic
Department of Probability and Statistics, Faculty of Mathematics,University of Belgrade
THE X BAR CONTROL CHART FOR NON-NORMALSYMMETRIC DISTRIBUTION OF QUALITY
CHARACTERISTIC
Abstract
The X bar chart is one of the most important techniques in statisticalquality control used to monitor a change in the process mean. This pa-per is concerned with the construction of the X bar control chart whenquality characteristic has non-normal symmetric distribution. For chosen
88
Student, standard Laplace and logistic distributions of quality character-istic, we calculated theoretical distribution of standardized sample meanand approximated it with Pearson VII distribution. Width of control lim-its and power of the X bar control chart were established, giving evidenceof goodness of fit of Pearson VII distribution to theoretical distribution ofstandardized sample mean.
Jelena Stanojevic
Faculty of Economics, University of Belgrade
INTERVALNO OCENJIVANJE VARIJANSE
Apstrakt
Problem ocenjivanja varijanse dosta je izucavan u dosadasnjoj litera-turi. Sa stanovista strucne prakse jasna je vaznost resavanja tog problema.U ovom radu bice istaknuti neparametarski intervali poverenja za vari-jansu, problem jednog uzorka. Takode ce biti istaknuti neparametarskiintervali poverenja za razliku varijansi, problem dva uzorka. I predstavl-jen je problem nalazenja intervala poverenja za kolicnik varijansi pomocuEdgewotrhovog razvoja odgovarajuce statistike.
Tatjana Bajic
Higher Education School of Professional Studies for Preschool Teachers inSabac
AN ORTHOGONAL STOCHASTIC MEASURE AND THENORMED HERMITE POLYNOMIALS
Abstract
We consider stochastic integrals of the square integrable functions withrespect to an orthogonal stochastic measure. Since the normed Hermitepolynomials constitute a complete orthonormal system in the space ofsquare integrable functions with respect to the Gaussian measure, someinteresting results can be obtained.
Keywords : Stochastic orthogonal measure, stochastic integrals, Hermitepolynomials.
SEKCIJA ZA ISTORIJU, FILOZOFIJU I
NASTAVU MATEMATIKE
SECTION FOR HISTORY, PHILOSOPHY ANDMATHEMATICS TEACHING
91
Slobodan Vujosevic
University of Montenegro, Faculty of Natural Sciences and Mathematics
NONCOMPUTABILITY, MIND AND PHYSICS
Abstract
Among the consequenses og Godel’s incompleteness theorem is the at-titude that the human mind cannot be explained in terms of any kindof computational process. Since the mind transcends computation it musttransceds physics, unless there are some noncomputational aspects of phys-ical lows. If we consider the possibility that the laws of physics might them-selves involve noncomputational procedures (see [ Penrose, R., 2011, Godel,the Mind, and the Laws of Physics, In Kurt Godel and the Foundations ofMathematics - Horizons of Truth, Cambridge, Cambridge University Press,2011, pp. 339-358.]), mentality can lie within the actions of the physicalbrain.
Radoje Scepanovic
Prirodno-matematicki fakultet Podgorica
PRIMJERI LINEARNIH PRESLIKAVANJA I JEDNACINAU NASTAVI SREDNJE SKOLE
Apstrakt
U radu se navode primjeri linearnih preslikavanja: f(x) = ax, skalarniproizvod dva vektora, vektorski proizvod dva vektora, projekcija vektorana osu, simetrija u odnosu na koordinatne ose, rotacija oko koordinatnogpocetka, homotetija itd. Takode se razmatra i rjesavanje linearnih jednacinasa posebnim osvrtom na strukturu njihovog rjesenja (homogena, neho-mogena, zbir njihovih rjesenja).
92
Vesna Jevremovic
Matematicki fakultet Beograd
KOMBINATORIKA - ZIVOT I MATEMATIKA
Apstrakt
U okviru nastave matematike, na svim nivoima, od osnovne skole dofakulteta, a takode i u naucno-istrazivackom radu srecemo se sa zadacimakombinatornog tipa. Permutacije, varijacije ili kombinacije, sa ili bez pon-avljanja, uvek su u vezi sa nekim realnim problemom. U izlaganju ce bitidat pregled i osobine osnovnih pojmova iz kombinatorike, ilustrovanih navecem broju primera koji se javljaju, ili mogu javiti, u nastavi na raznimnivoima. Elementi primene kombinatorike u verovatnoci i statistici cetakode biti predstavljeni.
Gordana Lastovicka-Medin
Faculty od Sciences and Mathematics, University of Montenegro
ASSESSING CHILDRENS THINKING
Abstract
This research was originally motivated by the findings author recordedstudying cognitive abilities and development of own children, in particularcomparing impact of two divergent educational systems (UK and Montene-gro) and taking into account the simultaneous/sequential bilingual lan-guage acquisition. We show that individual differences in the processes inthe learners mind or brain depend significantly on curriculum and instruc-tional materials as well as on teachers instruction (pedagogy). Our findingsemphasize that assessing childrens thinking is much more than assessingtheir cognitive ability. A summary of the literature and case studies wepresented, suggest that to fully support the development of childrens think-ing we need to pay attention to the following key areas: social/emotionaldevelopment (are children adequately confident to tackle ambiguity andexpress their point of view?), motivation and dispositions to learn (do chil-dren show adequate perseverance and persistence to stay with a problem
93
and to think it through), cognitive development (have children developedthe capacity to sequence and order, classify and sort at a concrete level?),linguistic development (have children acquired the linguistic competenceto explain and give reasons, use conditional construction and reasoning?,can they explain why they have done things in a certain way, discuss theirplan of action and answer open-ended questions?), creative development(do children show a degree of imagination and flair in what they do?), re-flective responses (can children ask questions and express the need to findout more?, can children be to some extent self-critical, accept suggestionsfrom others, tackle ambiguity and be open to challenge?). Finally we pointour the crucial question: what are the teachers (those involved in childreneducation) thinking skills and what is their belief in relation to necessityof developing children thinking skills, stretching their mind, exploring fullpotential. As it is given in conclusion: there is no reform which couldchange education until teacher and society as whole change attitude tolearning from challenge, start to valuate thinking skills and governmentmake happy surrounding for children, parents and educator.
Mirko Dejic
Uciteljski fakultet u Beogradu
KORENI I SVEDOCANSTVA SLOVENSKE (SRPSKE)NUMERACIJE
Apstrakt
Na poziv velikomoravskog kneza Rastislava (oko 846-870) vizantijski carMihajlo III (836-867) salje 863. godine solunsku bracu Cirila (oko 826-869)i Metodija (oko 820-885) da sire hriscanstvo i pismenost medu Slovenima.Pored azbuke, Cirilo i Metodije donose i zapisivanje cifara po uzoru na jon-sko zapisivanje (oko 500 g.p.n.e.). Svedocanstva o pisanju malih i velikihbrojeva kod Slovena nalaze se na srednjovekovnim poveljama, freskama,epigrafima, cifarnicima na satovima itd. Kod Srba najvise spomenikapotice iz doba Nemanjica. Jedno od najznacajnijih svedocanstava Slovenskenumeracije predstavlja najstarija sacuvana matematicka knjiga kod Rusa,ciji je autor monah Kirik (1110-?) iz Antonijevog manastira u VelikomNovgorodu.
94
U radu iznosimo alfabetski zapis cifara kod starih Slovena, pokazujemoslovenski izum zapisivanja veoma velikih brojeva, dokazujemo direktnuvezu slovenske i jonske numeracije, upoznajemo se sa rukopisom monahaKirika i prikazujemo istorijske spomenike u kojima se nalazi staroslovenskozapisivanje brojeva.
Savo Cebic
Visoka tehnicka skola strukovnih studija u Zrenjaninu
STA TO BESE UGAO?
Apstrakt
Medu geometrijskim figurama istaknuto mesto ima UGAO. Postoje raznipristupi formiranju ovoga pojma kao i njegovom definisanju. U radu jeukazano kakve sve probleme mogu izazvati razliciti pristupi ovome pojmuu skolskoj nastavi matematike. Dat je i jedan savremeni pristup formiranjapojma ugla. Posebno je istaknuta nedoslednost u udzbenickoj literaturi zaosnovnu skolu kad je u pitanju formiranje ovoga pojma. Pojam ugla kodsvrsenih ucenika osnovne skole nije u potpunosti formiran!
Aleksandar Nikolic
Univerzitet u Novom Sadu, Fakultet tehnickih nauka
INSTITUCIONALNI RAZVOJ MATEMATIKE U SRBIJI DOVELIKOG RATA
Apstrakt
Institucionalni razvoj matematike u Srbiji pociva na dve nacionalneinstitucije: visokoskolskoj ustanovi pod nazivom Licej, osnovanoj 1838.(od 1863. Velika skola a danas Univerzitet u Beogradu) i Drustvu srpskeslovesnosti, osnovanom 1841. (od 1864. Srpsko uceno drustvo, od 1886.Srpska Kraljevska Akademija - SKA, pa Srpska Akademija Nauka - SAN,danas Srpska akademija nauka i umetnosti - SANU). Njihovom saradnjom i
95
preplitanjem aktivnosti, na Univerzitetu u Beogradu je, prvenstveno zaslu-gom Mihaila Petrovica i Bogdana Gavrilovica, osnovan Matematicki sem-inar koji je posle Drugog svetskog rata, pod nazivom Matematicki insti-tut SANU, prerastao u najvisu srpsku matematicku instituciju. U okviruMatematickog seminara - instituta razvijale su se Petroviceva matematickaskola izmeu dva svetska rata i Karamatina skola matematicke analize posleDrugog svetskog rata. Danas su one poznate kao Beogradska skola matem-atike.
Marina Zubac
Fakultet prirodoslovno-matematickih i odgojnih znanosti Sveucilista uMostaru
GRUPNI OBLIK RADA U NASTAVI MATEMATIKE
Apstrakt
U ovom radu se istrazuju prednosti grupnog rada u nastavi matematike.Istrazivanje je provedeno u Gimnaziji Citluk tokom prva tri mjeseca ovegodine. Obuhvacalo je 80 ucenika prvih razreda gimnazije. Ucenici su bilipodijeljeni u dvije grupe, oni kojji su radili u grupnom radu (eksperimen-talna grupa) i oni koji su imali tradicionalnu nastavu (kontrolna grupa).Grupe su bile ujednacene, sto se vidi iz ocjena iz matematike na krajuprvog polugodista. Na kraju smo proveli test znanja koji je pokazao da jeuspjesnija bila eksperimentalna skupina, χ2 = 12, 76 na razini znacajnosti0, 05 i uz 4 stupnja slobode.
Provedena je i anketa iz koje se vidi da vecina nastavnika rijetko ko-risti ili nikako ne koristi grupni rad u nastavi matematike. Zato se dajepreporuka koristenja grupnog rada u nastavi matematike.
96
Spasoje Mucibabic
Univerzitet Odbrane, Vojna akademija Srbije
Dragan Vukmirovic
Statisticki zavod Srbije
Milan Martic
Fakultet organizacionih nauka Beograd
MATEMATICKO-STATISTICKIM METODAMA IVOJNOSTRATEGIJSKOM ANALIZOM DO ISTINE OSARAJEVSKOM ATENTATU I POCETKU PRVOG
SVETSKOG RATA
Apstrakt
Priblizava se obelezavanje stogodisnjice Sarajevskog atentata i pocetkaPrvog svetskog rata. Na sceni su nastojanja da se optuze Srbi za njegovootpocinjanje i to poveze sa krvavim raspadom SFRJ. Istorijski revizionizamje vrlo organizovan i preti opasnost da ono sto su nasi predci ostvarili naratistima Balkana i sire, a sto je verifikovano na medunarodnom nivou, dase revidira na nasu stetu. Smatramo da je obaveza ove generacije, posebnonaucnika svih oblasti, da u svom domenu na naucnom nivou ucine naporeda se to spreci i istina jasno dokaze.
Zbog toga je ovo interdisciplinarni rad koji cini sintezu matematicko-statistickih metoda i vojnostrategijske analize, zasnovan na dokumento-vanim cinjenicama iz medunarodnih i Srpskih arhiva, i jasno dokazuje daSrpski narod nije mogao da donese racionalnu odluku, koja bi ga vodila urat.
97
Jasmina Milinkovic
Uciteljski fakultet, Univerzitet u Beogradu
O TEORIJI I PRAKSI POSTAVLJANJA PROBLEMA UNASTAVI MATEMATIKE
Apstrakt
Rad je posvecen teorijskom sagledavanju postupka kreiranja matematickihproblema. Vise decenija paznja istrazivaca usmerena je na postupke resavanjaproblema sa dominantnim uticajem izuzetnog rada Dzordza Polje. Postavljase pitanje da li se moze utvrditi metoda za postavljanje problema. U raducemo prikazati metodu postavljanja problema transformacijama. U prvomdelu bavimo se prostorom problema. U drugom, prikazujemo postupaktransformacije zadatka od lakseg ka tezem ili obratno menjanjem elemenataprostora problema. Posebno, bavimo se kreiranjem matematickih prob-lema ilustrujuci na odabranim primerima mogucnost upadanja u zamke,postavljanja problema u kojima se zahteva nalazenje (ili odredivanje) matema-tickog objekta koji ne postoji (nije odreden)-u praksi se kaze da ”zadataknema resenje”. Ukazujuci na postojanje veze izmedu vladanja matematickimznanjima i vladanja vestinama postavljanja problema, isticemo znacaj sti-canja kompetencija u postavljanju problema za buduce nastavnike matem-atike.
Vladimir Drekalovic
Faculty of Phylosophy Niksic
HISTORICAL DEVELOPMENT OF THE ONTOLOGICALARGUMENT PHILOSPHICAL AND MATHEMATICAL
ASPECTS
Abstract
Topic of God’s existence has always occupied philosophers, theologiansand scholars. Roughly speaking, there are two approaches to this issue.The first is religious, and it relies on the Gospel. The other is scientific,and it relies on reason. It seems that these two approaches, historically,
98
have divergent roads. But, the case of Ontological argument shows that,on the one hand, faith and science, and on the other hand, philosophy andmathematics, have many common points. The idea of the exact proof ofGod’s existence is developed under the auspices of theology and philosophy.Recently, a collection of official supporters of this idea has gained newmember - mathematics.
In such a way the Ontological argument has a special value. We cansee that it passes different historical phases under the auspices of variousscience. Namely, it goes from the initial theological level, through thephilosophical idea of formalization and, finally, gets the modern rigorousformal-logical forms.
Branislav Popovic
Univerzitet u Kragujevcu, Prirodno–matematicki fakultet, Institut zamatematiku i informatiku
Radojko Damjanovic
Ministarstvo prosvete, nauke i tehnoloskog razvoja Republike Srbije
KONKRETNO I APSTRAKTNO - MATEMATICKEREPREZENTACIJE I RAZVOJ KOGNICIJE KOD UCENIKA
Apstrakt
Razvoj kognicije kod ucenika je u tesnoj vezi sa razvojem matematickogmisljenja. Odgovarajuce osmisljavanje reprezentacija matematickih ob-jekata neophodno je u razvojnom pristupu procesu ucenja. U tim repreze-ntacijama odredujemo odnos konkretnog i apstraktnog u aranziranju ak-tivnosti u cilju postizanja optimuma ucenja. Upotreba manipulativa unastavi matematike moze da olaksa razumevanje matematickih objekata.Razumevanje pojmova i matematickih objekata u razlicitim reprezentaci-jama predstavlja vise nivoe kognicije, ali i mogucnost uocavanja analogijai operisanja na ovim nivoima.
99
Gordana Lastovicka-Medin
Faculty od Science and Mathematics, University of Montenegro
EXPERIENTIAL EDUCATION: MULTI-SENSORYAPPROACH AND LINKING THE ABSTRACT TO THE
CONCRETE
Abstract
This article discusses the importance of using multi-sensory approach,network of connections between concrete experiences, representations, lan-guage and symbolic notation in teaching science and mathematics. JohnDewey originally wrote about the benefits of experiential education in 1938,explaining, ”There is an intimate and necessary relation between the pro-cesses of actual experience and education”. This article emphasizes theimportance of opportunity for students to develop their own opinions ofconcepts based on interaction with the information. Dewey also suggeststhat each students experience will be individualized based on past experi-ences, and not all students will take away the same outlook of the concept,thus, the experiential learning classroom mimics society, where all peoplehave different views of topics and information”. He argued that ”if knowl-edge comes from the impressions made upon us by natural objects, it isimpossible to procure knowledge without the use of objects which impressthe mind” (Dewey, 1916/2009, p. 217-218). Study presented in this pa-per shows observations over 5 years, resulting from teaching of physics atFaculty of Science and Mathematics and Teacher Training Department atFaculty of Philosophy at University of Montenegro. Groups of studentsfrom different departments where level of conceptual knowledge contentwas different have been involved and their response to experiential educa-tion has been investigated. The study shows high percentage of studenthaving serious problem to link abstract concept to concrete when faced toit for the first time, although they would learn to describe the concept andalso would learn to underline link to other concept (through concept map-ping). Reasons of low motivation of students to develop their own opinionsof concepts based on interaction with the information were studied. More-over, the reason, why large number of student, who displayed knowledge of
100
facts or concept, did not further created new knowledge through compar-ing, inferring, explaining and connecting the prior knowledge to the fea-tures of the question, has been questioned and studied. Characterizationsof students reasoning strategies as keys in the development of instructionalstrategies that foster meaningful learning have been additionally studied.We have been in particular, interested to identify the shortcut reasoningprocedures (heuristics) used by students to reduce cognitive load, in orderto help us invent strategies to facilitate the development of more analyticalways of thinking.
Ivan Budimir
Sveuciliste u Zagrebu, Graficki fakultet
ZENONOV PARADOKS O AHILEJU I KORNJACI IBESKONACNOST
Apstrakt
Cuveni Zenonov paradoks o utrci izmedu najbrzeg starogrckog heroja izHomerove Ilijade i Odiseje Ahileja i spore kornjace i danas je, nakon vise od2500 godina, predmetom brojnih rasprava u filozofiji i matematici. Drevnifilozofi Platon, Aristotel, Toma Akvinski, suvremeni filozofi poput Mar-tina Heideggera, osnivaci diferencijalnog racuna Newton i Leibniz, osnivacteorije relativnosti Albert Einstein, matematicar i logicar Bertrand Rus-sell i brojni drugi znanstvenici suocavali su se s Zenonovim argumentima.Prema Russellu ovi paradoksi ”postali su osnova matematicke renesanse”.I danas je ovaj ”zloglasni” paradoks predmetom proucavanja filozofa imatematicara, o cemu govore mnogi radovi koji su objavljeni na tu temu.U ovom radu ukazano je na viseznacnost kljucnog Zenonovog argumenatau paradoksu o Ahileju i kornjaci. Analizirana je beskonacna djeljivostkonacnih intervala prostora i vremena koja se javlja u Zenonovim konstruk-cijama. Detaljnom analizom beskonacne djeljivosti nailazi se na problemviseznacnosti pojma beskonacnosti koja se moze interpretirati kao poten-cijalna ili aktualna beskonacnost. U klasicnom matematickom rjesenjupomocu geometrijskog reda, beskonacna djeljivost svodi se na odredivanjelimesa niza parcijalnih suma. Tako, rjesenje paradoksa ovisi o definicijilimesa niza koji se tumaci preko potencijalne beskonacnosti. U tom smislu
101
paradoks se moze smatrati rijesenim. No, ako se beskonacna djeljivostshvati u smislu aktualne beskonacnosti, izvod starogrckog genija i dalje os-taje u odredenom smislu paradoksalan. Naime, aktualnu beskonacnost nijemoguce iskustveno predociti. Stoga aktualnu beskonacnost nije moguceniti adekvatno pojmiti. Beskonacno kao totalitet transcendira sve sposob-nosti naseg misljenja i ostaje mu nedohvatljivo. Ovim radom pokazano jeda nam Zenonov paradoks o Ahileju i kornjaci ukazuje da prostor i vri-jeme sadrze neka zagonetna svojstva, poput beskonacne djeljivosti, kojune mozemo obuhvatiti nasim intelektom.
Dragica Milinkovic
Pedagoski fakultet Bijeljina
MODELOVANJE JEDNACINA U MLA-DIM RAZREDIMAOSNOVNE SKOLE
Apstrakt
U pocetnoj nastavi matematike najveci broj problema se svodi na rjesa-vanje pomocu jednacina koje predstavljaju izazov za ucenike, iako njihovaprimjena na tom uzrastu ima znatna ogranicenja. Prilikom upotrebe mod-ela jednacina u rjesavanju realnih problema u mladim razredima osnovneskole, ucenici se susrecu sa brojnim teskocama, medu kojima su najvaznijeformiranje odgovarajucih jednacina i rjesavanje formiranih jednacina, buducida su veze izmedu poznatih i nepoznatih velicina u realnim problemimarazlicitog karaktera. Shodno tome, ne postoji univerzalna metoda po ko-joj bismo kontekstualne probleme preveli na algebarski jezik. Zato je ubazicnom skolskom ciklusu neophodno, prije svega, iskoristiti kognitivnekompetencije ucenika u implementiranju sadrzaja o linearnim jednacinamasto podrazumijeva da se u poucavanju koriste jednostavniji, pogodniji iefikasniji nacini koji slijede njihove sposobnosti, odnosno metode koje omo-gucavaju ”slikovni” pristup postavljanju i rjesavanju jednacina. U tomsmislu, matematicko modelovanje linearnih jednacina primjenom grafickogpristupa podrazumijeva odredene postupke koji se redoslijedommogu prim-ijeniti pri rjesavanju svakog problema: proucavanje verbalnih (tekstualnih,ilustrativnih) prikaza kontekstualnih problema, identifikovanje numerickihi promjenljivih velicina koje su eksplicitno date kao ”nepoznate” i nji-hovo graficko predstavljanje, uocavanje i izrazavanje algebarskih odnosa u
102
vizuelnom prikazu, postavljanje i rjesavanje algebarskih jednacina, te kon-tekstualne interpretacije numerickih i algebarskih izraza u njima. Shodnotome, u prvom dijelu rada predstavicemo matematicke modele u kojimaslikovne demonstracije pojednostavljuju modelovanje linearnih jednacina.Drugi, metodoloski dio orijentisan je na utvrdivanje efekata slikovnog pris-tupa u modelovanju jednacina u mladim razredima osnovne skole prim-jenom eksperimentalne metode, a treci na interpretaciju kvantitativnih ikvalitativnih pokazatelja. Evidentno je da heuristicka vrijednost vizuelizacijeu mladim razredima osnovne skole, upucuje na primjenu slikovnog pred-stavljanja, ne samo u modelovanju linearnih jednacina, nego i u prikazi-vanju matematickih pojmova, pravila i rjesavanju problema.
Dragana Matic
Ugostiteljsko-trgovinsko-turisticka skola
Milisav Knezevic
Republici pedagoski zavod Republike Srpske
Dragan Matic
Prirodno-matematicki fakultet Banja Luka
MODERNIZACIJA NASTAVNIH PLANOVA I PROGRAMAIZ MATEMATIKE ZA SREDNJE STRUCNE SKOLE U
REPUBLICI SRPSKOJ
Apstrakt
U ovom izvjestaju se govori o aktivnostima radne grupe, koja je ispredRepublickog pedagoskog zavoda Republike Srpske zaduzena za modern-izaciju nastavnih planova i programa iz matematike za srednje strucneskole u Republici Srpskoj. Objasnjena je metodologija rada na osnovukoje je realizovana modernizacija i prikazani su sadrzaji predlozenih novihnastavnih planova i programa, uz analizu slicnosti i razlika u odnosu naprethodno stanje.
103
Milenko Pikula
Filozofski fakultet Pale
Jelena Bozalo
Filozofski fakultet Pale
SLOBODE I OGRANICENJA UCITELJA U REALIZACIJINASTAVE MATEMATIKE
Apstrakt
Sa aspekta intelektualnog razvoja ucenika razredne nastave i matem-atike kao nauke ucitelj ima odredene slobode i ogranicenja u realizaciji nas-tavnog procesa. U ovom radu bavimo se odnosom komponenti slobodnogi ogranicavajuceg kao stalnim realnostima nastavnog procesa. Nastavnik,kao kljucni faktor nastavnog procesa, dovoljno dobrim uspostavljanjemodnosa navedenih komponenti razvija i kod ucenika osjecaj slobodnog iogranicavajuceg. Ta problematika je sadrzajna i znacajna kako sa teori-jskog, tako i sa prakticnog aspekta.
Sanja Maricic
Univerzitet u Kragujevcu, Uciteljski fakultet u Uzicu
Krstivoje Spijunovic
Univerzitet u Kragujevcu, Uciteljski fakultet u Uzicu
METODIKA POCETNE NASTAVE MATEMATIKEIZAZOVI I PERSPEKTIVE
Apstrakt
Promene u savremenoj organizaciji nastave zahtevaju i promene u or-ganizaciji nastave matematike, koji se direktno reflektuju i na promeneu metodickom matematickom obrazovanju ucitelja za rad u izmenjenimuslovima. Autori u radu skrecu paznju na stanje metodike pocetne nas-tave matematike danas, ali i izazove i perspektive njenog razvoja. U tomkontekstu ukazuju na neke od problema koji se, pre svega, odnose na
104
odreivanje njenog mesta u sistemu nauka, nepostojanje jasne teorijske os-nove na kojoj se ova naucna disciplina izgrauje i razvija, skoro iskljucivuusmerenost studijskih programa prema metodickoj transformaciji sadrzaja,probleme koji prate strucno usavrsavanje ucitelja na ovom planu nakonzavrsetka studija i drugo. Pored toga, autori skrecu paznju na neke od za-hteva koji se postavljaju pred nastavu matematike u mlaim razredima os-novne skole danas, kao sto su: usmerenost na razvoj sposobnosti misljenjaucenika, osposobljavanje za primenu znanja, obrazovanje u realnom kon-tekstu, orijentaciju nastave na obrazovna postignuca ucenika, uticaj savre-menih tehnologija u tom procesu, koncept inkluzivnog obrazovanja i drugo.Razresavanje navedenih pitanja i dilema predstavlja izazov za sve one kojise bave problemima metodike pocetne nastave matematike, a istovemenoukazuje na pravce i okvire u kojima se metodika kao naucna disciplinaubuduce mora razvijati.
Ljubica Dikovic
Visoka poslovno-tehnicka skola Uzice
JACANJE INTUITIVNOG USVAJANJA POJMOVA - LIMESI NEPREKIDNOST
Apstrakt
U radu se razmatraju problemi, ali daju i resenja, vezani za usvajanjeveoma bitnih pojmova realne funkcije realne promenljive: limes i neprekid-nost, koji su u uskoj vezi. Koliko god vecina studenata dozivljavala da seradi o ”teskim” i ”komplikovanim” definicijama u cijoj osnovi je ”epsilon-delta” terminologija, zapravo odgovarajucim softverskim resenjima mozese postici pravilno i jako, intuitivno razumevanje ovih pojmova. Cilj radaje u prezentovanju pristupa za prevazilazenje povrsnog usvajanja ovih fun-damentalnih pojmova, kao i izrade tacnih tehnickih resenja zadataka bezrazumevanja, sto se u ovoj oblasti veoma cesto desava.
105
Darko Drakulic, Milorad Banjanin, Milenko Pikula, Vladimir Vladicic
Filozofski fakultet Pale
INTERAKTIVNI UDZBENICI IZ MATEMATIKE UREPUBLICI SRPSKOJ
Apstrakt
Ekspanzija prenosnih elektronskih uredaja koji se nazivaju tableti zapocetaje predstavljanjem uredaja iPad 2010. godine. Glavne karakteristike tabletasu veliki ekrani osjetljivi na dodir, mala tezina i relativno niska cijena,sto im daje veoma znacajniju ulogu u procesu obrazovanja. Primjenaelektronskih interaktivnih udzbenika u nastavi matematike je opravdanijanego u nastavi ostalih predmeta zbog nivoa apstraktnosti sadrzaja. Is-pravno koriscenje adekvatnih animacija, simulacija i didaktickih igara mozepomoci ucenicima u razvijanju apstraktnog misljenja, kao i u razvijanju in-teresovanja za ucenje matematike. Vecina zemalja aktivno radi na razvojuinteraktivnih obrazovnih materijala, a Republika Srpska takode prati tajtrend. U ovom radu su opisani koncepti razvoja interaktivnih udzbenikarazvijenih u okviru projekta ”Interaktivno elektronsko ucenje matematikeu Republici Srpskoj”, koji se realizuje na Univerzitetu u Istocnom Sarajevua u saradnji sa Univerzitetom u Mariboru. Cilj ovog projekta je razvoj in-teraktivnih udzbenika iz matematike ciji se sadrzaj prilagodava nastavnomplanu osnovnih skola u Republici Srpskoj, kao i konteksta za njihovu op-erativnu, funckionalnu i pouzdanu primjenu u kontekstu nastave i ucenja.
Milorad Sukovic, Zoran Lovren
Osnovna skola ”Sveti Sava” Arandelovac
RESENJE NIJE SAMO REZULTAT
Apstrakt
Matematicari koji se bave teorijom resavanja matematickih problemau svojim radovima isticu, a nastava matematike potvrduje, da se procesresavanja matematickog zadatka odvija kroz cetiri osnovne etape, faze: (1)
106
Analiza uslova i razumevanje zadatka (2) Plan (3) Izvrsavanje plana (4)Osvrt na zadatak i resenje ( provera resenja, analiza i komentar resenja,formulisanje odgovora, rezime). Ovo je jedna kratka prica o poslednjojetapi. Paznja koja se poklanja nekom zadatku obicno zavrsava nalazenjemresenja. Stice se utisak da je nalazenje resenja u citavom procesu resavanjanajvaznije i jedina njegova svrha. Znamo da nije tako. Kada dodu doresenja nekog zadatka , ucenici, po pravilu, otkace taj zadatak i ocekujunovi. Tako se gotovo uvek izostavlja vazna i poucna etapa rada osvrt. Zatovalja izgraivati saznanje o tome da dobijanjem resenja (odgovora, rezultata)zadatak skoro nikada nije potpuno iskoriscen, vec ostaje jos ponesto da seuradi. Osvrt na resavanje zadatka (svojevrstan pogled unazad, ali i un-apred) zgodna je prilika da se istraze veze tog zadatka sa drugim zadacimaprimena istog postupka u nekoj drugoj situaciji, uopstavanje i slicno. Pruzase mogucnost ispitivanja novih ideja i daljeg usmeravanja misljenja ucenika.Na nekoliko primera ukazacemo na sadrzajnije i potpunije resavanje jednevrste geometrijskih zadataka u kojima dobijamo jedinstvene rezultate iakouslovima zadatka situacija nije jednoznacno odredena.
Radoslav Milosevic
Filozofski fakultet Pale
NEKI NOVIJI FILOZOFSKI PRAVCI U MATEMATICI
Apstrakt
U ovom radu bice obradeni neki noviji filozofski pravci u matematici:strukturalizam, funkcionalizam, postmodernizam i disfunkcionalizam.
Osnovno nacelo strukturalizma je to da objekti formalnuh sistema ne-maju nikakav prirodan ili unutrasnji identitet, vec svoj identitet sticu krozodnose sa drugim elementima u okviru datog formalnog sistema.
Funkcionalisticko svatanje znacenja sustinski se zasniva na kruznoj, depre-dikativnoj definiciji: identitet strukture jedinice izveden je iz njenih odnosasa totalitetom elemenata strukture kojoj ona pripada. Postmodernizamjednostavno prihvata sve ”paranormalne” posljedice formalisticke na kojeje intuicionizam ukazivao.
Disfunkcionalizam uprkos svom krajnje formalistickom stavu individu-alno se svodi na formalnu kombinaciju simbola, u smiuslu nefunkcional-izma.
107
Sefket Arslanagic
Matematicki fakultet Sarajevo
DOPRINOS MATEMATIKE RAZVOJU LICNOSTI
Apstrakt
Matematika danas prozima cjelokupno drustvo i njena uloga stalnoraste jer se njena pomoc trazi u situacijama i problemima koji se javljajui van same matematike. Matematicki metodi nisu vise privilegija samoznanstvenika, inzenjera i tehnologa; oni se sve vise koriste za analizu indi-vidualnih ponasanja i izucavanja stavova i trendova u drustvu kao cjelini.Ovaj razvoj svakako, povecava zahtjev za matematickom sposo-bnoscu umatematickom modeliranju, u algoritamskim tehnikama. Zato je matem-atika integralni dio ljudske kulture, socijalne, ekonomske i tehnicke okoline,i to ne samo u sadasnjem obliku vec i u svim oblicima koji ce se sigurnorazviti kao posljedica sve sire sposobnosti brzog racunanja.
Milan Zivanovic, Stojkanovic Jelena
Krusevac/Bajina Basta
NASTAVA STATISTIKE U SREDNJOJ SKOLI I MERENJEFREKVENCIJE SAOBRACAJA
Apstrakt
Nastava statistike u cetvrtom razredu je zavrsna tema srednjoskolskogmatematickog obrazovanja. Cesto, zbog pada motivacije i zaokupljenostipripremama za maturske radove i prijemne ispite, ta tema ostane nedo-voljno prihvacena od strane ucenika. Zbog toga smo pokusali da motivacijuza ucenje statistike podignemo kroz prakticnu primenu nastavnih sadrzajau obradi podataka merenja frekvencije saobracaja u opstini Bajina Basta.Lokalna administracija je prepoznala korisnost ovog istrazivanja za pro-jektovanje novih i rekonstrukciju postojecih saobracajnica, te je podrzalaovu akciju. U ovom radu ce biti opisan model aktivne nastave statistikeizveden kroz prakticnu primenu resavanja navedenog konkretnog problemaiz neposrednog realnog okruzenja.
108
Dejic Mirko
Uciteljski fakultet Beograd
Ivana Jovanovic
Osnovna skola Valjevo
TEORIJSKE OSNOVE RESAVANJA PROBLEMSKIHZADATAKA U POCETNOJ NASATAVI MATEMATIKE
Apstrakt
Resavanje problemskih zadataka u nastavi matematike ima niz pozi-tivnih efekata od kojih se u prvi plan isticu: aktiviranje misaonih procesaucenika, misaono angazovanje ucenika, izazivanje intelektualne radoznalostiucenika, podsticanje logickog, kritickog, apstraktnog i stvaralackog misljenja,motivisanje ucenika, podsticanje darovitosti ucenika, negovanje samostal-nosti u radu i sl. Zbog mnogobrojnih kvaliteta do kojih se dolazi resavanjemproblemskih zadataka, pre svega, zbog njihovog pozitivnog uticaja na misaonirazvoj ucenika, oni dobijaju sve veci znacaj u pocetnoj nastavi matem-atike. To je jos razumljivije ako se ima na umu da ucenike od prvih danaskolovanja treba uciti da misle i logicki rasuduju, odnosno osposobljavatiih za resavanje problema. Teskoce i prepreke, koje su glavna karakteristikaproblemskih zadataka, su upravo ono sto podstie misaoni razvoj ucenikai ima pozitivan uticaj na proces ucenja. U radu se ukazuje na teorijskeosnove resavanja problemskih zadataka u pocetnoj nastavi matematike, nasposobnosti ucenika koje su od znacaja za proces resavanja problemskihzadataka, na znacaj resavanja problemskih zadataka, odnosno njihov poz-itivan uticaj na proces ucenja u nastavi matematike. Takode, ukazuje se ina metode resavanja problemskih zadataka u pocetnoj nastavi matematike.
109
Aleksandra Stankovic
OS ”Sveti Sava” Foca
INTERNET I DRUSTVENE MREZE IZME-DUZLOUPOTREBE I SLOBODE
Apstrakt
Kada neko pokusava da objasni na koji nacin Internet funkcionise, obicnonaglasava da je to neformalan i otvoren medij. Informacije slobodno teku isvima su dostupne, sto znaci i da svako svoje informacije moe da plasira usvijet. Demokratija, rekao bi neko. Medutim, sve vise to lici na anarhiju.Internet je svakako napravio revoluciju u mnogim aspektima drustva, asocijalne mree su napravile svoju revoluciju u okviru interneta. Socijalnemreze, a prije svega Fejsbuk, predstavljaju novi model ponasanja. Inter-net se smatra slobodnim medijem, i u pristupu nema vremenskog, geograf-skog, rasnog, polnog, politickog ili drugog ogranicavanja. U veini drzavajos uvijek ne postoji zakonska regulativa koja ogranicava djelovanje putemovog medija, te se on slobodno koristi u najrazlicitije svrhe. Ovaj rad jenapisan sa zeljom da se ukaze na prednosti i nedostatke koristenja inter-neta i drustvenih mreza, te se pokusava odgonetnuti gdje je granica izmeduupotrebe i zloupotrebe. Dakle u trenutku kada veina nas ima pristup ovommocnom sistemu, pokusacemo odgonetnuti kako bi trebalo da se odnosimoprema njemu tako da minimiziramo moguce opasnosti i eventualne stete,kako ne bismo postali zrtva nekog oblika sajber kriminala.
Jasmina Milinkovic
Uciteljski fakultet, Univerzitet u eogradu
FUNKCIJE IGRE U NASTAVI MATEMATIKE
Apstrakt
Rad osvetljava mogucnosti koriscenja didaktickih igara u nastavi matem-atike sa posebnim osvrtom na matematicke igre. U prvom delu se ukazujena uobicajeno videnje igre kao sustinski vazne aktivnosti za razvoj matematickogsaznanja u predskolskom periodu. Primecuje se da igra u potpunosti gubi
110
znacaj sa polaskom dece u skolu. U tom periodu igra se povezuje sa razon-odom i vanskolskim, rekreativnim aktivnostima. U nastavku rada anal-izira se mogucnost ciljanog koriscenja igara i u mladim razredima osnovneskole. Igre o kojima je rec u radu se mogu koristiti u nastavi matematike ucilju motivisanja ucenika, uvezbavanja postupaka, razvijanja sposobnostikomunikacije, itd. Ukazujemo kroz primere da matematicke igre moguuticati na razvoj matematickih sposobnosti, vrlina, vestina, navika i saz-nanja. Posebno, se osvetljava znacaj igre u podsticanju divergentnog /imaginativnog misljenja i holistickog razvoja dece. U radu dajemo prikazodabranih igara iz udzbenika i druge nastavne literature gde su preopoz-nate mogucnosti primene igara u ucenju matematike. Odabrane igre suanalizirane sa aspekta funkcije koju mogu imati u nastavnom procesu.
Karmelita Pjanic
Pedagoski fakultet Bihac
Sanela Nesimovic
Pedagoski fakultet Sarajevo
IDENTIFIKACIJA I KLASIFIKACIJA GEOMETRIJSKIHOBLIKA UOCENIH NA FOTOGRAFIJAMA REALNIH
OBJEKATA - SLUCAJ STUDENATA RAZREDNE NASTAVE
Apstrakt
Jedan od zadataka pocetne nastave geometrije je razvijanje prostornogzora kod ucenika. Preporuka je da se ovaj zadatak realizuje povezivan-jem geometrijskih sadrzaja sa realnim situacijama i objektima. Stogabi se medu osnovnim kompetencijama ucitelja trebale naci i kompeten-cije vezane za prostorni zor, preciznije prostornu vizualizaciju. Sposob-nost prepoznavanja geometrijskih oblika koje susrecu svakodnevno u ra-zlicitim okruzenjima te sposobnost tacnog i preciznog opisivanja tih oblikakoriscenjem geometrijske terminologije pripadaju kompetenciji prostornevizualizacije ucitelja. U radu analiziramo (kvantitativno i kvalitativno)odgovore studenata razredne nastave tokom aktivnosti identifikovanja ge-ometrijskih oblika na 8 fotografija realnih objekata. Analiza odgovora stu-denata usmjerena je na sljedece ciljeve: Analizirati termine navedene u
111
odgovorima studenata, s posebnim osvrtom na tacnost, frekvenciju i razno-likost odgovora. Utvrditi i analizirati kriterije po kojima su studenti klasi-fikovali geometrijske oblike. Analizirati koristenje termina geometrije ravninasuprot terminima prostorne geometrije. Razvrstati netacne odgovorestudenata.
lma Sehanovic
JU gimnazija ”Mesa Selimovic”
Dragana Kovacevic
KSC Sarajevo
PRAVILA DJELJIVOSTI
Apstrakt
Pojam djeljivosti u skupu prirodnih brojeva, ucenici prvi puta srecu usestom razredu osnovne skole. Nakon obradene nastavne jedinice, ucenicibi trebali da znaju rastaviti slozeni broj na proste faktore, prepoznati bro-jeve koji su djeljivi sa 2,3,4,5,9,10 i 15. Trebaju znati odrediti NZS i NZD,te razlikovati proste od slozenih brojeva, kao i relativno proste brojeve.Dakle, sa pojmom djeljivosti i pravilima djeljivosti ucenici se upoznajuveoma rano, ali je cinjenica da ta naucena pravila kasnije rijetko koriste narjesavanju nekih konkretnih zadataka i problema. Kao dokaz za to prov-eli smo jedno istrazivanje u JU Gimazija ”Mesa Selimovic” u Tuzli i KSC”Sveti Josip” u Sarajavu. Rezultati su pokazali da ucenici na konkretnimzadacima jako malo koriste naucena pravila, te da do rjesenja pokusavajudoci uglavnom koristeci digitron, pogadanjem ili rjesavanjem nekih sistema,sto predstavlja puno tezi nacin.
112
Aleksandra Mihajlovic
Fakultet pedagoskih nauka u Jagodini
POSTAVLJANJE PROBLEMA U POCETNOJ NASTAVIMATEMATIKE
Apstrakt
Ucenici bi trebalo da svojim sopstvenim misaonim naporima aktivnokonstruisu znanja. U nastavi matematike ne bi trebalo aktivnosti ucenikasvesti samo na nalazenje resenja rutinskih problema, vec i onih nerutinskih,nestandardnih i nestrukturiranih. Veoma vaznu ulogu u oblasti matem-atike i matematickog misljenja, osim resavanja problema, ima i postavl-janje problema. Naime, u matematici kao nauci postavljanje, formulisanje,generisanje problema predstavlja proces koji zahteva bogato iskustvo iekspertizu u oblasti, ali i kreativno misljenje matematicara. Kada ucenikeangazujemo u postavljanju problema, tada ih zapravo stavljamo u ulogumatematicara kao naucnika i nudimo mogucnost da iskuse nesto drugacijiaspekt matematike. Postavljanje problema omogucava ucenicima da pro-dube svoja matematicka znanja, da poboljsaju razumevanje matematickihkoncepata, motivise ih da razvijaju sopstvene matematicke ideje i pod-stice kreativno misljenje. Ipak, u nastavi matematike se ovoj aktivnostiposvecuje malo vremena. U prvom delu rada daje se prikaz nekih teorijskihrazmatranja i istrazivanja o aktivnostima postavljanja problema, ukazujese na njihov znacaj, i prikazuju se primeri primene u pocetnoj nastavimatematike. U drugom delu rada prikazani su rezultati istrazivanja sprove-denog medu uciteljima ciji je cilj bio da se ispita u kojoj meri primenjujupostavljanje problema u svom nastavnom radu, kao i njihovi stavovi oznacaju ovih aktivnosti.
113
Mico Miletic
Visoka skola za vaspitace strukovnih studija
TIPICNE GRESKE UCENIKA (JEDAN POGLED NAZNANJE MATEMATIKE KOD UCENIKA OSNOVNIH I
SREDNJIH SKOLA)
Apstrakt
Greske nalazimo ne samo kod slabijih ucenika vec i kod neospornihstrucnjaka u odredenim poljima nauke. U tom smislu je neophodna anal-iza ucinjenih gresaka ucenika. Najslabije rezultate na raznim testovimaucenici pokazuju iz onih podrucja koja traze logicko rasudivanje i primenuznanja. Sta i kako dalje da bi se ispravili ucinjeni propusti u nastavi.
Gordana Maksimovic
Krusevac
PRIMENA SLOBODNOG SOFTVERA U NASTAVI WEBDIZAJNA I PROGRAMIRANJA
Apstrakt
Nastava informatike nije ogranicena na jedan softverski alat ili razvo-jno okruzenje. Termin slobodan softver ne umanjuje kvalitet softvera imogucnosti primene. U radu su objasnjeni termini softverska licenca, Freesoftver, Open softver i sistemi otvorenog koda za upravljanje sadrzajemCMS. U nastavi informatike - web dizajna izucava se dizajn statickih webstranica (HTML i CSS) i rad sa gotovim dizajn resenjima CMS. U ovomradu je prikazano razvojno okruzenje NetBeans. NetBeans IDE je inte-grisano razvojno okruzenje koje omogucava kreiranje web stranica, desk-top i mobilnih aplikacija. Pored HTML, CSS, JavaScript, PHP za izraduweb stranica, NetBeans podrzava i sledece programske jezike C/C++, Javatako da svoju primenu moze imati i u nastavi programiranja.
114
Dragica Milinkovic
Pedagoski fakultet ijeljina
KOMPETENCIJE STUDENATA UCITELJSKOG STUDIJAZA MATEMATICKO MODELOVANJE
Apstrakt
Ishodi ucenja u visokom obrazovanju predstavljaju kompetencije kojestudent treba razviti tokom studija, a koje su profilisane kompetencijamafakulteta koji ih skoluju. Evropska komisija za unapredivanje obrazo-vanja naglasava interdisciplinarno i multidisciplinarno obrazovanje buducihucitelja koje podrazumijeva znanja iz predmeta koje predaje, ali i drugih,njima slicnih predmeta, pedagosko-psiholoska znanja koja se odnose narazumijevanje razvojnih karakteristika ucenika, stilova ucenja i kultureucenika, vjestine poucavanja u smislu poznavanja strategija, metoda i tehnika,te razumijevanje drustvenog i kulturnog konteksta. U tom smislu, u raduse daje teorijski osvrt na opste i specificne matematicke kompetencijestudenata uciteljskog studija, te vrsi detaljnije razmatranje kompeten-cija u oblasti matematickog modelovanja. U fokusu su ”skolska znanja”matematickog modelovanja, znanja ucitelja, te njihove kompetencije zamatematicko modelovanje. U tu svrhu koncipirali smo istrazivanje u komesmo za ispitanike uzeli studente cetvrte godine studijskog programa razrednenastave Univerziteta u Istocnom Sarajevu. U obzir smo uzeli pokazateljeulaznih (UK) i izlaznih kompetencija (IK), vrsili njihovu komparativnuanalizu, te uporedivanje rezultata IK sa kurikularnim kompetencijama.S obzirom na znacaj matematickog modelovanja u savremenom svijetu,ocekujemo da pitanje kompetencija za tu oblast postane kljucna tema upravcu osiguranja kvaliteta matematickog obrazovanja na svim nivoima.
115
Ivica Boljat
Prirodoslovno-matematicki fakultet u Splitu
USPOREDBA ALICE, NXT-G LEGOMINDSTORMS-A IPSEUDO-KODA U POUCAVANJU PROGRAMIRANJA
POCETNIKA
Apstrakt
Petosatni program poucavanja osnovnih programskih koncepata poputgrananja i ponavljanja obuhvatio je 115 ucenika drugog razreda gimnazije.Koristeni su razliciti alati i programska okruzenja: alat za vizualizaciju pro-grama Alice, vizualni programski jezik NXT-G s LegoMindstorms robotimate pseudo-kod kao sluzbeni programski jezik drzavne mature. Istrazeni sustavovi ucenika o zanimljivosti i korisnosti programiranja ovisno o spoluucenika i nacinu poucavanja programiranja. Odredilo se koliko je nacinpoucavanja programiranja utjecao na promjenu interesa ucenika za izborprogramiranja kao buduceg poziva. Usporedili su se rezultati svake skupinena testu iz programiranja, posebno za analiticka pitanja vezana za vjestinupracenja izvrsavanja koda a posebno za sposobnost rjesavanja jednostavnihproblema u pseudo-kodu. Kljucne rijeci: Alice; LegoMindstorms; pseudo-kod; poucavanje programiranja; programski jezici.
Ivica Luketin
Prirodoslovno-matematicki fakultet u Splitu
INCORPORATING THE STRUCTURE AND MATERIALSFROM INOVATIVE MOOC INTO TRADITIONAL PHYSICS
DIDACTICS SEMINAR BASED ON SCENTIFICARGUMENTATION
Abstract
Physics didactics seminar is part of curriculum enabling prospectivephysics teachers to acquire pedagogical content knowledge necessary toearn Master of Physics educational branch. Several past years versions,besides strong emphasize on cultivating praxis of scientific argumentation
116
in context of physics history, were research flavoured experimenting withdidactical potential of computer augmented reality (remote laboratory, cli-mate network simulation). This year we are realizing seminar whose con-tent is inspired with innovative edX corporation MOOC (massive openonline course) testing possibility of teaching simple short course in quan-tum mechanics and its application in understanding advantages of quantumcompared to classical computing. Using online delivery of MOOC studymaterials (textbook, video lectures) and exercise (forum, quizzes, exams,just in time help) while on-campus social meeting and controlled assess-ment of competencies we hope to blend the best of traditional academiahabits (critical thinking and argumentation) with promises of contempo-rary computer technology. Key words: physics, scientific argumentation,computer technology, blended MOOC pedagogy.
Tatjana Bajic
Visoka skola strukovnih studija za vaspitace u Sabcu
INFORMATIKA I RACUNARSTVO ZA STRUKOVNEVASPITACE PLANIRANJE I INTERPRETACIJA
NASTAVNIH SADRZAJA
Apstrakt
Polazeci od cinjenice da se pojedini korisnicki programi mogu prilagoditipotrebama razlicitih profesija, u savremenom informatickom drustvu pocetninivo poznavanja rada u njima se smatra osnovom informaticke pismenosti.Medutim, buduci da obuka u bilo kom aplikativnom programu prethodnoiziskuje odgovor na pitanje zbog cega, i sa kojim unapred postavljenim cil-jem se ona sprovodi, uopstena obuka ne zadovoljava u potpunosti potrebejednog strukovnog vaspitaca u smislu informatickog obrazovanja. Samimtim namece se neophodnost za uvodenjem izvesnih teorijskih osnova u nas-tavni sadrzaj predmeta Informatika sa racunarstvom za strukovne vaspitace,pri cemu se prilikom planiranja nastavnih sadrzaja, prvenstveno morapoci od obrazovnih potreba buducih strukovnih vaspitaca iz ove oblasti,kao i od prethodnog predznanja studenata. Imajuci u vidu navedenecinjenice, u radu se izlaze odreden pristup nastavnim sadrzajima sa cil-jem priblizavanja i prilagodavanja nivou obrazovanja strukovnih vaspitaca.
117
Takode se istice znacaj specificiranja odredenih mogucnosti pojedinih ap-likativnih programa u cilju resavanja konkretne klase problema sa kojimase strukovni vaspitaci susrecu, kako bi jasnije uvideli koje prednosti racunarmoze da im pruzi tokom njihovog skolovanja, kao i u buducem profesional-nom radu. Pored toga, obrazlaze se i uvodenje nastavnih sadrzaja iz uvodau statistiku, znacajnih u smislu teorijske podloge za obradu podataka kojaje studentima neophodna u metodologiji pedagoskih istrazivanja.
Vladimir Saso
Alfa univerzitet
SLOBODAN PRISTUP INTERNETU I NASTAVAINFORMACIONIH TEHNOLOGIJA
Apstrakt
Slobodan pristup Internetu ima mnoge vazne implikacije, a jedna odnjih je njegova upotreba u nastavi. Mnogi autori istrazivali su razlicitekonsekvence slobodne upotrebe Interneta u nastavi razlicitih strucnih pred-meta (stranog jezika, geografije, racunarstva). U ovom radu bice izlozeniprimeri ovakve upotrebe Interneta, a posebna paznja ce biti posvecenanjegovoj upotrebi u univerzitetskoj nastavi Informacionih tehnologija.
Gordana -Dordevic
Alfa univerzitet
UNAPRE-DENJE NASTAVNIH PROCESA PRIMENOMINFORMACIONIH TEHNOLOGIJA
Apstrakt
Savremeno drustvo sve vise bazira na informacionim tehnologijama kojepostajudeo svakodnevnog zivota ljudi. Koncept ”informaciono drustvo”upravo podrazumeva intezivniju upotrebu ovih tehnologija u poslovanju,upravi, bankarstvu, zdravstvu, obrazovanju. Primena informacionih tehnologijau nastavi, a posebno slobodno koriscenje edukativnih i drugih softvera, vodika unapredenju realizacije i krajnjih efekata nastavnih procesa.
118
Bernardin F. Ibrahimovic
Pedagoski fakultet Univerziteta u Bihacu
PITAGORINE TROJKE
Apstrakt
Uredenu trojku prirodnih brojeva (x, y, z) zovemo Pitagorina trojka akosu x i y katete, a z hipotenuza nekog pravouglog trougla. Ako su brojevix, y i z relativno prosti onda se takva trojka zove primitivna Pitagorinatrojka. U radu se analiziraju moguci oblici Pitagorinih trojki i odredenezakonitosti o elementima Pitagorinih trouglova, a zatim se kao posljedicaanalizira rjesivost nekih nelinearnih Diofantovih jednacina.
Petar Vuca
Filozofski fakultet Pale
NASTAVA FIZIKE U KONTEKSU PROMENA UOBRAZOVANJU
Apstrakt
Pitanje rezultata obrazovnog procesa u novije vreme zaokuplja drustvo.U savremenom drustvu tradicionalna nastava, koja je zasnovana na mem-orisanju i reprodukciji cinjenica, nije u mogucnosti razviti kompetencijepotrebne za izazove i tempo zivota kakvog ga znamo u danasnjem svetu.Dosadasnja istrazivanja su pokazala da reprodukcija znanja razvija pa-sivnost podloznost, i poslusnost nego kreativno misljenje i snalazljivost unovim zivotnim situacijama.
Zivimo u vremenu u kojem se znanje multiplicira neverovatnom brzi-nom, da vise nije moguce izuciti neko zanimanje u ranom periodu zivotau kojem se skolujemo i smatrati to poglavlje zivota okoncanim, kako je tobio slucaj u devetnaestom i dvadesetom veku. Tesko prihvatamo cinjenicui argumente da je obrazovni proces savremenog doba dozivotni proces.Danas je vaznije da ucenik/student zna kako odabrati informaciju kojamu je potrebna i kako odabranu informaciju, upotrijebiti je, nego je mem-orisati. Vaznije nego ikad je operativno znanje. Kako nova saznanja i
119
cinjenice aktivno primjeniti u zivotu, nego memorisati mnogobrojne in-formacije. Prelaskom na dozivotno obrazovanje, je izuzetno bitna pri-lagodenost znanja odredenom zivotniom dobima ucenika/studenta u nas-tavnom procesu.
Mirko Radic
University of Gavle, Sweden
GEOGEBRA AND PATTERNS OF VARIATION
Abstract
This paper is a part of the ongoing project at University of Gavle con-cerning issues with teaching mathematics at a university level from a teach-ers perspective. As a theoretical framework we use Variation theory.
Variation theory is a theory of learning which can be seen as an expan-sion of phenomenography, which explores the qualitatively dirent ways ofexperiencing or understanding a phenomenon, especially in an educationalcontext. Learning, according to Variation theory is dened as a change inthe way a person experiences a particular phenomenon and is associatedwith a change in discernment in that person0s structure of awareness. Thismeans that there is a change in the critical aspect(s) of the phenomenonthat the learner simultaneously focuses on after learning has taken place;the learner is able to discern critical aspects that he or she could not seebefore. A significant feature of Variation theory is its strong focus on theobject of learning. A central assumption is that variation is prerequisite fordiscerning aspects of object of learning. Hence the most powerful didacticfactor to students0 learning is how the object of learning is representedin a teaching situation. In order to clarify and understand what enableslearning in one situation and not in another, a researcher should focus ondiscerning what varies and what remains invariant under a lesson. In or-der to help learners appropriate a particular object of learning, a certainpattern of variation and invariance in the learning environment must beimplied. Therefore, the professional role of a teacher is to design a learn-ing environment that enables students to discern the critical aspects of theobject of learning, with the systematic and conscious use of variation as apedagogical tool. Teachers may make use of the following four principleswhen designing the patterns of variation and invariance [1]:
120
Contrast: ”– In order to experience something, a person must experiencesomething else to compare it with.”
Generalization: ”– In order to fully understand what three is, we mustalso experience varying appearances of three.”
Separation: ”– In order to experience a certain aspect of something,and in order to separate this aspect from other aspects, it must vary whileother aspects remain invariant.”
Fusion: ”– If there are several critical aspects that the learner has totake into consideration at the same time, they must all be experiencedsimultaneously.”
According to [2] these patterns of variation create opportunities for thestudents to understand the underlying formal abstract concept. In or-der to generate the patterns of variation, we use the dynamical natureof GeoGebra software, which has the ability to ”visually make explicit theimplicit dynamism of ’thinking about’ mathematical, in particular geomet-rical, concepts.” ([2], p197)
In this paper we illustrate how to create the variation patterns men-tioned above when teaching some of concepts of university calculus courseby using GeoGebra.
STUDENTSKA SEKCIJA
STUDENT’S SECTION
123
Marko Rajkovic, Ivan Bartulovic
University of Primorska, Faculty of Mathematics, Natural Sciences andInformation Technologies
supervisor dr. Stefko Miklavic
POLYNOMIAL TIME PRIMALITY TESTING
Abstract
Prime numbers are of great significance in number theory, but also inmodern cryptography. Most of modern cryptographic protocols use fac-toring numbers composed of product of two large prime numbers. Thus,the problem of distinguishing prime numbers from the rest is still interest-ing and important as well and therefore there is a need to have efficientprimality testing algorithms. Although there had been many probabilisticalgorithms for primality testing, there was not a deterministic polynomialtime algorithm until 2002 when Agrawal, Kayal and Saxena came withan algorithm, popularly known as the AKS algorithm, which could testwhether a given number is prime or composite in polynomial time. Thisproject is an attempt at understanding the idea behind this algorithmand the principles of mathematics that is required to study it. Finally, theproject provides an implementation of the algorithm using Software for Al-gebra and Geometry Experimentation (SAGE) and arrives at conclusionson how practical it is.
-Dorde Zikelic
Matematicka gimnazija Beograd
mentor dr -Dorde Baralic
MNOGOUGLOVI UPISANI U CELOBROJNU RESETKU
Apstrakt
Definisemo resetku, kao i osnovne pojmove iz ove oblasti, a nakon togase skoncentrisemo na celobrojnu resetku i njene osobine. Na pocetku
124
se bavimo mnogouglovima upisanim u celobrojnu kvadratnu resetku, inavodimo neke od najinteresantnijih njihovih osobina (Pikova teorema,teorema Minkovskog, Skotova ocena...). Nakon toga se bavimo celobro-jnim resetkama u /n, n > 2. Resetke se cesto koriste i za interpretacijuraznih problema, u cilju napadanja problema na neuobicajeni nacin. Zato,za kraj predstavljamo jednu od interpretacija na Frobenijusovom problemunovcica, gde se bavimo i jos nekim rezultatima vezanim za ovaj problem.
Mina Sekularac
Matematicka gimnazija Beograd
mentor dr Aleksandar Pejcev
TESELACIJE
Apstrakt
Podrucje istrazivanja u vm rdu prdstvlju teselacije koje su poznate josod antickog perioda. Termin teselacije, predstavlja prekrivanje, odnosnopoplocavanje razlicitih povrsina geometrijskim oblicima, koji se ponavljajubez medusobnog preklapanja i formiranja supljina izmedu sebe. Ovakoslozeni oblici stvaraju razlicite sare, raznih oblika i boja, koje se moguvideti na raznim mestima na poplocavanju, mozaicima i vitrazima.
Vesna Miletic
Filozofski fakultet Pale
mentor dr Milenko Pikula
O JEDNOM SISTEMU NELINEARNIH JEDNACINA UPROSTORU E4
Apstrakt
U spektralnoj teoriji diferencijalnih operatora znacajna uloga pripadatakozvanim inverznim spektralnim zadacima. Pri rjesavanju takvih za-dataka dolazi se do sistema nelinearnih jednacina u prostoru E4. Rad jeposvecen rjesavanju takvog sistema.
125
Branko Grbic
Matematicka gimnazija Beograd
mentor Milos -Doric
KRIVE U RAVNI
Apstrakt
U ovom radu razmatramo krive u ravni sa interesantnim svojstvimai prikazujemo ih u kanonskom, parametarskom ili polarnom obliku. Napocetku definisemo krivinu i torziju, a zatim navodimo krive i dokazujemonjihova svojstva.