检索结果-南通市图书馆

A Novel Hybrid Method to Analyze Security Vulnerabilities in Android Applications

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Tsinghua Science and Technology 2020年第5期25卷 589-603页

作者： Junwei Tang Ruixuan Li Kaipeng Wang xiwu gu Zhiyong Xu School of Computer Science and Technology Huazhong University of Science and TechnologyWuhan 430074China Math and Computer Science Department Suffolk UniversityBostonMA 02101USA and also with Shenzhen Institute of Advanced TechnologyChinese Academy of ScienceShenzhen 518055China

We propose a novel hybrid method to analyze the security vulnerabilities in Android applications.Our method combines static analysis,which consists of metadata and data flow analyses with dynamic analysis,which includes dynamic executable scripts and application program interface hooks.Our hybrid method can effectively analyze nine major categories of important security vulnerabilities in Android applications.We design dynamic executable scripts that record and perform manual operations to customize the execution path of the target application.Our dynamic executable scripts can replace most manual operations,simplify the analysis process,and further verify the corresponding security vulnerabilities.We successfully statically analyze 5547 malwares in Drebin and 10 151real-world applications.The average analysis time of each application in Drebin is 4.52 s,whereas it reaches 92.02 s for real-word applications.Our system can detect all the labeled vulnerabilities among 56 labeled applications.Further dynamic verification shows that our static analysis accuracy approximates 95%for real-world applications.Experiments show that our dynamic analysis can effectively detect the vulnerability named input unverified,which is difficult to be detected by other methods.In addition,our dynamic analysis can be extended to detect more types of vulnerabilities.

关键词： Android security vulnerability analysis static analysis dynamic analysis

Type-2 fuzzy description logic

在线全文

学校读者我要写书评

暂无评论

Frontiers of Computer Science 2011年第2期5卷 205-215页

作者： Ruixuan LI Kunmei WEN xiwu gu Yuhua LI Xiaolin SUN Bing LI Intelligent and Distributed Computing Laboratory School of Computer Science and Technology Huazhong University of Science and Technology Wuhan 430074 China State Key Laboratory of Software Engineering Wuhan University Wuhan 430072 China

Description logics （DLs） are widely employed in recent semantic web application systems. However, classical description logics are limited when dealing with imprecise concepts and roles, thus providing the motivation for this work. In this paper, we present a type-2 fuzzy attributive concept language with complements （ALC） and provide its knowledge representation and reasoning algorithms. We also propose type-2 fuzzy web ontology language （OWL） to build a fuzzy ontology based on type- 2 fuzzy ALC and analyze the soundness, completeness, and complexity of the reasoning algorithms. Compared to type-1 fuzzy ALC, type-2 fuzzy ALC can describe imprecise knowledge more meticulously by using the membership degree interval. We implement a semantic search engine based on type-2 fuzzy ALC and carry out experiments on real data to test its performance. The results show that the type-2 fuzzy ALC can improve the precision and increase the number of relevant hits for imprecise information searches.

关键词： description logic （DL） type-2 fuzzy attributive concept language with complements （ALC） fuzzy ontology reasoning semantic search engine

Cache Coherency Design in Pentium Ⅲ SMP System

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2006年第2期11卷 360-364页

作者： LIU Jinsong ZHANG Jiangling gu xiwu Key Laboratory of Data Storage System Huazhong University of Science and Technology Wuhan 430074 Hubei China

This paper analyzes cache coherency mechanism from the view of system. It firstly discusses caehe-memory hierarchy of Pentium Ⅲ SMP system, including memory area distribution, cache attributes control and bus transaction. Secondly it analyzes hardware snoopy mechanism of P6 bus and MESI state transitions adopted by Pentium Ⅲ. Based on these, it focuses on how muhiprocessors and the P6 bus cooperate to ensure cache coherency of the whole system, and gives the key of cache coherency design.

关键词： snoop cache coherency MESI protocol P6bus Pentium Ⅲ SMP system

A Formal Model for BPEL4WS Description of Web Service Composition

在线全文

学校读者我要写书评

暂无评论

Wuhan University Journal of Natural Sciences 2006年第5期11卷 1311-1319页

