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

计算机集成制造系统 2013年第9期19卷 2374-2383页

作者：李决龙张淼淼邢建春杨启亮解放军理工大学国防工程学院江苏南京210007 海军海防工程研究中心北京100841 南京大学计算机软件新技术国家重点实验室江苏南京210093

为了从面向对象的遗留系统中识别出高质量的服务,提出一种半自动化的遗留系统的服务识别方法。通过分析构件识别方法和服务识别方法,以业务流程模型和统一建模语言类图作为服务识别方法的输入,将服务识别问题转换为业务流程图的划分问... 详细信息

为了从面向对象的遗留系统中识别出高质量的服务,提出一种半自动化的遗留系统的服务识别方法。通过分析构件识别方法和服务识别方法,以业务流程模型和统一建模语言类图作为服务识别方法的输入,将服务识别问题转换为业务流程图的划分问题。为了得到一组图划分的最优解即最优服务集,又将图划分看作一个多目标优化问题。分别定义了服务集粒度、耦合度和内聚度的定量化关系,建立了多目标优化的服务识别模型。通过线性加权,给出了基于粒子群优化算法的服务识别算法。以某工程遗留系统为例,通过对比实验验证了方法的有效性。

关键词：遗留系统服务识别多目标优化粒子群优化算法

来源：评论

学校读者我要写书评

暂无评论

一个面向对象的客户/服务器应用编程接口

引用

计算机应用与软件 2002年第1期19卷 4-6,41页

作者：王继成孙颖萧嵘张福炎南京大学多媒体计算机研究所南京210093 软件新技术国家重点实验室南京210093

本文介绍了一个以基本类库形式提供的客户/服务器应用编程接口IDUCOM。在IDUCOM中,我们构造了一个通信模型,并采用面向对象的技术加以设计和实现。IDUCOM既简化了客户/服务器应用的开发,又提高了应用对平台的独立性。

关键词：客户/服务器交互数据单元面向对象应用编程接口通信协议

来源：评论

学校读者我要写书评

暂无评论

软件形式化方法与应用专题前言

引用

软件学报 2016年第3期27卷 495-496页

作者：詹乃军王戟李宣东计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 国防科学技术大学计算机学院湖南长沙410073 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

形式化方法起步于程序理论和语义的研究,历经50余年的发展,成为了计算机科学的重要领域.它使用严格的数学方法,研究并发展软件和硬件系统的建模、设计、开发、验证与演化等技术,为保障系统的正确性、可靠性和安全性提供了重要途径.本专... 详细信息

形式化方法起步于程序理论和语义的研究,历经50余年的发展,成为了计算机科学的重要领域.它使用严格的数学方法,研究并发展软件和硬件系统的建模、设计、开发、验证与演化等技术,为保障系统的正确性、可靠性和安全性提供了重要途径.本专题收录的13篇论文反映了近年来我国学者在软件形式化方法与应用领域的部分研究成果.

关键词：形式化方法高阶逻辑应用专题定理证明器程序理论数学方法研究成果代数的计算机科学保障系统

来源：评论

学校读者我要写书评

暂无评论

全卷积语义分割与物体检测网络

引用

中国图象图形学报 2019年第3期24卷 474-482页

作者：肖锋芮挺任桐炜王东陆军工程大学研究生院南京210018 陆军工程大学野战工程学院南京210018 南京大学计算机软件新技术国家重点实验室南京210018

目的目前主流物体检测算法需要预先划定默认框,通过对默认框的筛选剔除得到物体框。为了保证足够的召回率,就必须要预设足够密集和多尺度的默认框,这就导致了图像中各个区域被重复检测,造成了极大的计算浪费。提出一种不需要划定默认框... 详细信息

目的目前主流物体检测算法需要预先划定默认框,通过对默认框的筛选剔除得到物体框。为了保证足够的召回率,就必须要预设足够密集和多尺度的默认框,这就导致了图像中各个区域被重复检测,造成了极大的计算浪费。提出一种不需要划定默认框,实现完全端到端深度学习语义分割及物体检测的多任务深度学习模型(FCDN),使得检测模型能够在保证精度的同时提高检测速度。方法首先分析了被检测物体数量不可预知是目前主流物体检测算法需要预先划定默认框的原因,由于目前深度学习物体检测算法都是由图像分类模型拓展而来,被检测数量的无法预知导致无法设置检测模型的输出,为了保证召回率,必须要对足够密集和多尺度的默认框进行分类识别;物体检测任务需要物体的类别信息以实现对不同类物体的识别,也需要物体的边界信息以实现对各个物体的区分、定位;语义分割提取了丰富的物体类别信息,可以根据语义分割图识别物体的种类,同时采用语义分割的思想,设计模块提取图像中物体的边界关键点,结合语义分割图和边界关键点分布图,从而完成物体的识别和定位。结果为了验证基于语义分割思想的物体检测方法的可行性,训练模型并在VOC(visual object classes)2007 test数据集上进行测试,与目前主流物体检测算法进行性能对比,结果表明,利用新模型可以同时实现语义分割和物体检测任务,在训练样本相同的条件下训练后,其物体检测精度优于经典的物体检测模型;在算法的运行速度上,相比于FCN,减少了8ms,比较接近于YOLO(you only look once)等快速检测算法。结论本文提出了一种新的物体检测思路,不再以图像分类为检测基础,不需要对预设的密集且多尺度的默认框进行分类识别;实验结果表明充分利用语义分割提取的丰富信息,根据语义分割图和边界关键点完成物体检测的方法是可行的,该方法避免了对图像的重复检测和计算浪费;同时通过减少语义分割预测的像素点数量来提高检测效率,并通过实验验证简化后的语义分割结果仍足够进行物体检测任务。

