北京历史文化保护区的旅游利用

北京历史文化保护区旅游利用的意义 从1999年首都规划委员会通过的第一批旧城25片历史文化保护区到2002年通过的第二批旧城5片和郊区10片历史文化保护区,北京历史文化保护区总数已达40片.     

Web服务组合形式理论分析与研究

形式化方法对于建模和验证软件系统是一种有效的方法。对于Web服务及其组合来说，保证其组合正确性以实现其服务增值十分必要。分析Web服务的综合特征，总结Web服务组合的典型特征，重点介绍有代表性的Web服务组合形式模型和方法，包括OWL（DAML—S）、进程代数类的CSP和π-演算、自动机理论的米兰机以及Petri网。通过综合比较与分析，对各个模型和方法给出一定评价，为系统地建立Web服务组合形式理论打下基础。     

远程网络实验系统的设计与实现

介绍一种基于B/S及C/S架构的路由器和交换机等网络设备的远程实验系统的设计与实现方法。该系统可以使学生在网络环境中远程预约,进行网络实验,教师可以远程设置、控制实验,与学生在线交流。