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

arXiv 2025年

作者： Kolthoff, Kristian Kretzer, Felix Bartelt, Christian Maedche, Alexander Ponzetto, Simone Paolo Institute for Software and Systems Engineering Clausthal University of Technology Clausthal Germany Human-Centered Systems Lab Karlsruhe Institute of Technology Karlsruhe Germany Data and Web Science Group University of Mannheim Mannheim Germany

Graphical user interface (GUI) prototyping serves as one of the most valuable techniques for enhancing the elicitation of requirements, facilitating the visualization and refinement of customer needs and closely integrating the customer into the development activities. While GUI prototyping has a positive impact on the software development process, it simultaneously demands significant effort and resources. The emergence of Large Language Models (LLMs) with their impressive code generation capabilities offers a promising approach for automating GUI prototyping. Despite their potential, there is a gap between current LLM-based prototyping solutions and traditional user-based GUI prototyping approaches which provide visual representations of the GUI prototypes and direct editing functionality. In contrast, LLMs and related generative approaches merely produce text sequences or non-editable image output, which lacks both mentioned aspects and therefore impede supporting GUI prototyping. Moreover, minor changes requested by the user typically lead to an inefficient regeneration of the entire GUI prototype when using LLMs directly. In this work, we propose GUIDE, a novel LLM-driven GUI generation decomposition approach seamlessly integrated into the popular prototyping framework Figma. Our approach initially decomposes high-level GUI descriptions into fine-granular GUI requirements, which are subsequently translated into Material Design GUI prototypes, enabling higher controllability and more efficient adaption of changes. To efficiently conduct prompting-based generation of Material Design GUI prototypes, we propose a retrieval-augmented generation (RAG) approach to integrate the component library. Our preliminary evaluation demonstrates the effectiveness of GUIDE in bridging the gap between LLM generation capabilities and traditional GUI prototyping workflows, offering a more effective and controlled user-based approach to LLM-driven GUI prototyping. Video presentation

关键词： Graphical user interfaces

来源：评论

学校读者我要写书评

暂无评论

WASMDYPA: Effectively Detecting WebAssembly Bugs via Dynamic Program Analysis

WASMDYPA: Effectively Detecting WebAssembly Bugs via Dynamic...

引用

IEEE International Conference on software Quality, Reliability and Security Companion (QRS-C)

作者： Wenlong Zheng Baojian Hua Zhuochen Jiang School of Software Engineering University of Science and Technology of China China Suzhou Institute for Advanced Research University of Science and Technology of China China

Safe binary execution is a crucial requirement in to- day's security-critical computing infrastructures. WebAssem- bly is an emerging language designed for safe binary execution that has been deployed in many security-critical domains, such as blockchain, edge computing, and clouds. However, WebAssembly's security guarantee is not a panacea, and recent studies have revealed a large spectrum of security issues such as integer overflows and memory vulnerabilities, leading to serious security hazards to WebAssembly applications. In this paper, we present Wasmdypa, the first automated bug detection framework for WebAssembly programs based on dynamic program analysis with three primary components: 1) an input generator for WebAssembly binaries; 2) static instrumentation hooks with extensible interfaces to record runtime information; and 3) dynamic program analysis al- gorithms as security plugins to detect vulnerabilities. We have implemented a software prototype for Wasmdypa, and have conducted experiments to evaluate the effectiveness, usefulness, performance of our approach. The experimental results demonstrated that WASMDYPA can accurately detect vulnerabilities with an 88.24% precision and a 93.75% recall. Furthermore, WASMDYPA detected 56 bugs in real-world WebAssembly programs, including 2 integer overflows and 54 memory bugs.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Patterns of Recreating Reality in Games 22

Patterns of Recreating Reality in Games

引用

Proceedings of the 29th Conference on Pattern Languages of Programs

作者： Branislava Vranić Valentino Vranić Institute of Informatics Information Systems and Software Engineering Faculty of Informatics and Information Technologies Slovak University of Technology in Bratislava

ISBN: (纸本)9781941652183