作者： gu xiwu LU Zhengding College of Computer Science and Technology HuazhongUniversity of Science and Technology Wuhan 430074Hubei China

Communicating Sequential Processes （CSP） is a kind of process algebra, which is suitable for modeling and verifying Web service composition. This paper describes how to model Web service composition with CSP. A set of rules for translating composition constructor of Business Process Execution Language for Web Services （BPEL4WS） to CSP notations is defined. According to the rules that have been defined, the corresponding translation algorithm is designed and illustrated with examples . The methods for model checking, model verification and model simulation are also introduced.

关键词： communicating sequential processes Web service Web service composition business process execution language for Web services

在线全文

学校读者我要写书评

暂无评论

融合多源信息的知识表示学习

计算机科学与探索 2022年第3期16卷 591-597页

作者：夏光兵李瑞轩辜希武刘伟华中科技大学计算机科学与技术学院武汉430074

在知识图谱中,实体的文本描述信息、实体的层次类型信息和图的拓扑结构信息中隐藏着丰富的内容,它们可以形成对原始三元组的有效补充,帮助提高知识图谱各种任务的效果。为了充分利用这些多源异质信息,首先通过一维卷积神经网络嵌入文本... 详细信息

在知识图谱中,实体的文本描述信息、实体的层次类型信息和图的拓扑结构信息中隐藏着丰富的内容,它们可以形成对原始三元组的有效补充,帮助提高知识图谱各种任务的效果。为了充分利用这些多源异质信息,首先通过一维卷积神经网络嵌入文本描述信息,然后根据实体的层次类型信息构建投影矩阵,将三元组中的实体向量和实体的描述向量映射到特定的关系空间中来约束实体的语义信息,再基于图注意力机制融合图的拓扑结构信息,计算不同邻接点对实体的影响。在图注意力层中,计算了实体间的多跳关系来帮助改善数据稀疏的问题。最后,通过二维卷积神经网络来捕获不同维度间的全局信息,进一步提高模型的性能。链接预测实验结果表明,基于多源信息组合的知识表示学习模型(MCKRL)能够充分利用三元组以外的多源异质信息,因而相比于其他基线模型,该模型在链接预测任务上取得了更好的结果。

关键词：知识表示学习实体描述层次类型拓扑结构

在线全文

学校读者我要写书评

暂无评论

BERT辅助金融领域人物关系图谱构建

计算机科学与探索 2022年第1期16卷 137-143页

作者：张纯鹏辜希武李瑞轩李玉华刘伟华中科技大学计算机科学与技术学院武汉430074

现有的人员简历信息抽取方法无法针对金融公告中非结构化人员简历进行人员属性以及事件的抽取,无法发现金融公告中跨文档的人员之间关系。针对以上问题,将非结构化的人员简历抽取成结构化的人员信息模板,提出一种金融领域人物关系图谱... 详细信息

现有的人员简历信息抽取方法无法针对金融公告中非结构化人员简历进行人员属性以及事件的抽取,无法发现金融公告中跨文档的人员之间关系。针对以上问题,将非结构化的人员简历抽取成结构化的人员信息模板,提出一种金融领域人物关系图谱构建方法。通过对BERT预训练语言模型进行训练,抽取出非结构化人员简历文本中的人员属性实体,利用训练好的BERT预训练模型获取事件实例向量,对事件实例向量进行准确的分类,填充层次化的人员信息模板,准确地关联人员属性。进一步地,通过填充好的人员信息模板,提取人员关系,构建人物关系图谱。通过构建人工标注的数据集,进行实验验证。实验表明所提出的方法可以有效解决非结构化金融人员简历文本信息提取问题,有效地构建金融领域人物关系图谱。

关键词：深度学习信息提取预训练语言模型人物关系图谱

在线全文

学校读者我要写书评

暂无评论

飞机典型结构当量初始缺陷尺寸分布模型研究

南京航空航天大学学报 2024年第3期56卷 438-446页

作者：冯浩凌许希武古兴瑾俞晓楠南京航空航天大学航空学院南京210016 南京航空航天大学航空航天结构力学及控制全国重点实验室南京210016

