基于热启动的大规模安全约束机组组合模型的快速求解方法

大规模安全约束机组组合(security constrained unit commitment,SCUC)问题的混合整数线性规划(mixed integer linear programming,MILP)模型因其高维、非凸的特点导致求解困难,尤其在考虑故障态安全约束后模型规模骤增,MILP算法常遇到收敛间隙下降瓶颈问题。为满足现货市场出清对SCUC问题求解时间的要求,提出了基于热启动的快速求解方法,从待求模型的一个可行解出发,根据节点边际电价和机组收益分析进行整数变量固定,同时削减无约束力的安全约束,以缩减模型规模,加快收敛进程。仿真结果表明:所提方法能够大幅缩减SCUC模型规模,尤其对于考虑故障态安全约束的大规模SCUC问题,能有效克服收敛间隙下降瓶颈问题,求解效率提高特别显著。

汉语的动后限制、曼德语的动前限制及“成分数量受限语序”

文章讨论汉语的动后限制及曼德语的动前限制:汉语在动词之后能容纳的句法成分和曼德语在动词之前能容纳的句法成分的数量均受限,呈现出和一般SVO、SOV语言不同的语序类型特征。汉语普通话的动后限制存在个别例外,但这些例外结构在使用上都受到种种限制。动后限制和动前限制均属于特定位置容纳成分数量受限的语序,简称为“成分数量受限语序”,区别于人类语言中常见的“定性语序”和“定位语序”。成分数量受限语序的提出及与定性、定位语序的区分将丰富对语序类型学的认识。

考虑设施失效的应急物资多阶段分配研究

在灾后初期救援过程中,制定合理的应急物资分配计划,对于快速有效地将应急物资分配到受灾点、减轻灾情具有重要意义。针对灾后初期物资供不应求下的应急物资分配问题,综合考虑了灾后初期救援阶段性特点、设施失效、配送点每阶段物资库存量动态变化等特征,以应急物资分配公平性最大、应急物资配送总时间最短和应急物资分配总成本最小为目标,建立灾后初期设施失效下的多阶段应急物资分配混合整数规划模型。运用增广ε约束法对多目标模型进行求解,以“7·20”郑州暴雨为例,对相应的参数进行敏感性分析、目标函数进行均衡分析,验证模型的有效性。研究结果可以为决策者在设施失效下灾后初期的应急物资分配优化提供决策支持。

基于伞约束的安全约束机组组合迭代求解方法

为了提高电力市场出清结果的可靠性,在传统安全约束机组组合(security constrained unit commitment, SCUC)问题的基础上根据N-1原则考虑了故障态安全约束;为了不影响出清效率,基于伞约束原理提出了迭代式安全约束筛选方法。以机组组合(unit commitment, UC)模型为迭代起点,计算基态和故障态下的线路潮流,添加越限的所有基态安全约束,对于故障态潮流越限的线路,每条线路只保留越限最严重的故障态,并且给每轮添加的故障态约束数量设置上限,迭代求解直至无越限约束。分别对IEEE118系统和Polish2383系统进行仿真,与直接求解完整模型相比,求解速度分别提升了72.6%和88.4%。仿真结果表明,根据伞约束原理进行约束筛选后再迭代求解,能够显著提高SCUC模型的求解效率,尤其是对于考虑故障态安全约束的大规模SCUC问题,提速效果尤为明显。

泥页岩应力场约束的叠后地震裂缝预测技术——以焦石坝区块五峰组-龙马溪组一段为例

