检索结果-南通市图书馆

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

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

陕北石油勘探开发区地表水污染特征分析

引用

中国环境监测 2013年第3期29卷 74-78页

作者：张佳音岳乐平李扬扬董娅玮蒙瑞丽张秦铭张会强西北大学地质学系陕西西安710069 陕西省环境监测中心站陕西西安710054

研究了陕北主要石油勘探开发地区地表水的水质状况,分析了pH、矿化度(全盐量)、硬度、六价铬、砷、镉、铅、氨氮、挥发酚、石油类、化学需氧量(COD)、氯化物、硫酸盐、硝酸盐氮、总磷、氰化物、氟化物等17个指标,结果显示砷、镉、铅、... 详细信息

研究了陕北主要石油勘探开发地区地表水的水质状况,分析了pH、矿化度(全盐量)、硬度、六价铬、砷、镉、铅、氨氮、挥发酚、石油类、化学需氧量(COD)、氯化物、硫酸盐、硝酸盐氮、总磷、氰化物、氟化物等17个指标,结果显示砷、镉、铅、氟化物、硝酸盐、氰化物、氟化物的Pi值均小于1;挥发酚、总磷、石油类、氨氮、COD、六价铬、硫酸盐、矿化度、氯化物、硬度均超标。研究区东部和西部地表水呈现出不同的污染特征,通过分析不同区域污染物来源,提出了污染防治对策与建议。

关键词：地表水石油勘探开发水污染陕北

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Construction of CoNi_(2)S_(4) nanocubes interlinked by few-layer Ti_(3)C_(2)T_(x) MXene with high performance for asymmetric supercapacitors

引用

Rare Metals 2022年第12期41卷 4116-4126页

作者： Ji-Qiu Qi Meng-Yuan Huang Chen-ya Ruan dong-dong Zhu Lei Zhu Fu-Xiang wei yan-wei Sui Qing-Kun Meng Jiangsu Province Engineering Laboratory of High Efficient Energy Storage Technology and Equipments School of Materials Science and PhysicsChina University of Mining and TechnologyXuzhou 221116China Key Laboratory of Air-Driven Equipment Technology of Zhejiang Province Quzhou UniversityQuzhou 324000China

