导读:本文包含了难解性论文开题报告文献综述及选题提纲参考文献，主要关键词:非功能需求(NFRs)框架,NP完全性,软目标,局部最优
难解性论文文献综述
李红杰,谢惠扬[1]（2017）在《非功能需求满足性的建模及其难解性》一文中研究指出非功能性需求(non-functional requirement,NFR)是当前软件工程研究的一个重要课题,是衡量一个软件是否达到用户满意度的重要指标,而软目标相互依存图是描述非功能性需求的重要方法之一。文章研究了根据相互依存图实现软目标最优化的问题,根据软目标的不同,定义了2种图论模型作为非功能需求的理论模型,并给出了相应的计算复杂性。该文模型可以对非功能性需求进行评价,所提出的算法可以为用户(开发者)找出最优的非功能需求选择方案,从而在软件开发过程中为非功能需求分析提供可靠而有效的方法。(本文来源于《合肥工业大学学报(自然科学版)》期刊2017年06期）
陈文彬[2]（2014）在《逼近4正则图的最小顶点覆盖问题的难解性(英文)》一文中研究指出证明了逼近4正则图的最小顶点覆盖问题在某个常数因子内是计算难解的.相似地,对于5正则图、6正则图等的最小顶点覆盖问题,这个结论也成立.已知逼近3正则图的最小顶点覆盖问题在某个常数因子内是计算难解的,文章扩展了这个结果到4正则图情况,用K-归约证明这个结果,给出了一个从3正则图的最小顶点覆盖问题到4正则图的最小顶点覆盖问题的K-归约.(本文来源于《广州大学学报(自然科学版)》期刊2014年01期）
陈文彬[3]（2012）在《逼近MAX 3SAT-2问题的难解性(英文)》一文中研究指出证明了逼近MAX 3SAT-2问题在某个常数因子内是计算难解的.首先引进了一种保留近似算法难解性的K-归约的概念;然后给出了一个从MAX 3SAT问题到MAX 3SAT-2问题K-归约.因为逼近MAX 3SAT问题在某个常数因子内是计算难解的,所以逼近MAX 3SAT-2问题在某个常数因子内是计算难解的.这样作为推论也可以得到逼近MAX 3SAT-3问题在某个常数因子内是计算难解的,简化了以前关于逼近MAX 3SAT-3问题难解性的证明.(本文来源于《广州大学学报(自然科学版)》期刊2012年02期）
胡建红[4]（2011）在《试析《太阳照常升起》难解性的成因》一文中研究指出在《太阳照常升起》这部电影中,姜文运用了许多不同于当下一般电影叙事方式的独特表现手法,使得普通观众在接受影片时产生了一定的难解性。究其因,主要是其故事的独特形式和情节的"陌生化"与观众惯常的观影习惯产生冲突,以及视听语言的超现实性。(本文来源于《电影评介》期刊2011年11期）
何少芳[5]（2011）在《基于离散对数难解性的数字指纹体制》一文中研究指出利用线性方程组解的结构,基于离散对数问题的难解性构造了一种数字指纹体制。将要发行的拷贝使用对称密码体制加密,而用户解密含有加密后拷贝的加密数据组使用的密钥是线性方程组的解向量,因此方案具有较好的实现效率。通过引入完全可信的第叁方,不仅增加了用户的安全性,还能帮助发行商确定性地跟踪叛逆者。(本文来源于《微型机与应用》期刊2011年05期）
悔丁[6]（2009）在《“休夫”容易,难解性愁》一文中研究指出有人说,当今"休夫"的女性胜过"休妻"的男性,为证明此话不假,还举出实例:据北京昌平法院的离婚统计,"休夫"的案在离婚案中占74%。换言之,主动提出离婚的女人是男人的两倍。可以说,女人"休夫"是女同胞婚姻观念的一个飞跃,在解放前及解放后几十年的时间里,基本上是(本文来源于《健康生活》期刊2009年06期）
刘传领,宋玉杰,连祥凯[7]（2003）在《计算问题的空间难解性》一文中研究指出在计算问题中有些是不可解的或称难解的 .虽然它们在理论上是可解的 ,但解法需要大量的时间和空间 ,而无法在实践中应用 .计算理论中的空间函数、层次推理、正则运算等都从空间角度论证了计算问题的不可解性即计算问题的难解性 .(本文来源于《商丘职业技术学院学报》期刊2003年03期）
赵一鸣,鲍振东[8]（2000）在《基于团问题难解性的密钥分级管理协议》一文中研究指出在随机图中找大团是难的假设下 ,可以证明当团K的大小足够大时 ,随机插入到随机图G产生G′,在G′中找任何大团仍是难的 .利用这一结果可以构造一个单向函数 ,设计密钥分级管理方案(本文来源于《电子学报》期刊2000年11期）
难解性论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
证明了逼近4正则图的最小顶点覆盖问题在某个常数因子内是计算难解的.相似地,对于5正则图、6正则图等的最小顶点覆盖问题,这个结论也成立.已知逼近3正则图的最小顶点覆盖问题在某个常数因子内是计算难解的,文章扩展了这个结果到4正则图情况,用K-归约证明这个结果,给出了一个从3正则图的最小顶点覆盖问题到4正则图的最小顶点覆盖问题的K-归约.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
难解性论文参考文献
[1].李红杰,谢惠扬.非功能需求满足性的建模及其难解性[J].合肥工业大学学报(自然科学版).2017
[2].陈文彬.逼近4正则图的最小顶点覆盖问题的难解性(英文)[J].广州大学学报(自然科学版).2014
[3].陈文彬.逼近MAX3SAT-2问题的难解性(英文)[J].广州大学学报(自然科学版).2012
[4].胡建红.试析《太阳照常升起》难解性的成因[J].电影评介.2011
[5].何少芳.基于离散对数难解性的数字指纹体制[J].微型机与应用.2011
[6].悔丁.“休夫”容易,难解性愁[J].健康生活.2009
[7].刘传领,宋玉杰,连祥凯.计算问题的空间难解性[J].商丘职业技术学院学报.2003
[8].赵一鸣,鲍振东.基于团问题难解性的密钥分级管理协议[J].电子学报.2000
标签：非功能需求(NFRs)框架; NP完全性; 软目标; 局部最优;