检索结果-内蒙古大学图书馆

2021国际计算机前沿大会

作者： Bing Xia Jianmin Pang Jun Wang Fudong Liu Feng Yue Key Laboratory of Mathematical Engineering and Advanced Computing Zhong Yuan University of Technology

The study on binary code evolution is very crucial for understanding vulnerability repair and malicious code variants. Researchers on code evolution focus on the source code level, whereas very few works have been done to tackle this problem at the binary code level. In this paper, a binary code evolution analysis framework is proposed to automatically locate evolution area and identify evolution semantic with concrete semantic difference. Difference of binary function domain was applied based on function similarity. Trace alignment was used to find evolution blocks, instruction classification semantic was utilized to identify evolution operation, and evolution semantic was extracted combined with function domain elements. The experimental results show that binary code evolution analysis framework can correctly locate binary code evolution area and identify all concrete semantic evolution.

关键词：

来源：评论

学校读者我要写书评

暂无评论

High-throughput studies and machine learning for design of β titanium alloys with optimum properties

引用

Transactions of Nonferrous Metals Society of China 2024年第10期34卷 3194-3207页

作者： Wei-min CHEN Jin-feng LING Kewu BAI Kai-hong ZHENG Fu-xing YIN Li-jun ZHANG Yong DU Guangdong Provincial Key Laboratory of Metal Toughening Technology and Application National Engineering Research Center of Powder Metallurgy of Titanium&Rare MetalsInstitute of New MaterialsGuangdong Academy of SciencesGuangzhou 510650China Institute of Advanced Wear&Corrosion Resistant and Functional Materials Jinan UniversityGuangzhou 510632China Institute of High Performance Computing Agency for ScienceTechnology and Research138632Singapore State Key Laboratory of Powder Metallurgy Central South UniversityChangsha 410083China

Based on experimental data,machine learning(ML) models for Young's modulus,hardness,and hot-working ability of Ti-based alloys were *** the models,the interdiffusion and mechanical property data were high-throughput re-evaluated from composition variations and nanoindentation data of diffusion ***,the Ti-(22±0.5)at.%Nb-(30±0.5)at.%Zr-(4±0.5)at.%Cr(TNZC) alloy with a single body-centered cubic(BCC) phase was screened in an interactive *** experimental results exhibited a relatively low Young's modulus of(58±4) GPa,high nanohardness of(3.4±0.2) GPa,high microhardness of HV(520±5),high compressive yield strength of(1220±18) MPa,large plastic strain greater than 30%,and superior dry-and wet-wear *** work demonstrates that ML combined with high-throughput analytic approaches can offer a powerful tool to accelerate the design of multicomponent Ti alloys with desired ***,it is indicated that TNZC alloy is an attractive candidate for biomedical applications.

关键词： high-throughput machine learning Ti-based alloys diffusion couple mechanical properties wear behavior

来源：评论

学校读者我要写书评

暂无评论

Full description of dipole orientation in organic light-emitting diodes

引用

Chinese Optics Letters 2023年第2期21卷 92-98页

作者：范灵杰赵茂雄楚娇沈唐尧郑敏嘉关放殷海玮石磊资剑 Department of Physics Key Laboratory of Micro-and Nano-Photonic Structures(Ministry of Education)and State Key Laboratory of Surface PhysicsFudan UniversityShanghai 200433China Shanghai Engineering Research Center of Optical Metrology for Nano-fabrication(SERCOM) Shanghai 200433China Institute for Nanoelectronic Devices and Quantum Computing Fudan UniversityShanghai 200438China Collaborative Innovation Center of Advanced Microstructures Nanjing UniversityNanjing 210093China

Considerable progress has been made in organic light-emitting diodes(OLEDs)to achieve high external quantum efficiency,among which dipole orientation has a remarkable *** most cases,the radiation of the dipoles in OLEDs is theoretically predicted with only one orientation parameter to match with corresponding ***,we develop a new theory with three orientation parameters to fully describe the relationship between dipole orientation and power ***,we design an optimal test structure for measuring all three orientation *** three orientation parameters could be retrieved from non-polarized *** theory provides a universal plot of dipole orientations in OLEDs,paving the way for designing more complicated OLED devices.

关键词： organic light-emitting diodes dipole orientation Fourier series expansion

来源：评论

学校读者我要写书评

暂无评论

Macroscopic assembled graphene nanofilms based room temperature ultrafast mid-infrared photodetectors

引用

InfoMat 2022年第6期4卷 129-140页

