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

计算机研究与发展 2019年第3期56卷 623-634页

作者：罗晟苗夺谦张志飞张远健胡声丹同济大学计算机科学与技术系上海201804 嵌入式系统与服务计算教育部重点实验室(同济大学) 上海201804 计算机软件新技术国家重点实验室(南京大学) 南京210023

随着具有结点属性信息的网络图数据的增加,结点属性及结点链接关系越来越复杂,这对复杂网络的链接预测任务带来了一系列的挑战.这些不同来源的原始数据之间存在着不一致性,即结点的属性诱导的潜在链接关系与网络拓扑结构观测到的链接边... 详细信息

随着具有结点属性信息的网络图数据的增加,结点属性及结点链接关系越来越复杂,这对复杂网络的链接预测任务带来了一系列的挑战.这些不同来源的原始数据之间存在着不一致性,即结点的属性诱导的潜在链接关系与网络拓扑结构观测到的链接边之间存在着不一致的情况,这一现象将直接影响结点对之间的链接预测准确性与精确性.为了有效处理多源数据的不一致性,融合异构数据的差异,借助粒计算思想,通过对原始数据的多粒度表示,将原始数据在不同层次的粒度进行信息表示建模.最终依据这些数据的粒度表示,寻找最优的粒层结构,并最大化地消除数据内在的不一致性.首先,定义了数据的粒度不同层次表示及粒层关系;其次,对所观测到的链接数据,构建对数似然统计模型,并综合不同粒度层数据特点对模型进行修正;最后,使用多源数据训练统计模型,将学习好的模型用于预测结点对之间的链接概率.实验表明:与现有链接预测模型相比,多源数据经过粒度表示极大地平衡了多源数据的不一致性,有效提升了链接预测任务的准确性.

关键词：粒度表示学习粒计算属性图链接预测数据融合

来源：评论

学校读者我要写书评

暂无评论

基于复杂网络与PCA降维和K-Means聚类探讨治疗COVID-19组方配伍特点

引用

南京中医药大学学报 2020年第6期36卷 897-901页

作者：倪瑛张一鸣范欣生周丽萍沈俊东王崇骏南京中医药大学中医学院·中西医结合学院江苏省方剂研究重点实验室方剂高技术研究重点实验室江苏南京210023 南京大学计算机科学与技术系计算机软件新技术国家重点实验室江苏南京210023

目的探讨治疗新型冠状病毒肺炎(COVID-19)处方的组方配伍规律。方法收集国家及各省市卫生健康委、中医药管理局颁布的关于疫情确立的中医药诊疗方案,以及中英文数据库中已公开发表的相关文献,整理其中治疗新型冠状病毒肺炎的方药,运用... 详细信息

目的探讨治疗新型冠状病毒肺炎(COVID-19)处方的组方配伍规律。方法收集国家及各省市卫生健康委、中医药管理局颁布的关于疫情确立的中医药诊疗方案,以及中英文数据库中已公开发表的相关文献,整理其中治疗新型冠状病毒肺炎的方药,运用关联规则、药物复杂网络关系和基于主成分分析(PCA)降维和K-Means算法进行药物聚类,分析组方核心药物和配伍规律。结果纳入治疗方剂共639首,共涉及单味中药237味。频繁项集结果显示支持度较高的药物有甘草、杏仁、麻黄、石膏、黄芩、半夏、藿香、茯苓、陈皮、苍术、厚朴、连翘等,主要为宣降肺气药、清肺解毒药、芳香化湿药等,并形成支持度较高的药对、药组如麻黄、杏仁、石膏、黄芩配伍,茯苓、半夏、藿香、陈皮配伍等;频繁且相关结果显示,有些药对支持度不高但关联紧密,如附子、山茱萸、人参,草果、槟榔等组成的药对;复杂网络结果显示以麻黄、杏仁、石膏、甘草、黄芩为核心,与厚朴、苍术、草果、槟榔、茯苓、连翘、半夏、藿香、陈皮等形成紧密关系;聚类分析获得6类药物社团,具有清肺解毒、芳香化湿、辟秽化浊、通腑解毒祛瘀、回阳救逆、补气养阴等配伍特征。结论结合不同的数据挖掘方法可以从不同层面反映COVID-19用药与配伍特点,为中医药治疗疫病提供资料及依据。

