基于条件值的C/C++预处理测试算法

传统C/C++代码的预处理分析利用符号执行推断预处理中自由变量条件表达式的值,但是该算法的时间复杂度是指数型的。为降低时间复杂度,提出一种快速符号执行算法。源代码通过词法分析器得到预处理变量和路径条件,为预处理变量建立节点,把路径条件转化为条件表达式,通过符号执行算法将两者整合为条件值c-value的形式,最终显示预处理结束后每一个预处理变量的条件值。实例结果表明,该算法能免去传统符号执行中对于路径可行性的分析,从而降低时间复杂度。

PMIPv6使用路由优化的条件值推导

分析PMIPv6协议相关路由优化方案,针对域内MN和CN通信频率低且MN切换频率高的问题,提出使用路由优化的条件,并给出条件值的推导方法。数值计算和理论分析证明,只有当PRR大于设定值时,使用路由优化才能在分组传输开销和时延方面发挥明显优势。

具有积分边界条件的非线性耦合分数微分方程组边值问题解的唯一性

分数阶微分方程模型具有深刻的物理背景和丰富的理论内涵,在诸多领域应用广泛,如血液流动问题、化学工程、热弹性、地下水流动、人口动力学等。目前关于带有积分边界条件的非线性耦合分数微分方程边值问题的求解相对较少,本文就是针对非线性耦合分数微分方程边值问题解的唯一性展开的研究,本文的非线性项中含有未知函数的导数项,使得研究的Banach空间更加复杂。首先,得到非线性系统对应的线性系统的Green函数,其次,分析Green函数的性质,构造积分算子,再次,利用Banach不动点定理得到边值问题解的唯一性结果,最后,给出一个示例。

带有分数阶积分边值条件的分数阶微分方程的正解

讨论一类带有Riemann-Liouville型分数阶积分边值条件的分数阶微分方程边值问题,给出了该分数阶积分边值问题对应的Green函数及相关性质,并通过构造Banach空间上一个锥和对应的算子以及线性算子相关的第一特征值的讨论,运用不动点指数定理,得到该积分边值问题一个和两个正解的存在性.算例展示了定理的具体应用.

计及碳交易与条件风险值的虚拟电厂竞价策略

为探索虚拟电厂(virtual power plant,VPP)兼顾经济性与低碳性的竞价策略,从VPP作为价格制定者的角度提出一种计及碳交易与风险的VPP参与电能量市场和备用市场的主从博弈竞价模型。以含风电、光伏的VPP为研究对象,首先,采用基准线法为VPP无偿分配碳排放配额,建立VPP的碳交易模型;之后建立了基于主从博弈理论的双层竞价模型,上层领导者为参与碳、电、备用市场的VPP运营商,下层跟随者为电力市场运营商;同时,运用条件风险值(conditional value at risk,CVaR)将上层问题转化为计及风险的多目标优化问题;最后采用遗传算法和求解器联合求解。算例表明该模型可以在多市场的环境下提供经济、低碳的竞价策略及不同市场的出力计划,并分析了不同市场类型、碳交易的加入、不同风险厌恶系数对VPP竞价结果的影响,为提高VPP运营商收益提供了新思路。

换元法求二次型条件最值

本文主要研究以二次三项式mx^(2)+nxy+fy^(2)=k为条件,以xy、x+y、ax^(2)+by^(2)等为目标的条件最值问题,通过三角代换的方法解决,有效地解决了求范围的问题,方法简单实用,运算量小.

立足本手 巧构妙手 释疑俗手--以一道对称双变量条件最值问题为例

2022年语文新高考Ⅰ卷以围棋的三个术语“本手、妙手、俗手”为作文题目,其中本手是指合乎棋理的正规下法;妙手是指出人意料的精妙下法;俗手是指貌似合理,而从全局看通常会受损的下法.笔者由此想到,在数学的解题教学过程中,不也会经常遇到的正规解法、精妙解法、以及貌似合理却错误的解法吗?笔者便从“本手、俗手、妙手”三个角度分别入手,来探究一道对称双变量条件最值问题,现整理如下,以飨读者.

一类条件最值问题的快速解法

基本不等式是求解函数最值问题的一个有效工具,不仅是高中数学教学的重点,而且是高考考查的一个热点.然而,学生在应用基本不等式求最值时,往往因为不知如何获取“和为定值”或“积为定值”导致无法运用基本不等式正确求解出最值.而灵活应用已知条件去构造、去变形从而获得“定值”又是此类问题的难点.针对学生不能灵活获取“定值”的实际,笔者在教学实践中,探寻了一种既能降低构造“定值”这个难点,同时又能快速准确求出一类条件最值问题,本文将结合教学实践,例说此类条件最值问题的快速解法.

