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

软件学报 2021年第5期32卷 1229-1230页

作者：张贺王忠杰陈连平彭鑫南京大学软件学院江苏南京210093 计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 哈尔滨工业大学计算学部黑龙江哈尔滨150001 Lianping Chen Ltd. Dublin D06XD73Ireland 复旦大学计算机科学与技术学院上海200438

随着软件互联网化和服务化的高度发展,持续性(continuity)成为现代软件系统的基本特性之一,覆盖从商业策划、软件开发、运维、演化的所有环节,使得软件系统在持续稳定提供功能和服务的同时,软件系统的边界和内部结构始终处于不断变化、... 详细信息

随着软件互联网化和服务化的高度发展,持续性(continuity)成为现代软件系统的基本特性之一,覆盖从商业策划、软件开发、运维、演化的所有环节,使得软件系统在持续稳定提供功能和服务的同时,软件系统的边界和内部结构始终处于不断变化、持续更新和适应之中,持续软件工程(continuous software engineering)由此被提出并迅速得到广泛的实践应用.微服务(microservice)架构作为一种全新的去中心化分布式架构,在软件架构层面成为适应持续软件工程发展的必然趋势,而领域驱动设计(domain-driven design,简称DDD)伴随着微服务架构的兴起也重新获得了业界的广泛关注,二者共同关注服务自顶向下的合理设计和分解.微服务架构与领域驱动设计共同支持实现现代软件系统的持续性特征.为了反映中国学者和实践者在求解以微服务架构为代表的持续软件工程所面临的架构难题和挑战过程中取得的理论、技术或实验方面的创新性、突破性的高水平研究成果,特设立此专题.

关键词：微服务架构领域驱动设计软件工程软件系统软件架构分布式架构互联网化去中心化

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

三维网格分割中聚类分析技术综述

引用

计算机辅助设计与图形学学报 2020年第4期32卷 680-692页

作者：梁楚萍印杰伍静汪俊魏明强郭延文南京航空航天大学计算机科学与技术学院南京211106 模式分析与机器智能工业和信息化部重点实验室南京211106 南京大学计算机软件新技术国家重点实验室南京210023 江苏警官学院计算机信息与网络安全系南京210031 School of Computer Science and Informatics Cardiff University UK CF243AA

三维网格分割是计算机图形学的一个重要的研究方向,近年来不断涌现出各种新的分割技术.主要关注基于聚类分析的三维网格分割技术,介绍了三维网格分割的2种常见类型,并对分割技术所转化的数学问题进行阐述,总结了一系列常用的网格属性.... 详细信息

三维网格分割是计算机图形学的一个重要的研究方向,近年来不断涌现出各种新的分割技术.主要关注基于聚类分析的三维网格分割技术,介绍了三维网格分割的2种常见类型,并对分割技术所转化的数学问题进行阐述,总结了一系列常用的网格属性.依据算法类型将现有算法划分为5类,所基于的分割技术分别有区域生长、多源区域生长、层次聚类、迭代聚类以及谱聚类.针对不同的分割目标和所利用的网格属性,对各分类下的分割算法进行对比讨论;同时给出4种角度的评估准则,以展示不同应用场景下各类分割算法的优缺点,并指出了三维网格分割的发展趋势和应用方向.

关键词：三维网格分割聚类分析网格模型数字几何处理

来源：评论

学校读者我要写书评

暂无评论

内部结构自支撑的三维打印浮体平衡优化算法

引用

计算机辅助设计与图形学学报 2020年第3期32卷 493-500页

作者：王继东赵瑞斌魏明强湖州师范学院教师教育学院湖州313000 南京师范大学教育技术系南京210097 南京航空航天大学计算机科学与技术学院南京210016 模式分析与机器智能工业和信息化部重点实验室南京210016 南京大学计算机软件新技术国家重点实验室南京210023

