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

Efficient identity-based threshold decryption scheme from bilinear pairings

Frontiers of computer science 2018年第1期12卷 177-189页

作者： Wei GAO Guilin WANG Kefei CHEN Xueli WANG School of Mathematics and Statistics Ludong University Yantai 264025 China School of Computer and Software Nanjing University of Information Science & Technology Nanjing 210044 China Key Laboratory of Information Security Guangzhou University Guangzhou 510006 China Shield Lab Singapore Research Center of Huawei Singapore 117674 Singapore Department of Mathematics Hangzhou Normal University Hangzhou 311121China School of Mathematics South China Normal University Guangzhou 510631 China

Using Shamir＇s secret sharing scheme to indi- rectly share the identity-based private key in the form of a pairing group element, we propose an efficient identity-based threshold decryption scheme from pairings and prove its se- curity in the random oracle model. This new paring-based scheme features a few improvements compared with other schemes in the literature. The two most noticeable features are its efficiency, by drastically reducing the number of pair- ing computations, and the ability it gives the user to share the identity-based private key without requiring any access to a private key generator. With the ability it gives the user to share the identity-based private key, our ID-based threshold decryption （IBTD） scheme, the second of its kind, is signif- icantly more efficient than the first scheme, which was de- veloped by Baek and Zheng, at the expense of a slightly in- creased ciphertext length. In fact, our IBTD scheme tries to use as few bilinear pairings as possible, especially without depending on the suite of Baek-Zheng secret sharing tools based on pairings.

关键词： identity-based cryptography threshold cryptog-raphy provable security random oracle model bilinear pair-ing identity-based threshold decryption

来源：评论

学校读者我要写书评

暂无评论

NjuLink: Results for instance matching at OAEI 2017 12

NjuLink: Results for instance matching at OAEI 2017

引用

12th International Workshop on Ontology Matching, OM 2017

作者： Lyu, Xinze Zhang, Qingheng Hu, Wei Sun, Zequn Qu, Yuzhong State Key Laboratory for Novel Software Technology Nanjing University China Department of Computer Science and Technology Nanjing University China

njuLink is a tool designed for instance matching. It mainly matches instances by finding discriminative property pairs. Also, to meet 1:1 equivalence relationship for the OAEI 2017 DORUMES task, we make several improv...

关键词：

来源：评论

学校读者我要写书评

暂无评论

Identification of Cognitive Dysfunction in Patients with T2DM Using Whole Brain Functional Connectivity

引用

Genomics, Proteomics & Bioinformatics 2019年第4期17卷 441-452页

作者： Zhenyu Liu Jiangang Liu Huijuan Yuan Taiyuan Liu Xingwei Cui Zhenchao Tang Yang Du Meiyun Wang Yusong Lin Jie Tian CAS Key Laboratory of Molecular Imaging Institute of AutomationChinese Academy of SciencesBeijing 100190China School of Computer and Information Technology Beijing Jiaotong UniversityBeijing 100044China Department of Endocrinology and Metabolism Henan Provincial People’s Hospital&the People’s Hospital of Zhengzhou UniversityZhengzhou 450003China Department of Radiology Henan Provincial People’s Hospital&the People’s Hospital of Zhengzhou UniversityZhengzhou 450003China Cooperative Innovation Center for Internet Healthcare&School of Software Zhengzhou UniversityZhengzhou 450003China School of Mechanical Electrical&Information EngineeringShandong University(Weihai)Weihai 264209China University of Chinese Academy of Sciences Beijing 100080China Beijing Advanced Innovation Center for Big Data-Based Precision Medicine School of MedicineBeihang UniversityBeijing 100191China Engineering Research Center of Molecular and Neuro Imaging of Ministry of Education School of Life Science and TechnologyXidian UniversityXi’an 710126China

Majority of type 2 diabetes mellitus(T2DM)patients are highly susceptible to several forms of cognitive impairments,particularly ***,the underlying neural mechanism of these cognitive impairments remains *** aimed to investigate the correlation between whole brain resting state functional connections(RSFCs)and the cognitive status in 95 patients with *** constructed an elastic net model to estimate the Montreal Cognitive Assessment(MoCA)scores,which served as an index of the cognitive status of the patients,and to select the RSFCs for further ***,we utilized a machine learning technique to evaluate the discriminative ability of the connectivity pattern associated with the selected *** estimated and chronological MoCA scores were significantly correlated with R=0.81 and the mean absolute error(MAE)=***,cognitive impairments of patients with T2DM can be identified using the RSFC pattern with classification accuracy of 90.54%and the area under the receiver operating characteristic(ROC)curve(AUC)of *** connectivity pattern not only included the connections between regions within the default mode network(DMN),but also the functional connectivity between the task-positive networks and the DMN,as well as those within the task-positive *** results suggest that an RSFC pattern could be regarded as a potential biomarker to identify the cognitive status of patients with T2DM.

