百晓学者学者目录

马占有

副教授，北方民族大学

精选作品

期刊论文

2026

广义可能性测度的承诺和信任多智能体系统模型检测

马占有，黄瑞祺，何娜娜，刘子源

《郑州大学学报(工学版)》

DOI

2026

基于模糊测度的最大可能性互模拟等价研究

刘子源，马占有，李霞，黄瑞祺，何娜娜

《郑州大学学报(理学版)》

DOI

2026

Conflict-aware commonsense knowledge distillation with hypergraph reasoning for robust multimodal sentiment analysis

Chenhui Deng, Zhanyou Ma, Meng Du, Yanjie Zheng

Journal of King Saud University - Computer and Information Sciences

DOI

2026

Formal Verification of Trust in Multi-Agent Systems Under Generalized Possibility Theory

Ruiqi Huang, Zhanyou Ma, Nana He

Mathematics

DOI

2024

基于模糊测度的模糊分支时态逻辑模型检测

刘子源，马占有，李霞，高滢囡，何娜娜，黄瑞祺

《计算机工程与科学》

2024

基于UML-NuSMV的并发系统建模与验证

马占有，郭昊，李召恺，李健祥

《华中科技大学学报(自然科学版)》

2024

基于模糊多智能体系统的模型检测

马占有，李霞，高滢囡，刘子源

《华中科技大学学报(自然科学版)》

2024

Optimization of parameters of fuzzy PID controller using grey wolf algorithm

yinghui Dong, Zhanyou Ma, Jinyuan Ma, Shigang Li, Beibei Ding, Jiawei Zhang

International Conference on Optics, Electronics, and Communication Engineering (OECE)

DOI

2024

Model checking fuzzy computation tree logic of multi-agent systems based on fuzzy interpreted systems

Zhanyou Ma, Zhanyou Ma, Ziyuan Liu, Xia Li, Ziyuan Liu, Ruiqi Huang, Nana He

Fuzzy Sets and Systems

DOI

2024

Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems

Xia Li, Zhanyou Ma, Zhibao Mian, Ziyuan Liu, Ruiqi Huang, Nana He

Computers, materials & continua/Computers, materials & continua (Print)

DOI

2023

Quantitative reachability analysis of generalized possibilistic decision processes

Zhanyou Ma, Yingnan Gao, Zhaokai Li, Xia Li, Ziyuan Liu

Journal of Intelligent & Fuzzy Systems

DOI

2022

基于模糊决策过程的模糊计算树逻辑模型检测

李召恺，马占有，李健祥，郭昊

《计算机工程与科学》

2022

广义可能性计算树逻辑模型检测中的成本分析

马占有，李健祥，李召恺，郭昊

《郑州大学学报(理学版)》

2022

A Method Converting Multi-Properties Objective Reachability Problems to Multi-Objective Sets Reachability Problems over FKS

Zhaokai Li, Zhanyou Ma, Xia Li, Yingnan Gao

Symmetry

DOI

2022

Model Checking Fuzzy Computation Tree Logic Based on Fuzzy Decision Processes with Cost

Zhanyou Ma, Zhaokai Li, Weijun Li, Yingnan Gao, Xia Li

Entropy

DOI

2020

CTL Symbolic Model Checking Based on Fuzzy Logic

Pengzhan Nie, Jiulei Jiang, Zhanyou Ma

IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech)

DOI

2019

Quantitative µ-Calculus Model Checking Algorithm Based on Generalized Possibility Measures

Panqing Zhang, Jiulei Jiang, Zhanyou Ma, Heng Zhu

IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf on Pervasive Intelligence and Computing, Intl Conf on Cloud and Big Data Computing, Intl Conf on Cyber Science and Technology Congress (DASC/PiCom/CBDCom/CyberSciTech)

DOI

2018

Model Checking Instance Based on NuSMV

Ninglin Xu, Zhanyou Ma, Jiulei Jiang, Panqing Zhang

DOI

2017

模糊代数系统与模糊范式

张孟青，马占有

《计算机工程与科学》

2016

基于决策过程的广义可能性计算树逻辑模型检测

马占有，李永明

《中国科学:信息科学》

2015

广义可能性决策过程的计算树逻辑模型检测

马占有，李永明

《计算机工程与科学》

2015

广义可能性互模拟及其逻辑刻画

张兴兴，邓楠轶，马占有，李永明

《计算机工程与科学》

2015

Quantitative Computation Tree Logic Model Checking Based on Generalized Possibility Measures

Yongming Li, Zhanyou Ma

IEEE Transactions on Fuzzy Systems

DOI

2014

基于广义可能性测度的可达性问题的模型检测

马占有，李永明

《模糊系统与数学》

此主页由公开资料整理，尚未经学者本人认领。