一道条件最值问题的多解研究

一、问题与分析题目已知a>0,b>0,且a+b=4,求(a+1/a)(b+1/b)的最小值.分析:该试题是一个条件最值问题,在教学活动中发现,学生在解决该问题的过程中存在较多的问题,如对基本不等式使用的前提条件掌握不到位,对基本不等式的取等条件不清楚,因此大多数同学在解答的过程中出现了多种错误答案.从问题的条件和结论来看,该试题的条件简洁,需要求解的问题结构高度对称.从问题解决的过程来看,该试题的解法多样,能够满足不同层次学生的训练需要.因此,该试题非常适合用于一题多解的数学教学活动,这对培养学生的创造性思维具有重要的价值和意义.

基于条件风险值理论的供应链优化与协调模型研究

本文将近年来发展起来的金融风险控制工具——条件风险值,引入具有风险规避特性的供应链优化与协调问题的研究。建立了随机需求下由具有不同风险规避特性的单个供应商与单个零售商组成的两级供应链的条件风险值模型和基于条件风险值的最优订购量模型及协调供应链的收入共享契约模型,并对模型进行了分析,揭示了供应商和零售商的风险规避程度对最优订购量、批发价格及供应链协调的影响。最后通过一个算例对模型进行了仿真,仿真结果进一步验证了本文的研究结论。

恢复额济纳旗生态系统的总经济价值——条件估值非参数估计方法的应用

条件估值方法是当前国际上流行的衡量环境物品非利用经济价值的方法 ,通过调查居民针对不同环境状况变化的支付意愿 ,从而定量确定环境状况变化带来的经济效益和损失 .针对黑河流域额济纳旗生态系统恶化的现状 ,以投标支付卡的方法设计了 70 0份调查问卷 ,调查了黑河流域居民恢复额济纳旗生态系统的支付意愿 ,并采用非参数分析方法对结果进行分析 .结果表明 ,用 2 0a的时间将额济纳旗的生态系统恢复到 2 0世纪 80年代初的水平 ,黑河流域总共有 92 .3%的居民家庭存在支付意愿 ,有支付意愿家庭的平均支付意愿为每年每户 43.39元 ,同时采用列联表检验的方法辨明了被调查者的年龄、学历、收入、户籍和居住的地理区域等因素对支付意愿的影响 .最后在综合不同区域居民支付意愿差异的基础上 ,采用当前的市场利率将计算结果在时空尺度上加总 ,得到恢复黑河下游额济纳生态系统的总经济价值的现值为 2 .94× 10 8元 .

耕地重金属污染治理生态补偿标准条件估值法研究——以广西大环江流域为例

运用条件估值法,于2015年8月对广西环江县大环江流域重金属污染地区农户受偿意愿进行调查研究。结果表明,研究区农户对当地耕地重金属污染治理项目的参与意愿与投标额度(设计补偿标准)、家庭耕地面积和耕地受污染程度呈正相关关系;农户平均受偿意愿下限为12 630.75元·hm^(-2)·a^(-1),该测算值可为当地耕地重金属污染治理生态补偿标准的确定提供理论依据。认为广西环江县大环江流域耕地重金属污染治理及其配套生态补偿项目应首先选择耕地面积较大且污染较明显地区作为项目选址。建议在今后的生态补偿研究中注意补偿标准与客观条件之间的联系,并制定出一套具有普适性的生态补偿标准研究方法。

基于条件风险值准则的战略顾客报童模型

针对具有风险厌恶特性的报童在面临战略顾客时应如何做出订购和定价决策的问题,在分析战略顾客购买行为的基础上,运用CVaR准则建立考虑战略顾客行为的风险厌恶报童模型。进一步研究了存在战略顾客时数量折扣契约能否实现供应链协调的问题。研究表明,零售商存在最优订购和定价策略,零售商可以根据自身以及顾客的风险态度、产品成本和处理价格来制定库存和价格策略,增加顾客低价购买不到产品的风险,以避免战略顾客行为;零售商的风险态度加剧了双重边际效应,恶化了供应链绩效,此时数量折扣契约能实现供应链协调。

自然资源与环境价值评估:条件估值法及应用原则探讨

自然资源与环境价值评估是当前环境经济学的研究热点,条件估值法C(VM)在国外经过近40年的发展已较为完善并已成为自然资源和环境价值评估的主要技术方法之一。但由于缺少一套完备的原则框架加以指导,国内具体实证研究存在不同的问题和困惑。论文系统回顾了条件价值法的国内外主要研究进展,基于国际上已建立的CVM原则并结合我国自然资源与环境价值评估的实际情形,提出了当前国内CVM研究可供遵循的9条建议性原则,涉及问卷设计与预调查、调查实施、数据分析和费用效益分析等各步骤。以此为基础对国内CVM价值评估研究存在的一些问题作了初步探讨。最后指出,环境资源价值评估CVM研究需要遵循的原则和注意的问题,可能还不止于所建原则,具体操作过程可能需要适时适地地调整并需要继续完善。

