检索结果-南通市图书馆

Decentralized fault diagnosis of discrete-event systems with unreliable sensors using linear temporal logic

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2025年第1期68卷 322-341页

作者： Weijie dong Shaoyuan LI Xiang yin Key Laboratory of System Control and Information Processing Ministry of EducationDepartment of Automation Shanghai Jiao Tong University

In this paper,we investigate a decentralized diagnosis problem of a discrete-evnt system(DES) subject to unreliable sensors,where the sensor observations of local diagnosers may be non-deterministic as a result of possible *** studies on decentralized robust diagnosis can only deal with different types of sensor failures separately,e.g.,all sensors suffer from the same type of sensor failures such as intermittent sensor failures or permanent sensor ***,since sensors of different local diagnosers may face different external environments and have different internal characteristics,sensors corresponding to different local diagnosers may also have their own fault *** this paper,we propose a flexible framework of decentralized diagnosis for DES subject to unreliable sensors such that sensors of different local diagnosers are permitted to have different types of sensor *** this end,we extend the existing decentralized diagnosis framework to the case where there exist common sensors broadcasting their observations to all local *** apply linear temporal logic(LTL) to constrain infinite behaviors of private sensors of local diagnosers and common ***,a new notion of φ-codiagnosability is proposed as the necessary and sufficient condition for the existence of a decentralized diagnoser that works correctly under sensors,satisfying LTL-based sensor ***,we provide an effective approach to verify the φ-codiagnosability.

关键词： discrete event systems decentralized diagnosis codiagnosability automata

CNKSR2 interactome analysis indicates its association with the centrosome/microtubule system

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Neural Regeneration Research 2025年第8期20卷 2420-2432页

作者： Lin yin Yalan Xu Jie Mu Yu Leng Lei Ma Yu Zheng Ruizhi Li yin Wang Peifeng Li Hai Zhu dong Wang Jing Li Institute for Translational Medicine The Affiliated Hospital of Qingdao UniversityMedical CollegeQingdao UniversityQingdaoShandong ProvinceChina School of Basic Medicine Qingdao UniversityQingdaoShandong ProvinceChina College of Life Sciences and School of PharmacyMedical CollegeQingdao UniversityQingdaoShandong ProvinceChina Department of Urology Qingdao Municipal Hospital Affiliated to Qingdao UniversityQingdaoShandong ProvinceChina

The protein connector enhancer of kinase suppressor of Ras 2(CNKSR2),present in both the postsynaptic density and cytoplasm of neurons,is a scaffolding protein with several protein-binding *** of the CNKSR2 gene have been implicated in neurodevelopmental disorders,particularly intellectual disability,although the precise mechanism involved has not yet been fully *** has demonstrated that CNKSR2 plays a role in facilitating the localization of postsynaptic density protein complexes to the membrane,thereby influencing synaptic signaling and the morphogenesis of dendritic ***,the function of CNKSR2 in the cytoplasm remains to be *** this study,we used immunoprecipitation and high-resolution liquid chromatography-mass spectrometry to identify the interactors of *** a combination of bioinformatic analysis and cytological experiments,we found that the CNKSR2 interactors were significantly enriched in the proteome of the *** also showed that CNKSR2 interacted with the microtubule protein DYNC1H1 and with the centrosome marker *** colocalization analysis confirmed the centrosomal localization of *** we downregulated CNKSR2 expression in mouse neuroblastoma cells(Neuro 2A),we observed significant changes in the expression of numerous centrosomal *** manipulation also affected centrosome-related functions,including cell size and shape,cell proliferation,and ***,we found that CNKSR2 interactors were highly enriched in de novo variants associated with intellectual disability and autism spectrum *** findings establish a connection between CNKSR2 and the centrosome,and offer new insights into the underlying mechanisms of neurodevelopmental disorders.

关键词： autism spectrum disorder centrosome CNKSR2 intellectual disability interactome mass spectrometry microtubule neurodevelopmental disease protein complexes protein-protein interactions

Discovery of a new family member of arsenic–vanadium polyoxometalates with high catalytic performance for one-pot coupling of CO2, epoxides and amines

在线全文

学校读者我要写书评

暂无评论

Tungsten 2025年第1期7卷 80-87页

作者： Fang-Qian Wang yin Zhang Wei-Wei Wang Mei-Qian Fu Hong-Bing Mo Wei-dong Yu Chao Liu Jun Yan College of Chemistry and Chemical Engineering Central South University Junior Education Department Changsha Normal University School of Science Hunan University of Technology and Business

