工学 >>> 计算机科学技术 >>> 计算机软件 >>> 软件理论 >>>
搜索结果: 1-15 共查到知识库 软件理论相关记录126条 . 查询时间(3.14 秒)
智能信息处理团队主要从事软件理论与方法和人工智能两个方面的研究,设有人工智能研究所和计算机应用研究所等。软件理论与方法主要围绕软件分析与测试、软件质量保证、新型软件方法与技术、软件服务工程、领域软件工程等方向开展理论研究和技术开发,人工智能主要围绕机器学习、计算机视觉、图形与图像处理、数据挖掘和分析、智能优化等方向开展理论研究与工程应用。
基于2009 ~ 2015年我国软件产业税收调查数据,对软件产业减免税政策激励创新投入的机理进行理论分析和实证检验,得出结论:增值税即征即退政策比所得税减免政策对软件产业创新投入的激励效果更佳;软件产业减免税政策能够显著增加东部以及中部地区企业创新投入,对西部企业作用不显著;减免税政策的作用效果与企业规模正相关;减免税政策对民营企业创新投入的促进作用强于对其他企业。因此,应积极推进增值税即征即退政...
软件定义网络(softwaredefinednetworking,SDN)的网络拓扑中,链路故障恢复目标是保证故障恢复时延在 可容忍范围内、减少数据包丢失和节约交换机存储资源。现有研究方法对链路故障恢复考虑了恢复时延、数据包 丢失率、网络吞吐量等因素,没有考虑数据流对网络带宽的要求及运营商/用户的一些特殊限制。为了解决以上问 题,同时满足故障恢复时延要求和运营商/用户定制化需求,提出了基于流...
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 ...
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合作机制,以效用为基础,利用效用函数计算agent在不同任务下与其他agent合作而产生的效用值,以此为依据得到agent对不同合作方式的偏好序列,并选择最大偏好参与合作。通过这种方法,agent可以主动选择最适合自己的合作方式来完成任务,与此同时,以效用为驱动可以使群体的任务收益达到最优,提高了agent群体的合作效率。最后给出了用于方法验证的多agent原型系统,同时在该...
在Hoare逻辑理论和ACSL语法规范的基础上,设计一种针对密码软件的形式化验证系统,由程序规范、验证推理规则、可靠性策略、验证推理等模块组成。以OpenSSL中RC4算法的软件实现为例,对其功能正确性、保险性和信息流安全性进行验证,结果表明,该系统具有较高的自动化水平,可在一定程度上降低形式化验证方法的复杂度。
在基于软件产品度量值的缺陷预测中, 度量值主要是基于两个层次:类/文件层次和包/组件层次。类级别的预测模型通常会有更好的预测效率, 而包级别的模型往往能得到更好的查全率及查准率。提出综合类级别和包级别度量值进行缺陷预测的方法, 在类级别预测的基础上, 使用包级别预测的信息对类级别进行调整, 在类级别预测中融合包级别预测中所隐含的问题域信息。通过基于Eclipse3.0系统的实验发现, 该方法能够有...
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...
最近, 非局部滤波方法已成为滤波领域的研究热点. 本文深入研究了基于预选择的非局部滤波方法, 指出了已有方法在提取图像片特征方面存在的不足, 利用二维主成分分析(Two-dimensional principal component analysis, 2DPCA)提出了一种有效的非局部滤波方法. 该方法对基于预选择的非局部滤波方法的主要贡献有: 1)用于提取图像片特征的面向图像片的2DPCA; ...
提出一种改进的Batch RSA算法来提升Batch RSA算法的解密性能.该改进算法结合了批处理技术和Multi-Power RSA技术,在Batch RSA算法的指数计算阶段来提升Batch RSA算法的解密性能.实验结果和理论分析表明该改进算法使得Batch RSA算法的解密性能得到显著提升.
最近几年,对于粗糙集的研究越来越多,尤其是粗糙集与其他软计算理论相结合的研究更为突出,取得了很多有意义的研究成果。鉴于此,将此方面目前的主要研究状况进行了总结,主要介绍了目前粗糙集与模糊集、神经网络、证据理论等一些其他软计算理论之间的结合研究情况,并对这方面未来的发展提出了自己的观点。
从构件角度出发,结合软件agent技术,提出一种能表示根据需求和环境的变化实施自主行为的E-BDI构件模型。基于高阶多型π演算理论,在现有的动态体系结构描述语言D-ADL基础上,提出一种能从运行时角度描述自适应构件的动态行为的体系结构描述语言SOS-ADL。利用SOS-ADL形式化描述E-BDI结构的自适应构件行为,使构件能根据变化的环境和需求,自主推导自身的行为,达到实现软件自适应的目的。案例说...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...