作者： Li Peng Lixiang Liu Sichao Du Srikrishna Chanakya Bodepudi Lingfei Li Wei Liu Runchen Lai Xiaoxue Cao Wenzhang Fang Yingjun Liu Xinyu Liu Jianhang Lv Muhammad Abid Junxue Liu Shengye Jin Kaifeng Wu Miao-Ling Lin Xin Cong Ping-Heng Tan Haiming Zhu Qihua Xiong Xiaomu Wang Weida Hu Xiangfeng Duan Bin Yu Zhen Xu Yang Xu Chao Gao MOE Key Laboratory of Macromolecular Synthesis and Functionalization Department of Polymer Science and EngineeringInternational Research Center for X PolymersZhejiang UniversityHangzhouChina School of Micro-nanoelectronics State Key Laboratory of Silicon MaterialsHangzhou Global Scientific and Technological Innovation CenterZJU-UIUC Joint InstituteZhejiang UniversityHangzhouChina State Key Laboratory of Molecular Reaction Dynamics and Dynamics Dalian Institute of Chemical PhysicsChinese Academy of SciencesDalianChina State Key Laboratory of Superlattices and Microstructures Institute of SemiconductorsChinese Academy of SciencesBeijingChina Department of Chemistry Zhejiang UniversityHangzhouChina Division of Physics and Applied Physics School of Physical and Mathematical SciencesNanyang Technological UniversitySingaporeSingapore National Laboratory of Solid State Microstructures Collaborative Innovation Center of Advanced MicrostructureSchool of Electronic Science and EngineeringNanjing UniversityNanjingChina State Key Laboratory of Infrared Physics Shanghai Institute of Technical PhysicsChinese Academy of SciencesShanghaiChina Department of Chemistry and Biochemistry California Nanosystems InstituteUniversity of CaliforniaLos AngelesCaliforniaUSA

Graphene with linear energy dispersion and weak electron-phonon interaction is highly anticipated to harvest hot electrons in a broad wavelength ***,the limited absorption and serious backscattering of hot-electrons result in inadequate quantum yields,especially in the mid-infrared ***,we report a macroscopic assembled graphene(nMAG)nanofilm/silicon heterojunction for ultrafast mid-infrared *** assembled Schottky diode works in 1.5-4.0μm at room temperature with fast response(20-30 ns,rising time,4 mm2 window)and high detectivity(1.61011 to 1.9109 Jones from 1.5 to 4.0μm)under the pulsed laser,outperforming single-layer-graphene/silicon photodetectors by 2-8 *** performances are attributed to the greatly enhanced photo-thermionic effect of electrons in nMAG due to its high light absorption(~40%),long carrier relaxation time(~20 ps),low work function(4.52 eV),and suppressed carrier number *** nMAG provides a long-range platform to understand the hot-carrier dynamics in bulk 2D materials,leading to broadband and ultrafast MIR active imaging devices at room temperature.

关键词： graphene nanofilm heterojunction macro-assembly mid-infrared photodetector photothermionic effect

来源：评论

学校读者我要写书评

暂无评论

Observation of Bragg polaritons in monolayer tungsten disulphide

引用

Nano Research 2022年第2期15卷 1479-1485页

作者： Xu Wang Lishu Wu Xuewen Zhang Weihuang Yang Zheng Sun Jingzhi Shang Wei Huang Ting Yu Shaanxi Institute of Flexible Electronics(SIFE) Northwestern Poly technical University(NPU)1 Dongxiang RoadXi’an 710129China Division of Physics and Applied Physics School of Physical and Mathematical SciencesNanyang Technological UniversitySingapore 637371 Ministry of Education Engineering Research Center of Smart Microsensors and Microsystems College of Electronics and InformationHangzhou Dianzi UniversityHangzhou 310018China State Key Laboratory of Precision Spectroscopy East China Normal University500 Dongchuan RoadShanghai 200241China Key Laboratory of Flexible Electronics and Institute of Advanced Materials National Jiangsu Synergetic Innovation Centre for Advanced MaterialsNanjing Tech University30 South Puzhu RoadNanjing 211816China

Strong light-matter interactions involved with photons and quasiparticles are fundamentally interesting to access the wealthy many-body physics in quantum *** emerging two-dimensional(2D)semiconductors with large exciton binding energies and strong quantum confinement allow to investigate exciton-photon coupling at elevated *** we report room-temperature formation of Bragg polaritons in monolayer semiconductor on a dielectric mirror through the exciton-Bragg photon *** the negative detuning energy of -30 meV,angle-resolved reflection signals reveal anti-crossing behaviors of lower and upper polariton branches at±18°together with the Rabi splitting of 10 ***,the strengthened photoluminescence appears in the lower polariton branch right below the anti-crossing angles,indicating the presence of the characteristic bottleneck effect caused by the slowing exciton-polariton energy relaxation towards the band *** extracted coupling strength is between the ones of weak and distinct strong coupling regimes,where the eigenenergy splitting induced by the moderate coupling is resolvable but not large enough to fully separate two polaritonic *** work develops a simplified strategy to generate exciton-polaritons in 2D semiconductors and can be further extended to probe the intriguing bosonic characteristics of these quasiparticles,such as Bose-Einstein condensation,polariton lasing and superfluidity,directly at the material surfaces.

