检索结果-内蒙古大学图书馆

IEEE Region 10 International Conference TENCON

作者： Ching-Shine Hwang Shang-Rong Tsai Computer System Laboratory Department of Electrical Engineering National Cheng Kung University Tainan Taiwan

ISBN: (纸本)0780318625

We propose a service partition model as a design methodology of distributed applications, especially in interactive distributed applications. We developed a set of communication mechanisms for linking each module of interactive distributed applications. Mapping an interactive distributed application into service partition model is much easier than mapping it into a client server model. Implementing distributed applications with the mechanisms we supported for the service partition programming model is relatively easy.< >

关键词： Independent component analysis Application software Peer to peer computing Displays Network servers Monitoring Scanning probe microscopy Distributed computing Cities and towns Design methodology

来源：评论

学校读者我要写书评

暂无评论

A double-threshold-testing robust method for fault detection and isolation in dynamic systems

A double-threshold-testing robust method for fault detection...

引用

American Control Conference (ACC)

作者： Xiaowen Fang J. Gertler M. Kunwer J. Heron T. Barkana System Diagnostic Laboratory Electrical &Computer Engineering Department George Mason University Fairfax VA USA

"Robustness" is one of the most important issues for model-based fault detection and isolation (FDI) in dynamic systems. This paper proposes a double threshold statistical testing method for general residuals that are created by a model-based residual generator. After all available knowledge and information has been applied to the residuals, they are still nonzero while there is no fault. The double threshold statistical testing represents the nonzeros, model-errors or residues, by a standard Bernoulli and binomial random model so that, by appropriate design, the false-alarm probability can be controlled and the detection power can be maximized. Consequently, the FDI scheme becomes more "robust" while maintaining a higher level of fault detection sensitivity. The theoretical properties of this robust method are presented and the testing criterion is examined.

关键词： Fault detection Testing Electrical fault detection Noise robustness Mathematical model Engines Vehicle dynamics Histograms Statistical analysis Power system modeling

来源：评论

学校读者我要写书评

暂无评论

Program extraction by type erasing

Program extraction by type erasing

引用

IEEE Annual International computer Software and Applications Conference (COMPSAC)

作者： Ming-Yuan Zhu Yi-Qiang Ding Artificial Intelligence Laboratory Beijing Institute of System Engineering Beijing China Department of Computer Science Nanjing University Nanjing China

ISBN: (纸本)0818667052

PowerEpsilon is a proof development system based on Martin-Lof's type theory and the calculus of constructions. It contains a logic, a specification language and a programming language, so it is a powerful tool with different uses, However, the constructive type theory is an integrated logic in which the logical and computational parts are associated so well that to extract a program from a proof is not a straightforward task. In this paper, a new approach for extracting program from a proof called type erasing is proposed.< >

关键词： Calculus Logic programming Functional programming Artificial intelligence Laboratories Power engineering and energy systems engineering and theory computer science Specification languages computer languages

来源：评论

学校读者我要写书评

暂无评论

A qualitative process theory based model of the HIV-1 virus-cell interaction

A qualitative process theory based model of the HIV-1 virus-...

引用

作者： Ruggiero, C. Giacomini, M. Varnier, O.E. Gaglio, S. Department of Communications Computer and System Sciences University of Genova Via All'Opera Pia 11A 16145 Genova Italy Laboratory of Virology AIDS Center S. Luigi H. San Raffaele Via Stamira d'Ancona Milano Italy Department of Electrical Engineering University of Palermo Viale delle Scienze Palermo Italy

We present a qualitative model of the interaction between the HIV-1 virus and the human cell, based on qualitative process theory. This model takes into account a previous qualitative model of the cell growth. The model presented here can be regarded as a first step for setting up a comprehensive model of the HIV-1 virus-cell interaction in which the possible points where a drug can attack the virus are evident. The first simulation trials indicate that the presented model reproduces (even though in a simplified way) the features of the real behaviour that have been considered in the modelling phase. Although our simulation is limited in the knowledge it expresses, it still gives a stimulating opportunity for the evaluation of the criteria chosen as discriminant in the interaction between virus and cell.

关键词： computer simulation

来源：评论

学校读者我要写书评

暂无评论

QStruc. An approach for qualitative structural analysis

引用

Computing systems in engineering: An International Journal 1993年第2-3期4卷 147-147页

作者： Fruchter, R. Law, K.H. Iwasaki, Y. Center for Integrated Facility Engineering Department of Civil Engineering Stanford University Stanford U.S.A. Department of Civil Engineering Stanford University Stanford U.S.A. Knowledge System Laboratory Department of Computer Science Stanford University Stanford U.S.A.

Understanding the behavior of a structure and its components in the preliminary design phase is important since decisions made at this time can have a significant influence on the quality of the final design. It can also potentially reduce the number of alternative solutions and avoid costly design revisions. However, there are few tools available for modeling of a structure and performing qualitative analysis and interpretation of a conceptual design. We describe a framework QStruc for qualitative structural analysis which combines first principles in structural engineering and experimental knowledge of structural behavior. The purpose of QStruc is to generate refined qualitative models and to infer the qualitative response of a given preliminary structure. The results are expressed by qualitative deflected shape, moments and reactions. The proposed qualitative analysis strategy is a “greedy” depth-first algorithm that tries to expand the response of behavior as much as possible from known parameter values. This strategy makes use of a causal ordering mechanism, qualitative calculus and Quantity Lattice (R. Simmons, “Commonsense arithmetic reasoning” in Proceedings of the AAAI86 , pp. 118–124, Morgan Kaufmann, San Mateo, California, 1986) to reason about partial ordering among physical parameters.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Leak monitoring system for gas pipelines

Leak monitoring system for gas pipelines

引用

