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

SIES'2008 - 3rd International symposium on Industrial Embedded systems

ISBN: (纸本)9781424419951

The proceedings contain 42 papers. The topics discussed include: NCES-based modelling and CTL-based verification of reconfigurable Benchmark Production systems;implementation of dynamic loop scheduling in reconfigurable platforms;enabling self-reconfiguration on a video processing platform;dynamic voltage and frequency scaling for optimal real-time scheduling on multiprocessors;performance evaluation of a java chip-multiprocessor;a service based estimation method for MPSoC performance modelling;an embedded decryption/decompression engine using Handel-C;infrastructure for web-based administration of embedded systems;flexible in-vehicle stream processing with distributed automotive control units for engineering and diagnosis;a digital receiver architecture for RFID readers;and a methodology for architecture exploration and performance analysis using system level design languages and rapid architecture profiling.

关键词： Embedded systems

来源：评论

学校读者我要写书评

暂无评论

Kolmogorov-Sinai causality in chaotically intertwined dynamics: A Heart Rate Variability case study

Kolmogorov-Sinai causality in chaotically intertwined dynami...

引用

2008 3rd International symposium on Communications, control, and Signal Processing, ISCCSP2008

作者： Ariaei, F. Jonckheere, E. Stuppy, W.P. Callahan, T.S. Ming Hsieh Dept. Electrical Engineering University of Southern California Los Angeles CA 90089-2563 United States Good Samaritan Hospital Los Angeles CA 90017 United States Biomedical Systems Corporation St. Louis MO United States

ISBN: (纸本)9781424416882

When a system with a traditional u/y input/output pair is embedded in a complex environment, the relative role of the input and the output becomes interchangeable. Here we devise a Kolmogorov-Sinai mutual information approach to determine whether u or y is the "cause" and the other the "effect." It turns out that in some complex environments the information flow goes both ways, a phenomenon that can be abstracted as a feedback structure. The concept is illustrated on the RR/QT coupled dynamics of the heart. ©2008 IEEE.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A Piecewise affine hybrid systems approach to fault tolerant satellite formation control

A Piecewise affine hybrid systems approach to fault tolerant...

引用

3rd International symposium on Formation Flying, Missions and Technologies, ESA-ESTEC

作者： Grunnet, Jacob D. Larsen, Jesper A. Bak, Thomas Wisniewski, Rafael Department of Electronic Systems Section for Automation and Control Aalborg University Frb. Vej. 7C 9220 Aalborg SOø Denmark

ISBN: (纸本)9789292212186

In this paper a procedure for modelling satellite formations including failure dynamics as a piecewiseaffine hybrid system is shown. The formulation enables recently developed methods and tools for control and analysis of piecewise-affine systems to be applied leading to synthesis of fault tolerant controllers and analysis of the system behaviour given possible faults. The method is illustrated using a simple example involving two satellites trying to reach a specific formation despite of actuator faults occurring.

关键词： Fault tolerance

来源：评论

学校读者我要写书评

暂无评论

Research on fludic dynamic characteristics of the piezoelectric synthetic jet actuator

引用

JOURNAL OF INTELLIGENT MATERIAL systems AND STRUCTURES 2008年第3期19卷 351-357页

作者： Zhou, Yong Wang, Bang-Feng Nanjing Univ Aeronaut & Astronaut Aeronaut Sci Key Lab Smart Mat & Struct Nanjing 210016 Peoples R China

A two-dimensional Reynolds-Averaged Navier-Stokes model is established for a synthetic jet actuator (SJA) fluid field. The working process of the SJA is studied in detail by numerical analysis. Then the synthetic jet fluidic characteristics are investigated under the different SJA design parameters that include diameter and thickness of orifice, and diameter and depth of cavity. The research results show that diameter of orifice is an important parameter that influences the synthesis of a jet, and diameter of cavity influences both the resonance frequency of membrane and the decay of jet velocity along the axial distance from the exit. And there is an optimal combination between orifice thickness and cavity depth that cause the maximum jet output velocity of SJA. Finally, a SJA specimen is manufactured and the test results are basically in accordance with the simulating conclusions.

