检索结果-南通市图书馆

维普期刊数据库

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

Hot Compression Behavior and Tensile Property of a Novel Ni-Co-Based Superalloy Prepared by Electron Beam Smelting Layered Solidification Technology

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Acta Metallurgica Sinica(English Letters) 2024年第2期37卷 283-292页

作者： Yong-Chao Gai Rui Zhang chuan-Yong Cui Zi-Jian zhou Yi Tan Yi-zhou zhou Xiao-Feng Sun Key Laboratory of Materials Modification by Laser Ionand Electron Beams(Ministry of Education)School of Materials Science and EngineeringDalian University of TechnologyDalian116024China Shi-Changxu Innovation Center for Advanced Materials Institute of Metal ResearchChinese Academy of SciencesShenyang110016China

The hot compression behavior and tensile strength after compression of a new Ni-Co-based superalloy produced using electron beam smelting layered(EBSL)solidification technology were investigated.Isothermal compression tests were performed at temperatures of 1120℃and 1150℃,with strain rates of 1 s^(-1) and 0.01 s^(-1),reaching a true strain of 0.51.Tensile strength was evaluated at room temperature.The results revealed that this EBSL technology accelerates dynamic recrystallization(DRX),without compromising the strength of alloy.A significant correlation between the volume fraction of DRX and the strain rate was observed,with higher fractions at lower strain rates,leading to higher tensile strength.Additionally,at the same strain rate,the specimens compressed at 1120℃exhibited higher tensile strength due to undissolvedγ′precipitates.After solution and aging heat treatment,the alloy maintained high tensile strength.The results suggested that the EBSL Ni-Co-based superalloy offers excellent prospects for practical applications.

关键词： Ni-Co-based superalloy Hot deformation Electron beam smelting Tensile strength

Resonant Beam Communications:A New Design Paradigm and Challenges

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Communications and Information Networks 2024年第1期9卷 80-87页

作者： Yuanming Tian Dongxu Li chuan Huang Qingwen Liu Shengli zhou Future Network of Intelligence Institute and School of Science and Engineering the Chinese University of Hong KongShenzhen 518172China School of Science and Engineering and the Future Network of Intelligence Institute the Chinese University of Hong KongShenzhen 518172China College of Electronics and Information Engineering Tongji UniversityShanghai 201804China Department of Electrical and Computer Engineering University of ConnecticutStorrsCT 06250USA

Resonant beam communications (RBCom), which adopts oscillating photons between two separate retroreflectors for information transmission, exhibits potential advantages over other types of wireless optical communications (WOC). However, echo interference generated by the modulated beam reflected from the receiver affects the transmission of the desired information. To tackle this challenge, a synchronization-based point-to-point RBCom system is proposed to eliminate the echo interference, and the design for the transmitter and receiver is discussed. Subsequently,the performance of the proposed RBCom is evaluated and compared with that of visible light communications(VLC)and free space optical communications (FOC). Finally, future research directions are outlined and several implementation challenges of RBCom systems are highlighted.

关键词： resonant beam communications(RBCom) wireless optical communications(WOC) echo interference elimination mobility multiple access

Research on the quasi-isentropic driving model of aluminized explosives in the detonation wave propagation direction

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Defence Technology（防务技术） 2024年第2期32卷 596-618页

作者： Hongfu Wang Yan Liu Fan Bai Chao He Yingliang Xu Qiang zhou chuan Xiao Fenglei Huang State Key Laboratory of Explosion Science and Technology Beijing Institute of TechnologyBeijing100081China China Research and Development Academy of Machinery Equipment Beijing100089China Beijing Institute of Technology Chongqing Innovation Center Chongqing401120China

Taking CL-20(Hexanitrohexaazaisowurtzitane)-based aluminized explosives with high gurney energy as the research object, this research experimentally investigates the work capability of different aluminized explosive formulations when driving metal flyer plates in the denotation wave propagation direction.The research results showed that the formulations with 43 μm aluminum(Al) powder particles(The particle sizes of Al powder were in the range of 2~43 μm) exhibited the optimal performance in driving flyer plates along the denotation wave propagation direction. Compared to the formulations with Al powder 13 μm, the formulations with Al powder 2 μm delivered better performance in accelerating metal flyer plates in the early stage, which, however, turned to be poor in the later stage. The CL-20-based explosives containing 25% Al far under-performed those containing 15% Al. Based on the proposed quasi-isentropic hypothesis, relevant isentropy theories, and the functional relationship between detonation parameters and entropy as well as Al reaction degree, the characteristic lines of aluminized explosives in accelerating flyer plates were theoretically studied, a quasi-isentropic theoretical model for the aluminized explosive driving the flyer plate was built and the calculation methods for the variations of flyer plate velocity, Al reaction degree, and detonation product parameters with time and axial positions were developed. The theoretical model built is verified by the experimental results of the CL-20-based aluminized explosive driving flyer plate. It was found that the model built could accurately calculate the variations of flyer plate velocity and Al reaction degree over time. In addition, how physical parameters including detonation product pressure and temperature varied with time and axial positions was identified. The action time of the positive pressure after the detonation of aluminized explosives was found prolonged and the downtrend of the temperature was slowed down and even reversed to a slight rise

