检索结果-南通市图书馆

Categorizing methods for integrating machine learning with executable specifications

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science China(Information sciences) 2024年第1期67卷 5-19页

作者： David HAREL Raz YERUSHALMI Assaf MARRON Achiya ELYASAF Department of Computer science and applied Mathematics Weizmann Institute of Science Department of Software and Information Systems Engineering Ben-Gurion University of the Negev

Deep learning(DL),which includes deep reinforcement learning(DRL),holds great promise for carrying out real-world tasks that human minds seem to cope with quite *** promise is already delivering extremely impressive results in a variety of ***,while DL-enabled systems achieve excellent performance,they are far from *** has been demonstrated,in several domains,that DL systems can err when they encounter cases they had not hitherto ***,the opacity of the produced agents makes it difficult to explain their behavior and ensure that they adhere to various requirements posed by human *** the other end of the software development spectrum of methods,behavioral programming(BP) facilitates orderly system development using self-standing executable modules aligned with how humans intuitively describe desired system *** this paper,we elaborate on different approaches for combining DRL with BP and,more generally,machine learning(ML) with executable specifications(ES).We begin by defining a framework for studying the various approaches,which can also be used to study new emerging approaches not covered *** then briefly review state-of-the-art approaches to integrating ML with ES,continue with a focus on DRL,and then present the merits of integrating ML with *** conclude with guidelines on how this categorization can be used in decision making in system development,and outline future research challenges.

关键词： machine learning artificial intelligence grey box learning domain knowledge rules behavioral programming deep reinforcement learning survey

One-loop contributions for h→?■γ and e-e+→hγ in the U（1）B-L extension of the standard model

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Chinese Physics C 2024年第5期 27-53页

作者： Tran Dzung Tri Thanh Huy Nguyen Khiem Hong Phan institute of Fundamental and applied sciences Duy Tan University Faculty of natural sciences Duy Tan University VNUHCM-University of science

We present one-loop contributions for h→?■γ with l=ve,μ,τ,e,μ and e-e+→ hγ in the U（1）B-Lextension of the standard *** the phenomenological results,the signal strengths for h→?■γ at the Large Hadron Collider and for e-e+→hγ at future lepton colliders are analyzed in the physical parameter space for both the vector and chiral B-L *** found that the contributions from the neutral gauge boson Z' to the signal strengths are rather ***,the effects will be difficult to probe at future ***,the impacts of charged Higgs and CP-odd Higgs in the chiral B-L model on the signal strengths are significant and can be measured with the help of the initial polarization beams at future lepton colliders.

关键词：

Enhancing SAEAs with unevaluated solutions:a case study of relation model for expensive optimization

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

science China(Information sciences) 2024年第2期67卷 41-58页

作者： Hao HAO Xiaoqun ZHANG Aimin ZHOU institute of natural sciences Shanghai Jiao Tong University Shanghai Frontiers science Center of Molecule Intelligent Syntheses School of Computer science and Technology East China Normal University

Surrogate-assisted evolutionary algorithms(SAEAs) hold significant importance in resolving expensive optimization problems. Extensive efforts have been devoted to improving the efficiency of SAEAs through the development of proficient model-assisted solution selection methods, which, however, first requires generating high-quality solutions. The fundamental paradigm of evaluating a limited number of solutions in each generation within SAEAs reduces the variance of adjacent populations, thereby affecting the quality of offspring solutions. This is a frequently encountered issue yet receives little attention. To address the issue, this paper presents a framework using unevaluated solutions to enhance the efficiency of *** surrogate model is employed to identify high-quality solutions for the direct generation of new solutions without evaluation. To ensure dependable selection, we have introduced two tailored relation models to select the optimal solution and the unevaluated population. A comprehensive experimental analysis is performed on two test suites, which showcases the superiority of the relation model over regression and classification models in the solution selection phase. Furthermore, the surrogate-selected unevaluated solutions with high potential have been shown to enhance the efficiency of the algorithm significantly.

关键词： expensive optimization unevaluated solutions relation model surrogate-assisted evolutionary algorithm

Microstructure and magnetocaloric properties of melt-extracted SmGdDyCoAl high-entropy amorphous microwires

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Rare Metals 2024年第3期43卷 1234-1242页

作者： Shi-Jie Wei Hong-Xian Shen Lun-Yong Zhang Lin Luo Xin-Xing Tang Jian-Fei Sun Xiao-Qing Li School of Materials science and Engineering Harbin Institute of TechnologyHarbin150001China applied Materials Physics Department of Materials Science and EngineeringKTH-Royal Institute of Technology10044StockholmSweden