条件估值法评估环境资源价值的研究进展

条件估值法 (CVM)是一种利用假想市场评估环境物品价值的方法 ,凭借方法本身的灵活性、广泛的适用性和强大的提供数据来源的能力 ,4 0年来在环境价值评估领域的重要性不断上升。系统总结了CVM研究中存在的主要问题与争议 ,争议主要围绕非使用价值评估和假想市场所获数据的有效性与可靠性。针对CVM在 1993年后研究热点的转变和国际研究动向 ,论述了其有效性和可靠性检验问题。最后对CVM进行了展望与评价 ,认为即使对中国这样的发展中国家 ,CVM仍为一种富有前景的环境资源价值评估方法 ,不过必须建立在对CVM调查各个环节的精心设计、严谨实施和审慎分析的基础上。

基于条件风险值准则的供应链回购契约协调策略

研究了由具有风险偏好的零售商和风险中性的供应商组成的两级供应链回购契约协调问题。针对具有风险偏好的零售商,考虑了风险中性、风险厌恶和风险喜好三种态度,建立了由风险厌恶程度和悲观系数两个参数描述的基于条件风险值(CVaR)的集成目标决策函数。推导了不同风险偏好态度下的零售商最优订货决策,分析了不同风险偏好参数下的零售商订货决策变化情况。给出了能够完全协调风险偏好零售商和风险中性供应商的供应链回购契约协调机制。最后,进行了数值计算,验证了设计的供应链回购契约协调策略的有效性。结果表明,在给出的回购契约协调机制下,考虑风险偏好情况下的零售商最优订货决策能够保证整个供应链系统实现最优绩效,而供应链成员期望利润却随不同的风险偏好参数而不同。

基于Kriging模型和条件风险值的多响应优化设计

针对具有风险规避特性的多响应随机仿真优化问题,结合稳健参数设计思想和条件风险值准则,提出基于Kriging模型的均值—条件风险值优化策略。利用元建模技术,分别建立了均值响应和条件风险值响应的Kriging模型,在此基础上构建了具有风险参数描述的均值—条件风险值决策模型;采用bootstrap方法度量环境变量的不确定性对多响应优化Pareto前沿的影响,同时给出不同风险参数对Pareto前沿的影响。仿真实验结果表明所提方法能够有效处理具有风险规避特性的多响应随机仿真优化问题,验证了所提方法的有效性和合理性。

一类具非线性边值条件的双参数奇摄动问题

运用合成展开法,构造了一类具非线性边值条件的双参数奇摄动问题的形式渐近解,并利用微分不等式理论,证明了该问题解的存在性和渐近解的一致有效性.

利用基于条件表型值的关联分析发掘粳稻生育期和单株有效穗数有利等位变异

发掘控制粳稻生育期和单株有效穗数的有利等位变异和携带有利等位变异的载体材料,为培育适应性广和产量竞争优势强的杂交粳稻组合提供遗传信息和育种材料。以94个粳稻品种构成的自然群体为试验材料,调查2个环境下各品种的生育期、单株有效穗数和株高,采用QGAStation软件中线性模型的方法进行条件表型值的转换,并利用TASSEL软件中的GLM进行生育期和单株有效穗数的基于非条件和条件表型值的关联分析。2个环境下共检测到34个与生育期和单株有效穗数相关联的SSR标记位点,其中15个与生育期关联,19个与单株有效穗数关联。RM8095-120bp、RM7102-176bp、RM72-170bp和RM72-178bp是与生育期关联的4个有利等位变异,其载体品种分别是红芒沙粳、日本晴、红芒沙粳和南农粳62401。将这些载体品种中的有利等位变异导入改良材料中,可缩短生育期2.03～9.93d。RM72-182bp是与单株有效穗数关联的有利等位变异,其载体材料为小青种。将小青种中的RM72-182bp条带导入改良材料中可以增加单株有效穗数3个左右。且利用上述载体材料中的有利等位变异改良目标性状时不会对另外2个性状产生影响。

带积分边值条件的分数阶微分方程解的存在性和唯一性

研究了一类带积分边值条件的分数阶微分方程边值问题解的存在性和唯一性,并利用Schauder不动点定理以及压缩映像原理,得到了边值问题解的存在性及唯一性结论.