检索结果-南通市图书馆

TSCompiler: efficient compilation framework for dynamic-shape models

Science China(Information Sciences) 2024年

作者： Xiang LUO Chen ZHANG Chenbo GENG Yanzhi YI Jiahui HU Renwei ZHANG Zhen ZHANG Gianpietro CONSOLARO Fan YANG Tun LU Ning GU Li SHANG School of Computer Science Fudan University School of Electronic Information and Electrical Engineering Shanghai Jiao Tong University School of Computer Science and Technology Harbin Institute of Technology huawei Technologies Co. Ltd. huawei paris research center School of Microelectronics Fudan University

Today's deep learning models face an increasing demand to handle dynamic shape tensors and computation whose shape information remains unknown at compile time and varies in a nearly infinite range at runtime. This shape dynamism brings tremendous challenges for existing compilation pipelines designed for static models which optimize tensor programs relying on exact shape values. This paper presents TSCompiler, an end-to-end compilation framework for dynamic shape models. TSCompiler first proposes a symbolic shape propagation algorithm to recover symbolic shape information at compile time to enable subsequent optimizations. TSCompiler then partitions the shape-annotated computation graph into multiple subgraphs and fine-tunes the backbone operators from the subgraph within a hardware-aligned search space to find a collection of high-performance schedules. TSCompiler can propagate the explored backbone schedule to other fusion groups within the same subgraph to generate a set of parameterized tensor programs for fused cases based on dependence analysis. At runtime, TSCompiler utilizes an occupancy-targeted cost model to select from pre-compiled tensor programs for varied tensor shapes. Extensive evaluations show that TSCompiler can achieve state-of-the-art speedups for dynamic shape models. For example, we can improve kernel efficiency by up to 3.97× on NVIDIA RTX3090, and 10.30× on NVIDIA A100 and achieve up to five orders of magnitude speedups on end-to-end latency.

关键词：

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

On optimal charging scheduling for electric vehicles with wind power generation

引用

Fundamental research 2024年第4期4卷 951-960页

作者： Junjie Wu Qing-Shan Jia center for Intelligent and Networked Systems(CFINS) Department of AutomationBeijing National Research Center for Information Science and Technology(BNRist)TsinghuaUniversityBeijing100084China huawei Technologies Co.Ltd Shenzhen 518129China

We consider the scheduling of battery charging of electric vehicles(EVs)integrated with renewable power *** increasing adoption of EVs and the development of renewable energies contribute importance to this *** optimization of charging scheduling is challenging because of the large action space,the multi-stage decision making,and the high *** solve this problem is time-consuming when the scale of the system is *** is urgent to develop a practical and efficient method to properly schedule the charging of *** contribution of this work is ***,we provide a sufficient condition on which the charging of EVs can be completely self-sustained by distributed *** algorithm is proposed to obtain the optimal charging policy when the sufficient condition ***,the scenario when the supply of the renewable power generation is deficient is *** prove that when the renewable generation is deterministic there exists an optimal policy which follows the modified least laxity and longer remaining processing time first(mLLLP)***,we provide an adaptive rule-based algorithm which obtains a near-optimal charging policy efficiently in general *** test the proposed algorithm by numerical *** results show that it performs better than the other existing rule-based methods.

关键词： Electric vehicle Charging scheduling Wind power Optimal policy Renewable energy

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Soluble p75 neurotrophic receptor as a reliable biomarker in neurodegenerative diseases: what is the evidence?

引用

Neural Regeneration research 2024年第3期19卷 536-541页

作者： Georges Jourdi Samuel Fleury Imane Boukhatem Marie Lordkipanidzé research center Montreal Heart InstituteMontrealQCCanada Faculty of Pharmacy Universitéde MontréalMontrealQCCanada Universitéparis Cité INSERMInnovative Therapies in HaemostasisParisFrance Service d’Hématologie Biologique AP-HPHôpital LariboisièreParisFrance

Neurodegenerative diseases are often misdiagnosed,especially when the diagnosis is based solely on clinical *** p75 neurotrophic receptor(p75^(NTR))has been studied as an index of sensory and motor nerve development and *** cleavable extracellular domain(ECD)is readily detectable in various biological fluids including plasma,serum and *** is evidence for increased p75NTR ECD levels in neurodegenerative diseases such as Alzheimer’s disease,amyotrophic lateral sclerosis,age-related dementia,schizophrenia,and diabetic *** p75^(NTR) ECD could be used as a biomarker for diagnosis and/or prognosis in these disorders,and whether it could potentially lead to the development of targeted therapies,remains an open *** this review,we present and discuss published studies that have evaluated the relevance of this emerging biomarker in the context of various neurodegenerative *** also highlight areas that require further investigation to better understand the role of p75^(NTR) ECD in the clinical diagnosis and management of neurodegenerative disorders.

