检索结果-南通市图书馆

C-CORE:Clustering by Code Representation to Prioritize Test Cases in Compiler Testing

Computer Modeling in Engineering & Sciences 2024年第5期139卷 2069-2093页

作者： Wei Zhou Xincong Jiang Chuan qin School of Electronic Information and Electrical Engineering Shanghai Jiao Tong UniversityShanghai200240China Hikvision Research Institute Hangzhou Hikvision Digital Technology Co.Ltd.Hangzhou310051China

Edge devices,due to their limited computational and storage resources,often require the use of compilers for program optimization.Therefore,ensuring the security and reliability of these compilers is of paramount importance in the emerging field of edge AI.One widely used testing method for this purpose is fuzz testing,which detects bugs by inputting random test cases into the target program.However,this process consumes significant time and resources.To improve the efficiency of compiler fuzz testing,it is common practice to utilize test case prioritization techniques.Some researchers use machine learning to predict the code coverage of test cases,aiming to maximize the test capability for the target compiler by increasing the overall predicted coverage of the test cases.Nevertheless,these methods can only forecast the code coverage of the compiler at a specific optimization level,potentially missing many optimization-related bugs.In this paper,we introduce C-CORE(short for Clustering by Code Representation),the first framework to prioritize test cases according to their code representations,which are derived directly from the source codes.This approach avoids being limited to specific compiler states and extends to a broader range of compiler bugs.Specifically,we first train a scaled pre-trained programming language model to capture as many common features as possible from the test cases generated by a fuzzer.Using this pre-trained model,we then train two downstream models:one for predicting the likelihood of triggering a bug and another for identifying code representations associated with bugs.Subsequently,we cluster the test cases according to their code representations and select the highest-scoring test case from each cluster as the high-quality test case.This reduction in redundant testing cases leads to time savings.Comprehensive evaluation results reveal that code representations are better at distinguishing test capabilities,and C-CORE significantly enhances testing efficiency.Across four datasets,C-COR

关键词： Compiler testing test case prioritization code representation

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Core–Shell Microfiber Encapsulation Enables Glycerol‑Free Cryopreservation of RBCs with High Hematocrit

引用

Nano-Micro Letters 2024年第1期16卷 35-54页

作者： Xianhui qin Zhongrong Chen Lingxiao Shen Huilan Liu Xilin Ouyang Gang Zhao Department of Electronic Engineering and Information Science University of Science and Technology of ChinaHefei 230027People’s Republic of China School of Biomedical Engineering Anhui Medical UniversityHefei 230022People’s Republic of China Department of Blood Transfusion The First Affiliated Hospital of USTCDivision of Life Sciences and MedicineUniversity of Science and Technology of ChinaHefei 230001People’s Republic of China The Fourth Medical Center Chinese PLA General HospitalBeijing 100089People’s Republic of China

Cryopreservation of red blood cells(RBCs)provides great potential benefits for providing transfusion timely in emergencies.High concentrations of glycerol(20%or 40%)are used for RBC cryopreservation in current clinical practice,which results in cytotoxicity and osmotic injuries that must be carefully controlled.However,existing studies on the low-glycerol cryopreservation of RBCs still suffer from the bottleneck of low hematocrit levels,which require relatively large storage space and an extra concentration process before transfusion,making it inconvenient(time-consuming,and also may cause injury and sample lose)for clinical applications.To this end,we develop a novel method for the glycerol-free cryopreservation of human RBCs with a high final hematocrit by using trehalose as the sole cryoprotectant to dehydrate RBCs and using core–shell alginate hydrogel microfibers to enhance heat transfer during cryopreservation.Different from previous studies,we achieve the cryopreservation of human RBCs at high hematocrit(>40%)with high recovery(up to 95%).Additionally,the washed RBCs post-cryopreserved are proved to maintain their morphology,mechanics,and functional properties.This may provide a nontoxic,high-efficiency,and glycerol-free approach for RBC cryopreservation,along with potential clinical transfusion benefits.

关键词： Cryopreservation Human red blood cells Core-shell microfibers Trehalose Hematocrit

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Random Forest-Based Fatigue Reliability-Based Design Optimization for Aeroengine Structures

引用

