检索结果-南通市图书馆

Understanding and Detecting Inefficient Image Displaying Issues in Android Apps

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2024年第2期39卷 434-459页

作者：李文杰马骏蒋炎岩许畅马晓星 State Key Laboratory of Novel Software Technology Nanjing UniversityNanjing 210023China Department of Computer Science and Technology Nanjing UniversityNanjing 210023China

Mobile applications(apps for short)often need to display images.However,inefficient image displaying(IID)issues are pervasive in mobile apps,and can severely impact app performance and user experience.This paper first establishes a descriptive framework for the image displaying procedures of IID issues.Based on the descriptive framework,we conduct an empirical study of 216 real-world IID issues collected from 243 popular open-source Android apps to validate the presence and severity of IID issues,and then shed light on these issues’characteristics to support research on effective issue detection.With the findings of this study,we propose a static IID issue detection tool TAPIR and evaluate it with 243 real-world Android apps.Encouragingly,49 and 64 previously-unknown IID issues in two different versions of 16 apps reported by TAPIR are manually confirmed as true positives,respectively,and 16 previously-unknown IID issues reported by TAPIR have been confirmed by developers and 13 have been fixed.Then,we further evaluate the performance impact of these detected IID issues and the performance improvement if they are fixed.The results demonstrate that the IID issues detected by TAPIR indeed cause significant performance degradation,which further show the effectiveness and efficiency of TAPIR.

关键词： Android application(app) inefficient image displaying(IID) performance empirical study static analysis

Towards Data-Driving Multi-View Evaluation Framework for Scratch

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Tsinghua Science and Technology 2024年第2期29卷 517-528页

作者： Xiaolin Chai Yan Sun Yan Gao Department of Computer Science Beijing University of Posts and TelecommunicationBeijing 100876China Intellectual Property Institute Shandong Polytechnic CollegeJining 272067China

As one of the most popular visual programming languages,Scratch has a lot of evaluation around it.Reasonable evaluation can help programmers understand their projects better.At the same time,it can also provide a reference for them to browse other projects in the online community.Most of the existing evaluations on Scratch are carried from three perspectives:Computational Thinking(CT)ability,visual presentation aesthetics,and code quality.Among them,the assessment of CT and code quality is mainly carried out from the program script,while the evaluation of visual aesthetics is analyzed from the perspective of image sequences generated by project execution.The single-view evaluation focuses on the performance of a program in a certain aspect and is one-sided.In this paper,we propose a multi-view evaluation framework to integrate various evaluations using different policies.We quantitatively analyze the assessment of different views driven by data.Combined with overall evaluations that represent human opinions,we analyze their differences and connections.Through experiments,we determine the weights of different integration policies,the proposed multi-view evaluation method can generate evaluation results similar to human opinions.

关键词： Scratch Computational Thinking(CT) visual aesthetic static analysis integration policy machine learning

Method of reverberation ray matrix for static analysis of planar framed structures composed of anisotropic Timoshenko beam members

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Applied Mathematics and Mechanics(English Edition) 2015年第2期36卷 233-242页

作者： Jiao ZHANG Guohua NIE School of Aerospace Engineering and Applied Mechanics Tongji University

Based on the method of reverberation ray matrix（MRRM）, a reverberation matrix for planar framed structures composed of anisotropic Timoshenko（T） beam members containing completely hinged joints is developed for static analysis of such structures.In the MRRM for dynamic analysis, amplitudes of arriving and departing waves for joints are chosen as unknown quantities. However, for the present case of static analysis, displacements and rotational angles at the ends of each beam member are directly considered as unknown quantities. The expressions for stiffness matrices for anisotropic beam members are developed. A corresponding reverberation matrix is derived analytically for exact and unified determination on the displacements and internal forces at both ends of each member and arbitrary cross sectional locations in the structure. Numerical examples are given and compared with the finite element method（FEM） results to validate the present model. The characteristic parameter analysis is performed to demonstrate accuracy of the present model with the T beam theory in contrast with errors in the usual model based on the Euler-Bernoulli（EB） beam theory. The resulting reverberation matrix can be used for exact calculation of anisotropic framed structures as well as for parameter analysis of geometrical and material properties of the framed structures.

关键词： planar framed structure anisotropic Timenshenko（T） beam stiffness matrix method of reverberation ray matrix（MRRM） static analysis

Combining static analysis and Case-Based Search Space Partitioning for Reducing Peak Memory in Model Checking

在线全文

学校读者我要写书评

暂无评论

