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

Annual IEEE conference on Computational Complexity

作者： B. Rosgen J. Watrous Department of Computing Science University of Alberta Edmonton AB Canada Department of Computing Science University of Alberta Calgary AB Canada

this paper considers the following problem. Two mixed-state quantum circuits Q/sub 0/ and Q/sub 1/ are given, and the goal is to determine which of two possibilities holds: (i) Q/sub 0/ and Q/sub 1/ act nearly identically on all possible quantum state inputs, or (ii) there exists some input state /spl rho/ that Q/sub 0/ and Q/sub 1/ transform into almost perfectly distinguishable outputs. this may be viewed as an abstraction of the problem that asks, given two discrete quantum mechanical processes described by sequences of local interactions, are the processes effectively the same or are they different? We prove that this promise problem is complete for the class QIP of problems having quantum interactive proof systems, and is therefore PSPACE-hard. this is in contrast to the fact that the analogous problem for classical (probabilistic) circuits is in AM, and for unitary quantum circuits is in QMA.

关键词： Quantum computing Power system modeling Computational modeling Quantum mechanics Circuit simulation Noise measurement Circuit noise Computer science Discrete transforms Complexity theory

来源：评论

学校读者我要写书评

暂无评论

Mean-payoff parity games

Mean-payoff parity games

引用

Annual Symposium on Logic in Computer Science

作者： K. Chatterjee T.A. Henzinger M. Jurdzinski Electrical Engineering and Computer Sciences University of California Berkeley USA Computer and Communication Sciences EPF Lausanne Switzerland Department of Computer Science University of Warwick UK

Games played on graphs may have qualitative objectives, such as the satisfaction of an /spl omega/-regular property, or quantitative objectives, such as the optimization of a real-valued reward. When games are used to model reactive systems with both fairness assumptions and quantitative (e.g., resource) constraints, then the corresponding objective combines both a qualitative and a quantitative component. In a general case of interest, the qualitative component is a parity condition and the quantitative component is a mean-payoff reward. We study and solve such mean-payoff parity games. We also prove some interesting facts about mean-payoff parity games which distinguish them both from mean-payoff and from parity games. In particular, we show that optimal strategies exist in mean-payoff parity games, but they may require infinite memory.

关键词： Computer science Game theory Power system modeling Power generation economics Network synthesis

来源：评论

学校读者我要写书评

暂无评论

Model Predictive Control for Electrical Drives

Model Predictive Control for Electrical Drives

引用

Annual IEEE conference on Power Electronics Specialists (PESC)

作者： A. Linder R. Kennel Wuppertal University Wuppertal Germany

Since more than 20 years the so-called "field oriented control" is a standard for controlled electrical drives. Today, strategies based on this principle fulfil nearly all demands of drive industry. However, the performance of field oriented controllers cannot be improved any more without limitations. Model predictive controllers (MPC) are based on a rather old approach whose first ideas have been published in the 1960s. Control strategies of this type are characterised by an explicitly and separately identifiable model of the controlled system. this model is used to precalculate the behaviour of the plant and therewith also to choose an optimal value of the control variable. In contrast to conventional predictive controllers used for drive control, which generally precalculate only for a single sample step in advance, model predictive controllers regard the control system behaviour over a long time into the future. Hence, these strategies are also known as "long-range predictive control" (LRPC) in literature. MPC methods have gained much importance in the field of process engineering. It is not known that they have been used for drive control so far, since the huge mathematical effort that is necessary to perform the calculation of the future system behaviour, collides with the demand for high sampling rates in drive control. the paper shows that it is possible to move a huge part of the calculational effort offline so that the remaining part can be easily calculated in a feasible time frame, even for drive control. the applicability of MPC for electrical drives is shown and proven by experimental results

关键词： Predictive models Predictive control Control systems Optimal control Control system synthesis Power system modeling Quadratic programming Constraint optimization Pulse width modulation Electric variables control

来源：评论

学校读者我要写书评

暂无评论

A criterion for optimizing bit-reduced post-correction of AD converters

引用

IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT 2004年第4期53卷 1159-1166页

作者： Lundin, H Skoglund, M Händel, P Royal Inst Technol KTH Signals Sensors & Syst SE-10044 Stockholm Sweden

