KLEE法对某急倾斜薄钨矿脉开采方法的选择研究

为了优化某个急倾斜薄矿脉钨矿山的采矿方法,采用KLEE法对其采矿方法的选择进行了研究。通过查阅资料,结合类似矿山的采矿经验,完成了采矿方法的初选,然后利用KLEE法把定性分析转化为定量计算,得出各评价指标的重要度wi,最终确定出各个采矿方法的最终得分,分值最高的采矿方法即该矿山最合适的采矿方法。经过计算确认,得出上向水平分层采矿法为该矿最合适采矿方法,与传统的采矿方法选择结果一致。

基于KLEE的软件漏洞测试用例自动生成技术

为解决KLEE中STP求解器无法对非线性求解约束条件求解的问题,将改进的遗传算法应用于KLEE中自动生成软件漏洞测试用例。通过改进遗传算法,将其应用于求解非线性方程并编程实现求解模块;通过KLEE的改进,让其能够调用遗传算法求解模块与STP求解器共同运行;通过接口的对接,完成KLEE中两个求解模块的并行运行,自动生成软件漏洞的测试用例。对比实验自动生成测试用例数据与原来KLEE的求解数据,对比结果表明了改进的遗传算法可应用于KLEE自动生成测试用例,其具有可行性、正确性、有效性。

基于KLEE的复杂路径中内存泄露检测研究

为了检测出复杂路径中的内存泄露问题,首先将Z3求解器移植到符号执行工具KLEE中,使其与KLEE中原有的STP求解器并行工作;然后利用并行了Z3求解器的KLEE对复杂路径的内存泄露程序进行测试用例生成;最后利用生成的测试用例对程序进行测试,挖掘出内存泄露问题。证明这种检测复杂路径中内存泄露的方法具有可行性、正确性、有效性。

γ-klee-图的Hamilton-连通性和着色(英文)

一个r-klee-图递归定义为一个r+1阶完全图或者通过用一个r阶完全图替换已知的r-klee-图G′中的一个顶点所得到的图.本文主要研究了r-klee-图的Hamilton-连通性和着色问题.我们证明了:每一个r-klee-图是Hamilton-连通的和它的色数是r;如果r是奇数,则它的边色数是r;如果r是偶数,则它的边色数是r+1.

赋p-Amemiya范数Musielak-Orlicz序列空间的Kadec-klee性质

Kadec-klee性质是Banach空间理论一个重要的性质,其与空间的逼近紧及非扩张映射的不动点性质密切相关。基于此给出了赋p-Amemiya范数的Musielak-Orlicz序列空间在单位球面上是H点的充分必要条件,又给出了赋p-Amemiya范数的Musielak-Orlicz序列空间具有Kadec-Klee性质,一致Kadec-klee性,接近一致凸的充分必要条件。

赋广义Orlicz范数的Orlicz空间的一致Kadec-Klee性质

利用Banach空间一般理论和广义Orlicz范数的特性,对具有一致Kadec-Klee性质的赋广义Orlicz范数的Orlicz空间进行研究,得到了由N-函数生成的赋广义Orlicz范数的Orlicz空间具有一致Kadec-Klee性质的判据,作为其推论给出了该空间接近一致凸的充要条件.

基于QFD-KLEE的新型装甲机械化部队维修保障能力评价指标体系

针对新型装甲机械化部队维修保障能力评价中不确定性问题分析研究,从装备维修保障任务的角度出发,系统梳理了维修保障能力的影响因素,依据指标体系建立原则,将质量功能展开与古林法相结合,构建了新型装甲机械化部队维修保障能力评价、价指标体系。该指标体系客观、易操作,为新型装甲机械化部队维修保障系统建设和维修保障能力评价提供了理论参考。

基于Klee Klee服装品牌可持续发展方式的实践探索

面对日益严重的资源浪费与环境污染问题,探寻可持续的发展方式已成为企业服装品牌转型升级的重要途径。文章探讨了我国服装行业可持续发展的现状,并以Klee Klee品牌为例,分析了其在可持续发展方面的实践和探索,同时对影响顾客购买服装可持续产品的因素进行分析,最后提出了国内服装品牌在实现可持续发展过程中应采取的策略。研究表明:Klee Klee品牌将时尚与可持续相结合,满足了顾客对服装可持续产品的期望。国内服装品牌也应从源头上践行可持续理念、主动承担社会责任以及提升品牌的辨识度,这对推动行业整体的绿色转型有一定的积极意义。

国际工程项目特征与商务合同管理者的专业知识结构——兼评Lukas Klee教授的新著《国际工程合同法》

近年来,随着中国经济的持续健康快速发展,中国国际工程承包事业发展迅速,业务规模持续扩大,承包的工程项目大型化趋势显著,单项合同金额屡创新高。2014年,中国对外承包工程业务新签合同额高达1917.1亿美元,约合人民币1.2万亿元,完成营业额1421.1亿美元,约合人民币8000亿元,分别同比增长11.7%和3.8%。

海德格尔为什么给“艺术”打叉?——《克利笔记》与艺术的二律背反

尽管海德格尔把艺术认定为拯救技术时代危机的希望,但在其作于20世纪50年代的手稿《克利笔记》中,他却实行了一种创造性的书写行为,即在“艺术”一词上面打叉。通过对《克利笔记》及相关文本的分析可以发现,这个“艺术之叉”有两个相反相成的含义,否定性的含义表示艺术对形而上学的表象和体验方式的抵抗,肯定性的含义则暗示了艺术向着作为“■”的自身回转。这也集中体现了海德格尔艺术哲学中的二律背反,即两个各自成立又相互矛盾的命题:“艺术本身有着形而上学的本质”与“艺术本身有着转变的契机”。这种二律背反思想根植于海德格尔后期思想的最深处,也标志着海德格尔艺术哲学的现实关切,对于当代艺术的发展具有启发与警示的价值与意义。

