检索结果-南通市图书馆

ProSy: API-Based Synthesis with Probabilistic Model

Journal of Computer Science & Technology 2020年第6期35卷 1234-1257页

作者： Bin-Bin liu Wei Dong jia-xin liu Ya-Ting Zhang Dai-Yan Wang College of Computer Science National University of Defense TechnologyChangsha 410072China Key Laboratory of Software Engineering for Complex Systems College of Computer ScienceNational University of Defense TechnologyChangsha 410072China

Program synthesis is an exciting topic that desires to generate programs satisfying user intent automatically. But in most cases, only small programs for simple or domain-specific tasks can be synthesized. The major obstacle of synthesis lies in the huge search space. A common practice in addressing this problem is using a domain-specific language, while many approaches still wish to synthesize programs in general programming languages. With the rapid growth of reusable libraries, component-based synthesis provides a promising way, such as synthesizing Java programs which are only composed of APIs (application programming interfaces). However, the efficiency of searching for proper solutions for complex tasks is still a challenge. Given an unfamiliar programming task, programmers would search for API usage knowledge from various coding resources to reduce the search space. Considering this, we propose a novel approach named ProSy to synthesize API-based programs in Java. The key novelty is to retrieve related knowledge from Javadoc and Stack Overflow and then construct a probabilistic reachability graph. It assigns higher probabilities to APIs that are more likely to be used in implementing the given task. In the synthesis process, the program sketch with a higher probability will be considered first;thus, the number of explored reachable paths would be decreased. Some extension and optimization strategies are further studied in the paper. We implement our approach and conduct several experiments on it. We compare ProSy with SyPet and other state-of-the-art API-based synthesis approaches. The experimental results show that ProSy reduces the synthesis time of SyPet by up to 80%.

关键词： application programming interface(API)-based program Petri net probabilistic reachability graph program synthesis

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Window Detection in Facades Using Heatmap Fusion

引用

Journal of Computer Science & Technology 2020年第4期35卷 900-912页

作者： Chuan-Kang Li Hong-xin Zhang jia-xin liu Yuan-Qing Zhang Shan-Chen Zou Yu-Tong Fang State Key Laboratory of CAD&CG Zhejiang UniversityHangzhou 310058China

Window detection is a key component in many graphics and vision applications related to 3D city modeling and scene *** present a novel approach for learning to recognize windows in a colored facade *** than predicting bounding boxes or performing facade segmentation,our system locates keypoints of windows,and learns keypoint relationships to group them together into windows.A further module provides extra recognizable information at the window *** and relationships of keypoints are encoded in different types of heatmaps,which are learned in an end-to-end *** have also constructed a facade dataset with 3418 annotated images to facilitate research in this *** has richly varying facade structures,occlusion,lighting conditions,and angle of *** our dataset,our method achieves precision of 91.4%and recall of 91.0%under 50%IoU(intersection over union).We also make a quantitative comparison with state-of-the-art methods to verify the utility of our proposed *** based on our window detector are also demonstrated,such as window blending.

关键词： facade parsing window detection keypoint localization

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

High-strength and self-degradable sodium alginate/polyacrylamide preformed particle gels for conformance control to enhance oil recovery

引用

Petroleum Science 2022年第6期19卷 3149-3158页

作者： Xiao Zhang jia-Nan Deng Kai Yang Qian Li Sen-Yao Meng Xiu-Xia Sun Zhao-Zheng Song Yong-Dong Tian Sui-An Zhang xin-jia liu Zhan-Yi Wang xin-Yu liu Gui-Wu Lu Zi-Long liu Coalbed Methane Research Center Beijing Key Laboratory of Optical Detection Technology for Oil and GasCollege of ScienceChina University of Petroleum-BeijingBeijing102249China Shanxi Lanyan Coalbed Methane Group Co. LtdJinchengShanxi048012China State Key Laboratory of Coal and CBM Co-Mining in Nancun Town JinchengShanxi048012China Institute of Oil and Gas Technology Research Changqing OilfieldCNPCXi’anShaanxi710021China

Excess water production has become an important issue in the oil and gas extraction *** particle gels(PPGs),show the capability to control the conformance and reduce excess water ***,conventional PPGs have poor mechanical properties and their swollen particles are easily damaged by shearing force when passing through the fractures in formations,meanwhile PPGs can be also degraded into various byproducts,leading to permanent damage to the reservoir permeability after temporary ***,a novel type of dual cross-linked PPGs(dPPGs)was designed and synthesized using sodium alginate(SA)and acrylamide(AAm),cross-linked with N,N’-methylenebisacrylamide(MBA)and Fe^(3+).Results show that dPPGs have excellent mechanical properties with a storage modulus up to 86,445 Pa,which is almost 20 times higher than other reported ***,dPPGs can be completely degraded into liquid without any solid residues or byproducts and the viscosity of dPPGs degraded liquid was found to be lower than 5 mPa·s.A laboratory coreflooding test showed that the plugging efficiency of dPPGs was up to 99.83%on open *** obtained results demonstrated that dPPGs could be used as economical and environment-friendly temporary plugging agent with high-strength,self-degradation,thermal stability,and salt stability,thus making it applicable to a wide range of conformance control to enhance oil recovery.