关键词： Aluminized explosive Flyer plate experiment Quasi-isentropic theoretical model Al reaction Driving characteristics

维普期刊数据库

Confinement of Fe atoms between MoS_(2) interlayers drives phase transition for improved reactivity in Fenton-like reactions

在线全文

学校读者我要写书评

暂无评论

Nano Research 2024年第3期17卷 1132-1139页

作者： Yibing Sun Yu zhou Hongchao Li chuan Wang Xuan Zhang Qian Ma Yingchun Cheng Jieshu Qian Bingcai Pan Jiangsu Key Laboratory of Chemical Pollution Control and Resources Reuse School of Environmental and Biological EngineeringNanjing University of Science and TechnologyNanjing 210094China Key Laboratory of Flexible Electronics and Institute of Advanced Materials Jiangsu National Synergetic Innovation Center for Advanced MaterialsNanjing Tech UniversityNanjing 211816China Department of General Dentistry Affiliated Stomatological Hospital of Nanjing Medical UniversityJiangsu Province Key Laboratory of Oral DiseasesNanjing 210029China Research Center for Environmental Nanotechnology(ReCENT) State Key Laboratory of Pollution Control and Resources ReuseSchool of EnvironmentNanjing UniversityNanjing 210023China

Phase manipulation of MoS_(2) from thermodynamically stable 2H phase to the unstable but more reactive 1T phase represents a crucial strategy for improving the reactivity in many reactions.The widely adopted wet chemistry approach uses intercalating entities especially alkali metal ions to achieve the phase transition;however,these entities are normally inert for the target reaction.Here,we describe the first use of iron atoms for the intercalation of 2H-MoS_(2) layers,driving the partial transition from 2H to 1T phase.Interestingly,in the peroxymonosulfate(PMS)-based Fenton-like reactions,the interlayered confinement of Fe atoms not only activates the inert basal plane,but also adds more reactive Fe sites for the formation of metal-PMS complex as primary reactive species for pollutant removal.In the degradation of a model pollutant carbamazepine(CBZ),the Fe-intercalated MoS_(2) exhibits a first order rate constant 13.3 times higher than 2H-MoS_(2).This strategy is a new direction for manipulating the phase composition and boosting the catalytic reactivity of MoS_(2)-based catalysts in various scenarios,including environmental remediation and energy applications.

关键词： confinement MoS_(2) Fe atoms Fenton-like reactions hydrogen evolution reaction

Experimental study on wax deposition of highly paraffinic oil in intermittent gas-oil flow in pipelines

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Petroleum Science 2024年第3期21卷 2080-2088页

作者： chuan-Shuo Wang Qian-Li Ma Xiao-Fang Lv Jie Zhang Yang Liu Shi-Dong zhou Jiangsu Key Laboratory of Oil and Gas Storage and Transportation Technology Changzhou University Hade Oil and Gas Development Department Tarim Oilfield Branch

Oil-gas two phase wax deposition is a fairly common and open-ended question in flow assurance of multiphase transportation pipelines. This paper investigated the two main aspects of oil-gas two phase wax deposition layer: apparent thickness and crystal structure characteristics. A typical highly paraffinic oil in Bohai Sea, China, was used as the experimental material to investigate the wax deposition thickness in oil-gas two phase under the influence of different oil temperatures, superficial gas/liquid phase velocities and gas-oil ratios by using multiphase flow loop experimental device. Just as in the classical theory of wax molecular diffusion, it showed that wax deposition thickness of oil-gas two phase increased with increasing oil temperature. Analysis of the impact of different superficial phase velocities found that the actual liquid flow heat transfer and shear stripping was the gas phase dominant mechanisms determining wax deposit thickness. In addition, the crystal structure of the wax deposition layer was characterized with the help of small-angle X-ray scattering(SAXS) for different circumferential positions, flow rates and gas-oil ratios. The bottom deposition layer had a complex crystal structure and high hardness, which were subject to change over flow rate variations. Furthermore, the SAXS results provided evidence that the indirect effect of the actual liquid velocity modified by the gas phase was the main mechanism. Our study of the effect of gas phase on the wax deposition of oil-gas two phase will help shed light onto the mechanism by which this important process occurs. Our findings address a very urgent need in the field of wax deposition of highly paraffinic oil to understand the flow security of oilgas two phase that occurs easily in multiphase field pipelines.

关键词： Oil-gas two phase Highly paraffinic oil Wax deposition SAXS

Symmetry dependent activation and reactivity of peroxysulfates on FeS_(2)(001)surface

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science Bulletin 2024年第2期69卷 154-158页