关键词： Alzheimer’s disease amyotrophic lateral sclerosis biomarker dementia diabetic neuropathy nerve growth factor receptor(NGFR) neurodegeneration p75^(NTR) schizophrenia

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Meta-Auto-Decoder:a Meta-Learning-Based Reduced Order Model for Solving Parametric Partial Differential Equations

引用

Communications on Applied Mathematics and Computation 2024年第2期6卷 1096-1130页

作者： Zhanhong Ye Xiang Huang Hongsheng Liu Bin Dong Beijing International center for Mathematical research Peking UniversityBeijing 100871China School of Computer Science and Technology University of Science and Technology of ChinaHefei 230027AnhuiChina Central Software Institute Huawei Technologies Co.LtdHangzhou 310007ZhejiangChina center for Machine Learning research Peking UniversityBeijing 100871China

Many important problems in science and engineering require solving the so-called parametric partial differential equations(PDEs),i.e.,PDEs with different physical parameters,boundary conditions,shapes of computational domains,*** reduced order modeling techniques accelerate the solution of the parametric PDEs by projecting them onto a linear trial manifold constructed in the ofline *** methods often need a predefined mesh as well as a series of precomputed solution snapshots,and may struggle to balance between the efficiency and accuracy due to the limitation of the linear *** the nonlinear representation of neural networks(NNs),we propose the Meta-Auto-Decoder(MAD)to construct a nonlinear trial manifold,whose best possible performance is measured theoretically by the decoder *** on the meta-learning concept,the trial manifold can be learned in a mesh-free and unsupervised way during the pre-training *** adaptation to new(possibly heterogeneous)PDE parameters is enabled by searching on this trial manifold,and optionally fine-tuning the trial manifold at the same *** numerical experiments show that the MAD method exhibits a faster convergence speed without losing the accuracy than other deep learning-based methods.

关键词： Parametric partial differential equations(PDEs) Meta-learning Reduced order modeling Neural networks(NNs) Auto-decoder

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Diabetes and pulmonary infection:how hyperglycaemia shapes the immune system

引用

Signal Transduction and Targeted Therapy 2024年第4期9卷 1245-1246页

作者： Christian Herder Michael Roden Nicolas Venteclef Institute for Clinical Diabetology German Diabetes CenterLeibniz Center for Diabetes Research at Heinrich Heine University Düsseldorf40225DüsseldorfGermany German center for Diabetes research(DZD) Partner Düsseldorf85764München-NeuherbergGermany Department of Endocrinology and Diabetology Medical Faculty and University Hospital DüsseldorfHeinrich Heine University Düsseldorf40225DüsseldorfGermany Institut Necker-Enfants Malades(INEM) UniversitéParis CitéINSERM UMR-S1151CNRS UMR-S8253ParisFrance

In a recent study published in Nature,Nobs and colleagues aimed to identify novel mechanisms that may explain why diabetes is associated with an increased susceptibility to viral respiratory *** analyses revealed a central role of lung dendritic cells(DC)which exhibited several functional defects induced by hyperglycaemia and consequently result in impaired antiviral immune responses.

关键词： impaired lung respiratory

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Continuous-wave operation of 1550 nm low-threshold triple-lattice photonic-crystal surface-emitting lasers

引用

Light(Science & Applications) 2024年第3期13卷 446-453页

作者： Ziye Wang Xia Liu Pinyao Wang Huanyu Lu Bo Meng Wei Zhang Lijie Wang Yanjing Wang Cunzhu Tong State Key Laboratory of Luminescence and Applications Changchun Institute of OpticsFine Mechanics and PhysicsChinese Academy of SciencesChangchun 130033China center of Materials Science and Optoelectronics Engineering University of Chinese Academy of SciencesBeijing 100049China Central research Institute Planning Dept 2012 LabsHuawei Technologies Company Ltd.Shenzhen 518129China

