检索结果-南通市图书馆

Formal Modeling and Verification of Carrier-borne Aircraft Ammunition Support Operation Scheduling

维普期刊数据库

同方期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Ruan Jian xue Bao/Journal of Software 2024年第9期35卷

作者： Jin, Zhao Jin, Lu Zhang, Bo-Wen Wu, Qing-Shun Feng, Shuo Li, Guan-Feng xu, ming-Liang School of Computer and Artificial Intelligence Zhengzhou University Zhengzhou 450001 China Engineering Research Center of Intelligent Swarm Systems Ministry of Education Zhengzhou 450001 China National Supercomputing Center in Zhengzhou Zhengzhou 450001 China Beijing Institute of Astronautical Systems Engineering Beijing 100076 China The 713 Research Institute of China Shipbuilding Industry Corporation Zhengzhou 450015 China

As an efficient scheduling method, the intelligent planning of ammunition support operation of carrier-borne air craft is an important way to boost the development of advanced technology of aircraft carrier engineering. Ensuring the correctness of operation planning schemes under the high safety-critical attribute has gradually become the key technical bottleneck restricting the security of their practical application deployments. Aiming at the challenges posed by the difficulties in modeling ammunition support systems, describing operation execution behavior, and realizing formal verification tools, this study proposes a behavior model for ammunition support systems based on the separation logic idea, where the theorem prover Coq is employed to conduct formal verification on the operation planning scheme. First, a serialized two-tier resource heap model that conforms to the characteristics of ammunition support operation is proposed. Subsequently, a set of modeling language and operational semantics are constructed based on this model to describe job execution behavior. Finally, a proof assistant tool is implemented in Coq. The usability and engineering practicability of the tool are verified by interactive demonstrations of several typical ammunition support operation planning schemes. © 2024 Chinese Academy of Sciences. All rights reserved.

关键词： Aircraft

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Second Act

China Weekly 2024年第5期 49-53页

作者： xu ming 不详

Livestreaming platforms breathe new life into traditional Chinese operas by helping it reach more viewers,but for performers,it does not always mean success.

关键词： streaming reach always

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Collab Hub

China Weekly 2024年第2期 36-39页

作者： xu ming 不详

Building on its traditional industrial base,Jinan is forging new levels of collaboration with German and other European enterprises through supportive policies,talent cultivationand innovation。

关键词： enterprises collaboration cultivation

Preoperative serum cortisone levels are associated with cognition in preschool‑aged children with tetralogy of Fallot after corrective surgery:new evidence from human populations and mice

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

World Journal of Pediatrics 2024年第2期20卷 173-184页

作者： Si-Yu Ma Yu-Ting Liu Yue-Shuang Cun Qiang Wang ming-Cui Fu Ke-De Wu Xin-Yu Cai Shu-Ting Cheng Nishant Patel Min Da Liang Hu Zhuoga Deqin xue-Jun Kang ming Yang xu-ming Mo Department of Cardiothoracic Surgery Children’s Hospital of Nanjing Medical University72 Guangzhou RoadNanjing 210008China Department of Radiology Children’s Hospital of Nanjing Medical University72 Guangzhou RoadNanjing 210008China Key Laboratory of Child Development and Learning Science Research Center For Learning ScienceSchool of Biological Sciences&Medical EngineeringMinistry of EducationSoutheast UniversityNanjing 210096China Medical School of Nanjing University Nanjing 210093China

Background Tetralogy of Fallot(TOF)is the most common cyanotic congenital heart *** with TOF would be confronted with neurological impairment across their *** study aimed to identify the risk factors for cerebral morphology changes and cognition in postoperative preschool-aged children with *** We used mass spectrometry(MS)technology to assess the levels of serum metabolites,Wechsler preschool and primary scale of intelligence-Fourth edition(WPPSI-Ⅳ)index scores to evaluate neurodevelopmental levels and multimodal magnetic resonance imaging(MRI)to detect cortical morphological *** Multiple linear regression showed that preoperative levels of serum cortisone were positively correlated with the gyrification index of the left inferior parietal gyrus in children with TOF and negatively related to their lower visual spaces index and nonverbal ***,preoperative SpO_(2) was negatively correlated with levels of serum cortisone after adjusting for all ***,after intervening levels of cortisone in chronic hypoxic model mice,total brain volumes were reduced at both postnatal(P)11.5 and P30 *** Our results suggest that preoperative serum cortisone levels could be used as a biomarker of neurodevelopmental impairment in children with *** study findings emphasized that preoperative levels of cortisone could influence cerebral development and cognition abilities in children with TOF.

关键词： Cognition Cortisone MRI Neurodevelopment Tetralogy of Fallot

Genetically predicted fatty liver disease and risk of psychiatric disorders: A mendelian randomization study

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

World Journal of Clinical Cases 2024年第14期12卷 2359-2369页

作者： Wei-ming xu Hai-Fu Zhang Yong-Hang Feng Shuo-Jun Li Bi-Yun Xie Department of Medicine The First People's Hospital of FuyangHangzhou 311400Zhejiang ProvinceChina Department of Internal Medicine The First People's Hospital of FuyangHangzhou 311400Zhejiang ProvinceChina

