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

arXiv 2020年

作者： Zhang, Yutong Di, Boya Zhang, Hongliang Lin, Jinlong Li, Yonghui Song, Lingyang Department of Electronics Peking University Beijing China Department of Computing Imperial College London London United Kingdom Department of Electrical Engineering Princeton University PrincetonNJ United States School of Software and Microelectronics Peking University Beijing China School of Electrical and Information Engineering University of Sydney Sydney Australia

Cell-free systems can effectively eliminate the inter-cell interference by enabling multiple base stations (BSs) to cooperatively serve users without cell boundaries at the expense of high costs of hardware and power sources due to the large-scale deployment of BSs. To tackle this issue, the low-cost reconfigurable intelligent surface (RIS) can serve as a promising technique to improve the energy efficiency of cell-free systems. In this paper, we consider an RIS aided cell-free MIMO system where multiple RISs are deployed around BSs and users to create favorable propagation conditions via reconfigurable reflections in a low-cost way, thereby enhancing cell-free MIMO communications. To maximize the energy efficiency, a hybrid beamforming (HBF) scheme consisting of the digital beamforming at BSs and the RIS-based analog beamforming is proposed. The energy efficiency maximization problem is formulated and an iterative algorithm is designed to solve this problem. The impact of the transmit power, the number of RIS, and the RIS size on energy efficiency are investigated. Both theoretical analysis and simulation results reveal that the optimal energy efficiency depends on the numbers of RISs and the RIS size. Numerical evaluations also show that the proposed system can achieve a higher energy efficiency than conventional ones. © 2020, CC-BY.

关键词： Energy efficiency

来源：评论

学校读者我要写书评

暂无评论

Towards High-resolution 3D Anomaly Detection via Group-Level Feature Contrastive Learning 24

Towards High-resolution 3D Anomaly Detection via Group-Level...

引用

32nd ACM International Conference on Multimedia, MM 2024

作者： Zhu, Hongze Xie, Guoyang Hou, Chengbin Dai, Tao Gao, Can Wang, Jinbao Shen, Linlin National Engineering Laboratory for Big Data System Computing Technology Shenzhen University Shenzhen China Department of Computer Science City University of Hong Kong Hong Kong Hong Kong Department of Intelligent Manufacturing CATL Ningde China Fuzhou Fuyao Institute for Advanced Study Fuyao University of Science and Technology Fuzhou China College of Computer Science and Software Engineering Shenzhen University Shenzhen China Guangdong Provincial Key Laboratory of Intelligent Information Processing Shenzhen China Shenzhen University Shenzhen China Shenzhen Institute of Artificial Intelligence and Robotics for Society Shenzhen China

ISBN: (纸本)9798400706868

High-resolution point clouds (HRPCD) anomaly detection (AD) plays a critical role in precision machining and high-end equipment manufacturing. Despite considerable 3D-AD methods that have been proposed recently, they still cannot meet the requirements of the HRPCD-AD task. There are several challenges: i) It is difficult to directly capture HRPCD information due to large amounts of points at the sample level;ii) The advanced transformer-based methods usually obtain anisotropic features, leading to degradation of the representation;iii) The proportion of abnormal areas is very small, which makes it difficult to characterize. To address these challenges, we propose a novel group-level feature-based network, called Group3AD, which has a significantly efficient representation ability. First, we design an Intercluster Uniformity Network (IUN) to present the mapping of different groups in the feature space as several clusters, and obtain a more uniform distribution between clusters representing different parts of the point clouds in the feature space. Then, an Intracluster Alignment Network (IAN) is designed to encourage groups within the cluster to be distributed tightly in the feature space. In addition, we propose an Adaptive Group-Center Selection (AGCS) based on geometric information to improve the pixel density of potential anomalous regions during inference. The experimental results verify the effectiveness of our proposed Group3AD, which surpasses Reg3D-AD by the margin of 5% in terms of object-level AUROC on Real3D-AD. We provide the code and supplementary information on our website: https://***/M-3LAB/Group3AD. © 2024 ACM.

