All Outputs (10)

Optimizing soybean biofuel blends for sustainable urban medium-duty commercial vehicles in India: an AI-driven approach (2024)
Journal Article
Rajak, U., Kumar Chaurasiya, P., Nath Verma, T., Dasore, A., Ağbulut, Ü., Meshram, K., …Mian, Z. (2024). Optimizing soybean biofuel blends for sustainable urban medium-duty commercial vehicles in India: an AI-driven approach. Environmental science and pollution research, https://doi.org/10.1007/s11356-024-33210-3

This article presents the outcomes of a research study focused on optimizing the performance of soybean biofuel blends derived from soybean seeds specifically for urban medium-duty commercial vehicles. The study took into consideration elements such... Read More about Optimizing soybean biofuel blends for sustainable urban medium-duty commercial vehicles in India: an AI-driven approach.

Bayesian relative composite quantile regression approach of ordinal latent regression model with L1/2 regularization (2024)
Journal Article
Tian, Y., Wu, C., Tai, L., Mian, Z., & Tian, M. (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.

Multi-objective architecture optimisation modelling for dependable systems (2013)
Journal Article
Mian, Z., & Bottaci, L. (2013). Multi-objective architecture optimisation modelling for dependable systems. IFAC Proceedings Volumes/ International Federation of Automatic Control, 4(22), 31-36. https://doi.org/10.3182/20130904-3-UK-4041.00033

The design of dependable systems must address both cost and dependability (i.e. safety, reliability, availability and maintainability) concerns. For large systems, the design space of alternatives with respect to both dependability and cost is very l... Read More about Multi-objective architecture optimisation modelling for dependable systems.

System dependability modelling and analysis using AADL and HiP-HOPS (2012)
Journal Article
Mian, Z., Bottaci, L., Papadopoulos, Y., & Biehl, M. (2012). System dependability modelling and analysis using AADL and HiP-HOPS. IFAC Proceedings Volumes/ International Federation of Automatic Control, 45(6), 1647-1652. https://doi.org/10.3182/20120523-3-RO-2023.00334

The Architecture Analysis and Design Language (AADL) is gaining widespread acceptance in aerospace, automobile and avionics industries for designing dependability-critical systems. The design process of dependable systems must address both cost and d... Read More about System dependability modelling and analysis using AADL and HiP-HOPS.