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

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

静电场中电场强度计算的探讨

静电场是电磁学中非常重要的一章，而电场强度是描述静电场性质的两个基本物理量之一。电场强度的计算是本章的重点和难点。文章将讨论静电场中有关电场强度计算的三种常用方法、步骤及相比之下各自的优点与不足。     

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

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

基于JSP的校友档案系统流程分析与设计

校友档案系统是以JSP为开发平台,以中文Access 2000做后台数据库,基于信息交流需求而设计开发出的在线服务系统,主要功能模块包括用户注册、用户登录、信息的发布以及查找校友.系统界面友好,使用方便为校友间的信息交流和知识的传播提供了很大的方便.主要描述了校友档案系统系统的设计方法和实现过程,阐述了系统的需求分析、概要设计、数据库设计以及实现步骤,重点论述了系统的详细设计和实现过程方面.     

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

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

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

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

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

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

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

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

高校教学管理创新是时代的要求

高校作为人类知识的高级传播机构，只有在教学管理、教学模式、教学手段等方面进行创新，才能真正培养出具有创新精神的人才。     

浅析“九·一八”事变后新桂系的危机意识

“九·一八”事变后 ,面对日本的咄咄进逼 ,新桂系深为国家的前途而担忧 ,萌发了强烈的民族危机意识 ,发出了抗日的号召 ,产生了难能可贵的作用