There are various ways of how reality is recreated in games. These patterns recur in within a single game and throughout many games. There are contradictory forces that lead to a solution that can be reused. Clearly, these ways of recreating reality in games exhibit the properties of patterns in the Alexandrian sense, that heavily influenced the area of software development. Identifying the patterns of recreating reality in games is important in order to develop entertaining and interesting games that people will enjoy playing. Implementing them can greatly improve the quality of games. Furthermore, the patterns are flexible, thus they can be used in many creative ways. For games to be enjoyable and plausible, the reality within them needs to be recreated. Good practices in achieving this can be captured as patterns in the Alexandrian sense. This paper brings in the idea of patterns of recreating reality in games, the connections between them, how they are implemented, and how to apply them. Five patterns mined in Minecraft and other successful games are presented---The Presence of an Enjoyable Challenge, Preservation of Progress, Flexibility of the Laws of Nature, Expansion of Inventory Limits, and Fast Travel---along with the relationships between them and examples of where they can be found. A story describing gameplay of Minecraft from a player's perspective has been used to show exact examples of these patterns.

关键词： drama patterns game design game patterns laws of nature minecraft patterns

来源：评论

学校读者我要写书评

暂无评论

Progressive Diversifying Policy for Multi-Agent Reinforcement Learning

Progressive Diversifying Policy for Multi-Agent Reinforcemen...

引用

International Conference on Acoustics, Speech, and Signal Processing (ICASSP)

作者： Shaoqi Sun Yuanzhao Zhai Kele Xu Dawei Feng Bo Ding National University of Defense Technology Changsha China Key Laboratory of Software Engineering for Complex Systems Changsha China

Multi-Agent Reinforcement Learning (MARL) has recently achieved promising performance in many collaborative decision making tasks. However, one of the main bottleneck challenges for MARL is the sparsity of the team reward, which can lead to the homogenization of agents’ behaviors. To address these issues, we propose a Progressive Diversifying Policy (PDP) algorithm in this paper. Specifically, we propose to actively amplify the diversity between agents’ policies during learning and exploit diversity as an additional intrinsic reward for MARL. Furthermore, we propose a progressive diversity boosting policy to find a better team policy. Leveraging the aforementioned improvements, our method can handle sparse team rewards and alleviate the homogeneous behaviors of agents. We conduct experiments on widely-used MARL environments and the results show that PDP can provide state-of-the-art performance while maintaining a competitive convergence speed.

关键词： Decision making Collaboration Signal processing algorithms Reinforcement learning Diversity methods Signal processing Boosting

来源：评论

学校读者我要写书评

暂无评论

Optimizing Existing SHM systems: Retasking as a Self-Healing Solution for Improved Fault Tolerance

Optimizing Existing SHM Systems: Retasking as a Self-Healing...

引用

Emerging Smart Computing and Informatics (ESCI), Conference on

作者： Aaron Mano Cherian D. Ajitha Avanish Gouraha Dipanshu Mandal School of Computer Science and Engineering (SCOPE) Vellore Institute of Technology Vellore Tamilnadu India Department of Software Systems School of Computer Science and Engineering (SCOPE) Vellore Institute of Technology Vellore Tamilnadu India

ISBN: (数字)9798331515683

ISBN: (纸本)9798331515690

This paper focuses on self-healing algorithms in structural health monitoring (SHM) systems centered around the enhancement of resilience and adaptability of the systems. In this study, imports from existing methods (clustering, Fault Tolerant Multiple Redundancy (FTMR) and reinforcement learning) are analyzed against the choice of creating a novel retasking algorithm designed for dynamic resource redistribution and optimal monitoring coverage. Unlike conventional methods, retasking will allow adapting the coverage in real time, whereby system down time will be reduced, with less computational load achieved through task redistribution through functional sensors. Findings showed that retasking improved reliability and scalability of the SHM systems drastically, providing a simple yet powerful resolution towards modern infrastructure monitoring. This study stresses the retasking capability to redefine self-healing in the SHM systems for future directions in infrastructure safety.

关键词： Training Heuristic algorithms Fault tolerant systems Redundancy Clustering algorithms Reinforcement learning Solids Real-time systems Monitoring Stress

来源：评论

学校读者我要写书评

暂无评论

Self-supervised Scene Text Segmentation with Object-centric Layered Representations Augmented by Text Regions

arXiv

引用

arXiv 2023年

作者： Wang, Yibo Ye, Yunhu Mao, Yuanpeng Yu, Yanwei Song, Yuanping School of Software Engineering University of Science and Technology of China China Suzhou Institute for Advanced Research University of Science and Technology of China China