关键词： Bragg polariton exciton-photon coupling two-dimensional(2D)semiconductor Rabi splitting microcavity

来源：评论

学校读者我要写书评

暂无评论

mathematical modeling of mixed convective MHD Falkner-Skan squeezed Sutterby multiphase flow with non-Fourier heat flux theory and porosity

引用

Applied Mathematics and Mechanics(English Edition) 2023年第11期44卷 2005-2018页

作者： Shuguang LI M.I.KHAN F.ALI S.S.ABDULLAEV S.SAADAOUI HABIBULLAH School of Computer Science and Technology Shandong Technology and Business UniversityYantai 264005Shandong ProvinceChina Department of Mechanics and Engineering Science Peking UniversityBeijing 100871China Department of Mechanical Engineering Lebanese American UniversityBeirut 11020Lebanon Department of Mathematical Sciences Federal Urdu University of ArtsSciences&TechnologyGulshan-e-IqbalKarachi 75300Pakistan Faculty of Chemical Engineering New Uzbekistan UniversityTashkent 100070Uzbekistan Department of Science and Innovation Tashkent State Pedagogical University named after NizamiTashkent 100070Uzbekistan Department of Physics Faculty of Science and ArtsMohayel AserKing Khalid UniversityAbha 61421Saudi Arabia State Key Laboratory of Turbulence and Complex System Collaborative Innovative Center for Advanced Aero-EnginesPeking UniversityBeijing 100871China

In a wide variety of mechanical and industrial applications,e.g.,space cooling,nuclear reactor cooling,medicinal utilizations(magnetic drug targeting),energy generation,and heat conduction in tissues,the heat transfer phenomenon is ***’s law of heat conduction has been used as the foundation for predicting the heat transfer behavior in a variety of real-world *** model’s production of a parabolic energy expression,which means that an initial disturbance would immediately affect the system under investigation,is one of its main ***,numerous researchers worked on such problem to resolve this *** last,this problem was resolved by Cattaneo by adding relaxation time for heat flux in Fourier’s law,which was defined as the time required to establish steady heat conduction once a temperature gradient is *** offered a material invariant version of Cattaneo’s model by taking into account the upper-connected derivative of the Oldroyd ***,both models are combinedly known as the Cattaneo-Christov(CC)*** this attempt,the mixed convective MHD Falkner-Skan Sutterby nanofluid flow is addressed towards a wedge surface in the presence of the variable external magnetic *** CC model is incorporated instead of Fourier’s law for the examination of heat transfer features in the energy expression.A two-phase nanofluid model is utilized for the implementation of *** nonlinear system of equations is tackled through the bvp4c technique in the MATLAB software *** influence of pertinent flow parameters is discussed and displayed through different *** and important results are summarized in the conclusion ***,in both cases of wall-through flow(i.e.,suction and injection effects),the porosity parameters increase the flow speed,and decrease the heat transport and the influence of drag forces.

关键词： sporosity Cattaneo-Christov(CC)heat flux model Falkner-Skan Sutterby nanofluid mixed convection stagnation point

来源：评论

学校读者我要写书评

暂无评论

Reasoning about Strategic Abilities in Stochastic Multi-agent Systems

arXiv

引用

arXiv 2024年

作者： Zhang, Yedi Song, Fu Chen, Taolue Wu, Xuzhi Department of Computing Science National University of Singapore Singapore State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences China School of Computing and Mathematical Sciences Birkbeck University of London United Kingdom College of Computer Science and Software Engineering Shenzhen University China

Reasoning about strategic abilities is key to AI systems comprising multiple agents, which provide a unified framework for formalizing various problems in game theory, social choice theory, etc. In this work, we propose a probabilistic extension of the alternating-time μ-calculus (AMC), named PAMC, for reasoning about the strategic abilities of agents in stochastic multi-agent systems. We show that PAMC subsumes two existing logics AMC and PμTL (a probabilistic extension of the modal μ-calculus), but is incomparable with the probabilistic alternating-time temporal logic (PATL). We study the problems of model checking and satisfiability checking for PAMC. We first give a model checking algorithm by leveraging algorithms for solving normal-form games and AMC model checking. We establish that the model checking problem of PAMC remains in UP∩co-UP, the same complexity class as the model checking problem for AMC and PμTL. We also provide a new reduction from the satisfiability problem of PAMC to solving parity games, by which we obtain an EXPTIME decision procedure, as well as the small model property which allows to construct a model for each satisfiable PAMC formula. Satisfiability in PAMC has the same complexity as in the modal μ-calculus, unlike PCTL and PATL whose satisfiability checking problems remain open. We have implemented both the model checking and satisfiability checking algorithms as open-source tools. Experimental results are reported, showcasing the practical applications and effectiveness of our approaches. © 2024, CC BY.