为了使浮体能够在熔融挤压式三维打印机中一次成型,提出一种内部结构自支撑的浮体平衡优化算法.首先在给定漂浮姿势的输入模型内部,利用递归细分方法生成自支撑的格子结构,并把输入模型与格子结构组合为初始浮体模型.然后以初始浮体模... 详细信息

为了使浮体能够在熔融挤压式三维打印机中一次成型,提出一种内部结构自支撑的浮体平衡优化算法.首先在给定漂浮姿势的输入模型内部,利用递归细分方法生成自支撑的格子结构,并把输入模型与格子结构组合为初始浮体模型.然后以初始浮体模型中格子单元体积为变量构建平衡优化方程,根据方程解算结果调整初始浮体模型中每个格子单元的体积,从而生成最终的浮体模型.实验结果表明,文中算法生成的浮体模型可以使用熔融挤压式三维打印机直接打印,打印的实体不但能够按照预设的姿势漂浮在液体中,而且具有较好的抗压能力;算法中的递归细分策略能够在模型内部产生较多的格子单元,具有节省打印材料的优势.

关键词：自支撑结构优化浮力平衡三维打印

来源：评论

学校读者我要写书评

暂无评论

哑元位置隐私博弈机制

引用

小型微型计算机系统 2020年第3期41卷 610-616页

作者：牛晓磊沈航白光伟陈林南京工业大学计算机科学与技术学院南京211816 南京大学计算机软件新技术国家重点实验室南京210093

本文提出哑元位置隐私博弈机制,目的是在满足服务质量的基础上,最小化整体效用代价.该机制根据LBS中查询用户设定的当前查询的隐私保护需求,将用户的真实位置经坐标转换为哑元与其余k-1个用户进行k匿名处理后发送给LBS服务器,使攻击者... 详细信息

本文提出哑元位置隐私博弈机制,目的是在满足服务质量的基础上,最小化整体效用代价.该机制根据LBS中查询用户设定的当前查询的隐私保护需求,将用户的真实位置经坐标转换为哑元与其余k-1个用户进行k匿名处理后发送给LBS服务器,使攻击者难以确定用户的真实位置.然而掌握用户背景知识的攻击者会利用匿名区域内所有用户的数据进行更深层次的信息挖掘,并根据用户策略调整攻击方式.该机制基于Stackelberg博弈模型对位置匿名进行优化,在确保一定服务质量前提下设定合理的隐私保护策略以降低攻击者推测的准确度,随后攻击者执行攻击策略,设定合适的推测机制来提高攻击的准确度.实验结果表明,该保护机制在位置暴露率、隐私水平和位置熵等方面有着良好的表现,同时将服务质量损失限制在可控范围内,在损失一定的服务质量的同时换取更高的隐私保护效果.

关键词：哑元斯塔克尔伯格博弈服务质量隐私保护

来源：评论

学校读者我要写书评

暂无评论

基于模糊C均值聚类的软件多缺陷定位方法

引用

计算机学报 2020年第2期43卷 206-232页

作者：王兴亚姜淑娟高鹏飞陆凯薄莉莉鞠小林张艳梅中国矿业大学计算机科学与技术学院矿山数字化教育部工程研究中心江苏徐州221116 南京大学计算机软件新技术国家重点实验室南京210023 南通大学计算科学与技术学院江苏南通226019 桂林电子科技大学广西可信软件重点实验室广西桂林541004

缺陷间的相互干扰会使程序的频谱信息和运行结果发生变化,进而影响基于频谱信息的缺陷定位方法(SBFL)的有效性.本文对缺陷干扰现象进行了研究,通过分析单缺陷程序与多缺陷程序在缺陷运行、感染和传播过程及程序运行结果间的差异定义了... 详细信息