Computer Modeling in Engineering & Sciences 2024年第7期140卷 665-684页

作者： Xue-qin Li Lu-Kai Song School of Energy and Power Engineering Beihang UniversityBeijing100191China Department of Mechanical Engineering The Hong Kong Polytechnic UniversityKowloonHong Kong999077China Research Institute of Aero-Engine Beihang UniversityBeijing100191China

Fatigue reliability-based design optimization of aeroengine structures involves multiple repeated calculations of reliability degree and large-scale calls of implicit high-nonlinearity limit state function,leading to the traditional direct Monte Claro and surrogate methods prone to unacceptable computing efficiency and accuracy.In this case,by fusing the random subspace strategy and weight allocation technology into bagging ensemble theory,a random forest(RF)model is presented to enhance the computing efficiency of reliability degree;moreover,by embedding the RF model into multilevel optimization model,an efficient RF-assisted fatigue reliability-based design optimization framework is developed.Regarding the low-cycle fatigue reliability-based design optimization of aeroengine turbine disc as a case,the effectiveness of the presented framework is validated.The reliabilitybased design optimization results exhibit that the proposed framework holds high computing accuracy and computing efficiency.The current efforts shed a light on the theory/method development of reliability-based design optimization of complex engineering structures.

关键词： Random forest reliability-based design optimization ensemble learning machine learning

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Synergically regulated silver species and surface oxygen on manganese oxide for promoted activity of formaldehyde oxidation

引用

Journal of Environmental Sciences 2024年第4期138卷 709-718页

作者： Shuo Hu Jianghao Zhang Xueyan Chen Xiaoxiao qin Jinshui Yao Changbin Zhang School of Materials Science&Engineering Qilu University of Technology(Shandong Academy of Sciences)Jinan 250353China State Key Joint Laboratory of Environment Simulation and Pollution Control Research Center for Eco-Environmental SciencesChinese Academy of SciencesBeijing 100085China University of Chinese Academy of Sciences Beijing 100049China

Formaldehyde(HCHO)is a common indoor pollutant that is detrimental to human health.Its efficient removal has become an urgent demand to reduce the public health risk.In this work,Ag-MnO_(x)-based catalysts were prepared and activated under different atmosphere(i.e.,air,hydrogen(H_(2))and carbon monoxide(CO))for efficient oxidation of HCHO.The catalyst activated with CO(Ag/Mn-CO)displayed the highest activity among the tested samples with 90% conversion at 100℃ under a gas space velocity of 75,000 mL/(g_(cat)·hr).Complementary characterizations demonstrate that CO reduction treatment resulted in synergically regulated content of surface oxygen on support to adsorb/activate HCHO and size of Ag particle to dissociate oxygen to oxidize the adsorbed HCHO.In contrast,other catalysts lack for either abundant surface oxygen species or metallic silver with the appropriate particle size,so that the integrate activity is limited by one specific reaction step.This study contributes to elucidating the mechanisms regulating the oxidation activity of Ag-based catalysts.

关键词： HCHO oxidation Ag-MnO_(x)-based catalyst Activation condition Synergic regulation Surface oxygen Oxidized Ag

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

L_(1)-Smooth SVM with Distributed Adaptive Proximal Stochastic Gradient Descent with Momentum for Fast Brain Tumor Detection

引用

Computers, Materials & Continua 2024年第5期79卷 1975-1994页

作者： Chuandong qin Yu Cao Liqun Meng School of Mathematics and Information Science North Minzu UniversityYinchuan750021China Ningxia Key Laboratory of Intelligent Information and Big Data Processing Yinchuan750021China

