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

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

来源：评论

学校读者我要写书评

暂无评论

A Cyclic Small Phase Theorem for MIMO LTI systems*

引用

IFAC-PapersOnLine 2023年第2期56卷 1883-1888页

作者： Chao Chen Wei Chen Di Zhao Jianqi Chen Li Qiu Department of Electronic and Computer Engineering The Hong Kong University of Science and Technology Hong Kong China Department of Mechanics and Engineering Science & State Key Laboratory for Turbulence and Complex Systems Peking University Beijing China Department of Control Science and Engineering & Shanghai Institute of Intelligent Science and Technology Tongji University Shanghai China

This paper introduces a brand-new phase definition called the segmental phase for multi-input multi-output linear time-invariant systems. The underpinning of the definition lies in the matrix segmental phase which, as its name implies, is graphically based on the smallest circular segment covering the matrix normalized numerical range in the unit disk. The matrix segmental phase has the crucial product eigen-phase bound, which makes itself stand out from several existing phase notions in the literature. The proposed bound paves the way for stability analysis of a cyclic feedback system consisting of multiple subsystems. A cyclic small phase theorem is then established as our main result, which requires the loop system phase to lie between -π and π. The proposed theorem complements the celebrated small gain theorem.

关键词： Small phase theorem segmental phase cyclic feedback systems stability analysis lead-lag compensation

来源：评论

学校读者我要写书评

暂无评论

Phase of Multivariable systems: A Revisit via $\mathcal{H}_{2}^{T}$ -Dissipativity

