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

Heterogeneous Image Knowledge Driven Visual Perception

IEEE/CAA Journal of Automatica Sinica 2024年第1期11卷 255-257页

作者： Lan Yan Wenbo Zheng Fei-Yue Wang IEEE the College of Computer Science and Electronic Engineering Hunan UniversityChangsha 410082China the School of Computer Science and Artificial Intelligence Wuhan University of TechnologyWuhan 430070China the State Key Laboratory for Management and Control of Complex Systems Institute of AutomationChinese Academy of SciencesBeijing 100190China

Dear Editor,This letter is concerned with visual perception closely related to heterogeneous *** the huge challenge brought by different image modalities,we propose a visual perception framework based on heterogeneous image knowledge,i.e.,the domain knowledge associated with specific vision tasks,to better address the corresponding visual perception problems.

关键词： Visual visual knowledge

来源：评论

学校读者我要写书评

暂无评论

CCMOP: A Runtime Verification Tool for C/C++ Programs 23rd

CCMOP: A Runtime Verification Tool for C/C++ Programs

引用

23rd International Conference on Runtime Verification, RV 2023

作者： Xing, Yongchao Chen, Zhenbang Xu, Shibo Zhang, Yufeng College of Computer National University of Defense Technology Changsha China Key Laboratory of Software Engineering for Complex Systems National University of Defense Technology Changsha China College of Computer Science and Electronic Engineering Hunan University Changsha China

ISBN: (纸本)9783031442667

Runtime verification (RV) is an effective lightweight formal method for improving software’s reliability at runtime. There exist no RV tools specially designed for C++ programs. This paper introduces the first one, i.e., CCMOP, which implements an AOP-based RV approach and supports the RV of general properties for C/C++ program. CCMOP provides an AOP language specially designed for C++ program to define the events in RV. The instrumentation of RV monitor is done at AST-level, which improves the efficiency of compilation and the accuracy of RV. CCMOP is implemented based on JavaMOP and an industrial-strength compiler. The results of extensive experiments on 100 real-world C/C++ programs (5584.3K LOCs in total) indicate that CCMOP is robust and supports the RV of real-world C/C++ programs. © 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.

关键词： C++ (programming language)

来源：评论

学校读者我要写书评

暂无评论

Interference-assisted energy harvesting short packet communications with hardware impairments

引用

International Journal of Intelligent Networks 2024年第1期5卷 231-240页

作者： Chen, Dechuan Li, Jin Hu, Jianwei Zhang, Xingang Zhang, Shuai Wang, Dong College of Physics and Electronic Engineering Nanyang Normal University Nanyang473061 China Ministry of Education Nanjing210003 China National Key Laboratory for Complex Systems Simulation Beijing100101 China College of Computer Science and Technology Nanyang Normal University Nanyang473061 China

Radio frequency energy harvesting offers a promising solution to provide low power Internet of Things (IoT) devices with convenient and perpetual energy supply. In this work, we investigate the reliable performance of an energy-constrained transmitter communicating with a receiver over Nakagami-m channel, where the effects of transceiver hardware impairments and finite blocklength coding are jointly considered. Specifically, the communication link between the transmitter and receiver operates within the coverage of an existing wireless system, with radio frequency signal from the existing system serving as an energy signal for the transmitter while acting as an interference signal for the receiver. By utilizing the finite-blocklength information theory, we first derive average block error rate (BLER) and asymptotic average BLER in closed-form expressions, which enable us to quantify the extent of reliability loss. Then, we analyze effective throughput of the system, and determine the optimal blocklength that maximizes the effective throughput. computer simulations are employed to validate the accuracy of our analytical findings, demonstrating the presence of an outage threshold solely due to hardware impairments. Furthermore, if transmission rate exceeds the outage threshold defined by the level of hardware impairments, reliable communication within the system under consideration cannot be achieved, regardless of the transmit signal-to-noise ratio (SNR). © 2024 The Authors

关键词： Energy harvesting

