All Outputs (8)

An empirical analysis of agricultural and rural carbon emissions under the background of rural revitalization strategy–based on machine learning algorithm (2024)
Journal Article
Niu, X. Y., Tian, Y. Z., Tang, M. L., & Mian, Z. B. (2024). An empirical analysis of agricultural and rural carbon emissions under the background of rural revitalization strategy–based on machine learning algorithm. Air Quality, Atmosphere and Health, https://doi.org/10.1007/s11869-024-01606-2

Agricultural and rural carbon (ARC) emissions are a major source of greenhouse gas emissions in China and have profound implications for implementing the rural revitalization strategy. This study takes Shandong Province, a leading agricultural provin... Read More about An empirical analysis of agricultural and rural carbon emissions under the background of rural revitalization strategy–based on machine learning algorithm.

Bayesian relative composite quantile regression approach of ordinal latent regression model with L1/2 regularization (2024)
Journal Article
Tian, Y.-Z., Wu, C.-H., Tai, L.-N., Mian, Z., & Tian, M.-Z. (2024). Bayesian relative composite quantile regression approach of ordinal latent regression model with L1/2 regularization. Statistical Analysis and Data Mining, 17(2), Article e11683. https://doi.org/10.1002/sam.11683

Ordinal data frequently occur in various fields such as knowledge level assessment, credit rating, clinical disease diagnosis, and psychological evaluation. The classic models including cumulative logistic regression or probit regression are often us... Read More about Bayesian relative composite quantile regression approach of ordinal latent regression model with L1/2 regularization.

Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems (2024)
Journal Article
Li, X., Ma, Z., Mian, Z., Liu, Z., Huang, R., & He, N. (2024). Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems. Computers, Materials & Continua, 78(3), 4129-4152. https://doi.org/10.32604/cmc.2024.047168

Model checking is an automated formal verification method to verify whether epistemic multi-agent systems adhere to property specifications. Although there is an extensive literature on qualitative properties such as safety and liveness, there is sti... Read More about Computation Tree Logic Model Checking of Multi-Agent Systems Based on Fuzzy Epistemic Interpreted Systems.

A literature review of fault diagnosis based on ensemble learning (2023)
Journal Article
Mian, Z., Deng, X., Dong, X., Tian, Y., Cao, T., Chen, K., & Jaber, T. A. (2024). A literature review of fault diagnosis based on ensemble learning. Engineering applications of artificial intelligence, 127, Article 107357. https://doi.org/10.1016/j.engappai.2023.107357

The accuracy of fault diagnosis is an important indicator to ensure the reliability of key equipment systems. Ensemble learning integrates different weak learning methods to obtain stronger learning and has achieved remarkable results in the field of... Read More about A literature review of fault diagnosis based on ensemble learning.

IoP System Dependability Evaluation Method Based on AADL (2022)
Journal Article
Shi, X., Mian, Z., & Gao, Y. (2022). IoP System Dependability Evaluation Method Based on AADL. Jisuanji Gongcheng/Computer Engineering, 48(1), 204-213. https://doi.org/10.19678/j.issn.1000-3428.0059738

The Internet of People(IoP)is characterized by the complex architecture and massive changing data, which adds to the difficulty of the analysis on IoP-based system dependability.Currently, there is still no robust dependability modelling and analysis... Read More about IoP System Dependability Evaluation Method Based on AADL.

Effect of IDT position parameters on SAW yarn tension sensor sensitivity (2020)
Journal Article
Lei, B., Lu, W., Mian, Z., & Bao, W. (2020). Effect of IDT position parameters on SAW yarn tension sensor sensitivity. Measurement and Control, 53(9-10), 2055-2062. https://doi.org/10.1177/0020294020965620

In this paper, the effect of the interdigital transducer (IDT) position parameters on the surface acoustic wave (SAW) yarn tension sensor sensitivity is investigated. The stress–strain characteristic of substrate was studied by the combination of fin... Read More about Effect of IDT position parameters on SAW yarn tension sensor sensitivity.

Model transformation for analyzing dependability of AADL model by using HiP-HOPS (2019)
Journal Article
Mian, Z., Bottaci, L., Papadopoulos, Y., & Mahmud, N. (2019). Model transformation for analyzing dependability of AADL model by using HiP-HOPS. Journal of Systems and Software, 151, 258-282. https://doi.org/10.1016/j.jss.2019.02.019

The Architecture Analysis and Design Language (AADL) has emerged as a potential future standard in aerospace, automobile and avionics industries for model-based development of dependability-critical systems. As AADL is relatively new, some existing a... Read More about Model transformation for analyzing dependability of AADL model by using HiP-HOPS.

Model transformation for multi-objective architecture optimisation of dependable systems (2015)
Journal Article
Mian, Z., Bottaci, L., Papadopoulos, Y., Sharvia, S., & Mahmud, N. (2015). Model transformation for multi-objective architecture optimisation of dependable systems. Advances in Intelligent Systems and Computing, 307, 91-110. https://doi.org/10.1007/978-3-319-08964-5_6

The promise of model-based engineering is that by use of an integrated and coherent system model both functional and non-functional requirements may be analysed, implemented and tested in a rigorous and cost-effective manner. An important part of mod... Read More about Model transformation for multi-objective architecture optimisation of dependable systems.