Text segmentation tasks have a very wide range of application values, such as image editing, style transfer, watermark removal, etc. However, existing public datasets are of poor quality of pixel-level labels that have been shown to be notoriously costly to acquire, both in terms of money and time. At the same time, when pretraining is performed on synthetic datasets, the data distribution of the synthetic datasets is far from the data distribution in the real scene. These all pose a huge challenge to the current pixel-level text segmentation algorithms. To alleviate the above problems, we propose a self-supervised scene text segmentation algorithm with layered decoupling of representations derived from the object-centric manner to segment images into texts and background. In our method, we propose two novel designs which include Region Query Module and Representation Consistency Constraints adapting to the unique properties of text as complements to Auto Encoder, which improves the network's sensitivity to texts. For this unique design, we treat the polygon-level masks predicted by the text localization model as extra input information, and neither utilize any pixel-level mask annotations for training stage nor pretrain on synthetic datasets. Extensive experiments show the effectiveness of the method proposed. On several public scene text datasets, our method outperforms the state-of-the-art unsupervised segmentation algorithms. Copyright © 2023, The Authors. All rights reserved.

关键词： Pixels

来源：评论

学校读者我要写书评

暂无评论

Task-Specific Alignment and Multiple-level Transformer for Few-Shot Action Recognition

arXiv

引用

arXiv 2023年

作者： Guo, Fei Zhu, Li Wang, YiKang Sun, Jing School of Software Engineering Xi'an Jiaotong University China Shenzhen Institutes of Advanced Technology Chinese Academy of Sciences China

In the research field of few-shot learning, the main difference between image-based and video-based is the additional temporal dimension. In recent years, some works have used the Transformer to deal with frames, then get the attention feature and the enhanced prototype, and the results are competitive. However, some video frames may relate little to the action, and only using single frame-level or segment-level features may not mine enough information. We address these problems sequentially through an end-to-end method named "Task-Specific Alignment and Multiple-level Transformer Network (TSA-MLT)". The first module (TSA) aims at filtering the action-irrelevant frames for action duration alignment. Affine Transformation for frame sequence in the time dimension is used for linear sampling. The second module (MLT) focuses on the Multiple-level feature of the support prototype and query sample to mine more information for the alignment, which operations on different level features. We adopt a fusion loss according to a fusion distance that fuses the L2 sequence distance, which focuses on temporal order alignment, and the Optimal Transport distance, which focuses on measuring the gap between the appearance and semantics of the videos. Extensive experiments show our method achieves state-of-the-art results on the HMDB51 and UCF101 datasets and a competitive result on the benchmark of Kinetics and something-2-something V2 datasets. Our code will be available at the URL: https://***/cofly2014/***. Copyright © 2023, The Authors. All rights reserved.

关键词： Alignment

来源：评论

学校读者我要写书评

暂无评论

Dynamic Topology Management In Ad-Hoc Networks For Improved Performance 2

Dynamic Topology Management In Ad-Hoc Networks For Improved ...

引用

2nd IEEE International Conference on Advances in Information technology, ICAIT 2024

作者： Anakath, A.S. Kannadasan, R. Margarat, G. Simi Pandian, A. Pasumpon Antony Sibiya Varghese, V. Department of Computer Science and Engineering Saveetha School of Engineering Saveetha Institute of Medical and Technical Sciences Tamil Nadu Chennai India Department of Software Systems School of Computer Science and Engineering Vellore Institute of Technology VIT University Tamil Nadu Vellore India Department of Computer Science and Engineering New Prince Shri Bhavani College of Engineering and Technology Tamil Nadu Chennai India Department of Computer Science and Engineering CARE College of Engineering Trichy India Department of Artificial Intelligence and Data Science GRT Institute of Engineering and Technology Tamil Nadu Tiruttani India

ISBN: (纸本)9798350383867

Optimization in ad hoc networks is a highly specialized task because the structure of the network is loosely formed, and each node is independently responsible for its operation. In order to obtain a better result from this solely formed networks this report offer extensive Dynamic Topology Management (DTM) method. Dynamic routing protocols lager lines, dividend balancing, Life-saving administration, guarantee of reliability, cross-layer design, security aspects and the on-time monitoring and discovery of topology changes are the main objectives and steps to be accomplished. Real-time Location monitoring and forest structure discovery are made possible by employing adaptive routing protocols, namely Dynamic Source Routing(DSR) and Ad-Hoc On-Demand Distance Vector(AODV). Also, the algorithms are capable of making advance adjustments to routing routes and resource allocations drawn from the mobility patterns forecasting which is vital. Load balancing methods, which distribute traffic in a network evenly, enable the system to run efficiently and avoid problems caused by overloading. Algorithms that are energy-efficient and make the best use of energy resources having their topology's optimized are introduced to the streamlined energy distribution systems. These algorithms are focused on the node's energy level. Through fault tolerance techniques which recognize and handle failures in nodes and partitioned networks, connectedness activity is a continuous one. Through QoS perception, the network topology might automatically be tailored to conform to the given quality criteria, thus not restricting the choice for differing applications. The proposed could have defenses against adversary nodes and their potential DDoS attacks which will enhance network protection. Yet another advantage of an architectural style that promotes cross-layer collaboration is enhanced topology management which is the goal around which the functions of various levels of the protocol stack revolve