关键词：深度学习物体检测语义分割边界关键点多任务学习迁移学习默认框

来源：评论

学校读者我要写书评

暂无评论

基于支持向量数据描述的P2P流量识别

引用

吉林大学学报（工学版） 2012年第4期42卷 947-951页

作者：刘三民孙知信南京航空航天大学计算机科学与技术学院南京210016 安徽工程大学计算机与信息学院安徽芜湖241000 南京邮电大学计算机技术研究所南京210003 南京大学计算机软件新技术国家重点实验室南京210093

借鉴聚类思想引入基于支持向量数据描述(SVDD)的原理,建立P2P流量识别模型。该模型首先用主成分分析法(PCA)对训练集降维,然后用SVDD方法寻找包含大部分样本最小超球,保留各自支持向量样本点作为识别模型;然后计算测试样本距各球心距离... 详细信息

借鉴聚类思想引入基于支持向量数据描述(SVDD)的原理,建立P2P流量识别模型。该模型首先用主成分分析法(PCA)对训练集降维,然后用SVDD方法寻找包含大部分样本最小超球,保留各自支持向量样本点作为识别模型;然后计算测试样本距各球心距离,距离近者为其所属类别。该模型简单,适合P2P流量识别环境,克服了现有基于机器学习的流量识别方法在多类分类中模型复杂、数据不平衡等缺点。实验结果表明,该模型具有较高的分类精度和可靠性。

关键词：计算机系统结构支持向量数据描述主成分分析 P2P流量识别

来源：评论

学校读者我要写书评

暂无评论

面向超图的可解释性对比元路径群组推荐

引用

计算机工程与应用 2024年第11期60卷 268-280页

作者：漆盛高榕邵雄凯吴歆韵万祥高海燕湖北工业大学计算机学院武汉430068 南京大学南京大学计算机软件新技术国家重点实验室南京210023 武汉第二船舶设计研究所武汉430064 南京邮电大学通达学院江苏扬州225127

在群组推荐中庞大且稀疏的数据往往容易忽视用户群组及项目之间的复杂依赖关系,因此融合不同用户偏好行为嵌入,使用户对群组依赖关系的表现更直观,同时为了在对比中增强视图效果,以获得更准确的推荐结果的目的,提出了一个面向超图的可... 详细信息

在群组推荐中庞大且稀疏的数据往往容易忽视用户群组及项目之间的复杂依赖关系,因此融合不同用户偏好行为嵌入,使用户对群组依赖关系的表现更直观,同时为了在对比中增强视图效果,以获得更准确的推荐结果的目的,提出了一个面向超图的可解释性对比元路径群组推荐框架。通过聚合用户项目群组之间的依赖关系,构建元路径表现实体之间的不同类型交互,以促进实体的相似性,更准确地从数据中获取用户的组内、组外交互;通过将可解释性模型与对比学习相结合的技术,以提高模型的可解释性和性能;通过解释引导增强操作在模型框架上生成的正负视图上结合自监督对比学习,来解决上述问题。在真实数据集上进行实验,验证了所提出方法的有效性。

关键词：群组推荐超图学习元路径推荐系统对比学习

来源：评论

学校读者我要写书评

暂无评论

软件体系结构专刊前言

引用

软件学报 2006年第6期17卷 1255-1256页

作者：梅宏吕建江苏南京210093 北京大学信息科学技术学院软件研究所计算机软件新技术国家重点实验室(南京大学) 北京100871

过去的一年(2005-2006)是软件体系结构研究值得纪念的一年.十年前,第1届软件体系结构国际研讨会(International Workshop on Software Architecture,IWSA-1)召开,IEEE Software和IEEE Transactions on SoftwareEngineering软件体系结构专刊出版,软件体系结构领域的重要著作《Software Architecture:Perspectives on anEmerging Discipline))问世,标志着软件体系结构作为软件工程的一个研究分支正式提出.十年后的今天,软件体系结构领域已经吸引了大量的实践和研究人员参与进来,也涌现了不少与之相关的会议、期刊、培训和标准.为了纪念软件体系结构领域的十年发展,学术界举行了许多庆祝活动,典型的如在2005年IEEE/IFIP软件体系结构工作会议(IEEE/IFIP Working Conference on Software Architecture,WICSA’05)上举行的十周年庆典,IEEESoftware出版的新一期软件体系结构专刊(2006年3、4月期),软件体系结构研究的先驱者Mary Shaw和PaulClements联合发表的综述文章The Golden Age of Software Architecture:A Comprehensive Survey.一个基本共识是,现今已进入软件体系结构研究与实践的繁荣时期.