缺陷间的相互干扰会使程序的频谱信息和运行结果发生变化,进而影响基于频谱信息的缺陷定位方法(SBFL)的有效性.本文对缺陷干扰现象进行了研究,通过分析单缺陷程序与多缺陷程序在缺陷运行、感染和传播过程及程序运行结果间的差异定义了两类缺陷干扰,并根据干扰前后缺陷在互斥子集中的分布变化分析了缺陷干扰对SBFL方法有效性的影响.研究结果表明:与特定缺陷无关的失败测试用例是降低SBFL方法缺陷定位有效性的主要原因.在此基础上,本文提出了一种基于模糊C均值聚类的多缺陷定位方法FCMFL:首先,通过模糊C均值聚类分析失败测试用例与不同缺陷间的隶属关系,得到每个缺陷相关的失败测试信息;其次,基于隶属度矩阵加权计算每条语句的可疑度,并通过互斥子集优先级分析确定不同语句集合的检查顺序,最终生成一个语句检查序列指导开发人员进行程序调试.实验结果表明:(1)缺陷干扰会对SBFL方法产生影响,降低SBFL方法的缺陷定位有效性;(2)FCMFL方法可以降低多缺陷对SBFL方法的影响,提高SBFL方法的缺陷定位有效性.

关键词：程序调试缺陷定位程序切片缺陷干扰模糊聚类

来源：评论

学校读者我要写书评

暂无评论

面向环境非确定性的信息物理融合系统测试技术研究

引用

中国科学：信息科学 2019年第11期49卷 1428-1450页

作者：秦逸许畅陈紫琦吕建南京大学计算机科学与技术系计算机软件新技术国家重点实验室

信息物理融合系统(cyber-physical system,CPS)是“人-机-物”三元融合模式背景下新型软件基础设施的重要一环.为了处理不断涌现的新环境、新模式和新平台,CPS软件必须具备一定质量保障水平的可成长和可持续演化能力.然而CPS软件在与环... 详细信息

信息物理融合系统(cyber-physical system,CPS)是“人-机-物”三元融合模式背景下新型软件基础设施的重要一环.为了处理不断涌现的新环境、新模式和新平台,CPS软件必须具备一定质量保障水平的可成长和可持续演化能力.然而CPS软件在与环境交互过程中所必然面对的环境非确定性给CPS软件的质量保障带来了新的挑战.本文深入分析了环境非确定性中的感知非确定性和规约非确定性分别给软件测试研究带来的挑战.为了应对这些挑战,提出了一个迭代式的研究框架,用于有效测试受环境非确定性影响的CPS软件.基于该研究框架,介绍了现有CPS软件测试技术研究进展,并重点介绍了3种考虑环境非确定性的软件测试技术,分别解决CPS软件测试中的测试输入生成、测试预言生成和环境适应性评估问题.本文基于一个自适应自控小车的CPS软件实例,初步验证了所介绍方法测试CPS软件的有效性.

关键词：信息物理融合系统软件测试环境非确定性测试输入生成测试预言生成环境适应性评估

来源：评论

学校读者我要写书评

暂无评论

面向开源源码大数据的数据质量研究

引用

计算机科学与探索 2020年第3期14卷 389-400页

作者：包盼盼陶传奇黄志球南京航空航天大学计算机科学与技术学院南京210016 南京航空航天大学高安全系统的软件开发与验证技术工信部重点实验室南京210016 南京大学计算机软件新技术国家重点实验室南京210023 软件新技术与产业化协同创新中心南京210016

基于开源源码大数据进行代码生成、缺陷预测等是当前智能化软件开发方法与技术的重要研究内容。然而现有的关注点主要聚焦于各种推荐、预测等智能算法的研究,较少对研究所使用数据的质量进行评估与分析。大部分智能化软件开发研究的数... 详细信息