Brain tumors come in various types,each with distinct characteristics and treatment approaches,making manual detection a time-consuming and potentially ambiguous process.Brain tumor detection is a valuable tool for gaining a deeper understanding of tumors and improving treatment outcomes.Machine learning models have become key players in automating brain tumor detection.Gradient descent methods are the mainstream algorithms for solving machine learning models.In this paper,we propose a novel distributed proximal stochastic gradient descent approach to solve the L_(1)-Smooth Support Vector Machine(SVM)classifier for brain tumor detection.Firstly,the smooth hinge loss is introduced to be used as the loss function of SVM.It avoids the issue of nondifferentiability at the zero point encountered by the traditional hinge loss function during gradient descent optimization.Secondly,the L_(1) regularization method is employed to sparsify features and enhance the robustness of the model.Finally,adaptive proximal stochastic gradient descent(PGD)with momentum,and distributed adaptive PGDwithmomentum(DPGD)are proposed and applied to the L_(1)-Smooth SVM.Distributed computing is crucial in large-scale data analysis,with its value manifested in extending algorithms to distributed clusters,thus enabling more efficient processing ofmassive amounts of data.The DPGD algorithm leverages Spark,enabling full utilization of the computer’s multi-core resources.Due to its sparsity induced by L_(1) regularization on parameters,it exhibits significantly accelerated convergence speed.From the perspective of loss reduction,DPGD converges faster than PGD.The experimental results show that adaptive PGD withmomentumand its variants have achieved cutting-edge accuracy and efficiency in brain tumor detection.Frompre-trained models,both the PGD andDPGD outperform other models,boasting an accuracy of 95.21%.

关键词： Support vector machine proximal stochastic gradient descent brain tumor detection distributed computing

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

SHARP POINTWISE-IN-TIME ERROR ESTIMATE OF L1 SCHEME FOR NONLINEAR SUBDIFFUSION EQUATIONS

引用

Journal of Computational Mathematics 2024年第3期42卷 662-678页

作者： Dongfang Li Hongyu qin Jiwei Zhang School of Mathematics and Statistics Huazhong University of Science and TechnologyWuhan 430074China Hubei Key Laboratory of Engineering Modeling and Scientific Computing Huazhong University of Science and TechnologyWuhan 430074China School of Mathematics and Statistics Wuhan UniversityWuhan 430072China

An essential feature of the subdiffusion equations with theα-order time fractional derivative is the weak singularity at the initial time.The weak regularity of the solution is usually characterized by a regularity parameterσ∈(0,1)∪(1,2).Under this general regularity assumption,we present a rigorous analysis for the truncation errors and develop a new tool to obtain the stability results,i.e.,a refined discrete fractional-type Grönwall inequality(DFGI).After that,we obtain the pointwise-in-time error estimate of the widely used L1 scheme for nonlinear subdiffusion equations.The present results fill the gap on some interesting convergence results of L1 scheme onσ∈(0,α)∪(α,1)∪(1,2].Numerical experiments are provided to demonstrate the effectiveness of our theoretical analysis.

关键词： Sharp pointwise-in-time error estimate Ll scheme Nonlinear subdiffusion equations Non-smooth solutions

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Control of chiral-optical activities by magnetic field based on the transformation of achiral binary crystals into chiral ternary crystals

引用

Science China Chemistry 2024年第7期67卷 2300-2305页

作者： Zhiyan Chen Yan Lv Wei qin College of Physics Qingdao UniversityQingdao 266071China School of Physics State Key Laboratory of Crystal MaterialsShandong UniversityJinan 250100China Shandong Linuo Photovoltaic Hi-Tech Co. Ltd.Jinan 250100China

Multicomponent self-assembled chiral systems have attracted great attention due to their promising application in the area of spin-photonics and optoelectronics.In this work,through introducing an achiral third component into an achiral binary crystal,a chiral organic ternary crystal is fabricated,where both pronounced chiral-optical coupling and magnetic field dependence of chiral-optical activities are observed.The transformation of achiral structure into chiral structure generates a significant effect on the polarized state of light and the electron spin resonance signals.Moreover,the coupling between circularly polarized photon and spin is observed in chiral ternary crystal with pronounced chiral orbit,where obvious magnetic field-transmissivity loop is generated.Furthermore,temperature could increase the magnitude of lattice parameters to lead to a larger helix radius to increase the chiral orbit effect.Overall,this work indicates that the further exploration of photon-chiral orbit-spin interactions in organic chiral ternary crystals is promising.

关键词： organic chiral ternary crystals chiral orbit chiral-optical activities magnetic field

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

The Monsky Matrices and Non-congruent Numbers

引用

Algebra Colloquium 2024年第2期31卷 239-262页

作者： Guilin Li Hourong qin Fei Xu Department of Mathematics Nanjing UniversityNanjing 210093China 不详