针对泥页岩整体"小尺度,低角度"裂缝地震预测难度较大的特点,以涪陵页岩气田焦石坝区块五峰组-龙马溪组一段页岩气储层为例,探索了应力场约束的叠后地震裂缝预测技术方法。首先,进行叠后地震数据增强裂缝响应效果的针对性处理,以提高断裂及裂缝识别能力,在此基础上开展表征裂缝发育程度的高精度地震体曲率追踪;其次,模拟现今应力场分布特征,分析裂缝发育方向及应变强度;最后,将体曲率及应力场预测成果归一化,建立归一化应力场与体曲率相乘的裂缝预测模型,从而较有效地预测泥页岩裂缝发育的方向及强度。综合预测结果表明,焦石坝箱状背斜主体五峰组-龙马溪组一段发育北东向为主的中-弱程度裂缝,构造翼部及断裂(褶)带局部发育北东及北西向中-强程度规模裂缝,预测结果符合地质规律。井-震标定结果显示,裂缝综合预测成果与钻井工程裂缝性漏失段具有一一对应关系,进一步验证了该方法的有效性和实用性。该方法对页岩气储层综合评价及钻井工程具有一定的指导意义。

基于逻辑一致性判定的广义不透明谓词检测方法

不透明谓词是一类轻量级的代码混淆方法,能以单向的执行复杂度对抗程序的逆向分析。广义不透明谓词扩展狭义不透明谓词的值恒定属性至逻辑恒定属性,已经应用于部分恶意代码中以提升抗查杀能力。为消除不透明谓词对程序恶意性判定的影响,以广义不透明谓词后趋依赖的属性为依据,结合逻辑恒定判定,提出了基于逻辑一致性的广义不透明谓词检测方法。通过静态分析提取谓词前置条件约束、后趋逻辑约束和谓词判定表达式,以相交基本块搜寻初筛谓词,并依据约束求解方法判定广义不透明谓词。构造原型系统并进行测试,结果表明该方法能精准高效地检测出恶意代码中的不透明谓词。

基于局部邻域约束的空间验证方法

提出了用基于局部邻域约束的空间验证方法去验证错误的匹配特征。首先,计算匹配特征对的局部邻域范围,根据局部邻域内相关匹配特征对的数量定义该匹配对的局部邻域约束值,并判断是否满足局部邻域的约束条件。若满足,则基于局部邻域内的所有相关匹配特征的排列顺序,验证其是否满足一致的几何变换关系。实验结果表明:SVLRC方法具有较低的时间复杂度,改善了最终检索结果的精确度。

电针联合运动疗法在痉挛性偏瘫患者神经功能恢复中的应用

目的观察电针联合强制性运动(constraint-induced movement therapy,CIMT)对痉挛性偏瘫患者神经功能恢复的临床疗效。方法选取脑卒中痉挛性偏瘫患者60例,随机分为电针组、强制性运动组(运动组)和电针联合强制性运动组(联合组)各20例,3组均在常规康复治疗基础上行相应治疗,分别于治疗前与治疗4星期后对3组患者改良Ashworth分级、临床神经功能缺损评分、简化Fugl-Meyer运动量表(FMA)、Berg平衡量表(BBS)评定变化进行对比分析。结果治疗4星期后3组改良Ashworth评定和神经功能缺损评分均较治疗前明显下降(P<0.01),且运动组低于电针组(P<0.05),联合组更低于其他两组(P<0.05);3组患者FMA及BBS的评分均较治疗前明显提高(P<0.01),且运动组高于电针组(P<0.05),联合组高于其他两组(P<0.05)。结论电针联合强制性运动能够减轻痉挛性偏瘫患者患侧肢体的肌张力,有效改善痉挛性偏瘫患者神经功能及运动功能,从而提高患者的生活质量。

计量经济史研究中的“上位前提假设”刍议——经济学理论框架应用条件研究

历史经验指出,各国的总供求态势陆续从供给约束型过渡到了需求约束型,或正在过渡。展望未来,主要发达国家将率先从需求约束型经济向"后供给约束型"或"领先科技约束型",也许已经开始过渡。计量经济史的研究领域囊括了三种总供求态势,供给约束、需求约束就构成了计量经济史研究必须关注的上位前提,也许还要关注"领先科技约束"这一上位前提。研究者在选用经济学理论框架时,要格外注意模型中暗含的上位前提,这样才不至于错用经济学理论框架。从实证角度看,总供给的价格弹性大小、贸易条件与贸易收支的相关关系、马勒条件是否成立,是从四部门经济角度判断一国处于供给约束态势还是需求约束态势下较为全面的测度方法。