Benefitting from narrow beam divergence,photonic crystal surface-emitting lasers are expected to play an essential role in the ever-growing fields of optical communication and light detection and *** operating with 1.55μm wavelengths have attracted particular attention due to their minimum fiber loss and high eye-safe ***,high interband absorption significantly decreases their performance at this 1.55μm ***,stronger optical feedback is needed to reduce their threshold and thus improve the output *** this goal,photonic-crystal resonators with deep holes and high dielectric contrast are often ***,the relevant techniques for high-contrast photonic crystals inevitably complicate fabrication and reduce the final *** this paper,we demonstrate the first continuous-wave operation of 1.55μm photonic-crystal surface-emitting lasers by using a‘triple-lattice photonic-crystal resonator’,which superimposes three lattice point groups to increase the strength of in-plane optical *** this geometry,the in-plane 180°coupling can be enhanced threefold compared to the normal single-lattice *** theoretical and experimental investigations demonstrate the much lower threshold current density of this structure compared to‘single-lattice’and‘double-lattice’photonic-crystal resonators,verifying our design *** findings provide a new strategy for photonic crystal laser miniaturization,which is crucial for realizing their use in future high-speed applications.

关键词： resonator crystal lattice

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

A level line of the Gaussian free field with measure-valued boundary conditions

引用

Science China Mathematics 2024年第2期67卷 367-404页

作者： Titus Lupu Hao Wu Laboratoire de Probabilités Statistique et ModélisationSorbonne Universitéand UniversitéParis CitéCNRSParis F-75005France Yau Mathematical Sciences center Tsinghua UniversityBeijing 100084China

In this article, we construct samples of Schramm-Loewner-evolution-like curves out of samples ofthe conformal loop ensemble and Poisson point processes of Brownian excursions. We show that the laws of thesecurves depend continuously on the intensity measure of the Brownian excursions. Using such a construction ofcurves, we extend the notion of level lines of the Gaussian free field to the case where the boundary conditionis measure-valued.

关键词： Schramm-Loewner evolution conformal loop ensemble Brownian excursion Gaussian free field

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Severe asthma exacerbation:Changes in patient characteristics,management,and outcomes from 1997 to 2016 in 40 ICUs in the greater paris area

引用

Journal of Intensive Medicine 2024年第2期4卷 209-215页

作者： Romy Younan Jean Loup Augy Bertrand Hermann Bertrand Guidet Philippe Aegerter Emmanuel Guerot Ana Novara Caroline Hauw-Berlemont Amer Hamdan Clotilde Bailleul Francesca Santi Jean-Luc Diehl Nicolas Peron Nadia Aissaoui Intensive Care Unit AP-HPGeorges Pompidou European HospitalUniversitéde ParisParisFrance Intensive Care Unit AP-HPSaint Antoine HospitalUniversités de SorbonneUniversitéPierre et Marie CurieParisFrance INSERM U1136 ParisFrance Versailles Saint-Quentin-en-Yvelines University INSERM U1018Groupe Interrégional de Recherche Clinique et d'InnovationÎle-de-FranceFrance Respiratory Medicine Department AP-HPGeorges Pompidou European HospitalUniversitéde ParisParisFrance Innovative Therapies in Hemostasis INSERM UMR-S1140Universitéde ParisParisFrance Intensive Care Unit and Biosurgical research Lab(Carpentier Foundation) AP-HPGeorges Pompidou European HospitalParisFrance paris-Cardiovascular-research-center INSERM U970ParisFrance

Background Despite advances in asthma treatments,severe asthma exacerbation(SAE)remains a life-threatening condition in adults,and there is a lack of data derived from adult patients admitted to intensive care units(ICUs)for *** current study investigated changes in adult patient characteristics,management,and outcomes of SAE over a 20-year period in 40 ICUs in the greater paris *** In this retrospective observational study,admissions to 40 ICUs in the greater paris area for SAE from January 1,1997,to December 31,2016 were *** primary outcome was the proportion of ICU admissions for SAE during 5-year *** outcomes were ICU and hospital mortality,and the use of mechanical ventilation and *** analysis was performed to assess factors associated with ICU *** A total of 7049 admissions for SAE were *** each 5-year period,the proportion decreased over time,with SAE accounting for 2.84%of total ICU admissions(n=2841)between 1997 and 2001,1.76%(n=1717)between 2002 and 2006,1.05%(n=965)between 2007 and 2011,and 1.05%(n=1526)between 2012 and *** median age was 46 years(interquartile range[IQR]:32–59 years),55.41%were female,the median Simplified Acute Physiology Score II was 20(IQR:13–28),and 19.76%had mechanical *** use of mechanical ventilation remained infrequent throughout the 20-year period,whereas the use of catecholamine *** and hospital mortality rates *** associated with ICU mortality were renal replacement therapy,catecholamine,cardiac arrest,pneumothorax,acute respiratory distress syndrome,sepsis,and invasive mechanical ventilation(IMV).Non-survivors were older,had more severe symptoms,and were more likely to have received *** ICU admission for SAE remains uncommon,and the proportion of cases decreased over *** a slight increase in symptom severity during a 20-year period,ICU and hospital mortality *** requirin

