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

Extending Design Capabilities of SysML with Trade-off Analysis: electrical Microgrid Case Study

Procedia computer Science 2013年 16卷 108-117页

作者： Dimitrios Spyropoulos John S. Baras Institute for Systems Research and Department of Electrical and Computer Engineering University of Maryland College Park MD 20742 USA

Changes in technology, economy and society create challenges that force us to rethink the way we develop systems. Model- Based systems engineering is an approach that can prove catalytic in this new era of systems development. In this paper we introduce the idea of the “modeling hub” in order to realize the vision of Model-Based systems engineering and especially we focus on the trade-off path of this hub. For that purpose the design capabilities of SysML are extended by integrating it with Consol-Optcad, a powerful multi-criteria optimization tool for trade-off analysis. The integration and its implementation is applied to analyze a multi-criteria optimization problem concerning power allocation and scheduling in a microgrid.

关键词： Modeling hub Trade-off analysis Metamodels Model transformations System design

来源：评论

学校读者我要写书评

暂无评论

Kernel P systems: Applications and Implementations

Advances in Intelligent Systems and Computing

引用

Advances in Intelligent systems and Computing 2013年 212卷 1081-1089页

作者： Ipate, Florentin Lefticaru, Raluca MierlǍ, Laurenţiu Cabrera, Luis Valencia Han, Huang Zhang, Gexiang Dragomir, Ciprian Jiménez, Mario J. Pérez Gheorghe, Marian Faculty of Mathematics and Computer Science University of Bucharest Academiei 14 Bucharest Romania Faculty of Mathematics and Computer Science University of Piteşti Târgu din Vale 1 Piteşti Romania Research Group on Natural Computing Department of Computer Science and Artificial Intelligence University of Sevilla Avda Reina Mercedes s/n 41012 Sevilla Spain School of Electrical Engineering Southwest Jiaotong University Chengdu 610031 China Department of Computer Science University of Sheffield Portobello Street Regent Court Sheffield S1 4DP United Kingdom

ISBN: (纸本)9783642375019

This paper explores the modelling capacities of a new class of P systems, called kernel P systems (kP systems). A specific language for describing kP systems and its translation into Promela, the specification language of Spin, are described. This Promela specification has been further used for simulation and property verification with the Spin model checker. Also, a parallel implementation on GPU parallel architectures, realized using CUDA, is presented and the results are compared with the ones obtained using Promela and Spin. A case study, namely the Subset sum problem, which has been modelled with kernel P systems and further implemented in Promela is presented. © Springer-Verlag Berlin Heidelberg 2013.

关键词： Formal verification

来源：评论

学校读者我要写书评

暂无评论

Calculation of the radar ambiguity function from time-domain measurement data for real-time, amplifier-in-the-loop waveform optimization

Calculation of the radar ambiguity function from time-domain...

引用

82nd ARFTG Microwave Measurement Conference: Characterization, Modeling, and Design of RF and mm-Wave Devices and Circuits, ARFTG 2013

作者： Fellows, Matthew Baylis, Charles Cohen, Lawrence Marks II, Robert J. Wireless and Microwave Circuits and Systems Program Department of Electrical and Computer Engineering Baylor University Waco TX United States Naval Research Laboratory Radar Division Washington DC United States

ISBN: (纸本)9781467349826

The ambiguity function is a measure of a radar's range and Doppler detection capability. Cognitive radar systems require the capability to adjust the waveform in realtime to obtain desired range/Doppler detection capability while meeting stringent spectral requirements. While the ambiguity function of the waveform input to the transmitter can be simulated, it is the ambiguity function of the transmitter power amplifier's output waveform that will be used for the detection. As such, it is very helpful to be able to measure the ambiguity function output from a power amplifier in the optimization process. This paper describes a technique that can be used to quickly calculate the ambiguity function for the output waveform from the radar amplifier as measured on an oscilloscope. Brief examination is also given to the effect of amplifier nonlinearity on the ambiguity function. © 2013 IEEE.

关键词： Transmitters

来源：评论

学校读者我要写书评

暂无评论

Evolving systems: Disturbance accommodating adaptive key component control

Evolving systems: Disturbance accommodating adaptive key com...

引用

19th IFAC Symposium on Automatic Control in Aerospace, ACA 2013