关键词： active flow control synthetic jet actuator geometric parameter piezoelectric numerical simulation

来源：评论

学校读者我要写书评

暂无评论

3rd International symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2008

3rd International Symposium on Leveraging Applications of Fo...

引用

3rd International symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2008

ISBN: (纸本)3540884785

The proceedings contain 61 papers. The special focus in this conference is on Leveraging Applications of Formal Methods, Verification and Validation. The topics include: Architecture based specification and verification of embedded software systems;information system engineering supporting observation, orientation, decision, and compliant action;modelling coordination and compensation;animating event B models by formal data models;automated formal testing of C API using T2C framework;tailoring and optimising software for automotive multicore system;timing validation of automotive software;towards using reo for compliance-aware business process modeling;a use-case driven approach to formal service-oriented modelling;safety and response-time analysis of an automotive accident assistance service;a framework for analyzing and testing the performance of software services;assuring the satisfiability of sequential extended regular expressions;computing must and may alias to detect null pointer dereference;program verification by reduction to semi-algebraic systems solving;debugging statecharts via model-code traceability;formal use of design patterns and refactoring;a component-based access control monitor;navigating the requirements jungle;non-functional avionics requirements;measurement-based timing analysis;weaving a formal methods education with problem-based learning;encouraging the uptake of formal methods training in an industrial context;computer-supported collaborative learning with mind-maps;thinking in user-centric models;specialization and instantiation aspects of a standard process for developing educational modules;contexts and context awareness in view of the diagram predicate framework;the use of adaptive semantic hypermedia for ubiquitous collaboration systems;the use of formal ontology to specify context in ubiquitous computing;high service availability in MaTRICS for the OCS;the ASK system and the challenge of distributed knowledge discovery;requirements

关键词：

来源：评论

学校读者我要写书评

暂无评论

Research on fludic dynamic characteristics of the piezoelectric synthetic jet actuator

Research on fludic dynamic characteristics of the piezoelect...

引用

3rd International symposium on Smart Materials for Engineering and biomedical Applications

作者： Zhou, Yong Wang, Bang-Feng Nanjing Univ Aeronaut & Astronaut Aeronaut Sci Key Lab Smart Mat & Struct Nanjing 210016 Peoples R China

关键词： active flow control synthetic jet actuator geometric parameter piezoelectric numerical simulation

来源：评论

学校读者我要写书评

暂无评论

Intelligent Artificial Ants based Feature Extraction from Wavelet Packet Coefficients for biomedical Signal Classification

Intelligent Artificial Ants based Feature Extraction from Wa...

引用

3rd International symposium on Communications, control, and Signal Processing (ISCCSP 2008), vol.3

作者： Rami N. Khushaba Akram AlSukker Ahmed Al-Ani Adel Al-Jumaily Mechatronics and Intelligent Systems University of Technology Sydney Broadway 2007 Sydney Australia

In this paper, a new feature extraction method utilizing ant colony optimization in the selection of wavelet packet transform (WPT) best basis is presented and adopted in classifying biomedical signals. The new algorithm, termed Intelligent Artificial Ants (IAA), searches the wavelet packet tree for subsets of features that best interact together to produce high classification accuracies. While traversing the WPT tree, the IAA takes into account existing correlation between features thus avoiding information redundancy. The IAA method is a mixture of filter and wrapper approaches in feature subset selection. The pheromone that the ants lay down is updated by means of an estimation of the information contents of a single feature or feature subset. The significance of the subsets selected by the ants is measured using linear discriminant analysis (LDA) classifier. The IAA method is tested on one of the most important biosignal driven applications, which is the Brain Computer Interface (BCI) problem with 56 EEG channels. Practical results indicate the significance of the proposed method achieving a maximum accuracy of 83%.

