一种 Hoare 逻辑软件复用部件的匹配描述

提出了一种基于Ｈｏａｒｅ逻辑的软件复用部件的匹配描述，它为建立复用部件库的检索机制以及软件的自动化生产提供了理论描述．     

集值优化问题强有效元的二阶最优性条件

在实赋范线性空间中考虑集值优化问题的强有效性, 借助集值映射的二阶切导数, 利用基泛函及强有效元的性质, 给出了目标函数为近似锥次类凸时无约束集值优化问题的二阶导数型最优性的必要条件, 并在锥 凸假设下给出了充分条件.     

集值优化问题ε-强有效元的Lagrange型最优性条件

利用近似锥-次类凸集值映射的性质证明了当序偶集值映射是近似锥-次类凸时,对应的Lagrange函数也是近似锥-次类凸的.利用此结果得到集值优化问题取得ε-强有效元的Lagrange型必要条件,利用ε-强有效元的性质得到Lagrange型充分条件.     

相关器及其性能测试分析

相关器是微弱信号检测仪器锁定放大器的核心部件,锁定放大器之所以有很强的抑噪能力,主要是靠相关器的消除噪声和排除干扰的优越性能。通过实验对一种相关器的性能进行了测试和分析,结果表明：该相关器具有较强的抑制噪声的能力。它能有效地将淹没在噪声中的微弱信号检测出来。     

基于超额剩余价值理论视角看我国产业转移

企业对超额剩余价值的追逐必然导致利润率的下降,引起资本转移,最终引发产业转移。产业转移可以区分为产业空间转移、产业层级转移、产业链条转移三大类,每一类别的产业转移均存在一定的困难与挑战,本文将对产业转移的三大类型逐一进行比较研究和分析。     

陡峻山区输电铁塔结构风荷载分布特性分析

风害是导致陡峻山区输电杆塔损伤的重要因素,分析陡峻山区输电铁塔结构风荷载分布特性,为研究陡峻山区输电杆塔故障机理提供精准数据支持.以山区酒杯型输电杆塔为研究目标,依据其几何参数与物理参数,使用参数化设计语言APDL编写输电杆塔特征参数模板后,利用有限元软件Ansys构建输电杆塔参数化模型.在输电杆塔有限元模型内,模拟不同风荷载情况并使用数学计算方式计算山区输电杆塔受风压情况,得到铁塔结构风荷载分布特性.实验结果表明：山区输电杆塔最大正应力和负应力为轴对称关系;不考虑输电杆塔自身重量情况下,测试点与地面距离越近,其受风力荷载时的位移数值越小,对称测试点间的轴应力数值越小;输电杆塔测试点位置越靠近地面,其纵向荷载数值越高,受风速和风向角影响越小.     

高新技术开发区创新发展文献综述

通过对高新区创新发展的相关文献进行整理和分析,梳理了高新区创新发展中存在的问题,探讨了推进高新技术产业化的途径,为高新区创新发展实践提供参考。     

五叉环形交叉口信号协调控制模型

对五叉环形交叉口的信号控制方法进行了研究。给出了基于环道容量约束的信号控制参数优化的模型。模型着重考虑了两个因素：环道容量约束，进口道灯、环道灯相互之间的绿信号协调、红信号协调。利用本文提出的控制模型设计了一个实例的信号控制方案，并通过VISSIM仿真评价了该信号控制方案。验证了本文提出的控制方法的有效性。     

资源型城市走生态文明之路的路径选择——以安徽省铜陵市为例

本文以资源型城市铜陵为例,提出了走加强宣传教育、确立生态文明观、建立生态产业体系、发展循环经济和完善法律法规的生态文明之路.     

以苏南为例谈发达地区农业的空间经济转换机制与调控

以苏南为分析单元，探讨在工业化、城市化的大背景下，发达地区在多元化的农村剧变中，由于城乡相互作用及区际分工格局的变动导致的农业空间经济转换的过程及其动力机制，并提出调控的方向．