Mapping rule-based systems onto multicomputers using simulated annealing

In this paper, we present a static load balancing method for mapping production rules in an expert system onto processors of a message-passing multicomputer. The method uses simulated annealing to achieve a nearly optimal allocation of production rules onto processor nodes. The approach balances the initial rule distribution to avoid higher communication demand among processor nodes at run time. A formal mapping model is developed and a new cost function is defined for the annealing process. New heuristic swap functions and cooling policies are provided to ensure the quality of the annealing process. A software load balancing package, SIMAL, was implemented on a SUN workstation to carry out the benchmark experiments. The overhead associated with this mapping method is O(m In m), where m is the number of rules in the production system. Two benchmark production systems, Toru-waltz and Tourney, are mapped onto a hypercube computer with 32 nodes. Experimental benchmark results verify the effectiveness of the rule mapping method. The method can be applied for distributed artificial intelligence processing or for the parallel execution of cooperating expert systems on a message-passing multicomputer.     

Similarity retrieval of iconic image database

The perception of spatial relationships among objects in a picture is one of the important selection criteria to discriminate and retrieve the images in an iconic image database system. The data structure called 2D string, proposed by Chang et al., is adopted to represent symbolic pictures. The 2D string preserves the objects' spatial knowledge embedded in images. Since spatial relationship is a fuzzy concept, the capability of similarity retrieval for the retrieval by subpicture is essential. In this paper, similarity measure based on 2D string longest common subsequence is defined. The algorithm for similarity retrieval is also proposed. Similarity retrieval provides the iconic image database with the distinguishing function different from a conventional database.     

Stabilization Methods for Spectral Element Computations of Incompressible Flows

A stabilization method for the spectral element computation of incompressible flow problems is investigated. It is based on a filtering procedure which consists in filtering the velocity field by a spectral vanishing Helmholtz-type operator at each time step. Relationship between this filtering procedure and SVV-stabilization method, introduced recently in [JCP, 2004, 196(2), p680], is established. A number of numerical examples are presented to show the accuracy and stabilization capability of the method.     

A Pervasive Computing Curriculum for Engineering and Science Students

Today, there's an urgent need for well-trained pervasive computing engineers and scientists. Pervasive computing has evolved into a critical field, influencing a broad range of industries from healthcare to manufacturing to defense. However, most computer engineering and computer science programs pay marginal attention, at best, to the field. In this issue, the authors of the Rochester Institute of Technology describes a set of courses on pervasive computing topics and a supporting laboratory designed for both computer engineering and computer science students     

Perceptual Temporal Quality Metric for Compressed Video

This paper presents a metric to quantify frame loss according to the impact on perceived temporal quality. This metric particularly aims at measuring the temporal quality degradation caused by both regular and irregular frame loss. Experimental results with subjective viewing demonstrate high performance on prediction of perceptual temporal quality.     

Fixed point theorem-based iterative learning control for LTV systems with input singularity

In this paper, we address a challenging and open problem: how to design a suitable iterative learning control (ILC) system in the presence of input singularity, which is incurred by the singularities of the system direct feed-through term. Considering two typical types of input singularities, we first revise the ILC operators accordingly by adding a forgetting factor and incorporating a time-varying learning gain, in the sequel guarantee ILC operators to be contractible. Next, using the Banach fixed-point theorem, we demonstrate that the output sequence can either enter and remains ultimately in a designated neighborhood of the target trajectory, or is bounded by a class K function. Finally, an illustrative example is presented.     

鞍钢现有人造富矿产能及1600万t/a生铁规模的合理炉料结构的探讨

简要介绍了鞍钢现有人造富矿生产能力，分析了鞍钢生产1600万t／a生铁所需要的炉料数量、品种和质量，并提出了解决炉料缺口的方法和措施。     

压电量测系统漏电影响分析

本文通过对压电量测系统等效电路图的逐步简化,得出矩形脉冲信号的漏电方程;并对系统在各种情况下的时间常数,漏电相对误差进行了计算,最后就系统在校准和现场测试中经常碰到的几种情况,进行了定量估算,从而解决了压电量测系统在使用中的一些具体问题。