关键词： Contrastive Learning

来源：评论

学校读者我要写书评

暂无评论

Improved Mutation Testing Framework by Augmenting Codeannotation for Android Applications

SSRN

引用

SSRN 2023年

作者： Ahmad, Johanna Saedudin, Rd. Rohmat Jie, Lim Jing Hassan, Rohayanti binti Kasim, Shahreen binti Telkom University Telekomunikasi Terusan Buah Batu Indonesia Bandung40257 Indonesia Department of Software Engineering Faculty of Computing Universiti Teknologi Malaysia UTM Skudai Johor81310 Malaysia Department of Information Security and Web Technology Faculty of Computing Science and Information Technology Universiti Tun Hussein Onn Malaysia UTHM Parit Raja Johor86400 Malaysia

This study is conducted in software testing based on the problem arising from mutation testing in Android applications. Although researchers show massive interest in searching for better Android testing approaches, there is still an insufficiency of usable and practical techniques to deliver a reasonable number of effective tests, especially in Android applications. Mutation testing injects code changes to check whether tests can identify the differences. Due to the challenges of the Android application, this research aimed to propose a set of mutation operators that can discover more faults and simulate more categories during the mutation testing processes. This study suggested an Android-based code annotation that combined Java code annotation and Android code annotation to generate more variety of mutant operators. These mutant operators were then merged with the mutant operators that had been developed earlier using the standard Android code testing. This improved set of mutant operators was tested using three different groups of Android applications: Insta Material, Telecine, and Leafpic. The proposed method generated fewer non-compliable mutants in the Leafpic application, with an average mutation score of 97.1% and more mutants in the Telecine application, with an average mutation score of 98.6%. In conclusion, the effectiveness of the improved mutation testing performance in Android applications was encouraging. The proposed method is likely to discover more bugs in Android applications and improve the overall effectiveness of mutation testing. © 2023, The Authors. All rights reserved.

关键词： software testing

来源：评论

学校读者我要写书评

暂无评论

Asynchronous control for Markov jump systems subject to actuator saturation

Asynchronous control for Markov jump systems subject to actu...

引用

第33届中国控制与决策会议

作者： Chao Wang Lei Liu Wei Wang Xiaobing Luo Huijin Fan the National Key Laboratory of Science and Technology of Multispectral Information Processing School of Artificial Intelligence and AutomationHuazhong University of Science and Technology the School of Automation Science and Electrical Engineering and the Beijing Advanced Innovation Center for Big Data and Brain Computing Beihang University School of Computer Technology and Software Engineering Wuhan Polytechnic

In this paper,the asynchronous controller problem is considered for Markov jump systems(MJSs) subject to actuator *** asynchronous phenomenon between the controller and the plant is addressed by introducing a hidden Markov model and the closed-loop hidden MJSs are *** on the closed-loop hidden MJSs and using convex hull technique and linear matrix inequality technique,a controller design algorithm is derived to ensure that the closed-loop hidden MJSs satisfy the stochastic ***,a numerical example is provided to demonstrate the effectiveness of the proposed asynchronous controller design algorithm.

关键词： Asynchronous control actuator saturation Markov jump systems

来源：评论

学校读者我要写书评

暂无评论

ML-based Privacy Leakage Behavior Detection in Android Apps at Scale

ML-based Privacy Leakage Behavior Detection in Android Apps ...

引用

Symposia and Workshops on Ubiquitous, Autonomic and Trusted computing, UIC-ATC

作者： ZhiLiang Bu Chunlei Zhao Liangyi Gong Yan Wang Yi Yang Xi Wang Tianjin Key Laboratory of Intelligence Computing and Novel Software Technology Ministry of Education Tianjin China School of Computer Science and Engineering Tianjin University of Technology Tianjin China Computer Network Information Center Chinese Academy of Sciences Beijing China School of Cyber Science and Engineering Southeast University Nanjing China