International Conference on Acoustics, Speech, and Signal Processing (ICASSP)

作者： I. Brodetsky M. Savic Electrical Computer and System Engineering Department Signal and Speech Research Laboratory Rensselaer Polytechnic Institute Troy NY USA

An approach and a solution to the continuous leak monitoring problem in underground gas pipelines are presented. This approach places permanent monitoring units along the pipeline. These units detect acoustic signals in the pipeline and discriminate leak sounds from other man-made or natural nonleak sounds that can occur. The system uses the kNN classifier as the detector with LPC (linear predictive coding) cepstrums as signal features. To increase system performance, pipeline effects on acoustic signals were taken into account during the classifier training phase. Each unit can detect 1/4-in-diameter leaks from a distance of 300 m, yielding 600 m as the maximum distance between units.< >

关键词： Monitoring Pipelines Acoustic signal detection Leak detection Linear predictive coding Signal detection Neural networks Detectors Cepstrum system performance

来源：评论

学校读者我要写书评

暂无评论

Nonlinear Adaptive Control: An East-West View

引用

IFAC Proceedings Volumes 1993年第2期26卷 67-72页

作者： A.L. Fradkov D.J. Hill Laboratory for Large-scale Control System Institute for Problems of Mechanical Engineering Academy of Sciences of Russia Department of Electrical and Computer Engineering University of Newcastle University Drive Callaghan NSW 2308 Australia

An overview is given of nonlinear adaptive control. It is motivated by an aim to synthesise contributions from the Russian literature and some more recent work in the Western literature. A unifying view is given which emphasises the concepts of matching conditions, (speed) gradient algorithms, exact linearization, passivity and robustness in a Lyapunov stability context.

关键词： adaptive control nonlinear systems

来源：评论

学校读者我要写书评

暂无评论

Chopper-stabilized sigma-delta modulator

Chopper-stabilized sigma-delta modulator

引用

IEEE International Symposium on Circuits and systems (ISCAS)

作者： Y.-H. Chang C.-Y. Wu T.-C. Yu Integrated Circuits and System Integration Laboratory Department of Electronics Engineering and Instilute of Electronics National Chiao Tung University Hsinchu Taiwan The Institutc of Computer Engineering and Department of Electronics Engineering Tamkang University Taipei Taiwan

ISBN: (纸本)0780312813

A new architecture of the sigma-dela modulators using a chopper-stabilized configuration is described. It is shown that using this new architecture and without any other circuit techniques, a sigma-delta modulator becomes immune from the contamination of the inherent low-frequency noise, such as offset noise, flicker noise, and clock feedthrough noise. The new architecture can be easily designed from the existing architectures without any stability problems. As an example, a second-order sigma-delta modulator is designed by using the new architecture. The simulation results show excellent immunity from the low-frequency noise.< >

关键词： Delta-sigma modulation Low-frequency noise Circuit noise 1f noise Quantization Transfer functions Clocks Power engineering and energy Low-noise amplifiers Operational amplifiers

来源：评论

学校读者我要写书评

暂无评论

Frequency-domain analysis of ventricular late potentials through time-variant autoregressive models

Frequency-domain analysis of ventricular late potentials thr...

引用

computers in Cardiology (CinC)

作者： A.M. Bianchi L.T. Mainardi D. Castiglioni F. Lombardi L. Dalla Vecchia S. Cerutti Laboratory of Biomedical Engineering IRCCS San Raffaele Hospital Milan Italy Department of Biomedical Engineering Polytechnic University Milan Italy Department of Clinical Medicine L. Sacco Hospital University of Milan Milan Italy Department of Computer & System Sciences University of Roma La Sapienza Rome Italy

The authors propose an analysis of the high resolution ECG signal in the frequency domain which is focused on the ending part of the QRS complex and on the ST segment of the averaged modulus of the vectorcardiogram, in order to detect the presence of ventricular late potentials (VLPs). The influence of the QRS is excluded through a Tchebytcheff polynomial interpolation. Such a "filtered" signal is then analyzed by means of a time variant autoregressive model that allows to obtain a power spectral density in correspondence of each sample and thus to track the dynamical changes in its frequency content. A joint time-frequency representation is obtained which may qualitatively discriminate between populations with or without VLPs. Finally, some parameters are proposed, such as the time duration, the associated power, the starting and ending points and the main frequency of the VLPs, through which it is possible to quantify, the abnormal signal averaged ECG.< >

关键词： Frequency domain analysis Signal analysis Electrocardiography Signal resolution Biomedical engineering Hospitals Time frequency analysis Frequency estimation Biomedical computing Polynomials

来源：评论

学校读者我要写书评

暂无评论

Recursive linear estimation in Krein spaces. I. Theory

Recursive linear estimation in Krein spaces. I. Theory

引用

IEEE Conference on Decision and Control

作者： B. Hassibi A.H. Sayed T. Kailath Iizfornzntion System Laboratory University of Stanford CA USA Department of Electrical and Computer Engineering University of California Santa Barbara CA USA Stanford University Stanford CA US Inf. Syst. Lab. Stanford Univ. CA USA

We develop a self-contained theory for linear estimation in Krein spaces. The theory is based on simple concepts such as projections and matrix factorizations, and leads to an interesting connection between Krein space projection and the computation of the stationary points of certain second order (or quadratic) forms. We use the innovations process to obtain a rather general recursive linear estimation algorithm, which when specialized to a state space model yields a Krein space generalization of the celebrated Kalman filter with applications in several areas such as H/sup /spl infin//-filtering and control, game problems, risk sensitive control, and adaptive filtering.< >

关键词： Recursive estimation Hilbert space Space stations Adaptive filters Extraterrestrial measurements Vectors Laboratories Contracts Technological innovation Filtering algorithms

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：