首页 > 最新文献

Tsinghua Science and Technology最新文献

英文 中文
CPT: A Configurable Predictability Testbed for DNN Inference in AVs CPT:用于 AV 中 DNN 推断的可配置预测性测试平台
IF 6.6 1区 计算机科学 Q1 Multidisciplinary Pub Date : 2024-09-11 DOI: 10.26599/TST.2024.9010037
Liangkai Liu;Yanzhi Wang;Weisong Shi
Predictability is an essential challenge for autonomous vehicles (AVs)‘ safety. Deep neural networks have been widely deployed in the AV's perception pipeline. However, it is still an open question on how to guarantee the perception predictability for AV because there are millions of deep neural networks (DNNs) model combinations and system configurations when deploying DNNs in AVs. This paper proposes configurable predictability testbed (CPT), a configurable testbed for quantifying the predictability in AV's perception pipeline. CPT provides flexible configurations of the perception pipeline on data, DNN models, fusion policy, scheduling policies, and predictability metrics. On top of CPT, the researchers can profile and optimize the predictability issue caused by different application and system configurations. CPT has been open-sourced at: https://github.com/Torreskai0722/CPT.
可预测性是自动驾驶汽车(AV)安全性面临的一项重要挑战。深度神经网络已被广泛应用于自动驾驶汽车的感知管道。然而,由于在 AV 中部署深度神经网络时存在数百万种深度神经网络(DNN)模型组合和系统配置,因此如何保证 AV 的感知可预测性仍是一个未决问题。本文提出了可配置可预测性测试平台(CPT),这是一种用于量化 AV 感知管道可预测性的可配置测试平台。CPT 对感知管道的数据、DNN 模型、融合策略、调度策略和可预测性指标进行了灵活配置。在 CPT 的基础上,研究人员可以剖析和优化由不同应用和系统配置引起的可预测性问题。CPT 已开源:https://github.com/Torreskai0722/CPT。
{"title":"CPT: A Configurable Predictability Testbed for DNN Inference in AVs","authors":"Liangkai Liu;Yanzhi Wang;Weisong Shi","doi":"10.26599/TST.2024.9010037","DOIUrl":"https://doi.org/10.26599/TST.2024.9010037","url":null,"abstract":"Predictability is an essential challenge for autonomous vehicles (AVs)‘ safety. Deep neural networks have been widely deployed in the AV's perception pipeline. However, it is still an open question on how to guarantee the perception predictability for AV because there are millions of deep neural networks (DNNs) model combinations and system configurations when deploying DNNs in AVs. This paper proposes configurable predictability testbed (CPT), a configurable testbed for quantifying the predictability in AV's perception pipeline. CPT provides flexible configurations of the perception pipeline on data, DNN models, fusion policy, scheduling policies, and predictability metrics. On top of CPT, the researchers can profile and optimize the predictability issue caused by different application and system configurations. CPT has been open-sourced at: https://github.com/Torreskai0722/CPT.","PeriodicalId":48690,"journal":{"name":"Tsinghua Science and Technology","volume":"30 1","pages":"87-99"},"PeriodicalIF":6.6,"publicationDate":"2024-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10676407","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142169645","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Deep-EERA: DRL-Based Energy-Efficient Resource Allocation in UAV-Empowered Beyond 5G Networks Deep-EERA: 在无人机驱动的超越 5G 网络中基于 DRL 的高能效资源分配
IF 6.6 1区 计算机科学 Q1 Multidisciplinary Pub Date : 2024-09-11 DOI: 10.26599/TST.2024.9010071
Shabeer Ahmad;Jinling Zhang;Ali Nauman;Adil Khan;Khizar Abbas;Babar Hayat
The rise of innovative applications, like online gaming, smart healthcare, and Internet of Things (IoT) services, has increased demand for high data rates and seamless connectivity, posing challenges for Beyond 5G (B5G) networks. There is a need for cost-effective solutions to enhance spectral efficiency in densely populated areas, ensuring higher data rates and uninterrupted connectivity while minimizing costs. Unmanned Aerial Vehicles (UAVs) as Aerial Base Stations (ABSs) offer a promising and cost-effective solution to boost network capacity, especially during emergencies and high-data-rate demands. Nevertheless, integrating UAVs into the B5G networks presents new challenges, including resource scarcity, energy efficiency, resource allocation, optimal power transmission control, and maximizing overall throughput. This paper presents a UAV-assisted B5G communication system where UAVs act as ABSs, and introduces the Deep Reinforcement Learning (DRL) based Energy Efficient Resource Allocation (Deep-EERA) mechanism. An efficient DRL-based Deep Deterministic Policy Gradient (DDPG) mechanism is introduced for optimal resource allocation with the twin goals of energy efficiency and average throughput maximization. The proposed Deep-EERA method learns optimal policies to conserve energy and enhance throughput within the dynamic and complex UAV-empowered B5G environment. Through extensive simulations, we validate the performance of the proposed approach, demonstrating that it outperforms other baseline methods in energy efficiency and throughput maximization.
在线游戏、智能医疗和物联网(IoT)服务等创新应用的兴起,增加了对高数据传输速率和无缝连接的需求,给超越 5G (B5G)网络带来了挑战。因此需要经济高效的解决方案来提高人口稠密地区的频谱效率,确保更高的数据传输速率和不间断的连接,同时最大限度地降低成本。作为空中基站(ABS)的无人飞行器(UAV)为提高网络容量提供了一种前景广阔且具有成本效益的解决方案,尤其是在紧急情况和高数据速率需求期间。然而,将无人机集成到 B5G 网络中会带来新的挑战,包括资源稀缺、能源效率、资源分配、最佳功率传输控制以及最大化整体吞吐量。本文介绍了无人机辅助 B5G 通信系统,其中无人机充当 ABS,并引入了基于深度强化学习(DRL)的高能效资源分配(Deep-EERA)机制。该研究引入了基于深度强化学习(DRL)的高效深度确定性策略梯度(DDPG)机制,用于优化资源分配,以实现能效和平均吞吐量最大化的双重目标。所提出的 Deep-EERA 方法可以学习最优策略,从而在动态、复杂的无人机供电 B5G 环境中节约能源并提高吞吐量。通过大量仿真,我们验证了所提方法的性能,证明它在能源效率和吞吐量最大化方面优于其他基线方法。
{"title":"Deep-EERA: DRL-Based Energy-Efficient Resource Allocation in UAV-Empowered Beyond 5G Networks","authors":"Shabeer Ahmad;Jinling Zhang;Ali Nauman;Adil Khan;Khizar Abbas;Babar Hayat","doi":"10.26599/TST.2024.9010071","DOIUrl":"https://doi.org/10.26599/TST.2024.9010071","url":null,"abstract":"The rise of innovative applications, like online gaming, smart healthcare, and Internet of Things (IoT) services, has increased demand for high data rates and seamless connectivity, posing challenges for Beyond 5G (B5G) networks. There is a need for cost-effective solutions to enhance spectral efficiency in densely populated areas, ensuring higher data rates and uninterrupted connectivity while minimizing costs. Unmanned Aerial Vehicles (UAVs) as Aerial Base Stations (ABSs) offer a promising and cost-effective solution to boost network capacity, especially during emergencies and high-data-rate demands. Nevertheless, integrating UAVs into the B5G networks presents new challenges, including resource scarcity, energy efficiency, resource allocation, optimal power transmission control, and maximizing overall throughput. This paper presents a UAV-assisted B5G communication system where UAVs act as ABSs, and introduces the Deep Reinforcement Learning (DRL) based Energy Efficient Resource Allocation (Deep-EERA) mechanism. An efficient DRL-based Deep Deterministic Policy Gradient (DDPG) mechanism is introduced for optimal resource allocation with the twin goals of energy efficiency and average throughput maximization. The proposed Deep-EERA method learns optimal policies to conserve energy and enhance throughput within the dynamic and complex UAV-empowered B5G environment. Through extensive simulations, we validate the performance of the proposed approach, demonstrating that it outperforms other baseline methods in energy efficiency and throughput maximization.","PeriodicalId":48690,"journal":{"name":"Tsinghua Science and Technology","volume":"30 1","pages":"418-432"},"PeriodicalIF":6.6,"publicationDate":"2024-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10676362","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142169652","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
BASIL: Binary Anchor-Based Smart Indoor Localization BASIL:基于二进制锚点的智能室内定位
IF 6.6 1区 计算机科学 Q1 Multidisciplinary Pub Date : 2024-09-11 DOI: 10.26599/TST.2024.9010008
Zhe Yang;Yanjun Li;Yufan Zhang;Yun Pan;Chung Shue Chen;Yi-hua Zhu
Indoor localization has been challenging research due to the invalidity of the global navigation satellite system in indoor scenarios. Recent advances in ambient assistive living have shown great power in detecting and locating persons living in their homes, especially using the ON/OFF binary sensors. In this paper, we exploit the Bluetooth low-energy beacons as device-based binary anchors under the lowest transmission power to turn any indoor activity and facility interaction into a binary location indicator. The binary anchors are fused with an extended Kalman filter based pedestrian dead-reckoning using a factor graph optimization, with extra constraints including the normalized magnetic loop closure which is optimized using an attenuation factor, and a rapidly-exploring random tree-based map collision validation. The proposed system provides a cost-effective, scalable, and robust localization for common indoor scenarios. The experimental results show an effective sub-meter precision for the long-term trajectories, and a small amount of anchors is enough for significant calibration in large scenarios.
由于全球导航卫星系统在室内场景中的无效性,室内定位一直是一项具有挑战性的研究。环境辅助生活领域的最新进展表明,特别是使用开/关二进制传感器,在检测和定位居住在家中的人方面具有巨大的威力。在本文中,我们利用蓝牙低能量信标作为基于设备的二进制锚点,以最低的传输功率将任何室内活动和设施互动转化为二进制位置指示器。二进制锚点与基于扩展卡尔曼滤波器的行人死区重定位融合在一起,使用因子图优化,并增加了额外的约束条件,包括使用衰减因子优化的归一化磁环闭合,以及基于快速探索随机树的地图碰撞验证。所提出的系统为常见的室内场景提供了一种经济高效、可扩展且稳健的定位方法。实验结果表明,长期轨迹的有效精度可达到亚米级,在大型场景中,少量的锚点就足以进行重要的校准。
{"title":"BASIL: Binary Anchor-Based Smart Indoor Localization","authors":"Zhe Yang;Yanjun Li;Yufan Zhang;Yun Pan;Chung Shue Chen;Yi-hua Zhu","doi":"10.26599/TST.2024.9010008","DOIUrl":"https://doi.org/10.26599/TST.2024.9010008","url":null,"abstract":"Indoor localization has been challenging research due to the invalidity of the global navigation satellite system in indoor scenarios. Recent advances in ambient assistive living have shown great power in detecting and locating persons living in their homes, especially using the ON/OFF binary sensors. In this paper, we exploit the Bluetooth low-energy beacons as device-based binary anchors under the lowest transmission power to turn any indoor activity and facility interaction into a binary location indicator. The binary anchors are fused with an extended Kalman filter based pedestrian dead-reckoning using a factor graph optimization, with extra constraints including the normalized magnetic loop closure which is optimized using an attenuation factor, and a rapidly-exploring random tree-based map collision validation. The proposed system provides a cost-effective, scalable, and robust localization for common indoor scenarios. The experimental results show an effective sub-meter precision for the long-term trajectories, and a small amount of anchors is enough for significant calibration in large scenarios.","PeriodicalId":48690,"journal":{"name":"Tsinghua Science and Technology","volume":"30 1","pages":"1-17"},"PeriodicalIF":6.6,"publicationDate":"2024-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10676357","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142169637","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Convolutional Neural Network Image Classification Based on Different Color Spaces 基于不同色彩空间的卷积神经网络图像分类
IF 6.6 1区 计算机科学 Q1 Multidisciplinary Pub Date : 2024-09-11 DOI: 10.26599/TST.2024.9010001
Zixiang Xian;Rubing Huang;Dave Towey;Chuan Yue
Although Convolutional Neural Networks (CNNs) have achieved remarkable success in image classification, most CNNs use image datasets in the Red-Green-Blue (RGB) color space (one of the most commonly used color spaces). The existing literature regarding the influence of color space use on the performance of CNNs is limited. This paper explores the impact of different color spaces on image classification using CNNs. We compare the performance of five CNN models with different convolution operations and numbers of layers on four image datasets, each converted to nine color spaces. We find that color space selection can significantly affect classification accuracy, and that some classes are more sensitive to color space changes than others. Different color spaces may have different expression abilities for different image features, such as brightness, saturation, hue, etc. To leverage the complementary information from different color spaces, we propose a pseudo-Siamese network that fuses two color spaces without modifying the network architecture. Our experiments show that our proposed model can outperform the single-color-space models on most datasets. We also find that our method is simple, flexible, and compatible with any CNN and image dataset.
虽然卷积神经网络(CNN)在图像分类方面取得了显著成就,但大多数 CNN 使用的图像数据集都是红绿蓝(RGB)色彩空间(最常用的色彩空间之一)。关于色彩空间的使用对 CNN 性能影响的现有文献十分有限。本文探讨了不同色彩空间对使用 CNN 进行图像分类的影响。我们在四个图像数据集上比较了具有不同卷积操作和层数的五个 CNN 模型的性能,每个数据集都转换为九种色彩空间。我们发现,色彩空间的选择会显著影响分类准确性,而且某些类别对色彩空间的变化比其他类别更敏感。对于不同的图像特征,如亮度、饱和度、色调等,不同的色彩空间可能有不同的表达能力。为了充分利用不同色彩空间的互补信息,我们提出了一种伪暹罗网络(pseudo-Siamese network),它能在不修改网络架构的情况下融合两种色彩空间。实验表明,我们提出的模型在大多数数据集上都优于单一色彩空间模型。我们还发现,我们的方法简单、灵活,可与任何 CNN 和图像数据集兼容。
{"title":"Convolutional Neural Network Image Classification Based on Different Color Spaces","authors":"Zixiang Xian;Rubing Huang;Dave Towey;Chuan Yue","doi":"10.26599/TST.2024.9010001","DOIUrl":"https://doi.org/10.26599/TST.2024.9010001","url":null,"abstract":"Although Convolutional Neural Networks (CNNs) have achieved remarkable success in image classification, most CNNs use image datasets in the Red-Green-Blue (RGB) color space (one of the most commonly used color spaces). The existing literature regarding the influence of color space use on the performance of CNNs is limited. This paper explores the impact of different color spaces on image classification using CNNs. We compare the performance of five CNN models with different convolution operations and numbers of layers on four image datasets, each converted to nine color spaces. We find that color space selection can significantly affect classification accuracy, and that some classes are more sensitive to color space changes than others. Different color spaces may have different expression abilities for different image features, such as brightness, saturation, hue, etc. To leverage the complementary information from different color spaces, we propose a pseudo-Siamese network that fuses two color spaces without modifying the network architecture. Our experiments show that our proposed model can outperform the single-color-space models on most datasets. We also find that our method is simple, flexible, and compatible with any CNN and image dataset.","PeriodicalId":48690,"journal":{"name":"Tsinghua Science and Technology","volume":"30 1","pages":"402-417"},"PeriodicalIF":6.6,"publicationDate":"2024-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10676405","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142169647","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Betweenness Approximation for Edge Computing with Hypergraph Neural Networks 利用超图神经网络进行边缘计算的间隔近似法
IF 6.6 1区 计算机科学 Q1 Multidisciplinary Pub Date : 2024-09-11 DOI: 10.26599/TST.2023.9010106
Yaguang Guo;Wenxin Xie;Qingren Wang;Dengcheng Yan;Yiwen Zhang
Recent years have seen growing demand for the use of edge computing to achieve the full potential of the Internet of Things (IoTs), given that various IoT systems have been generating big data to facilitate modern latency-sensitive applications. Network Dismantling (ND), which is a basic problem, attempts to find an optimal set of nodes that will maximize the connectivity degradation in a network. However, current approaches mainly focus on simple networks that model only pairwise interactions between two nodes, whereas higher-order groupwise interactions among an arbitrary number of nodes are ubiquitous in the real world, which can be better modeled as hypernetwork. The structural difference between a simple and a hypernetwork restricts the direct application of simple ND methods to a hypernetwork. Although some hypernetwork centrality measures (e.g., betweenness) can be used for hypernetwork dismantling, they face the problem of balancing effectiveness and efficiency. Therefore, we propose a betweenness approximation-based hypernetwork dismantling method with a Hypergraph Neural Network (HNN). The proposed approach, called “HND”, trains a transferable HNN-based regression model on plenty of generated small-scale synthetic hypernetworks in a supervised way, utilizing the well-trained model to approximate the betweenness of the nodes. Extensive experiments on five actual hypernetworks demonstrate the effectiveness and efficiency of HND compared with various baselines.
近年来,由于各种物联网系统不断产生大数据以促进对延迟敏感的现代应用,人们对使用边缘计算以充分发挥物联网(IoTs)潜力的需求日益增长。网络拆解(ND)是一个基本问题,它试图找到一组最佳节点,最大限度地降低网络中的连接性。然而,目前的方法主要集中在简单网络上,这种网络只模拟两个节点之间的成对交互,而在现实世界中,任意数量节点之间的高阶成组交互无处不在,这种网络可以更好地模拟为超网络。简单网络和超网络在结构上的差异限制了简单 ND 方法在超网络中的直接应用。虽然一些超网络中心度量(如网络间度)可用于超网络的解构,但它们面临着兼顾有效性和效率的问题。因此,我们利用超图神经网络(HNN)提出了一种基于间度近似的超网络拆除方法。我们提出的方法被称为 "HND",它以监督的方式在大量生成的小规模合成超网络上训练基于 HNN 的可转移回归模型,并利用训练有素的模型来近似节点间距。在五个实际超网络上进行的大量实验证明,与各种基线相比,HND 的效果和效率都很高。
{"title":"Betweenness Approximation for Edge Computing with Hypergraph Neural Networks","authors":"Yaguang Guo;Wenxin Xie;Qingren Wang;Dengcheng Yan;Yiwen Zhang","doi":"10.26599/TST.2023.9010106","DOIUrl":"https://doi.org/10.26599/TST.2023.9010106","url":null,"abstract":"Recent years have seen growing demand for the use of edge computing to achieve the full potential of the Internet of Things (IoTs), given that various IoT systems have been generating big data to facilitate modern latency-sensitive applications. Network Dismantling (ND), which is a basic problem, attempts to find an optimal set of nodes that will maximize the connectivity degradation in a network. However, current approaches mainly focus on simple networks that model only pairwise interactions between two nodes, whereas higher-order groupwise interactions among an arbitrary number of nodes are ubiquitous in the real world, which can be better modeled as hypernetwork. The structural difference between a simple and a hypernetwork restricts the direct application of simple ND methods to a hypernetwork. Although some hypernetwork centrality measures (e.g., betweenness) can be used for hypernetwork dismantling, they face the problem of balancing effectiveness and efficiency. Therefore, we propose a betweenness approximation-based hypernetwork dismantling method with a Hypergraph Neural Network (HNN). The proposed approach, called “HND”, trains a transferable HNN-based regression model on plenty of generated small-scale synthetic hypernetworks in a supervised way, utilizing the well-trained model to approximate the betweenness of the nodes. Extensive experiments on five actual hypernetworks demonstrate the effectiveness and efficiency of HND compared with various baselines.","PeriodicalId":48690,"journal":{"name":"Tsinghua Science and Technology","volume":"30 1","pages":"331-344"},"PeriodicalIF":6.6,"publicationDate":"2024-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10676406","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142169668","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
CamDroid: Context-Aware Model-Based Automated GUI Testing for Android Apps CamDroid:基于上下文感知模型的 Android 应用程序图形用户界面自动测试
IF 6.6 1区 计算机科学 Q1 Multidisciplinary Pub Date : 2024-09-11 DOI: 10.26599/TST.2024.9010038
Hongyi Wang;Yang Li;Jing Yang;Daqiang Hu;Zhi Liao
Recent years have witnessed the widespread adoption of mobile applications (apps for short). For quality-of-service and commercial competitiveness, sufficient Graphical User Interface (GUI) testing is required to verify the robustness of the apps. Given that testing with manual efforts is time-consuming and error-prone, automated GUI testing has been widely studied. However, existing approaches mostly focus on GUI exploration while lacking attention to complex interactions with apps, especially generating appropriate text inputs like real users. In this paper, we introduce CamDroid, a lightweight context-aware automated GUI testing tool, which can efficiently explore app activities through (1) a model-based UI-guided testing strategy informed by the context of previous event-activity transitions and (2) a data-driven text input generation approach regarding the GUI context. We evaluate CamDroid on 20 widely-used apps. The results show that CamDroid outperforms non-trivial baselines in activity coverage, crash detection, and test efficiency.
近年来,移动应用程序(简称应用程序)得到了广泛应用。为了保证服务质量和商业竞争力,需要进行充分的图形用户界面(GUI)测试,以验证应用程序的稳健性。鉴于人工测试耗时且容易出错,自动图形用户界面测试已被广泛研究。然而,现有的方法大多侧重于图形用户界面的探索,而缺乏对应用程序复杂交互的关注,尤其是像真实用户那样生成适当的文本输入。在本文中,我们介绍了一种轻量级上下文感知自动图形用户界面测试工具--CamDroid,它可以通过(1)基于模型的用户界面引导测试策略和(2)有关图形用户界面上下文的数据驱动文本输入生成方法,高效地探索应用程序的活动。我们在 20 个广泛使用的应用程序上对 CamDroid 进行了评估。结果表明,CamDroid 在活动覆盖率、崩溃检测和测试效率方面都优于其他基线。
{"title":"CamDroid: Context-Aware Model-Based Automated GUI Testing for Android Apps","authors":"Hongyi Wang;Yang Li;Jing Yang;Daqiang Hu;Zhi Liao","doi":"10.26599/TST.2024.9010038","DOIUrl":"https://doi.org/10.26599/TST.2024.9010038","url":null,"abstract":"Recent years have witnessed the widespread adoption of mobile applications (apps for short). For quality-of-service and commercial competitiveness, sufficient Graphical User Interface (GUI) testing is required to verify the robustness of the apps. Given that testing with manual efforts is time-consuming and error-prone, automated GUI testing has been widely studied. However, existing approaches mostly focus on GUI exploration while lacking attention to complex interactions with apps, especially generating appropriate text inputs like real users. In this paper, we introduce CamDroid, a lightweight context-aware automated GUI testing tool, which can efficiently explore app activities through (1) a model-based UI-guided testing strategy informed by the context of previous event-activity transitions and (2) a data-driven text input generation approach regarding the GUI context. We evaluate CamDroid on 20 widely-used apps. The results show that CamDroid outperforms non-trivial baselines in activity coverage, crash detection, and test efficiency.","PeriodicalId":48690,"journal":{"name":"Tsinghua Science and Technology","volume":"30 1","pages":"55-67"},"PeriodicalIF":6.6,"publicationDate":"2024-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10676359","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142169735","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
GaitFFDA: Feature Fusion and Dual Attention Gait Recognition Model GaitFFDA:特征融合与双重注意力步态识别模型
IF 6.6 1区 计算机科学 Q1 Multidisciplinary Pub Date : 2024-09-11 DOI: 10.26599/TST.2023.9010089
Zhixiong Wu;Yong Cui
Gait recognition has a wide range of application scenarios in the fields of intelligent security and transportation. Gait recognition currently faces challenges: inadequate feature methods for environmental interferences and insufficient local-global information correlation. To address these issues, we propose a gait recognition model based on feature fusion and dual attention. Our model utilizes the ResNet architecture as the backbone network for fundamental gait features extraction. Subsequently, the features from different network layers are passed through the feature pyramid for feature fusion, so that multi-scale local information can be fused into global information, providing a more complete feature representation. The dual attention module enhances the fused features in multiple dimensions, enabling the model to capture information from different semantics and scale information. Our model proves effective and competitive results on CASIA-B (NM: 95.6%, BG: 90.9%, CL: 73.7%) and OU-MVLP (88.1%). The results of related ablation experiments show that the model design is effective and has strong competitiveness.
步态识别在智能安防和交通领域有着广泛的应用场景。步态识别目前面临的挑战是:针对环境干扰的特征方法不足,局部与全局信息关联性不够。为了解决这些问题,我们提出了一种基于特征融合和双重关注的步态识别模型。我们的模型利用 ResNet 架构作为提取基本步态特征的骨干网络。随后,来自不同网络层的特征通过特征金字塔进行特征融合,从而将多尺度局部信息融合为全局信息,提供更完整的特征表示。双重关注模块从多个维度增强融合后的特征,使模型能够捕捉不同语义和尺度信息。我们的模型在 CASIA-B(NM:95.6%;BG:90.9%;CL:73.7%)和 OU-MVLP (88.1%)上取得了有效且具有竞争力的结果。相关的消融实验结果表明,模型设计是有效的,具有很强的竞争力。
{"title":"GaitFFDA: Feature Fusion and Dual Attention Gait Recognition Model","authors":"Zhixiong Wu;Yong Cui","doi":"10.26599/TST.2023.9010089","DOIUrl":"https://doi.org/10.26599/TST.2023.9010089","url":null,"abstract":"Gait recognition has a wide range of application scenarios in the fields of intelligent security and transportation. Gait recognition currently faces challenges: inadequate feature methods for environmental interferences and insufficient local-global information correlation. To address these issues, we propose a gait recognition model based on feature fusion and dual attention. Our model utilizes the ResNet architecture as the backbone network for fundamental gait features extraction. Subsequently, the features from different network layers are passed through the feature pyramid for feature fusion, so that multi-scale local information can be fused into global information, providing a more complete feature representation. The dual attention module enhances the fused features in multiple dimensions, enabling the model to capture information from different semantics and scale information. Our model proves effective and competitive results on CASIA-B (NM: 95.6%, BG: 90.9%, CL: 73.7%) and OU-MVLP (88.1%). The results of related ablation experiments show that the model design is effective and has strong competitiveness.","PeriodicalId":48690,"journal":{"name":"Tsinghua Science and Technology","volume":"30 1","pages":"345-356"},"PeriodicalIF":6.6,"publicationDate":"2024-09-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10676356","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142169640","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Mixed Strategy Nash Equilibrium for Scheduling Games on Batching-Machines with Activation Cost 具有激活代价的批处理机调度博弈的混合策略纳什均衡
IF 6.6 1区 计算机科学 Q1 Multidisciplinary Pub Date : 2024-08-20 DOI: 10.26599/TST.2024.9010056
Long Zhang;Zhiwen Wang;Jingwen Wang;Donglei Du;Chuanwen Luo
This paper studies two scheduling games on identical batching-machines with activation cost, where each game comprises $n$ jobs being processed on $m$ identical batching-machines. Each job, as an agent, chooses a machine (or, more accurately, a batch on a machine) for processing in order to minimize its disutility, which is comprised of its machine's load and the activation cost it shares. Based on previous results, we present the Mixed strategy Nash Equilibria (MNE) for some special cases of the two games. For each game, we first analyze the conditions for the nonexistence of Nash equilibrium, then provide the MNE for the conditions, and offer the efficiency of MNE (mixed price of anarchy).
本文研究了具有激活成本的同一批处理机上的两个调度博弈,其中每个博弈包含$n$个作业,这些作业在$m$相同的批处理机上被处理。每个作业作为一个代理,选择一台机器(或者更准确地说,一台机器上的一个批)进行处理,以最小化其负效用,负效用由其机器的负载和其共享的激活成本组成。在前人的基础上,给出了这两种博弈的一些特殊情况下的混合策略纳什均衡。对于每个博弈,我们首先分析了纳什均衡不存在的条件,然后给出了这些条件下的MNE,并给出了MNE的效率(无政府状态的混合价格)。
{"title":"Mixed Strategy Nash Equilibrium for Scheduling Games on Batching-Machines with Activation Cost","authors":"Long Zhang;Zhiwen Wang;Jingwen Wang;Donglei Du;Chuanwen Luo","doi":"10.26599/TST.2024.9010056","DOIUrl":"https://doi.org/10.26599/TST.2024.9010056","url":null,"abstract":"This paper studies two scheduling games on identical batching-machines with activation cost, where each game comprises \u0000<tex>$n$</tex>\u0000 jobs being processed on \u0000<tex>$m$</tex>\u0000 identical batching-machines. Each job, as an agent, chooses a machine (or, more accurately, a batch on a machine) for processing in order to minimize its disutility, which is comprised of its machine's load and the activation cost it shares. Based on previous results, we present the Mixed strategy Nash Equilibria (MNE) for some special cases of the two games. For each game, we first analyze the conditions for the nonexistence of Nash equilibrium, then provide the MNE for the conditions, and offer the efficiency of MNE (mixed price of anarchy).","PeriodicalId":48690,"journal":{"name":"Tsinghua Science and Technology","volume":"30 2","pages":"519-527"},"PeriodicalIF":6.6,"publicationDate":"2024-08-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10640365","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142825964","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Blockchain-Based Copyright Management Scheme for Open-Source Software and Hardware Designs 基于区块链的开源软硬件设计版权管理方案
IF 6.6 1区 计算机科学 Q1 Multidisciplinary Pub Date : 2024-07-08 DOI: 10.26599/TST.2023.9010112
Yuhang Jin;Li Ling
Plagiarism in software code and hardware design threatens the open-source movement and the software and hardware industries. It is essential to differentiate between the unethical act of plagiarism and the legitimate use of open-source resources. Existing copyright protection measures, such as license design, inadequately address copyright ownership and protection issues. Furthermore, they fail to detect plagiarism methods for open-source hardware projects, such as circuit location modification. To address these challenges, this paper proposes a blockchain-based copyright management scheme, which introduces a general originality detection model based on community detection, extracting adjustable granularity digests from code and design files. These digests are stored on a peer-to-peer blockchain, enabling nodes to verify the originality via smart contracts. Additionally, the scheme improves the storage structure, protecting the rights of authors and contributors. Experimental results demonstrate the effectiveness and runtime efficiency of the proposed model in extracting digests for blockchain storage while maintaining verification accuracy. The scheme offers enhanced generality, practical performance, and suitability for distributed development and maintenance, with considerable implications for evidence gathering, fostering innovation and integrity.
软件代码和硬件设计的抄袭威胁着开源运动和软件和硬件产业。区分不道德的剽窃行为和合法使用开源资源是很重要的。现有的版权保护措施,如许可证设计,不足以解决版权所有权和保护问题。此外,他们没有检测到开源硬件项目的抄袭方法,比如修改电路位置。为了解决这些挑战,本文提出了一种基于区块链的版权管理方案,该方案引入了一种基于社区检测的通用原创性检测模型,从代码和设计文件中提取可调粒度的摘要。这些摘要存储在点对点区块链上,使节点能够通过智能合约验证原创性。此外,该方案改进了存储结构,保护了作者和贡献者的权利。实验结果表明,该模型在保证验证精度的前提下,提取区块链存储摘要的有效性和运行效率。该方案为分布式开发和维护提供了增强的通用性、实际性能和适用性,对证据收集、促进创新和完整性具有相当大的影响。
{"title":"A Blockchain-Based Copyright Management Scheme for Open-Source Software and Hardware Designs","authors":"Yuhang Jin;Li Ling","doi":"10.26599/TST.2023.9010112","DOIUrl":"https://doi.org/10.26599/TST.2023.9010112","url":null,"abstract":"Plagiarism in software code and hardware design threatens the open-source movement and the software and hardware industries. It is essential to differentiate between the unethical act of plagiarism and the legitimate use of open-source resources. Existing copyright protection measures, such as license design, inadequately address copyright ownership and protection issues. Furthermore, they fail to detect plagiarism methods for open-source hardware projects, such as circuit location modification. To address these challenges, this paper proposes a blockchain-based copyright management scheme, which introduces a general originality detection model based on community detection, extracting adjustable granularity digests from code and design files. These digests are stored on a peer-to-peer blockchain, enabling nodes to verify the originality via smart contracts. Additionally, the scheme improves the storage structure, protecting the rights of authors and contributors. Experimental results demonstrate the effectiveness and runtime efficiency of the proposed model in extracting digests for blockchain storage while maintaining verification accuracy. The scheme offers enhanced generality, practical performance, and suitability for distributed development and maintenance, with considerable implications for evidence gathering, fostering innovation and integrity.","PeriodicalId":48690,"journal":{"name":"Tsinghua Science and Technology","volume":"30 3","pages":"1157-1173"},"PeriodicalIF":6.6,"publicationDate":"2024-07-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10589541","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142905767","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Software Reliability Assessment: An Architectural and Component Impact Analysis 软件可靠性评估:架构和组件影响分析
IF 6.6 1区 计算机科学 Q1 Multidisciplinary Pub Date : 2024-06-28 DOI: 10.26599/TST.2024.9010101
Saleh Alyahyan;Mohammed Naif Alatawi;Mrim M. Alnfiai;Shoayee Dlaim Alotaibi;Abdullah Alshammari;Zaid Alzaid;Hathal Salamah Alwageed
In the software landscape, understanding component impacts on system reliability is pivotal, especially given the unique complexities of modern software systems. This paper presents a model tailored for software reliability assessment. Our approach introduces the “component influence” to measure a single component's effect on overall system reliability. Additionally, we adapt a state transition model to cater to the diverse architectures of software systems. Using a discrete-time Markov chain, we predict software reliability. We test our model on an actual software system, finding it notably accurate and superior to existing methods. Our work offers a promising direction for those venturing into software reliability enhancement.
在软件领域,理解组件对系统可靠性的影响是至关重要的,特别是考虑到现代软件系统独特的复杂性。本文提出了一个适合软件可靠性评估的模型。我们的方法引入了“组件影响”来度量单个组件对整个系统可靠性的影响。此外,我们调整了状态转换模型以适应软件系统的不同架构。利用离散马尔可夫链对软件可靠性进行了预测。我们在一个实际的软件系统上测试了我们的模型,发现它非常准确,并且优于现有的方法。我们的工作为那些致力于软件可靠性增强的人提供了一个有希望的方向。
{"title":"Software Reliability Assessment: An Architectural and Component Impact Analysis","authors":"Saleh Alyahyan;Mohammed Naif Alatawi;Mrim M. Alnfiai;Shoayee Dlaim Alotaibi;Abdullah Alshammari;Zaid Alzaid;Hathal Salamah Alwageed","doi":"10.26599/TST.2024.9010101","DOIUrl":"https://doi.org/10.26599/TST.2024.9010101","url":null,"abstract":"In the software landscape, understanding component impacts on system reliability is pivotal, especially given the unique complexities of modern software systems. This paper presents a model tailored for software reliability assessment. Our approach introduces the “component influence” to measure a single component's effect on overall system reliability. Additionally, we adapt a state transition model to cater to the diverse architectures of software systems. Using a discrete-time Markov chain, we predict software reliability. We test our model on an actual software system, finding it notably accurate and superior to existing methods. Our work offers a promising direction for those venturing into software reliability enhancement.","PeriodicalId":48690,"journal":{"name":"Tsinghua Science and Technology","volume":"30 2","pages":"908-925"},"PeriodicalIF":6.6,"publicationDate":"2024-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=10577570","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"142798052","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":1,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
期刊
Tsinghua Science and Technology
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1