关键词： Decision making

来源：评论

学校读者我要写书评

暂无评论

VMCanary: Effective Memory Protection for WebAssembly via Virtual Machine-assisted Approach

VMCanary: Effective Memory Protection for WebAssembly via Vi...

引用

IEEE International Conference on software Quality, Reliability and Security (QRS)

作者： Ziyao Zhang Wenlong Zheng Baojian Hua Qiliang Fan Zhizhong Pan School of Software Engineering University of Science and Technology of China China Suzhou Institute for Advanced Research University of Science and Technology of China China

WebAssembly is an emerging secure programming language and portable instruction set architecture, and has been deployed in diverse security-critical scenarios due to its safety advantages. However, WebAssembly’s linear memory is still vulnerable to buffer overflows due to the lack of effective protection mechanism, defeating its security guarantees. In this paper, we present VMCanary, the first framework for effective WebAssembly memory protection, by leveraging a canary approach but with the aid from WebAssembly virtual machines (VMs). Our key idea is that, due to the fact that WebAssembly is a managed programming language to be executed by underlying WebAssembly VMs, the VMs must understand any protection mechanisms already enforced in programs. With this key idea, we first propose the concept of canary in code, which is like a traditional canary in data but whose semantics is understandable by underlying WebAssembly VMs. To realize this kind of canary, we introduced two novel WebAssembly instructions by defining their semantics. Furthermore, we designed an instrumentation for WebAssembly binaries to instrument these two instructions automatically, hence no sources and compiler toolchain modifications are required. We have implemented a software prototype for VMCanary, and have conducted extensive experiment to evaluate it on micro benchmarks and 59 real-world CWEs. Experimental results demonstrated that VMCanary is effective in protecting Wasm memory with negligible overhead (3% on average).

关键词：

来源：评论

学校读者我要写书评

暂无评论

Accelerating ab initio melting property calculations with machine learning:application to the high entropy alloy TaVCrW

引用

npj Computational Materials 2024年第1期10卷 328-338页

作者： Li-Fang Zhu Fritz Körmann Qing Chen Malin Selleby Jörg Neugebauer Blazej Grabowski Department for Computational Materials Design Max Planck Institute for Sustainable MaterialsMax-Planck-str.140237 DüsseldorfGermany Institute for Materials Science University of StuttgartPfaffenwaldring 5570569 StuttgartGermany Interdisciplinary Centre for Advanced Materials Simulation(ICAMS) Ruhr-Universität Bochum44801 BochumGermany Thermo-Calc Software AB Råsundavägen 18SE-16967 SolnaSweden Department of Materials Science and Engineering KTH Royal Institute of TechnologySE-10044StockholmSweden

Melting properties are critical for designing novel materials,especially for discovering highperformance,high-melting refractory *** measurements of these properties are extremely challenging due to their high melting *** theoretical predictions are,therefore,*** of the most accurate approaches for this purpose is the ab initio free-energy approach based on density functional theory(DFT).However,it generally involves expensive thermodynamic integration using ab initio molecular dynamic *** high computational cost makes high-throughput calculations ***,we propose a highly efficient DFT-based method aided by a specially designed machine learning *** the machine learning potential can closely reproduce the ab initio phase-space distribution,even for multi-component alloys,the costly thermodynamic integration can be fully substituted with more efficient free energy perturbation *** method achieves overall savings of computational resources by 80%compared to current *** apply the method to the high-entropy alloy TaVCrW and calculate its melting properties,including the melting temperature,entropy and enthalpy of fusion,and volume change at the melting ***,the heat capacities of solid and liquid TaVCrW are *** results agree reasonably with the CALPHAD extrapolated values.

关键词： alloy entropy high

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：