关键词： Type 2 diabetes mellitus Resting state functional connectivity Elastic net Support vector machines MoCA

来源：评论

学校读者我要写书评

暂无评论

Data flow analysis on android platform with fragment lifecycle modeling 1

引用

12th EAI International Conference on Security and Privacy in Communication Networks, SecureComm 2016

作者： Li, Yongfeng Ouyang, Jinbin Guo, Shanqing Mao, Bing State Key Laboratory for Novel Software Technology Department of Computer Science and Technology Nanjing University Nanjing China School of Computer Science and Technology Shandong University Jinan China

ISBN: (数字)9783319596082

ISBN: (纸本)9783319596075

Smartphones carry a large quantity of sensitive information to satisfy people’s various requirements, but the way of using information is important to keep the security of users’ privacy. There are two kinds of misuses of sensitive information for apps. On the one hand, careless programmers may leak the data by accident. On the other hand, the attackers develop malware to collect sensitive data intentionally. Many researchers apply data flow analysis to detect data leakages of an app. However, data flow analysis on Android platform is quite different from the programs on desktop. Many researchers have solved some problems of data flow analysis on Android platform, like Activity lifecycle, callback methods, inter-component communication. We find that Fragment’s lifecycle also has an effect on the data flow analysis of Android apps. Some data will be leaked if we don’t take Fragment’s lifecycle into consideration when performing data flow analysis in Android apps. So in this paper, we propose an approach to model Fragment’s lifecycle and its relationship with Activity’s lifecycle, then introduce a tool called FragDroid based on FlowDroid [7]. We conduct some experiments to evaluate the effectiveness of our tool and the results show that there are 8% of apps in our data set using Fragment. In particular, for popular apps, the result is 50.8%. We also evaluate the performance of using FragDroid to analyze Android apps, the result shows the average overhead is 17%. © ICST Institute for computer sciences, Social Informatics and Telecommunications Engineering 2017.

关键词： Data flow analysis

来源：评论

学校读者我要写书评

暂无评论

How to Explain a Patch: An Empirical Study of Patch Explanations in Open Source Projects

How to Explain a Patch: An Empirical Study of Patch Explanat...

引用

International Symposium on software Reliability Engineering (ISSRE)

作者： Jingjing Liang Yaozong Hou Shurui Zhou Junjie Chen Yingfei Xiong Gang Huang Key Laboratory of High Confidence Software Technologies (Peking University) MoE Beijing PR China Department of Computer Science and Technology EECS Peking University Beijing PR China Beijing Kuaishou Technology Co. Ltd Beijing PR China Carnegie Mellon University Pittsburgh USA College of Intelligence and Computing Tianjin University Tianjin PR China

ISBN: (纸本)9781728149837

Bugs are inevitable in software development and maintenance processes. Recently a lot of research efforts have been devoted to automatic program repair, aiming to reduce the efforts of debugging. However, since it is difficult to ensure that the generated patches meet all quality requirements such as correctness, developers still need to review the patch. In addition, current techniques produce only patches without explanation, making it difficult for the developers to understand the patch. Therefore, we believe a more desirable approach should generate not only the patch but also an explanation of the patch. To generate a patch explanation, it is important to first understand how patches were explained. In this paper, we explored how developers explain their patches by manually analyzing 300 merged bug-fixing pull requests from six projects on GitHub. Our contribution is twofold. First, we build a patch explanation model, which summarizes the elements in a patch explanation, and corresponding expressive forms. Second, we conducted a quantitative analysis to understand the distributions of elements, and the correlation between elements and their expressive forms.

关键词： Correlation Statistical analysis Maintenance engineering software software reliability software measurement software development management

来源：评论

学校读者我要写书评

暂无评论

Petri Net Control Method for Pipe-line Systems and Its Implementation via CIF3 ⁎

