Development of the Embedded Protective Device Based on ARM

An embedded protective device for 35kV power line is worked out based on Philips＇ LPC2292 ARM MCU. Several aspects such as embedded design technique adopted in the system framework, application of adaptive theory in data acquisition, Board Support Packet （BSP） developing and task dispatching related to operating system are discussed. Both hardware and software framework of the system are given. Advanced hardware platform and software development environment is applied in design of the system, with the advanced co-design technology.     

Experimental and simulation studies of gas sorption processes in polycarbonate films

This work reports the experimental isotherms describing the concentration of oxygen and nitrogen in poly(bisphenol A carbonate-co-4,4′-(3,3,5-trimethylcyclohexylidene) diphenol carbonate) vs pressure, at 30 °C. The solubility coefficients are interpreted in terms of the Flory-Huggins theory, obtaining reasonable values for the enthalpic polymer-gas parameter. A new method is outlined to simulate the probabilities of inserting/removing a gas molecule in a host matrix already containing n molecules of gas. The simulated isotherms representing the pressure dependence of the concentration exhibit the same pattern as those experimentally obtained.     

Uncertainty,belief, and probability1

We introduce a new probabilistic approach to dealing with uncertainty, based on the observation that probability theory does not require that every event be assigned a probability. For a nonmeasurable event (one to which we do not assign a probability), we can talk about only the inner measure and outer measure of the event. In addition to removing the requirement that every event be assigned a probability, our approach circumvents other criticisms of probability-based approaches to uncertainty. For example, the measure of belief in an event turns out to be represented by an interval (defined by the inner and outer measures), rather than by a single number. Further, this approach allows us to assign a belief (inner measure) to an event E without committing to a belief about its negation -E (since the inner measure of an event plus the inner measure of its negation is not necessarily one). Interestingly enough, inner measures induced by probability measures turn out to correspond in a precise sense to Dempster-Shafer belief functions. Hence, in addition to providing promising new conceptual tools for dealing with uncertainty, our approach shows that a key part of the important Dempster-Shafer theory of evidence is firmly rooted in classical probability theory. Cet article présente une nouvelle approche probabiliste en ce qui concerne le traitement de l'incertitude; celle-ci est basée sur l'observation que la théorie des probabilityés n'exige pas qu'une probabilityé soit assignée à chaque événement. Dans le cas d'un événement non mesurable (un événement pour lequel on n'assigne aucune probabilityé), nous ne pouvons discuter que de la mesure intérieure et de la mesure extérieure de l'évenément. En plus d'éliminer la nécessité d'assigner une probabilityéà l'événement, cette nouvelle approche apporte une réponse aux autres critiques des approches à l'incertitude basées sur des probabilityés. Par exemple, la mesure de croyance dans un événement est représentée par un intervalle (défini par la mesure intérieure et extérieure) plutǒt que par un nombre unique. De plus, cette approche nous permet d'assigner une croyance (mesure intérieure) à un événement E sans se compromettre vers une croyance à propos de sa négation -E (puisque la mesure intérieure d'un événement et la mesure intérieure de sa négation ne sont pas nécessairement une seule et unique mesure). II est intéressant de noter que les mesures intérieures qui résultent des mesures de probabilityé correspondent d'une manière précise aux fonctions de croyance de Dempster-Shafer. En plus de constituer un nouvel outil conceptuel prometteur dans le traitement de l'incertitude, cette approche démontre qu'une partie importante de la théorie de l'évidence de Dempster-Shafer est fermement ancrée dans la theorie classique des probabilityés.     

Representing temporal knowledge in conceptual graphs

This study was motivated by some difficulties encountered by the authors when trying to express temporal knowledge using Sowa's conceptual graph (CG) approach. An overview of Sowa's approach is given and the difficulties encountered when trying to model temporal knowledge are outlined: the disparity of notations allowed by CG theory for expressing temporal information; the ambiguity and incompleteness of tense sspecification; the difficulty of harmonizing tenses and intergraph temporal relations. Various approaches suggested for representing time both in artificial intelligence and linguistics are presented, and an extension to Sowa's approach is proposed in which temporal and nontemporal knowledge are differentiated. In this model points in time are represented as well as time intervals. A semantic interpretation of verbs is provided based on an extension of Reichenbach's model of temporal markers. The authors show how their approach enables the representation of tenses as well as the aspectual properties of natural language sentences.     

The Design of Discrimination Experiments

Experimentation plays a fundamental role in scientific discovery. Scientists experiment to gather data, investigate phenomena, measure quantities, and test theories. In this article, we address the problem of designing experiments to discriminate between two completing theories. Given an initial situation for which the two theories make the same prediction, the experiment design problem is to determine how to modify the situation such that the two theories make different predictions for the modified situation. The modified situation is called a discrimination experiment. We present a knowledge-intensive method called DEED for designing discrimination experiments. The method analyzes the differences in the two theories' explanations of the prediction for the initial situation. Based on this analysis, it determines modifications to the initial situation that will result in a discrimination experiment. We illustrate the method with the design of experiments to discriminate between several pairs of qualitative theories in the fluids domain.     

Generalization of the Gram-Charlier/Edgeworth Series and Application to Time-Frequency Analysis

We derive a general equation relating probability densities and as special cases we the obtain Gram-Charlier and Edgeworth series. This allows us to generalize these methods and clarify a number of issues pertaining to both probability theory and time-frequency analysis. In particular we show how the Gram-Charlier and Edgeworth series are related to the kernel method of time-frequency analysis. The approach allows us to construct densities that satisfy given constraints such as joint moments or conditional moments. Also, we show that the kernel has to be signal dependent and that to obtain a proper distribution it should be the ratio of two characteristic functions.     

应用图论及广义简约梯度法进行压力管网优化设计

广义简约梯度法(GRG)是非线性规划算法中最有效的算法之一，本文把图论应用于广义简约梯度法优化的过程中，使输入简便，计算简化，应用GRG算法对武汉市的汉阳管网进行了模拟优化设计，并对管段的计算管径用线性规划法进行标准化，取得了满意的结果     

Neural networks,rational functions,and realization theory

The problem of parametrizing single hidden layer scalar neural networks with continuous activation functions is investigated. A connection is drawn between realization theory for linear dynamical systems, rational functions, and neural networks that appears to be new. A result of this connection is a general parametrization of such neural networks in terms of strictly proper rational functions. Some existence and uniqueness results are derived. Jordan decompositions are developed, which show how the general form can be expressed in terms of a sum of canonical second order sections. The parametrization may be useful for studying learning algorithms.This work was supported by the Australian Research Council, the Australian Telecommunications and Electronics Research Board, and the Boeing Commencai Aircraft Company (thanks to John Moore).     

非线性隔振理论初探

本文以线必阻尼，立方刚度非线性系统为例，对非线性隔振理论进行了初步探讨，导出了系统的无量纲运动响应和传递率，并与线性隔振系统进行了比较，着重讨论了非线性对它们的影响，获得了一些有用的结论。