检索结果-南通市图书馆

同方期刊数据库

Semantic Consistency and Correctness Verification of Digital Traffic Rules

在线全文

学校读者我要写书评

暂无评论

Engineering 2024年第2期33卷 47-62页

作者： lei wan Changjun wang Daxin Luo Hang Liu Sha Ma Weichao Hu Policy Standardand Patent DepartmentIntelligent Automotive Solution BUHuawei Technologies Co.Ltd.Beijing 100094China Research Institute for Road Safety of the Ministry of Public Security Beijing 100062China

The consensus of the automotive industry and traffic management authorities is that autonomous vehicles must follow the same traffic laws as human *** formal or digital methods,natural language traffic rules can be translated into machine language and used by autonomous *** this paper,a translation flow is *** the translation,a deeper examination is required,because the semantics of natural languages are rich and complex,and frequently contain hidden *** issue of how to ensure that digital rules are accurate and consistent with the original intent of the traffic rules they represent is both significant and *** response,we propose a method of formal verification that combines equivalence verification with model *** and reassuring digital traffic rules can be obtained by utilizing the proposed traffic rule digitization flow and verification *** addition,we offer a number of simulation applications that employ digital traffic rules to assess vehicle *** experimental findings indicate that our digital rules utilizing metric temporal logic(MTL)can be easily incorporated into simulation platforms and autonomous driving systems(ADS).

关键词： Autonomous driving Traffic rules Digitization Formalization Verification

Molecular-scale co-assembly membranes derived from keplerate cluster: carbonic anhydrase-mimicking nanocapsules for enhanced CO2/N2 separation

在线全文

学校读者我要写书评

暂无评论

Science China Chemistry 2024年第10期67卷 3271-3282页

作者： wan-lei Zhao Hongqiang Li Ruoxuan Zheng Yixin Yang Wei Chen Yu-Fei Song State Key Laboratory of Chemical Resource Engineering Beijing University of Chemical Technology Quzhou Institute for Innovation in Resource Chemical Engineering

The development of CO2separation membranes with high permeability and high selectivity,as well as ultra-thin selective layers,has always been ***,a molecular-scaled co-assembly strategy is employed to fabricate the Pebax-Mo132(Pebax=polyether-block-amide copolymer;Mo132=（NH4）42[Mo72ⅥMoⅤ60O372（CH3COO）30（H2O）72]) *** optimal selfstanding membrane,Pebax-Mo132-5%,shows a CO2permeability of～384 Barrer and an ultra-high ideal CO2/N2selectivity of～244,outperforming most membranes reported in the *** CO2permeability and ideal CO2/N2selectivity are increased by 70%and 367%,respectively,compared with the pristine Pebax membrane.A thin-film composite membrane prepared by spin-coating technique on a support membrane with gutter layers also exhibits a CO2permeance of 838 GPU and a CO2/N2selectivity of *** excellent performance can be attributed to the following reasons:（1） strong hydrogen bonding interactions between{Mo132}clusters and Pebax confer excellent interfacial compatibility to the mixed matrix membranes;（2）incorporation of hollow{Mo132}clusters into the Pebax molecular chain decreases the crystallinity of Pebax,and thereby accelerates the chain dynamics and increases the free volume of the membrane;（3） in situ diffuse reflectance infrared Fouriertransform spectroscopy demonstrates that the{Mo132}clusters can effectively catalyze the hydration reaction of CO2and promote the transport of CO2;（4） furthermore,the 0.35 nm pores of the crown ether-type{Mo9O9}allow the accurate size sieving of CO2（0.33 nm） and N2（0.36 nm） molecules.

关键词： polyoxometalates molecular-scale assembly CO2 capture mixed matrix membranes

Altered Iron-Mediated Metabolic Homeostasis Governs the Efficacy and Toxicity of Tripterygium Glycosides Tablets Against Rheumatoid Arthritis

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Engineering 2024年第8期39卷 166-179页

作者： Zihe Ding Xiaoyue wang Yi Zhang Jian Liu lei wan Tao Li Lin Chen Na Lin Yanqiong Zhang State Key Laboratory for Quality Ensurance and Sustainable Use of Dao-di Herbs Institute of Chinese Materia MedicaChina Academy of Chinese Medical SciencesBeijing 100700China The First Affiliated Hospital of Anhui University of Chinese Medicine Hefei 230038China