南海一个罗斯贝标准模态的特征与归因

南海是一个准封闭海盆,其本征值问题是理解南海动力学的重要内容。本文利用一种新的泛函工具—多尺度子空间变换,从卫星观测资料中分离得到一个南海本征模态,即罗斯贝标准模态的近似场。发现该模态的周期为6个月左右、波长近250km,在深水海盆向西传播,这与寿命为3个月左右的南海中尺度涡群体活动特征相一致。在此基础上,本文通过Liang-Kleeman信息流这一严格建立在第一性原理上的定量因果分析工具,探究南海两个最重要外部强迫,即黑潮入侵与南海季风对该罗斯贝标准模态的影响。结果表明二者与该模态均有较强因果关系,但分别影响模态的不同阶段:黑潮入侵主要影响其1/2π和3/2π位相,季风的作用则体现在3/4π位相。二者共同作用,调制该模态在近一个周期内的变化。进一步研究发现,黑潮入侵的过渡态是影响该模态的关键,这时黑潮在南海的分支与流套强度相当,有利于吕宋海峡西部形成不同极性涡旋的排列,从而影响南海内部罗斯贝标准模态。对南海季风而言,冬季风与夏季风的成熟阶段是影响该模态的重要时期,但并非整个南海的季风都发挥作用,泰国湾是季风改变南海罗斯贝标准模态的关键区域,这表明局地的强迫对激发全局模态起作用。

“揭示原形”的迹象艺术——克利艺术观的海德格尔式解读

克利认为绘画不是再现作为可见事物的“前形”,而是“揭示”使可见得以可能的“原形”。“原形”作为不可见者是自然而然地持续生成、涌动和绽放的“自然”,在逻辑上“前形”奠基于“原形”,后者比前者更本源;“揭示”不是“再现”和“抽象”,后二者皆乃对象化的强力,而“揭示”是与流偕行和顺势而为的非对象化行为,“揭示原形”意味着如“原形”本身自然而然地持续生成、涌动和绽放的那样“形式显示”“原形”。克利绘画作为其艺术观的实践既不是具象绘画,亦非抽象绘画,而是居于二者之间的迹象艺术,海德格尔从“本有的转向”的角度将克利的绘画视为克服了艺术形而上学的非对象性绘画。

软件企业KPI体系构建及绩效评价

针对我国软件产业迅猛发展,但对绩效评价缺乏整体研究,未形成科学合理的软件企业绩效评价指标体系现状,文中基于关键成功因素法进行研究。首先,研究KPI体系构建,将组织战略目标转化为衡量指标,把战略目标经层层分解后得到关键成功因素,结合关键控制点初步设立绩效指标,经过整理得出软件企业KPI;然后,构建KLEE数学模型并计算各个KPI的权重;最后,研究模糊综合评价法进行绩效评价,包括单因素评价、一级模糊评价、多级模糊评价。文中的研究内容,对于指导企业绩效评价、提高绩效管理水平具有重要的指导意义。

历史文化名城保护模糊综合评价研究——以西安市为例

以西安市为例,研究了模糊综合评价在历史文化名城保护中的应用。从古城风貌特色、文物古迹、历史街区、民俗文化四个方而,选取了十七个指标,构建了历史文化名城保护评价指标体系,并利用KLFF方法确定指标权重。通过专家打分法获得隶属度矩阵,经过模糊运算,结果显示西安市历史文化名城保护现状归属"非常好"、"比较好"、"一般"、"不好"、"较差"的比重分别为:5%、41%、24%、22%、8%。

Banach空间中渐近非扩张非自身映射带误差Noor迭代的收敛性定理(英文)

本文主要对三个渐近非扩张非自身映射引入了一种新的投影型Noor迭代程序,并在一致凸Banach空间中给出了该Noor迭代序列的弱与强收敛性定理.我们的主要结果推广和改进了该领域许多近期的结果.

Banach空间中渐近非扩张映射的弱收敛定理

设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.

渐近非扩张映射修正的Ishikawa迭代程序收敛定理

主要在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空间非扩张非自身映射的收敛性

在具有Kladec-Klee性质的实一致凸Banach空间中,对三个非扩张非自身映射引入一类带误差的Ishikawa型迭代序列并研究了其逼近公共不动点问题.

分布式符号执行平台

在软件工程学中,符号执行技术是一门高效的程序缺陷检测技术.符号执行使用符号值作为程序的输入,将程序的执行转变为相应符号表达式的操作,通过系统地遍历程序的路径空间,实现对程序行为的精确分析.然而,因受路径爆炸问题与约束求解问题的制约,符号执行技术也面临着可扩展性差的问题.为了在一定程度上缓解该问题,本文实现了一个分布式符号执行平台,该平台在调度算法的调度下将任务从主节点分发给多个工作节点,进而实现了任务的并行执行,降低了符号执行的时间开销.

基于古林法的伊春林区不同等级森林生态区位测度研究

根据《生态功能区划技术暂行规程》和《关于黑龙江省生态功能区划编制说明》,构建了以生态环境现状、生态环境敏感性为一级指标的生态区位测度体系,并对伊春林区内国家一级公益林、国家二级公益林、国家三级公益林、地方公益林和商品林进行了测度。测度结果表明:国家一级公益林的生态区位重要性是0.255,国家二级公益林的生态区位重要性是0.202,国家三级公益林的生态区位重要性是0.193,地方公益林的生态区位重要性是0.185,商品林生态区位重要性是0.165。这个研究结果可以为下一步对伊春林区森林生态资产价值评估奠定坚实的基础。