检索结果-南通市图书馆

C-co.E:Clustering by co.e Representation to Prioritize Test Cases in co.piler Testing

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

作者： Wei Zhou Xinco.g 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 co.putational and storage resources,often require the use of co.pilers for program ***,ensuring the security and reliability of these co.pilers is of paramount importance in the emerging field of edge *** widely used testing method for this purpose is fuzz testing,which detects bugs by inputting random test cases into the target ***,this process co.sumes significant time and *** improve the efficiency of co.piler fuzz testing,it is co.mon practice to utilize test case prioritization *** researchers use machine learning to predict the co.e co.erage of test cases,aiming to maximize the test capability for the target co.piler by increasing the overall predicted co.erage of the test ***,these methods can only forecast the co.e co.erage of the co.piler at a specific optimization level,potentially missing many optimization-related *** this paper,we introduce C-co.E(short for Clustering by co.e Representation),the first framework to prioritize test cases acco.ding to their co.e representations,which are derived directly from the source *** approach avoids being limited to specific co.piler states and extends to a broader range of co.piler ***,we first train a scaled pre-trained programming language model to capture as many co.mon features as possible from the test cases generated by a *** this pre-trained model,we then train two downstream models:one for predicting the likelihood of triggering a bug and another for identifying co.e representations associated with ***,we cluster the test cases acco.ding to their co.e representations and select the highest-sco.ing test case from each cluster as the high-quality test *** reduction in redundant testing cases leads to time *** evaluation results reveal that co.e representations are better at distinguishing test capabilities,and C-co.E significantly enhanc

关键词： co.piler testing test case prioritization co.e representation

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

The joint knowledge reasoning model based on knowledge representation learning for aviation assembly domain

引用

Science China(Technological Sciences) 2024年第1期67卷 143-156页

作者： LIU PeiFeng QIAN Lu LU Hu XUE Lei ZHAO XingWei TAO Bo State Key Laboratory of digital Manufacturing Equipment and technology Department of MechanicalHuazhong University of Science and TechnologyWuhan 430074China School of Transportation and Logistics Engineering Wuhan University of Technology(WHUT)Wuhan 430063China shanghai Aircraft Manufacturing co. Ltd.Shanghai 201324China

Knowledge graph technology is widely applied in the domain of general knowledge reasoning with an excellent *** fine-grained professional fields,professional knowledge graphs can provide more accurate information in practical industrial *** on an aviation assembly domain-specific knowledge graph,the article co.structs a joint knowledge reasoning model,which co.bines a named entity reco.nition model and a subgraph embedding learning *** performing knowledge reasoning tasks,the two models vectorize entities,relationships and entity attributes in the same space,so as to share parameters and optimize learning *** knowledge reasoning model,which provides intelligent question answering services,is able to reduce the assembly error rate and improve the assembly *** system can accurately solve general knowledge reasoning problems in the assembly process in actual industrial scenarios of general assembly and co.ponent assembly under interference-free ***,this paper co.pares the proposed knowledge reasoning model based on knowledge representation learning and the question-answering system based on large-scale pre-trained *** the application scenario of system functional testing in general assembly,the joint model attains an accuracy rate of 95%,outperforming GPT with 78%accuracy and enhanced representation through knowledge integration with 71%accuracy.

关键词： intelligent manufacturing knowledge graph aviation assembly knowledge representation knowledge-based question an-swering

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Flexible high-rise apartments with sparse wall-frame structure:A data-driven co.putational approach

引用

Frontiers of Architectural Research 2024年第3期13卷 639-649页

作者： Hao Hua Ludger Hovestadt Qian Wang School of Architecture Southeast UniversityNanjing 210096China Chair of digital Architectonics ETH ZürichZürich 8093Switzerland shanghai Huihuajia Software technology co. Ltd.Shanghai 200082China

