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

26th International Conference on Computer Supported Cooperative Work in Design, CSCWD 2023

作者： He, Pengfei Liu, Linlin You, Dianlong Shen, Limin Chen, Zhen Yanshan University School of Information Science and Engineering Qinhuangdao China Chinese Academy of Sciences National Science Libraries Beijing China The Key Laboratory for Computer Virtual Technology and System Integration of Hebei Province Qinhuangdao China

ISBN: (纸本)9798350331684

With the growing popularity of API-driven multiservice application (mashup) development, the burgeoning web APIs have left developers drowning in the sea of web API selections. Matching developers with the most appropriate APIs is the key to improving user satisfaction and promoting more popular web applications. As a result, more and more researchers pay attention to web API recommender systems based on collaborative filtering. However, employing collaborative filtering to recommend APIs is challenging due to the severe sparsity of mashup and API interactions. To address this problem, we propose a probabilistic generative model, called the Binary-API Topic model (BAT), to parameterize mashups and APIs. Technically, BAT is equipped with a mechanism to extract binary-APIs and predict unknown pairwise interactions. To improve generality and capture more relevance from a limited number of interactions, we learn binary-API topics by directly modeling the generation of API co-occurrence patterns across the repository (all mashup collections from ***). The main advantage of BAT is that it preserves API co-occurrence patterns in model learning and exploits the rich global relevance. Finally, through extensive experiments, we demonstrate that BAT can achieve the highest performance on the sparse real-world data set. © 2023 IEEE.

关键词： Collaborative filtering

来源：评论

学校读者我要写书评

暂无评论

Nanoscale phase management of the 2D/3D heterostructure toward efficient perovskite solar cells

引用

science Bulletin 2024年第18期69卷 2853-2861页

作者： Hao Gu Annan Zhu Junmin Xia Wang Li Jiahao Zheng Tao Yang Shengwen Li Nan Zhang Shiliang Mei Yongqing Cai Shi Chen Chao Liang Guichuan Xing Joint Key Laboratory of the Ministry of Education Institute of Applied Physics and Materials EngineeringUniversity of MacaoMacao 999078China State Key Laboratory of Organic Electronics and Information Displays&Institute of Advanced Materials(IAM) Jiangsu National Synergetic Innovation Center for Advanced Materials(SICAM)Nanjing University of Posts&Telecommunications(NUPT)Nanjing 210023China MOE Key Laboratory for Nonequilibrium Synthesis and Modulation of Condensed Matter School of PhysicsNational Innovation Platform(Center)for Industry-Education Integration of Energy Storage TechnologyXi’an Jiaotong UniversityXi’an 710049China Ministry of Industry and Information Technology Key Lab of Micro-Nano Optoelectronic Information System Guangdong Provincial Key Laboratory of Semiconductor Optoelectronic Materials and Intelligent Photonic SystemsHarbin Institute of TechnologyShenzhen 518055China Institute for Electric Light Sources School of Information Science and TechnologyFudan UniversityShanghai 200433China

The stabilization of the formamidinium lead iodide(FAPbI_(3))structure is pivotal for the development of efficient photovoltaic *** two-dimensional(2D)layers to passivate the threedimensional(3D)perovskite is essential for maintaining the a-phase of FAPbI_(3) and enhancing the power conversion efficiency(PCE)of perovskite solar cells(PSCs).However,the role of bulky ligands in the phase management of 2D perovskites,crucial for the stabilization of FAPbI_(3),has not yet been *** this study,we synthesized nanoscale 2D perovskite capping crusts with=1 and 2 Ruddlesden-Popper(RP)perovskite layers,respectively,which form a type-Ⅱ 2D/3D *** heterostructure stabilizes the a-phase of FAPbI_(3),and facilitates ultrafast carrier extraction from the 3D perovskite network to transport contact *** introduced tri-fluorinated ligands to mitigate defects caused by the halide vacancies and uncoordinated Pb^(2+)ions,thereby reducing nonradiative carrier recombination and extending carrier *** films produced were incorporated into PSCs that not only achieved a PCE of 25.39%but also maintained 95%of their initial efficiency after 2000 h of continuous light exposure without *** findings underscore the effectiveness of a phase-pure 2D/3D heterostructure-terminated film in inhibiting phase transitions passivating the iodide anion vacancy defects,facilitating the charge carrier extraction,and boosting the performance of optoelectronic devices.