来源：评论

学校读者我要写书评

暂无评论

An Abstract Domain of Linear Templates with Disjunctive Right-Hand-Side Intervals 9th

An Abstract Domain of Linear Templates with Disjunctive Ri...

引用

9th International Symposium on Dependable software engineering: Theories, Tools and Applications, SETTA 2023

作者： Xu, Han Chen, Liqian Fan, Guangsheng Yin, Banghu Wang, Ji College of Computer National University of Defense Technology Changsha410073 China Hunan Key Laboratory of Software Engineering for Complex Systems Changsha410073 China HPCL National University of Defense Technology Changsha410073 China College of Systems Engineering National University of Defense Technology Changsha410073 China

ISBN: (纸本)9789819986637

Abstract interpretation provides a general framework for analyzing the value ranges of program variables while ensuring soundness. Abstract domains are at the core of the abstract interpretation framework, and the numerical abstract domains aiming at analyzing numerical properties have received extensive attention. The template constraint matrix domain (also called the template polyhedra domain) is widely used due to its configurable constraint matrix (describing limited but user-concerned linear relationships among variables) and its high efficiency. However, it cannot express non-convex properties that appear naturally due to the inherent disjunctive behaviors in a program. In this paper, we introduce a new abstract domain, namely the abstract domain of linear templates with disjunctive right-hand-side intervals, in the form of ∑iaixi∈⋁j=0p[cj,dj] (where ai ’s and p are configurable and fixed before conducting analysis). Experimental results of our prototype are encouraging: In practice, the new abstract domain can find interesting non-convex invariants that are out of the expressiveness of the classic template constraint matrix abstract domain. © 2024, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Abstract domain Abstract interpretation Invariant Template constraint matrix

来源：评论

学校读者我要写书评

暂无评论

Computational Experiments for complex Social systems:Experiment Design and Generative Explanation

引用

IEEE/CAA Journal of Automatica Sinica 2024年第4期11卷 1022-1038页

作者： Xiao Xue Deyu Zhou Xiangning Yu Gang Wang Juanjuan Li Xia Xie Lizhen Cui Fei-Yue Wang the School of Computer Software College of Intelligence and ComputingTianjin UniversityTianjin 300350China the School of Software and the Joint SDUNTU Centre for Artificial Intelligence Research(C-FAIR) Shandong UniversityJinan 250101China the Information School Xi’an University of Financial and EconomicsXi’an 710100China the State Key Laboratory of Multimodal Artificial Intelligence Systems Institute of AutomationChinese Academy of SciencesBeijing 100190China Hainan University Haikou 570228China the State Key Laboratory for Management and Control of Complex Systems Institute of AutomationChinese Academy of SciencesBeijing 1001901China

Powered by advanced information technology,more and more complex systems are exhibiting characteristics of the cyber-physical-social systems(CPSS).In this context,computational experiments method has emerged as a novel approach for the design,analysis,management,control,and integration of CPSS,which can realize the causal analysis of complex systems by means of“algorithmization”of“counterfactuals”.However,because CPSS involve human and social factors(e.g.,autonomy,initiative,and sociality),it is difficult for traditional design of experiment(DOE)methods to achieve the generative explanation of system *** address this challenge,this paper proposes an integrated approach to the design of computational experiments,incorporating three key modules:1)Descriptive module:Determining the influencing factors and response variables of the system by means of the modeling of an artificial society;2)Interpretative module:Selecting factorial experimental design solution to identify the relationship between influencing factors and macro phenomena;3)Predictive module:Building a meta-model that is equivalent to artificial society to explore its operating ***,a case study of crowd-sourcing platforms is presented to illustrate the application process and effectiveness of the proposed approach,which can reveal the social impact of algorithmic behavior on“rider race”.

关键词： Agent-based modeling computational experiments cyber-physical-social systems(CPSS) generative deduction generative experiments meta model

来源：评论

学校读者我要写书评

暂无评论

