Azərbaycanca
Deutsch
Lietuvos
සිංහල
Türkçe
Українська
Bu məqalədəki məlumatların üçün əlavə mənbələrə ehtiyac var. |
Bu məqaləni lazımdır. |
Xanmurad Xanbala oğlu Abdullayev — texnika üzrə fəlsəfə doktoru, AMEA .
| Xanmurad Abdullayev | |
|---|---|
| Xanmurad Xanbala oğlu Abdullayev | |
| Doğum tarixi | |
| Doğum yeri | Hacıqaib, Quba rayonu, Azərbaycan SSR, SSRİ |
| Vətəndaşlığı |  SSRİ→ Azərbaycan |
| Milliyyəti | azərbaycanlı |
| Elm sahəsi | riyaziyyat |
| Elmi dərəcəsi | texnika üzrə fəlsəfə doktoru |
| İş yeri | AMEA İdarəetmə Sistemləri İnstitutu |
| Təhsili | Bakı Dövlət Universiteti |
Həyatı
Xanmurad Xanbala oğlu Abdullayev 9 mart 1959-cu ildə Hacıqaib, Quba rayonunun anadan olmuşdur.
Əmək və elmi fəaliyyəti
Elmi əsərlərin sayı
- Çapdan çıxmış elmi əsərlərinin ümumi sayı: -
- Xaricdə çıxmış elmi əsərlərinin sayı: 12
- Respublikada çıxmış elmi əsərlərinin sayı: 10
- Konfrans məruzələri və tezislər sayı: 6
- Müəlliflik şəhadətnamələrinin və patentlərin sayı: yoxdur
Əsas elmi nailiyyətləri
- Proqramın idarəetmə qrafı üzərində seçilmiş yolların testləşdirilməsi üçün test nümunlərinin generasiyası üzrə effektiv alqoritmlər hazırlamışdır.
- Proqramların testdən keçirilməsi məqsədilə testlərin generasiyası üçün hazırlanmış məqsədyönlü metod
- Qeyri xətti sistem tənliklərin və bərabərsizliklərin həlli üçün evristik alqoritmlərin hazırlanması
- Proqramın idarəetmə qrafı üzərindəki yolların simvollar üzərində yerinə yetirilməsinin denatasion və operasion semantikalarının yaradılması
- Testləşdirmə sisteminin idarə olunması üçün dilin yaradılması
Əsas elmi əsərlərinin adları
- "Метод автоматизированной генерации тестовых данных", Рига, Тез. докл. Всесоюзной Конференции "Тестирование, верификация и отладка", Том 1, 1986.
- "Отладка программ путем их целенаправленного тестирования и верификации", Киев, "Проблемы разработки и внедрения программного обеспечения ЭВМ и систем", Киев: ИК АН УССР, 1988.
- "Применение символьного выполнения для обеспечения структурной корректности программ"? Киев, Тез. докл. VIII Всесоюзного семинара Параллельное программирование и высокопроизводительные структуры (Алушта, 26–30 сентября 1988 г.). ИК АН УССР. 1988.
- "ТЕСТОР-ФОРТРАН-система тестирования заранее заданных путей управляющего графа программы", Киев, Журнал УСиМ, № 5, 1990.
- "Комбинированный подход к тестированию программ", Винница, Материалы IIМеждународной Конференции "Интернет-Образование-Наука-2000", Винницкий ГТУ, Винница, 10–12 октября 2000.
- "О безопасности передачи данных в распределенных информационных сетях", Известия НАНА сер. Физ.техн. и мат. наук, т. ХХI, "Информатика и проблемы управления", 2001, № 2, с.21–25.
- "Методы тестирования объектно- ориентированных программ", Баку, Вестник Бакинского Университета, Физико-математические науки, серия № 1, 2002.
- "Автоматизированная генерация тестовых данных для некоторого класса программных единиц", Воронеж, "Прикладные проблемы образовательной деятельности", Межвузовский сборник научных трудов, выпуск 8 — Воронеж: Центрально черноземное книжное издательство, 2002.
- "The Object-oriented Testing Strategy in the System TESTER-OOL", Vinnitsia, Ukraine, "Proceedings of the Third International Conference Intemet-Education-Science" (IES-2002), 8–12 October 2002, Vinnitsia-Ukraine, Vol.2.
- "Эвристические алгоритмы целенаправленного поиска тестовых данных для проверки программ", Баку, Труды Республиканской научной конференции "Современные проблемы информатизации, кибернетики и информационных технологий" (Баку, 28–30апреля 2003 года), Том 1, 2003.
- "Эффективные алгоритмы поиска тестовых данных для проверки программ", Воронеж, Сборник трудов по итогам VIII Международной открытой научной конференции "Современные проблемы информатизации в технике и технологиях", выпуск 8, Центрально-Черноземное книжное издательство, Воронеж-2003.
- "Structural Testing Principles of Object-Oriented Programs", Romania, "Advances in Electrical and Computer Engineering", University of Suchava, Vol.3, No.9. 2003.
- "Семантический подход к символьному выполнению путей в С++ программе: денотационная семантика", Воронеж, Международный сборник трудов "Системы управления и информационные технологии", Выпуск 10.-Воронеж: Изд- во "Научная книга", декабрь, 2003.
- "Эффективные алгоритмы поиска тестовых данных для проверки программ", Материалы 8-й Республиканской конференции "Современные проблемы информатизации, техники и технологий", 8 издание, Воронеж, Россия, 2003.
- "Символьное выполнение путей в С++ программах", Воронеж, Сб. трудов "Современные проблемы информатизации в системах моделирования, программирования и телекоммуникациях", Выпуск 9,- Воронеж: Изд-во "Научная книга", 2004.
- "Sığortaolunanların fərdi uçot sistemində ikili hesabların müəyyən edilməsi metodu", "AMEA-nın xəbərləri" jurnalı, Fizika-texnika və riyaziyyat elmləri seriyası: İnformatika və idarərtmə, XXXIII cild, No.6, 2013.
- "Müasir informasiya sistemlərinin yaradılması və tətbiqi prosesinin bəzi aspektləri", "AMEA-nın xəbərləri" jurnalı, Fizika-texnika və riyaziyyat elmləri seriyası: İnformatika və idarərtmə, XXXIII cild, No.6, 2013.
Pedaqoji fəaliyyəti
- 2000-ci ildən 2014-cü ilədək BDU-nun Tətbiqi riyaziyyat fakültəsində mühazirə və məşğələlər aparmışdır.
Mükafatları
Kitablar
Həmçinin bax
İstinadlar
- "http://www.isi.az Abdullayev Xanmurad Xanbala oğlu". 2022-01-25 tarixində arxivləşdirilib. İstifadə tarixi: 2019-10-02.
- "http://www.science.gov.az/ İdarəetmə Sistemləri İnstitutu fəlsəfə doktorları". 2019-10-03 tarixində arxivləşdirilib. İstifadə tarixi: 2019-10-03.
Xarici keçidlər
- Аzərbaycan Milli Elmlər Akademiyası
- İdarəetmə Sistemləri İnstitutu
wikipedia, oxu, kitab, kitabxana, axtar, tap, meqaleler, kitablar, oyrenmek, wiki, bilgi, tarix, tarixi, endir, indir, yukle, izlə, izle, mobil, telefon ucun, azeri, azəri, azerbaycanca, azərbaycanca, sayt, yüklə, pulsuz, pulsuz yüklə, haqqında, haqqinda, məlumat, melumat, mp3, video, mp4, 3gp, jpg, jpeg, gif, png, şəkil, muisiqi, mahnı, kino, film, kitab, oyun, oyunlar, android, ios, apple, samsung, iphone, pc, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, web, computer, komputer
Bu meqaledeki melumatlarin yoxlanila bilmesi ucun elave menbelere ehtiyac var Lutfen meqaleye etibarli menbeler elave ederek onu tekmillesdirmeye komek edin Menbesiz mezmun problemler yarada ve siline biler Problemler hell edilmemis sablonu meqaleden cixarmayin Daha etrafli melumat ve ya meqaledeki problemlerle bagli muzakire aparmaq ucun meqalenin muzakire sehifesine diqqet yetire bilersiniz Bu meqaleni vikilesdirmek lazimdir Lutfen meqaleni umumvikipediya ve redakte qaydalarina uygun sekilde tertib edin Xanmurad Xanbala oglu Abdullayev texnika uzre felsefe doktoru AMEA Idareetme Sistemleri Institutunda 1 Xanmurad AbdullayevXanmurad Xanbala oglu Abdullayev Dogum tarixi 9 mart 1959 66 nbsp yas Dogum yeri Haciqaib Quba rayonu Azerbaycan SSR SSRI Vetendasligi SSRI Azerbaycan Milliyyeti azerbaycanli Elm sahesi riyaziyyat Elmi derecesi texnika uzre felsefe doktoru Is yeri AMEA Idareetme Sistemleri Institutu Tehsili Baki Dovlet Universiteti Mundericat 1 Heyati 2 Emek ve elmi fealiyyeti 2 1 Elmi eserlerin sayi 2 2 Esas elmi nailiyyetleri 2 3 Esas elmi eserlerinin adlari 2 3 Pedaqoji fealiyyeti 4 Mukafatlari 5 Kitablar 6 Hemcinin bax 7 Istinadlar 8 Xarici kecidlerHeyatiredakteXanmurad Xanbala oglu Abdullayev 9 mart 1959 cu ilde Haciqaib Quba rayonunun anadan olmusdur 2 Emek ve elmi fealiyyetiredakteElmi eserlerin sayiredakte Capdan cixmis elmi eserlerinin umumi sayi Xaricde cixmis elmi eserlerinin sayi 12 Respublikada cixmis elmi eserlerinin sayi 10 Konfrans meruzeleri ve tezisler sayi 6 Muelliflik sehadetnamelerinin ve patentlerin sayi yoxdur Esas elmi nailiyyetleriredakte Proqramin idareetme qrafi uzerinde secilmis yollarin testlesdirilmesi ucun test numunlerinin generasiyasi uzre effektiv alqoritmler hazirlamisdir 1 Proqramlarin testden kecirilmesi meqsedile testlerin generasiyasi ucun hazirlanmis meqsedyonlu metod 2 Qeyri xetti sistem tenliklerin ve berabersizliklerin helli ucun evristik alqoritmlerin hazirlanmasi Proqramin idareetme qrafi uzerindeki yollarin simvollar uzerinde yerine yetirilmesinin denatasion ve operasion semantikalarinin yaradilmasi Testlesdirme sisteminin idare olunmasi ucun dilin yaradilmasi Esas elmi eserlerinin adlari 2 redakte Metod avtomatizirovannoj generacii testovyh dannyh Riga Tez dokl Vsesoyuznoj Konferencii Testirovanie verifikaciya i otladka Tom 1 1986 Otladka programm putem ih celenapravlennogo testirovaniya i verifikacii Kiev Problemy razrabotki i vnedreniya programmnogo obespecheniya EVM i sistem Kiev IK AN USSR 1988 Primenenie simvolnogo vypolneniya dlya obespecheniya strukturnoj korrektnosti programm Kiev Tez dokl VIII Vsesoyuznogo seminara Parallelnoe programmirovanie i vysokoproizvoditelnye struktury Alushta 26 30 sentyabrya 1988 g IK AN USSR 1988 TESTOR FORTRAN sistema testirovaniya zaranee zadannyh putej upravlyayushego grafa programmy Kiev Zhurnal USiM nbsp 5 1990 Kombinirovannyj podhod k testirovaniyu programm Vinnica Materialy IIMezhdunarodnoj Konferencii Internet Obrazovanie Nauka 2000 Vinnickij GTU Vinnica 10 12 oktyabrya 2000 O bezopasnosti peredachi dannyh v raspredelennyh informacionnyh setyah Izvestiya NANA ser Fiz tehn i mat nauk t HHI Informatika i problemy upravleniya 2001 nbsp 2 s 21 25 Metody testirovaniya obektno orientirovannyh programm Baku Vestnik Bakinskogo Universiteta Fiziko matematicheskie nauki seriya nbsp 1 2002 Avtomatizirovannaya generaciya testovyh dannyh dlya nekotorogo klassa programmnyh edinic Voronezh Prikladnye problemy obrazovatelnoj deyatelnosti Mezhvuzovskij sbornik nauchnyh trudov vypusk 8 Voronezh Centralno chernozemnoe knizhnoe izdatelstvo 2002 The Object oriented Testing Strategy in the System TESTER OOL Vinnitsia Ukraine Proceedings of the Third International Conference Intemet Education Science IES 2002 8 12 October 2002 Vinnitsia Ukraine Vol 2 Evristicheskie algoritmy celenapravlennogo poiska testovyh dannyh dlya proverki programm Baku Trudy Respublikanskoj nauchnoj konferencii Sovremennye problemy informatizacii kibernetiki i informacionnyh tehnologij Baku 28 30aprelya 2003 goda Tom 1 2003 Effektivnye algoritmy poiska testovyh dannyh dlya proverki programm Voronezh Sbornik trudov po itogam VIII Mezhdunarodnoj otkrytoj nauchnoj konferencii Sovremennye problemy informatizacii v tehnike i tehnologiyah vypusk 8 Centralno Chernozemnoe knizhnoe izdatelstvo Voronezh 2003 Structural Testing Principles of Object Oriented Programs Romania Advances in Electrical and Computer Engineering University of Suchava Vol 3 No 9 2003 Semanticheskij podhod k simvolnomu vypolneniyu putej v S programme denotacionnaya semantika Voronezh Mezhdunarodnyj sbornik trudov Sistemy upravleniya i informacionnye tehnologii Vypusk 10 Voronezh Izd vo Nauchnaya kniga dekabr 2003 Effektivnye algoritmy poiska testovyh dannyh dlya proverki programm Materialy 8 j Respublikanskoj konferencii Sovremennye problemy informatizacii tehniki i tehnologij 8 izdanie Voronezh Rossiya 2003 Simvolnoe vypolnenie putej v S programmah Voronezh Sb trudov Sovremennye problemy informatizacii v sistemah modelirovaniya programmirovaniya i telekommunikaciyah Vypusk 9 Voronezh Izd vo Nauchnaya kniga 2004 Sigortaolunanlarin ferdi ucot sisteminde ikili hesablarin mueyyen edilmesi metodu AMEA nin xeberleri jurnali Fizika texnika ve riyaziyyat elmleri seriyasi Informatika ve idarertme XXXIII cild No 6 2013 Muasir informasiya sistemlerinin yaradilmasi ve tetbiqi prosesinin bezi aspektleri AMEA nin xeberleri jurnali Fizika texnika ve riyaziyyat elmleri seriyasi Informatika ve idarertme XXXIII cild No 6 2013 Pedaqoji fealiyyetiredakte2000 ci ilden 2014 cu iledek BDU nun Tetbiqi riyaziyyat fakultesinde muhazire ve mesgeleler aparmisdir 2 MukafatlariredakteKitablarredakteHemcinin baxredakteAzerbaycan Milli Elmler Akademiyasi AMEA nin Idareetme Sistemleri InstitutuIstinadlarredakte 1 2 http www isi az Abdullayev Xanmurad Xanbala oglu 2022 01 25 tarixinde arxivlesdirilib Istifade tarixi 2019 10 02 1 2 3 4 http www science gov az Idareetme Sistemleri Institutu felsefe doktorlari 2019 10 03 tarixinde arxivlesdirilib Istifade tarixi 2019 10 03 Xarici kecidlerredakteAzerbaycan Milli Elmler Akademiyasi Idareetme Sistemleri Institutu Menbe https az wikipedia org w index php title Xanmurad Abdullayev amp oldid 7999143