Optimality conditions in a vector continuous-time optimization problem

AbstractWe consider nonlinear vector continuous-time optimization problems with inequality type of constraints. We derive new Fritz John and Karush–Kuhn–Tucker optimality conditions that are valid when all functions are preinvex

Kompjutersko pretraživanje i upoređivanje podataka - opšta razmatranja i primena u kriminalistici

Collecting the most versatile kind of information about the citizens and their storing in the appropriate bases represent the reality of the contemporary society. The growth in the quantity of these pieces of information has exceeded human power to process and analyze such huge quantities of data in a traditional manner, requiring computerized techniques and means for these needs. Although widely applied for years in the work of public administration and economy, so far the computer data search and comparison have not been sufficiently used in crime investigation and forensics. Police agencies and forensic laboratories collect large quantities of various data which originate as a result of processing numerous criminal activities. The very success of their automatic search and comparison within criminal investigations depends to a large extent on the availability and characteristics of data (features, raster) which refer to persons, objects or events.Prikupljanje odgovarajućih informacija o građanima iz najrazličitijih (naravno legalnih i legitimnih) motiva i u najrazličitije svrhe, te njihovo smeštanje u odgovarajuće baze, predstavlja realnost savremenog društva. Razvoj računarske tehnologije u velikoj meri je povećao mogućnosti prijema, obrade i praćenja takvih podataka, pa čak i u svrhe nadzora nad pojedincem i njegovim ponašanjem. Automatsko pretraživanje i upoređivanje podataka, nezavisno od toga u koje se svrhe primenjuje, zasniva se sa jedne strane na bazama u kojima su smešteni određeni podaci, i, sa druge strane, primeni računara (shvaćenog kao hardver) i odgovarajućih programa (softver) kojima se ti podaci pretražuju, upoređuju i analiziraju. Kompjutersko pretraživanje, analiziranje i upoređivanje podataka u kriminalističke svrhe može biti veoma raznovrsno, sa različitim očekivanjima i rezultatima primene. Policijske agencije i forenzičke laboratorije sakupljaju velike količine različitih podatka, koji nastaju kao rezultat obrade brojnih kriminalnih aktivnosti. Veliki izazov sa kojim se suočavaju sve policijske i obaveštajne agencije jeste tačno i efikasno analiziranje podataka o kriminalu, čiji se obim neprestano povećava. Može se reći da su tehnike automatskog pretraživanja i upoređivanja podataka do sada nedovoljno eksploatisane u ovoj oblasti, iako bi mogle dati značajan doprinos. Automatsko pretraživanje i upoređivanje podataka je moćna alatka koja istražiteljima krivičnih dela omogućava brzo i efikasno pretraživanje velikih baza podataka. Posebno razumevanje odnosa između mogućnosti analize i karakteristika određene vrste krivičnog dela može da pomogne istražiteljima da efikasnije primene ove tehnike kako bi identifikovali trendove i obrasce, locirali problematična područja, pa čak i predvideli krivično delo

Procjena šumskih resursa na temelju Sentinel-2 snimki – studija slučaja Derventa, BiH (Katastarska općina Brezici)