Dynamic digital post-correction of analog-to-digital converters (ADCs) is considered. A generalized dynamic correction method is proposed and a framework for analyzing the related bit allocation problem is derived. Finally, this framework is employed in an optimization problem. the solution to the problem indicates which ADC output bits to use in order to maximize the signal-to-noise and distortion ratio in a post-correction system with a constraint on memory size. the proposed methods are accompanied by exemplary results obtained using experimental ADC data.

关键词： analog-to-digital converter (ADC) bit allocation dynamic Hadamard transform look-up table correction optimization

来源：评论

学校读者我要写书评

暂无评论

Performance analysis of the fiber Bragg grating interrogation system based on an arrayed waveguide grating

引用

IEEE TRANSACTIONS ON INSTRUMENTATION AND MEASUREMENT 2004年第4期53卷 1192-1196页

作者： Niewczas, P Willshire, AJ Dziuda, L McDonald, JR Univ Strathclyde Dept Elect & Elect Engn Inst Energy & Environm Glasgow G1 1XW Lanark Scotland

In this paper, we analyze the performance of the fiber Bragg grating (FBG) interrogation system based on an arrayed waveguide grating (AWG) device. the spectrum of light reflected from the FBG sensor is analyzed using an AWG, which acts as a coarse spectrometer. Using measurement points from the AWG channels, the original spectrum of the sensing element is reconstructed by means of curve fitting. the measurement system is modeled in the LabView environment, which allows the modification of the FBG and AWG parameters and simulating the measurement process. this, in turn, allows the quantification of the measurement errors resulting from the nonlinearity of the particular FBG/AWG configuration, and allows the optimization of the system design for the particular measurement errors permitted. In addition to the simulations of the proposed measurement system, we provide details of the laboratory evaluation.

关键词： arrayed waveguide gratings fiber Bragg grating sensors strain sensors temperature sensors

来源：评论

学校读者我要写书评

暂无评论

Proceedings - 20th Annual Computer Security Applications conference, ACSAC 2004

Proceedings - 20th Annual Computer Security Applications Con...

引用

20th Annual Computer Security Applications conference, ACSAC 2004

the proceedings contains 41 papers from the 20th Annual Computer Security Applications conference, ACSAC 2004. the topics discussed include: reasoning about complementary intrusion evidence;towards secure design choices for implementing graphical passwords;visualizing and identifying intrusion context from system calls trace;automatic generation and analysis of NIDS attacks;high-fidelity modeling of computer network worms;detecting attacks that exploit application-logic errors through application-level auditing;alert correlation through triggering events and common resources;symmetric behavior-based trust;and rule-based RBAC with negative authorization.

关键词： Security of data

来源：评论

学校读者我要写书评

暂无评论

COLING 2004 - Proceedings of the 20th International conference on Computational Linguistics

COLING 2004 - Proceedings of the 20th International Conferen...

引用

20th International conference on Computational Linguistics, COLING 2004

the proceedings contain 204 papers. the topics discussed include: grammar modularity and its impact on grammar documentation;linear-time dependency analysis for Japanese;discriminative hidden Markov modeling with long state dependence using a kNN ensemble;improving statistical word alignment with a rule-based machine translation system;improved word alignment using a symmetric lexicon model;combining hierarchical clustering and machine learning to predict high-level discourse structure;annotating and measuring temporal relations in texts;type-inheritance combinatory categorial grammar;deterministic dependency parsing of English text;Kullback-Leibler distance between probabilistic context-free grammars and probabilistic finite automata;and learning to identify single-snippet answers to definition questions.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Sensitivity of meteorological high-resolution numerical simulations of the biggest floods occurred over the Arno river basin, Italy, in the 20th century

引用

JOURNAL OF HYDROLOGY 2004年第1-2期288卷 37-56页

作者： Meneguzzo, F Pasqui, M Menduni, G Messeri, G Gozzini, B Grifoni, D Rossi, M Maracchi, G Arno River Basin Author Florence Italy LaMMa Reg Toscana Florence Italy