关键词： Phase-pure 2D perovskite 2D/3D heterostructure Type-II energy alignment Carrier dynamic FAPbI_(3)

来源：评论

学校读者我要写书评

暂无评论

Nonequilibrium carrier and phonon dynamics in the ferrimagnetic semiconductor Mn3Si2Te6

引用

Physical Review B 2024年第17期109卷 174309-174309页

作者： Y. Yang X. T. Chen Z. L. Li J. B. Pan F. Jing S. S. Zhang X. B. Wang J. L. Luo Key Laboratory of Education Ministry for Laser and Infrared System Integration Technology Beijing National Laboratory for Condensed Matter Physics School of Information Science and Engineering

We investigate the ultrafast carrier and phonon dynamics in the ferrimagnetic semiconductor Mn3Si2Te6 using time-resolved optical pump-probe spectroscopy. Our results reveal that the electron-phonon thermalization process with a subpicosecond timescale is prolonged by the hot-phonon bottleneck effect. We identify the subsequent relaxation processes associated with two nonradiative recombination mechanisms, i.e., phonon-assisted electron-hole recombination and defect-related Shockley-Read-Hall recombination. Temperature-dependent measurements indicate that all three relaxation components show large variation around 175 and 78 K, which is related to the initiation of spin fluctuation and ferrimagnetic order in Mn3Si2Te6. In addition, two pronounced coherent optical phonons are observed, in which the phonon with a frequency of 3.7 THz is attributed to the A1g mode of Te precipitates. Applying the strain pulse propagation model to the coherent acoustic phonons yields a penetration depth of 506 nm and a sound speed of 2.42 km/s in Mn3Si2Te6. Our results develop understanding of the nonequilibrium properties of the ferrimagnetic semiconductor Mn3Si2Te6 and also shed light on its potential applications in optoelectronic and spintronic devices.

关键词： Electron-phonon coupling Ferrimagnets Ultrafast femtosecond pump probe

来源：评论

学校读者我要写书评

暂无评论

Association Rule Guided Web API Complementary Function Recommendation for Mashup Creation: An Explainable Perspective 17th

Association Rule Guided Web API Complementary Function Recom...

引用

17th CCF Conference on Computer Supported Cooperative Work and Social Computing, ChineseCSCW 2022

作者： He, Pengfei Qi, Wenchao Liu, Xiaowei Liu, Linlin You, Dianlong Shen, Limin Chen, Zhen School of Information Science and Engineering Yanshan University Qinhuangdao China National Science Libraries Chinese Academy of Sciences Beijing China Key Laboratory for Computer Virtual Technology and System Integration of Hebei Province Yanshan University Qinhuangdao China

ISBN: (纸本)9789819923557

As more and more service providers encapsulate and publish their data and services on the internet in the form of Web APIs, the number of Web APIs is ever-increasing. For this reason, Web API recommendation is gaining momentum and has achieved high performance in accuracy. However, few studies paid attention to function recommendation. As an indispensable entity in the mashup-API ecosystem, function is not only the in-facto basis of API taxonomy, but also determines the compatibility and the internal construction pattern of mashup composition. Considering that users adopt multiple function invocations during a development cycle and the number of functions is also increasing, we propose the complementary function recommendation(CFR), a function-to-function problem. To solve the CFR, we regard each mashup as a transaction set for frequent pattern mining and propose an association rule-based complementary function recommendation(ARCFR) system, which provides function recommendation and corresponding probability explanation. Our experiments show that ARCFR can recommend complementary function effectively, and we give two applicable scenarios to demonstrate the practical value of our method in more aspects. © 2023, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Association rules

来源：评论

学校读者我要写书评

暂无评论

Synthesized verification method for the inter-partition communication in IMA system integration

Synthesized verification method for the inter-partition comm...

引用

Conference on Digital avionics systems (DASC)

作者： Hongsheng Zhao Jinyan Wang Zhiyong Xiong Jianmin Wu National Key Laboratory of Science and Technology on Avionics Integration China Aeronautical Radio Electronics Research Institute Shanghai China