关键词： Conformance control Sodium alginate Dual cross-linked Temporary plugging agent High-strength Self-degradation

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Generation of medical isotopes ^(47)Sc,^(67)Cu through laser-induced(γ,p)reaction

引用

Nuclear Science and Techniques 2024年第11期35卷 219-227页

作者： jian-Yao Zhang Di Wu Hao-Yang Lan Huan-Gang Lu jia-xin liu jian-Feng Lv Mei-Zhi Wang Xue-Qing Yan State Key Laboratory of Nuclear Physics and Technology School of PhysicsCAPTPeking UniversityBeijing 100871China Beijing Laser Acceleration Innovation Center Beijing 101407China

Short-lived medical isotopes and their generators are typically produced in nuclear reactors and cyclotrons that require extensive ***,considering the environmental concerns and economic costs of these traditional approaches,modern laser technology,which provides extremely strong electric fields within tabletop-sized areas,can serve as a potential supplementary *** specifically on the(γ,p)generation of the vital medical isotopes^(47)Sc and^(67)Cu,we used both experimental results and PIC-GEANT4 simulations to demonstrate that laser-induced photonuclear reaction is a promising method for isotope *** developed a model capable of calculating isotope yields under various laser conditions and acceleration *** findings revealed that a 200 TW laser can sufficiently produce diagnostic amounts of^(47)Sc and^(67)Cu,while simultaneously providing high specific activity,which is significant in medical applications for improving treatment efficacy,enhancing image resolution,and reducing side effects.

关键词： Photonuclear reaction Laser-drivenγ-Ray Medical isotope

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Photonuclear production of nuclear isomers using bremsstrahlung induced by laser-wakefield electrons

引用

Nuclear Science and Techniques 2023年第5期34卷 112-124页

作者： Hao-Yang Lan Di Wu jia-xin liu jian-Yao Zhang Huan-Gang Lu jian-Feng Lv Xue-Zhi Wu Wen Luo Xue-Qing Yan State Key Laboratory of Nuclear Physics and Technology and Key Laboratory of HEDP of the Ministry of EducationCAPTPeking UniversityBeijing 100871China School of Nuclear Science and Technology University of South ChinaHengyang 421001China

In this study,we theoretically investigate the feasibility of using laser-wakefield accelerated(LWFA)electrons for the photonuclear measurement of nuclear isomers according to the characteristics of the electrons obtained from LWFA experiments conducted at the Compact Laser-Plasma Accelerator(CLAPA)*** experiments at the CLAPA show that a stable electron beam with an energy of 78-135 MeV and a charge of 300-600 pC can be *** bremsstrahlung spectra were simulated using Geant4,which suggests that a bremsstrahlung source with a peak intensity of 10^(19) photons/s can be *** calculations of isomer production cross sections from the photonuclear reactions on six target nuclei,^(197)Au,^(180)Hf,^(159)Tb,^(115)In,^(103)Rh,and ^(90)Zr,were performed and compared with the available experimental data in EXFOR,which suggest that further experiments are required for a series of photonuclear reaction ***-averaged cross sections and isomer ratios(IR)resulting from such bremsstrahlung sources are theoretically *** results suggest that IR measurements can be used to constrain nuclear components,such asγstrength function and optical model *** addition,the detection of the decay characteristics was evaluated with Geant4 *** use of the LWFA electron beam and its bremsstrahlung for photonuclear studies involving nuclear isomers is anticipated.

关键词： Photonuclear reactions Laser–plasma acceleration Flux-averaged isomer ratio

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Analysis of Heterogeneous Networks with Unknown Dependence Structure

引用

Acta Mathematica Sinica,English Series 2024年第12期40卷 2953-2983页

作者： Fang Mei HOU jia xin liu Shao Gao Lü Hua Zhen LIN Center of Statistical Research and School of Statistics Southwestern University of Finance and EconomicsChengdu611130P.R.China School of Statistics and Data Science Nanjiang Audit UniversityNanjing210000P.R.China

In multiple heterogeneous networks,developing a model that considers both individual and shared structures is crucial for improving estimation efficiency and *** this paper,we introduce a semi-parametric individual network autoregressive *** allow autoregression and regression coefficients to vary across networks with subgroup structure,and integrate both covariates and node relationships into network dependence using a single-index structure with unknown *** estimate all individual and commonly shared parameters and functions,we introduce a novel penalized semiparametric approach based on the generalized method of ***,our proposed semiparametric estimator for heterogeneous networks exhibits estimation and selection consistency under regular *** experiments are conducted to illustrate the effectiveness of the proposed *** proposed method is applied to analyze patient distribution in hospitals to further demonstrate its utility.

关键词： Network data single-indexing network weights nonparametric GMM estimation pairwise penalty

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Synthesis and biological evaluation of echinocystic acid derivatives as HCV entry inhibitors

引用