SummaryThe management of forest resources is complicated due to the complete lack of maintenance and disorganization of the land administration and survey that are decades old. Modern, unconventional monitoring systems are used with the aim of improving the existing records systems and creating a clearer insight into the state of forest resources. This study provides an example of the use of one such system, Sentinel-2. Using the R programming language, the multispectral Sentinel-2 images were classified by the Random Forest classification algorithm. Following the completion of the classifications, the accuracy of the classification was evaluated using the error matrix and the Kappa value. An analysis of forest resources for one cadastral municipality was accomplished using classified rasters and data from the Real Estate Cadastre Database. Based on the data analysis, major changes are visible in terms of the abandonment of agricultural land and its conversion into a certain form of forest vegetation. Furthermore, based on these data, the study demonstrates changes that can be monitored in shorter time intervals. Sentinel-2 images can be used to determine forest expansion, based on the aforementioned analyses, resulting in a clearer and better representation of existing forest resources that are unknown due to outdated and unreliable land administration systems.SažetakGospodarenje šumskim resurima otežano je u uvjetima potpune neažurnosti i neuređenosti desetljećima starog sustava evidencije i izmjere. U svrhu poboljšanja postojećih evidencijskih sustava i stvaranja jasnijeg uvida u stanje šumskog bogatstva koriste se nekonvencionalni, suvremeni sustavi praćenja. Korištenje daljinskog istraživanja za procjenu šumskog bogatstva je važno, jer se inženjeri šumarstva i šumarske ustanove ne mogu pouzdati u postojeće evidencije preuzete iz katastra nekretnina kako bi utvrdili opseg šumskog bogatstva.Za demonstraciju korištenja daljinskog istraživanja u svrhu utvrđivanja opsega šumskog bogatstva preuzete su satelitske snimke Sentinel-2 za 2017. i 2022. godinu, kao i podaci iz baze podataka katastra nekretnina k.o. (katastarske općine) Brezici, slika 1. Preuzete multispektralne Sentinel-2 slike klasificirane su na temelju Random Forest klasifikacijskog algoritma, korištenjem programskog jezika R. Tijek procesa obrade podataka prikazan je na slici 2. Nakon završenih klasifikacija, točnost klasifikacije procijenjena je na temelju matrice pogrešaka i Kappa vrijednosti. Parametri točnosti za klasificirane snimke prikazani su u tablici 1. U prvom dijelu analize rezultata obavljeno je vizualno i numeričko preklapanje klasificiranih Sentinel-2 rastera iz 2017. i 2022. godine. Analiza je provedena s ciljem prikazivanja promjena koje se događaju na ograničenim područjima u kratkim vremenskim intervalima, slika 3. Drugi dio analize odnosi se na usporedbu podataka katastra nekretnina za k.o. Brezici nastalih na temelju izmjere i Sentinel-2 snimki iz 2022. godine, slika 4. i tablica 2. Cilj ovog dijela rada je pokazati razliku između stvarnog i katastarskog stanja. Na slici 5. i tablici 3. prikazane su razlike u načinu korištenja između katastra i Sentinel-2 snimki, što ukazuje na promjene nastale napuštanjem poljoprivrednog zemljišta i njegovom prenamjenom u određeni oblik šumske vegetacije. Prema bazi podataka katastra nekretnina, 26% ukupnog teritorija k.o. Brezici prekriveno je šumom, dok je zahvaljujući snimkama Sentinel-2 69% teritorija izdvojeno pod nekim oblikom visoke vegetacije, tablica 4. Analize pokazuju da se Sentinel-2 snimke mogu uspješno koristiti za utvrđivanje obuhvata šuma s ciljem boljeg i kvalitetnijeg prikaza postojećih šumskih resursa koji su nepoznati zbog zastarjelih i nepouzdanih sustava evidencije

Kompjutersko pretraživanje i upoređivanje podataka - opšta razmatranja i primena u kriminalistici

Collecting the most versatile kind of information about the citizens and their storing in the appropriate bases represent the reality of the contemporary society. The growth in the quantity of these pieces of information has exceeded human power to process and analyze such huge quantities of data in a traditional manner, requiring computerized techniques and means for these needs. Although widely applied for years in the work of public administration and economy, so far the computer data search and comparison have not been sufficiently used in crime investigation and forensics. Police agencies and forensic laboratories collect large quantities of various data which originate as a result of processing numerous criminal activities. The very success of their automatic search and comparison within criminal investigations depends to a large extent on the availability and characteristics of data (features, raster) which refer to persons, objects or events.Prikupljanje odgovarajućih informacija o građanima iz najrazličitijih (naravno legalnih i legitimnih) motiva i u najrazličitije svrhe, te njihovo smeštanje u odgovarajuće baze, predstavlja realnost savremenog društva. Razvoj računarske tehnologije u velikoj meri je povećao mogućnosti prijema, obrade i praćenja takvih podataka, pa čak i u svrhe nadzora nad pojedincem i njegovim ponašanjem. Automatsko pretraživanje i upoređivanje podataka, nezavisno od toga u koje se svrhe primenjuje, zasniva se sa jedne strane na bazama u kojima su smešteni određeni podaci, i, sa druge strane, primeni računara (shvaćenog kao hardver) i odgovarajućih programa (softver) kojima se ti podaci pretražuju, upoređuju i analiziraju. Kompjutersko pretraživanje, analiziranje i upoređivanje podataka u kriminalističke svrhe može biti veoma raznovrsno, sa različitim očekivanjima i rezultatima primene. Policijske agencije i forenzičke laboratorije sakupljaju velike količine različitih podatka, koji nastaju kao rezultat obrade brojnih kriminalnih aktivnosti. Veliki izazov sa kojim se suočavaju sve policijske i obaveštajne agencije jeste tačno i efikasno analiziranje podataka o kriminalu, čiji se obim neprestano povećava. Može se reći da su tehnike automatskog pretraživanja i upoređivanja podataka do sada nedovoljno eksploatisane u ovoj oblasti, iako bi mogle dati značajan doprinos. Automatsko pretraživanje i upoređivanje podataka je moćna alatka koja istražiteljima krivičnih dela omogućava brzo i efikasno pretraživanje velikih baza podataka. Posebno razumevanje odnosa između mogućnosti analize i karakteristika određene vrste krivičnog dela može da pomogne istražiteljima da efikasnije primene ove tehnike kako bi identifikovali trendove i obrasce, locirali problematična područja, pa čak i predvideli krivično delo

