检索结果-南通市图书馆

Code line generation based on deep context-awareness of onsite programming

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2020年第9期63卷 64-66页

作者： Chuanqi TAO Panpan BAO zhiqiu huang College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Ministry Key Laboratory for Safety-Critical Software Development and Verification Nanjing University of Aeronautics and Astronautics National Key Laboratory for Novel Software Technology Nanjing University

Dear editor,Intelligent code generation has become an essential research task to accelerate modern software development. To facilitate effective code generation for programming languages, numerous approaches have been... 详细信息

关键词： Onsite Programming code line deep context-awareness quality assurance re-ranking

A user requirements-oriented privacy policy self-adaption scheme in cloud computing

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2023年第2期17卷 33-44页

作者： Changbo KE Fu XIAO zhiqiu huang Fangxiong XIAO School of Computer Science Nanjing University of Posts and TelecommunicationsNanjing 210003China College of computer science and technology Nanjing University of Aeronautics and AstronauticsNanjing 210016China School of Software Engineering Jinling Institute of TechnologyNanjing 210000China

In an ever-changing environment,Software as a Service(SaaS)can rarely protect users'*** able to manage and control the privacy is therefore an important goal for *** the participant of composite service is substituted,it is unclear whether the composite service satisfy user privacy requirement or *** this paper,we propose a privacy policies automatic update method to enhance user privacy when a service participant change in the composite ***,we model the privacy policies and service variation ***,according to the service variation rules,the privacy policies are automatically generated through the negotiation between user and service ***,we prove the feasibility and applicability of our method with the *** the service quantity is 50,ratio that the services variations are successfully checked by monitor is 81%.Moreover,ratio that the privacy policies are correctly updated is 93.6%.

关键词： cloud computing SaaS service privacy protec-tion privacy policies update

Lightweight fault localization combined with fault context to improve fault absolute rank

在线全文

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2017年第9期60卷 178-193页

作者： Yong WANG zhiqiu huang Yong LI Bingwu FANG College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics College of Computer and Information Anhui Polytechnic University

Lightweight fault localization(LFL), which outputs a list of suspicious program entities in descending order based on their likelihood to be a root fault, is a popular method used by programmers to assist them in debugging. However, owing to the nature of program structures, it is impossible for LFL to always rank the root faulty program entity at the top of a ranking list. Recently, Xia et al. noted in their study that programmers inspect the first top-K-ranked program entities outputted by an LFL tool in sequence. Therefore,it is of practical significance to further improve the absolute rank of those buggy programs by using LFL if the root fault is ranked higher. To solve this issue, we propose a new LFL combined with a fault context to improve the fault absolute rank. We conduct experiments in which we apply our proposed approach to seven Siemens benchmark programs. The results show that by combining the suspiciousness scores of program entities with their fault-context suspiciousness scores that are based on an LFL called Dstar, our approach can improve the fault absolute rank with an effectiveness rate of 35.7% for 129 faulty versions from the seven benchmark programs. It should be noted that our approach can obtain an average improvement of 65.18% for those improved programs to which LFL can be effectively applied, and that there were improvements to seven top-ranked root faults of buggy programs.

关键词： fault context fault localization program spectrum absolute rank debugging

Specification and Verification of a Topology-Aware Access Control Model for Cyber-Physical Space

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Tsinghua Science and Technology 2019年第5期24卷 497-519页

作者： Yan Cao zhiqiu huang Shuanglong Kan Dajuan Fan Yang Yang College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing 211106 China School of Computer Engineering Nanjing Institute of Technology Nanjing 211167China

The cyber-physical space is a spatial environment that integrates the cyber and physical worlds to provide an intelligent environment for users to conduct their day-to-day activities. Mobile users and mobile objects are ubiquitous in this space, thereby exerting tremendous pressure on its security model. This model must ensure that both cyber and physical objects are always handled securely in this dynamic environment. In this paper,we propose a systematic solution to be able to specify security policies of the cyber-physical space and ensure that security requirements hold in these policies. We first formulate a topology configuration model to capture the topology characteristics of the cyber and physical worlds. Then, based on this model, a Topology-Aware CyberPhysical Access Control model(TA-CPAC) is proposed, which can ensure the security of the cyber and physical worlds at the same time by adjusting permission assignment dynamically. Then, the topology configuration and TA-CPAC models are formalized by bigraphs and Bigraph Reactive System(BRS), respectively, allowing us to use model checking to rationalize the consequences of the evolution of topological configurations on the satisfaction of security requirements. Finally, a case study on a building automation access control system is conducted to evaluate the effectiveness of the proposed approach.

关键词： cyber-physical space topology configuration access control model checking bigraphs

A topology and risk-aware access control framework for cyber-physical space

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2020年第4期14卷 181-195页

作者： Yan CAO zhiqiu huang Yaoshen YU Changbo KE Zihao WANG School of Computer Science and Technology Nanjing University of Aeronautics and AstronauticsNanjing211106China Key Laboratory of Safety-Critical Software Ministry of Industry and Information TechnologyNanjing211106China Collaborative Innovation Center of Novel Software Technology and Industrialization Nanjing211106China School of Computer Science Nanjing University of Posts and TelecommunicationsNanjing210023China

Cyber-physical space is a spatial environment that integrates the cyber world and the physical world,aiming to provide an intelligent environment for users to conduct their day-to-day *** interplay between the cyber space and physical space proposes specific security requirements that are not captured by traditional access control *** one hand,the security of the physical space and the cyber space should be both concerned in the cyber-physical *** the other hand,the bad results caused by failure in providing secure policy enforcement may directly affect the controlled physical *** this paper,we propose an effective access control framework for the cyber-physical ***,a topology-aware access control(TAAC)model is *** can express the cyber access control,the physical access control,and the interaction access control ***,a risk assessment approach is proposed for the policy enforcement *** is used to evaluate the user behavior and ensures that the suspicious behaviors executed by authorized users can be handled ***,we propose a role activation algorithm to ensure that the objects are accessed only by legal and honest ***,we evaluate our approach by using an illustrative example and the performance *** results demonstrate the feasibility of our approach.

