搜索结果: 1-15 共查到“知识库 软件理论”相关记录126条 . 查询时间(2.612 秒)
南京工业大学计算机科学与技术学院智能信息处理团队
南京工业大学计算机科学与技术学院 智能信息处理团队
2022/7/24
智能信息处理团队主要从事软件理论与方法和人工智能两个方面的研究，设有人工智能研究所和计算机应用研究所等。软件理论与方法主要围绕软件分析与测试、软件质量保证、新型软件方法与技术、软件服务工程、领域软件工程等方向开展理论研究和技术开发，人工智能主要围绕机器学习、计算机视觉、图形与图像处理、数据挖掘和分析、智能优化等方向开展理论研究与工程应用。
创新投入的税收激励效应分析
软件产业 减免税 创新投入 税收激励效应
2018/5/2
基于2009 ~ 2015年我国软件产业税收调查数据，对软件产业减免税政策激励创新投入的机理进行理论分析和实证检验，得出结论：增值税即征即退政策比所得税减免政策对软件产业创新投入的激励效果更佳；软件产业减免税政策能够显著增加东部以及中部地区企业创新投入，对西部企业作用不显著；减免税政策的作用效果与企业规模正相关；减免税政策对民营企业创新投入的促进作用强于对其他企业。因此，应积极推进增值税即征即退政...
基于流类型的 ＳＤＮ数据平面故障恢复算法
软件定义网络 故障恢复 数据平面 数据流
2018/6/11
软件定义网络（ｓｏｆｔｗａｒｅｄｅｆｉｎｅｄｎｅｔｗｏｒｋｉｎｇ，ＳＤＮ）的网络拓扑中，链路故障恢复目标是保证故障恢复时延在
可容忍范围内、减少数据包丢失和节约交换机存储资源。现有研究方法对链路故障恢复考虑了恢复时延、数据包
丢失率、网络吞吐量等因素，没有考虑数据流对网络带宽的要求及运营商／用户的一些特殊限制。为了解决以上问
题，同时满足故障恢复时延要求和运营商／用户定制化需求，提出了基于流...
MIGRATE: A FOSS WEB MAPPING APPLICATION FOR EDUCATING AND RAISING AWARENESS ABOUT MIGRATION FLOWS IN EUROPE
Web mapping Open Source Open Data FOSS Crowd-generated data Human migration
2017/8/10
Recent years have seen a noticeable growth in migration flows from Africa and Middle East to Southern Europe, thus generating a remarkable increase of attention on media and public opinion, sometimes ...
Development of algorithms and software for forecasting, nowcasting and variability of TEC
Development of algorithms software for forecasting
2015/9/14
Total Electron Content (TEC) is an important characteristic of the ionosphere relevant to communications. Unpredictable variability of the ionospheric parameters due to various disturbances limits the...
随着信息技术的快速发展, 软件质量已经成为用户最为关心的问题. 但由于目前较难证明软件产品的正确性, 因此一直没有一个令人信服的软件质量评价方法. 特别是已有的软件质量评价方法基本上都采用同一种评价指标对不同领域的软件进行评价, 缺乏对不同领域软件的个性化评价指标. 针对不同领域的软件质量需求和应用, 提出了不同的软件质量评价指标, 为建立面向领域的软件产品基准体系提供依据, 以满足软件产业发展的...
效用驱动的多agent合作机制
效用函数 多智能体系统 合作机制 依赖关系
2014/3/21
提出了一种多agent合作机制，以效用为基础，利用效用函数计算agent在不同任务下与其他agent合作而产生的效用值，以此为依据得到agent对不同合作方式的偏好序列，并选择最大偏好参与合作。通过这种方法，agent可以主动选择最适合自己的合作方式来完成任务，与此同时，以效用为驱动可以使群体的任务收益达到最优，提高了agent群体的合作效率。最后给出了用于方法验证的多agent原型系统，同时在该...
在Hoare逻辑理论和ACSL语法规范的基础上，设计一种针对密码软件的形式化验证系统，由程序规范、验证推理规则、可靠性策略、验证推理等模块组成。以OpenSSL中RC4算法的软件实现为例，对其功能正确性、保险性和信息流安全性进行验证，结果表明，该系统具有较高的自动化水平，可在一定程度上降低形式化验证方法的复杂度。
综合包级和类级度量的软件缺陷预测方法
缺陷预测 软件测试 软件度量
2012/3/13
在基于软件产品度量值的缺陷预测中, 度量值主要是基于两个层次：类/文件层次和包/组件层次。类级别的预测模型通常会有更好的预测效率, 而包级别的模型往往能得到更好的查全率及查准率。提出综合类级别和包级别度量值进行缺陷预测的方法, 在类级别预测的基础上, 使用包级别预测的信息对类级别进行调整, 在类级别预测中融合包级别预测中所隐含的问题域信息。通过基于Eclipse3.0系统的实验发现, 该方法能够有...
Software fault isolation with API integrity and multi-principal modules
Software fault isolation multi-principal modules
2012/12/4
The security of many applications relies on the kernel being secure, but history suggests that kernel vulnerabilities are routinely discovered and exploited. In particular, exploitable vulnerabilities...
基于2DPCA的有效非局部滤波方法
非局部滤波 二维主成分分析 非局部正则化 图像片
2010/12/3
最近, 非局部滤波方法已成为滤波领域的研究热点. 本文深入研究了基于预选择的非局部滤波方法, 指出了已有方法在提取图像片特征方面存在的不足, 利用二维主成分分析(Two-dimensional principal component analysis, 2DPCA)提出了一种有效的非局部滤波方法. 该方法对基于预选择的非局部滤波方法的主要贡献有: 1)用于提取图像片特征的面向图像片的2DPCA; ...
基于Multi-Power的批处理RSA算法的研究
Batch RSA Multi-Power RSA 解密 加速
2012/11/6
提出一种改进的Batch RSA算法来提升Batch RSA算法的解密性能.该改进算法结合了批处理技术和Multi-Power RSA技术,在Batch RSA算法的指数计算阶段来提升Batch RSA算法的解密性能.实验结果和理论分析表明该改进算法使得Batch RSA算法的解密性能得到显著提升.
最近几年，对于粗糙集的研究越来越多，尤其是粗糙集与其他软计算理论相结合的研究更为突出，取得了很多有意义的研究成果。鉴于此，将此方面目前的主要研究状况进行了总结，主要介绍了目前粗糙集与模糊集、神经网络、证据理论等一些其他软计算理论之间的结合研究情况，并对这方面未来的发展提出了自己的观点。