Trend promene osnovnih antropometrijskih karakteristika studenata Kriminalističko-policijske akademije u toku studija

By applying transversal method of research on a sample of 267 male and 88 female students of the Academy of Criminalistic and Police Studies, Belgrade determination of basic anthropometrical characteristics in the function of the year of study was conducted. Basic anthropometrical characteristics were expressed in following variables: body weight - BW, expressed in kg; body height - BH, expressed in cm; body mass index - BMI, expressed in kg/m2. The obtained results showed statistically significant tendency of change in students of the ACPS during the course of studies, namely in increase of BM as basic measure for estimation of body voluminosity (1.2 kg per a study year, F ratio 4287, p = 0.039), as well as in BMI, as a measure for the assessment of the body status, that is, the state of nourishment (0.42 kg/m2 per a study year, F ratio 7.191, p = 0.008). As for female students, the obtained results showed statistically significant tendency of change, namely in decrease of BMI, as a measure for the assessment of the body status, that is, the state of nourishment (- 0.56 kg/m2 per a study year, F ratio 8.290, p = 0.005). At this point, based on the research results, we can not say for sure what could be the cause of the determined trend of increase of voluminosity and body nourishment in male students, and decrease of body nourishment in female students, which should be determined in future researches.Na uzorku od 267 ispitanika muškog pola i 88 ispitanika ženskog pola studenata Kriminalističko-policijske akademije (KPA) iz Beograda primenom transverzalne metode istraživanja izvršeno je dijagnostikovanje osnovnih antropometrijskih karakteristika u funkciji godine studija. Osnovne antropometrijske karakteristike ispitanika su bile predstavljene sledećim varijablama: telesna masa - TM, izražena u kg; telesna visina - TV, izražena u cm; i telesno-maseni indeks (BMI), izražen u kg/m2. Dobijeni rezultati su pokazali da je kod studenata KPA u toku studija došlo do statistički značajnog trenda promene, i to povećanja kod TM, kao osnovne mere za procenu voluminoznosti tela (1.20 kg po godini studija, F odnos 4.287, p = 0.039) kao i kod BMI, kao mere za procenu telesnog statusa, tj. stanja uhranjenosti (0.42 kg/m2 po godini studija, F odnos 7.191, p = 0.008). U odnosu nastudentkinje, dobijeni rezultati su pokazali da je u toku studija KPA došlo do statistički značajnog trenda promene, i to smanjenja kod BMI, kao mere za procenu telesnog statusa, tj. stanja uhranjenosti (- 0.56 kg/m2 po godini studija, F odnos 8.290, p = 0.005). U ovom trenutku se na osnovu rezultata istraživanja ne može sa sigurnošću tvrditi šta je posledica utvrđenog trenda povećanja voluminoznosti i telesne uhranjenosti kod studenata odnosno smanjenja telesne uhranjenosti kod studentkinja, što treba utvrditi u narednim istraživanjima

FIRST AND SECOND ORDER NECESSARY OPTIMALITY CONDITIONS FOR DISCRETE OPTIMAL CONTROL PROBLEMS

