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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

高校针对江苏考生录取排序原则的研究

2008年江苏高考方案实施至今,虽然经历了微调,但是高校录取考生的三种主要方法并没有大的变化。纵观近年来在江苏省招生的高校,采用先分数后等级方法的占了大多数,而采用等级级差法的高校逐年增多。而究竟哪种方法好,哪种方法更适合高校挑选人才,录取优秀生源,业内并没有非常一致的意见,笔者带着这样的问题,对所在高校2008年和2009年录取的考生在其三年级下学期的成绩状况进行了调查研究,对比这两个年级学生录取时的高考成绩情况与三年半后的学习成绩情况,希望找出不同选测科目等级的考生的发展状况的差异,以期找出针对江苏考生的更合理,更合适的录取排序方法。