This paper presents a systematic investigation of the microstructure and magnetocaloric properties of melt-extracted Sm_(20)Gd_(20)Dy_(20)Co_(20)Al_(20)high-entropy *** fabricated wires exhibited an amorphous structure,and the temperature interval of the undercooled liquid AT was 45 *** microwires underwent a second-order magnetic transition from a ferromagnetic to a paramagnetic state near the Curie temperature(T_(C)=52 K),The maximum magnetic entropy change(-ΔS_M^(max)),the relative cooling power and the refrigeration capacity reached 6.34 J·kg^(-1)·K^(-1).422.09 J·kg^(-1)and 332.94 J·kg^(-1),respectively,under a magnetic field change of 5 *** addition,the temperature-averaged entropy changes with two temperature lifts(3 and 10 K)were 6.32 and 6.27 J·kg^(-1)·K^(-1),*** good magnetocalorie performance highlights the significant potential for the Sm_(20)Gd_(20)Dy_(20)Co_(20)Al_(20)microwires to be used as magnetic refrigerant materials in low-temperature region *** work will serve as a valuable reference for future investigations on low-temperature high-entropy magnetocaloric materials.

关键词： Melt-extraction High-entropy amorphous microwires Magnetocaloric effect Magnetic refrigeration

Ionization Potential Depression Model for Warm/Hot and Dense Plasmas

在线全文

学校读者我要写书评

暂无评论

Chinese Physics Letters 2024年第8期41卷 45-57页

作者： Chensheng Wu Fuyang Zhou Jun Yan Xiang Gao Yong Wu Chunhua Zeng Jianguo Wang institute of applied Physics and Computational Mathematics Beijing 100088China Faculty of science Kunming University of Science and TechnologyKunming 650500China

For warm/hot and dense plasmas(WDPs),ionization potential depression(IPD)plays a crucial role in determining its ionization balance and understanding the resultant microscopic plasma properties.A sophisticated and unified IPD model is necessary to resolve those existing discrepancies between theoretical and experimental ***,the applicability of those widely used IPD models nowadays is limited,especially for the nonlocal thermodynamic equilibrium(non-LTE)dense plasma produced by short-pulse *** this work,we propose an IPD model that considers inelastic atomic processes,in which three-body recombination and collision ionization processes are found to play a crucial role in determining the electron distribution and IPD for a *** IPD model is validated by reproducing latest experimental results of Al plasmas with a wide-range condition of 70 eV–700 eV temperature and 0.2–3 times solid density,as well as a typical non-LTE system of hollow Al *** is demonstrated that the present IPD model has a significant temperature dependence due to the consideration of the inelastic collision *** a lower computational cost and wider application range of plasma conditions,the proposed model is expected to provide a promising tool to study the ionization balance and the atomic processes,as well as the related radiation and particle transports properties of the WDP.

关键词： properties. collision determining

A review of understanding electrocatalytic reactions in energy conversion and energy storage systems via scanning electrochemical microscopy

在线全文

学校读者我要写书评

暂无评论

Journal of Energy Chemistry 2024年第4期91卷 155-177页

作者： Jihye Park Jong Hwan Lim Jin-Hyuk Kang Jiheon Lim Ho Won Jang Hosun Shin Sun Hwa Park Interdisciplinary Materials Measurement institute Korea Research Institute of Standards and ScienceDaejeon 34113Republic of Korea Department of Material science and Engineering Seoul National UniversitySeoul 08826Republic of Korea Department of applied Measurement science University of Science and TechnologyDaejeon 34113Republic of Korea

To address climate change and promote environmental sustainability,electrochemical energy conversion and storage systems emerge as promising alternative to fossil fuels,catering to the escalating demand for *** optimal energy efficiency and cost competitiveness in these systems requires the strategic design of electrocatalysts,coupled with a thorough comprehension of the underlying mechanisms and degradation behavior occurring during the electrocatalysis *** electrochemical microscopy(SECM),an analytical technique for studying surface electrochemically,stands out as a powerful tool offering electrochemical *** possesses remarkable spatiotemporal resolution,enabling the visualization of the localized electrochemical activity and surface *** review compiles crucial research findings and recent breakthroughs in electrocatalytic processes utilizing the SECM methodology,specifically focusing on applications in electrolysis,fuel cells,and metal–oxygen batteries within the realm of energy conversion and storage *** with an overview of each energy system,the review introduces the fundamental principles of SECM,and aiming to provide new perspectives and broadening the scope of applied research by describing the major research categories within SECM.

关键词： Scanning electrochemical microscopy Electrocatalyst Electrocatalysis Water splitting Fuel cell Metal-oxygen battery

Preparation of Chemically Recyclable Poly(ether-alt-ester) by the Ring Opening Polymerization of Cyclic Monomers Synthesized by Coupling Glycolide and Epoxides