利用结构耐久性分析技术可以在保证飞机结构可靠性的同时,有效提高飞机结构的经济性。应用结构耐久性分析技术,对某型飞机飞行载荷谱作用下一种7B04-T651高强铝合金典型疲劳结构的原始疲劳质量(Initial fatigue qualit,IFQ)进行了研究... 详细信息

利用结构耐久性分析技术可以在保证飞机结构可靠性的同时,有效提高飞机结构的经济性。应用结构耐久性分析技术,对某型飞机飞行载荷谱作用下一种7B04-T651高强铝合金典型疲劳结构的原始疲劳质量(Initial fatigue qualit,IFQ)进行了研究。开展了3级不同应力水平下的飞行载荷谱疲劳试验研究;利用极大似然估计法处理基于三参数Weibull分布的裂纹萌生时间分布的参数估计问题,利用蒙特卡罗法对比验证了该方法的正确性,提出使用对数样本矩处理当量初始缺陷尺寸(Equivalent initial flaw size,EIFS)分布以获取通用当量初始缺陷尺寸分布模型;建立描述该典型结构的原始疲劳质量模型,验证其当量初始缺陷尺寸小于许用规定的0.125mm;最后通过对该典型结构的原始疲劳质量分析,验证了通用化方法的正确性和实用性,并且建立了结构在不同应力区、不同指定裂纹尺寸和不同可靠度下的寿命估计模型。

关键词：原始疲劳质量裂纹萌生时间当量初始缺陷尺寸极大似然估计铝合金

C2C电子商务交易的信用及风险评估方法研究

在线全文

学校读者我要写书评

暂无评论

通信学报 2009年第7期30卷 78-85页

作者：李瑞轩高昶辜希武卢正鼎华中科技大学计算机科学与技术学院智能与分布计算实验室湖北武汉430074

提出了一种改进的信用计分方法,该方法采用商品价格的区间分布来对成功交易进行加分,采用信用等级的扣分系数来对不同信用等级的失败交易进行扣分,可以解决信用炒作和周期欺骗问题。通过对信用风险的分析,在改进的信用计分模型的基础上... 详细信息

提出了一种改进的信用计分方法,该方法采用商品价格的区间分布来对成功交易进行加分,采用信用等级的扣分系数来对不同信用等级的失败交易进行扣分,可以解决信用炒作和周期欺骗问题。通过对信用风险的分析,在改进的信用计分模型的基础上,设计了一种网上交易的风险计算方法,该方法可以根据历史交易的情况以及当前交易的价格来对当前交易的风险进行评估。模拟实验结果表明,改进的信用计分方法具有较好的抗信用炒作和周期欺骗效果,所给出的风险评估方法对电子商务交易中的风险分析和预测是比较准确和有效的。

关键词：电子商务信用评价风险评估信任

基于多重关系异构网络的学术实体权威度评估方法研究

在线全文

学校读者我要写书评

暂无评论

情报学报 2014年第8期33卷 872-882页

作者：王平辜希武赵慧慧武汉大学信息管理学院武汉430072 华中科技大学计算机科学与技术学院武汉430074

面对海量的科技文献资源，如何评估文献、作者和研究机构的学术质量和可信度引起了广泛关注。在众多可信度评价标准中，权威度是优先和关键的评价指标。因此，对科技文献、作者和机构等学术实体的科技实力和权威度进行研究与量化评估具... 详细信息

面对海量的科技文献资源，如何评估文献、作者和研究机构的学术质量和可信度引起了广泛关注。在众多可信度评价标准中，权威度是优先和关键的评价指标。因此，对科技文献、作者和机构等学术实体的科技实力和权威度进行研究与量化评估具有很大的现实意义。本文利用文献、作者、机构等三类实体间的引用、合著、合作等关系建立异构网络模型，在此基础上提出了混合随机游走算法Co-AcademicRank定量计算文献、作者、机构的权威度，并基于MapReduce实现了分布式的Co-AcademicRank算法。最后通过对情报学和图书馆学数据集测试与分析，对比分析了PageRank和Co-ranking算法，验证了本模型的有效性、准确性和优越性。同时，实验比较了算法在单机环境下和Hadoop平台下的运行时间，证明了分布式算法的高效性和稳定性。

关键词：权威度学术实体异构网络评估 MapReduce