We give some sufficient conditions for non-congruent numbers in terms of the Monsky matrices.Many known criteria for non-congruent numbers can be viewed as special cases of our results.

关键词： congruent elliptic curve Selmer group Monsky matrix non-congruent number

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Quality of life after pancreatic surgery

引用

World Journal of Gastroenterology 2024年第8期30卷 943-955页

作者： Shi-Zhen Li Ting-Ting Zhen Yi Wu Min Wang Ting-Ting qin Hang Zhang Ren-Yi qin Department of Biliary-Pancreatic Surgery Affiliated Tongji HospitalTongji Medical CollegeHuazhong University of Science and TechnologyWuhan 430030Hubei ProvinceChina

BACKGROUND Pancreatic surgery is challenging owing to the anatomical characteristics of the pancreas.Increasing attention has been paid to changes in quality of life(QOL)after pancreatic surgery.AIM To summarize and analyze current research results on QOL after pancreatic surgery.METHODS A systematic search of the literature available on PubMed and EMBASE was performed in accordance with the Preferred Reporting Items for Systematic Reviews and Meta-Analyses guidelines.Relevant studies were identified by screening the references of retrieved articles.Studies on patients’QOL after pancreatic surgery published after January 1,2012,were included.These included prospective and retrospective studies on patients'QOL after several types of pancreatic surgeries.The results of these primary studies were summarized inductively.RESULTS A total of 45 articles were included in the study,of which 13 were related to pancreaticoduodenectomy(PD),seven to duodenum-preserving pancreatic head resection(DPPHR),nine to distal pancreatectomy(DP),two to central pancre-atectomy(CP),and 14 to total pancreatectomy(TP).Some studies showed that 3-6 months were needed for QOL recovery after PD,whereas others showed that 6-12 months was more accurate.Although TP and PD had similar influences on QOL,patients needed longer to recover to preoperative or baseline levels after TP.The QOL was better after DPPHR than PD.However,the superiority of the QOL between patients who underwent CP and PD remains controversial.The decrease in exocrine and endocrine functions postoperatively was the main factor affecting the QOL.Minimally invasive surgery could improve patients’QOL in the early Core Tip:This review summarizes and analyzes current research results on quality of life(QOL)after pancreatic surgery.The article covers the discussion and analysis of the QOL of various pancreatic surgeries.Which kind of surgical procedure has better QOL is controversial.The long-term benefits on QOL of minimally invasive surgery over open surgery are contro-INTRODUCTION

关键词： Quality of life Pancreaticoduodenectomy Duodenum-preserving pancreatic head resection Distal pancreatectomy Central pancreatectomy Total pancreatectomy

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

The stance and factors of international organizations towards countries from a Chinese perspective

引用

Data Intelligence 2024年第1期6卷 158-182页

作者： qin Zhang Haili Xue Yaotian Wang Yao Wang Ziqin Zhang qinghua qin Haoguang Liang National Science Library Chinese Academy of Sciences100190China China Center for Modernization Research 100190China Beijing International Studies University 100024China Beijing Key Laboratory of National Belt and Road Data Analysis and Decision Support 100024China University College London WC1E 6BTUK

The degree and scope of constraints imposed by International Organizations(IOs)on States are increasing,and identifying the factors affecting the IOs’stances on States is helpful to enhance the state's discourse power and influence in the international community.First,by coding the records of Regular Press Conferences of the Speaking Office of the Chinese Ministry of Foreign Affairs during the period of 20182022,we obtained a dataset of IOs’stances on China-related events.Second,we constructed political relation,economic relation,and humanistic relation indicators to complement the influence factors,adopted the Bayesian logit model,and applied the Monte Carlo Markov chain algorithm and Gibbs sampling to analyze the probability of IOs’positive stances towards China.The result shows that IOs’category,length of establishment,functional position,and relationship with China are all related to their tendency of making a statement about China.In terms of the heterogeneity of event types,forum-type IOs are significantly inclined to give positive assessment compared to service-type IOs on events focusing on China's own development.Further analysis reveals that the model for analyzing and predicting the attitudes of IOs is more effective when the international situation is in a stable period.

关键词： Bayesian Logit Model IOs' stances Attitude analysis Monte Carlo Markov chain International relation indicator

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：