Arsenic-vanadium polyoxometalates（POMs） represent a family of tremendous potential catalysts owing to their peculiar physical and chemical *** in CO2conversion,using POMs to catalyze the conversion of CO2and epoxide into chemical intermediates is the research ***,A new family number of arsenic-vanadium POMs,[N（CH3）4]4[As8V12O38（H2O）]·2H2O({As8V12O38}),was reported and characterized by single-crystal X-ray diffraction,fourier transform infrared spectroscopy,X-ray photoelectron spectroscopy,*** from other allotropicity,{As8V12O38}shows a different structure pattern with an I-43d *** obtained {As8V12O38} was employed as a catalyst for the *** initial catalytic reaction confirmed that {As8V12O38} can catalyze the formation of epoxy carbonate by using 1.01 kPa CO2and epoxide at 70℃.Furtherly,when added amine in the catalytic system,oxazolidinone could be obtained by high yields,which provides an efficient way to convert CO2into profitable ***,a possible catalytic reaction mechanism was proposed by using different characterization analyses.{As8V12O38} first catalyzes the epoxide and CO2to form an epoxy carbonate and then catalyzes epoxy carbonate and benzylamine into oxazolidinone.

关键词： Arsenic CO2 conversion Oxazolidinone Polyoxometalates Vanadium

Low-temperature chlorination roasting technology for the simultaneous recovery of valuable metals from spent LiCoO_(2)cathode material

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

International Journal of Minerals,Metallurgy and Materials 2025年第1期32卷 80-91页

作者： Junjie Shi Changle Hou Jingjing dong dong Chen Jianzhong Li Key Laboratory for Ecological Metallurgy of Multimetallic Mineral(Ministry of Education) Northeastern UniversityShenyang 110819China School of Metallurgy Northeastern UniversityShenyang 110819China

With the continuous increase in the disposal volume of spent lithium-ion batteries(LIBs),properly recycling spent LIBs has become essential for the advancement of the circular *** study presents a systematic analysis of the chlorination roasting kinetics and proposes a new two-step chlorination roasting process that integrates thermodynamics for the recycling of LIB cathode *** activation energy for the chloride reaction was 88.41 kJ/mol according to thermogravimetric analysis–derivative thermogravimetry data obtained by using model-free,model-fitting,and Z(α)function(αis conversion rate).Results indicated that the reaction was dominated by the first-order(F1)model when the conversion rate was less than or equal to 0.5 and shifted to the second-order(F2)model when the conversion rate exceeded *** conditions were determined by thoroughly investigating the effects of roasting temperature,roasting time,and the mass ratio of NH_(4)Cl to LiCoO_(2).Under the optimal conditions,namely 400℃,20 min,and NH_(4)Cl/LiCoO_(2)mass ratio of 3:1,the leaching efficiency of Li and Co reached 99.43% and 99.05%,*** of the roasted products revealed that valuable metals in LiCoO_(2)transformed into CoCl_(2) and ***,the reaction mechanism was elucidated,providing insights for the establishment of a novel low-temperature chlorination roasting technology based on a crystal structure *** technology can guide the development of LIB recycling processes with low energy consumption,low secondary pollution,high recovery efficiency,and high added value.

关键词： spent lithium-ion battery thermodynamics chlorination roasting kinetics circular economy

Enhanced solid-electrolyte interface efficiency for practically viable hydrogen-air fuel cell systems

在线全文

学校读者我要写书评

暂无评论

Journal of Energy Chemistry 2025年第1期100卷 356-368页

作者： Venkitesan Sakthivel dong Jin Yoo Graduate School Department of Energy Storage/Conversion Engineering (BK21 FOUR) Hydrogen and Fuel Cell Research Center Jeonbuk National University Jeonju Department of Life Science Jeonbuk National University

Proton exchange membrane fuel cells （PEMFCs） provide an appealing sustainable energy system,with the solid-electrolyte membrane playing a crucial role in its overall ***,sulfonated poly（1,4-phenylene ether-ether sulfone）(SPEES),an aromatic hydrocarbon polymer,has garnered considerable attention as an alternative to Nafion ***,the long-term durability and stability of SPEES present a significant *** this context,we introduce a potential solution in the form of an additive,specifically a core–shell-based amine-functionalized iron titanate （A–Fe2TiO5）,which holds promise for improving the lifetime,proton conductivity,and power density of SPEES in *** modified SPEES/A–Fe2TiO5composite membranes exhibited notable characteristics,including high water uptake,enhanced thermomechanical stability,and oxidative ***,the SPEES membrane loaded with 1.2 wt%of A–Fe2TiO5demonstrates a maximum proton conductivity of 155 mS cm-1,a twofold increase compared to the SPEES membrane,at 80°C under 100%relative humidity （RH）.Furthermore,the 1.2 wt%of A–Fe2TiO5/SPEES composite membranes exhibited a maximum power density of 397.37 mW cm-2and a current density of 1148 mA cm-2at 60°C under 100%RH,with an opencircuit voltage decay of 0.05 m V/h during 103 h of continuous *** study offers significant insights into the development and understanding of innovative SPEES nanocomposite membranes for PEMFC applications.

关键词： Composite membranes

An NIR-Ⅱ-emissive Ru(Ⅱ) metallacycle for efficient and safe immunotherapy

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science China Chemistry 2025年第1期68卷 5-7页

作者： Chonglu Li Jianbo Zhan Biao dong Institute of Health Inspection and Testing Hubei Provincial Center for Disease Control and Prevention State Key Laboratory on Integrated Optoelectronics College of Electronic Science and Engineering Jilin University