关键词： Ant colony optimization Wavelet packet transform Features extraction Brain computer interface

来源：评论

学校读者我要写书评

暂无评论

Missing Feature Reconstruction with Multivariate Laplace Distribution (MLD) for Noise Robust Phoneme Recognition

Missing Feature Reconstruction with Multivariate Laplace Dis...

引用

3rd International symposium on Communications, control, and Signal Processing (ISCCSP 2008), vol.2

作者： Arash Mohammadi Farshad Almasganj Aboozar Taherkhani Farnoosh Naderkhani Biomedical Engineering Department Amirkabir University of Technology슠 Tehran Iran

Speech recognition accuracy degrades in presence of additive noise especially when recognizer's training data are clean. Several methods have been proposed to compensate effects of noise on recognition accuracy among these methods Missing Feature Techniques (MFT) have shown promising results in making speech recognition systems robust. In MFT spectral vectors of speech signal are conventionally modeled with a Gaussian Distribution (GD). In this paper we proposed to model distribution of spectral vectors of speech signals with a Multivariate Laplace distribution (MLD) in order to reconstruct missing elements. First we mathematically estimate missing values of each spectral vector conditioned on observed values with MLD parameters and by using this estimate in reconstruction of missing features we improved phoneme recognition accuracy up to 13.62% in -10dB and 11.1% in 0 dB in presence of different additive noises in comparison with modeling spectral vectors with a Gaussian distribution (GD).

关键词： Missing Feature Techniques Robust Phoneme Recognition Multivariate Laplace Distribution

来源：评论

学校读者我要写书评

暂无评论

Experiences applying Sensor Web Enablement to a practical telecare application

Experiences applying Sensor Web Enablement to a practical te...

引用

International symposium on Wireless Pervasive Computing (ISWPC)

作者： Gavin E. Churcher George Bilchev Jeff Foley Richard Gedge Tom Mizutani British Telecommunications Public Limited Company PICT Centre Suffolk UK

BTpsilas research and venturing department has participated in a number of sensor network projects covering a wide range of domains. Each project, however, has relied on bespoke sensor hardware, interfaces and communications, leading to stove-pipe solutions that cannot be easily reused nor utilized by other projects or initiatives. These highly specialised solutions have made it difficult for other projects to re-use the solutions and also to combine sensed data into a common information space. This approach however, is also widely seen in the marketplace where many companies offer highly specialised single point sensor solutions. This ldquooptimisedrdquo solution approach has driven interest in the design of generic architectures that permit open access to and reuse of sensors and their observations. Developments in the specification of IP-based technologies such as sensor Web enablement (SWE) and their application in real world sensor network solutions are undergoing extensive investigation by the pervasive ICT (PICT) Centre in BT. This paper describes the smart and aware pervasive healthcare environment (SAPHE) project and our experiences of taking this traditional stove-piped application and creating SWE compliant services.

关键词： Intelligent sensors Space technology Medical services Job production systems Hardware Sensor phenomena and characterization biomedical monitoring Wearable sensors Programmable control Data models

来源：评论

学校读者我要写书评

暂无评论

Kolmogorov-Sinai causality in chaotically intertwined dynamics: A Heart Rate Variability case study

Kolmogorov-Sinai causality in chaotically intertwined dynami...

引用

3rd International symposium on Communications, control, and Signal Processing (ISCCSP 2008), vol.2

作者： F. Ariaei E. Jonckheere W. P. Stuppy T. S. Callahan Ming Hsieh Department Electrical Engineering University of Southern California Los Angeles CA USA Good Samaritan Hospital Los Angeles CA USA Biomedical Systems Corporation Saint Louis MO USA

关键词： Chaos Heart rate variability Heart rate interval Biomembranes Mechanical variables control Wind Impedance Voltage Anesthetic drugs Shock waves

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：