Coverage and Factors Associated with Acceptance and Satisfaction of Seasonal Malaria Chemoprevention in Six Health Zones in Benin

Introduction: Seasonal malaria chemoprevention (SMC) was adopted in 2019 in two health zones in Benin where malaria transmission is very high. Positive results led to the extension of the intervention to other zones with additional financial support. Annual SMC campaigns from 2021 to 2023 were carried out in all six health zones in the Atacora and Alibori departments. In five years of implementation, various approaches have been developed on the basis of a communication plan facilitating buy-in and acceptance by all stakeholders. The aim of this study was to assess the effective coverage and acceptance of the SMC by their beneficiary populations in 2023. Methods: It was a cross-sectional study with an analytical focus. Data collection took place from November 30 to December 13, 2023. The study population consisted of children under 5 years of age residing in the departments of Atacora and Alibori in northern Benin. A total of 3573 children under 5 years of age were included in the study, and their parents or guardians were interviewed. Results: During the 2023 campaign, 87.7% of targets were reached by SMC administration and 100.00% of children had received at least one dose of SMC by the fourth visit. Effective therapeutic coverage of SMC was 70.55%, with 99.60% in BNK, 69.40% in KGS, 16.20% in MK, 56.10% in 2KP, 92.40% in NBT and 89.60% in TMC. This coverage was statistically related to child and respondent ages (p Conclusion: SMC is a strategy accepted by the population, and the main reasons for non-participation in SMC were dominated by the absence of mothers or babysitters when the agents visited.

Acceptance and Experience of HIV-Infected Adolescents in Two Hospitals in Yaoundé

Introduction: Access to antiretroviral drugs has improved the survival of children infected with the Human Immunodeficiency Virus (HIV). As they reach adolescence, they are confronted with various constraints related to the infection and its treatment, in addition to those of the growth period they are going through. The main aim of the study was to assess the acceptance and describe the experience of HIV infection by infected adolescents but also to investigate the factors associated with good acceptance and a positive experience. Methodology: The cross-sectional analytic study concerned HIV-infected adolescents aged 15 to 19 followed up at the Chantal Biya Foundation-Mother and Child Centre (CME-FCB) and the Yaoundé University Hospital Centre (CHUY) between February 2020 and June 2020. The study saw participants complete a questionnaire containing socio-demographic data and assessing acceptance and experience with the infection. Data analysis was accomplished using Epi info software version 7.2.2.6. Results: One hundred and thirteen HIV-infected adolescents were included in the study. The sex ratio was 0.68 and the mean age was 17 years. More than half of the adolescents had a good acceptance and positive experience with the infection. Related factors were the adolescent’s perception of good health and participation in an association with other infected adolescents. Conclusion: Emphasizing the psychological and educational follow-up of infected adolescents and encouraging their participation in associations for adolescents living with HIV could reduce the consequences of poor acceptance and ensure a better transition to adulthood. .

Monitor and Acceptance among Couples in Romantic Relationships:Actor-Partner Interdependence Models Based on the Monitor and Acceptance Theory

Communication could be an essential part of couples in their daily life.Based on Monitor and Acceptance Theory(MAT),the present study explored the mediating role of communication in the relationship between mindfulness and relationship quality among college-student couples.The research examined the dynamic relationship of monitoring and acceptance to relationship satisfaction in the Actor-Partner Interdependence Model(APIM),and the mediating effect of positive or negative communications in these relationships.A total of 96 pairs of couples in the universities in Nanjing,China participated in the research.Momentary measurements were used to measure the momentary levels of their monitor,acceptance,positive/negative communication,and relationship satisfaction.A Hierarchical Linear Model(HLM)was used to deal with the APIM.Results showed that the women’s monitor facet of state mindfulness negatively predicted men’s relationship satisfaction through women’s negative communication,and the women’s acceptance facet of state mindfulness positively predicted women’s relationship satisfaction through women’s positive and negative communication at the within-person level.The study highlights the importance of cooperation in monitoring and acceptance for couples to own and hold high levels of relationship satisfaction.

COVID-19 Vaccine Acceptance and Hesitancy among Pregnant Women: A Knowledge, Attitude, and Perceived Risks Survey in Lusaka, Zambia

Introduction: The coronavirus disease 2019 (COVID-19) is an infectious disease of the respiratory tract caused by SARS-CoV-2. Since its emergence, there have been increased rates of transmission and spread, morbidity and mortality which led to the development of COVID-19 vaccines to address the pandemic. This study assessed acceptance, knowledge, attitude, and perceived risks regarding COVID-19 vaccines among pregnant women attending antenatal care at two First-Level Hospitals in Lusaka, Zambia. Materials and Methods: This was a cross-sectional study that was conducted among 241 pregnant women using a questionnaire from August 2023 to October 2023 in two First-Level Hospitals in Lusaka district, Zambia. The collected data were analyzed using IBM Statistical Package for Social Sciences (SPSS) version 22.0. Statistical analysis was performed using a Chi-square test. The statistical significance was set at a 95% confidence level. Results: Of the 241 participants, 107 (42.7%) were aged between 24 and 34 years. Overall, 64.3% accepted the COVID-19 vaccines, of which 122 (50.6%) were already vaccinated. Further, 203 (84.6%) of the pregnant women had good knowledge, and 199 (82.6%) had positive attitudes towards COVID-19 vaccines. However, 58.5% thought COVID-19 vaccines were not safe and could cause infertility. Alongside this, 70.1% thought that COVID-19 vaccines were harmful during pregnancy. Having good knowledge of COVID-19 vaccines was associated with age (p = 0.049), education status (p = 0.001), and employment status (p = 0.001). Having a positive attitude towards COVID-19 vaccines was associated with education status (p = 0.001) and employment status (p = 0.001). Conclusion: This study found that most pregnant women had good knowledge, and positive attitudes, and the majority accepted the COVID-19 vaccine. Encouragingly, most of the pregnant women who accepted the COVID-19 vaccines were already vaccinated. Most pregnant women thought that COVID-19 vaccines had side effects, were not safe, and could be harmful during pregnancy. Consequently, this could have contributed to the hesitancy to receive a vaccine among some participants. The findings of this study demonstrate the need to provide pregnant women with continuous educational programs on the benefits of vaccinations for themselves and their children.

Market Research on College Students' Acceptance of Prepared Dishes

With the accelerated pace of life and the demand for dietary diversification,more and more people begin to pay attention to the convenience and health of diet,and the prepared dishes market is getting more and more attention and favor because of its characteristics of convenient and quick.In order to understand the acceptance of college students' to the prepared dishes market,this paper aimed to collect college students' views and suggestions on the prepared dishes market by means of a questionnaire survey.By analyzing the results of the survey,we found that college students' generally have a positive attitude towards prepared dishes markets,and they believe that prepared dishes provides convenient,fast and diversified dietary choices.However,some college students' have some concerns about the quality and food safety of the prepared dishes market,such as adding too many food additives and preservatives.Through the research on college students' acceptance of the prepared dishes market,we can reveal the demand and potential problems of college students' for the prepared dishes market from the consumer s point of view,so as to provide a reference for the future development of the prepared dishes market.

The Dissemination, Acceptance and Evolution of The Romance of the Three Kingdoms in Japan

As one of the Four Great Masterpieces of China,The Romance of the Three Kingdoms has become a landmark of ancient Chinese literature with vivid and profound character images,ups and downs of politics and war descriptions,and appealing historical plots.After being introduced to Japan in the second half of the 17th century,it was spread in Japanese society and was accepted for literary value,social needs and other reasons,then a series of evolutions were produced by combining with local culture,eventually becoming a national culture in Japan.This paper selects the most popular text of The Romance of the Three Kingdoms with 24 chapters and 120 verses in the Wanli period of the Ming Dynasty,and the Japanese translation of The Popular Romance of the Three Kingdoms published by Hunan Wenshan in 1689 as the objects,guided by Ralph Linton’s“Manifestation,Selection,Integration”cultural communication research method,to analyze the dissemination,acceptance and evolution of The Romance of the Three Kingdoms in 17-20 centuries’Japan,which started from the field of literature,then combined with various cultural forms and spread to the civic class,and finally entered politics area and produced a series of evolutions under the influence of Japanese values to become the representative culture of Japan.This paper suggests that in today’s world of frequent cultural exchanges,China should,based on strengthening cultural self-confidence,actively and appropriately select and accept foreign cultures with the attitude of prioritizing our own culture and utilizing foreign culture for our own purposes.The research outcome can provide experience for the current Chinese culture to go to the world with high quality.

On the Dissemination and Acceptance of Dongpo Culture in the UK and the US

This study delves into the intricate dissemination and acceptance of Dongpo Culture,epitomized by Su Shi,in the UK and the US,aiming to bolster the global recognition of Chinese literary and cultural values and advance the national strategy of“Going Out”.Su Shi’s multifaceted contributions—spanning literature,philosophy,calligraphy,and art—serve as a pinnacle of Northern Song Dynasty culture.This research evaluates the varied translations,monographs,biographies,journal articles,and doctoral dissertations about Su Shi in these Western nations,using literature analysis,typical analysis,and comparative methods.The findings reveal a robust interest in Su Shi studies in the US,marked by a proliferation of scholarly works and translations across diverse disciplines,such as literature,art,and aesthetics,establishing the US as a leading center for Dongpo Culture studies.Conversely,the UK,despite its early engagement,shows limited scholarly outputs and significant research papers on the subject.By examining Dongpo Culture’s overseas communication path and influence paradigm,this paper seeks to enhance China’s cultural soft power and self-confidence.It underscores the vital role of international cultural exchange in constructing a positive image of China’s national identity,facilitating its peaceful rise,and providing strategic insights for the global promotion of Chinese culture.

Applying the Technology Acceptance Model (TAM) in Information Technology System to Evaluate the Adoption of Decision Support System

With the beginning of the information systems’ spreading, people started thinking about using them for making business decisions. Computer technology solutions, such as the Decision Support System, make the decision-making process less complex and simpler for problem-solving. In order to make a high-quality business decision, managers need to have a great deal of appropriate information. Nonetheless, this complicates the process of making appropriate decisions. In a situation like that, the possibility of using DSS is quite logical. The aim of this paper is to find out the intended use of DSS for medium and large business organizations in USA by applying the Technology Acceptance Model (TAM). Different models were developed in order to understand and predict the use of information systems, but the information systems community mostly used TAM to ensure this issue. The purpose of the research model is to determine the elements of analysis that contribute to these results. The sample for the research consisted of the target group that was supposed to have completed an online questionnaire about the manager’s use of DSS in medium and large American companies. The information obtained from the questionnaires was analyzed through the SPSS statistical software. The research has indicated that, this is primarily used due to a significant level of Perceived usefulness and For the Perceived ease of use.

A study of current status of acceptance and influencing factors of advance care planning for patients with malignant tumors

Objective:To assess the ACP acceptance among patients with malignant tumor in China and factors affecting adoption and timing.Methods:Quantitative study:The convenience sampling method was adopted from October 2020 to October 2021 to investigate 200 oncology patients by a general information questionnaire,patient's advance care planning acceptance questionnaire(ACPQ).Multiple linear stepwise regression was used to analyze the influencing factors of ACP acceptance.Qualitative study:A purposive sampling method was used to select 31 oncology patients and 13 clinical nurses for semi-structured interviews.The data were analyzed using Colaizzi's seven steps.Results:The quantitative study revealed that patients with malignancy had an upper-middle acceptance score of(66.15±7.684)for ACP,with attitude(11.26±2.064),feelings(36.64±4.208),and intention(18.25±3.275)scores.Multiple linear regression analysis showed that religious beliefs,education,monthly income,bereavement experience and notification of condition were independent risk factors for acceptance of ACP(P<0.05).The qualitative study showed that(1)oncology patients have low awareness,high demand,and low acceptability of ACP intervention;(2)they preferred to discuss ACP when medical condition or treatment plan changes;(3)family members were usually involved in ACP discussions,followed by medical personnel;(4)economy,environment,companion,and doctor-patient relationship will all influence ACP implementation.As for nurses,they(1)were unsure about the dynamic changes of ACP content and its optimal timing;(2)had limited ACP knowledge;(3)were affected by environmental factors and nurse-patient relationships;(4)were prone to have disagreements due to inadequate organization department assistance.Conclusions:clinical practitioners should discuss ACP with patients in specific conditions to increase patient acceptance.ACP development requires updated legislation,professional training,and a standardized ACP system.

Influencing Factors for Social Acceptance of Noma (Cancrum Oris) Patients in Niger: A Hospital-Based Cross-Sectional Study

Background: Noma, mostly identified in malnourished young children in the world’s low-income countries, causes severe orofacial disfigurement and significant mortality and morbidity. The majority of noma patients surviving with aesthetical effects are exposed to stigmatization and social rejection. Studies focusing on the socio-psychological impact of noma survivors have rarely been done. Our study aimed to identify the differences in social acceptance/rejection and the influencing factors associated with social acceptance in noma patients. Methods: A cross-sectional study was conducted at the NGO-Sentinelles (Niger) reception center on patients with noma from Zinder, Maradi, and Tahoua regions between 9th May 2017 and 2nd June 2017. The survey was conducted through a face-to-face interview on patients admitted to the center and those discharged from the centre after the treatment. The interview questionnaire comprised 45 questions (Cronbach’s alpha coefficient = 0.812) with pathological information, sociodemographic characteristics, and socio-psychological qualitative information. Findings: We recorded 50 noma patients (43 from Zinder and 7 from Maradi and Tahoua). The younger patients (1 - 5 years old), noma patients who stayed in school during follow-up treatment, patients who were referred by a health structure, patients enrolled into the centre in a short time (<30 days), and patients in the acute phase of noma had a significantly high social acceptance rate with 60.0%, 82.9%, 60.0%, 57.1% and 94.3% respectively;whereas single adults and cheek lesion site had the highest social rejection rate when compared to their corresponding factors with 60.0% and 86.7% respectively. There were significant differences in victims’ perception of noma [χ2 = 45.536, (P < 0.001)] and acceptance of their new faces [P = 0.023], between the social acceptance and social rejection rate, therefore all patients who accepted their new faces felt social acceptance. Social acceptance was significantly highly correlated with pathological history (admission method, phase of noma, care, and treatment received at center) with rs ranging from 0.609 to 0.810, moderately correlated with patient’s sociodemographic characteristics (age, marital status, and region) with rs ranging from 0.381 to 0.474. Lowly correlated with clinical evolution after treatment (rs = 0.293). Logistic regression results showed that the likelihood of social acceptance increased when the patient’s age was young (≤15 years), their marital status was minor, they were enrolled at the school before noma appearance, they were referred to the centre after diagnosis, the admission time to the centre was short (≤30 days), acute phase of noma, and care received at the centre was non-surgery. The location of the lesion on the cheek was a risk factor for social acceptance, indicating cheek lesions from noma increased the likelihood of social rejection in our study. Conclusion: The sociodemographic characteristics, pathological history, and psychological aspects of noma patients were correlated and were found to be important factors influencing their social acceptance/rejection rate.

Systematic Review of Literature for Smartphones Technology Acceptance Using Unified Theory of Acceptance and Use of Technology Model (UTAUT)

Systematic Review and Meta-analysis are techniques which attempt to associate the findings from similar studies and deliver quantitative summaries of the research literature [1]. The Systematic review of research literature identifies the common research methods, research design, sample size, parameters used, survey instruments, etc. used by the group of researchers. This study intends to fulfill this purpose in order to identify common research mythologies, dependent variables, sample sizes, moderators and mediators used in the field of analysing technology adoption based studies that utilizes the UTAUT2 model. This research collected over 59 published articles and conducted descriptive analytics. The results have revealed performance expectancy/perceived usefulness, trust and habit as the best predictors of consumer behavioural intentions towards the adoption of mobile application. Behavioural intention was the best predictor of use behaviour among the 57 articles selected. 274 was the mean sample size of research with 25 mean questionnaire items. SPSS and AMOS were the most common softwares used in all 57 studies, and 32 of those studies used UTAUT1 model while 14 researches incorporated the UTAUT2 model. There were also two promising predictors such as perceived risk on behavioural intention and habit on use behaviour.

Influence of initial check, information exchange, final accuracy check, reaction information nursing on the psychology of elderly with lung cancer

BACKGROUND As one of the fatal diseases with high incidence,lung cancer has seriously endangered public health and safety.Elderly patients usually have poor self-care and are more likely to show a series of psychological problems.AIM To investigate the effectiveness of the initial check,information exchange,final accuracy check,reaction(IIFAR)information care model on the mental health status of elderly patients with lung cancer.METHODS This study is a single-centre study.We randomly recruited 60 elderly patients with lung cancer who attended our hospital from January 2021 to January 2022.These elderly patients with lung cancer were randomly divided into two groups,with the control group taking the conventional propaganda and education and the observation group taking the IIFAR information care model based on the conventional care protocol.The differences in psychological distress,anxiety and depression,life quality,fatigue,and the locus of control in psychology were compared between these two groups,and the causes of psychological distress were analyzed.RESULTS After the intervention,Distress Thermometer,Hospital Anxiety and Depression Scale(HADS)for anxiety and the HADS for depression,Revised Piper’s Fatigue Scale,and Chance Health Locus of Control scores were lower in the observation group compared to the pre-intervention period in the same group and were significantly lower in the observation group compared to those of the control group(P<0.05).After the intervention,Quality of Life Questionnaire Core 30(QLQ-C30),Internal Health Locus of Control,and Powerful Others Health Locus of Control scores were significantly higher in the observation and the control groups compared to the pre-intervention period in their same group,and QLQ-C30 scores were significantly higher in the observation group compared to those of the control group(P<0.05).CONCLUSION The IIFAR information care model can help elderly patients with lung cancer by reducing their anxiety and depression,psychological distress,and fatigue,improving their tendencies on the locus of control in psychology,and enhancing their life qualities.

Effects of Internet-Based Acceptance and Commitment Therapy (IACT) on Adolescents: A Systematic Review and Meta-Analysis

Objectives:This study reviewed published randomized controlled trials(RCTs)and evaluated the efficacy of internet-based acceptance and commitment therapy(IACT)on adolescent mental health.Methods:Searches were conducted in PubMed,ProQuest,APA(PsycNET/PsycINFO),and Web of Science from inception to Jan-uary 2022 to identify RCTs evaluating the effects of IACT on adolescents.The included studies were assessed for quality and risk of bias.This study was performed using the standard mean difference and associated 95%confidence interval of effective measures.Review Manager 5.4 software was adopted to calculate the effect size.Results:Compared to adolescents in control groups,those in the IACT groups showed some improvement in the efficacy of depression symptoms(SMD=−0.24,95%CI=[−0.44,−0.05],p=0.01)and had a small but sig-nificant effect on reducing experiential avoidance(SMD=−0.24,95%CI=[−0.46,−0.01],p=0.04).However,the effect size on anxiety did not reach the threshold(SMD=−0.18,95%CI=[−0.27,−0.09],p<0.0001).In addition,there were no significant differences in stress and well-being compared to those of the control group.Compared with universal adolescents,IACT was found to have a more significant therapeutic effect on targeted adolescents.Conclusions:IACT is effective in adolescent mental health interventions,but its clinical reliability and significant efficacy are limited,and more rigorous RCTs are needed in future studies.

The Remote Product Check and Acceptance Technology Based on Web

This paper analyzes the feasibility of the remote check and acceptance of product and presents an architecture through which the remote product check and acceptance system can be realized. This paper also illuminates the work process of this system and discusses the technological details of the quality inspection as well as the key technologies.

Unlocking Societal Recognition and Acceptance: A Case Study of Python

This study employs Python,a high-level programming language,as a case study.By analyzing the inherent characteristics of Python within its social context,this study explores its advantages in meeting social needs,influencing social psychology,and garnering external support.The primary objective of this analysis is to disrupt the established monopoly held by older programming languages such as Java,Rust,and C++.As a result,Python has emerged as the most widely utilized and popular programming language globally.Using Python as a representative example,this study extends its focus to examine the conditions under which products across various societal domains not only gain recognition but also find widespread acceptance and application in the world.Through thorough scrutiny within the demanding landscape of society,the study contends that products meeting such conditions are well-positioned to contribute significantly to societal progress.

Acceptability of Caesarean Section among Pregnant Women Seeking Antenatal Care at Women and Newborn Hospital-University Teaching Hospitals, Lusaka Zambia

Caesarean section remains one of the most common obstetric and major operations performed on women during pregnancy and has contributed to improving maternal and foetal health. Consequently, significant mortality and morbidity from pregnancy and labour-related causes can be eliminated by a timely caesarean section. The acceptance of the life-saving procedure remains unsatisfactory in most sub-Saharan nations. The study aimed to assess the acceptability of caesarean section and associated factors among pregnant women seeking antenatal care at Women and Newborn Hospital-University Teaching Hospitals in Lusaka Zambia. The study utilised a quantitative cross-sectional analytical study design involving 420 pregnant women selected using systematic random sampling at Women and Newborn Hospital-University Teaching Hospitals Lusaka Zambia. Data was obtained using an Interview schedule and analysed using R software version 4.3.2. Chi-square, Fisher’s exact test, Wilcoxon rank sum test and binary logistic regression for statistical analysis at a 5% level of significance. The study found that the acceptability of Caesarean section as a mode of delivery was low (29%) among respondents at Women and Newborn Hospital-University Teaching Hospitals. This was influenced by marital status (P = 0.002), socioeconomic status (P = 0.050), parity (P = 0.004), gestation age (P = 0.008), previous history of caesarean section (P = 0.003), knowledge (P < 0.001), attitude (P < 0.001), and sociocultural beliefs (P = 0.045). Low acceptability of Caesarean section delivery is common among women at Women and Newborn Hospital-University Teaching Hospitals, despite its potential benefits for maternal and neonatal health. Socio-demographic and maternal characteristics, knowledge, attitude, perception, and socio-cultural beliefs play a major role in determining acceptability. Therefore, efforts to enhance acceptability should focus on improving knowledge, enhancing positive perceptions and attitudes, and allaying negative socio-cultural beliefs towards caesarean section.

Acceptability of Kangaroo Mother Care (KMC) by Mothers with Low-Birth-Weight Babies at Arthur Davison Children’s Hospital, in Ndola, Zambia

Background: Kangaroo Mother Care is a simple safe method used to care for low-birth-weight babies. Low-birth-weight is a global public health issue that pose significant challenge to perinatal care systems. Globally, complications due to low-birth-weight are the leading cause of neonatal mortality, resulting in an estimated 1 million deaths annually. Kangaroo Mother Care (KMC) is a low-cost method of care for low-birth-weight infants in areas with inadequate incubators and power outages with positive outcomes. Objectives: To assess factors influencing acceptability of Kangaroo Mother Care (KMC) in NICU at Arthur Davison Children’s Hospital in Ndola, Zambia. Methodology: A cross sectional quantitative analytical study design was used. The study was conducted at Arthur Davison Children’s Hospital (ADCH) in Ndola, Zambia. The purposive sampling method was used to select the study participants and a total of 129 mothers with Low Weight Babies A were selected to participate structured closed ended questionnaire was used to collect data from the participants using an interview. Data was analyzed using a Statistical Package for Social Scientists (SPSS) software version 26. Cross tabulations were done to determine association of variables using a Chi square (x2) test at 95% confidence interval and were assumptions where not met, fishers exact test was used. Multivariate binary logistic regression analysis was used to quantify the relationship between the dependent and independent variables. Results: Most of the respondents had male babies 77%, 69% of the babies weighed 1000 g - 1400 g, majority 79% had normal delivery, 71% of the respondents were multigravida and most of the respondents 79% were married. The study reviewed that 85% of those who attained secondary education accepted KMC, 74% of the respondents without monthly income accepted KMC, 80% of the respondents had positive attitude and accepted KMC. 82% of the respondents who had positive perception accepted KMC. Conclusion: Acceptance of Kangaroo Mother Care (KMC) among 75% of the mothers underscores its widespread favourability as a beneficial method for infant care.

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

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 still a lack of quantitative and uncertain property verifications for these systems.In uncertain environments,agents must make judicious decisions based on subjective epistemic.To verify epistemic and measurable properties in multi-agent systems,this paper extends fuzzy computation tree logic by introducing epistemic modalities and proposing a new Fuzzy Computation Tree Logic of Knowledge(FCTLK).We represent fuzzy multi-agent systems as distributed knowledge bases with fuzzy epistemic interpreted systems.In addition,we provide a transformation algorithm from fuzzy epistemic interpreted systems to fuzzy Kripke structures,as well as transformation rules from FCTLK formulas to Fuzzy Computation Tree Logic(FCTL)formulas.Accordingly,we transform the FCTLK model checking problem into the FCTL model checking.This enables the verification of FCTLK formulas by using the fuzzy model checking algorithm of FCTL without additional computational overheads.Finally,we present correctness proofs and complexity analyses of the proposed algorithms.Additionally,we further illustrate the practical application of our approach through an example of a train control system.

Ground Application System of FY-3 Passed Acceptance Check

The ground application system of the FY-3 meteorological satellite,a new generation of polar-orbiting meteorological satellite designed and built independently by China has passed professional acceptance check in Beijing recently.The experts agreed unanimously that the ground application system of FY-3 meteorological satellite realized the timely acquisition of global data from morning and afternoon