This article consists of a collection of slides from the author's conference presentation.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Imperceptible and Sparse Adversarial Attacks via a Dual-Population-Based Constrained Evolutionary Algorithm

IEEE Transactions on Artificial Intelligence

引用

IEEE Transactions on Artificial Intelligence 2023年第2期4卷 268-281页

作者： Tian, Ye Pan, Jingwen Yang, Shangshang Zhang, Xingyi He, Shuping Jin, Yaochu Anhui University Key Laboratory of Intelligent Computing and Signal Processing of Ministry of Education Institutes of Physical Science and Information Technology Hefei230601 China Hefei Comprehensive National Science Center Institute of Artificial Intelligence Hefei230088 China Anhui University School of Computer Science and Technology Hefei230601 China Anhui University Key Laboratory of Intelligent Computing and Signal Processing of Ministry of Education School of Artificial Intelligence Hefei230601 China Anhui University Anhui Engineering Laboratory of Human-Robot Integration System and Intelligent Equipment School of Electrical Engineering and Automation Hefei230601 China Bielefeld University Faculty of Technology Bielefeld33619 Germany

The sparse adversarial attack has attracted increasing attention due to the merit of a low attack cost via changing a small number of pixels. However, the generated adversarial examples are easily detected in vision since the perturbation to each pixel is relatively large. To achieve imperceptible and sparse adversarial attacks, this article formulates a bi-objective constrained optimization problem, simultaneously minimizing the 0 and 2 distances to the original image, and proposes a dual-population-based constrained evolutionary algorithm to solve it. The proposed method solves the optimization problem by evolving two populations, where one population is responsible for finding feasible solutions (i.e., successful attacks) and the other one is to minimize both the 0 and 2 distances. Moreover, a population initialization strategy and two genetic operators are customized to accelerate the convergence speed. Experimental results indicate that the proposed method can achieve high success rates with low attack costs, and strikes a better balance between the 0 and 2 distances than state-of-the-art methods. © 2020 IEEE.

关键词： Evolutionary algorithms

来源：评论

学校读者我要写书评

暂无评论

On the controller synthesis for probabilistic systems of conflict tolerant specification

引用

Journal of Computational Information systems 2011年第4期7卷 1286-1293页

作者： Zhang, Junhua Huang, Zhiqiu Cao, Zining College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing 210016 China Vocational Education Faculty Ningbo University Ningbo 315100 China National Key Laboratory of Science and Technology on Avionics System Integration Shanghai 200233 China

For an embedded control system, different requirements maybe need be satisfied at same time. Always some of them makes the system to act inconsistently, or even conflicted. Conflict tolerant specification is provided to denote this situation. In such a system, there often exist probabilistic and non-deterministic behaviors. We use Markov Decision Process (MDP) to denote these features. Based on this context, we study the controller synthesis for MDP over conflict tolerant specification. We extend PCTL star by adding past operator to denote the conflict tolerant specification succinctly. We use CT-PLTL to denote possibly conflicted actions and PCTL to denote the specification for probability demand. We first synthesize a controller on a base system over CT-PLTL and then use it to prune the corresponding MDP of the system model. We use the resulting sub-MDP as the model to further synthesis a controller over PCTL. The whole controller for MDP is a conjunction of the two controllers obtained. Copyright © 2011 Binary Information Press.

关键词： Specifications

来源：评论

学校读者我要写书评

暂无评论

Gradient piezoelectric composites for ultrasonic transducer design and imaging applications

引用

Journal of Materiomics 2025年