F-IKOS: An Abstract Interpretation-based Static Analyzer for Fortran Programs 12

F-IKOS: An Abstract Interpretation-based Static Analyzer for...

引用

12th International Workshop on Quantitative Approaches to software Quality, QuASoQ 2024

作者： Zou, Sheng Chen, Liqian Fan, Guangsheng Huang, Renjie Yin, Banghu College of Computer Science and Technology National University of Defense Technology Changsha410073 China State Key Laboratory of Complex & Critical Software Environment Changsha410073 China College of Systems Engineering National University of Defense Technology Changsha410073 China

The Fortran programming language is widely utilized in numerical computation and scientific computing. Fortran programs are prone to potential runtime errors related to numerical properties due to the large number of numerical operations. In this paper, we present F-IKOS, an abstract interpretation-based static analyzer for Fortran programs on top of IKOS, which soundly handles floating-point types in Fortran programs. Firstly, we translate Fortran programs to LLVM IR using compiler front-end Flang. After that, we extend IKOS to support sound floating-point analysis and then employ it to analyze the translated LLVM IR. Particularly, when analyzing floating-point types in programs, we first abstract floating-point expressions into real-number expressions with interval coefficients, and then linearize these expressions into real-number expressions with scalar coefficients. These linear expressions are subsequently handled by abstract domains originally designed for real-number types to produce sound analysis results. We have conducted experiments on representative Fortran programs to show the efficiency and effectiveness of F-IKOS. The experimental results are encouraging: F-IKOS soundly analyzes runtime errors in complex programs, outperforming other analyzers. © 2024 Copyright for this paper by its authors. Use permitted under Creative Commons License Attribution 4.0 International (CC BY 4.0).

关键词： FORTRAN (programming language)

来源：评论

学校读者我要写书评

暂无评论

Formal Verification Based Synthesis for Behavior Trees 9th

Formal Verification Based Synthesis for Behavior Trees

引用

9th International Symposium on Dependable software engineering: Theories, Tools and Applications, SETTA 2023

作者： Hong, Weijiang Chen, Zhenbang Li, Minglong Li, Yuhan Huang, Peishan Wang, Ji College of Computer National University of Defense Technology Changsha China Key Laboratory of Software Engineering for Complex Systems National University of Defense Technology Changsha China Institute for Quantum Information & State Key Laboratory of High Performance Computing National University of Defense Technology Changsha China

ISBN: (纸本)9789819986637

Behavior trees (BTs) have been extensively applied in the area of both computer games and robotics, as the control architectures. However, the construction of BTs is labor-expensive, time-consuming, and even impossible as the complexity of task increases. In this work, we propose a formal verification based synthesis method to automatically construct BTs whose behaviors satisfy the given Linear Temporal Logic (LTL) specifications. Our method first explores candidate BTs by a grammar-based Monte Carlo Tree Search (MCTS), then the explored BTs are transformed into Communicating Sequential Processes (CSP) models. After that, we invoke the verifier to check the models’ correctness w.r.t. specifications, and provide feedback based on the verification result for guiding the search process. The application of our method on several representative robotic missions indicates its promising. © 2024, The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd.

关键词： Behavior Trees CSP MCTS Synthesis

来源：评论

学校读者我要写书评

暂无评论

Detecting Duplicate Contributions in Pull-Based Model CombiningTextual and Change Similarities

引用

Journal of computer Science & Technology 2021年第1期36卷 191-206页

作者： Zhi-Xing Li Yue Yu Tao Wang Gang Yin Xin-Jun Mao Huai-Min Wang Key Laboratory of Parallel and Distributed Computing College of ComputerNational University of Defense Technology Changsha 410073China Laboratory of Software Engineering for Complex Systems College of ComputerNational University of Defense TechnologyChangsha 410073China