关键词： cyber-physical space access control risk management role activation

ASTSDL:predicting the functionality of incomplete programming code via an AST-sequence-based deep learning model

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Science China(Information Sciences) 2024年第1期67卷 86-104页

作者： Yaoshen YU zhiqiu huang Guohua SHEN Weiwei LI Yichao SHAO College of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Collaborative Innovation Center of Novel Software Technology and Industrialization Key Laboratory of Safety-Critical Software Ministry of Industry and Information Technology

Code recommendation systems have been widely used in helping developers implement unfamiliar programming *** existing code recommenders or code search engines can retrieve relevant code rapidly with high accuracy,however,they cannot recommend any code outside similar *** propose an approach to predict the functionality of incomplete programming code by using syntactical information,and providing a list of potential functionalities to guess what the developers want,in order to increase the diversity of *** this paper,we propose a deep learning model called ASTSDL,which uses a sequencebased representation of source code to predict *** extract syntactical information from the abstract syntax tree(AST) of the source code,apply a deep learning model to capture the syntactic and sequential information,and predict the functionality of the source code *** experimental results demonstrate that ASTSDL can effectively predict the functionality of incomplete code with an accuracy above 84% in the top-10 list,even if there is only half of the complete code.

关键词： functionality prediction incomplete programming code syntactical information code representation model deep learning algorithm

同方期刊数据库

Truthful Mechanism for Crowdsourcing Task Assignment

在线全文

学校读者我要写书评

暂无评论

Tsinghua Science and Technology 2018年第6期23卷 645-659页

作者： Yonglong Zhang Haiyan Qin Bin Li Jin Wang Sungyoung Lee zhiqiu huang School of Computer Science and Technology Nanjing University of Aeronautics and Astronautics Nanjing 211106 China College of Information Engineering Yangzhou University Yangzhou 225127 China Department of Computer Engineering Kyung Hee University Suwon 449-701 Korea

As an emerging ＂human problem solving strategy＂, crowdsourcing has attracted much attention where requesters want to employ reliable workers to complete specific tasks. Task assignment is an important branch of crowdsourcing. Most existing studies in crowdsourcing have not considered self-interested individuals＇ strategy. To guarantee truthfulness, auction has been regarded as a promising method to charge the requesters for the tasks completed and reward the workers for performing the tasks. In this study, an online task assignment scenario is considered where each worker has a set of experienced skills, whereas a specific task is budget-constrained and requires one or more skills. In this scenario, the crowdsourcing task assignment was modeled as a reverse auction where the requesters are buyers and the workers are sellers. Three incentive mechanisms, namely, Truthful Mechanism for Crawdsourcing-Vickrey-Clarke-Grove （TMC-VCG）, TMC-Simple Task （ST） for a simple task case, and TMC-Complex Task （CT） for a complex task case are proposed. Here, a simple task case means that the requester asks for a single skill, and a complex task case means that the requester asks for multiple skills. The related properties of each of the three mechanisms are determined theoretically. Moreover, the truthfulness is verified, and other performances are evaluated by extensive simulations.

关键词： crowdsourcing task assignment auction truthfulness

Microstructure of fly ash cenosphere/AZ91D composite during solution treatment at 380-420℃

在线全文

学校读者我要写书评

暂无评论

China Foundry 2011年第1期8卷 117-120页

作者： huang zhiqiu Yu Sirong Li Muqin Liu Hongli Key Laboratory of Automobile Materials （Jilin University） Ministry of Education and College of Materials Science and Engineering Jilin University Changchun 130025 China College of Materials Science and Engineering Jiamusi University Jiamusi 154007 China

The fly ash cenosphere/AZ91D (FAC/AZ91D) composites containing 5 wt.% and 100 μm in size of fly-ash cenosphere particles were fabricated by means of the compcasting *** microstructures of the as-cast samples and the effect of the solution treatment at 380℃,400℃,and 420℃ for 16 h on the microstructures of the samples were investigated by using of OM,SEM,XRD and *** results showed that the cenospheres distributed homogeneously in the Mg alloy,and were almost filled with Mg *** main interfacial phase between the cenospheres and AZ91D Mg alloy was identified as MgAl2O4 according to XRD,EDS and thermodynamic ***2Si particles tended to be spheroidized via the solution treatment and the β phase (Mg17Al12) dissolved completely at 400℃.

关键词： composite materials liquid-solid reactions quenching microstructure

A strategy-proof auction mechanism for service composition based on user preferences

在线全文

学校读者我要写书评

暂无评论

Frontiers of Information Technology & Electronic Engineering 2021年第2期22卷 185-201页

作者： Yao XIA zhiqiu huang College of Computer Science and Technology Nanjing University of Aeronautics and AstronauticsNanjing 210016China

Service composition is an effective method of combining existing atomic services into a value-added service based on cost and quality of service(QoS).To meet the diverse needs of users and to offer pricing services based on QoS,we propose a service composition auction mechanism based on user preferences,which is strategy-proof and can be beneficial in selecting services based on user preferences and dynamically determining the price of *** have proven that the proposed auction mechanism achieves desirable properties including truthfulness and individual ***,we propose an auction algorithm to implement the auction mechanism,and carry out extensive experiments based on real *** results verify that the proposed auction mechanism not only achieves desirable properties,but also helps users find a satisfactory service composition scheme.

关键词： Combinatorial reverse auction Service composition User preference Strategy-proof Dynamic pricing