关键词：软件体系专刊

来源：评论

学校读者我要写书评

暂无评论

基于卷积神经网络的蛋白质折叠类型最小特征提取

引用

南京大学学报（自然科学版） 2020年第5期56卷 744-753页

作者：潘越王骏李文飞张建王炜南京大学物理学院南京210023 南京大学脑科学研究院南京210023 南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210023

通过蛋白质的序列、结构等信息构建完整的蛋白质宇宙是生物信息学中的重要课题,相关研究对蛋白质结构预测、蛋白质进化路径分析以及蛋白质结构设计等方面的研究都有重要的意义.从蛋白质结构的一种简化表示——蛋白质接触图出发,通过训... 详细信息

通过蛋白质的序列、结构等信息构建完整的蛋白质宇宙是生物信息学中的重要课题,相关研究对蛋白质结构预测、蛋白质进化路径分析以及蛋白质结构设计等方面的研究都有重要的意义.从蛋白质结构的一种简化表示——蛋白质接触图出发,通过训练卷积神经网络进行特征提取,筛选出可识别结构域折叠类型的最小特征向量,构建蛋白质折叠类型空间,并使用谱聚类等方法对不同蛋白质折叠类型的高维分布情况进行分析.得到的最小特征向量兼顾了信息的完整性与冗余度,可以很好地表示全部七种常见蛋白质类的空间关联.该研究结果填补了之前蛋白质宇宙研究中对不常见类的空间位置和相互关系描述的空白,加深了对于蛋白质结构相似性的理解.

关键词：蛋白质宇宙深度学习卷积神经网络蛋白质折叠类型识别

来源：评论

学校读者我要写书评

暂无评论

区块链互操作性及跨链技术研究

引用

计算机科学与探索 2023年第8期17卷 1749-1775页

作者：王群李馥娟倪雪莉夏玲玲梁广俊马卓江苏警官学院计算机信息与网络安全系南京210031 江苏省电子数据取证分析工程研究中心南京210031 计算机软件新技术国家重点实验室(南京大学) 南京210093

区块链是一项多方共识、可溯源、防篡改的分布式账本技术,为构建高效、可信、安全的数据共享机制和优化业务流程提供了广阔的应用前景。然而,当区块链正处于百花齐放的快速发展阶段时,如何实现信息的跨链交互和价值的跨链转移,成为区块... 详细信息

区块链是一项多方共识、可溯源、防篡改的分布式账本技术,为构建高效、可信、安全的数据共享机制和优化业务流程提供了广阔的应用前景。然而,当区块链正处于百花齐放的快速发展阶段时,如何实现信息的跨链交互和价值的跨链转移,成为区块链向纵深伸延过程中亟待解决的问题。首先,在综述已有研究成果的基础上,提出了区块链互操作性的概念,并将其分为链间互操作、层间互操作、分叉间互操作、片间互操作和链上链下互操作五方面进行了讨论;其次,通过梳理区块链跨链操作的演进和实现方式,并借鉴TCP/IP体系结构,设计了跨链操作模型,对主要实现步骤进行了功能描述;再次,针对当前区块链跨链操作研究现状,选择了公证人机制、侧链/中继、哈希锁定和分布式私钥控制四类区块链跨链操作关键技术进行了重点分析;然后,结合技术特点和应用场景,突出应用示范,选取了部分典型跨链应用项目进行了介绍,并对区块链跨链操作的安全性进行了分析;最后,总结探索了区块链互操作性和跨链技术的未来发展趋势。

关键词：区块链互操作性跨链技术信息交换价值转移

来源：评论

学校读者我要写书评

暂无评论

信念修正与开放逻辑之间的关系

引用

航空学报 1999年第2期20卷 118-121页

作者：张东摩顾红芳陈世福南京航空航天大学计算机科学研究所南京大学软件新技术国家重点实验室

基于全序划分结构给出了信念修正理论中的信念修正操作、信念基修正操作及开放逻辑中的重构操作的统一定义，分析了三者之间的内在联系及本质差别，证明了在原知识库为逻辑封闭语句集且忽视操作结果的逻辑封闭性的情形下，３种运算的操... 详细信息

基于全序划分结构给出了信念修正理论中的信念修正操作、信念基修正操作及开放逻辑中的重构操作的统一定义，分析了三者之间的内在联系及本质差别，证明了在原知识库为逻辑封闭语句集且忽视操作结果的逻辑封闭性的情形下，３种运算的操作结果一致。

关键词：信念修正信念基修正开放逻辑重构人工智能

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：