形式化语言在UMTS开发中的应用

由于3G协议规范的复杂性，3GPP方法论指导方针中鼓励使用标准的形式化语言来进行UMTS产品的设计、开发与测试。文中概要性地描述了UMTS的体系结构和在规范描述中用到的一些形式化语言的基本概念和特点，探讨了这些形式化语言在UMTS开发中的应用。使用形式化语言开发UMTS可以简化和改进测试程序，实现新产品与新标准的同步推出。     

Symbolic control of visual attention: The role of working memory and attentional control settings.

This study examined how 1 symbol is selected to control the allocation of attention when several symbols appear in the visual field. In Experiments 1-3, the critical target feature was color, and it was found that uninformative central arrows that matched the color of the target were selected and produced unintentional shifts of attention (i.e., involuntary, initiated slowly, producing long-lasting facilitatory effects). Experiment 4 tested whether such selection is the result of an attentional filter or of a competition bias due to a match of incoming information against integrated object representations stored in working memory. Here, the critical feature was shape and color was irrelevant, but matching color arrows were still selected. Thus, features of objects in working memory will bias the selection of symbols in the visual field, and such selected symbols are capable of producing unintentional shifts of attention. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

Minimum-Energy Translational Trajectory Generation for Differential-Driven Wheeled Mobile Robots

Mobile robots can be used in many applications, such as exploration, search and rescue, reconnaissance, security, and cleaning. Mobile robots usually carry batteries as their energy source and their operational time is restricted by the finite energy available from the batteries. Therefore, energy constraints are critical to the service time of mobile robots. This paper investigates the minimum-energy control problem for translational trajectory generation, which minimizes the energy drawn from the batteries. Optimal control theory is used to find the optimal velocity trajectory in analytic form. To demonstrate energy efficiency obtainable, we performed simulations of minimum-energy velocity control and compared the results with loss-minimization control and energy-optimal trapezoidal velocity profiles. Simulation results showed that significant energy savings can be achieved, of up to 9% compared with loss-minimization control and up to 10% compared with energy-optimal trapezoidal velocity profile. We also performed an actual robot experiment using Pioneer 3-AT platform to show the validity of the proposed minimum-energy velocity control. The experimental results revealed that the proposed minimum-energy velocity control can save the battery energy up to 10% compared with loss-minimization control. Categories (3): Robot control, (5): RobotMotion Planning     

数字移动电视的现状与发展前景

随着数字电视的普及推广,数字移动电视应运而生,并得到迅速发展。数字移动电视通常安装在交通工具上,兼具移动性和数字化的特点。它突破了传统电视固定收视的局限,带来了电视传播的新概念。同时,数字移动电视根据自身传播特性,不断探索新的运营模式,并带来一系列的产业链效应,蕴含着无限商机     

与时俱进 加快发展高职教育 推动我国工业化快速发展

当前,我国正在实施工业化的发展战略,要加快工业化的发展,必须大力发展和加强高等职业教育。在高等职业教育发展上,要实现从注重量到既注重量更注重质的转变;在培养方式上,要实现从只重技能到既重视技能又重视可持续发展能力培养的转变;在培养目标上,要实现从培养学生能力到培养复合型人才的转变。     

计算机辅助维修性设计与分析中的版本管理

为了支持渐进的和探索武的维修性设计与分析过程，必须进行有效的版本管理。本文研究了维修性CAD框架中版本管理的设计方案以及实现过程。     

移动式数据挖掘平台模型

本文提出了一种移动式网络海量数据挖掘平台，给出了数据挖掘任务的形式化描述，详细讨论了平台的体系结构、工作原理与流程。该平台克服了传统网络计算模式的缺陷，支持对异质、分散数据源和知识源的挖掘和检索，具有开放性、可伸缩性、灵活性、可扩展性、健壮性。     

蜂窝移动通信系统核心网络的演进与全IP核心网络

分析了现有移动通信网络存在的问题，阐述了第2代移动通信核心网向第3代移动通信核心网演进的必然性：讨论了第2代移动通信核心网向第3代移动通信核心网演进所采用的演进策略，介绍了两种可供选择的全IP核心网络的参考结构。     

Integrated Personal Mobility Architecture: A Complete Personal Mobility Solution

The high expectations and demand for users to access the Internet from anywhere at anytime has made user mobility an important part of the design and development of the next generation mobile communications and computing. Traditionally user mobility has been divided into two areas: Terminal Mobility and Personal Mobility. In recent years terminal mobility has focused on the movement of the terminal and developed extensions to IP protocols such as Mobile IP. In contrast, personal mobility has only received limited attention, and is somewhat lagging behind. This research has either focussed on personal mobility in communications or personalisation of operating environments. As a result, to date no framework for providing true personal mobility has emerged. In this paper, we introduce a new personal mobility framework called IPMoA (Integrated Personal Mobility Architecture), which integrates both aspects of personal mobility to provide a complete personal mobility solution, and illustrate the viability of this approach through a proof-of-concept implementation.     

DVB数据广播中对象轮播技术的研究与实现

依据数字电视系统中数据广播规范对数字电视系统的增值业务——数据广播进行论述，着重对对象轮播的数据封装和传输规范进行分析，提出在终端设备上采取对象轮播技术实现数据广播业务的方法和思路，同时总结了对象轮播的特点及存在的问题。