During recent years quantitative precipitation forecasts (QPFs), based on NWP models, were continuously increasing their performances and accuracy especially for light and moderate precipitation thresholds;deterministic verification suggests that for high thresholds there wasn't a similar improvement. High thresholds and rare events are particularly difficult to handle and this is a strong limitation for operational activities, particularly for flood forecasting. Where rainfall occurs, when it happens and how much it will be, are information that depends on how the used numerical model is able to determine the size, scale and the evolution of atmospheric systems involved. In this study numerical meteorological simulations of the most important floods occurred along the Arno river basin, Italy, in the 20th century, performed by the Regional Atmospheric modeling system (RAMS), are analysed with regard to the sensitivity to geometrical and initial conditions. RAMS is presently used to produce operational QPFs in an integrated hydro-meteorological forecasting system for the Arno river basin. the flood events occurred in November 1966 (100-years estimated recurrence, which caused several deaths and catastrophic damages to public and private goods and to the unique artistic and cultural heritage) and in October 1992 (30-years recurrence flood, with extensive damage). the advanced modules for the parameterisation of surface-water-atmosphere exchanges and for cloud and precipitation microphysical processes, included in RAMS, allow the explicit and likely representation (triggering and evolution) of the cloud and precipitation systems, which make this model a good candidate for such sensitivity analyses. the simulations of the floods occurred over the Arno river basin were initialised by means of the NCEP/NCAR global reanalysis data, and the sensitivity of the forecasts to the spatial horizontal and vertical resolution, the representation of the sea surface temperature and t

关键词： numerical weather prediction quantitative precipitation forecasts forecasts verification sea surface temperature atmospheric reanalyses floods

来源：评论

学校读者我要写书评

暂无评论

the guideline of reticle data management (Ver.2)

The guideline of reticle data management (Ver.2)

引用

20th European conference on Mask Technology for Integrated Circuits and Microcomponents

作者： Iriki, N Miyazaki, N Homma, M Sato, T Onodera, T Matsuda, T Uga, T Onodera, T Matsuda, T Uga, T Higashino, H Higashikawa, I Yoshioka, N JEITA (Japan) Renasas (Japan) Fujitsu (Japan) NECEL (Japan) Toshiba Corp. (Japan) Oki Electric Industry Co. Ltd. (Japan) Sanyo (Japan) ROHM (Japan) Oki Electric Industry Co. Ltd. (Japan) SELETE (Japan)

ISBN: (纸本)0819454370

We reported the Guideline (Ver. 1) of Reticle Data Management (RDM) Activity in 2001. While focusing on SoC (system on Chip) business, we have improved the efficiency in design technology, mask manufacturing and wafer manufacturing. Especially, these subjects have been the lithography costs including a reticle cost, a shorter life cycle of products, more difficult techniques, a lower cost and shorter total TAT from design to chip shipping. the Guideline Ver1.0 announced the standardization of interface contents from design to mask manufacture, and to wafer manufacture as well. According to the Guideline Ver2 in 2003, RDM activity has developed the optimization of a new engineering chain management that added the pattern data and the linkage to EDA. the unique characteristics of standardization proposed in Ver2 is that apart from standardization of the data format of the pattern data itself, expression of referencing pattern data and other additional information that are associated in case pattern data is utilized should be standardized. the difference between "expression" and "format" could be understood. these expressions include knowledge, view, property for retrieve, annotation, reference and relation about pattern data. these relations will be considered from a user's view of utilizing pattern data. the purpose of these expressions is to combine various standards relating to reticle. For example the linkage between RDM and UDM that is standardization of a data model relating to EDA tools and their applications is assumable. these two layers of standardization will make creative associations of applications possible.

关键词： Reticles Photomasks Manufacturing Semiconducting wafers Design for manufacturability Standards development Data modeling Electronic design automation system on a chip Semiconductors

来源：评论

学校读者我要写书评

暂无评论

Performance analysis of the fiber Bragg grating interrogation system based on an arrayed waveguide grating

Performance analysis of the fiber Bragg grating interrogatio...

引用

20th IEEE Instrumentation and Measurement Technology conference

作者： Niewczas, P Willshire, AJ Dziuda, L McDonald, JR Univ Strathclyde Dept Elect & Elect Engn Inst Energy & Environm Glasgow G1 1XW Lanark Scotland

ISBN: (纸本)0780377052

关键词： arrayed waveguide gratings fiber Bragg grating sensors strain sensors temperature sensors

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：