重庆羊角滑坡群滑带土抗剪强度研究

羊角滑坡群是乌江白马航电枢纽坝前的一个巨型滑坡群,该滑坡群的稳定与否,对白马航电枢纽的安全运行至关重要.为能给该滑坡群的治理工程设计和稳定分析提供准确的强度参数,对该滑坡群中各滑坡的滑带土抗剪强度进行研究.采用滑带土室内试验、现场大剪试验、反演分析等方法,确定了羊角滑坡群各滑带土的抗剪强度参数,为工程设计提供了可靠的数...     

A content search system considering the activity and context of a mobile user

People routinely carry mobile devices in their daily lives and obtain a variety of information from the Internet in many different situations. In searching for information (content) with a mobile device, a user’s activity (e.g., moving or stationary) and context (e.g., commuting in the morning or going downtown in the evening) often change, and such changes can affect the user’s degree of concentration on his or her mobile device’s display and information needs. Therefore, a search system should provide the user with an amount of information suitable for the current activity and a type of information suitable for the current context. In this study, we present the design and implementation of a content search system that considers a mobile user’s activity and context, with the goal of reducing the user’s operation load for content search. The proposed system switches between two kinds of content search systems according to the user’s activity: the location-based content search system is activated when the user is stationary (e.g., standing and sitting), while a menu-based content search system is activated when the user is moving (e.g., walking). Both systems present information according to user context. The location-based system presents detailed information via menus and a map according to location-based categories. The menu-based system presents only a few options to enable users to get content easily. Through user experiments, we confirmed that participants could get desired information more easily with this system than with a commercial search system.     

Hunter:一种指令集体系结构无关的二进制级动态测试用例生成技术

动态测试用例生成技术是一类新兴的软件测试技术。由于使用该类技术无需任何人工干预,也无需验证人员具备任何专业知识,同时该类技术能够无误地发现程序错误,越来越多的研究者采用该技术查找预发布的二进制级软件错误。然而,已有的该类技术及其实现系统不具有可重定向性,只能处理面向某种特定指令集体系结构(ISA)的二进制代码,进行测试用例的生成与查错。本文提出了一种全新的指令集体系结构无关的二进制级动态测试用例生成技术,以及实现该技术的系统Hunter。与已有的动态测试用例生成技术不同,Hunter具有极强的可重定向性,可对任何指令集体系结构的二进制代码进行查错,定向地为其生成指向不同执行路径的测试用例。Hunter定义了一套元指令集体系结构(MetaISA),将在二进制代码执行过程中收集到的所有执行信息映射为MetaISA,并对生成的MetaISA序列进行符号化执行、约束收集、约束求解以及测试用例生成,从而使整个过程与ISA无关。我们实现了Hunter,将其重定向至32位x86、PowerPC和Sparc ISA,并使用该系统为6个含有已知错误的测试程序查错。实验结果表明,由于MetaISA的引入,只需很小的开销,Hunter系统即可容易且有效地重定向至不同的ISA,并且Hunter能够有效地发现面向32位x86、PowerPC和Sparc ISA编写的二进制应用中隐藏极深的错误。     

雷达对可探测空间目标的快速筛选方法

研究提高雷达探测效率问题,空间目标的轨道参数满足一定条件时则永远不能进入雷达的探测空域,可以定为被筛选掉,并可以提高雷达探测效率.为了解决快速筛选,首先明确雷达的距离与能探测目标高度之间的关系,并且给出了星下点轨迹的计算方法,根据雷达与空间目标的相对几何关系,并引入“轨道天球”的新概念,从静态和动态两个方面深入分析了雷达对空间目标的筛选原理和过程,准确推导了雷达对可探测目标的快速筛选方法,最后根据2009年2月公布的空间目标数据进行试验,并将结果与卫星工具包可见性分析结果进行比对,结果表明,算法可以比较有效地将不进入雷达可探测范围的空间目标筛选掉,从而验证了方法的有效性.     

一个基于RTP/RTCP的手机报警系统

在研究RTP/RTCP协议特点与功能的基础上,讨论了基于RTP/RTCP协议实时视频传输的控制方法。通过此控制方法可以有效地提高RTP流的平稳性,减小抖动,增加网络带宽的利用率,流畅地传输多媒体数据。利用GPS、RTP/RTCP等协议实现了手机报警系统。     