作者： Cancan Ling Meiqi Li Hao Li Xiufan Liu Guangming Zhan Hongwei Sun chuan Liang Yaling Li Bing zhou Jincai Zhao Lizhi Zhang School of Environmental Science and Engineering Shanghai Jiao Tong UniversityShanghai 200240China Key Laboratory of Pesticide&Chemical Biology of Ministry of Education Institute of Environmental&Applied ChemistryCentral China Normal UniversityWuhan 430079China

Heterogeneous peroxysulfates-based advanced oxidation processes(AOPs)have garnered significant attention for purifying organic wastewater since they offer many advantages like low cost,safe storage,facile activation and reactive species participation[1].Nonradical and radical pathways have been proposed to be involved in peroxysulfates activation.

关键词： activation radical reactivity

维普期刊数据库

PICOTEES:a privacy-preserving online service of phenotype exploration for genetic-diagnostic variants from Chinese children cohorts

在线全文

学校读者我要写书评

暂无评论

Journal of Genetics and Genomics 2024年第2期51卷 243-251页

作者： Xinran Dong Yulan Lu Lanting Guo chuan Li Qi Ni Bingbing Wu Huijun Wang Lin Yang Songyang Wu Qi Sun Hao Zheng Wenhao zhou Shuang Wang Center for Molecular Medicine Children's Hospital of Fudan UniversityShanghai 201102China Key Laboratory of Birth Defects Children's Hospital of Fudan UniversityShanghai 201102China Department of Bioinformatics Hangzhou Nuowei Information Technology Co.LtdHangzhouZhejiang 310000China The Third Research Institute of the Ministry of Public Security Shanghai 200031China Xiamen Campus of Children's Hospital of Fudan University XiamenFujian 361006China Institutes for Systems Genetics West China HospitalChengduSichuan 610041China Shanghai Putuo People's Hospital Tongji UniversityShanghai 200060China

The growth in biomedical data resources has raised potential privacy concerns and risks of genetic information leakage. For instance, exome sequencing aids clinical decisions by comparing data through web services, but it requires significant trust between users and providers. To alleviate privacy concerns, the most commonly used strategy is to anonymize sensitive data. Unfortunately, studies have shown that anonymization is insufficient to protect against reidentification attacks. Recently, privacy-preserving technologies have been applied to preserve application utility while protecting the privacy of biomedical data. We present the PICOTEES framework, a privacy-preserving online service of phenotype exploration for genetic-diagnostic variants (https://***:3000/). PICOTEES enables privacy-preserving queries of the phenotype spectrum for a single variant by utilizing trusted execution environment technology, which can protect the privacy of the user's query information, backend models, and data, as well as the final results. We demonstrate the utility and performance of PICOTEES by exploring a bioinformatics dataset. The dataset is from a cohort containing 20,909 genetic testing patients with 3,152,508 variants from the Children's Hospital of Fudan University in China, dominated by the Chinese Han population (>99.9%). Our query results yield a large number of unreported diagnostic variants and previously reported pathogenicity.

关键词： Privacy protecti on Rare diseases in children Genetic testing Web system Trusted executi on envir onment

High speed laser cladding as a new approach to prepare ultra-high temperature ceramic coatings

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Journal of Advanced Ceramics 2024年第2期13卷 143-154页

作者： Qiyao Deng Pengfei He chuan Sun Yang Li Yue Xing Yujie Wang Jinglong Li Xiubing Liang Xin Wang Yujie zhou Yujun Cai National-Local Joint Engineering Laboratory of Intelligent Manufacturing Oriented Automobile Die&Mould Tianjin University of Technology and EducationTianjin 300222China Defense Innovation Institute Academy of Military ScienceBeijing 100071China School of mechanical engineering Tianjin University of Technology and EducationTianjin 300222China Scientific and Technological Innovation Center Beijing 100012China

Ultra-high temperature ceramic(UHTC)coatings are used to protect the hot-end components of hypervelocity aerocrafts from thermal ablation.This study provides a new approach to fabricate UHTC coatings with high speed laser cladding(HSLC)technology,and places more emphasis on investigating the formation mechanism,phase compositions,and mechanical properties of HSLC-UHTC coatings.Results show that a well-bonded interface between the coating and the tantalum alloy substrate can be formed.The coating is mainly composed of(Zr,Ta)C ceramic solid solution phase with a content of higher than 90% by volume and Ta(W)metal solid solution phase.At a relatively high powder feeding rate,the ZrC ceramic phase appears in the coating while a dense ZrC UHTC top layer with a thickness of up to~50μm is successfully fabricated.As for the mechanical properties of the HSLC coatings,the fracture toughness of the coating decreases with the increase of powder feeding rate.The increase of carbide solid solution phase can significantly improve the high temperature microhardness(552.7±1.8 HV0.5@1000℃).The innovative design of HSLC ZrC-based coatings on refractory alloys accomplishes continuous transitions on microstructure and properties from the substrate to the UHTC top layer,which is a very promising candidate scheme for thermal protection coating.

关键词： high speed laser cladding(HSLC) ultra-high temperature ceramic(UHTC) thermal protection coating microstructure mechanical properties