Immunotherapy, as a groundbreaking cancer treatment, has gained considerable attention for its utilization of the body’s immune system to combat tumors [1]. This therapy induces tumor cell apoptosis, triggering a sustained anti-tumor immune response and effectively preventing tumor recurrence and metastasis [2]. The fundamental principle lies in inducing tumor cell death through specific treatment modalities, leading to the release of a cascade of signaling molecules and antigens, thereby mobilizing the immune system to actively identify and attack tumor cells [3].

关键词：

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

贵阳市大肠杆菌耐药性监测

山地农业生物学报 2017年第4期36卷 64-67,84页

作者：金志强尹泽东谭艾娟贵阳市农委贵州贵阳550081 贵州农业职业学院贵州贵阳550345 贵州大学生命科学学院贵州贵阳550025

为了调查贵阳市猪、鸡及环境中的大肠杆菌的耐药情况,从贵阳市花溪区、乌当区等7个县区采集了猪、鸡肛门拭子及排污口处的粪便,共420份样品,分离鉴定出300株大肠杆菌,应用琼脂稀释法测定其对10种常用抗菌药物的MIC值,并统计抗菌药物的... 详细信息

为了调查贵阳市猪、鸡及环境中的大肠杆菌的耐药情况,从贵阳市花溪区、乌当区等7个县区采集了猪、鸡肛门拭子及排污口处的粪便,共420份样品,分离鉴定出300株大肠杆菌,应用琼脂稀释法测定其对10种常用抗菌药物的MIC值,并统计抗菌药物的平均耐药倍数、敏感率、耐药率等。结果表明:大肠杆菌对10种药物的耐药率整体偏高,除庆大霉素接近50%外,土霉素和氟苯尼考超过80%,链霉素、头孢噻呋、阿莫西林和磺胺嘧啶超过70%,恩诺沙星和环丙沙星超过60%。300株分离菌均多重耐药菌株,主要集中在5~10耐之间。结果表明贵阳市猪、鸡源大肠杆菌的耐药较严重。

关键词：大肠杆菌耐药性琼脂稀释法多重耐药

An Artificial Intelligence‑Assisted Flexible and Wearable Mechanoluminescent Strain Sensor System

在线全文

学校读者我要写书评

暂无评论

Nano-Micro Letters 2025年第3期17卷 217-231页

作者： Yan dong Wenzheng An Zihu Wang dongzhi Zhang College of Control Science and Engineering China University of Petroleum(East China)Qingdao 266580People’s Republic of China

The complex wiring,bulky data collection devices,and difficulty in fast and on-site data interpretation significantly limit the practical application of flexible strain sensors as wearable *** tackle these challenges,this work develops an artificial intelligenceassisted,wireless,flexible,and wearable mechanoluminescent strain sensor system(AIFWMLS)by integration of deep learning neural network-based color data processing system(CDPS)with a sandwich-structured flexible mechanoluminescent sensor(SFLC)*** SFLC film shows remarkable and robust mechanoluminescent performance with a simple structure for easy *** CDPS system can rapidly and accurately extract and interpret the color of the SFLC film to strain values with auto-correction of errors caused by the varying color temperature,which significantly improves the accuracy of the predicted strain.A smart glove mechanoluminescent sensor system demonstrates the great potential of the AIFWMLS system in human gesture ***,the versatile SFLC film can also serve as a encryption *** integration of deep learning neural network-based artificial intelligence and SFLC film provides a promising strategy to break the“color to strain value”bottleneck that hinders the practical application of flexible colorimetric strain sensors,which could promote the development of wearable and flexible strain sensors from laboratory research to consumer markets.

关键词： Mechanoluminescent Strain sensor Flexible Deep learning Wireless

AMCheX: Accurate Analysis of Missing-Check Bugs for Linux Kernel

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2021年第6期36卷 1325-1341页

作者： ying-Jie Wang Liang-ze yin Wei dong Key Laboratory of Software Engineering for Complex Systems College of Computer Science National University of Defense TechnologyChangsha 410073China

The Linux kernel adopts a large number of security checks to prevent security-sensitive operations from being executed under unsafe *** a security-sensitive operation is unchecked,a missing-check issue *** check is a class of severe bugs in software programs especially in operating system kernels,which may cause a variety of security issues,such as out-of-bound accesses,permission bypasses,and privilege *** to the lack of security specifications,how to automatically identify security-sensitive operations and their required security checks in the Linux kernel becomes a challenge for missing-check *** this paper,we present an accurate missing-check analysis method for Linux kernel,which can automatically infer possible security-sensitive ***,we first automatically identify all possible security check functions of *** according to their callsites,a two-direction analysis method is leveraged to identify possible security-sensitive operations.A missing-check bug is reported when the security-sensitive operation is not protected by its corresponding security *** have implemented our method as a tool,named AMCheX,on top of the LLVM(Low Level Virtual Machine)framework and evaluated it on the Linux *** reported 12 new missing-check bugs which can cause security *** of them have been confirmed by Linux maintainers.

关键词： security check function security-sensitive operation program analysis missing-check