近日，理學(xué)院代數(shù)及其應(yīng)用團(tuán)隊(duì)在國(guó)際代數(shù)學(xué)領(lǐng)域頂級(jí)期刊Journal of Algebra及國(guó)際模糊數(shù)學(xué)領(lǐng)域頂級(jí)期刊Fuzzy Sets and System發(fā)表學(xué)術(shù)論文。
發(fā)表在Journal of Algebra的論文“Aspects of the commuting graph”主要研究了有限群的交換圖，全文共61頁(yè)，作者順序按姓氏字母排列，依次為印度欽奈數(shù)學(xué)研究所V. Arvind教授、英國(guó)圣安德魯斯大學(xué)Peter J. Cameron教授、理學(xué)院馬儇龍副教授及俄羅斯科學(xué)院烏拉爾分院克拉索夫斯基數(shù)學(xué)和力學(xué)研究所首席研究員Natalia V. Maslova教授。群上交換圖的研究最早起源于1955年，本文系統(tǒng)探討了判定給定圖是否為有限群上交換圖的算法問(wèn)題，且針對(duì)超特殊p-群（p為奇素?cái)?shù)），給出了多項(xiàng)式算法。此外，就“分類交換圖是余圖或弦圖時(shí)所對(duì)應(yīng)的有限群”這一公開(kāi)問(wèn)題進(jìn)行了深入研究；特別地，分類了交換圖為余圖時(shí)的所有有限單群。該工作得到了國(guó)家自然科學(xué)基金項(xiàng)目的大力支持和資助。
Journal of Algebra是由Elsevier出版的國(guó)際數(shù)學(xué)期刊，創(chuàng)刊于1964年，是國(guó)際代數(shù)學(xué)領(lǐng)域的頂級(jí)期刊，聚焦代數(shù)及相關(guān)計(jì)算領(lǐng)域研究，要求論文具備重要成果及持久影響力。該期刊在中國(guó)數(shù)學(xué)會(huì)數(shù)學(xué)領(lǐng)域高質(zhì)量科技期刊分級(jí)目錄2024版中位列數(shù)學(xué)類T2，在中科院期刊分區(qū)表中位列2區(qū)。
發(fā)表在Fuzzy Sets and System的論文“An algebraic study of t-norm based residuated fuzzy tense logics”主要研究了基于三角模的剩余模糊時(shí)態(tài)邏輯的代數(shù)理論，理學(xué)院王軍濤副教授為論文的第一作者，西安石油大學(xué)理學(xué)院為論文的第一署名單位。1986年，著名邏輯學(xué)家W.B. Ewald在論文[Intuitionistic tense and modal logic, Journal ofSymbolicLogic,51 (1986)]中構(gòu)建了直覺(jué)時(shí)態(tài)邏輯的公理系統(tǒng)IKt.本文指出了IKt并非是獨(dú)立的，在此基礎(chǔ)之上構(gòu)建了基于三角模剩余模糊時(shí)態(tài)邏輯的公理化系統(tǒng)，并從泛代數(shù)角度通過(guò)語(yǔ)義擴(kuò)張形式構(gòu)建了基于三角模剩余模糊時(shí)態(tài)邏輯的代數(shù)語(yǔ)義體系，進(jìn)而為剩余模糊時(shí)態(tài)邏輯提供了統(tǒng)一的代數(shù)處理框架，同時(shí)從范疇角度找到了時(shí)態(tài)剩余格范疇的等價(jià)范疇，得到了其一種簡(jiǎn)易化的表示性定理。
Fuzzy Sets and System是國(guó)際模糊系統(tǒng)協(xié)會(huì)（IFSA）會(huì)刊，創(chuàng)刊于1978年，是國(guó)際模糊數(shù)學(xué)領(lǐng)域的頂級(jí)期刊，在中國(guó)數(shù)學(xué)會(huì)數(shù)學(xué)領(lǐng)域高質(zhì)量科技期刊分級(jí)目錄2024版中位列數(shù)學(xué)類T2，在中科院期刊分區(qū)表中位列1區(qū)（TOP）。
理學(xué)院代數(shù)及其應(yīng)用團(tuán)隊(duì)由8名博士組成，其中教授1人、副教授4人、講師3人、碩士研究生導(dǎo)師3人。團(tuán)隊(duì)中1人擔(dān)任SCI期刊Logic Journal of the IGPL領(lǐng)域編輯，1人擔(dān)任SCI期刊Open Mathematics領(lǐng)域編輯，1人入選陜西高校“優(yōu)秀青年人才支持計(jì)劃”。
該團(tuán)隊(duì)致力于代數(shù)學(xué)中的前沿問(wèn)題及應(yīng)用研究，研究領(lǐng)域包括代數(shù)圖論、序代數(shù)、邏輯代數(shù)、算子代數(shù)等。近年來(lái)，團(tuán)隊(duì)成員主持10余項(xiàng)縱向科研項(xiàng)目，其中包括5項(xiàng)國(guó)家自然科學(xué)基金、1項(xiàng)教育部人文社會(huì)科學(xué)基金。在數(shù)學(xué)學(xué)報(bào)（中文版）、數(shù)學(xué)進(jìn)展（中國(guó)）、Proceedings of the American Mathematical Society、Journal of Algebra、Fuzzy Sets and Systems、SIAM Journal on Discrete Mathematics、Journal of Algebraic Combinatorics、Semigroup Forum、AlgebraColloquium、Communications in Algebra、Journal of Algebra and Its Applications、The Review of Symbolic Logic、Studia Logica等國(guó)內(nèi)外知名期刊發(fā)表高水平學(xué)術(shù)論文60余篇，獲陜西高等學(xué)?？茖W(xué)技術(shù)研究?jī)?yōu)秀成果二等獎(jiǎng)2項(xiàng)。
近年來(lái)，理學(xué)院高度重視科研團(tuán)隊(duì)建設(shè)，不斷加強(qiáng)有組織科研，深化科研組織模式改革，奮力開(kāi)創(chuàng)學(xué)院科研工作高質(zhì)量發(fā)展新局面。其中數(shù)學(xué)學(xué)科先后成立了不確定性推理、代數(shù)及其應(yīng)用、科學(xué)計(jì)算與反問(wèn)題和最優(yōu)化理論與機(jī)器學(xué)習(xí)四個(gè)科研團(tuán)隊(duì)。