Chinese Chemical Letters 2016年第5期27卷 711-713页

作者： Fei Yu Qi wang Han Wang Long-Long Si jia-xin liu XU Han Su-Long Xiao Li-He Zhang De-Min Zhou Medical Faculty of Kunming University of Science and Technology Kunming 650500 China State Key Laboratory of Natural and Biomimetic Drugs School of Pharmaceutical Sciences Peking University Beijing 100191 China

A series of echinocystic acid （EA） 28-COOH derivatives was synthesized, and their anti-HCV entry activity was evaluated by HCVpp and VSVpp entry assay. It was found that some of them showed moderate anti-HCV entry a... 详细信息

关键词： Triterpene Echinocystic acid HCV entry inhibitors Hemolysis

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Post-tunable salt gel electrolytes toward flexible supercapacitor switches

引用

Journal of Energy Chemistry 2025年第1期100卷 114-124页

作者： Hui Wang Shuang Chen Xuming liu Qin Zhang xin liu Polymeric and Soft Materials Laboratory School of Chemistry and Life Science and Advanced Institute of Materials Science Changchun University of Technology Polymeric and Soft Materials Laboratory School of Chemical Engineering and Advanced Institute of Materials Science Changchun University of Technology

Convertible hydrogel supercapacitors have emerged as promising energy storage devices in switches,diodes, and transistors. However, inherent weaknesses in ionic conductivity, mechanical properties,and water retention of hydrogel electrolytes seriously hinder their development. Inspired by the hardness conversion of sea cucumber skin, a conductivity and mechanics dual-tunable salt gel electrolyte is successfully designed. The salt gel presents a reversible switching of conductors-insulators and a mechanical regulation between softness and hardness via the dissolution-crystallization transition of sodium acetate trihydrate（SAT）. Meanwhile, the salt gels spontaneously grow a layer of “armor” through saturated phase-change salt crystals effectively reducing water evaporation of hydrogel ***, this phase-change soft-rigid conversion strategy will expand the capabilities of gel-based flexible supercapacitors(area capacitance: 258.6 mF cm-2), and the capacitance retention rate could still reach 86.9% after 3000 cycles at high temperatures. Moreover, the salt gel supercapacitor is potentially used in over-heat alarm systems. It is anticipated that the strategy of conductivity and mechanics of dual-tunable salt gel would provide a new perspective on the development of energy storage devices,wearable electronics, and flexible robots.

关键词： Capacitance

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Physical Layer Security Scheme With AoI-Awareness for Industrial IoT Based on Covert Communications

引用

IEEE/CAA Journal of Automatica Sinica 2025年第1期 276-278页

作者： Yaping Li Zhi-xin liu jia-Wei Su Ya-Zhou Yuan the Key Laboratory of Industrial Computer Control Engineering of Hebei Province Yanshan University

Dear Editor,Industrial Internet of things(IIoT) is a typical application of cyberphysical system(CPS). In the IIoT, wireless communication is an inevitable trend to replace the deployment-limited wired transmission for cases with large-scale and mobile devices. However, wireless communication gives rise to critical issues related to physical security, such as malicious detections and attacks [1].

关键词：

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Research status and prospects of the fractal analysis of metal material surfaces and interfaces

引用

International Journal of Minerals,Metallurgy and Materials 2025年第1期32卷 20-38页

作者： Qinjin Dai Xuefeng liu xin Ma Shaojie Tian Qinghe Cui Beijing Advanced Innovation Center for Materials Genome Engineering University of Science and Technology BeijingBeijing 100083China Beijing Laboratory of Metallic Materials and Processing for Modern Transportation University of Science and Technology BeijingBeijing 100083China Laboratory for Advanced Materials Processing of Ministry of Education University of Science and Technology BeijingBeijing 100083China School of Mechanical and Electrical Engineering Xinjiang Institute of EngineeringUrumqi 830023China

As a mathematical analysis method,fractal analysis can be used to quantitatively describe irregular shapes with self-similar or self-affine *** analysis has been used to characterize the shapes of metal materials at various scales and *** methods make it difficult to quantitatively describe the relationship between the regular characteristics and properties of metal material surfaces and ***,fractal analysis can be used to quantitatively describe the shape characteristics of metal materials and to establish the quantitative relationships between the shape characteristics and various properties of metal *** the perspective of two-dimensional planes and three-dimensional curved surfaces,this paper reviews the current research status of the fractal analysis of metal precipitate interfaces,metal grain boundary interfaces,metal-deposited film surfaces,metal fracture surfaces,metal machined surfaces,and metal wear *** relationship between the fractal dimensions and properties of metal material surfaces and interfaces is *** from three perspectives of fractal analysis,namely,research scope,image acquisition methods,and calculation methods,this paper identifies the direction of research on fractal analysis of metal material surfaces and interfaces that need to be *** is believed that revealing the deep influence mechanism between the fractal dimensions and properties of metal material surfaces and interfaces will be the key research direction of the fractal analysis of metal materials in the future.

关键词： metal material surfaces and interfaces fractal analysis fractal dimension homogeneity

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：