Phase of Multivariable Systems: A Revisit via $\mathcal{H}_{...

引用

IEEE Conference on Decision and Control

作者： Dan Wang Wei Chen Karl H. Johansson Division of Decision and Control Systems KTH Royal Institute of Technology Stockholm Sweden Department of Mechanics and Engineering Science State Key Laboratory for Turbulence and Complex Systems Peking University Beijing China

A new notion of phase of multi-input multi-output (MIMO) systems was recently defined and studied, leading to new understandings in various fronts including a formulation of small phase theorem, a performance criterion named $\mathcal{H}_{\infty}$ phase sector, and a sectored real lemma, etc. In this paper, we define a new notion of $\mathcal{H}_{2}^{T}$ -dissipativity and show the connection between the phase of a multivariable linear time-invariant (LTI) system and the $\mathcal{H}_{2}^{T}$ -dissipativity. The $\mathcal{H}_{2}^{T}$ -dissipativity, roughly speaking, is dissipativity restricted to the time-domain $\mathcal{H}_{2}$ space which consists of $\mathcal{L}_{2}$ signals with only positive frequency components. In addition, by exploiting the newly defined $\mathcal{H}_{2}^{T}{-}$ dissipativity, we also study the phase of a feedback system and provide a physical interpretation of the sectored real lemma.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A New Self-Learning Optimization Management Scheme for Smart Grid systems

引用

The International Journal of Intelligent Control and systems 2024年第2期29卷 66-70页

作者： Qinglai Wei Zehua Liao School of Artificial Intelligence University of Chinese Academy of SciencesBeijing 100049China State Key Laboratory of Management and Control for Complex Systems Institute of AutomationChinese Academy of SciencesBeijing 100190China Institute of Systems Engineering Macao University of Science and TechnologyMacao 999078China

This paper presents a new energy optimization management scheme for the smart grid system(SGS),which considers not only the inclusion of renewable energy in energy management but also the feedback sale of redundant renewable energy to the grid,so as to obtain better optimization management results and avoid energy waste.A new performance index function is constructed,which aims to save users’electricity costs and protect energy storage *** construct a periodic iterative self-learning method based on the characteristics that the relevant data of SGS are approximately *** proposed self-learning optimization method is based on adaptive dynamic programming(ADP).The initial iterative control law is obtained by pre-training,and the designed method can be realized by neural *** experiments are carried out by using the relevant data of SGS for four *** experimental results show that the new energy management scheme can help users save a lot of electricity costs,and is more effective than some common methods.

关键词： Smart grid system energy management renewable energy self-learning adaptive dynamic programming

来源：评论

学校读者我要写书评

暂无评论

Long-range paracrine coupling-induced Ca2+ patterns in two-dimensional cell networks under inositol 1,4,5-triphosphate-cytosolic Ca2+ interaction

引用

Physical Review E 2025年第3期111卷 034213-034213页

作者： Thierry Kenne Tiayo Conrad Bertrand Tabi Armand Sylvin Etémé Timoléon Crépin Kofané Laboratory of Biophysics Department of Physics Faculty of Science University of Yaoundé I P.O. Box 812 University of Yaoundé I Cameroon Complex Systems Research Group Department of Physics and Astronomy Botswana International University of Science and Technology Private Mail Bag 16 Palapye Botswana Laboratory of Mechanics Department of Physics Faculty of Science University of Yaoundé I P.O. Box 812 Yaoundé I Cameroon

A two-dimensional model is designed for intercellular calcium (Ca2+) waves in the presence of long-range (LR) paracrine coupling due to the action of extracellular messengers and Ca2+-activated degradation of inositol 1,4,5-triphosphate (IP3) by a 3−kinase. Using mean-field theory, a statistical variable is defined to detect the emergence of intercellular spiral waves of Ca2+. The latter are generated by the local heterogeneity caused by asymmetrical stimulation of the network. It is confirmed that spiral waves may develop when the synchronization degree is low. It is found that balanced LR coupling and IP3 degradation, under appropriate external hormonal stimulation, can effectively control the creation and propagation of spiral waves. A higher LR degree disrupts network synchronization, and only specific ranges of stimulation factor support spiral waves. Weak IP3 degradation and stronger LR degree disintegrate spiral symmetry with increased hormonal stimulation. Strong IP3 degradation has the opposite effect.

关键词： Statistical mechanics

来源：评论

学校读者我要写书评

暂无评论

Study on Landslide Susceptibility Evaluation Based on Improved Multivariable Weighted Model: A Case Study of Lushan County, China

Study on Landslide Susceptibility Evaluation Based on Improv...

引用

Software Engineering and Artificial Intelligence (SEAI), IEEE International Conference on

作者： Li Zhao Gonghao Duan School of Computer Science and Engineering Wuhan Institute of Technology Wuhan China Hubei Key Laboratory of Advanced Control and Intelligent Automation for Complex Systems Wuhan China

The evaluation of regional geological hazard susceptibility is of great significance to the prevention and control of geological hazard. In this paper, the "4-20" Lushan earthquake disaster area as the research area, combined with GIS and characteristics of the research area, through correlation analysis, selected 9 influencing factors as the evaluation factors. The study was conducted using a weighted information volume-logistic regression model (WI-LR). The results were classified into five sensitivity levels: very low, low, medium, high and very high. The results show that the landslide prone areas in Lushan County are concentrated in the area below the middle of the county seat, mostly near rivers, faults and areas with peak acceleration greater than 0.4. Among them, WI-LR model (AUC=0.918) > deterministic factor model (CF =0.908) > weighted information quantity model (WI) (AUC=0.896) > information quantity model I (AUC=0.853) > information quantity logistic regression model I-LR (AUC=0.799). It indicates that WI-LR model has high evaluation accuracy.

关键词：

来源：评论

学校读者我要写书评

暂无评论

The Shadow of Fraud: The Emerging Danger of AI-powered Social Engineering and its Possible Cure

arXiv

引用

arXiv 2024年

作者： Yu, Jingru Yu, Yi Wang, Xuhong Lin, Yilun Yang, Manzhi Qiao, Yu Wang, Fei-Yue Shanghai Artificial Intelligence Laboratory Shanghai200240 China The Macau Institute of Systems Engineering Macau University of Science and Technology China Eversec Technology Company Ltd. Beijing100080 China The State Key Laboratory for Management and Control of Complex Systems Institute of Automation Chinese Academy of Sciences Beijing100190 China

Social engineering (SE) attacks remain a significant threat to both individuals and organizations. The advancement of Artificial Intelligence (AI), including diffusion models and large language models (LLMs), has potentially intensified these threats by enabling more personalized and convincing attacks. This survey paper categorizes SE attack mechanisms, analyzes their evolution, and explores methods for measuring these threats. It highlights the challenges in raising awareness about the risks of AI-enhanced SE attacks and offers insights into developing proactive and adaptable defense strategies. Additionally, we introduce a categorization of the evolving nature of AI-powered social engineering attacks into"3E phases": Enlarging, wherein the magnitude of attacks expands through the leverage of digital media;Enriching, introducing novel attack vectors and techniques;and Emerging, signifying the advent of novel threats and methods. Moreover, we emphasize the necessity for a robust framework to assess the risk of AI-powered SE attacks. By identifying and addressing gaps in existing research, we aim to guide future studies and encourage the development of more effective defenses against the growing threat of AI-powered social engineering. Copyright © 2024, The Authors. All rights reserved.

关键词： Artificial intelligence

来源：评论

学校读者我要写书评

暂无评论

AgInS_(2)/ZnS quantum dots for noninvasive cervical cancer screening with intracellular pH sensing using fluorescence lifetime imaging microscopy

引用

Nano Research 2022年第6期15卷 5193-5204页

作者： Wenhua Su Dan Yang Yulan Wang Yawei Kong Wanlu Zhang Jing Wang Yiyan Fei Ruiqian Guo Jiong Ma Lan Mi Department of Optical Science and Engineering Shanghai Engineering Research Center of Ultra-precision Optical ManufacturingKey Laboratory of Micro and Nano Photonic Structures(Ministry of Education)School of Information Science and TechnologyFudan UniversityShanghai 200433China Institute for Electric Light Sources School of Information Science and TechnologyFudan UniversityShanghai 200433China Department of Gynecology and Obstetrics The Central Hospital of WuhanTongji Medical CollegeHuazhong University of Science and TechnologyWuhan 430014China Institute of Photonic Chips University of Shanghai for Science and TechnologyShanghai 200093China Centre for Artificial-Intelligence NanophotonicsSchool of Optical-Electrical and Computer EngineeringUniversity of Shanghai for Science and TechnologyShanghai 200093China Institute of Biomedical Engineering and Technology Academy for Engineer and TechnologyFudan University220 Handan RoadShanghai 200433China Shanghai Engineering Research Center of Industrial Microorganisms the Multiscale Research Institute of Complex Systems(MRICS)School of Life SciencesFudan University220 Handan RoadShanghai 200433China

Intracellular pH plays a critical role in biological functions,and abnormal pH values are related to various ***,we report on an intracellular pH sensor AgInS_(2)(AIS)/ZnS quantum dots(QDs)that show long fluorescence lifetimes of hundreds of nanoseconds and low *** lifetime imaging microscopy(FLIM)combined with AIS/ZnS QDs is used for the imaging of live cells in different pH buffers and different cell *** FLIM images of AIS/ZnS QDs in live cells demonstrate different intracellular pH values in different regions,such as in lysosomes or *** method can also distinguish cancer cells from normal cells,and the fluorescence lifetime difference of the AIS/ZnS QDs between the two types of cells is 100±7 *** importantly,the exfoliated cervical cells from 20 patients are investigated using FLIM combined with AIS/ZnS *** lifetime difference value between the normal and cervical cancer(CC)groups is 115±9 ns,and the difference between the normal and the precancerous lesion group is 64±9 *** the first time,the noninvasive method has been used for cervical cancer screening,and it has shown great improvement in sensitivity compared with a clinical conventional cytology examination.

关键词： AIS/ZnS quantum dots fluorescence lifetime imaging microscopy intracellular pH sensing cervical cancer screening noninvasive

来源：评论

学校读者我要写书评

暂无评论

动力学问题中矩阵函数的高效算法

引用

Acta Mechanica Sinica 2023年第8期39卷 137-147页

作者：吴锋朱力赵悦琳章恺琳阎军钟万勰施庆华 Department of Mechanics State Key Laboratory of Structural Analysis of Industrial Equipment Dalian University of Technology Dalian 116023 China State Key Laboratory for Turbulence & Complex Systems Department of Mechanics and Engineering Science College of Engineering Peking University Beijing 100871 China Yunnan Machinery Research and Design Institute China National Machinery Institute Group Kunming 650000 China

本文基于Paterson-Stockmeyer(PS)算法和过滤技术提出了一种能精确和高效计算动力学问题中矩阵函数的算法.借助对截断误差和过滤引误差的分析,探究了计算中的误差增长规律,并基于此给出了自适应过滤阈值,使得提出的算法能更加高效地达... 详细信息

本文基于Paterson-Stockmeyer(PS)算法和过滤技术提出了一种能精确和高效计算动力学问题中矩阵函数的算法.借助对截断误差和过滤引误差的分析,探究了计算中的误差增长规律,并基于此给出了自适应过滤阈值,使得提出的算法能更加高效地达到与原PS算法相似的精度.数值实验采用了包括30个不同带宽的随机矩阵,10个复杂网络动力学问题中的邻接矩阵来验证提出算法的效率与精度.数值实验的结果表明,提出的算法在计算所考虑的动力学问题的矩阵函数时能获得良好的精度和效率.

关键词：网络动力学矩阵函数动力学问题高效算法邻接矩阵随机矩阵截断误差过滤技术

来源：评论

学校读者我要写书评

暂无评论

Effective distributed algorithm for solving linear matrix equations

引用

science China(Information sciences) 2023年第8期66卷 265-266页

作者： Songsong CHENG Jinlong LEI Xianlin ZENG Yuan FAN Yiguang HONG Anhui Engineering Laboratory of Human-Robot Integration System and Intelligent Equipment School of Electrical Engineering and Automation Anhui University Department of Control Science and Engineering Tongji University Key Laboratory of Intelligent Control and Decision of Complex Systems School of AutomationBeijing Institute of Technology

Dear editor,Solving linear matrix equations is a basic and important problem in many fields such as the computation of generalized inverses of matrices and(generalized) Sylvester equations. Also, the linear algebraic ...

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：