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

Evolution of Cooperation in Public Goods Games

Communications in Theoretical Physics 2011年第10期56卷 638-644页

作者：夏承遗张娟娟王祎玲王劲松 Key Laboratory of Computer Vision and System(Tianjin University of Technology) Ministry of Education Key Laboratory of Intelligence Computing and Novel Software Technology Tianjin University of Technology College of Life Science Shanxi Normal University

We investigate the evolution of cooperation with evolutionary public goods games based on finite populations, where four pure strategies： cooperators, defectors, punishers and loners who are unwilling to participate are considered. By adopting approximate best response dynamics, we show that the magnitude of rationality not only quantitatively explains the experiment results in [Nature （London） 425 （2003） 390], but also it will heavily influence the evolution of cooperation. Compared with previous results of infinite populations, which result in two equilibriums, we show that there merely exists a special equilibrium cooperation. In addition, we characterize that loner＇s and the relevant high value of bounded rationality will sustain payoff plays an active role in the maintenance of cooperation, which will only be warranted for the low and moderate values of loner＇s payoff. It thus indicates the effects of rationality and loner＇s payoff will influence the cooperation. Finally, we highlight the important result that the introduction of voluntary participation and punishment will facilitate cooperation greatly.

关键词： public goods games magnitude of rationality voluntary participation punishment

来源：评论

学校读者我要写书评

暂无评论

MiTAR:a study on human activity recognition based on NLP with microscopic perspective

引用

Frontiers of computer science 2021年第5期15卷 93-110页

作者： Huichao MEN Botao WANG Gang WU School of Computer Science and Engineering Northeastern UniversityShenyang 110000China State Key Laboratory for Novel Software Technology Nanjing UniversityNanjing 210000China

Nowadays,human activity recognition is becoming a more and more significant topic,and there is also a wide range of applications for it in real world *** data is an important data source in engineering and *** present,some studies have been carried out in the field of human activity recognition based on sensor data in a macroscopic ***,many studies in this perspective face some *** pivotal limitation is uncontrollable data segment length of different kinds of *** feature and data form are also influencing *** paper carries out the study creatively on a microscopic perspective with an emphasis on the logic and relevance between data segments,attempting to apply the idea of natural language processing and the method of data symbolization to the study of human activity recognition and try to solve the problem *** this paper,several activity-element definitions and three algorithms are proposed,including the algorithm of dictionary building,the algorithm of corpus building,and activity recognition algorithm improved from a natural language analysis method,*** experiments on different aspects of this model are *** experiments are carried out on six complex and representative single-level sensor datasets,namely UCI Sports and Daily dataset,Skoda dataset,WISDM Phoneacc dataset,WISDM Watchacc dataset,Healthy Older People dataset and HAPT dataset,which prove that this model can be applied to different datasets and achieve a satisfactory recognition result.

关键词： human activity recognition NLP time series data analysis data symbolization

来源：评论

学校读者我要写书评

暂无评论

GridDroid--An Effective and Efficient Approach for Android Repackaging Detection Based on Runtime Graphical User Interface

引用

Journal of computer science & technology 2022年第1期37卷 147-181页

作者： Jun Ma Qing-Wei Sun Chang Xu Xian-Ping Tao State Key Laboratory for Novel Software Technology Nanjing UniversityNanjing 210023China Department of Computer Science and Technology Nanjing UniversityNanjing 210023China Huatai Securities Co. Ltd.Nanjing 210019China

Repackaging brings serious threats to Android *** birthmark techniques are typically applied to detect repackaged *** based on apps'runtime graphical user interfaces(GUI)are effective,especially for obfuscated or encrypted ***,existing studies are time-consuming and not suitable for handling apps in large *** this paper,we propose an effective yet efficient dynamic GUI birthmark for Android ***,we run an app with automatically generated GUI events and dump its layout after each *** divide each dumped layout into a grid,count in each grid cell the vertices of boundary rectangles corresponding to widgets within the layout,and generate a feature vector to encode the *** layouts are merged at runtime,and finally we obtain a graph as the birthmark of the *** a pair of apps to be compared,we build a weighted bipartite graph from their birthmarks and apply a modified version of the maximum-weight-bipartite-matching algorithm to determine whether they form a repackaging pair(RP)or *** implement the proposed technique in a prototype,GridDroid,and apply it to detect RPs in three datasets involving 527 *** reports only six false negatives and seven false positives,and it takes GridDroid merely 20 microseconds on average to compare a pair of birthmarks.

关键词： Android apps dynamic software birthmark graphical user interface(GUI) repackaging detection

来源：评论

学校读者我要写书评

暂无评论

A Lightweight Dynamic Enforcement of Privacy Protection for Android

引用

Journal of computer science & technology 2019年第4期34卷 901-923页

