东北地区水土流失修复对策

1 东北地区生态环境状况 (1)生态环境压力大.在市场经济条件下,受粮价波动、企业效益及员工生存、资源枯竭转型、扩大生产规模等实际需求,这一地区的自然资源在不断被开发,措施不当或没有措施情况下,土地生态系统长期存在的良性循环格式在逐步被打破,相当一部分土地承载能力和环境容量呈下降趋势.大部分土地承包者以及小型工矿企业在主观上意识不强,在客观上由于其技术和经济能力做到对资源合理开发与保护兼顾存在着实际困难,现阶段不可避免地存在着利益与责任脱节现象,所造成的环境问题修复治理难度较大.     

南海国际内衣城

南海国际内衣城位于南海盐布——我国最大的内衣时装生产基地，紧靠着商业名城广州。在广州经济热力的辐射下，南海市的商业正以惊人的速度发展着。作为新兴的事物，     

VCSEL的偏振特性随注入电流变化的实验研究

注入电流是影响VCSEL偏振特性的重要因素。谊论文通过实验，测量了VCSEL的出射光偏振特性随着注入电流的变化。观察到了两次偏振转换的过程，即随着注入电流的升高出射偏振光由椭圆偏振光——圆偏振光——椭圆偏振光——圆偏振光——椭圆偏振光的过程，并且在变化的过程中电流的变化范围很小。     

基于BP神经网络的心电图ST段的模式识别

心电图ST段对心脏疾病的诊断具有重要意义.在正确读取采集于郑州大学一附院的运动心电图数据基础上,利用小波变换更准确地确定其ST段的起始和终止位置,初步探讨了BP神经网络用于心电图ST段识别的方法,并用此方法识别出心电图ST段的三种类型-正常、水平压低和抬高.实验结果较好.     

桌面式天线虚拟实验系统

将天线数值仿真技术与虚拟现实技术结合,构建一个桌面式天线虚拟实验系统,可以解决天线实验课开设成本高、场地受限等问题.     

基于电子鼻的香蕉储存时间鉴别方法研究

研究了一种基于电子鼻系统的香蕉储存时间鉴别方法。实验检测了不同储存时间的香蕉样品,主成分分析方法可以较好地区分不同储存时间的香蕉样品,同时检验了样品的微生物指标以探讨电子鼻响应与微生物指标之间的关系。随机共振信噪比谱不但可以区分香蕉样品,同时基于信噪比特征值建立的香蕉储存时间鉴别模型具有较高的预测准确率。该方法具有较好的实际应用价值。     

邕宁闸坝混凝土施工温控方案研究

为了探究邕宁闸坝混凝土施工温控方案,以该工程12^#溢流闸坝为研究对象,建立三维有限元模型进行仿真计算,分析混凝土在3种施工方案下的温度场和温度应力。研究表明：低温季节采用方案1进行施工时,施工过程中温度场与温度应力均满足规范要求;高温季节采用方案2进行施工时,施工过程中最高温度与最大温度应力值均不满足规范要求;高温季节采用方案3进行施工时,施工过程中最高温度与最大应力值均满足规范要求。建议低温季节浇筑时采用自然入仓的浇筑方式;高温季节浇筑时,应控制底板混凝土浇筑温度不超过14 ℃,闸墩混凝土浇筑温度不超过16 ℃,同时采取通水冷却措施。计算结果可为邕宁闸坝及类似工程施工方案设计提供参考。     

Modal logic as metalogic

The goal of this paper is to show how modal logic may be conceived as recording the derived rules of a logical system in the system itself. This conception of modal logic was propounded by Dana Scott in the early seventies. Here, similar ideas are pursued in a context less classical than Scott's.First a family of propositional logical systems is considered, which is obtained by gradually adding structural rules to a variant of the nonassociative Lambek calculus. In this family one finds systems that correspond to the associative Lambek calculus, linear logic, relevant logics, BCK logic and intuitionistic logic. Above these basic systems, sequent systems parallel to the basic systems are constructed, which formalize various notions of derived rules for the basic systems. The deduction theorem is provable for the basic systems if, and only if, they are at least as strong as systems corresponding to linear logic, or BCK logic, depending on the language, and their deductive metalogic is not stronger than they are.However, though we do not always have the deduction theorem, we may always obtain a modal analogue of the deduction theorem for conservative modal extensions of the basic systems. Modal postulates which are necessary and sufficient for that are postulates of S4 plus modal postulates which mimic structural rules. For example, the modal postulates which Girard has recently considered in linear logic are necessary and sufficient for the modal analogue of the deduction theorem.All this may lead towards results about functional completeness in categories. When functional completeness, which is analogous to the deduction theorem, fails, we may perhaps envisage a modal analogue of functional completeness in a modal category, of which our original category is a full subcategory.     

12kV固体绝缘环网柜开关模块局部放电问题分析

固体绝缘环网柜的结构直接影响其开关模块施加电压后的电场分布,进而放电量在局部放电试验中得以体现.本文以12kV固体绝缘环网柜开关模块为研究对象,仿真分析了开关模块底部支撑钣金件结构在优化前后的电场强度变化,并通过其局部放电波谱图进行验证.试验结果表明,固体绝缘环网柜开关模块底部支撑钣金件结构对其局部放电影响显著,通过裁除开关模块出线侧支撑钣金件的部分实体,加大了开关模块出线位置与支撑钣金件边缘间的距离,可以改善开关模块及整柜的电场分布,进而降低固体绝缘环网柜的局部放电量.本文所提出的降低局部放电量方法,为提升固体绝缘环网柜的绝缘水平和使用寿命提供了思路和解决方案.