作者： Balas, Mark J. Frost, Susan A. Department of Electrical and Computer Engineering University of Wyoming Laramie WY 82071 United States Intelligent Systems Division NASA Ames Research Center Moffett Field CA 94025 United States

ISBN: (纸本)9783902823465

This paper presents an introduction to Evolving systems, which are autonomously controlled subsystems which self-assemble into a new Evolved System with a higher purpose. Evolving systems of aerospace structures often require additional control when assembling to maintain stability during the entire evolution process. This is the concept of Adaptive Key Component Control which operates through one specific component to maintain stability during the evolution. In addition this control must overcome persistent disturbances that occur while the evolution is in progress. We present theoretical results for the successful operation of Adaptive Key Component control in the presence of such disturbances and an illustrative example. © IFAC.

关键词： Adaptive control systems

来源：评论

学校读者我要写书评

暂无评论

Radar power amplifier circuit and waveform optimization for spectrally confined, reconfigurable radar systems

Radar power amplifier circuit and waveform optimization for ...

引用

2013 IEEE Radar Conference: "The Arctic - The New Frontier", RadarCon 2013

作者： Baylis, Charles Martin, Josh Fellows, Matthew Moon, David Moldovan, Matt Cohen, Lawrence Marks, Robert J. Wireless and Microwave Circuits and Systems Program Department of Electrical and Computer Engineering Baylor University Waco TX United States Naval Research Laboratory Radar Division Washington DC United States

ISBN: (纸本)9781467357920

Increasingly stringent spectral spreading constraints are motivating a paradigm shift in the spectrum engineering of radar systems. Future spectrum requirements will likely dictate narrower spectral masks that will change based on geography. The desire to operate radar systems efficiently with waveforms that will provide desired detection capabilities must mesh with the need to meet spectral mask criteria. To this end, a collaborative research effort between Baylor University and the U.S. Naval research Laboratory has resulted in the design of reconfigurable circuit and waveform approaches to optimize spectral confinement, power efficiency, and detection capabilities. This paper surveys the joint optimization approach and describes innovations by the authors in circuit and waveform reconfiguration that will be useful in future flexible radar transmitters. © 2013 IEEE.

关键词： research laboratories

来源：评论

学校读者我要写书评

暂无评论

An EMG biofeedback device for video game use in forearm physiotherapy

An EMG biofeedback device for video game use in forearm phys...

引用

12th IEEE SENSORS 2013 Conference

作者： Converse, Hayes Ferraro, Teressa Jean, Daniel Jones, Laura Mendhiratta, Vikas Naviasky, Emily Par, Mang Rimlinger, Thomas Southall, Steven Sprenkle, Jason Abshire, Pamela Gemstone Honors Program University of Maryland College Park MD United States Department of Electrical and Computer Engineering Institute for Systems Research University of Maryland College Park MD United States

ISBN: (纸本)9781467346405

While electromyography (EMG) is widely used in experimental physiotherapy (PT), its use as a diagnostic aid and supplementary tool in clinical PT remains limited. We report an integrated, wireless PT system for the forearm, which registers muscle movements via EMG, records and wirelessly transmits the data to a laptop computer, and runs software to discriminate between arm motions. The next step is to interface with a custom video game which responds to user movement and provides real-time biofeedback to the user, allowing them to visualize whether they are performing their PT exercise properly. Our device incorporates existing technologies into a functional ensemble compatible with both at-home and clinical use. Current testing (n=7 subjects) indicates that the sensor is capable of discriminating between 6 classes of PT exercises with 92% accuracy (2 classes with 96% accuracy). © 2013 IEEE.

关键词： Biofeedback

来源：评论

学校读者我要写书评

暂无评论

Radar waveform optimization to minimize spectral spreading and achieve target detection

Radar waveform optimization to minimize spectral spreading a...

引用

2013 IEEE Texas Symposium on Wireless and Microwave Circuits and systems, WMCS 2013

ISBN: (纸本)9781479904556

Spectral spreading in radar systems is a concern that is related to the radar waveform. This paper describes a procedure to optimize a linear frequency-modulated chirp waveform for a desired ambiguity function while meeting spectral requirements. The minimax approach used for the optimization is described, and some example results for the optimization are presented. The integration of bench-top spectrum analyzer measurements into the optimization is presented, and the way forward in terms of measurement-based optimization is discussed. © 2013 IEEE.

关键词： Optimization

来源：评论

学校读者我要写书评

暂无评论

Delivering ancillary services with data centres