Rheumatoid arthritis(RA),a globally increasing autoimmune disorder,is associated with increased disability rates due to the disruption of iron *** glycoside tablets(TGTs),a Tripterygium wilfordii Hook.f.(TwHF)-based therapy,exhibit satisfactory clinical efficacy for RA ***,drug-induced liver injury(DILI)remains a critical issue that hinders the clinical application of TGTs,and the molecular mechanisms underlying the efficacy and toxicity of TGTs in RA have not been fully *** address this problem,we integrated clinical multi-omics data associated with the anti-RA efficacy and DILI of TGTs with the chemical and target profiling of TGTs to perform a systematic network ***,we identified effective and toxic targets following experimental validation in a collagen-induced arthritis(CIA)mouse *** different transcriptome–protein–metabolite profiles distinguishing patients with favorable TGTs responses from those with poor outcomes were ***,the clinical efficacy and DILI of TGTs against RA were associated with metabolic homeostasis between iron and bone and between iron and lipids,***,the signal transducer and activator of transcription 3(STAT3)–hepcidin(HAMP)/lipocalin 2(LCN2)–tartrate-resis tant acid phosphatase type 5(ACP5)and STAT3–HAMP–acyl-CoA synthetase long-chain family member 4(ACSL4)–lysophosphatidylcholine acyltransferase 3(LPCAT3)axes were identified as key drivers of the efficacy and toxicity of *** play dual roles in ameliorating CIA-induced pathology and in inducing hepatic dysfunction,disruption of lipid metabolism,and hepatic lipid ***,TGTs effectively reversed“iron–bone”disruptions in the inflamed joint tissues of CIA mice by inhibiting the STAT3–HAMP/LCN2–ACP5 axis,subsequently leading to“iron–lipid”disturbances in the liver tissues via modulation of the STAT3–HAMP–ACSL4–LPCAT3 *** bidirectional validatio

关键词： Tripterygium glycosides tablets Rheumatoid arthritis Iron metabolism Clinical efficacy Drug-induced liver injury Clinical multi-omics data analysis

高表达抗β2糖蛋白I(β2GPI)自身抗体可加重结缔组织病炎症程度及免疫功能紊乱

在线全文

学校读者我要写书评

暂无评论

细胞与分子免疫学杂志 2024年第6期40卷 532-537页

作者：万磊刘健黄传兵安徽中医药大学第一附属医院安徽合肥230031 新安医学与中医药现代化研究所安徽合肥230012 新安医学教育部重点实验室安徽合肥230012

目的观察抗β2糖蛋白I(β2GPI)自身抗体在结缔组织病表达及其与炎症及免疫功能的关系。方法观察对象为广义结缔组织病患者,包括结缔组织病(CTD)、类风湿性关节炎(RA)、干燥综合征(SS)和系统性红斑狼疮(SLE)。采用化学发光法进行定量... 详细信息

目的观察抗β2糖蛋白I(β2GPI)自身抗体在结缔组织病表达及其与炎症及免疫功能的关系。方法观察对象为广义结缔组织病患者,包括结缔组织病(CTD)、类风湿性关节炎(RA)、干燥综合征(SS)和系统性红斑狼疮(SLE)。采用化学发光法进行定量检测抗β2GPI。采用魏氏法检测血沉(ESR),采用全自动生化分析仪检测C反应蛋白(CRP)、类风湿因子(RF)和抗环瓜氨酸多肽(CCP)抗体。结果 RA患者抗β2GPI抗体及其亚型较CTD、 SS、 SLE患者均明显升高。结缔组织病患者中CRP与抗β2GPI抗体、抗β2GPI抗体IgM呈正比。ESR与抗β2GPI抗体呈正比。与CRP正常组比较,CRP异常组抗β2GPI抗体、抗β2GPI抗体IgM升高。与ESR正常组比较,ESR异常组抗β2GPI抗体、抗β2GPI抗体IgG升高。RA患者中抗β2GPI抗体与ESR、抗CCP抗体呈正相关。抗β2GPI抗体IgG与RF呈正相关。结论抗β2GPI抗体水平可作为结缔组织病炎症程度和评估免疫紊乱的一个预测因子。

关键词： β2糖蛋白I(β2GPI) 结缔组织病炎症程度免疫功能类风湿性关节炎

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

透过《乡土中国》再读《窦娥冤》

语文教学之友 2024年第1期43卷 20-22页

作者：万磊蕾江苏省扬州市江都区育才中学江苏

《乡土中国》以中国的基层社会——农村为研究对象,从乡土社会的本色着手,深入观察分析乡村环境、传统社会结构、道德体系、礼法、乡村权力的分配、血缘、地缘等问题,得出了鞭辟入里的结论。阅读《乡土中国》帮助学生了解中国古代社会... 详细信息

《乡土中国》以中国的基层社会——农村为研究对象,从乡土社会的本色着手,深入观察分析乡村环境、传统社会结构、道德体系、礼法、乡村权力的分配、血缘、地缘等问题,得出了鞭辟入里的结论。阅读《乡土中国》帮助学生了解中国古代社会的基本特性,理解古人的一些在今天看来不合理、不被理解的思想行为。透过《乡土中国》再读《窦娥冤》,抓住《乡土中国》的纲领去分析《窦娥冤》中的人物形象、人物心理,不失为理解古代文学作品的一个有效办法。

关键词：《乡土中国》《窦娥冤》私礼权

High χ polystyrene-b-polycarbonate for next generation lithography

在线全文

学校读者我要写书评

暂无评论

Science China Chemistry 2017年第6期60卷 679-680页

作者： lei wan HGST A Western Digital Company San Jose CA 95119 United States