引用

IFAC-PapersOnLine 2019年第24期52卷 261-266页

作者： YuHao Fu JiLiang Luo Huifeng Wu Jianhong Ye Yi-sheng Huang College Information Science and Engineering Huaqiao University Xiamen 361021 China College Information Science and Engineering Huaqiao University Xiamen 361021 China and also with Fujian Engineering Research Center of Motor Control and System Optimal Schedule Xiamen 361021 China Institute of Intelligent and Software Technology Hangzhou Dianzi University Hangzhou 310018 China Computer Science and Technology Huaqiao University Xiamen 361021 China and also with Fujian Provincial Key Laboratory of Data Intensive Computing Quanzhou 362000 China Department of Electrical Engineering National Ilan University Taiwan

As for a pipe-line system subjected to complex operations, an approach is proposed to synthesize the controller via Petri nets (PNs) such that the plant is run as concurrently as possible and the loads of equipments are balanced. A P-timed and labeled PN is designed to model the whole process of a pipe-line system, where tasks, including transporting material from one tank to another and cleaning tank, are represented by operational places, and level sensors amounted in tanks are represented by labels assigned to transitions. Further, monitor places are designed to resolve the conflict relations among tasks due to the shared valves and pipes. An method is presented to translate an PN controller into a CIF3 (Compositional Interchange Format) model, which can be converted into a PLC program in the CIF3 tool. A beer filtration plant is taken as an example to illustrate the approach, and its simulation experiments are carried out to verify the theoretic results.

关键词： Chemical plant Valve control Petri net CIF3

来源：评论

学校读者我要写书评

暂无评论

Simultaneous spectral-spatial feature selection and extraction for hyperspectral images

arXiv

引用

arXiv 2019年

作者： Zhang, Lefei Zhang, Qian Du, Bo Huang, Xin Tang, Yuan Yan Tao, Dacheng State Key Laboratory of Software Engineering School of Computer Wuhan University Wuhan430072 China Beijing Samsung Telecom R&D Center Beijing100028 China School of Remote Sensing and Information Engineering Wuhan University Wuhan430072 China Department of Computer and Information Science University of Macau Macau999078 China Centre for Quantum Computation and Intelligent Systems Faculty of Engineering and Information Technology University of Technology SydneyNSW2007 Australia

In hyperspectral remote sensing data mining, it is important to take into account of both spectral and spatial information, such as the spectral signature, texture feature and morphological property, to improve the performances, e.g., the image classification accuracy. In a feature representation point of view, a nature approach to handle this situation is to concatenate the spectral and spatial features into a single but high dimensional vector and then apply a certain dimension reduction technique directly on that concatenated vector before feed it into the subsequent classifier. However, multiple features from various domains definitely have different physical meanings and statistical properties, and thus such concatenation hasn't efficiently explore the complementary properties among different features, which should benefit for boost the feature discriminability. Furthermore, it is also difficult to interpret the transformed results of the concatenated vector. Consequently, finding a physically meaningful consensus low dimensional feature representation of original multiple features is still a challenging task. In order to address the these issues, we propose a novel feature learning framework, i.e., the simultaneous spectral-spatial feature selection and extraction algorithm, for hyperspectral images spectralspatial feature representation and classification. Specifically, the proposed method learns a latent low dimensional subspace by projecting the spectral-spatial feature into a common feature space, where the complementary information has been effectively exploited, and simultaneously, only the most significant original features have been transformed. Encouraging experimental results on three public available hyperspectral remote sensing datasets confirm that our proposed method is effective and efficient. Copyright © 2019, The Authors. All rights reserved.

关键词： Feature extraction

来源：评论

学校读者我要写书评

暂无评论

A Logic for Recursive Quantum Programs

arXiv

引用

arXiv 2018年

作者： Xu, Zhaowei Ying, Mingsheng Ying, Shenggang State Key Laboratory of Computer Science Institute of Software Chinese Academy of Sciences Beijing100190 China Center for Quantum Software and Information University of Technology Sydney NSW2007 Australia Department of Computer Science and Technology Tsinghua University Beijing100084 China