大规模宽带接入及流量调度器的研究与实现

基于固定多出口链路网络,优化核心级数据处理方法,提出一种宽带网络接入及流量管理调度器系统架构模型,并设计了用户控制管理功能和客户端链路流量整形方法。实验表明,模型适用于多链路各种负载下的流量优化,有效解决了宽带网络的大量用户接入及负载均衡问题。     

多逻辑链路环境下带反馈信息的共享令牌流量调度算法

流量调度的目标是提高网络资源的利用率,改善网络应用的性能,目前,国内外已经有大量的流量调度算法研究工作,但是这些算法不能很好地适应宽带接入中多逻辑链路的动态性、实时性、分布性等特点。针对多逻辑链路环境下流量调度机制存在的问题,分析了链路间流量调度特点,设计一种共享令牌缓冲池流量调度模型,提出一种基于反馈信息的共享令牌流量调度算法,该算法根据令牌缓;中池中可用令牌的资源信息对多逻辑链路流量进行反馈调度。实验结果表明,该算法可以有效地减少链路访问延时,而且链路流量的平滑性、吞吐率等都比其他传统调度算法要好。     

Auto-tuning strategy for evolutionary algorithms: balancing between exploration and exploitation

Genetic Algorithms (GAs) and other Evolutionary Algorithms (EAs), as powerful and broadly applicable stochastic search and optimization techniques have been successfully applied in the area of management science, operations research and industrial engineering. In the past few years, researchers gave lots of great idea for improvement of evolutionary algorithms, which include population initialization, individual selection, evolution, parameter setting, hybrid approach with conventional heuristics etc. However, though lots of different versions of evolutionary computations have been created, all of them have turned most of its attention to the development of search abilities of approaches. In this paper, for improving the search ability, we focus on how to take a balance between exploration and exploitation of the search space. It is also very difficult to solve problem, because the balance between exploration and exploitation is depending on the characteristic of different problems. The balance also should be changed dynamically depend on the status of evolution process. Purpose of this paper is the design of an effective approach which it can correspond to most optimization problems. In this paper, we propose an auto-tuning strategy by using fuzzy logic control. The main idea is adaptively regulation for taking the balance among the stochastic search and local search probabilities based on the change of the average fitness of parents and offspring which is occurred at each generation. In addition, numerical analyses of different type optimization problems show that the proposed approach has higher search capability that improve quality of solution and enhanced rate of convergence.     

StreamJacobi： Efficient implementation of 2-D Jacobi on a stream processor

Stream processors, with the stream programming model, have demonstrated significant performance advantages in the domains signal processing, multimedia and graphics applications. In this paper we examine the applicability of a stream processor to 2-D Jacobi iteration which is widely used to solve partial differential equations, an important class of scientific programs. We first map 2-D Jacobi iteration in FORTRAN version to the stream processor in a straightforward way. In a stream processor system, the management of system resources is the programmers＇ responsibility. We then present several optimizations, which avail the stream program for 2-D Jacobi iteration, called StreamJacobi, of various aspects of the stream processor architecture. Finally, we analyze the performance of StreamJacobi, with different scales, and the presented optimizations. The final stream program StreamJacobi is from 2.31 to 6.42 times faster than the corresponding FORTRAN programs on a Xeon 5100 processor, with the optimizations playing an important role in realizing the performance improvement.     

Graphene Caging Silicon Particles for High‐Performance Lithium‐Ion Batteries

Silicon holds great promise as an anode material for lithium‐ion batteries with higher energy density; its implication, however, is limited by rapid capacity fading. A catalytic growth of graphene cages on composite particles of magnesium oxide and silicon, which are made by magnesiothermic reduction reaction of silica particles, is reported herein. Catalyzed by the magnesium oxide, graphene cages can be conformally grown onto the composite particles, leading to the formation of hollow graphene‐encapsulated Si particles. Such materials exhibit excellent lithium storage properties in terms of high specific capacity, remarkable rate capability (890 mAh g^?1 at 5 A g^?1), and good cycling retention over 200 cycles with consistently high coulombic efficiency at a current density of 1 A g^?1. A full battery test using LiCoO₂ as the cathode demonstrates a high energy density of 329 Wh kg^?1.