Communication and coordination between OSS developers who do not work physically in the same location have always been the challenging *** pull-based development model,as the state-of-art collaborative development mechanism,provides high openness and transparency to improve the visibility of contributors'***,duplicate contributions may still be submitted by more than one contributors to solve the same problem due to the parallel and uncoordinated nature of this *** not detected in time,duplicate pull-requests can cause contributors and reviewers to waste time and energy on redundant *** this paper,we propose an approach combining textual and change similarities to automatically detect duplicate contributions in pull-based model at submission *** a new-arriving contribution,we first compute textual similarity and change similarity between it and other existing *** then our method returns a list of candidate duplicate contributions that are most similar with the new contribution in terms of the combined textual and change *** evaluation shows that 83.4%of the duplicates can be found in average when we use the combined textual and change similarity compared to 54.8%using only textual similarity and 78.2%using only change similarity.

关键词： Pull-request Duplicate detection textual similarity change similarity

来源：评论

学校读者我要写书评

暂无评论

Deep learning based water leakage detection for shield tunnel lining

引用

Frontiers of Structural and Civil engineering 2024年第6期18卷 887-898页

作者： Shichang LIU Xu XU Gwanggil JEON Junxin CHEN Ben-Guo HE College of Computer Science Sichuan UniversityChengdu 610065China School of Computer Science and Engineering Northeastern UniversityShenyang 110004China Department of Embedded Systems Engineering Incheon National UniversityIncheon 22012Korea School of Software Dalian University of TechnologyDalian 116621China Key Laboratory of Ministry of Education on Safe Mining of Deep Metal Mines Northeastern UniversityShenyang 110819China

Shield tunnel lining is prone to water leakage,which may further bring about corrosion and structural damage to the walls,potentially leading to dangerous *** avoid tedious and inefficient manual inspection,many projects use artificial intelligence(Al)to detect cracks and water leakage.A novel method for water leakage inspection in shield tunnel lining that utilizes deep learning is introduced in this *** proposal includes a ConvNeXt-S backbone,deconvolutional-feature pyramid network(D-FPN),spatial attention module(SPAM).and a detection *** can extract representative features of leaking areas to aid inspection *** further improve the model's robustness,we innovatively use an inversed low-light enhancement method to convert normally illuminated images to low light ones and introduce them into the training *** experiments are performed,achieving the average precision(AP)score of 56.8%,which outperforms previous work by a margin of 5.7%.Visualization illustrations also support our method's practical effectiveness.

关键词： water leakage detection deep learning deconvolutional-feature pyramid spatial attention

来源：评论

学校读者我要写书评

暂无评论

Transformer-Based Scenario Generation of Multi-segment Monotonic Increasing Bidding Curves of Power Plants

Transformer-Based Scenario Generation of Multi-segment Monot...

引用

International Conference of Electrical, Electronic and Networked Energy systems, EENES 2024

作者： Xie, Haochuan Lv, Jianhu Wang, Ying Yuan, Kun College of Software Southeast University Suzhou China China Electric Power Research Institute Beijing China Key Laboratory of Measurement and Control of Complex Systems of Engineering Ministry of Education Southeast University Nanjing China

ISBN: (纸本)9789819618637

With the relaxation of electricity market regulation, power plants are permitted to engage in bidding. The bidding outcomes in the competitive market differ significantly from those in the previously regulated market. These differences in bidding outcomes will further impact power flow and system security. To provide a reference for practical electricity market operations, make market simulation more realistic, it is crucial to analyze and establish a model to simulate the bidding behavior of power generators. This paper applies Transformer networks to predict multi-segment bidding behaviors of power plants, we have improved the classic Transformer network by adopting a one encoder-two decoder format, considering six key factors influencing bidding behavior: unit ID, fuel type, capacity, location, system load, and load ratio. Additionally, monotonicity of the multi-segment bidding curves of power plants is taken into account, and monotonicity loss functions are introduced to achieve this goal. We apply this method to predict bidding behaviors in power plants in the Australian electricity market, validating the accuracy of the model. © Beijing Paike Culture Commu. Co., Ltd. 2025.

关键词： bidding curves generation monotonicity constraint power market Transformer-based

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：