Delivering ancillary services with data centres

引用

作者： Aikema, David Simmonds, Rob Zareipour, Hamidreza Department of Computer Science University of Calgary Calgary AB T2N 1N4 Canada Energy Systems and Control Group Department of Electrical and Computer Engineering University of Calgary Calgary AB T2N 1N4 Canada

Ancillary services are the mechanisms power grids use to address short-term variability in supply and demand as well as the impact of power plant or transmission line failures. Organizations providing such services can earn revenue or at least reduce their energy costs. This paper explores options for large data centres to reduce costs in this way. Simulation results are presented for a system that models the processing of a workload and the resulting energy use, focusing on the impact of providing specific types of ancillary services. Trace data recording the workload from three supercomputing facilities along with pricing information from a US-based electrical grid are used. Results presented show energy costs reduced by up to 12% with only a small impact on the quality of service provided to users of the data centre. Further reductions in energy costs are shown for data centres willing to cede more control over short-term energy consumption. The potential of ancillary services markets are compared against following-the-renewables approaches, using wind farm data to argue why providing ancillary services may be more effective than optimizing operations based on the production of local renewables.© 2013 Elsevier Inc. All rights reserved.

关键词： Smart power grids

来源：评论

学校读者我要写书评

暂无评论

Supervision Localization of Timed Discrete-Event systems

Supervision Localization of Timed Discrete-Event Systems

引用

American Control Conference

作者： Kai Cai Renyuan Zhang W.M. Wonham Systems Control Group Department of Electrical and Computer Engineering University of Toronto School of Electrical Engineering Xi'an Jiaotong University

ISBN: (纸本)9781479901777

We study supervisor localization for real-time discrete-event systems (DES) in the Brandin-Wonham timed supervisory control framework. We view a real-time DES as comprised of asynchronous agents which are coupled through imposed logical and temporal specifications;the essence of supervisor localization is the decomposition of monolithic (global) control action into local control strategies for the individual agents. This study extends our previous work on supervisor localization for untimed DES, in that monolithic timed control action typically includes not only disabling action as in the untimed case, but also "clock preempting" action which enforces prescribed temporal behavior. The latter action is executed by a class of special events, called "forcible" events;and accordingly, we localize monolithic preemptive action with respect to these events. We demonstrate the new features of timed supervisor localization on a manufacturing cell case study, and discuss a distributed control implementation.

关键词： Supervisor localization Real-time systems Supervisory control of discrete-event systems Automata

来源：评论

学校读者我要写书评

暂无评论

Monolithic Phononic Crystals with a Surface Acoustic Band Gap from Surface Phonon-Polariton Coupling

引用

Physical Review Letters 2014年第21期113卷 215503-215503页

作者： D. Yudistira A. Boes B. Djafari-Rouhani Y. Pennec L. Y. Yeo A. Mitchell J. R. Friend School of Electrical and Computer Engineering RMIT University VIC 3001 Melbourne Australia ARC Centre of Excellence for Ultrahigh Bandwidth Devices for Optical Systems RMIT University VIC 3001 Melbourne Australia Institut d’Electronique de Microélectronique et de Nanotechnologie (IEMN) UMR CNRS 8520 Université de Lille 1 59655 Villeneuve d’Ascq Cedex France Micro/Nanophysics Research Laboratory RMIT University VIC 3001 Melbourne Australia Micro/Nanophysics Research Laboratory and the Micro Nano Research Facility RMIT University VIC 3001 Melbourne Australia Department of Mechanical and Aerospace Engineering University of California-San Diego La Jolla California 92093 USA

We theoretically and experimentally demonstrate the existence of complete surface acoustic wave band gaps in surface phonon-polariton phononic crystals, in a completely monolithic structure formed from a two-dimensional honeycomb array of hexagonal shape domain-inverted inclusions in single crystal piezoelectric Z-cut lithium niobate. The band gaps appear at a frequency of about twice the Bragg band gap at the center of the Brillouin zone, formed through phonon-polariton coupling. The structure is mechanically, electromagnetically, and topographically homogeneous, without any physical alteration of the surface, offering an ideal platform for many acoustic wave applications for photonics, phononics, and microfluidics.

关键词： ENERGY gaps (Physics) BRILLOUIN zones HONEYCOMB structures SURFACE phonons PHONONIC crystals MICROFLUIDICS LITHIUM niobate

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：