基于开源源码大数据进行代码生成、缺陷预测等是当前智能化软件开发方法与技术的重要研究内容。然而现有的关注点主要聚焦于各种推荐、预测等智能算法的研究,较少对研究所使用数据的质量进行评估与分析。大部分智能化软件开发研究的数据来源于开源数据托管平台,受限于开发者自身水平,它们并不能保证都具有较高质量。根据"garbage in,garbage out",这会影响最终结果质量。源码数据的质量对相关的研究有重要影响,却没有得到足够的重视。针对上述问题,提出了一种面向开源源码大数据的方法块数据质量评估方法。首先研究如何定义和评估GitHub上抽取的源码的数据质量问题,然后对开源源码从不同维度进行质量评估。通过该源码数据质量评估方法可以帮助相关研究人员构建具有更高质量的数据集,进而提高智能化相关研究,比如代码生成、缺陷预测等的结果质量。

关键词：编程智能化开源大数据源码数据数据质量

来源：评论

学校读者我要写书评

暂无评论

一种自适应的多臂赌博机算法

引用

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

作者：章晓芳周倩梁斌徐进苏州大学计算机科学与技术学院江苏苏州215006 计算机软件新技术国家重点实验室(南京大学) 南京210023

多臂赌博机问题是强化学习中研究探索和利用两者平衡的经典问题,其中,随机多臂赌博机问题是最经典的一类多臂赌博机问题,是众多新型多臂赌博机问题的基础.针对现有多臂赌博机算法未能充分使用环境反馈信息以及泛化能力较弱的问题,提出... 详细信息

多臂赌博机问题是强化学习中研究探索和利用两者平衡的经典问题,其中,随机多臂赌博机问题是最经典的一类多臂赌博机问题,是众多新型多臂赌博机问题的基础.针对现有多臂赌博机算法未能充分使用环境反馈信息以及泛化能力较弱的问题,提出一种自适应的多臂赌博机算法.该算法利用当前估计值最小的动作被选择的次数来调整探索和利用的概率(chosen number of arm with minimal estimation, CNAME),有效缓解了探索和利用不平衡的问题.同时,该算法不依赖于上下文信息,在不同场景的多臂赌博机问题中有更好的泛化能力.通过理论分析给出了该算法的悔值(regret)上界,并通过不同场景的实验结果表明:CNAME算法可以高效地获得较高的奖赏和较低的悔值,并且具有更好的泛化能力.

关键词：强化学习多臂赌博机探索和利用自适应上下文相关

来源：评论

学校读者我要写书评

暂无评论

智能化信息物理系统中非确定性的分类研究

引用

计算机科学 2020年第3期47卷 11-18页

作者：杨文华许畅叶海波周宇黄志球南京航空航天大学计算机科学与技术学院南京211106 高安全系统的软件开发与验证技术工信部重点实验室(南京航空航天大学) 南京211106 南京大学计算机软件新技术国家重点实验室南京210023 南京大学计算机科学与技术系南京210023

信息物理系统呈现出日趋智能化的特征,而非确定性又是系统中普遍且固有的特性。例如,系统通过传感器感知环境时,会不可避免地存在误差。非确定性若未被妥当处理,往往会影响系统的正确运行,并带来一系列的问题。因此,对信息物理系统中的... 详细信息

信息物理系统呈现出日趋智能化的特征,而非确定性又是系统中普遍且固有的特性。例如,系统通过传感器感知环境时,会不可避免地存在误差。非确定性若未被妥当处理,往往会影响系统的正确运行,并带来一系列的问题。因此,对信息物理系统中的非确定性进行处理是至关重要的,也是促进信息物理系统进一步智能化的关键。对非确定性进行处理的前提是需要对其有充分的理解和认识,然而现有工作对信息物理系统中非确定性的研究尚处于探索阶段。针对这一问题,研究了信息物理系统中的非确定性分类。具体而言,根据信息物理系统中被广泛认可的5C技术架构对非确定性进行了分类,详细介绍了该架构每一层次上可能存在的非确定性,并结合典型的信息物理系统应用进行了举例说明;同时,总结了当前的相关研究工作,并展望了未来信息物理系统在应对非确定性方面的智能化研究方向。

关键词：信息物理系统智能化非确定性分类 5C架构非确定性处理

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：