作者： Zi-Peng Zhang Ming Fu Xin-Yu Feng School of Computer Science and Technology University of Science and Technology of ChinaHefei 230026China OS Kernel Laboratory Huawei Technologies Co.Ltd.Shanghai 200135China State Key Laboratory for Novel Software Technology Nanjing UniversityNanjing 210023China

Inter-process communication(IPC)provides a message passing mechanism for information exchange between *** has been long believed that IPCs can be abused by malware writers to launch collusive information leak using two or more *** work on privacy protection focuses on the simple information leak caused by the individual applications and lacks effective approaches to preventing the collusive information leak caused by IPCs between multiple *** this paper,we propose a hybrid approach to prevent the collusive information leak based on information flow *** approach combines static information flow analysis and dynamic runtime checking *** leak caused by individual processes is prevented through static information flow control,and dynamic checking is done at runtime to prevent the collusive information *** a combination may effectively reduce the runtime overhead of pure dynamic checking,and reduce false-alarms in pure static *** develop this approach based on an abstract and simplified programming model,and formalize a novel definition of the leak-freedom property as our target security property.A simulation-based proof technique is used to prove that our approach is able to guarantee *** proofs are mechanized in Coq.

关键词： privacy protection dynamic runtime checking static information flow control Android verification

来源：评论

学校读者我要写书评

暂无评论

Iterative Android automated testing

引用

Frontiers of computer science 2023年第5期17卷 15-26页

作者： Yi ZHONG Mengyu SHI Youran XU Chunrong FANG Zhenyu CHEN State Key Laboratory for Novel Software Technology Nanjing UniversityNanjing 210093China School of Big Data and Computer Science Chongqing College of Mobile CommunicationChongqing 400065China

With the benefits of reducing time and workforce,automated testing has been widely used for the quality assurance of mobile applications(APPs).Compared with automated testing,manual testing can achieve higher coverage in complex interactive *** the effectiveness of manual testing is highly dependent on the user operation process(UOP)of experienced *** on the UOP,we propose an iterative Android automated testing(IAAT)method that automatically records,extracts,and integrates UOPs to guide the test logic of the tool across the complex Activity *** feedback test results can train the UOPs to achieve higher coverage in each *** extracted 50 UOPs and conducted experiments on 10 popular mobile APPs to demonstrate IAAT’s effectiveness compared with Monkey and the initial automated *** experimental results show a noticeable improvement in the IAAT compared with the test logic without human *** the 60 minutes test time,the average code coverage is improved by 13.98%to 37.83%,higher than the 27.48%of Monkey under the same conditions.

关键词： quality assurance automated testing UOP test coverage

来源：评论

学校读者我要写书评

暂无评论

Checking Temporal Duration Properties of Timed Automata

引用

Journal of computer science & technology 2002年第6期17卷 689-698页

作者：李勇 Dang Van Hung State Key Laboratory of Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing 210093 P.R. China International Institute for Software Technology The United Nations University P.O. Box 3058 Macao SAR P.R. China

In this paper, the problem of checking a timed automaton for a Duration Cal-culus formula of the form Temporal Duration Property is addressed. It is shown that TemporalDuration Properties are in the class of discretisable real-time properties of Timed Automata,and an algorithm is given to solve the problem based on linear programming techniques andthe depth-first search method in the integral region graph of the automaton. The complexityof the algorithm is in the same class as that of the solution of the reachability problem of timedautomata.

关键词： model checking duration calculus timed automata

来源：评论

学校读者我要写书评

暂无评论

Wireless Hallucination in Generative AI-enabled Communications: Concepts, Issues, and Solutions

arXiv

引用

arXiv 2025年

作者： Wang, Xudong Wang, Jiacheng Feng, Lei Niyato, Dusit Zhang, Ruichen Kang, Jiawen Xiong, Zehui Du, Hongyang Mao, Shiwen State Key Laboratory of Networking and Switching Technology Beijing University of Posts and Telecommunications Beijing100876 China College of Computing and Data Science Nanyang Technological University Singapore School of Automation Guangdong University of Technology Guangzhou510006 China Pillar of Information Systems Technology and Design Singapore University of Technology and Design Singapore Department of Electrical and Electronic Engineering University of Hong Kong Pok Fu Lam Hong Kong Department of Electrical and Computer Engineering Auburn University Auburn United States

Generative AI (GenAI) is driving the intelligence of wireless communications. Due to data limitations, random generation, and dynamic environments, GenAI may generate channel information or optimization strategies that violate physical laws or deviate from actual real-world requirements. We refer to this phenomenon as wireless hallucination, which results in invalid channel information, spectrum wastage, and low communication reliability but remains underexplored. To address this gap, this article provides a comprehensive concept of wireless hallucinations in GenAI-driven communications, focusing on hallucination mitigation. Specifically, we first introduce the fundamental, analyze its causes based on the GenAI workflow, and propose mitigation solutions at the data, model, and post-generation levels. Then, we systematically examines representative hallucination scenarios in GenAI-enabled communications and their corresponding solutions. Finally, we propose a novel integrated mitigation solution for GenAI-based channel estimation. At the data level, we establish a channel estimation hallucination dataset and employ generative adversarial networks (GANs)-based data augmentation. Additionally, we incorporate attention mechanisms and large language models (LLMs) to enhance both training and inference performance. Experimental results demonstrate that the proposed hybrid solutions reduce the normalized mean square error (NMSE) by 0.19, effectively reducing wireless hallucinations. Copyright © 2025, The Authors. All rights reserved.