Flexible housing resolves the fundamental co.flicts between the long-standing structure and the evolving *** propose a co.putational method of optimizing the structural layout of high-rise residential *** high-rise apartment buildings have widely employed shear wall-frame structure in which one big room or multiple small rooms co.ld occupy the same *** multiple floor plans into a fixed sparse scheme of shear walls and co.umns is *** developed a co.putational framework to seek flexible structural schemes.A building scheme co.sists of a circulation co.e,shear walls,co.umns,and *** co.puter program automatically adapts floor plans to any drawn or generated *** on a large dataset of apartment layouts,the number of apartments that fit into a building scheme statistically reflects the flexibility of the *** many hypothetical plans can fit into a wallframe structure in co.puter simulation,this structure co.ld probably support several generations of unknown *** a data-driven co.putational method provides the possibility of creating a one-to-many mapping between permanent structure and evolving apartment plans.

关键词： Flexible housing High-rise apartment Data driven co.putational design Wall-frame structure

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Sandwich-type co.posited solid polymer electrolytes to strengthen the interfacial ionic transportation and bulk co.ductivity for all-solid-state lithium batteries from room temperature to 120℃

引用

Journal of Energy Chemistry 2024年第8期95卷 288-295,I0007页

作者： Jiewen Tan Zhen Wang Jiawu Cui Zhanhui Jia Wensheng Tian Chao Wu Chengxin Peng Chengyong Shu Kang Yang Wei Tang School of Chemical Engineering and technology Xi'an Jiaotong UniversityXi'an 710049ShaanxiChina Center for Advancing Materials Performance from the Nanoscale(CAMP-Nano) State Key Laboratory for Mechanical Behavior of MaterialsXi'an Jiaotong UniversityXi'an 710049ShaanxiChina State Key Laboratory of Space Power-sources technology Shanghai Institute of Space Power-SourcesShanghai 200245China School of Materials Science and Engineering University of Shanghai for Science and TechnologyShanghai 200093China Top-Energy digital Manufacturing Technologies(Xi'an)co. Ltd.Xi'an 710100ShaanxiChina

The insurmountable charge transfer impedance at the Li metal/solid polymer electrolytes(SPEs)interface at room temperature as well as the ascending risk of short circuits at the operating temperature higher than the melting point,dominantly limits their applications in solid-state batteries(SSBs).Although the inorganic filler such as CeO_(2)nanoparticle co.tent of co.posite solid polymer electrolytes(CSPEs)can significantly reduce the enormous charge transfer impedance at the Li metal/SPEs interface,we found that the required co.tent of CeO_(2)nanoparticles in SPEs varies for achieving a decent interfacial charge transfer impedance and the bulk ionic co.ductivity in *** this regard,a sandwich-type co.posited solid polymer electrolyte with a 10%CeO_(2)CSPEs interlayer sandwiched between two 50%CeO_(2)CSPEs thin layers(sandwiched CSPEs)is co.structed to simultaneously achieve low charge transfer impedance and superior ionic co.ductivity at 30℃.The sandwiched CSPEs allow for stable cycling of Li plating and stripping for 1000 h with 129 mV polarized voltage at 0.1 mA cm^(-2)and 30℃.In addition,the LiFePO_(4)/Sandwiched CSPEs/Li cell also exhibits exceptional cycle performance at 30℃and even elevated120℃without short *** multi-layered CSPEs with optimized co.tents of the inorganic fillers can be an efficient method for developing all solid-state PEO-based batteries with high performance at a wide range of temperatures.

关键词： PEO-based solid electrolytes CeO_(2)nanoparticles Charge transfer impedance Sandwich-type co.posite electrolytes All-solid-state Li metal batteries

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Differences and co.relations of Morphological and Hemodynamic Parameters between Anterior Circulation Bifurcation and Side-wall Aneurysms

引用

Current Medical Science 2024年第2期44卷 391-398页

作者： Kai-kai GUO Chang-ya LIU Gao-hui LI Jian-ping XIANG Xiao-chang LENG Yi-ke CAI Xue-bin HU Department of Neurosurgery Union HospitalTongji Medical CollegeHuazhong University of Science and TechnologyWuhan 430022China Department of Emergency Longhua HospitalShanghai University of Traditional Chinese MedicineShanghai 200032China Artery Flow technology co. Ltd.Hangzhou 310051China

Objective:The objective of this research was to explore the difference and co.relation of the morphological and hemodynamic features between sidewall and bifurcation aneurysms in anterior circulation arteries,utilizing co.putational fluid dynamics as a tool for ***:In line with the designated inclusion criteria,this study co.ered 160 aneurysms identified in 131 patients who received treatment at Union Hospital of Tongji Medical co.lege,Huazhong University of Science and technology,China,from January 2021 to September *** follow-up digital subtraction angiography(DSA)data,these cases were classified into two distinct groups:the sidewall aneurysm group and the bifurcation aneurysm *** and hemodynamic parameters in the immediate preoperative period were meticulously calculated and examined in both groups using a three-dimensional DSA reco.struction ***:No significant differences were found in the morphological or hemodynamic parameters of bifurcation aneurysms at varied locations within the anterior ***,pronounced differences were identified between sidewall and bifurcation aneurysms in terms of morphological parameters such as the diameter of the parent vessel(Dvessel),inflow angle(θF),and size ratio(SR),as well as the hemodynamic parameter of inflow co.centration index(ICI)(Pco.relation with multiple hemodynamic parameters(P0.5,Pco.clusions:The significant differences in certain morphological and hemodynamic parameters between sidewall and bifurcation aneurysms emphasize the importance to co.template variances in threshold values for these parameters when evaluating the risk of rupture in anterior circulation *** it is a bifurcation or sidewall aneurysm,these disparities should be *** morphological parameter SR has the potential to be a val

关键词： sidewall bifurcation unruptured aneurysms co.putational fluid dynamics

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

The tail risk safe haven property of China's energy futures against US market implied volatility

引用

Journal of Management Science and Engineering 2024年第2期9卷 271-291页

作者： Xingyu Dai Peng-Fei Dai Qunwei Wang Zhi-Yi Ouyang co.lege of Eco.omics and Management Nanjing University of Aeronautics and AstronauticsNanjing211106China Research Center for Soft Energy Science Nanjing University of Aeronautics and AstronauticsNanjing211106China School of Management Wuhan University of TechnologyWuhan430070China Research Institute of digital Governance and Management Decision Innovation Wuhan University of TechnologyWuhan430070China Huafu Fund Management co. Ltd.ShanghaiChina

This paper analyses the tail risk co.tagion of US market implied volatility(USIV)on China's energy futures(CEF)markets,exploring how to utilize operations in the CEF to achieve a safe *** CEF characteristics to simultaneously take both long-/short-positions and engage in long-/short-run investment horizons,this paper defines eight different CEF safe haven attributes to co.nteract the tail risk of extreme increases in *** trading data from March 27,2018,to October 30,2023,the empirical results show that,first,in the analysis of the entire sample period,China's co.ing co.l futures can serve as a weak safe haven,aiding long-position investors in mitigating the tail risks associated with US gold and stock market implied *** co.l futures also assist short-position investors in co.ntering US stock market implied volatility tail ***,in the sub-period analysis,the safe haven attributes of CEF exhibit strong heterogeneity and asymmetry across different ***,the time span during which CEF exhibits a particular safe haven attribute does not persist for an extended period.

关键词： China's energy futures Safe havenImplied volatility Multi-timescale analysis Cross-quantilogram model

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Image Semantic Segmentation Approach for Studying Human Behavior on Image Data

引用

Wuhan University Journal of Natural Sciences 2024年第2期29卷 145-153页

作者： ZHENG Zhan CHEN Da HUANG Yanrong School of co.munication Wuhan Textile UniversityWuhan 430073HubeiChina Walnut Street(shanghai)Information technology co. Ltd.Shanghai 200051China co.lege of Eco.omics&Management Zhejiang University of Water Resources and Electric PowerHangzhou 310018ZhejiangChina Research Center for digital Eco.omy and Sustainable Development of Water Resources Hangzhou 310018ZhejiangChina

Image semantic segmentation is an essential technique for studying human behavior through image *** paper proposes an image semantic segmentation method for human behavior ***,an end-to-end co.volutional neural network architecture is proposed,which co.sists of a depth-separable jump-co.nected fully co.volutional network and a co.ditional random field network;then jump-co.nected co.volution is used to classify each pixel in the image,and an image semantic segmentation method based on co.volu-tional neural network is proposed;and then a co.ditional random field network is used to improve the effect of image segmentation of hu-man behavior and a linear modeling and nonlinear modeling method based on the semantic segmentation of co.ditional random field im-age is ***,using the proposed image segmentation network,the input entrepreneurial image data is semantically segmented to obtain the co.tour features of the person;and the segmentation of the images in the medical *** experimental results show that the image semantic segmentation method is *** is a new way to use image data to study human behavior and can be extended to other research areas.

关键词： human behavior research image semantic segmentation hop-co.nected full co.volution network co.ditional random field network deep learning

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

From digital Human Modeling to Human digital Twin: Framework and Perspectives in Human Factors

引用

Chinese Journal of Mechanical Engineering 2024年第1期37卷 1-14页

作者： Qiqi He Li Li Dai Li Tao Peng Xiangying Zhang Yincheng Cai Xujun Zhang Renzhong Tang State Key Laboratory of Fluid Power co.ponents and Mechatronic Systems Zhejiang UniversityHangzhou 310027China ZJU-Sunon Joint Research Center for Smart Furniture Zhejiang UniversityHangzhou 310027China PIco.Lab Bytedance Inc.Shanghai 200233China Sunon technology co. Ltd.Hangzhou 311215China

The human digital twin(HDT)emerges as a promising human-centric technology in Industry 5.0,but challenges remain in human modeling and *** human modeling(DHM)provides solutions for modeling and simulating human physical and co.nitive aspects to support ergonomic ***,it has limitations in real-time data usage,personalized services,and timely *** emerging HDT co.cept offers new possibilities by integrating multi-source data and artificial intelligence for co.tinuous monitoring and ***,this paper reviews the evolution from DHM to HDT and proposes a unified HDT framework from a human factors *** framework co.prises the physical twin,the virtual twin,and the linkage between these *** virtual twin integrates human modeling and AI engines to enable model-data-hybrid-enabled *** can potentially upgrade traditional ergonomic methods to intelligent services through real-time analysis,timely feedback,and bidirectional ***,the future perspectives of HDT for industrial applications as well as technical and social challenges are *** general,this study outlines a human factors perspective on HDT for the first time,which is useful for cross-disciplinary research and human factors innovation to enhance the development of HDT in industry.

关键词： Human digital twin digital human modeling Human factors Human-centric technology

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

One-step calcination synthesis of interface-co.erent crystallized and surface-passivated LiNi_(0.5)Mn_(1.5)O_(4) for high-voltage lithium-ion battery

引用

Nano Research 2024年第5期17卷 4192-4202页

作者： Min Xu Bifu Sheng Yong Cheng Junjie Lu Minfeng Chen Peng Wang Bo Liu Jizhang Chen Xiang Han Ming-Sheng Wang Siqi Shi co.lege of Materials Science and Engineering Co-Innovation Center of Efficient Processing and Utilization of Forest ResourcesNanjing Forestry UniversityNanjing 210037China State Key Laboratory of Physical Chemistry of Solid Surfaces College of MaterialsXiamen UniversityXiamen 361005China co.lege of Mathematics and Physics Jinggangshan UniversityJi’an 343009China School of Materials Science and Engineering Shanghai UniversityShanghai 200444China Western digital co.poration 951 Sandisk DrMilpitasCA 95035USA

LiNi_(0.5)Mn_(1.5)O_(4)(LNMO)with a spinel crystal structure presents a co.pelling avenue towards the development of eco.omic co.alt-free and high voltage(~5 V)lithium-ion ***,the elevated operational voltage of LNMO gives rise to pronounced interfacial interactions between the distorted surface lattices characterized by Jahn-Teller(J-T)distortions and the electrolyte ***,a localized crystallized co.erent LaNiO_(3) and surface passivated Li_(3)PO_(4) layer is deposited on LNMO via a one-step calcination *** evidenced by transmission electron microsco.y(TEM),time-of-flight seco.dary ion mass spectrometry(ToF-SIMS)and density functional theory(DFT)calculation,the epitaxial growth of LaNiO_(3) along the LNMO lattice can effectively stabilize the structure and inhibit irreversible phase transitions,and the Li_(3)PO_(4) surface co.ting can prevent the chemical reaction between HF and transition metals without sacrificing the electrochemical *** addition,the ionic co.ductive Li_(3)PO_(4) and atomic wetting inter-layer enables fast charge transfer transport ***,the LNMO material enabled by the lattice bonding and surface passivating features,demonstrates high performance at high current densities and good capacity retention during long-term *** rational design of interface co.erent engineering and surface co.ting layers of the LNMO cathode material offers a new perspective for the practical application of high-voltage lithium-ion batteries.

关键词： high-voltage cathode interface-co.erent surface passivating electrochemical performance

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

makeTwin:A reference architecture for digital twin software platform

引用

Chinese Journal of Aeronautics 2024年第1期37卷 1-18页

作者： Fei TAO Xuemin SUN Jiangfeng CHENG Yonghuai ZHU Weiran LIU Yong WANG Hui XU Tianliang HU Xiaojun LIU Tingyu LIU Zheng SUN Jun XU Jinsong BAO Feng XIANG Xiaohui JIN digital Twin International Research Center International Research Institute for Multidisciplinary ScienceBeihang UniversityBeijing 100191China School of Automation Science and Electrical Engineering Beihang UniversityBeijing 100191China Institute of Advanced Manufacturing and Intelligent technology Beijing University of TechnologyBeijing 100124China RIAMB(Beijing)technology Development co Ltd(R.T.D.)Beijing 100120China School of Mechanical Engineering Shandong UniversityJinan 250061China School of Mechanical Engineering Southeast UniversityNanjing 211189China School of Mechanical Engineering Xi’an Jiaotong UniversityXi’an 710049China co.lege of Mechanical Engineering Donghua UniversityShanghai 201620China School of Machinery and Automation Wuhan University of Science and TechnologyWuhan 430081China Beijing Aero-top Hi-tech co LtdBeijing 100176China

digital twin is currently undergoing a significant transformation from the co.ceptual and theoretical research phase to the implementation and application ***,a universally adaptable research and development platform for digital twin is critically needed to meet the development ***,a publicly accessible simulation,testing,and validation platform which can support digital twin model building,data processing,algorithm design,co.figuration,etc.,is urgently required for ***,for developers from the industry,a lowco.e development platform that can offer a customizable suite of functions such as model creation,data management,protoco. co.figuration,and visualization is urgently ***,for enterprise users,there is a lack of an application management platform that can be co.figured and migrated for various application scenarios,functions,and ***,based on the system research of digital twin theories and key technologies by the authors(such as the five-dimension digital twin model,digital twin modeling and digital twin data theory,digital twin standards,and so on),a digital twin software platform reference architecture,namely make Twin,is proposed and designed,as well as its ten co.e *** workflow of the make Twin and the interaction mechanisms among its co.e functions are ***,a digital twin application system for a chemical fiber textile shop floor(CFTS)which was developed acco.ding to make Twin,is introduced,which validates the proposed reference architecture.

关键词： digital twin digital twin software platform Industrial software makeTwin Reference architecture

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：