在线全文

学校读者我要写书评

暂无评论

Chinese Journal of Polymer science 2024年第2期42卷 168-175,I0006页

作者： Feng Ren Zhuang-Zhuang Liang Ming-Xin Niu Chen-Yang Hu Xuan Pang Key Laboratory of Polymer Ecomaterials Changchun Institute of Applied ChemistryChinese Academy of SciencesChangchun130022China School of applied Chemistry and Engineering University of Science and Technology of ChinaHefei230026China

Polyester and polyether are two key oxygenated polymers, and completely alternative sequence of poly(ester-alt-ether) could efficiently combine the advantages(including flexibility, degradability, etc.) of both segments. Currently, despite their copolymers could be synthesized from one-pot mixture of cyclic esters and epoxides, perfectly alternative microstructure is very challenging to realize and typically restricted to certain monomer pairs. Moving forward, synthesizing poly(ester-alt-ether) from commercially available and largescale monomers would be a significant advance. For example, successfully commercialized poly(glycolic acid)(PGA), which is not easily soluble in polymers due to its high crystallinity and is brittle and difficult to control the degradation cycle, would encounter a new paradigm if engineered into poly(ester-altether). In this work, starting from the design of monomer with hybrid structures, we successfully synthesized a series of 1,4-dioxan-2-one containing different substituents based on glycolide(GA) and epoxides using commercially available Salen-Cr(III) and PPNCl catalytic *** new monomers underwent ring-opening polymerization(ROP) to form a series of poly(ester-alt-ether) with perfectly alternating glycolic acid and propylene glycol repeat units under catalytic system of thiourea/base. The poly(ester-alt-ether) have significantly lower glass-transition temperature than PGA. Additionally, the poly(ester-alt-ether) can be chemically recovered to monomer using Sn(Oct)2 or 1,8-diazabicyclo[5.4.0]undecane-7-ene(DBU) as a catalyst in solution, thus establishing a closed-loop life cycle. From monomers derived from GA and epoxides, this work furnishes a novel strategy for the synthesis of poly(ester-alt-ether) with chemical recyclability.

关键词： Polyester Polyether Alternative copolymer Ring-opening polymerization

Study on the optimal incident proton energy of ^(7)Li(p,n)^(7)Be neutron source for boron neutron capture therapy

在线全文

学校读者我要写书评

暂无评论

Nuclear science and Techniques 2024年第3期35卷 170-180页

作者： Yi-Nan Zhu Zuo-Kang Lin Hai-Yan Yu Ye Dai Zhi-Min Dai Xiao-Han Yu Shanghai institute of applied Physics Chinese Academy of SciencesShanghai 201800China University of Chinese Academy of science Beijing 100049China

Boron neutron capture therapy(BNCT)is recognized as a precise binary targeted radiotherapy technique that effectively eliminates tumors through the^(10)B(n,α)^(7)Li nuclear *** various neutron sources,accelerator-based sources have emerged as particularly promising for BNCT ***^(7)Li(p,n)^(7)Be reaction is highly regarded as a potential neutron source for BNCT,owing to its low threshold energy for the reaction,significant neutron yield,appropriate average neutron energy,and additional *** study utilized Monte Carlo simulations to model the physical interactions within a lithium target subjected to proton bombardment,including neutron moderation by an MgF_(2)moderator and subsequent BNCT dose analysis using a Snyder head *** study focused on calculating the yields of epithermal neutrons for various incident proton energies,finding an optimal energy at 2.7 ***,the Snyder head phantom was employed in dose simulations to validate the effectiveness of this specific incident energy when utilizing a^(7)Li(p,n)^(7)Be neutron source for BNCT purposes.

关键词： Boron neutron capture therapy ^(7)Li(p,n)7Be neutron source Incident proton energy Monte Carlo simulation

Amphipathic Janus Nanofibers Aerogel for Efficient Solar Steam Generation

在线全文

学校读者我要写书评

暂无评论

Energy & Environmental Materials 2024年第4期7卷 422-432页

作者： Rui Wang Jinshuo Deng Ping Wu Qianli Ma Xiangting Dong Wensheng Yu Guixia Liu Jinxian Wang Lei Liu Chongqing Research institute Changchun University of Science and Technology Key Laboratory of applied Chemistry and Nanotechnology at Universities of Jilin Province Changchun University of Science and Technology

Solar steam generation is a promising water purification technology due to its low-cost and environmentally friendly applications in water purification and ***,hydrophilic or hydrophobic materials alone are insufficient in achieving necessary characteristics for constructing highquality solar steam generators with good comprehensive properties.

关键词： aerogels electrospinning photothermal materials solar desalination solar steam generation