Abstract: Discrete optimal control problems with varying endpoints are considered. First and second order necessary optimality conditions are obtained without normality assumptions

Sistemi za globalno pozicioniranje i njihov značaj u otkrivanju i dokazivanju krivičnih dela

Devices for automatic tracking of people and objects provide positioning and tracking of people and mobile objects, and also provide high-level possibilities for telecontrol of processes. These systems are used in traffic, transportation of oil, gas, electric energy, in geodesy agriculture, environmental protection, surface mining, recreation etc. Widely exploited are systems for automatic locating of vehicles, as up-to-date and efficient devices designed for positioning of vehicles. They provide precise locating of vehicle’s position with accuracy range of 10m. The most optimal technical solution devised for automatic tracking of people and objects is taught to be the integration of GPS technology and GSM receiver – systems with embedded microprocessor, GPS and GSM modem, providing high reliability independent rechargeable power supply source, as well as low installation cost and easy exploitation in wide temperature range. The increased usage of GPS technology, together with geo information and telecommunication technologies, indicates the need for wider interest of security bearers in this field, who can, in that way, improve their work. Devices for automatic positioning are used worldwide for planning and executing various police actions, which includes locating and tracking of people and objects surveillance and control. These devices help in better understanding of particular problem situations in real time, and based on it help locating object of criminal act, setting up a crime scene blockade, tracking of police unit’s members and vehicles, detecting and tracking of particular person or vehicle etc. The new Criminal Procedure Code of the Republic of Serbia (May 2006) states that electronic devices for locating and tracking can be used in realization of secret surveillance, and results of their use would be treated as evidence in criminal procedure.Sistemi za automatsko praćenje lica i objekata omogućuju pozicioniranje i praćenje položaja lica i mobilnih objekata, pružajući, pri tome, velike mogućnosti upravljanja udaljenim procesima. Danas se koriste u saobraćaju transportu gasa, nafte ili električne energije, geodeziji, poljoprivredi rekreaciji itd. Posebno su eksploatisani sistemi za automatsko praćenje vozila, kao savremeni i efikasni uređaji namenjeni određivanju pozicije prevoznih sredstava sa tačnošću reda 2 do 5 metara. Znatan porast primene GPS tehnologije, u sprezi sa geoinformacionim i telekomunikacionim tehnologijama ukazuje na potrebu šireg interesovanja policije za tu oblast, koja na taj način može znatno unaprediti svoje delovanje, između ostalog i na planu suprotstavljanja kriminalitetu. I neke dokazne radnje u svojoj praktičkoj realizaciji širom otvaraju vrata primeni uređaja za automatsko pozicioniranje i praćenje. Tako novi Zakonik o krivičnom postupku propisuje da se u realizaciji dokazne radnje tajnog nadzora mogu koristiti i elektronski uređaji za lociranje i praćenje, a rezultati njihove primene tretirati kao dokaz u krivičnom potupku. Time je ta dokazna radnja normativno usklađena sa praktičnim mogućnostima nadgledanja lica i objekata koji se svakodnevno uvećavaju

New optimality criteria for convex continuous-time problems of vector optimization

In this paper, vector continuous-time programming problems with inequality type of constraints are considered. All the results are obtained under convexity assumptions. The main tool employed in the derivation of the zero order optimality conditions is a new version of theorem of the alternative in functional spaces. To apply the alternative theorem, a certain regularity condition must be satisfied. No differentiability assumption is imposed

Saddle Point Optimality Criteria and Duality for Convex Continuous-Time Programming Problem

In this paper, convex continuous-time programming problem with inequality type of constraints is considered. We derive new saddle point optimality conditions and classical duality results such as weak and strong duality properties, under additional regularity assumption. A fundamental tool, employed in the derivation of the necessary saddle point optimality criteria and strong duality result for convex continuous-time programming, is a new version of a theorem of the alternative in infinite-dimensional spaces

Theorems of the Alternative for Systems of Convex Inequalities

Systems of convex inequalities in function spaces are considered. Solvability conditions are obtained in the form of a theorem of the alternative. We revisit some results from the literature where such theorems are incorrect. We present counterexamples concerning these results and by introducing some regularity conditions we obtain new theorems which are dedicated to solvability of systems of convex inequalities