“校园卫士”平台的实现及应用

"校园卫士"平台对学生、家长及老师提供个性化的信息服务,使受益方达到最大程度的沟通。本文主要对"校园卫士"平台进行系统介绍,并对其功能及应用方式作出探讨。     

Improved delay‐dependent absolute stability and robust stability for a class of nonlinear systems with a time‐varying delay

This paper investigates the problem of the absolute stability of Lur'e systems with a time‐varying delay. By considering the relationships among the time‐varying delay, its upper bound, and the difference between them, less conservative delay‐dependent stability criteria are obtained and formulated in terms of linear matrix inequalities, without ignoring any useful terms in the derivative of a Lyapunov–Krasovskii functional. Numerical example shows that the results obtained in this paper are better than the previous results. Copyright © 2009 John Wiley & Sons, Ltd.     

An implicit skeleton-based method for the geometry reconstruction of vasculatures

Due to the high complexity of vascular system network, the geometry reconstruction of vasculatures from raw medical datasets remains a very challenging task. In this paper, we present a novel skeleton-based method for the geometry reconstruction of vascular structures from standard 3D medical datasets. With the proposed techniques, the geometry of vascular structures with high level of smoothness and accuracy can be reconstructed from the raw medical datasets. The experimental results and comparison with other techniques demonstrate that our method can achieve faithful and smooth vascular structures. In addition, quantitative validation has been conducted to evaluate the accuracy and smoothness of the reconstructed vessel geometry based on the proposed method.     

一种时序电路的测试生成算法

本文提出了一种高效的时序电路测试生成算法,该算法是建立在自适应算法的基础上,并使用了十七值逻辑模型。文章详细介绍了该测试算法的内容及其实现过程,并举例说明了该算法的测试效率。     

Uncertainty measures for rough formulae in rough logic: An axiomatic approach

Rough set theory, initiated by Pawlak, is a mathematical tool in dealing with inexact and incomplete information. Various types of uncertainty measure such as accuracy measure, roughness measure, etc, which aim to quantify the imprecision of a rough set caused by its boundary region, have been extensively studied in the existing literatures. However, a few of these uncertainty measures are explored from the viewpoint of formal rough set theory, which, however, help to develop a kind of graded reasoning model in the framework of rough logic. To solve such a problem, a framework of uncertainty measure for formulae in rough logic is presented in this paper. Unlike the existing literatures, we adopt an axiomatic approach to study the uncertainty measure in rough logic, concretely, we define the notion of rough truth degree by some axioms, such a notion is demonstrated to be adequate for measuring the extent to which any formula is roughly true. Then based on this fundamental notion, the notions of rough accuracy degree, roughness degree for any formula, and rough inclusion degree, rough similarity degree between any two formulae are also proposed. In addition, their properties are investigated in detail. These obtained results will be used to develop an approximate reasoning model in the framework of rough logic from the axiomatic viewpoint.     

Design of a modified repetitive-control system based on a continuous–discrete 2D model

This paper concerns the problem of designing a modified repetitive-control system for a class of strictly proper plants. Repetitive control involves two types of actions: control and learning; but the insertion of a low-pass filter in a modified repetitive controller, which is employed to guarantee the stability of the system, mixes the two actions together. In this paper, a continuous–discrete two-dimensional model is first constructed. Next, the continuity of repetitive control and Lyapunov stability theory are applied to the model to establish two linear-matrix-inequality (LMI) based sufficient stability conditions, one for the design of the cutoff angular frequency and one for the design of the feedback gains. The features of these conditions are exploited to develop an iterative algorithm that searches for the best combination of the maximum cutoff angular frequency of the low-pass filter and the feedback gains. A numerical example illustrates the design procedure and demonstrates the validity of the method.     

液滴在热液相介质中上升汽化时的传热与传质

本文分析了液滴在不互溶的液相介质中上升汽化时的传热和传质,导出了数模,进行了数值求解,获知在泡滴与液相接触的汽液边界处温度下降和浓度升高,存在着溶液的过冷(或过饱和)边界层。实验结果与数模计算结果表明,该模型能够较好地预測液滴汽化的整体特性。     

基于小波包的多载波调制系统的峰均比分析与消减

介绍了以小波包函数为载波的多载波调制系统,分析了WPM信号符号周期内峰值功率的互补累积分布函数(CCDF)及其对PAPR性能的有效描述;并对不同小波滤波器组的PAPR性能进行了比较,提出了一种能有效减小WPM系统的峰均比的压缩扩展算法。仿真实验证明了该算法的有效性和可行性。     

Development of Virtual Simulation System for Remote Collaborative Surface Machining

1 Introduction Many parts of aerospace ,automobile and mold industries are high precision and complex-shaped. There-fore ,it needs multi-axis machining. Multi-axis machining has advantages of i mproving efficiency and surfaceprecision,reducing production expense and shortening ti me to market . Although there are many advantages inmulti-axis machining,there are many steps on process planningfor complexsurface .And every step needs engi-neers to make appropriate decisions by their professional…     

Matrix Factorizations for Parallel Integer Transformation

Integer mapping is critical for lossless source coding and has been used for multicomponent image compression in the new international image compression standard JPEG 2000. In this paper, starting from block factorizations for any nonsingular transform matrix, we introduce two types of parallel elementary reversible matrix (PERM) factorizations which are helpful for the parallelization of perfectly reversible integer transforms. With improved degree of parallelism and parallel performance, the cost of multiplications and additions can be, respectively, reduced to O(logN) and O(log²N) for an N by N transform matrix. These make PERM factorizations an effective means of developing parallel integer transforms for large matrices. We also present a scheme to block the matrix and allocate the load of processors for efficient transformation