Most modern (classical) programming languages support recursion. Recursion has also been successfully applied to the design of several quantum algorithms and introduced in a couple of quantum programming languages. So, it can be expected that recursion will become one of the fundamental paradigms of quantum programming. Several program logics have been developed for verification of non-recursive quantum programs. However, there are as yet no general methods for reasoning about recursive procedures in quantum computing. We fill the gap in this paper by presenting a logic for recursive quantum programs. This logic is an extension of quantum Hoare logic for quantum while-programs. The (relative) completeness of the logic is proved, and its effectiveness is shown by a running example: fixed-point Grover’s search. Copyright © 2018, The Authors. All rights reserved.

关键词： Quantum computers

来源：评论

学校读者我要写书评

暂无评论

Value based Curriculum Design for Engineering Studies 5

Value based Curriculum Design for Engineering Studies

引用

5th IEEE International Conference on MOOCs, Innovation and technology in Education (MITE)

作者： Subramanian, Shriram Dorairaju, Bharathi Pallavarapu, Mayur Department of Computer Science Tianjin University of Technology Tianjin China Tianjin Key Laboratory of Intelligence Computing and Novel Software Technology Tianjin China Key Laboratory of Computer Vision and System Ministry of Education Tianjin China

ISBN: (纸本)9781538631898

Education apart from the basic needs of food, clothing and shelter, is another key factor to empower an individual. It acts as an enabler to elevate a person socially and from within. Education system has been evolving since human existence and various approaches are being used to teach. Focusing on professional courses, the quality of education is questioned and stands as a concern along with the unemployment issues. In India, there is a huge potential for technology growth. However, as per the National employability report, only 3.84% of engineers qualify for a startup technology role. Further, 2016 employability rate has been 17.91%, 3.67% and 40.57% for IT Services, IT Products and Business Process Outsourcing respectively. Apart from this, there are many forums in which the quality of education is being questioned, since education is linked with the job or business opportunity. One of the essentials in the professional courses is the curriculum design. It is very important to start with the curriculum that can enhance the knowledge of students and also make a prospective career. With these in mind, the improvement options have to be deeply thought and charted out. In this regard, a survey has been taken up with engineering professionals to get their feedback on how they view the education system. This paper focuses on the feedback from working engineering professionals, compares the existing and other curriculum options and provides a proposal for a value based curriculum design.

关键词： Education system quality career engineering studies employability value based education curriculum

来源：评论

学校读者我要写书评

暂无评论

Continuous Incident Triage for Large-Scale Online Service Systems

Continuous Incident Triage for Large-Scale Online Service Sy...

引用

IEEE International Conference on Automated software Engineering (ASE)

作者： Junjie Chen Xiaoting He Qingwei Lin Hongyu Zhang Dan Hao Feng Gao Zhangwei Xu Yingnong Dang Dongmei Zhang College of Intelligence and Computing Tianjin University Tianjin China Microsoft Research Beijing China The University of Newcastle NSW Australia Key Laboratory of High Confidence Software Technologies (Peking University) MoE Department of Computer Science and Technology Peking University Beijing China Microsoft Azure Redmond Washington USA

In recent years, online service systems have become increasingly popular. Incidents of these systems could cause significant economic loss and customer dissatisfaction. Incident triage, which is the process of assigning a new incident to the responsible team, is vitally important for quick recovery of the affected service. Our industry experience shows that in practice, incident triage is not conducted only once in the beginning, but is a continuous process, in which engineers from different teams have to discuss intensively among themselves about an incident, and continuously refine the incident-triage result until the correct assignment is reached. In particular, our empirical study on 8 real online service systems shows that the percentage of incidents that were reassigned ranges from 5.43% to 68.26% and the number of discussion items before achieving the correct assignment is up to 11.32 on average. To improve the existing incident triage process, in this paper, we propose DeepCT, a Deep learning based approach to automated Continuous incident Triage. DeepCT incorporates a novel GRU-based (Gated Recurrent Unit) model with an attention-based mask strategy and a revised loss function, which can incrementally learn knowledge from discussions and update incident-triage results. Using DeepCT, the correct incident assignment can be achieved with fewer discussions. We conducted an extensive evaluation of DeepCT on 14 large-scale online service systems in Microsoft. The results show that DeepCT is able to achieve more accurate and efficient incident triage, e.g., the average accuracy identifying the responsible team precisely is 0.641~0.729 with the number of discussion items increasing from 1 to 5. Also, DeepCT statistically significantly outperforms the state-of-the-art bug triage approach.

关键词： Deep learning Industries software Economics Logic gates computer bugs Monitoring

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：