Both MXene and zeolitic imidazolate framework(ZIF)derivatives are tend to agglomerate during the compound process,which adversely affects their electrochemical *** alleviate this phenomenon,fewlayer MXene was stripped by mechanical method,and electrostatic self-assembly with ZIF-67 in the presence of cationic ***,CoNi_(2)S_(4)/MXene composite was synthesized by the facile hydrothermal ***_(2)S_(4)well retained the cube frame structure of the ZIF-67 with the sagging outer frame and rough *** the composite,CoNi_(2)S_(4)nanocubes were interlinked by MXene nanosheets,which can effectively improve the structural stability and make full use of the active ***_(2)S_(4)/MXene composite electrode exhibits an outperforming specific capacitance(751 C·g^(-1)at 1 A·g^(-1)),far higher than that of pure CoNi2S4(600 C·g^(-1)at 1 A·g^(-1)).An asymmetric supercapacitor(CoNi_(2)S_(4)/MXene//reduced graphene oxide(RGO))assembling delivers high energy density of 33.8 Wh·kg^(-1)and excellent cycling *** study indicates the potential of MXene/ZIF derivatives in the application of supercapacitor.

关键词： Cubic frame structure Few-layer MXene ZIF-67 Asymmetric supercapacitor

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

大冶李德贵冶炼遗址矿冶遗物分析

引用

岩矿测试 2008年第2期27卷 99-102页

作者：魏国锋秦颍韩楚文曲毅王昌燧董亚巍中国科学院研究生院科技史与科技考古系北京100049 中国科学技术大学科技史与科技考古系安徽合肥230026 湖北省文物考古研究所湖北武汉435000 黄石市博物馆湖北黄石435000 鄂州市博物馆湖北鄂州436000

采用X射线荧光光谱、X射线衍射等测试手段,对大冶李德贵冶炼遗址矿冶遗物进行了物理测试、成分分析和物相分析。物理测试结果表明,遗址炼渣的熔融温度高于1280℃;成分分析结果表明,李德贵炼渣中铜含量很低,远低于炼铜渣的铜含量;而其铁... 详细信息

采用X射线荧光光谱、X射线衍射等测试手段,对大冶李德贵冶炼遗址矿冶遗物进行了物理测试、成分分析和物相分析。物理测试结果表明,遗址炼渣的熔融温度高于1280℃;成分分析结果表明,李德贵炼渣中铜含量很低,远低于炼铜渣的铜含量;而其铁含量很高,与欧洲早期铁器时代和罗马时代的块炼铁渣相近;物相分析结果表明,李德贵炼渣的主要物相与炼铜渣没有区别,但炼铜渣中发现一些铜氧化矿和硫化矿。结合对其他冶炼遗物的分析,可以初步判断该冶炼遗址是一处炼铁遗址。工作台面上发现的炼渣与铁矿石的混合物,表明古人很可能已将炼渣回收利用,与铁矿石原料一起回炉冶炼。

关键词：李德贵冶炼遗址炼渣炉壁物理测试成分分析物相分析

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

A mild, configurable, flexible CoNi-LDH（v）/Zn battery based on H-vacancy-induced reversible Zn2+ intercalation

引用

Journal of Energy Chemistry 2025年第1期100卷 498-508页

作者： Xinyue Cheng Dingsheng Wu Hao Gao Qingqing Wang Pengfei Lv Sam S.Yoon Qufu wei Key Laboratory of Eco-textiles Ministry of Education Jiangnan University School of Mechanical Engineering Korea University

Flexible Zn-based batteries have attracted increasing research interest as essential components of wearable energy storage ***,the advancement of flexible aqueous Zn-based batteries based on Co-Ni layered double hydroxide （CoNi-LDH） as the cathode material is hampered by their poor cycling stability and the corrosiveness of alkaline ***,CoNi-LDH nanosheets enriched with H vacancies (CoNi-LDH（v）) were constructed on a flexible carbon cloth （CC） substrate via electrochemical deposition and *** Zn-based battery comprising CoNi-LDH（v）@CC as the cathode exhibited highly reversible conversion reactions and stable operation in 3 M ZnSO4electrolyte （pH=4）.The battery delivered an excellent specific capacity (225 mA h g-1,0.26 mA h cm-2),acceptable cycling stability（53.9%,900 cycles）,and high discharging *** abundant H vacancies served as active sites for the reversible intercalation of Zn2+and the extravasation of NO3-generated channels and space for Zn2+transport and storage,together enabling an excellent Zn2+storage ***,a sandwich-structured solid-state CoNi-LDH（v）@CC//Zn@CC battery was fabricated and was found to exhibit a noteworthy electrochemical performance and mechanical *** a proof of concept,the unencapsulated battery powered a digital watch under various deformation conditions and operated stably for 80 ***,the flexible battery displayed outstanding customizability,maintaining an open-circuit voltage of 1.42 V even after being cut *** proposed engineering strategy contributes to the realization of textiles with truly wearable energy-storage devices.

关键词： CoNi/Zn battery H vacancies Mild aqueous electrolyte Tailorable battery Wearable energy storage device

来源：

同方期刊数据库评论

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Desulfurization thermodynamics experiment of stainless steel pickling sludge

引用

Journal of Iron and Steel Research International 2019年第5期26卷 519-528页

作者： Xiao-ming Li Ming Lv wei-dong Yin Jun-xue Zhao ya-ru Cui School of Metallurgical Engineering Xi'an University of Architecture and Technology Xi'an 710055 Shaanxi China Research Center of Metallurgical Engineering and Technology of Shaanxi Province Xi'an University of Architecture and Technology Xi'an 710055 Shaanxi China

A technical idea of returning stainless steel pickling sludge to smelting process so as to recycle valuable metals of Fe, Cr, and Ni was proposed, expecting to realize sludge detoxification and resource utilization. Thermodynamics calculation showed that not only most valuable elements including Fe, Cr and Ni, but also the harmful element of sulfur in pickling sludge can be enriched into molten metal. As a result, a theoretical study on desulfurization thermodynamics of sludge pretreatment was conducted, and results indicated that complete desulfurization temperature of pure pickling sludge was above 1400℃. When 0.5-0.8% carbon was added as reducing agent, the complete desulfurization temperature was reduced to 1000℃ or below. Desulfurization roasting experiment indicated that desulfurization rate at 1400℃ under inert environment was 78.74% and maximum desulfurization rate at 1000℃ under reducing environment was 91.62%.

关键词： Stainless steel Pickling sludge Pre-treatment Desulfurization thermodynamics

来源：

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Electric field manipulation of magnetic skyrmions

引用

Rare Metals 2022年第12期41卷 4000-4014页

作者： ya-dong Wang Zhi-Jian wei Hao-Ran Tu Chen-Hui Zhang Zhi-Peng Hou Guangdong Provincial Key Laboratory of Optical Information Material and Technology&Institute for Advanced Materials South China Academy of Advanced OptoelectronicsSouth China Normal UniversityGuangzhou 510006China dongguan University of Technology Dongguan 523808China Physical Science and Engineering Division(PSE) King Abdullah University of Science and Technology(KAUST)Thuwal 23955-6900Saudi Arabia

Magnetic skyrmions are vortex-like swirling spin textures that are promising candidates for carrying information bits in future magnetic memories or logic *** build skyrmionic devices,researchers must electrically manipulate magnetic skyrmions to enable easy integration into modern semiconductor *** operation generally uses a spin-polarized current,which unavoidably causes high energy dissipation and Joule ***,the electric-field strategy is a hopeful alternative for electrically manipulating the skyrmions due to the strategy’s negligible Joule heating and low energy *** this review,we systematically summarize the theoretical and experimental development of the electricalfield manipulation of magnetic skyrmions over the past *** review the following magnetic systems and physical mechanisms:(ⅰ)ultra-thin multilayer films with accumulation and release of interfacial charge,(ⅱ)singlephase multiferroic material with magneto-electric coupling,(ⅲ)ferromagnetic/ferroelectric(FM/FE)multiferroic heterostructure with magneto-elastic ***,we consider future developmental trends in the electric-field manipulation of magnetic skyrmions and other topological magnetic domain structures.

关键词： Magnetic skyrmion Electric field Low energy cost Dzyaloshinskii-Moriya interaction(DMI)

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

Identification of processed Chinese medicinal materials using DNA mini-barcoding

引用

Chinese Journal of Natural Medicines 2017年第7期15卷 481-486页

作者： SONG Ming dong Gang-Qiang ZHANG ya-Qin LIU Xia SUN wei Institute of Chinese Materia Medica China Academy of Chinese Medical Sciences Beijing 100700 China School of Chemistry Chemical Engineering and Life Sciences Wuhan University of Technology Wuhan 430070 China Amway (China) Botanical Research and Development Center Wuxi 214145 China

Most of Chinese medicinal herbs are subjected to traditional processing procedures, including stir-frying, charring, steaming, boiling, and calcining before they are released into dispensaries. The marketing and identification of processed medicinal materials is a growing issue in the marketplace. However, conventional methods of identification have limitations, while DNA mini-barcoding, based on the sequencing of a short-standardized region, has received considerable attention as a new potential means to identify processed medicinal materials. In the present study, six DNA barcode loci including ITS2, psb A-trn H, rbc L, mat K, trnL(UAA) intron and its P6 loop, were employed for the authentication of 45 processed samples belonging to 15 species. We evaluated the amplification efficiency of each locus. We also examined the identification accuracy of the potential mini-barcode locus, of trnL(UAA) intron P6 loop. Our results showed that the five primary barcode loci were successfully amplified in only 8.89%——20% of the processed samples, while the amplification rates of the trnL(UAA) intron P6 loop were higher, at 75.56% successful amplification. We compared the mini-barcode sequences with Genbank using the Blast program. The analysis showed that 45.23% samples could be identified to genus level, while only one sample could be identified to the species level. We conclude that trnL(UAA) p6 loop is a candidate mini-barcode that has shown its potential and may become a universal mini-barcode as complementary barcode for authenticity testing and will play an important role in medicinal materials control.

关键词： DNA barcoding trnL(UAA)intron P6 loop Identification Processed medicinal materials Mini-barcode

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

High-voltage LiCoO_(2) cathodes for high-energy-density lithiumion battery

引用

Rare Metals 2022年第12期41卷 3946-3956页

作者： Jing-Chao Zhang Zhe-dong Liu Cui-Hua Zeng Jia-wei Luo Yi-Da Deng Xiao-ya Cui ya-Nan Chen School of Materials Science and Engineering Tianjin UniversityTianjin 300072China Beijing Frontier Research Center for Biological Structures Tsinghua UniversityBeijing 100084China Ministry of Education Key Laboratory of Protein Sciences Beijing Advanced Innovation Center for Structural BiologySchool of Life SciencesTsinghua UniversityBeijing 100084China

As the earliest commercial cathode material for lithium-ion batteries,lithium cobalt oxide(LiCoO_(2)) shows various advantages,including high theoretical capacity,excellent rate capability,compressed electrode density,*** now,it still plays an important role in the lithium-ion battery *** to these advantages,further increasing the charging cutoff voltage of LiCoO_(2)to guarantee higher energy density is an irresistible development trend of LiCoO_(2)cathode materials in the ***,using high charging cutoff voltage may induce a lot of negative effects,especially the rapid decay of cycle *** are mainly caused by rapid destruction of crystal structure and aggravation of interface side reaction at high voltage during the ***,how to maintain a stable crystal structure of LiCoO_(2)to ensure the excellent long cycle performance at high voltage is a hot research issue in the further application of LiCoO_(2).In this review,we summarized the failure causes and extensive solutions of LiCoO_(2)at high voltage and promoted some new modification ***,the development trend of solving the failure problem of high-voltage LiCoO_(2)in the future such as defect engineering and high-temperature shock technique is also discussed.

关键词： Lithium-ion battery Lithium cobalt oxide(LiCoO_(2))cathode High voltage Cycle performance Crystal structure

来源：

维普期刊数据库

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

鲟鱼育种及新品种选育研究进展

引用

中山大学学报（自然科学版）（中英文） 2025年第1期64卷 93-105页

作者：王巍宋海亮朱华董颖东天胡红霞北京市农林科学院水产科学研究所暨北京市渔业生物技术重点实验室北京100068 农业农村部“鲟鱼遗传育种”重点实验室浙江杭州311799 国家数字种业创新中心北京100097

鲟鱼是鲟形目鱼类的统称。它们不仅具有重要的进化地位,而且具有重要的经济价值。鲟鱼新品种选育研究在近几十年取得了显著进展。本文综述了鲟鱼新品种选育的主要方法,包括杂交育种、雌核发育、性逆转诱导、基因编辑、家系选育、基因组... 详细信息

鲟鱼是鲟形目鱼类的统称。它们不仅具有重要的进化地位,而且具有重要的经济价值。鲟鱼新品种选育研究在近几十年取得了显著进展。本文综述了鲟鱼新品种选育的主要方法,包括杂交育种、雌核发育、性逆转诱导、基因编辑、家系选育、基因组选择和细胞水平育种,讨论了各技术的应用现状,在育种上相关研究和取得的重要突破,并结合我们育种实践积累的经验,展望鲟鱼育种和种业的未来发展,为未来的鲟鱼育种研究提供理论基础和实践指导。

关键词：鲟鱼育种新品种

来源：

维普期刊数据库博看期刊

同方期刊数据库评论

在线全文

学校读者我要写书评

暂无评论

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

请选择保存的检索档案：

请选择收藏分类：

通借通还

欢迎您,

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

在线全文

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：