期刊文献+
共找到45篇文章
< 1 2 3 >
每页显示 20 50 100
基于KLEE的软件漏洞测试用例自动生成技术 被引量:3
1
作者 黄琦 蔡爱华 +3 位作者 吕慧颖 彭武 王冬海 陈君华 《计算机工程与设计》 北大核心 2016年第6期1515-1519,1525,共6页
为解决KLEE中STP求解器无法对非线性求解约束条件求解的问题,将改进的遗传算法应用于KLEE中自动生成软件漏洞测试用例。通过改进遗传算法,将其应用于求解非线性方程并编程实现求解模块;通过KLEE的改进,让其能够调用遗传算法求解模块与ST... 为解决KLEE中STP求解器无法对非线性求解约束条件求解的问题,将改进的遗传算法应用于KLEE中自动生成软件漏洞测试用例。通过改进遗传算法,将其应用于求解非线性方程并编程实现求解模块;通过KLEE的改进,让其能够调用遗传算法求解模块与STP求解器共同运行;通过接口的对接,完成KLEE中两个求解模块的并行运行,自动生成软件漏洞的测试用例。对比实验自动生成测试用例数据与原来KLEE的求解数据,对比结果表明了改进的遗传算法可应用于KLEE自动生成测试用例,其具有可行性、正确性、有效性。 展开更多
关键词 测试用例 软件漏洞挖掘 改进的遗传算法 klee 约束求解
在线阅读 下载PDF
基于KLEE的复杂路径中内存泄露检测研究 被引量:1
2
作者 黄琦 彭武 +1 位作者 蔡爱华 王冬海 《中国电子科学研究院学报》 北大核心 2018年第1期56-61,共6页
为了检测出复杂路径中的内存泄露问题,首先将Z3求解器移植到符号执行工具KLEE中,使其与KLEE中原有的STP求解器并行工作;然后利用并行了Z3求解器的KLEE对复杂路径的内存泄露程序进行测试用例生成;最后利用生成的测试用例对程序进行测试,... 为了检测出复杂路径中的内存泄露问题,首先将Z3求解器移植到符号执行工具KLEE中,使其与KLEE中原有的STP求解器并行工作;然后利用并行了Z3求解器的KLEE对复杂路径的内存泄露程序进行测试用例生成;最后利用生成的测试用例对程序进行测试,挖掘出内存泄露问题。证明这种检测复杂路径中内存泄露的方法具有可行性、正确性、有效性。 展开更多
关键词 复杂路径 内存泄露 Z3求解器 klee
在线阅读 下载PDF
赋p-Amemiya范数Musielak-Orlicz序列空间的Kadec-klee性质 被引量:1
3
作者 赵丽 崔云安 《哈尔滨理工大学学报》 CAS 北大核心 2021年第5期157-164,共8页
Kadec-klee性质是Banach空间理论一个重要的性质,其与空间的逼近紧及非扩张映射的不动点性质密切相关。基于此给出了赋p-Amemiya范数的Musielak-Orlicz序列空间在单位球面上是H点的充分必要条件,又给出了赋p-Amemiya范数的Musielak-Orl... Kadec-klee性质是Banach空间理论一个重要的性质,其与空间的逼近紧及非扩张映射的不动点性质密切相关。基于此给出了赋p-Amemiya范数的Musielak-Orlicz序列空间在单位球面上是H点的充分必要条件,又给出了赋p-Amemiya范数的Musielak-Orlicz序列空间具有Kadec-Klee性质,一致Kadec-klee性,接近一致凸的充分必要条件。 展开更多
关键词 MUSIELAK-ORLICZ序列空间 p-Amemiya范数 Kadec-klee性质 接近一致凸性 一致Kadec-klee
在线阅读 下载PDF
γ-klee-图的Hamilton-连通性和着色(英文)
4
作者 魏首柳 王艳 《数学研究》 CSCD 2013年第2期134-141,共8页
一个r-klee-图递归定义为一个r+1阶完全图或者通过用一个r阶完全图替换已知的r-klee-图G′中的一个顶点所得到的图.本文主要研究了r-klee-图的Hamilton-连通性和着色问题.我们证明了:每一个r-klee-图是Hamilton-连通的和它的色数是r;如... 一个r-klee-图递归定义为一个r+1阶完全图或者通过用一个r阶完全图替换已知的r-klee-图G′中的一个顶点所得到的图.本文主要研究了r-klee-图的Hamilton-连通性和着色问题.我们证明了:每一个r-klee-图是Hamilton-连通的和它的色数是r;如果r是奇数,则它的边色数是r;如果r是偶数,则它的边色数是r+1. 展开更多
关键词 γ-klee-图 Hamilton-连通 色数 边色数
在线阅读 下载PDF
赋广义Orlicz范数的Orlicz空间的一致Kadec-Klee性质
5
作者 段丽芬 左明霞 《广西师范学院学报(自然科学版)》 2015年第4期12-16,共5页
利用Banach空间一般理论和广义Orlicz范数的特性,对具有一致Kadec-Klee性质的赋广义Orlicz范数的Orlicz空间进行研究,得到了由N-函数生成的赋广义Orlicz范数的Orlicz空间具有一致Kadec-Klee性质的判据,作为其推论给出了该空间接近一致... 利用Banach空间一般理论和广义Orlicz范数的特性,对具有一致Kadec-Klee性质的赋广义Orlicz范数的Orlicz空间进行研究,得到了由N-函数生成的赋广义Orlicz范数的Orlicz空间具有一致Kadec-Klee性质的判据,作为其推论给出了该空间接近一致凸的充要条件. 展开更多
关键词 广义ORLICZ范数 ORLICZ函数空间 ORLICZ序列空间 一致Kadec-klee性质 接近一致凸
在线阅读 下载PDF
基于QFD-KLEE的新型装甲机械化部队维修保障能力评价指标体系 被引量:1
6
作者 张杨 付浩 +1 位作者 马文超 李帅达 《价值工程》 2017年第19期12-15,共4页
针对新型装甲机械化部队维修保障能力评价中不确定性问题分析研究,从装备维修保障任务的角度出发,系统梳理了维修保障能力的影响因素,依据指标体系建立原则,将质量功能展开与古林法相结合,构建了新型装甲机械化部队维修保障能力评价、... 针对新型装甲机械化部队维修保障能力评价中不确定性问题分析研究,从装备维修保障任务的角度出发,系统梳理了维修保障能力的影响因素,依据指标体系建立原则,将质量功能展开与古林法相结合,构建了新型装甲机械化部队维修保障能力评价、价指标体系。该指标体系客观、易操作,为新型装甲机械化部队维修保障系统建设和维修保障能力评价提供了理论参考。 展开更多
关键词 质量功能展开 古林法 维修保障能力 指标体系
在线阅读 下载PDF
KLEE法对某急倾斜薄钨矿脉开采方法的选择研究 被引量:2
7
作者 田昌进 舒凑先 李梦威 《有色冶金设计与研究》 2023年第2期7-9,23,共4页
为了优化某个急倾斜薄矿脉钨矿山的采矿方法,采用KLEE法对其采矿方法的选择进行了研究。通过查阅资料,结合类似矿山的采矿经验,完成了采矿方法的初选,然后利用KLEE法把定性分析转化为定量计算,得出各评价指标的重要度wi,最终确定出各个... 为了优化某个急倾斜薄矿脉钨矿山的采矿方法,采用KLEE法对其采矿方法的选择进行了研究。通过查阅资料,结合类似矿山的采矿经验,完成了采矿方法的初选,然后利用KLEE法把定性分析转化为定量计算,得出各评价指标的重要度wi,最终确定出各个采矿方法的最终得分,分值最高的采矿方法即该矿山最合适的采矿方法。经过计算确认,得出上向水平分层采矿法为该矿最合适采矿方法,与传统的采矿方法选择结果一致。 展开更多
关键词 急倾斜 薄矿体 采矿方法 klee
在线阅读 下载PDF
基于Klee Klee服装品牌可持续发展方式的实践探索 被引量:1
8
作者 康创民 李月 《轻纺工业与技术》 2024年第4期39-41,45,共4页
面对日益严重的资源浪费与环境污染问题,探寻可持续的发展方式已成为企业服装品牌转型升级的重要途径。文章探讨了我国服装行业可持续发展的现状,并以Klee Klee品牌为例,分析了其在可持续发展方面的实践和探索,同时对影响顾客购买服装... 面对日益严重的资源浪费与环境污染问题,探寻可持续的发展方式已成为企业服装品牌转型升级的重要途径。文章探讨了我国服装行业可持续发展的现状,并以Klee Klee品牌为例,分析了其在可持续发展方面的实践和探索,同时对影响顾客购买服装可持续产品的因素进行分析,最后提出了国内服装品牌在实现可持续发展过程中应采取的策略。研究表明:Klee Klee品牌将时尚与可持续相结合,满足了顾客对服装可持续产品的期望。国内服装品牌也应从源头上践行可持续理念、主动承担社会责任以及提升品牌的辨识度,这对推动行业整体的绿色转型有一定的积极意义。 展开更多
关键词 服装品牌 可持续发展方式 klee klee
在线阅读 下载PDF
国际工程项目特征与商务合同管理者的专业知识结构——兼评Lukas Klee教授的新著《国际工程合同法》 被引量:2
9
作者 张水波 吕思佳 《国际经济合作》 CSSCI 北大核心 2015年第4期50-54,共5页
近年来,随着中国经济的持续健康快速发展,中国国际工程承包事业发展迅速,业务规模持续扩大,承包的工程项目大型化趋势显著,单项合同金额屡创新高。2014年,中国对外承包工程业务新签合同额高达1917.1亿美元,约合人民币1.2万亿元,完成营业... 近年来,随着中国经济的持续健康快速发展,中国国际工程承包事业发展迅速,业务规模持续扩大,承包的工程项目大型化趋势显著,单项合同金额屡创新高。2014年,中国对外承包工程业务新签合同额高达1917.1亿美元,约合人民币1.2万亿元,完成营业额1421.1亿美元,约合人民币8000亿元,分别同比增长11.7%和3.8%。 展开更多
关键词 国际工程项目 工程合同法 商务合同 Lukas klee 新签合同额 单项合同 专业知识结构 工程合同管理 工程承包 工期管理
原文传递
软件企业KPI体系构建及绩效评价 被引量:3
10
作者 卢剑峰 朱萍 任永昌 《计算机技术与发展》 2013年第6期166-169,174,共5页
针对我国软件产业迅猛发展,但对绩效评价缺乏整体研究,未形成科学合理的软件企业绩效评价指标体系现状,文中基于关键成功因素法进行研究。首先,研究KPI体系构建,将组织战略目标转化为衡量指标,把战略目标经层层分解后得到关键成功因素,... 针对我国软件产业迅猛发展,但对绩效评价缺乏整体研究,未形成科学合理的软件企业绩效评价指标体系现状,文中基于关键成功因素法进行研究。首先,研究KPI体系构建,将组织战略目标转化为衡量指标,把战略目标经层层分解后得到关键成功因素,结合关键控制点初步设立绩效指标,经过整理得出软件企业KPI;然后,构建KLEE数学模型并计算各个KPI的权重;最后,研究模糊综合评价法进行绩效评价,包括单因素评价、一级模糊评价、多级模糊评价。文中的研究内容,对于指导企业绩效评价、提高绩效管理水平具有重要的指导意义。 展开更多
关键词 软件企业 关键业绩指标 绩效评价 klee 模糊综合评价
在线阅读 下载PDF
历史文化名城保护模糊综合评价研究——以西安市为例 被引量:3
11
作者 樊海强 刘淑虎 《建筑与文化》 2014年第12期128-129,共2页
以西安市为例,研究了模糊综合评价在历史文化名城保护中的应用。从古城风貌特色、文物古迹、历史街区、民俗文化四个方而,选取了十七个指标,构建了历史文化名城保护评价指标体系,并利用KLFF方法确定指标权重。通过专家打分法获得隶属度... 以西安市为例,研究了模糊综合评价在历史文化名城保护中的应用。从古城风貌特色、文物古迹、历史街区、民俗文化四个方而,选取了十七个指标,构建了历史文化名城保护评价指标体系,并利用KLFF方法确定指标权重。通过专家打分法获得隶属度矩阵,经过模糊运算,结果显示西安市历史文化名城保护现状归属"非常好"、"比较好"、"一般"、"不好"、"较差"的比重分别为:5%、41%、24%、22%、8%。 展开更多
关键词 历史文化名城 模糊综合评价 klee方法 西安
在线阅读 下载PDF
Banach空间中关于广义变分不等式的迭代算法的强收敛(英文) 被引量:1
12
作者 刘英 《数学进展》 CSCD 北大核心 2013年第6期849-858,共10页
根据广义f-投影,引进了两个迭代算法来逼近Banach空间中一类广义变分不等式的解.证明了该类变分不等式的解的存在性与迭代序列的强收敛性.本文的结果推广和改进了以前的相关结论.
关键词 Kadee—klee性质 连续性 广义f-投影 广义变分不等式 正规对偶映射
原文传递
Banach空间中渐近非扩张非自身映射带误差Noor迭代的收敛性定理(英文)
13
作者 黄强联 胡燕 高双云 《应用数学》 CSCD 北大核心 2011年第3期540-547,共8页
本文主要对三个渐近非扩张非自身映射引入了一种新的投影型Noor迭代程序,并在一致凸Banach空间中给出了该Noor迭代序列的弱与强收敛性定理.我们的主要结果推广和改进了该领域许多近期的结果.
关键词 渐近非扩张非自身映射 Kadec—klee性质 OPIAL条件 一致凸BANACH空间 公共不动点
在线阅读 下载PDF
Banach空间中渐近非扩张映射的弱收敛定理
14
作者 徐小平 李刚 《扬州大学学报(自然科学版)》 CAS CSCD 2004年第4期1-5,共5页
设X为一致凸Banach空间,且其对偶空间X*具Kadec-Klee性质.C为x的非空有界闭凸子集,G是一定向网,{Tt,t∈G)为C上一族渐近非扩张映射.{Ttx0,t∈G)的弱收敛定理为:若x0∈C,使得(a)lim sups∈G lim supt∈G ‖ TsTtx0-Ttx0‖=0,(b)lim sups... 设X为一致凸Banach空间,且其对偶空间X*具Kadec-Klee性质.C为x的非空有界闭凸子集,G是一定向网,{Tt,t∈G)为C上一族渐近非扩张映射.{Ttx0,t∈G)的弱收敛定理为:若x0∈C,使得(a)lim sups∈G lim supt∈G ‖ TsTtx0-Ttx0‖=0,(b)lim sups∈G lim sups∈G‖TsTtx0-TtTsx0‖=0,则存在p∈AF(?),使得Ttx0(?)p0. 展开更多
关键词 BANACH空间 渐近非扩张映射 弱收敛定理 Kadec-klee性质 定向网
在线阅读 下载PDF
渐近非扩张映射修正的Ishikawa迭代程序收敛定理
15
作者 郭志荣 徐小平 《淮阴师范学院学报(自然科学版)》 CAS 2010年第5期377-381,共5页
主要在E*具有KK性质等条件下证明了T存在不动点当且仅当由修正的Ishikawa迭代程序xn+1=tnTnyn+(1-tn)xn yn=snTnxn+(1-sn)xn所定义的序列{xn}弱收敛且xn-Txn→0.设C是一致凸Banach空间E的非空有界闭凸子集,T:C→C是渐近非扩张映射.
关键词 BANACH空间 渐近非扩张映射 ISHIKAWA迭代 Kadec-klee性质
在线阅读 下载PDF
一致凸Banach空间非扩张非自身映射的收敛性
16
作者 凌蕾花 《山东理工大学学报(自然科学版)》 CAS 2011年第5期52-54,共3页
在具有Kladec-Klee性质的实一致凸Banach空间中,对三个非扩张非自身映射引入一类带误差的Ishikawa型迭代序列并研究了其逼近公共不动点问题.
关键词 非扩张非自身映射 公共不动点 实一致凸Banach空间 Kladec-klee性质
在线阅读 下载PDF
分布式符号执行平台 被引量:1
17
作者 孙盼盼 董威 《计算机系统应用》 2016年第4期43-48,共6页
在软件工程学中,符号执行技术是一门高效的程序缺陷检测技术.符号执行使用符号值作为程序的输入,将程序的执行转变为相应符号表达式的操作,通过系统地遍历程序的路径空间,实现对程序行为的精确分析.然而,因受路径爆炸问题与约束求解问... 在软件工程学中,符号执行技术是一门高效的程序缺陷检测技术.符号执行使用符号值作为程序的输入,将程序的执行转变为相应符号表达式的操作,通过系统地遍历程序的路径空间,实现对程序行为的精确分析.然而,因受路径爆炸问题与约束求解问题的制约,符号执行技术也面临着可扩展性差的问题.为了在一定程度上缓解该问题,本文实现了一个分布式符号执行平台,该平台在调度算法的调度下将任务从主节点分发给多个工作节点,进而实现了任务的并行执行,降低了符号执行的时间开销. 展开更多
关键词 并行符号执行 分布式系统 WEB平台 缺陷检测 klee
在线阅读 下载PDF
基于古林法的伊春林区不同等级森林生态区位测度研究 被引量:6
18
作者 齐丹坤 李晓 +1 位作者 张怀 李英 《林业经济问题》 北大核心 2014年第2期145-148,共4页
根据《生态功能区划技术暂行规程》和《关于黑龙江省生态功能区划编制说明》,构建了以生态环境现状、生态环境敏感性为一级指标的生态区位测度体系,并对伊春林区内国家一级公益林、国家二级公益林、国家三级公益林、地方公益林和商品林... 根据《生态功能区划技术暂行规程》和《关于黑龙江省生态功能区划编制说明》,构建了以生态环境现状、生态环境敏感性为一级指标的生态区位测度体系,并对伊春林区内国家一级公益林、国家二级公益林、国家三级公益林、地方公益林和商品林进行了测度。测度结果表明:国家一级公益林的生态区位重要性是0.255,国家二级公益林的生态区位重要性是0.202,国家三级公益林的生态区位重要性是0.193,地方公益林的生态区位重要性是0.185,商品林生态区位重要性是0.165。这个研究结果可以为下一步对伊春林区森林生态资产价值评估奠定坚实的基础。 展开更多
关键词 古林法 伊春林区 森林生态区位 测度指标体系
在线阅读 下载PDF
Data-Driven Discovery in Mineralogy: Recent Advances in Data Resources, Analysis, and Visualization 被引量:6
19
作者 Robert M. Hazen Robert T. Downs +17 位作者 Ahmed Eleish Peter Fox Olivier C. Gagné Joshua J. Golden Edward S. Grew Daniel R. Hummer Grethe Hystad Sergey V. Krivovichev Congrui Li Chao Liu Xiaogang Ma Shaunna M. Morrison Feifei Pan Alexander J. Pires Anirudh Prabhu Jolyon Ralph Simone E. Runyon Hao Zhong 《Engineering》 SCIE EI 2019年第3期397-405,共9页
Large and growing data resources on the diversity, distribution, and properties of minerals are ushering in a new era of data-driven discovery in mineralogy. The most comprehensive international mineral database is th... Large and growing data resources on the diversity, distribution, and properties of minerals are ushering in a new era of data-driven discovery in mineralogy. The most comprehensive international mineral database is the IMA database, which includes information on more than 5400 approved mineral species and their properties, and the mindat.org data source, which contains more than 1 million species/locality data on minerals found at more than 300 000 localities. Analysis and visualization of these data with diverse techniques—including chord diagrams, cluster diagrams, Klee diagrams, skyline diagrams, and varied methods of network analysis—are leading to a greater understanding of the co-evolving geosphere and biosphere. New data-driven approaches include mineral evolution, mineral ecology, and mineral network analysis—methods that collectively consider the distribution and diversity of minerals through space and time. These strategies are fostering a deeper understanding of mineral co-occurrences and, for the first time, facilitating predictions of mineral species that occur on Earth but have yet to be discovered and described. 展开更多
关键词 Mineral evolution ecology SKYLINE DIAGRAMS Network ANALYSIS Cluster CHORD klee
在线阅读 下载PDF
关于有限个中间意义的渐近非扩张映射的收敛定理(英文)
20
作者 陈伟旭 郭巍 郭伟平 《应用数学》 CSCD 北大核心 2013年第3期544-553,共10页
本文引入一个新的带有误差项的有限个中间意义的渐近非扩张映射的迭代序列,在一致凸Banach空间中证明了新迭代序列的强收敛和弱收敛定理.
关键词 一致凸BANACH空间 渐近非扩张映射 Frechet可微范数 Kadec—klee性质 公共不动点
在线阅读 下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部