摘要：由于缺乏形式语义,很难利用计算机在功能空间中进行有效的推理,以辅助设计人员进行功能分析和产品设计。为了解决传统功能模型存在的缺点,将基于描述逻辑的形式语义及其推理模型引入产品功能建模。从系统的观点出发,在功能基模型的基础上,定义了描述功能行为和流的原子概念,建立了基于本体的产品功能描述模型。举例说明了使用描述逻辑语言对产品功能进行形式化建模的方法。该形式化建模方法可使人和计算机共同理解各项功能的含义,并利用计算机在功能空间中进行推理,辅助设计人员进行功能分析和产品设计。

摘要：本文通过对现有高校实验室管理的现状进行分析,针对存在的问题,给出了开放式实验室管理系统的设计及实现方法。该系统从不同用户的需求出发,为其提供不同权限的服务功能。包括学生在线查询、预约实验资源;教师在线发布实验任务及跟踪实验进度;实验室管理员对各项软硬件资源的管理;各级院系领导查看阶段性报表、设备资源利用率等功能。该系统的实现及应用,不仅可以提高实验室设备的使用率及开放程度,又可以提高管理效率及投资效益。

摘要：针对当前交通流量分析技术的新发展趋势,结合web GIS系统的技术特点,从理论和工程实践的角度出发,设计并实现了基于Web GIS技术的交通流量分析系统。该系统的主要功能模块包括数据接收及管理、地图数据处理及分析、地图及数据的发布。该系统的实现及应用不仅可以对交通数据进行直观、生动的显示,还可以提供最新的查询和分析,进而为交通流量分析提供决策和支持。