作者： Chenxue Hou Zhaoxi Li Chunlong Fei Qibo Lin Xiaofei Luo Xiongwei Wei Yiheng Yang Qi Lu Yi Quan Guangzhi Dong Zeyu Chen Xiaozhou Lü Weimin Bao Yintang Yang Shaanxi Provincial Key Laboratory of Integrated Circuit and System Integration Faculty of Integrated Circuit Xidian University Xi’an 710071 China School of Aerospace Science and Technology Xidian University Xi’an 710071 China State Key Laboratory of Precision Manufacturing for Extreme Service Performance College of Mechanical and Electrical Engineering Central South University Changsha 410083 China College of Automotive and Mechanical Engineering Changsha University of Science and Technology Changsha 410114 China Hunan Province University Key Laboratory of Intelligent Testing and Control Technology for Engineering Equipment Changsha 410114 China School of Advanced Materials and Nanotechnology Xidian University Xi'an 710126 China Furong Laboratory (Precision Medicine) Changsha 410008 China National Engineering Research Center of Personalized Diagnostic and Therapeutic Technology Xiangya Hospital Central South University Changsha 410008 China Hunan Engineering Research Center of Skin Health and Disease Xiangya Hospital Central South University Changsha 410008 China

Ultrasonic imaging technology has advanced rapidly, the escalating demand for imaging quality has driven the continuous development of ultrasonic transducers featuring high-performance. Among them, the crucial factors constraining the further enhancement of imaging quality are the frequency of the device and the intensity of the echo signal. Piezoelectric composites have become a hotspot for ultrasonic transducers and imaging applications due to their excellent properties. However, due to the limitations of the accuracy of the cutting process, the development of piezoelectric/polymer composites is often undermined by undesirable pseudo-vibrations, especially in high-frequency applications, which will significantly reduce energy conversion efficiency. In this study, a novel design method of 1-3 piezoelectric composites with gradient nanoparticle doped polymer is proposed to eliminate the undesired lateral vibrations. Based on the optimized composites, a high-performance composite ultrasonic transducer with a center frequency of 8.51 MHz is prepared. Compared with the traditional composite transducer, the optimized transducer improves the echo voltage amplitude significantly, reaching nearly 3 times. The above advantages are further verified in high-quality ultrasound and photoacoustic imaging. The optimization method has valuable guidance for the design of high-frequency composite transducers, which have great potential in ultrasonic and photoacoustic imaging applications.

关键词： Piezoelectric composites Ultrasonic transducer Imaging applications Lateral vibration Finite element analysis

来源：评论

学校读者我要写书评

暂无评论

Hierarchy-based extended CBBA for multi-robot task assignment

Hierarchy-based extended CBBA for multi-robot task assignmen...

引用

Chinese Automation Congress (CAC)

作者： Jiajun Liu Weiguo Xia Fuqiang Li Peng Wang China National Aeronautical Radio Electronic Research Institute and National Key Laboratory of Science and Technology on Avionics System Integration China Key Laboratory of Intelligent Control and Optimization for Industrial Equipment of Ministry of Education and School of Control Science and Engineering Dalian University of Technology China

This paper studies the task assignment problem of a multi-robot system with complex constraints including the robot speed limit, the task execution time window constraints, the arrival time, the trip cost, and different priorities of the tasks. A new bidding function is then designed for each robot. Based on the k-means algorithm, a hierarchy-based extended consensus-based bundle algorithm (CBBA) is proposed to find the optimal solution for the task allocation problem. Finally, simulation examples are presented to show the feasibility of the proposed algorithm and comparisons with existing algorithms show that the proposed algorithm can reduce the task assignment time with guaranteed reward values.

关键词： Costs Automation Heuristic algorithms Numerical simulation Time factors Resource management Multi-robot systems

来源：评论

学校读者我要写书评

暂无评论

Process Calculus with Data Structure and its Model Checking Algorithm

引用

Physics Procedia 2012年 33卷 782-789页

作者： Qing Zheng Zi-Ning Cao Department of Computer Science and Technology Nanjing University of Aero. & Astro. Nanjing 210016 P.R. China Provincial Key Laboratory for Computer Information Processing Technology Soochow University Suzhou 215006 P.R. China National Key Laboratory of Science and Technology on Avionics System Integration Shanghai 200233 P.R. China

Model checking is one of the most important technology for automatically verification. So this paper generally proposed a method of combining CCS and Z language, to perform model checking. It combines the advantage of current CCS and Z systems, where CCS is good at describing concurrent systems, also Z is a good tool for data structure. As a result, form the new system CCS-Z. Then we give the syntax and semantics of it, at last give the model checking *** advantage of this paper is combined data stucture on the famous system CCS, and increase the capacity of system description.

关键词： Model Checking CTL Z Language CCS

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：