关键词： Generative adversarial networks

来源：评论

学校读者我要写书评

暂无评论

Detection, classification and characterization of android malware using API data dependency 11th

Detection, classification and characterization of android ma...

引用

11th International Conference Security and Privacy in Communication Networks, SecureComm 2015

作者： Li, Yongfeng Shen, Tong Sun, Xin Pan, Xuerui Mao, Bing State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing China

ISBN: (纸本)9783319288642

With the popularity of Android devices, more and more Android malware are manufactured every year. How to filter out malicious app is a serious problem for app markets. In this paper, we propose DroidADDMiner, an efficient and precise system to detect, classify and characterize Android malware. DroidADDMiner is a machine learning based system that extracts features based on data dependency between sensitive APIs. It extracts API data dependence paths embedded in app to construct feature vectors for machine learning. While DroidSIFT [13] also attempts automated detection of Android applications according to data flow analysis, DroidADDMiner can not only reduce the run time but also characterize malware’s behaviors automatically. We implement DroidADDMiner based on FlowDroid [14] and evaluate it using 5648 malware samples and 14280 benign apps. Experiments show that, for malware detection, DroidADDMiner achieves a 98% detection rate, with a 0.3% false positive rate. For malware classification, the accuracy of classifying malicious apps under their proper family labels is 96%. Although performing data flow analysis, most of the experimental samples can be examined in 60 seconds. © Institute for computer sciences, Social Informatics and Telecommunications Engineering 2015.

关键词： Android malware

来源：评论

学校读者我要写书评

暂无评论

Combating NBTI-induced aging in data caches 13

Combating NBTI-induced aging in data caches

引用

23rd ACM International Conference of the Great Lakes Symposium on VLSI, GLSVLSI 2013

作者： Wang, Shuai Duan, Guangshan Zheng, Chuanlei Jin, Tao State Key Laboratory of Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing China

ISBN: (纸本)9781450319027

The negative bias temperature instability (NBTI) in CMOS devices is one of most prominent sources of aging mechanisms, which can induce severe threats to the reliability of modern processors at deep submicron semiconductor technologies. Due to the unbalanced duty cycle ratio of the SRAM cells, the data cache suffers a heavy NBTI stress and this will further exacerbate the aging effect in the data cache. In this paper, an aging-aware design is proposed to combat the NBTI-induced aging in the data cache. First, the detailed lifetime behaviors of the cachelines in the data cache are studied. Then, different schemes are proposed to mitigate the negative aging effects by balancing the duty cycle ratio of the SRAM cells in the cachelines according to their different lifetime phases. By applying our proposed idle-time-based cacheline invalidation, early write-back, and bit-flipping schemes, the duty cycle ratio of the data cache can be well balanced. By adopting the drowsy scheme for invalidated cachelines, our design can also reduce the power consumption significantly, which will further optimize the thermal behavior and aging effect of data caches. © 2013 ACM.

关键词： Negative bias temperature instability

来源：评论

学校读者我要写书评

暂无评论

A Spin-Glass Model based Local Community Detection Method in Social Networks

A Spin-Glass Model based Local Community Detection Method in...

引用

25th International Conference on Tools with Artificial Intelligence (ICTAI)

作者： Pan, Lei Wang, Chongjun Xie, Junyuan National Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing China

ISBN: (纸本)9781479929719

Mining community structures has become a general problem which exists in many fields including: computer-science, Mathematics, Physics, Biology, Sociology and so on. It has developed rapidly and been used widely in many applications: web data mining, social network analysis, criminal network mining, protein interaction network analysis, metabolic network analysis, genetic network analysis, customers relationship mining and user online behavior analysis, etc. Most community detection algorithms try to obtain the global information of the network, but increasing large scale of the current network makes it computationally expensive. In the meanwhile, the different influence and different behavior of nodes in the network are ignored. In fact, if we know the local information of the network or the interested node, we can easily detect the local community. This paper proposes a multi-resolution local community detection algorithm named MRCDA which uses local structural information in the network to optimize the multi-resolution modularity based on the Potts spin-glass model. A local community can be detected through continuous optimization of the function by expanding from an initial influential node computed by a modified Page Rank sorting algorithm. The proposed MRCDA has been tested on both synthetic and real world networks and tested against other algorithms. The experiments demonstrate its efficiency and accuracy.

关键词： social network analysis community detection overlapping community local community multi-resolution

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：