安全约束机组组合问题的冗余约束削减方法研究

来源 :浙江大学 | 被引量 : 0次 | 上传用户:czw6243579
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
其他文献
本报告以笔者独立完成The Effect of Competition Law on Patent Remedies翻译任务为重要依据,进行案例分析,说明法律文本翻译在李克兴教授提出的静态对等理论指导下能够达到更优效果。探讨静态对等理论对于法律文本翻译的指导作用,提高翻译质量,为未来法律文本翻译提供新的思路,促进不同国家间法律文化交流。法律,作为一种特殊存在的文本,具有其独有文本特征,术语专业性强
学位
通过对凉水阔叶红松(Pinus koraiensis)林内主要针叶树种-红松枝性状的研究,分析了不同植株大小、枝龄、环境下红松枝性状的种内变异规律,以探究植物对不同资源环境的适应及调节机制。许多枝性状的变异受植株大小、枝龄或环境的影响,但少有研究同时评估这些因素对枝性状种内变异的重要性。该研究以红松为研究对象,通过测定69株胸径(DBH)0.3-100 cm范围内植株不同年龄枝的形态性状、化学性状
学位
幂零李超代数的分类是李理论中的重要研究课题.本文研究一类二步幂零李超代数,即一致李超代数.本文约定基域为实数域,首先定义一致李超代数并研究其结构性质;然后定义一致染色超图并建立了它和一致李超代数的对应关系,最后利用一致染色超图的性质对中心的余维数小于等于3且r≤2,s≤2的(r,s)型一致李超代数进行了分类.
学位
文本简化是在保证句意不变的情况下,将复杂的文本转化为简单易懂的文本,可以服务于语言识字率低、认知或语言障碍的人,还可以部署到许多文本内容理解的自然语言处理系统。针对该任务,更多采用的是有监督的基于神经网络的方法,但是这些方法都需大量的标注数据集上进行训练,而许多实际场景缺乏标注数据集。因此,在缺少足够的标注语料情况下,人们迫切需要开发有效的无监督的学习方法,解决文本简化方法对标注数据集的依赖问题。
学位
2019年期间,我国研发经费投入共22143.6亿元,相比上年,增长了12.5%。虽然投入量维持高水平,但是和欧美发达国家相比,我国研发水平依然较低。因此,提高我国研发投入水平、解决我国核心技术领域“卡脖子”问题已经成为我国各个行业的共识。截至2018年底,我国中小企业数量超过3000万家,贡献了全国50%以上的税收,60%以上的GDP,70%以上的技术创新成果,80%以上的劳动力就业,正逐渐发展
学位
生土基材料具有可调整室内湿度、保温隔热、可循环利用、经济、吸收污染等优点,但其在运输过程中的扬尘污染、改性处理与再运用方面存在亟待解决的问题。传统水泥改性砌块生产过程中CO_2排放量大,能源消耗严重,不能适应绿色低碳、可持续发展的需求。本课题针对生土材料亟待解决的重要问题,将活性MgO运用到生土砌块的生产中,提出一种负碳排放、早强、高性能的新型绿色建筑材料。主要研究内容及成果如下:(1)通过室内配
学位
荧光太阳能聚光器(LSC)是包含高发射荧光材料的阳光收集器,该荧光材料嵌入或涂覆在透明或半透明的光波导介质内,能够将大面积的太阳光聚集到其边缘。荧光材料从LSC表面吸收的光子以更长的波长重新发出,通过全内反射重新发射到边缘,被太阳能电池所收集从而将光能转换成电能。理想情况下,适用于高效LSC的荧光材料应具有吸收光谱宽,荧光量子产率高,自吸收小,不易荧光猝灭等特点。所以,探究具有大斯托克斯位移的荧光
学位
石漠化是西南地区最严重的生态地质环境问题,严重制约着该地区社会经济的发展。喀斯特地区石漠化综合治理的核心是生态恢复,土壤螨类对环境变化的敏感性使其可作为石漠化综合治理中生态修复的敏感性指示生物。为了解石漠化综合治理区玫瑰混农林模式下土壤螨类群落结构和生态环境状况,本研究于2019年7月、10月和2020年1月、7月对毕节撒拉溪石漠化综合治理示范区-龙场村潜在-轻度石漠化区的混农林业复合经营示范小区
学位
早在1994年世界银行就指出,“交通基础设施建设在决定贸易量增长方面起着关键性作用”。作为“最大发展中国家”和“全球第一大贸易国”,我国交通基础设施一直是促进国际贸易发展的重要手段。党的十九大报告中明确提出“建设交通强国,推进贸易强国建设”的目标。2019年《交通强国建设纲要》进一步了强调交通基础设施的重要性和“先行官”地位。交通基础设施建设如何有效促进国际贸易发展,是当下研究的热点问题。论文以我
学位
学位