All Outputs (15)

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.

Research on College Computer-Computing and Information Literacy online course based on MOOC: Taking the North Minzu University as an example (2021)
Conference Proceeding
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)
Conference Proceeding
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)
Conference Proceeding
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)
Conference Proceeding
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)
Conference Proceeding
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)
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.

Automatic generation of Temporal Fault Trees from AADL models (2013)
Conference Proceeding
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.

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.