报告包括电子商务方面的重要观点、政策与环境、网购平台、行业应用、电商物流、电商金融等研究。

报告包括电子商务方面的重要观点、政策与环境、网购平台、行业应用、电商物流、电商金融等研究。

Cooling solutions are used in data centers to remove heat generated by IT equipment. Many CRAC and CRAH units are operated in data centers, including air conditioners, chillers, cooling towers, economizers, humidifiers, and modern containment systems that offer rack cooling. These cooling units use air and liquid cooling techniques to operate. The cooling process accounts for 40 percent of the electricity consumed in a data center. To reduce the OPEX of a data center, several modern cooling techniques are being invented and tested by vendors. Many data centers in the US are expected to be renovated, alongside the construction of new facilities, thus increasing demand for effective cooling solutions for data centers in the near future. Modern data center infrastructures are developed as green solutions to monitor energy onsumption and minimize the effect on the environment.

Mobile games are played on mobile devices such as tablets and smartphones. These games are either played on the internet or after installation on mobile devices. Non-network mobile gaming applications can also be downloaded from application stores such as Google Play and App Store. The non-network mobile gaming application uses the mobile device platform to run the gaming software.

A BMS or building automation system is a computer-based control system deployed in large buildings for efficient energy management. It controls and manages building facilities such as lighting, electricity, fire precautions, safety, security, and HVAC. BMS solutions are installed in commercial buildings, IT parks, hotels, restaurants, manufacturing plants, retail outlets, and residential buildings for effective facility management. They enable easy automation and management of buildings for better cost savings and improved performance.

The Asia-Pacific mobile market remained the fastest growing globally over the last six months, with the number of connections more than double those of any other region.

航天嵌入式软件是航天型号任务成败的关键之一.航天嵌入式软件是一种周期性、多模式的软件.软件的每个模式表示系统处于一定的状态,并进行相应的复杂计算.因此,提出了一种名为SPARDL的形式化建模方法.为了满足型号应用的需求,对这一方法进行了若干改进.为了表达航天器的时序性质,提出了一种基于区间逻辑的性质规范语言.为了支持工业应用,还设计了代码生成方法.这一建模方法已在航天工业领域得到了应用.

状态事件故障树是一种适合于描述构件化嵌入式系统失效因果链的建模技术,其顶层事件描述失效发生的结果.对顶层事件发生的平均时间进行分析,是获得系统平均失效时间参数的一种有效方法,可为系统的安全性评估提供支持.由于状态事件故障树缺乏严格语义,使得必须先对其进行形式化描述才能进行定量分析.为此,提出了一种基于交互马尔可夫链的状态事件故障树时间特性分析方法.首先,精化交互马尔可夫链的交互动作,建立接口交互马尔可夫链模型,并基于该模型对状态事件故障树的构件和逻辑门进行形式语义描述;其次,通过并行组合构件与逻辑门的形式语义模型,得到整个状态事件故障树的形式语义模型,并在该过程中使用弱互模拟对状态空间进行约简;然后,基于状态事件故障树的形式语义给出顶层事件发生的平均时间计算方法;最后,给出飞机着陆雷达控制系统和喷淋防火系统的状态事件故障树时间特性分析的实例研究.为构件化系统失效时间特性的分析提供了一种新方法.

In this thesis, we propose a novel method for estimating various collision type probabilities locally at a given node of an 802.11 network. The key to our approach is a signal we call the busy-idle (BI) signal, which is a binary-valued record of the channel occupancy over time as observed locally by a given node. We show that if the access point(AP) periodically broadcasts its BI signal to associated nodes at an overhead of less than 2%, the nodes can use this information in conjunction with locally observable quantities to obtain partial spatial information about the network traffic. With this spatial information, nodes can estimate their probabilities of various types of loss and make adaptations to improve throughput and/or network utility.

We begin this thesis with the development of a system that is capable of categorizing objects and landmarks in an efficient and distributed manner.In the second part of the thesis we extend our distributed object categorization framework to address the problem of automatic human activity detection and categorization.In most realistic scenarios that require situation awareness, objects and people occur in cluttered scenes and exhibit immense variability in their appearance, shape and pose. In the final part of this thesis, we analyze the interplay between computer vision tasks such as segmentation and categorization and present joint frameworks that significantly improve the performance of each task.