侧向间隙点约束作用下弹性圆(环)板的热过屈曲响应

基于von Karman薄板理论推导了均匀升温下的弹性圆(环)板受到侧向间隙点约束作用前后的轴对称热过屈曲方程.点约束位于圆(环)板圆心处的侧向两侧,且间隙值在板的热过屈曲变形范围内.控制方程是一组以中面位移为基本未知量,以温度载荷为参数,接触后约束条件改变的非线性常微分方程组.采用打靶法数值求解所得方程,获得了周边不可移夹紧和简支圆(环)板在接触前后的热过屈曲响应.着重研究了圆(环)板受到点约束作用后的过屈曲变形和内力的变化情况,分析了环板内外半径比及边界条件的影响,给出了有关的平衡构形和平衡路径.

“软编制约束”:对地方财政供养规模隐性增长的一种解释

"软编制约束"是指地方政府突破核定编制约束,向社会或下级政府索取人力资源,由此造成政府财政供养规模的隐性增长。地方政府突破编制约束的动力机制在于:为应对考核机制,地方政府不惜动用人海战术对社会进行管理与控制,而政府扩张规模引起的责权利不对称对此也有影响。从宏观制度背景看,中国特殊的国家-社会关系和纵向政府间关系增强了这一趋势。基于此,治理范围的调整、治理重点的转变、治理的多元化、治理能力的提高等应是今后地方政府改革的方向。

基于MSC．Patran的浮筏冲击响应分析计算系统的设计实现

利用MSC.Patran和MSC.Nastran进行浮筏系统的冲击动响应分析计算是一项烦琐而复杂的过程,定制开发浮筏冲击动响应分析计算系统具有重要的应用价值。描述了系统的设计框架及功能模块,介绍了系统的具体实现及工作流程。为了充分利用已有的数据资源,系统中实现了MSC.Patran与已有浮筏数据库系统的交互。通过一个工程示例,说明了系统的有效性。

“双二元短缺约束”下中国经济的阶段性特征

2005年以后,中国结束了长达50多年的短缺经济,进入产能过剩与资源约束为主的新短缺经济阶段,主要体现为"生产资料与生活资料生产能力双过剩"和"资源性生产要素与基础设施、公共服务供给双短缺"并存。1978年改革开放以后,中国经济经历了一个从短缺经济——后短缺经济——新短缺经济的演化过程。第一,1978-1996年,短缺经济阶段,主要表现为生产资料和生活资料的双短缺;第二,1996-2005年,后短缺阶段,主要表现为生活资料基本过剩,而生产资料存在短缺和不足;第三,2005年以后,新短缺经济阶段,主要表现为生产资料和生活资料的"双过剩",资源约束与市场约束"双约束"逐渐成为我国经济发展的主要制约性因素。

先进战斗机过失速机动飞行航迹优化

过失速机动是先进战斗机的重要性能,飞行航迹优化是过失速机动中需要解决的关键问题。基于先进战斗机非线性动力学模型建立了过失速机动的优化模型;应用哈密顿函数构建了优化指标函数,并求解了相应的约束方程;提出了最速下降法和Newton法相结合的新算法对梯度下降法进行了改进,加快了寻优算法的收敛速度;选取了典型的Herbst机动具体分析了先进战斗机过失速机动的飞行航迹优化问题。最后,通过数字仿真验证了航迹优化算法的可行性和有效性。

径向压力下有间隙约束弹性圆(环)板的过屈曲响应

基于von Karman薄板理论建立了有间隙约束的弹性圆(环)板在径向压力作用下的轴对称过屈曲控制方程,这是一组以中面位移为基本未知量,以径向压力为参数的非线性常微分方程组.假设间隙约束位于圆板圆心处两侧且间隙值在圆板的过屈曲变形范围内,采用打靶法数值求解相应的非线性两点边值问题,获得了周边夹紧和简支圆板被约束前后的过屈曲响应.着重分析了圆板的最大挠度达到给定间隙值,受到间隙约束后的过屈曲变形和内力的变化特性,给出了有关的平衡构型和平衡路径.当板与刚性约束接触后,在板中心两侧出现了新的挠度极大值点,约束反力随着径向压力单调增加.在内周边处,接触前径向薄膜力和弯矩的代数值单调增加;接触后径向薄膜力先单调减小后增加,而弯矩一直单调减小.周边夹紧圆板在外周边处的弯矩代数值在接触前后均单调减小.

