装饰图案在上海世博会展馆外墙中的应用

装饰图案以多种形式,广泛的应用于上海世博会展馆外墙。新材料、新工艺、新技术促进装饰图案以更加新颖的形式出现。未来装饰图案应用呈现多元化趋势。     

一种自动监测系统异构性解决方案

文章对空气质量自动监测系统的异构性问题进行了分析与研究,提出了＂抽象设备、映射数据、虚拟协议＂的解决方案,将物理设备屏蔽在驱动一级,将抽象设备屏蔽在转换程序一级,将数据按空气质量因子分类型打包传送到组态王对应的寄存器组,实现了不同数据接口、不同数据类型以及不同传送协议下的企业信息自动化。     

智能剪刀在进入式漫游中的应用

在图像分割中,＂智能剪刀＂（Intelligent scissors）是一种非常有用的交互方法,在这种方法中,通过交互地应用动态规划中图搜索算法,用户可以精确地得到图像中感兴趣的区域,在文章中,将＂智能剪刀＂应用于进入式漫游（TIP）中。用户用＂智能剪刀＂从图像中得到的前景信息可以方便的确定前景在TIP漫游场景中的位置。从而使以前用Photoshop操作并需要人工确定前景位置操作简单化。     

一种结合DWT和FARIMA的网络拥塞控制机制

针对自相似流量具有的长相关和突发性特征,结合离散小波变换(DWT)和时间序列分析中的FARIMA过程,提出构建一种混合的网络流量预测模型来对网络行为的发展趋势进行分析和预测,并以预测结果辅助AQM的REM显式拥塞标记,从而提高流量控制的动态性以实现对传统网络协议策略的优化.实验表明该方案可有效改善协议性能,具有良好的稳定性和低丢失率特征.     

Design guidelines for Classroom Multiplayer Presential Games (CMPG)

In a Classroom Multiplayer Presential Game (CMPG) peers interact collaboratively with the virtual world and amongst themselves in a shared space. The design of this kind of game, however, is a complex process that must consider instruction strategies, methodology, usability and ludic aspects. This article’s aim is to develop and systematize guidelines for the design of CMPGs. To develop these guidelines we used a three-step process: evaluating an initial implementation of a CMPG and finding its problems; defining guidelines that can help overcome these problems; and redesigning the game based on the guidelines before testing it in a real class scenario to assess how helpful the guidelines were in solving the initial problems.     

The efficiency of identifying timed automata and the power of clocks

We develop theory on the efficiency of identifying (learning) timed automata. In particular, we show that: (i) deterministic timed automata cannot be identified efficiently in the limit from labeled data and (ii) that one-clock deterministic timed automata can be identified efficiently in the limit from labeled data. We prove these results based on the distinguishability of these classes of timed automata. More specifically, we prove that the languages of deterministic timed automata cannot, and that one-clock deterministic timed automata can be distinguished from each other using strings in length bounded by a polynomial. In addition, we provide an algorithm that identifies one-clock deterministic timed automata efficiently from labeled data.Our results have interesting consequences for the power of clocks that are interesting also out of the scope of the identification problem.     

Global existence and nonexistence for degenerate parabolic equations with nonlinear boundary flux

In this paper, by constructing various kinds of sub- and super-solutions and using the basic properties of M-matrix, we give the necessary and sufficient conditions of global existence for nonnegative solutions to a degenerate parabolic system with completely coupled boundary conditions, which generalize the recent results of, for instance, Cui [Z. Cui, Critical curves of the non-Newtonian polytropic filtration equations coupled with nonlinear boundary conditions, Nonlinear Anal. 68 (2008) 3201–3208], Zhou–Mu [J. Zhou, C. Mu, Algebraic criteria for global existence or blow-up for a boundary coupled system of nonlinear diffusion equations, Appl. Anal. 86 (2007) 1185–1197] etc.     

On global solutions to fractional functional differential equations with infinite delay in Fréchet spaces

In this paper, we investigate global uniqueness results for fractional functional differential equations with infinite delay in Fréchet spaces. We shall rely on a nonlinear alternative of Leray-Schauder type in Fréchet spaces due to Frigon and Granas. The results are obtained by using the α-resolvent family (S_α(t))_t≥0 on a complex Banach space X combined with the above-mentioned fixed point theorem. As an application, a controllability result with one parameter is also provided to illustrate the theory.     

Multilevel augmentation algorithms based on fast collocation methods for solving ill-posed integral equations

This paper continues the theme of the recent work Chen et al. (2008) [18], in which fast collocation methods are introduced for solving ill-posed Fredholm integral equations of the first kind. We develop in this paper multilevel augmentation algorithms, which lead to fast solutions of the discrete equations resulting from fast collocation methods. Regularization parameter choice strategies are given for proposed methods. The theoretical analysis and numerical experiments illustrate the accuracy and efficiency of the algorithm.