城市立体化--城市模式发展的一种新趋向解析

集约型三维立体化城市模式是化解城市生存空间短缺、城市要素立体化与城市基面平面化矛盾等问题的有效途径之一.城市立体化主要是指城市基面的立体化.城市综合效益优先的原则、城市要素开放的原则、城市要素整合的原则、城市环境宜人的原则是立体城市设计实施当中所应遵循的基本原则,也是立体城市机制能够发挥效能的保障.城市地域功能系统整合型、城市历史与环境保护型、城市综合体利用型、城市形态景观环境利用型是城市立体化功能目标的几种主要类型.城市的立体化是城市模式发展的重要趋向之一,立体思维方式将逐渐渗入城市设计的理论体系之中.     

虚拟参考咨询服务技术探讨

介绍了虚拟参考咨询服务的概念、特点、与传统参考咨询的异同以及主要实现技术，并且提出了虚拟参考咨询服务的发展趋势。     

高校个性化体育教育与学生创新能力的培养

个性化教育是指尊重学生个体的差异性、独特性、自主习惯性和创造性，对学生的志趣、才能、资质特长和爱好加以引导，促使其和谐、完美发展的教育．体育教育个性化是2l世纪高校教育发展的要求，是体育教育本身发展与改革的要求，也是当前创新教育的要求．本提出高校个性化体育教育的概念并探索了学生创新能力培养的实施途径．     

数据仓库技术在石化行业中的应用

随着企业从目前的粗放式经营向集约化经营转变,应运而生了数据仓库技术。本文以石化企业数据仓库技术的实施过程为例,介绍了数据仓库、联机分析处理(OLAP)、数据挖掘(DW)的概念和技术,阐述了该技术在石化行业实施过程中的应用平台、业务分析、实现功能等。     

超混沌加密算法设计及软件实现

设计了基于超混沌的加密算法。开发的加密程序可用于任何类型文件,包括多媒体文件的加密和解密。运行结果和安全性分析说明了算法是有效的、安全的,解密能精确恢复,处理速度满足要求。     

一种面向对象的形式化规范说明技术

介绍了一种新的面向对象的形式化规范说明技术ＶＤＭ＋＋，它是ＶＤＭ的一种扩充．并且通过一个实例说明如何应用ＶＤＭ＋＋技术对面向对象系统进行形式化规范说明．     

基于通信顺序进程的计算机网络通信协议形式化描述

描述和设计计算机网络通信协议时，使用抽象的同步通信机制最为方便。但在实际中，使用异步通信机制将不可避免。基于霍尔的“通信顺序进程”和其他对通信协议描述与设计的理论研究结果，本文提出一个形式化方法，这个方法在不论使用何种实现通信机制的情况下都将保证通信协议的正确性     

用户界面模型与形式规格说明研究

在讨论人机交互方式和界面控制与通信的基础上，描述用户界面抽象模型及形式规格说明方法和技术方面的研究和进展。主要强调图形用户界面的模型和描述问题。     

基于抽象实现结构图的数据流方程切片方法

提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化.     

《学生体质健康标准》在高等师范院校实施的研究

根据教育部、国家体育总局印发的《学生体质健康木呆准》，按照闽教体[2003]1号文件的要求，结合我们的实际情况制定实施方案，通过采用测试仪器和选择测试项目进行测试与统计的基础上，对评分标准、测试项目替代、测试仪器及软件系统的使用等方面进行分析探讨，并提出建议．