In recent years, Android application privacy leaking issues frequently occur, with the results that privacy leakage detection becomes a critical role in app market security review, and numerous mobile apps have been removed from the app stores as a consequence. At the same time, manual review is still considered as a main method for market security audit, but it would cause low efficiency and high false positive when faced with thousands of auditing tasks. To overcome the above problems, this paper implements a large volume, automated detection of privacy leaks in Android applications via machine learning algorithms. In order to achieve a comprehensive and in-depth analysis of application behavior features, firstly, 2346 benign software from app market and 1912 malware identified by a national regulatory authority as leaking privacy in the past two years were selected and studied using a hybrid static-dynamic analysis. Then by developing novel sensitivity criteria, we opt privacy-sensitive key permissions and API calls that are highly relevant to privacy leakage behavior. Moreover, in order to improve the practicability of our system, this thesis systematically optimize the application exerciser on the Android emulator, and achieve average per-app analysis time with less than 2 minutes. Finally, the results of the comparison experiments reveal that the stacking ensemble learning algorithm displayed the best classification performance and achieved 97.81% in accuracy of privacy leakage behavior detection.

关键词：

来源：评论

学校读者我要写书评

暂无评论

GPU-based simulation of ocean water using fluid dynamics model and displacement mapping

引用

ICIC Express Letters 2016年第6期10卷 1239-1245页

作者： Xu, Jie Fu, Jinhua Zhang, Hongtao School of Software Zhengzhou University of Light Industry No. 5 Dongfeng Road Zhengzhou450002 China State Key Laboratory of Mathematical Engineering and Advanced Computing Zhengzhou450002 China School of Computer and Communication Engineering Zhengzhou University of Light Industry No. 5 Dongfeng Road Zhengzhou450002 China College of Information Engineering Zhengzhou University No. 100 Kexue Ave. Zhengzhou450000 China

Real-time realistic simulation of liquids like ocean water is an important task nowadays in the field of computer graphics. In this paper, we present a novel method to achieve plausible visual results of ocean water at higher rendering rates. Based on evolution of the density and the velocity, we establish the fluid dynamics model to express properties of the fluid and simulate ocean water efficiently. Also we implement the displacement mapping by utilizing the heightmap and design the shading shader on the GPU (Graphics Processing Unit), which gives a realistic appearance in higher rendering speed. The results show that we can acquire realistic rendering effects such as water color, light reflection, caustics and soft shadow, while achieving a relatively faster speed of rendering. © 2016 ISSN.

关键词： Graphics processing unit

来源：评论

学校读者我要写书评

暂无评论

Extended Abstract of Graph4Web: A Relation-Aware Graph Attention Network for Web Service Classification

Extended Abstract of Graph4Web: A Relation-Aware Graph Atten...

引用

IEEE International Conference on software Analysis, Evolution and Reengineering (SANER)

作者： Kunsong Zhao Jin Liu Zhou Xu Xiao Liu Lei Xue Zhiwen Xie Yuxuan Zhou Xin Wang School of Computer Science Wuhan University Wuhan China Ministry of Education Key Laboratory of Dependable Service Computing in Cyber Physical Society (Chongqing University) China School of Big Data and Software Engineering Chongqing University Chongqing China School of Information Technology Deakin University Geelong Australia Department of Computing The Hong Kong Polytechnic University Hong Kong China College of Engineering and Computer Science Syracuse University Syracuse USA

software reuse, as a means to develop new software products with similar functions by virtue of existing software components, has become a popular way during the software development process. In particular, as the service-oriented architecture became popular, web services turned into an indispensable part in modem software development Web services provide a basic composition with high cohesion and loose coupling to support responses among heterogeneous software components, which is the valuable resources for software reuse. The popular web service repositories, such as Programmable Web, contain a mass of web services for beginners and developers to choose from. Nevertheless, the large number of web services also makes it difficult to select the suitable services. Thus, the key to reuse software components lies in how to find appropriate web services from repositories to meet developers requirements in specific application scenarios.

关键词： Couplings Web services Modems Service-oriented architecture software reusability

来源：评论

学校读者我要写书评

暂无评论

Computational representation for a simulation scenario definition language

