面向智能小区的远程健康监护系统的模式与功能

智能化住宅小区是住宅发展的必然趋势,远程健康监护则是家庭自动化的重要内容之一。本文阐述了建立面向智能小区的远程健康监护系统的结构模式,并讨论了其主要功能。     

基于“合同模块数据库”的电子商务系统设计

文章阐述了在线生成合同,实现网上实时谈判的电子商务软件设计。在设计中用“合同范式数据库”和“合同条款模块数据库”实现了这一功能。     

ATM与千兆以太网——谈校园网建设与网络选型

校园网是学校信息化建设的重点,在校园网的建设中,选择的主干网络技术将直接关系到校园网的先进程度及对各种网络多媒体应用的支持程序。本文根据网络发展趋势,对ATM技术与近年来发展起来的千兆以太网交换技术进行了分析对比,指出了网络升级时需注意的问题。     

原型法在计算机文化普及教育中应用的构想

随着计算机文化的普及,传统的计算机教学模式已逐渐不适应计算机现代教育了。本文在分析了文科类高校传统教学模式弊端的基础上,提出了软件开发方法中的原型法在计算机文化教育中应用的构想,并探讨了该模式下教材的特点,最后分析了该模式的优点。     

信息技术教师的说课

"说课"是教学改革中涌现出来的新生事物,是进行教学研究、教学交流和教学探讨的一种新的教学研究形式,也是集体备课的进一步发展,它有利于提高教师理论素养和驾驭教材的能力,也有利于提高教师的语言表达能力,因而受到广大教师的重视,登上了教育研究的大雅之堂。信息技术是现代化社会的重要技术之一,中小学信息技术是信息技术教育的一个重要组成部分。如何上好信息技术课已经成为教育科研所关注的一个热点,而说好课是上好课的关键组成部分。     

计算机科学与技术产学研结合应用型本科人才培养模式的探索与实践

面对计算机及信息技术的飞速发展,如何转变传统的教育模式和教学方法,以适应社会不断增长的需求,是应用型本科高校普遍关心的问题。本文从产学研结合的动因、产学研结合人才培养模式、产学研合作的具体形式等方面进行了探索和实践,取得了较好的效果。     

基于B/S模式和J2EE架构的工商网站研究与设计

本文介绍了B/S结构的设计与实现以及J2EE架构的体系结构和优势,并结合实际经验,设计开发了基于B/S模式和J2EE架构的工商网站,降低了办公成本,提高了工作效率。     

Safe design of high-performance embedded systems in an MDE framework

In this paper, we use the UML MARTE profile to model high-performance embedded systems (HPES) in the GASPARD2 framework. We address the design correctness issue on the UML model by using the formal validation tools associated with synchronous languages, i.e., the SIGALI model checker, etc. This modeling and validation approach benefits from the advantages of UML as a standard, and from the number of validation tools built around synchronous languages. In our context, model transformations act as a bridge between UML and the chosen validation technologies. They are implemented according to a model-driven engineering approach. The modeling and validation are illustrated using the multimedia functionality of a new-generation cellular phone.     

3D Video Billboard Clouds

3D video billboard clouds reconstruct and represent a dynamic three-dimensional scene using displacement-mapped billboards. They consist of geometric proxy planes augmented with detailed displacement maps and combine the generality of geometry-based 3D video with the regularization properties of image-based 3D video. 3D video billboards are an image-based representation placed in the disparity space of the acquisition cameras and thus provide a regular sampling of the scene with a uniform error model. We propose a general geometry filtering framework which generates time-coherent models and removes reconstruction and quantization noise as well as calibration errors. This replaces the complex and time-consuming sub-pixel matching process in stereo reconstruction with a bilateral filter. Rendering is performed using a GPU-accelerated algorithm which generates consistent view-dependent geometry and textures for each individual frame. In addition, we present a semi-automatic approach for modeling dynamic three-dimensional scenes with a set of multiple 3D video billboards clouds.     

Motion mapping and mode decision for MPEG-2 to H.264/AVC transcoding

This paper describes novel transcoding techniques aimed for low-complexity MPEG-2 to H.264/AVC transcoding. An important application for this type of conversion is efficient storage of broadcast video in consumer devices. The architecture for such a system is presented, which includes novel motion mapping and mode decision algorithms. For the motion mapping, two algorithms are presented. Both efficiently map incoming MPEG-2 motion vectors to outgoing H.264/AVC motion vectors regardless of the block sizes that the motion vectors correspond to. In addition, the algorithm maps motion vectors to different reference pictures, which is useful for picture type conversion and prediction from multiple reference pictures. We also propose an efficient rate-distortion optimised macroblock coding mode decision algorithm, which first evaluates candidate modes based on a simple cost function so that a reduced set of candidate modes is formed, then based on this reduced set, we evaluate the more complex Lagrangian cost calculation to determine the coding mode. Extensive simulation results show that our proposed transcoder incorporating the proposed algorithms achieves very good rate-distortion performance with low complexity. Compared with the cascaded decoder-encoder solution, the coding efficiency is maintained while the complexity is significantly reduced.