关键词： Stochastic systems

来源：评论

学校读者我要写书评

暂无评论

3D-Printed Monolith Metallic Ni-Mo Electrodes for Ultrahigh Current Hydrogen Evolution

引用

Energy & Environmental Materials 2024年第5期7卷 224-233页

作者： Yanran Xun Hongmei Jin Yuemeng Li Shixiang Zhou Kaixi Zhang Xi Xu Win Jonhson Shuai Chang Teck Leong Tan Jun Ding Department of Materials Science and Engineering National University of SingaporeSingapore 117574Singapore Institute of High Performance Computing(IHPC) Agency for ScienceTechnology and Research(A^(*)STAR)1 Fusionopolis Way#16-16 ConnexisSingapore 138632Singapore Key Laboratory of Flexible Electronics of Zhejiang Province Ningbo Institute of Northwestern Polytechnical UniversityNingbo 315103China State Key Laboratory of Advanced Welding and Joining Harbin Institute of TechnologyHarbin 150001China

In this work,we reported a series of monolithic 3D-printed Ni-Mo alloy electrodes for highly efficient water splitting at high current density(1500 mA cm^(-2))with excellent stability,which provides a solution to scale up Ni-Mo catalysts for HER to industry *** possible Ni-Mo metal/alloy phases were achieved by tuning the atomic composition and heat treatment procedure,and they were investigated through both experiment and simulation,and the optimal NiMo phase shows the best *** functional theory(DFT)calculations elucidate that the NiMo phase has the lowest H2O dissociation energy,which further explains the exceptional performance of *** addition,the microporosity was modulated via controlled thermal treatment,indicating that the 1100℃sintered sample has the best catalytic performance,which is attributed to the high electrochemically active surface area(ECSA).Finally,the four different macrostructures were achieved by 3D printing,and they further improved the catalytic *** gyroid structure exhibits the best catalytic performance of driving 500 mA cm^(-2)at a low overpotential of 228 mV and 1500 mA cm^(-2)at 325 mV,as it maximizes the efficient bubble removal from the electrode surface,which offers the great potential for high current density water splitting.

关键词： 3D-printed electrode Ni-Mo catalyst phase tuning ultra-high current density HER

来源：评论

学校读者我要写书评

暂无评论

Taking Myopic Best Response Against The Hedge Algorithm

Taking Myopic Best Response Against The Hedge Algorithm

引用

第42届中国控制会议

作者： Xinxiang Guo Yifen Mu School of Mathematical Sciences University of Chinese Academy of Sciences The State Key Laboratory of Scientific and Engineering Computing Academy of Mathematics and Systems ScienceChinese Academy of Sciences The Key Laboratory of Systems and Control Academy of Mathematics and Systems ScienceChinese Academy of Sciences

With the rapid development of artificial intelligence(AI),the game between the human and machine/AI becomes more and more *** related theoretical analysis becomes significant and necessary,which however is still *** problem involves evolution analysis and optimal control of dynamic game systems driven by learning *** this paper,we consider a finitely repeated two-player zero-sum *** study the dynamic evolution process of the game system,in which one player employs the Hedge algorithm and the other player takes the myopic best *** the updating formula of the Hedge algorithm,we define a quantity called the state and construct the state Transition Triangle Graph(STTG).Then,we prove that the game system is periodic after o(T) stages.

关键词：

来源：评论

学校读者我要写书评

暂无评论

The Error in Multivariate Linear Extrapolation with Applications to Derivative-Free Optimization

arXiv

引用

arXiv 2023年

作者： Cao, Liyuan Wen, Zaiwen Yuan, Ya-Xiang Beijing International Center for Mathematical Research Peking University Beijing China State Key Laboratory of Scientific and Engineering Computing Academy of Mathematics and Systems Science Chinese Academy of Sciences Beijing China

We study in this paper the function approximation error of multivariate linear extrapolation. The sharp error bound of linear interpolation already exists in the literature. However, linear extrapolation is used far more often in applications such as derivative-free optimization, while its error is not well-studied. We introduce in this paper a method to numerically compute the sharp bound on the error, and then present several analytical bounds along with the conditions under which they are sharp. We analyze in depth the approximation error achievable by quadratic functions and the error bound for the bivariate case. All results are under the assumptions that the function being interpolated has Lipschitz continuous gradient and is interpolated on an affinely independent sample set. © 2023, CC BY-NC-SA.

关键词： Interpolation

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：