关键词： PCA降维 K-Means算法 COVID-19 配伍规律组方用药

来源：评论

学校读者我要写书评

暂无评论

基于可重随机化混淆电路的可验证计算

引用

软件学报 2019年第2期30卷 399-415页

作者：赵青松曾庆凯刘西蒙徐焕良计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 南京农业大学信息科技学院江苏南京210095 福州大学数学与计算机科学学院福建福州350117 School of Information Systems Singapore Management University

Yao的混淆电路可用于客户端将函数计算外包给服务器,并可验证其正确性.然而,混淆电路仅能使用1次.Gennaro等人组合使用全同态加密和混淆电路,可实现客户端和服务器在多次输入上重用混淆电路.但是,所有已知的全同态加密在效率的提高上似... 详细信息

Yao的混淆电路可用于客户端将函数计算外包给服务器,并可验证其正确性.然而,混淆电路仅能使用1次.Gennaro等人组合使用全同态加密和混淆电路,可实现客户端和服务器在多次输入上重用混淆电路.但是,所有已知的全同态加密在效率的提高上似乎仍有很大的空间,并且需要较强的困难性假设.另一方面,Gennaro等人的方案只能在敌手不能对客户端发起任何数量的验证查询这种较弱的模型下被证明是安全的.部分同态加密的困难性假设要弱于全同态加密,虽然只支持数量有限的同态操作,但比全同态加密运行速度更快、更加紧凑.提出了一个使用加同态加密的可验证计算方案.它基于DDH假设,能够容忍任意数量的恶意验证查询,采用的主要技术是可重随机化的混淆电路.该技术可以实现重随机化的混淆电路分布与原有的混淆电路分布在计算上是不可区分的.另外,也给出了一种使用可重随机化的混淆电路构造密码转置防火墙方案,称为可重用密码转置防火墙.也就是说,混淆电路可生成1次,接下来,密码转置防火墙可安全地重随机化和重用多次.

关键词：可验证计算可重随机化混淆电路同态加密密码转置防火墙

来源：评论

学校读者我要写书评

暂无评论

软件开发方法发展回顾与展望

引用

软件学报 2019年第1期30卷 3-21页

作者：马晓星刘譞哲谢冰余萍张天卜磊李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023 北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

软件是信息化社会的基础设施,而构造并运用软件的能力成为一种核心竞争力.软件开发方法凝结了系统化的软件构造过程和技术.简要回顾了50年来软件开发方法发展历程中具有重要影响的里程碑,包括基于结构化程序设计和模块化开发的基本方法... 详细信息

软件是信息化社会的基础设施,而构造并运用软件的能力成为一种核心竞争力.软件开发方法凝结了系统化的软件构造过程和技术.简要回顾了50年来软件开发方法发展历程中具有重要影响的里程碑,包括基于结构化程序设计和模块化开发的基本方法、面向对象方法、软件复用与构件化方法、面向方面的方法、模型驱动的方法,以及服务化的方法.而后针对Internet的发展普及以及人机物融合应用对软件开发方法提出的挑战,介绍了网构软件的研究和探索,并展望未来人机物融合的软件方法和技术.

关键词：软件开发方法回顾展望

来源：评论

学校读者我要写书评

暂无评论

基于电力负荷曲线的设备识别方法

引用

中国科学技术大学学报 2019年第2期49卷 100-104页

作者：王子一商琳计算机软件新技术国家重点实验室江苏南京210023 南京大学计算机科学与技术系江苏南京210023

电力设备的负荷曲线随着时间而变化,其本质上是时间序列数据.为此提出了一种新的通过负荷曲线识别电力设备的方法,该方法在多个粒度划分出的负载曲线上使用卷积神经网络作为基分类器构造出一个集成学习器来提高分类精度.首先我们对原始... 详细信息