关键词： Epidemiology Intensive care unit Mechanical ventilation Severe asthma exacerbation

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Reasoning about Software Trustworthiness with Derivation Trees

引用

Journal of Shanghai Jiaotong university(Science) 2024年第3期29卷 579-587页

作者：邓玉欣陈泽众汪洋杜文杰毛碧飞梁智章林秋诗李静辉 Shanghai Key Laboratory of Trustworthy Computing East China Normal UniversityShanghai 200062China Shanghai Normal University Shanghai 200233China Trustworthiness Theory research center Huawei Technologies Co.Ltd.Shenzhen 518129GuangdongChina

In order to analyze the trustworthiness of complex software systems,we propose a model of evidence-based software trustworthiness called trustworthiness derivation tree(TDT).The basic idea of constructing a TDT is to refine main properties into key ingredients and continue the refinement until basic facts such as evidences are *** skeleton of a TDT can be specified by a set of rules,which are convenient for automated reasoning in *** develop a visualization tool that can construct the skeleton of a TDT by taking the rules as input,and allow a user to edit the TDT in a graphical user *** a software development life cycle,TDTs can serve as a communication means for different stakeholders to agree on the properties about a system in the requirement analysis phase,and they can be used for deductive reasoning so as to verify whether the system achieves trustworthiness in the product validation *** have piloted the approach of using TDTs in more than a dozen real scenarios of software ***,using TDTs helped us to discover and then resolve some subtle problems.

关键词： trustworthiness refinement evidence visualization

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Machine learning approach to assess the association between anthropometric,metabolic,and nutritional status and semen parameters

引用

Asian Journal of Andrology 2024年第4期26卷 349-355页

作者： Guillaume Bachelot Antonin Lamaziere Sebastien Czernichow Celine Faure Chrystelle Racine Rachel Levy Charlotte Dupont Nutrition and Fertility(ALIFERT)Group Author Information Sorbonne University School of Medicine Saint-Antoine Research CenterINSERM UMR 93827 rue ChalignyParis 75012France Reproductive Biology Department-CECOS Tenon HospitalAP-HP.Sorbonne UniversityParis 75020France Clinical Metabolomics Department Saint-Antoine HospitalAP-HP27 rue ChalignyParis 75012France Nutrition Department Obesity Specialist CentreGeorges Pompidou European HospitalAP-HPParis 75015France 不详

Many lifestyle factors,such as nutritional imbalance leading to obesity,metabolic disorders,and nutritional deficiency,have been identified as potential risk factors for male *** aim of this study was to evaluate the relationship between semen parameters and anthropometric,metabolic and nutritional *** was first assessed individually,then after the application of a previously constructed and validated machine learning score that allows their ***,metabolic,antioxidant,micronutrient,and sperm parameters from 75 men suffering from idiopathic infertility from four infertility centers in France(Jean-Verdier ART center Hospital,Bondy;North Hospital ART center,Saint-Étienne;Navarre Polyclinic ART center,Pau;and Cochin Hospital ART center,paris)between September 2009 and December 2013 were *** assessing standard correlation analysis,a previously built machine learning model,providing a score ranging from 0(the poorest)to 1(the most favorable),was calculated for each man in the study *** machine learning model,which separates infertile/fertile men with unexplained infertility on the basis of their bioclinical signature,provides a more holistic evaluation of the influence of the considered markers(anthropometric,metabolic,and oxidative status).We observed a significant correlation of some anthropometric,metabolic,and nutritional disorders with some sperm ***,an unfavorable machine learning score was associated with a high level of sperm DNA *** anthropometric,metabolic,and oxidative patterns,which may reflect an appropriate lifestyle,appear to positively impact overall health,in particular reproductive *** study,consistent with previous publications,suggests that beyond semen quality parameters,in an essential assessment of male fertility,other key factors should be taken into *** this regard,the application of emerging artificial intelligence t

关键词： lifestyle machine learning metabolism nutrition sperm DNA fragmentation

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：