BACKGROUND Non-alcoholic fatty liver disease(NAFLD)and alcohol-related liver disease(Ar-LD)constitute the primary forms of chronic liver disease,and their incidence is progressively increasing with changes in lifestyle *** studies have do-cumented a correlation between the occurrence and development of prevalent mental disorders and fatty *** To investigate the correlation between fatty liver and mental disorders,thus ne-cessitating the implementation of a mendelian randomization(MR)study to elu-cidate this *** Data on NAFLD and ArLD were retrieved from the genome-wide association studies catalog,while information on mental disorders,including Alzheimer's disease,schizophrenia,anxiety disorder,attention deficit hyperactivity disorder(ADHD),bipolar disorder,major depressive disorder,multiple personality dis-order,obsessive-compulsive disorder(OCD),post-traumatic stress disorder(PTSD),and schizophrenia was acquired from the psychiatric genomics consor-tium.A two-sample MR method was applied to investigate mediators in signifi-cant *** After excluding weak instrumental variables,a causal relationship was identified between fatty liver disease and the occurrence and development of some psychia-tric ***,the findings indicated that ArLD was associated with a significantly elevated risk of developing ADHD(OR:5.81,95%CI:5.59-6.03,P<0.01),bipolar disorder(OR:5.73,95%CI:5.42-6.05,P=0.03),OCD(OR:6.42,95%CI:5.60-7.36,P<0.01),and PTSD(OR:5.66,95%CI:5.33-6.01,P<0.01).Meanwhile,NAFLD significantly increased the risk of developing bipolar disorder(OR:55.08,95%CI:3.59-845.51,P<0.01),OCD(OR:61.50,95%CI:6.69-565.45,P<0.01),and PTSD(OR:52.09,95%CI:4.24-639.32,P<0.01).CONCLUSION Associations were found between genetic predisposition to fatty liver disease and an increased risk of a broad range of psychiatric disorders,namely bipolar disorder,OCD,and PTSD,highlighting the significance of preven-tive measures against psy

关键词： Non-alcoholic fatty liver disease Alcohol-related liver disease Psychiatric disorders Mendelian randomization Single nucleotide polymorphisms

Interaction between adolescent sleep rhythms and gender in an obese population

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

World Journal of Clinical Cases 2024年第1期12卷 86-94页

作者： Nan-Nan Wu Guo-Li Yan Hong-Yu Zhang Ling Sun Min Hou Guang-ming xu Department of Laboratory Medicine Tianjin Chest HospitalTianjin 300222China Mental Health Center of Tianjin Medical University Tianjin Anding HospitalTianjin 300222China Department of Child and Adolescent Psychology Mental Health Center of Tianjin Medical UniversityTianjin 300222China

BACKGROUND The obesity rate of adolescents is gradually increasing,which seriously affects their mental health,and sleep plays an important role in adolescent *** To investigate the relationship between sleep rhythm and obesity among adolescents and further explores the interactive effect of sleep rhythm and gender on adolescent obesity,providing a theoretical basis for developing interventions for adolescent *** Research data source Tianjin Mental Health Promotion Program for *** April to June 2022,this study selected 14201 students from 13 middle schools in a certain district of Tianjin as the research subject using the convenient cluster sampling *** these students,13374 accepted and completed the survey,with an effective rate of 94.2%.The demographic data and basic information of adolescents,such as height and weight,were collected through a general situation *** sleep rhythm of adolescents was evaluated using the reduced version of the morningness-eveningness *** A total of 13374 participants(6629 females,accounting for 49.56%;the average age is 15.21±1.433 years)were *** them,the survey showed that 2942 adolescent were obesity,accounting for 22%and 2104 adolescent were overweight,accounting for 15.7%.Among them,1692 male adolescents are obese,with an obesity rate of 25.1%,higher than 18.9%of female *** is a statistically significant difference between the three groups(χ2=231.522,P<0.000).The obesity group has the smallest age(14.94±1.442 years),and there is a statistical difference in age among the three groups(F=69.996,P<0.000).Obesity rates are higher among individuals who are not-only-child,have residential experience within six months,have family economic poverty,and have evening-type sleep(P<0.05).Logistic regression analysis shows a correlation between sleep rhythm and adolescent ***-type sleep rhythm can increase the risk of obesity in male adoles

关键词： Adolescent Obesity Sleep rhythm Gender Interaction

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Losing Luster

China Weekly 2024年第6期 32-35页

作者： Li mingzi xu ming 不详

Rapid expansion of jewelry brands and quality complaints are tarnishing gold *** product innovation and younger consumers seeking safe-haven investments could help regain its shine,experts say.

关键词： younger seeking shine

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Pharma Markets

China Weekly 2024年第4期 26-29页

作者： Niu He xu ming 不详

Experts caution that despite the rapid growth and expansion of Chinese pharmaceutical companies into the international market,overlooking their financial challenges and profitability issues would threaten their long-t... 详细信息

关键词： companies looking financial

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Hire Power

China Weekly 2024年第4期 43-45页

作者： Ya Ni xu ming 不详

Job recruitment livestreams are boosting employment by instantly connecting companies with the nationwide talent *** as fraudsters lure unsuspecting blue-collar job seekers with false listings,experts are calling for ... 详细信息

关键词： boosting companies connecting