Journal of Computer Science & Technology 2003年第6期18卷 762-770页

作者：张文辉 LaboratoryofComputerScience InstituteofSoftwareTheChineseAcademyofSciences

Memory is one of the critical resources in model checking. This paper discusses a strategy for reducing peak memory in model checking by case-based partitioning of the search space. This strategy combines model checking for verification of different cases and static analysis or expert judgment for guaranteeing the completeness of the cases. Description of the static analysis is based on using PROMELA as the modeling language. The strategy is applicable to a subset of models including models for verification of certain aspects of protocols.

关键词： model checking static analysis search space partitioning spin protocol verification

SHFuzz:A Hybrid Fuzzing Method Assisted by static analysis for Binary Programs

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

China Communications 2021年第8期18卷 1-16页

作者： Wenjie Wang Donghai Tian Rui Ma Hang Wei Qianjin Ying Xiaoqi Jia Lei Zuo School of Computer Science and Technology Beijing Institute of TechnologyBeijing 100081China Key Laboratory of Network Assessment Technology Institute of Information EngineeringChinese Academy of SciencesBeijing 100049China School of Cyber Security University of Chinese Academy of SciencesBeijing 100049China NSFOCUS Inc. Beijing 100089China

Fuzzing is an effective technique to find security bugs in programs by quickly exploring the input space of programs.To further discover vulnerabilities hidden in deep execution paths,the hybrid fuzzing combines fuzzing and concolic execution for going through complex branch conditions.In general,we observe that the execution path which comes across more and complex basic blocks may have a higher chance of containing a security bug.Based on this observation,we propose a hybrid fuzzing method assisted by static analysis for binary programs.The basic idea of our method is to prioritize seed inputs according to the complexity of their associated execution paths.For this purpose,we utilize static analysis to evaluate the complexity of each basic block and employ the hardware trace mechanism to dynamically extract the execution path for calculating the seed inputs’weights.The key advantage of our method is that our system can test binary programs efficiently by using the hardware trace and hybrid fuzzing.To evaluate the effectiveness of our method,we design and implement a prototype system,namely SHFuzz.The evaluation results show SHFuzz discovers more unique crashes on several real-world applications and the LAVA-M dataset when compared to the previous solutions.

关键词： hybrid fuzzing static analysis concolic execution binary programs

Deadlock Detection:Background,Techniques,and Future Improvements

在线全文

学校读者我要写书评

暂无评论

ZTE Communications 2024年第2期22卷 71-79页

作者： LU Jiachen NIU Zhi CHEN Li DONG Luming SHEN Taoli Zhejiang University Hangzhou 310058China ZTE Corporation Xi’an 710114China

Deadlock detection is an essential aspect of concurrency control in parallel and distributed systems,as it ensures the efficient utilization of resources and prevents indefinite delays.This paper presents a comprehensive analysis of the various deadlock detection techniques,including static and dynamic approaches.We discuss the future improvements associated with deadlock detection and provide a comparative evaluation of these techniques in terms of their accuracy,complexity,and scalability.Furthermore,we outline potential future research directions to improve deadlock detection mechanisms and enhance system performance.

关键词： deadlock detection static analysis dynamic analysis

The Topology Optimization of Oil Cylinder Mounting

在线全文

学校读者我要写书评

暂无评论

International Journal of Plant Engineering and Management 2024年第1期29卷 55-62页

作者： LI Zhibin Zhangjiakou Xuanhua Huatai Mining&Metallurgical Machinery Co. Ltd.Zhangjiakou 075100China

The method of the structural topology optimization is often used to design machine in the early stage of the mechanical design.And the mechanical structures use the topology design to produce a new still and lightweig... 详细信息

关键词： static analysis negative force positive force topology optimization angle range

Android Apps:static analysis Based on Permission Classification

在线全文

学校读者我要写书评

暂无评论

ZTE Communications 2013年第1期11卷 62-66页

作者： Zhenjiang Dong Hui Ye Yan Wu Shaoyin Cheng Fan Jiang ZTE Corporation Information Technology Security Evaluation Center University of Science and Technology of China

I IntroductionSmartphones have become more complex in terms of functions and third-party applications, and this makes lhem a living space for malware. People store private information such as accounts and passwordson ... 详细信息

关键词： malware software analysis static analysis Android

AN EXTENSIBLE static analysis METHOD USING DEFECTS DESCRIPTION LANGUAGE

在线全文

学校读者我要写书评

暂无评论

AN EXTENSIBLE STATIC ANALYSIS METHOD USING DEFECTS DESCRIPTI...