Computational representation for a simulation scenario defin...

引用

AIAA Modeling and Simulation Technologies Conference, 2018

作者： Durak, Umut Jafer, Shafagh Wittman, Rob Mittal, Saurabh Hartmann, Sven Zeigler, Bernard P. Institute of Flight Systems Braunschweig38108 Germany Embry-Riddle Aeronautical University Daytona BeachFL32114-3900 United States The MITRE Corporation McLean VA22102 United States Clausthal University of Technology Clausthal-Zellerfeld38678 Germany RTSync Corp. and Arizona Center for Integrated M&S TucsonAZ85621 United States Flight Dynamics and Simulation Department of Electrical Computer Software and Systems Engineering Department Head Simulation Experimentation and Gaming Architecture Analytics Department Department of Informatics Department of Electrical and Computing Engineering

ISBN: (数字)9781624105289

ISBN: (纸本)9781624105289

The modeling and simulation community in aviation is in search of standardization in simulation scenario definition. While the System Entity Structure (SES) ontology promises an effective formal means of domain modeling, computational representation is still a key challenge to tackle for fostering wide-acceptance and standardization. This paper presents an eXtended Markup Language (XML) based approach. It first gives the relational specification and the schema definition of the SES ontology. Following a layered modeling workflow, it then presents a schema definition for the simulation scenario definition language and exemplifies its utilization. © 2018, American Institute of Aeronautics and Astronautics Inc, AIAA. All rights reserved.

关键词： Standardization

来源：评论

学校读者我要写书评

暂无评论

Communication efficiency in federated learning: Achievements and challenges

arXiv

引用

arXiv 2021年

作者： Shahid, Osama Pouriyeh, Seyedamin Parizi, Reza M. Sheng, Quan Z. Srivastava, Gautam Zhao, Liang Department of Information Technology Kennesaw State University MariettaGA United States Department of Software Engineering and Game Development Kennesaw State University MariettaGA United States Department of Computing Macquarie University Sydney Australia Department of Math and Computer Science Brandon University Canada Research Centre for Interneural Computing China Medical University Taichung Taiwan

Federated Learning (FL) is known to perform Machine Learning tasks in a distributed manner. Over the years, this has become an emerging technology especially with various data protection and privacy policies being imposed FL allows performing machine learning tasks whilst adhering to these challenges. As with the emerging of any new technology, there are going to be challenges and benefits. A challenge that exists in FL is the communication costs, as FL takes place in a distributed environment where devices connected over the network have to constantly share their updates this can create a communication bottleneck. In this paper, we present a survey of the research that is performed to overcome the communication constraints in an FL setting. Copyright © 2021, The Authors. All rights reserved.

关键词： Machine learning

来源：评论

学校读者我要写书评

暂无评论

Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution

Unsatisfiable Core Based Constraint Solving Cache in Symboli...

引用

Asia-Pacific Conference on software engineering

作者： Ziqi Shuai Zhenbang Chen Yufeng Zhang Hengbiao Yu Ji Wang College of Computer National University of Defense Technology China Key Laboratory of Software Engineering for Complex Systems National University of Defense Technology China State Key Laboratory of High Performance Computing National University of Defense Technology China College of Computer Science and Electronic Engineering Hunan University Changsha China

Constraint solving stands out as a significant bot-tleneck in symbolic execution. Caching is a commonly adopted approach to alleviate this bottleneck. However, the cutting-edge caching technique targeting unsatisfiable constraints, known as unsatisfiable core caching, primarily involves checking whether the constraint being solved contains an unsatisfiable core that has been previously collected. Such straightforward reuse frequently proves less effective in numerous scenarios. In this paper, we present a novel method to enhance the utilization of unsatisfiable cores. By excavating unsatisfiable cores, our method can compute an easily solvable over-approximation that tends to be unsatis-fiable for each constraint, which facilitates the determination of the satisfiability of the original constraint. We implemented our method on KLEE symbolic executor. The evaluation results on 27 real-world programs are encouraging.

关键词：

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：