Over the past half century,the semiconductor chips have deeply influenced our everyday life through increasingly sophisticated electronic *** central driving force underlying the remarkable evolution in semiconductor industry is Moore’s Law,nowadays referring to a doubling of transistor counts per chip every 18 *** Moore’s Law is economically beneficial;while the manufacturing cost per chip has been held constant,

关键词： lithography High polystyrene sophisticated economically transistor deeply everyday doubling nowadays

激光笔所致儿童黄斑损伤的OCT表现及预后观察

在线全文

学校读者我要写书评

暂无评论

中华眼视光学与视觉科学杂志 2024年第3期26卷 186-192页

作者：冯程程高艳陈楠万磊山东第一医科大学附属眼科研究所山东第一医科大学附属青岛眼科医院山东省眼科学重点实验室-省部共建国家重点实验室培育基地山东第一医科大学眼科学院，青岛266071

目的:观察激光笔所致儿童黄斑损伤的临床表现,黄斑区光学相干断层扫描(OCT)图像特征及临床预后情况。方法:回顾性研究。连续性纳入2018年7月至2023年6月于山东第一医科大学附属青岛眼科医院眼底病科就诊,因激光笔照射后致视力下降,被诊... 详细信息

目的:观察激光笔所致儿童黄斑损伤的临床表现,黄斑区光学相干断层扫描(OCT)图像特征及临床预后情况。方法:回顾性研究。连续性纳入2018年7月至2023年6月于山东第一医科大学附属青岛眼科医院眼底病科就诊,因激光笔照射后致视力下降,被诊断为黄斑光损伤的患儿9例(10眼),其中男8例、女1例,年龄5~12岁。采集初诊和随访时患者的最佳矫正视力和黄斑OCT扫描检查结果并进行分析。结果:9例患者中,绿色和红色激光笔致损伤分别有3例、4例,其余2例不详,照射时间为1~2 s。发病后就诊时间为1 d~36个月。初始视力为0.05~0.5。患儿随访时间为2~37个月,平均19个月。2例(病例1、2)患儿表现为黄斑出血,其中1例表现为内界膜下出血。3例(病例3、4、5)表现为黄斑中心凹处肌样体带、椭圆体带、嵌合体带断裂。3例(病例6、7、8)表现为黄斑裂孔,1例(病例9)表现为黄斑部脉络膜新生血管。多数患儿在末次随访视力得到明显改善,其中病例9预后欠佳。结论:激光笔照射导致患儿黄斑光损伤,可引起黄斑出血、黄斑裂孔、脉络膜新生血管以及特征性的中心凹处外层结构的断裂,视力预后与患儿损伤程度相关。

关键词：激光黄斑损伤儿童光学相干断层扫描

瑞昌非遗竹编技艺的活态化传承与保护路径研究

在线全文

学校读者我要写书评

暂无评论

丝网印刷 2024年第12期 14-16页

作者：万蕾九江学院

对国家级非物质文化遗产瑞昌竹编的传承和发展现状展开调研,在活态化传承理念下探讨瑞昌竹编的保护与传承路径,以提升产品价值、竹编产品的实用功能和审美。

关键词：瑞昌竹编技艺活态化传承实用性创新

多模态特征融合和自蒸馏的红外-可见光行人重识别

在线全文

学校读者我要写书评

暂无评论

计算机辅助设计与图形学学报 2024年第7期36卷 1065-1076页

作者：万磊李华锋张亚飞昆明理工大学信息工程与自动化学院昆明650500

现有跨模态行人重识别方法大多挖掘模态不变的特征,忽略了不同模态内的具有判别性的自有特征.为了充分地利用不同模态内的自有特征,提出一种多模态特征融合和自蒸馏的红外-可见光行人重识别方法.首先提出一种基于双分类器的注意力融合机... 详细信息

现有跨模态行人重识别方法大多挖掘模态不变的特征,忽略了不同模态内的具有判别性的自有特征.为了充分地利用不同模态内的自有特征,提出一种多模态特征融合和自蒸馏的红外-可见光行人重识别方法.首先提出一种基于双分类器的注意力融合机制,为各模态的自有特征赋予较大的融合权重,共有特征赋予较小的融合权重,得到含有各模态判别性自有特征的多模态融合特征;为了提升网络特征的鲁棒性以适应行人外观的变化,构建一个记忆存储器来存储行人的多视角特征;还设计了一种自蒸馏无参数动态引导策略,在多模态融合特征和多视角特征的引导下,利用该策略动态强化网络的多模态推理和多视角推理能力;最后网络能够从一个行人的单模态图像推理出另一模态不同视角行人特征,提升模型跨模态行人重识别的性能.基于PyTorch深度学习框架,在公开数据集SYSU-MM01和RegDB上与当前主流的方法进行对比实验,结果表明,所提方法的Rank-1分别达到63.12%和92.55%, mAP分别达到61.51%和89.55%,优于对比方法.

关键词：跨模态行人重识别特征融合注意力机制记忆存储机制自蒸馏