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

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

基于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法把定性分析转化为定量计算,得出各评价指标的重要度wi,最终确定出各个采矿方法的最终得分,分值最高的采矿方法即该矿山最合适的采矿方法。经过计算确认,得出上向水平分层采矿法为该矿最合适采矿方法,与传统的采矿方法选择结果一致。

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

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

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

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

软件企业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。这个研究结果可以为下一步对伊春林区森林生态资产价值评估奠定坚实的基础。

乌鲁木齐市城市绿地建设综合评价

采用2002年QuickBird遥感数据和地面调查数据,选用反映城市绿地建设水平的绿化覆盖率、绿地率、人均公共绿地、面积指数、多样性指数、均匀度指数、破碎化指数、绿地廊道密度指数8项数量质量指标,应用古林方法和模糊评价方法,对乌鲁木齐市及4个主要建成区城市绿地建设情况进行系统评价。结果表明:乌鲁木齐市及其各主要建成区城市绿地建设总体水平处于中等偏上,水磨沟区最好,新市区次之,沙依巴克区再次之,天山区最差。今后应加强乌鲁木齐市荒山绿化和废矿区地面绿化,尽可能连接中小型绿地,以便更好地发挥城市绿地的重要作用。

关于有限个中间意义的渐近非扩张映射的收敛定理(英文)

本文引入一个新的带有误差项的有限个中间意义的渐近非扩张映射的迭代序列,在一致凸Banach空间中证明了新迭代序列的强收敛和弱收敛定理.