电力设备的负荷曲线随着时间而变化,其本质上是时间序列数据.为此提出了一种新的通过负荷曲线识别电力设备的方法,该方法在多个粒度划分出的负载曲线上使用卷积神经网络作为基分类器构造出一个集成学习器来提高分类精度.首先我们对原始数据进行不同粒度的划分,得到若干不同的新数据集.其次使用这些新的数据集训练不同的基学习器,并根据验证集上的精度得到不同基学习器的权重.将测试样本按照相同的粒度划分方式得到不同的测试数据集,使用不同的基分类器对这些测试数据集进行测试,得到对应的预测标签.最后对不同基分类器预测的标签进行加权,并选出权重最大的那个标签作为预测标签.在实际的电力负荷数据上将该模型与单个CNN模型进行对比,实验结果表明,该模型具有更高的设备识别精度.

关键词：力负荷曲线粒度时间序列集成学习分类

来源：评论

学校读者我要写书评

暂无评论

基于Android社区巡检系统APP的研究与实现

引用

计算机技术与发展 2021年第6期31卷 152-157页

作者：庄富张艺帆林果园中国矿业大学计算机科学与技术学院江苏徐州221116 矿山数字化教育部工程研究中心江苏徐州221116 南京大学软件新技术国家重点实验室江苏南京210093

针对社区治理范围扩大化、复杂化和各类安全事故频发且安全巡查管理工作中容易出现的问题和弊端,采用Java语言、MySQL数据库和OkHttp网络框架,研制成功了一款基于Android的社区巡检系统。该系统具有定位、拍照、录像和智能巡检等功能,... 详细信息

针对社区治理范围扩大化、复杂化和各类安全事故频发且安全巡查管理工作中容易出现的问题和弊端,采用Java语言、MySQL数据库和OkHttp网络框架,研制成功了一款基于Android的社区巡检系统。该系统具有定位、拍照、录像和智能巡检等功能,实时采集巡检范围内的突发事件信息,通过手机APP上传服务器并由后台处理,实时定位巡检人员轨迹。介绍了该系统的整体框架,分析了巡检系统APP的系统功能,重点阐述了APP开发所用到的关键技术,主要包括心跳周期检测机制、视频数据的处理、图片和视频数据的混合传输和传输过程中的断点续传。该APP可以实现对突发事件做到及时发现、及时处置,形成闭环管理,提高了安全巡检工作的质量和管理水平。目前已经应用到江苏省徐州市铜山区汉王镇的社区管理工作中,为社区智能化管理提供了技术支持。

关键词：社区治理 Android 社区巡检系统 OkHttp 实时定位闭环管理

来源：评论

学校读者我要写书评

暂无评论

基于联盟链的云访问控制技术研究

引用

微电子学与计算机 2021年第7期38卷 79-84页

作者：张艺帆庄富林果园中国矿业大学计算机科学与技术学院江苏徐州221116 矿山数字化教育部工程研究中心江苏徐州221116 南京大学软件新技术国家重点实验室江苏南京210093

针对云存储环境中单授权中心的安全性问题,提出一种以CP-ABE模型为基础,同时基于联盟区块链的可撤销多授权机构访问控制模型(Revocable Multi-Authority Access Control Based on Consortium Blockchain,RMACB).该模型以树形结构描述属... 详细信息

针对云存储环境中单授权中心的安全性问题,提出一种以CP-ABE模型为基础,同时基于联盟区块链的可撤销多授权机构访问控制模型(Revocable Multi-Authority Access Control Based on Consortium Blockchain,RMACB).该模型以树形结构描述属性授权中心(Attribute Authority,AA),同时利用可信证书链(Trusted Certificate Chain,TCC)和成员服务提供商(Membership Service Provider,MSP)对联盟链上的节点进行身份管理和权限控制.将用户密钥嵌入到密文中去,实现可撤销的云访问控制技术,由云服务提供商来执行重加密过程,减轻了数据所有者的加密负担.实验验证了提出方案具有更低的计算成本和较高的安全性.

关键词：云访问控制联盟区块链属性撤销属性加密

来源：评论

学校读者我要写书评

暂无评论

双学习率自适应的Q路由算法

引用

小型微型计算机系统 2019年第8期40卷 1672-1677页

作者：沙鑫磊白光伟张杰赵文天沈航南京工业大学计算机科学与技术学院南京211816 南京大学计算机软件新技术国家重点实验室南京210093

