Skip to main content

Research Repository

Advanced Search

All Outputs (21)

A new class of zero-truncated counting models and its application (2024)
Journal Article
Tang, X. P., Tian, Y. Z., Wu, C. H., Wang, Y., & Mian, Z. B. (2024). A new class of zero-truncated counting models and its application. Communications in Statistics - Simulation and Computation, https://doi.org/10.1080/03610918.2024.2384561

Count data is a type of data derived from the number of times an event occurs per unit of time, and zero-truncated count data refers to count data without zero, which often appears in various fields. In this paper, a new zero-truncated Bell (ZTBell)... Read More about A new class of zero-truncated counting models and its application.

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.

Optimizing soybean biofuel blends for sustainable urban medium-duty commercial vehicles in India: an AI-driven approach (2024)
Journal Article
Rajak, U., Chaurasiya, P. K., Verma, T. N., 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.-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.

Assessing the Impact of Usability from Evaluating Mobile Health Applications (2024)
Journal Article
Busari, A., Jaber, T., Gordon, N., & Mian, Z. (2024). Assessing the Impact of Usability from Evaluating Mobile Health Applications. International Journal on Engineering Technologies and Informatics, 5(2), https://doi.org/10.51626/ijeti.2024.05.00074

Software applications that are used to monitor, track, and improve health are called Mobile Health Applications or mHAs. They are developed with or without the help of medical professionals to potentially aid health, achieve health goals and improve... Read More about Assessing the Impact of Usability from Evaluating Mobile Health Applications.

Application of Machine Learning Techniques for the Prediction of Heart Disease (2024)
Journal Article
Owodunni, A. A., Jaber, T., & Mian, Z. (2024). Application of Machine Learning Techniques for the Prediction of Heart Disease. Acta Scientific Computer Sciences, 6(3), 13-23

As important as the heart is to humans, unfortunately, 43% of death is from heart disease [2] declared by Global Burden of Disease research. By 2030, deaths from cardiovascular disease will reach 23.6 million where heart disease takes the lead [3]. A... Read More about Application of Machine Learning Techniques for the Prediction of Heart Disease.

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.

Research on College Computer-Computing and Information Literacy online course based on MOOC: Taking the North Minzu University as an example (2021)
Presentation / Conference Contribution
Mian, Z., Bai, Y., & Ur, R. K. (2021). Research on College Computer-Computing and Information Literacy online course based on MOOC: Taking the North Minzu University as an example. In IEEE 3rd International Conference on Computer Science and Educational Informatization (CSEI) (300-306). https://doi.org/10.1109/CSEI51395.2021.9477751

In 2015, North Minzu University (NMU) introduced MOOC teaching method into the teaching practice of computer major. It is the first experiment of this teaching method in Ningxia Hui Autonomous Region. In the three years of teaching practice, NMU has... Read More about Research on College Computer-Computing and Information Literacy online course based on MOOC: Taking the North Minzu University as an example.

A Model-based RCM Analysis Method (2020)
Presentation / Conference Contribution
Mian, Z., Jia, S., Shi, X., Tang, C., Chen, J., & Gao, Y. (2020). A Model-based RCM Analysis Method. In IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C) (301-307). https://doi.org/10.1109/QRS-C51114.2020.00059

The reliability-centered maintenance (RCM) is one of the most advanced maintenance plan generating technologies for equipments. At present, the key technologies such as FMEA and FMECA supporting the RCM analysis remains in the manual stage in some en... Read More about A Model-based RCM Analysis Method.

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.

Semantic Mapping for Model Transformation between AADL2 and HiP-HOPS (2020)
Presentation / Conference Contribution
Mian, Z., Gao, Y., Shi, X., & Tang, C. (2020). Semantic Mapping for Model Transformation between AADL2 and HiP-HOPS. In 4th International Conference on System Reliability and Safety (ICSRS) (539-543). https://doi.org/10.1109/ICSRS48664.2019.8987619

Currently, AADL has gradually become as one of the standards for the architecture design of complex embedded system. It is widely used in aerospace, automotive electronics and other fields for the design and analysis of high dependability-critical sy... Read More about Semantic Mapping for Model Transformation between AADL2 and HiP-HOPS.

A Cost Modeling Method Based on AADL2 (2020)
Presentation / Conference Contribution
Mian, Z., Tang, C., Gao, Y., Jia, S., Shi, X., & Chen, J. (2020). A Cost Modeling Method Based on AADL2. In 4th International Conference on System Reliability and Safety (ICSRS) (549-553). https://doi.org/10.1109/ICSRS48664.2019.8987612

The Architecture Analysis and Design Language (AADL) is widely used in the modeling, analysis and verification of the dependability-critical system. Previously, we have implemented the multi-objective (based on dependability and cost) architecture op... Read More about A Cost Modeling Method Based on AADL2.

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.

A dependability modeling and analysis approach for an IoP-based service system (2018)
Presentation / Conference Contribution
Mian, Z., Bottaci, L., Jiang, J., He, J., Yu, Q., & Wang, X. (2018). A dependability modeling and analysis approach for an IoP-based service system. In IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI) (2036-2041). https://doi.org/10.1109/SmartWorld.2018.00341

The increasing use of the internet of people (IoP) based service systems has the potential to bring about substantial benefits to individuals. An IoP-based service system includes components such as cell phones, wearable devices, smart homes, cars et... Read More about A dependability modeling and analysis approach for an IoP-based service system.

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.

Model transformation for multi-objective architecture optimisation for dependable systems (2014)
Thesis
Mian, Z. (2014). Model transformation for multi-objective architecture optimisation for dependable systems. (Thesis). University of Hull. Retrieved from https://hull-repository.worktribe.com/output/4216353

Model-based engineering (MBE) promises a number of advantages for the development of embedded systems. Model-based engineering depends on a common model of the system, which is refined as the system is developed. The use of a common model promises a... Read More about Model transformation for multi-objective architecture optimisation for dependable systems.

Multi-objective architecture optimisation modelling for dependable systems (2013)
Presentation / Conference Contribution
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.

Automatic generation of Temporal Fault Trees from AADL models (2013)
Presentation / Conference Contribution
Mahmud, N., & Mian, Z. (2014). Automatic generation of Temporal Fault Trees from AADL models. In R. Steenbergen, P. VanGelder, S. Miraglia, & A. Vrouwenvelder (Eds.), Safety, Reliability and Risk Analysis : Beyond the Horizon (2741-2749). https://doi.org/10.1201/b15938

The Architecture Analysis and Design Language (AADL) is gaining growing acceptance in the aerospace, automobile and avionics industries. These industries are increasingly concerned with systems exhibiting sequence-dependent failures. About dependabil... Read More about Automatic generation of Temporal Fault Trees from AADL models.