摘要：数字化校园是以校园网络为基础,运用高科技信息技术来完成环境、资源、到活动的全部数字化管理,并以原校园为依托构建一个数字空间,以达到校园的时间和空间维度。该文主要对用Portlet技术实现数字化校园信息门户设计进行了研究探讨。

摘要：文章探讨面向XML规范的复杂数字逻辑建模与验证工具XModel的设计,XModel系统工具使用XML建模,可进行有效性验证,仿真验证通过后,可进行基于成熟第3方EDA工具的进一步时序验证、综合验证及FPGA验证。

摘要：基于集群技术构建的数据库集群服务器的研究是一个新热点,有许多不同的构造方法。文中在介绍了数据集群服务器概念和基本构造方法的基础上,设计了一种可以提供通用编程接口的体系结构,并分析了其工作原理和实现技术,同时也探讨了需要解决的数据存储、数据运算和事务处理问题。

摘要：介绍了文件审批系统的设计要求和目的,并在Visual ***开发平台下,搭建了由Web客户端、Web服务器和SQL Server数据库服务器组成的3层架构,阐述了系统模型和主要模块的功能。实际应用表明,利用文件审批系统能够实现审批流程的个性化定制和审批权限的合理化管理,可以为企事业单位提供界面友好的文件审批管理服务。

摘要：根据仓库管理方面的实际需求,设计具有符合仓库管理和采购统计需要的用户界面,使用数据采集终端对现场入库物品上的二维QR码做采集工作,并通过3G网络向公司中央服务器传送实时数据,及时做到对物品的归类、出入库统计、以及补货等工作,增加仓库的效率、管理透明度、真实度,降低成本。

摘要：针对传统的物联网中协议转换网关仅考虑协议数据间的转换,当物联子网中的节点网络环境发生变化时难以有效地实现数据通路等问题,提出一种在通信辅助网关协助下的物联网通信体系结构:以IPv6网关组成骨干网络,以通信辅助网关实现区域网络与IPv6网络协议互转和通信,区域网络内部使用ZigBee、Bluetooth等协议短距传输。最后,对协议报文格式进行了简化设计,通过Ptolemy II建模环境搭建通信模型,仿真结果表明:利用通信辅助网关的协助,本文方案在存在丢包情况下,依然可以通过重发实现网络数据传输,确保IPv6网络与物联子网的互联互通。

摘要：数据库集群服务器系统有许多不同的构造方法,文中在介绍了数据集群服务器概念和基本构造方法的基础之上,设计了一种可以提供通用编程接口的体系结构,并分析了其工作原理和实现技术,同时探讨了需要解决的数据存储、数据运算和事务管理问题。