随着网络不断演进,网络流量呈爆炸式增长,路由方法成为了网络流量控制中的关键难题.这是因为传统的路由策略不具备学习能力,不能从过去的转发经验中学习到拥塞、链路中断等网络异常,也就不能根据网络状态调整路由策略.本文提出了一种双... 详细信息

随着网络不断演进,网络流量呈爆炸式增长,路由方法成为了网络流量控制中的关键难题.这是因为传统的路由策略不具备学习能力,不能从过去的转发经验中学习到拥塞、链路中断等网络异常,也就不能根据网络状态调整路由策略.本文提出了一种双学习率自适应的Q路由算法DALRQ-routing.在轮询阶段,DALRQ-routing根据网络延迟调整echo学习率,减少轮询操作造成的延迟抖动.在转发阶段,算法根据TD-error调整transfer学习率,提高算法收敛速度.通过这种双学习率自适应的机制来降低延迟抖动,加速算法收敛.本文将提出的算法与Full Echo Q-routing和AQFE算法进行了比较.实验结果表明,在动态变化的网络负载下,本文所提出的算法在保持高收敛速度和低初始化峰值延迟的基础上明显减少了延迟抖动,提高了网络的稳定性.

关键词：路由算法自适应路由 Q路由自适应学习率延迟抖动

来源：评论

学校读者我要写书评

暂无评论

API文档缺陷自动检测和修复方法

引用

计算机应用研究 2019年第9期36卷 2686-2690页

作者：王长志周宇闫鑫南京航空航天大学计算机科学与技术学院南京210016 南京大学计算机软件新技术国家重点实验室南京210093

为了完善应用程序编程接口(application programming interface,API)文档,提出了基于程序静态分析和自然语言处理的自动检测和修复API文档缺陷的方法。该方法能够自动检测和修复API文档缺陷。实验中缺陷检测结果的准确率和召回率分别达... 详细信息

为了完善应用程序编程接口(application programming interface,API)文档,提出了基于程序静态分析和自然语言处理的自动检测和修复API文档缺陷的方法。该方法能够自动检测和修复API文档缺陷。实验中缺陷检测结果的准确率和召回率分别达到74. 6%和81. 4%,能够较为准确地检测到Java API的文档缺陷。在进一步的实验中还对API文档的修复功能进行了评估,结果表明生成的文档正确且简洁,可以有效地修复API文档缺陷。

关键词： Java API文档程序异常修复建议

来源：评论

学校读者我要写书评

暂无评论

形式化方法概貌

引用

软件学报 2019年第1期30卷 33-61页

作者：王戟詹乃军冯新宇刘志明国防科技大学计算机学院湖南长沙410073 高性能计算国家重点实验室(国防科技大学) 湖南长沙410073 中国科学院软件研究所北京100190 天基综合信息系统重点实验室(中国科学院软件研究所) 北京100190 南京大学计算机科学与技术系江苏南京210023 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 西南大学计算机与信息科学学院重庆400715 西南大学软件研究与创新中心重庆400715

形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各... 详细信息

形式化方法是基于严格数学基础,对计算机硬件和软件系统进行描述、开发和验证的技术.其数学基础建立在形式语言、语义和推理证明三位一体的形式逻辑系统之上.形式化方法已经以不同程度和不同方式愈来愈多地应用在计算系统生命周期的各个阶段.介绍了形式化方法的发展历程和基本方法体系;以形式规约和形式验证为主线,综述了形式化方法的理论、方法、工具和应用的现状,展示了形式化方法与软件学科其他领域的交叉和融合;分析了形式化方法的启示,并展望了其面临的发展机遇和未来趋势.形式化方法的发展和研究现状表明:其应用已经取得了长足的进步,在提高计算系统的可靠性和安全性方面发挥了重要作用.在当今软件日益成为社会基础设施的时代,形式化方法将与人工智能、网络空间安全、量子计算、生物计算等领域和方向交叉融合,得到更加广阔的应用.研究和建立这种交叉融合的理论和方法不仅重要,而且具有挑战性.

关键词：形式化方法形式规约形式验证程序设计方法学软件开发

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：