汶川地震灾后重建住房规划环境制约因素及对策

汶川特大地震发生，四川省共有153个县（市、区）不同程度受灾，全省灾区需完成城乡住房重建49131．22万m^2（445．4万套），重建城乡住房规划受到资源、环境的制约。通过对其制约因素分析，提出了对环境保护、资源保护有针对性的措施和对策，并对住房选址和建设生态人居环境提出了建议，有利于灾后重建城乡住房规划向建设生态人居环境方向发展。

对地下连续墙内力影响试验的分析

利用模型试验分析不同工况的地下连续墙内力变化,指出了现有计算方法的适用性及修正办法。同时对墙前、后土压力强度分布也进行了实测和分析。

板柱节点冲剪破坏后的精细有限元分析

按实际结构构造建立了板柱节点的精细有限元模型,采用实体单元和梁单元分别模拟混凝土和钢筋,采用生死单元技术模拟冲剪过程中混凝土开裂和冲剪后的钢筋断裂。3类典型冲剪试验的模拟验证表明该方法可以准确模拟冲剪和冲剪后的位移和承载力。基于该模型对约束节点的冲剪受力全过程进行了进一步的分析,结果表明:面内约束的板柱节点试验中,整体性钢筋和受弯钢筋对冲剪后承载力贡献为42%和58%;提高配筋率对节点冲剪前后的刚度均提升显著,而板厚增加仅对节点冲剪前的承载力和刚度有显著提升;欧美澳中四国规范在计算约束节点冲剪强度值时至少仍有36%的承载力储备,现有冲剪后承载力计算方法低估了负弯矩钢筋贡献,其冲剪后强度的计算值也都低于试验值。

点间隙约束下轴向受压弹性梁的过屈曲

基于轴向可伸缩Euler-Bernoulli梁的过屈曲精确数学模型,采用打靶法研究了点间隙约束下两端夹紧和简支弹性梁在轴向机械载荷作用下的过屈曲.着重讨论了梁的中点挠度达到给定间隙值而受到点约束后的弹性梁的过屈曲变形和内力的变化特征,给出与中点约束力相关的平衡构形和平衡路径.

“00后”职校生休闲阻碍、休闲无聊感对手机依赖的影响

目的:探讨"00后"职业学校学生休闲阻碍、休闲无聊感对手机依赖的影响,为预防职业学校学生手机依赖提供参考。方法:采用随机整群抽样法,通过休闲阻碍量表(LCS)、休闲无聊感量表(LBS)和手机依赖量表(MPATS),对山东省3所高职学校和1所中职学校609名"00后"学生进行问卷调查。结果:"00后"职业学校学生手机依赖检出率为28.41%,手机依赖总分在性别差异上没有统计学意义(P>0.05),在学校类别差异上有统计学意义(F=8.32,P<0.05),手机依赖总分及突显行为因子年级间差异均有统计学意义(F=5.45,2.19;P<0.05)。个人内在阻碍因子、休闲无聊感在性别差异上均有统计学意义(F=6.491,4.341;P<0.05),休闲阻碍总分及各因子、休闲无聊感年级间差异均有统计学意义(F=3.69,2.34,3.33,3.53,4.44;P<0.05)。休闲阻碍总分及各因子、休闲无聊感与手机依赖总分两两之间均呈正相关(P<0.01)。个人内在阻碍、人际间阻碍和休闲无聊感均能正向预测手机依赖(t=3.82,1.47,9.24;P<0.05)。休闲无聊感在个人内在阻碍和人际间阻碍对手机依赖的影响中起部分中介作用,中介效应占总效应的比例分别为0.46和0.48。结论:休闲无聊感对"00后"职业学校学生休闲阻碍对手机依赖的影响中起到部分中介作用。